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)	195	247.703	240.03799

0.34/0.82	c version: 2017-07-26
0.34/0.82	c seed: 1274085815
0.34/0.82	c timeout: 264
0.34/0.82	c memlimit: 11000
0.34/0.82	c nbcore: 4
0.34/0.84	c Parsing instance...
3.86/2.27	c Parsing done, starting search...
5.90/3.02	o 190
18.38/13.76	o 191
64.53/58.81	o 195
247.65/240.00	s SATISFIABLE
247.65/240.01	v <instantiation>
247.65/240.01	v 	<list>
247.65/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[0][26] x[0][27] x[0][28] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z
247.65/240.01	v 	</list>
247.65/240.01	v 	<values>
247.65/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 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 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 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 1 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 1 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 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 0 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 2 2 1 1 2 2 1 0 0 1 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 1 0 0 1 2 2 2 2 2 2 2 2 2 2 1 2 2 2 1 1 2 2 2 1 1 1 1 2 2 2 1 1 2 1 1 2 2 2 2 2 2 2 1 1 0 1 1 1 0 1 2 1 0 0 0 1 1 2 2 2 2 0 0 0 1 2 2 2 2 2 2 1 0 0 1 0 0 0 1 2 1 0 0 0 0 1 0 1 2 1 1 2 0 1 2 2 2 2 2 2 2 0 0 0 1 1 0 2 1 1 0 0 1 0 0 0 1 0 2 0 1 0 2 2 2 2 2 2 2 1 0 1 1 1 1 2 1 0 0 0 0 0 1 0 0 0 1 1 2 1 2 2 2 2 2 2 2 2 1 0 0 2 2 2 2 1 1 0 0 1 0 0 0 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 0 2 0 2 2 1 2 1 2 2 1 1 0 1 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 1 0 1 0 0 1 1 2 2 2 2 1 1 1 1 0 0 1 0 1 2 2 1 1 2 2 2 2 1 1 0 0 0 0 0 1 2 2 2 2 1 1 2 1 1 0 0 0 1 0 1 1 0 1 2 2 2 1 0 0 0 0 1 1 2 2 2 1 1 1 1 1 2 0 0 0 1 0 1 0 0 1 1 2 2 1 1 0 0 0 0 0 1 2 2 1 1 0 0 0 1 0 1 0 1 1 1 0 1 1 1 2 2 1 0 0 0 0 0 0 0 1 0 2 2 0 0 0 0 0 0 0 0 0 1 2 1 1 2 2 2 2 1 1 0 1 0 0 1 1 0 1 1 0 2 0 1 1 1 1 0 0 0 1 0 1 2 2 1 1 2 2 1 2 1 0 1 1 1 0 0 1 0 0 2 1 1 2 1 1 0 0 0 0 1 0 1 1 0 1 2 2 2 1 0 0 1 0 0 1 0 0 1 0 1 1 2 0 0 0 1 0 0 0 1 0 0 1 1 2 1 2 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 1 1 2 1 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 2 2 2 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 1 0 1 2 2 2 2 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 2 0 2 2 0 1 1 0 2 2 2 2 2 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 2 2 1 1 0 0 1 0 1 2 2 2 2 0 2 0 0 1 0 1 0 0 0 0 0 1 0 0 1 2 0 1 0 0 0 0 0 1 0 2 2 2 2 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 2 0 0 0 1 0 0 0 1 1 2 2 2 2 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 2 2 2 2 2 2 1 2 0 0 2 0 0 0 0 1 1 1 1 2 2 0 1 1 0 0 0 0 2 2 2 2 2 2 2 2 2 2 0 1 0 1 0 0 0 1 1 1 1 1 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 27 81 131 176 212 241 271 297 331 371 408 439 466 487 505 528 554 574 588 602 614 633 656 677 694 712 734 766 786 195 
247.65/240.01	v 	</values>
247.65/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-4255836-1501626119/watcher-4255836-1501626119 -o /tmp/evaluation-result-4255836-1501626119/solver-4255836-1501626119 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501623099-17027 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1274085815 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255836-1501626119.xml 

pid=18600
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.30 1.51 1.56 2/194 18603
/proc/meminfo: memFree=31499000/32770624 swapFree=0/199616
[pid=18603] ppid=18600 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/18603/stat : 18603 (runsolver) D 18600 18603 5091 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 11235042 24240128 106 18446744073709551615 4194304 4338465 140728277538240 140728277535880 140426044900055 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 9424896 140728277545068 140728277545542 140728277545542 140728277549002 0
/proc/18603/statm: 5918 106 53 36 0 2156 0

[startup+0.10012 s]
/proc/loadavg: 1.30 1.51 1.56 2/194 18603
/proc/meminfo: memFree=31499000/32770624 swapFree=0/199616
[pid=18603] ppid=18600 vsize=13358552 CPUtime=0 cores=1,3,5,7
/proc/18603/stat : 18603 (java) S 18600 18603 5091 0 -1 1077944320 2991 0 0 0 0 0 0 0 20 0 6 0 11235042 13679157248 3131 18446744073709551615 4194304 4196468 140728429062512 140728429045056 140195586510583 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
/proc/18603/statm: 3339638 3131 1577 1 0 3329143 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 13358552

[startup+0.200318 s]
/proc/loadavg: 1.30 1.51 1.56 2/194 18603
/proc/meminfo: memFree=31499000/32770624 swapFree=0/199616
[pid=18603] ppid=18600 vsize=13906484 CPUtime=0.05 cores=1,3,5,7
/proc/18603/stat : 18603 (java) S 18600 18603 5091 0 -1 1077944320 4991 0 0 0 5 0 0 0 20 0 14 0 11235042 14240239616 5533 18446744073709551615 4194304 4196468 140728429062512 140728429045056 140195586510583 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
/proc/18603/statm: 3476621 5533 2543 1 0 3466126 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13906484

[startup+0.300311 s]
/proc/loadavg: 1.30 1.51 1.56 2/194 18603
/proc/meminfo: memFree=31499000/32770624 swapFree=0/199616
[pid=18603] ppid=18600 vsize=13906484 CPUtime=0.05 cores=1,3,5,7
/proc/18603/stat : 18603 (java) S 18600 18603 5091 0 -1 1077944320 4991 0 0 0 5 0 0 0 20 0 14 0 11235042 14240239616 5533 18446744073709551615 4194304 4196468 140728429062512 140728429045056 140195586510583 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
/proc/18603/statm: 3476621 5533 2543 1 0 3466126 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13906484

[startup+0.701349 s]
/proc/loadavg: 1.30 1.51 1.56 2/194 18603
/proc/meminfo: memFree=31499000/32770624 swapFree=0/199616
[pid=18603] ppid=18600 vsize=13975920 CPUtime=0.16 cores=1,3,5,7
/proc/18603/stat : 18603 (java) S 18600 18603 5091 0 -1 1077944320 9850 0 0 0 14 2 0 0 20 0 15 0 11235042 14311342080 9233 18446744073709551615 4194304 4196468 140728429062512 140728429045056 140195586510583 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
/proc/18603/statm: 3493980 9233 3474 1 0 3482767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 13975920

[startup+1.50226 s]
/proc/loadavg: 1.30 1.51 1.56 4/209 18619
/proc/meminfo: memFree=31194236/32770624 swapFree=0/199612
[pid=18603] ppid=18600 vsize=13980036 CPUtime=2.27 cores=1,3,5,7
/proc/18603/stat : 18603 (java) S 18600 18603 5091 0 -1 1077944320 17369 0 0 0 220 7 0 0 20 0 15 0 11235042 14315556864 26281 18446744073709551615 4194304 4196468 140728429062512 140728429045056 140195586510583 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
/proc/18603/statm: 3495009 26281 3747 1 0 3483791 0
[pid=18603/tid=18605] ppid=18600 vsize=13980036 CPUtime=0.91 cores=1,3,5,7
/proc/18603/task/18605/stat : 18605 (java) R 18600 18603 5091 0 -1 4202560 11085 0 0 0 86 5 0 0 20 0 15 0 11235051 14315556864 26281 18446744073709551615 4194304 4196468 140728429062512 140195590744272 140195586522518 0 4 1 16800974 0 0 0 -1 3 0 0 31 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18606] ppid=18600 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18606/stat : 18606 (java) S 18600 18603 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11235052 14315556864 26281 18446744073709551615 4194304 4196468 140728429062512 140195520944912 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18607] ppid=18600 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18607/stat : 18607 (java) S 18600 18603 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11235052 14315556864 26281 18446744073709551615 4194304 4196468 140728429062512 140195519892368 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18608] ppid=18600 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18608/stat : 18608 (java) S 18600 18603 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11235052 14315556864 26281 18446744073709551615 4194304 4196468 140728429062512 140195518839824 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18609] ppid=18600 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18609/stat : 18609 (java) S 18600 18603 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11235052 14315556864 26281 18446744073709551615 4194304 4196468 140728429062512 140195183377552 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18610] ppid=18600 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18610/stat : 18610 (java) S 18600 18603 5091 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 11235053 14315556864 26281 18446744073709551615 4194304 4196468 140728429062512 140195065542640 140195586521730 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18611] ppid=18600 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18611/stat : 18611 (java) S 18600 18603 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11235054 14315556864 26281 18446744073709551615 4194304 4196468 140728429062512 140195064488864 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18612] ppid=18600 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18612/stat : 18612 (java) S 18600 18603 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11235054 14315556864 26281 18446744073709551615 4194304 4196468 140728429062512 140195063436272 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18613] ppid=18600 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18613/stat : 18613 (java) S 18600 18603 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11235056 14315556864 26281 18446744073709551615 4194304 4196468 140728429062512 140195062384848 140195586529179 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18614] ppid=18600 vsize=13980036 CPUtime=0.42 cores=1,3,5,7
/proc/18603/task/18614/stat : 18614 (java) R 18600 18603 5091 0 -1 1077944384 1429 0 0 0 42 0 0 0 20 0 15 0 11235056 14315556864 26281 18446744073709551615 4194304 4196468 140728429062512 140195061325488 140195586520789 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18615] ppid=18600 vsize=13980036 CPUtime=0.42 cores=1,3,5,7
/proc/18603/task/18615/stat : 18615 (java) R 18600 18603 5091 0 -1 4202560 1447 0 0 0 41 1 0 0 20 0 15 0 11235056 14315556864 26281 18446744073709551615 4194304 4196468 140728429062512 140195060280048 140195565729908 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18616] ppid=18600 vsize=13980036 CPUtime=0.49 cores=1,3,5,7
/proc/18603/task/18616/stat : 18616 (java) R 18600 18603 5091 0 -1 4202560 2029 0 0 0 49 0 0 0 20 0 15 0 11235056 14315556864 26281 18446744073709551615 4194304 4196468 140728429062512 140195059227376 140195579616255 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18617] ppid=18600 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18617/stat : 18617 (java) S 18600 18603 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11235056 14315556864 26281 18446744073709551615 4194304 4196468 140728429062512 140195058175072 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18618] ppid=18600 vsize=13980036 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18618/stat : 18618 (java) S 18600 18603 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11235105 14315556864 26281 18446744073709551615 4194304 4196468 140728429062512 140195057121584 140195586521730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 13980036

[startup+3.10061 s]
/proc/loadavg: 1.27 1.50 1.56 4/209 18619
/proc/meminfo: memFree=30734616/32770624 swapFree=0/199628
[pid=18603] ppid=18600 vsize=13982084 CPUtime=6.12 cores=1,3,5,7
/proc/18603/stat : 18603 (java) S 18600 18603 5091 0 -1 1077944320 34347 0 0 0 593 19 0 0 20 0 15 0 11235042 14317654016 92826 18446744073709551615 4194304 4196468 140728429062512 140728429045056 140195586510583 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
/proc/18603/statm: 3495521 92826 3788 1 0 3484303 0
[pid=18603/tid=18605] ppid=18600 vsize=13982084 CPUtime=2.45 cores=1,3,5,7
/proc/18603/task/18605/stat : 18605 (java) R 18600 18603 5091 0 -1 4202560 16270 0 0 0 237 8 0 0 20 0 15 0 11235051 14317654016 92826 18446744073709551615 4194304 4196468 140728429062512 140195590738736 140195586522518 0 4 1 16800974 0 0 0 -1 3 0 0 31 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18606] ppid=18600 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/18603/task/18606/stat : 18606 (java) S 18600 18603 5091 0 -1 1077944384 112 0 0 0 2 1 0 0 20 0 15 0 11235052 14317654016 92826 18446744073709551615 4194304 4196468 140728429062512 140195520944912 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18607] ppid=18600 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/18603/task/18607/stat : 18607 (java) S 18600 18603 5091 0 -1 1077944384 112 0 0 0 2 1 0 0 20 0 15 0 11235052 14317654016 92826 18446744073709551615 4194304 4196468 140728429062512 140195519892368 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18608] ppid=18600 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/18603/task/18608/stat : 18608 (java) S 18600 18603 5091 0 -1 1077944384 261 0 0 0 2 1 0 0 20 0 15 0 11235052 14317654016 92826 18446744073709551615 4194304 4196468 140728429062512 140195518839824 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18609] ppid=18600 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/18603/task/18609/stat : 18609 (java) S 18600 18603 5091 0 -1 1077944384 345 0 0 0 2 1 0 0 20 0 15 0 11235052 14317654016 92826 18446744073709551615 4194304 4196468 140728429062512 140195183377552 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18610] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18610/stat : 18610 (java) S 18600 18603 5091 0 -1 1077944384 713 0 0 0 0 0 0 0 20 0 15 0 11235053 14317654016 92826 18446744073709551615 4194304 4196468 140728429062512 140195065542640 140195586521730 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18611] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18611/stat : 18611 (java) S 18600 18603 5091 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11235054 14317654016 92826 18446744073709551615 4194304 4196468 140728429062512 140195064488928 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18612] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18612/stat : 18612 (java) S 18600 18603 5091 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 11235054 14317654016 92826 18446744073709551615 4194304 4196468 140728429062512 140195063436288 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18613] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18613/stat : 18613 (java) S 18600 18603 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11235056 14317654016 92826 18446744073709551615 4194304 4196468 140728429062512 140195062384848 140195586529179 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18614] ppid=18600 vsize=13982084 CPUtime=1.35 cores=1,3,5,7
/proc/18603/task/18614/stat : 18614 (java) S 18600 18603 5091 0 -1 1077944384 4814 0 0 0 134 1 0 0 20 0 15 0 11235056 14317654016 92826 18446744073709551615 4194304 4196468 140728429062512 140195061332464 140195586521730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18615] ppid=18600 vsize=13982084 CPUtime=1.3 cores=1,3,5,7
/proc/18603/task/18615/stat : 18615 (java) S 18600 18603 5091 0 -1 1077944384 3421 0 0 0 129 1 0 0 20 0 15 0 11235056 14317654016 92826 18446744073709551615 4194304 4196468 140728429062512 140195060279920 140195586521730 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18616] ppid=18600 vsize=13982084 CPUtime=0.81 cores=1,3,5,7
/proc/18603/task/18616/stat : 18616 (java) S 18600 18603 5091 0 -1 1077944384 6869 0 0 0 80 1 0 0 20 0 15 0 11235056 14317654016 92826 18446744073709551615 4194304 4196468 140728429062512 140195059227376 140195586521730 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18617] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18617/stat : 18617 (java) S 18600 18603 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11235056 14317654016 92826 18446744073709551615 4194304 4196468 140728429062512 140195058175072 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18618] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18618/stat : 18618 (java) S 18600 18603 5091 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 11235105 14317654016 92826 18446744073709551615 4194304 4196468 140728429062512 140195057121584 140195586521730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 13982084

[startup+6.30113 s]
/proc/loadavg: 1.27 1.50 1.56 3/209 18619
/proc/meminfo: memFree=29933612/32770624 swapFree=0/199628
[pid=18603] ppid=18600 vsize=13982084 CPUtime=10.59 cores=1,3,5,7
/proc/18603/stat : 18603 (java) S 18600 18603 5091 0 -1 1077944320 36078 0 0 0 1027 32 0 0 20 0 15 0 11235042 14317654016 158943 18446744073709551615 4194304 4196468 140728429062512 140728429045056 140195586510583 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
/proc/18603/statm: 3495521 158943 3801 1 0 3484303 0
[pid=18603/tid=18605] ppid=18600 vsize=13982084 CPUtime=5.59 cores=1,3,5,7
/proc/18603/task/18605/stat : 18605 (java) R 18600 18603 5091 0 -1 4202560 16946 0 0 0 547 12 0 0 20 0 15 0 11235051 14317654016 158943 18446744073709551615 4194304 4196468 140728429062512 140195590745192 140195586522518 0 4 1 16800974 0 0 0 -1 5 0 0 31 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18606] ppid=18600 vsize=13982084 CPUtime=0.09 cores=1,3,5,7
/proc/18603/task/18606/stat : 18606 (java) S 18600 18603 5091 0 -1 1077944384 162 0 0 0 6 3 0 0 20 0 15 0 11235052 14317654016 158943 18446744073709551615 4194304 4196468 140728429062512 140195520944912 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18607] ppid=18600 vsize=13982084 CPUtime=0.09 cores=1,3,5,7
/proc/18603/task/18607/stat : 18607 (java) S 18600 18603 5091 0 -1 1077944384 229 0 0 0 6 3 0 0 20 0 15 0 11235052 14317654016 158943 18446744073709551615 4194304 4196468 140728429062512 140195519892368 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18608] ppid=18600 vsize=13982084 CPUtime=0.09 cores=1,3,5,7
/proc/18603/task/18608/stat : 18608 (java) S 18600 18603 5091 0 -1 1077944384 349 0 0 0 6 3 0 0 20 0 15 0 11235052 14317654016 158943 18446744073709551615 4194304 4196468 140728429062512 140195518839824 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18609] ppid=18600 vsize=13982084 CPUtime=0.09 cores=1,3,5,7
/proc/18603/task/18609/stat : 18609 (java) S 18600 18603 5091 0 -1 1077944384 436 0 0 0 6 3 0 0 20 0 15 0 11235052 14317654016 158943 18446744073709551615 4194304 4196468 140728429062512 140195183377552 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18610] ppid=18600 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/18603/task/18610/stat : 18610 (java) S 18600 18603 5091 0 -1 1077944384 840 0 0 0 1 0 0 0 20 0 15 0 11235053 14317654016 158943 18446744073709551615 4194304 4196468 140728429062512 140195065542640 140195586521730 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18611] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18611/stat : 18611 (java) S 18600 18603 5091 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11235054 14317654016 158943 18446744073709551615 4194304 4196468 140728429062512 140195064488928 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18612] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18612/stat : 18612 (java) S 18600 18603 5091 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 11235054 14317654016 158943 18446744073709551615 4194304 4196468 140728429062512 140195063436288 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18613] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18613/stat : 18613 (java) S 18600 18603 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11235056 14317654016 158943 18446744073709551615 4194304 4196468 140728429062512 140195062384848 140195586529179 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18614] ppid=18600 vsize=13982084 CPUtime=1.79 cores=1,3,5,7
/proc/18603/task/18614/stat : 18614 (java) S 18600 18603 5091 0 -1 1077944384 4994 0 0 0 178 1 0 0 20 0 15 0 11235056 14317654016 158943 18446744073709551615 4194304 4196468 140728429062512 140195061332464 140195586521730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18615] ppid=18600 vsize=13982084 CPUtime=1.81 cores=1,3,5,7
/proc/18603/task/18615/stat : 18615 (java) S 18600 18603 5091 0 -1 1077944384 3583 0 0 0 180 1 0 0 20 0 15 0 11235056 14317654016 158943 18446744073709551615 4194304 4196468 140728429062512 140195060279920 140195586521730 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18616] ppid=18600 vsize=13982084 CPUtime=0.92 cores=1,3,5,7
/proc/18603/task/18616/stat : 18616 (java) S 18600 18603 5091 0 -1 1077944384 7101 0 0 0 91 1 0 0 20 0 15 0 11235056 14317654016 158943 18446744073709551615 4194304 4196468 140728429062512 140195059227376 140195586521730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18617] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18617/stat : 18617 (java) S 18600 18603 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11235056 14317654016 158943 18446744073709551615 4194304 4196468 140728429062512 140195058175072 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18618] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18618/stat : 18618 (java) S 18600 18603 5091 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 11235105 14317654016 158943 18446744073709551615 4194304 4196468 140728429062512 140195057121584 140195586521730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
Current children cumulated CPU time (s) 10.59
Current children cumulated vsize (KiB) 13982084

[startup+12.7007 s]
/proc/loadavg: 1.39 1.51 1.56 3/209 18619
/proc/meminfo: memFree=29148128/32770624 swapFree=0/199644
[pid=18603] ppid=18600 vsize=13982084 CPUtime=17.37 cores=1,3,5,7
/proc/18603/stat : 18603 (java) S 18600 18603 5091 0 -1 1077944320 43085 0 0 0 1689 48 0 0 20 0 15 0 11235042 14317654016 306264 18446744073709551615 4194304 4196468 140728429062512 140728429045056 140195586510583 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
/proc/18603/statm: 3495521 306264 3802 1 0 3484303 0
[pid=18603/tid=18605] ppid=18600 vsize=13982084 CPUtime=11.9 cores=1,3,5,7
/proc/18603/task/18605/stat : 18605 (java) R 18600 18603 5091 0 -1 4202560 19835 0 0 0 1171 19 0 0 20 0 15 0 11235051 14317654016 306264 18446744073709551615 4194304 4196468 140728429062512 140195590748320 140195209198092 0 4 1 16800974 0 0 0 -1 5 0 0 31 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18606] ppid=18600 vsize=13982084 CPUtime=0.16 cores=1,3,5,7
/proc/18603/task/18606/stat : 18606 (java) S 18600 18603 5091 0 -1 1077944384 244 0 0 0 11 5 0 0 20 0 15 0 11235052 14317654016 306264 18446744073709551615 4194304 4196468 140728429062512 140195520944912 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18607] ppid=18600 vsize=13982084 CPUtime=0.16 cores=1,3,5,7
/proc/18603/task/18607/stat : 18607 (java) S 18600 18603 5091 0 -1 1077944384 295 0 0 0 11 5 0 0 20 0 15 0 11235052 14317654016 306264 18446744073709551615 4194304 4196468 140728429062512 140195519892368 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18608] ppid=18600 vsize=13982084 CPUtime=0.16 cores=1,3,5,7
/proc/18603/task/18608/stat : 18608 (java) S 18600 18603 5091 0 -1 1077944384 439 0 0 0 11 5 0 0 20 0 15 0 11235052 14317654016 306264 18446744073709551615 4194304 4196468 140728429062512 140195518839824 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18609] ppid=18600 vsize=13982084 CPUtime=0.17 cores=1,3,5,7
/proc/18603/task/18609/stat : 18609 (java) S 18600 18603 5091 0 -1 1077944384 2202 0 0 0 11 6 0 0 20 0 15 0 11235052 14317654016 306264 18446744073709551615 4194304 4196468 140728429062512 140195183377552 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18610] ppid=18600 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/18603/task/18610/stat : 18610 (java) S 18600 18603 5091 0 -1 1077944384 1824 0 0 0 2 0 0 0 20 0 15 0 11235053 14317654016 306264 18446744073709551615 4194304 4196468 140728429062512 140195065542640 140195586521730 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18611] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18611/stat : 18611 (java) S 18600 18603 5091 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 11235054 14317654016 306264 18446744073709551615 4194304 4196468 140728429062512 140195064488928 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18612] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18612/stat : 18612 (java) S 18600 18603 5091 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 11235054 14317654016 306264 18446744073709551615 4194304 4196468 140728429062512 140195063436288 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18613] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18613/stat : 18613 (java) S 18600 18603 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11235056 14317654016 306264 18446744073709551615 4194304 4196468 140728429062512 140195062384848 140195586529179 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0

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

/proc/18603/task/18617/stat : 18617 (java) S 18600 18603 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11235056 14317654016 868346 18446744073709551615 4194304 4196468 140728429062512 140195058175072 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18618] ppid=18600 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/18603/task/18618/stat : 18618 (java) S 18600 18603 5091 0 -1 1077944384 211 0 0 0 1 1 0 0 20 0 15 0 11235105 14317654016 868346 18446744073709551615 4194304 4196468 140728429062512 140195057121584 140195586521730 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
Current children cumulated CPU time (s) 56.68
Current children cumulated vsize (KiB) 13982084

[startup+102.301 s]
/proc/loadavg: 1.28 1.47 1.55 3/209 18622
/proc/meminfo: memFree=26999388/32770624 swapFree=0/199716
[pid=18603] ppid=18600 vsize=13982084 CPUtime=108.34 cores=1,3,5,7
/proc/18603/stat : 18603 (java) S 18600 18603 5091 0 -1 1077944320 67141 0 0 0 10741 93 0 0 20 0 15 0 11235042 14317654016 832564 18446744073709551615 4194304 4196468 140728429062512 140728429045056 140195586510583 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
/proc/18603/statm: 3495521 832564 3812 1 0 3484303 0
[pid=18603/tid=18605] ppid=18600 vsize=13982084 CPUtime=101.42 cores=1,3,5,7
/proc/18603/task/18605/stat : 18605 (java) R 18600 18603 5091 0 -1 4202560 29078 0 0 0 10088 54 0 0 20 0 15 0 11235051 14317654016 832564 18446744073709551615 4194304 4196468 140728429062512 140195590748352 140195208209008 0 4 1 16800974 0 0 0 -1 1 0 0 31 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18606] ppid=18600 vsize=13982084 CPUtime=0.24 cores=1,3,5,7
/proc/18603/task/18606/stat : 18606 (java) S 18600 18603 5091 0 -1 1077944384 763 0 0 0 18 6 0 0 20 0 15 0 11235052 14317654016 832564 18446744073709551615 4194304 4196468 140728429062512 140195520944912 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18607] ppid=18600 vsize=13982084 CPUtime=0.25 cores=1,3,5,7
/proc/18603/task/18607/stat : 18607 (java) S 18600 18603 5091 0 -1 1077944384 487 0 0 0 18 7 0 0 20 0 15 0 11235052 14317654016 832564 18446744073709551615 4194304 4196468 140728429062512 140195519892368 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18608] ppid=18600 vsize=13982084 CPUtime=0.25 cores=1,3,5,7
/proc/18603/task/18608/stat : 18608 (java) S 18600 18603 5091 0 -1 1077944384 500 0 0 0 18 7 0 0 20 0 15 0 11235052 14317654016 832564 18446744073709551615 4194304 4196468 140728429062512 140195518839824 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18609] ppid=18600 vsize=13982084 CPUtime=0.25 cores=1,3,5,7
/proc/18603/task/18609/stat : 18609 (java) S 18600 18603 5091 0 -1 1077944384 2291 0 0 0 18 7 0 0 20 0 15 0 11235052 14317654016 832564 18446744073709551615 4194304 4196468 140728429062512 140195183377552 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18610] ppid=18600 vsize=13982084 CPUtime=0.04 cores=1,3,5,7
/proc/18603/task/18610/stat : 18610 (java) S 18600 18603 5091 0 -1 1077944384 2638 0 0 0 3 1 0 0 20 0 15 0 11235053 14317654016 832564 18446744073709551615 4194304 4196468 140728429062512 140195065542640 140195586521730 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18611] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18611/stat : 18611 (java) S 18600 18603 5091 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 11235054 14317654016 832564 18446744073709551615 4194304 4196468 140728429062512 140195064488928 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18612] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18612/stat : 18612 (java) S 18600 18603 5091 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 11235054 14317654016 832564 18446744073709551615 4194304 4196468 140728429062512 140195063436288 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18613] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18613/stat : 18613 (java) S 18600 18603 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11235056 14317654016 832564 18446744073709551615 4194304 4196468 140728429062512 140195062384848 140195586529179 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18614] ppid=18600 vsize=13982084 CPUtime=2.34 cores=1,3,5,7
/proc/18603/task/18614/stat : 18614 (java) S 18600 18603 5091 0 -1 1077944384 10082 0 0 0 233 1 0 0 20 0 15 0 11235056 14317654016 832564 18446744073709551615 4194304 4196468 140728429062512 140195061332464 140195586521730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18615] ppid=18600 vsize=13982084 CPUtime=2.37 cores=1,3,5,7
/proc/18603/task/18615/stat : 18615 (java) S 18600 18603 5091 0 -1 1077944384 7713 0 0 0 235 2 0 0 20 0 15 0 11235056 14317654016 832564 18446744073709551615 4194304 4196468 140728429062512 140195060279920 140195586521730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18616] ppid=18600 vsize=13982084 CPUtime=1.06 cores=1,3,5,7
/proc/18603/task/18616/stat : 18616 (java) S 18600 18603 5091 0 -1 1077944384 11932 0 0 0 104 2 0 0 20 0 15 0 11235056 14317654016 832564 18446744073709551615 4194304 4196468 140728429062512 140195059227376 140195586521730 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18617] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18617/stat : 18617 (java) S 18600 18603 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11235056 14317654016 832564 18446744073709551615 4194304 4196468 140728429062512 140195058175072 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18618] ppid=18600 vsize=13982084 CPUtime=0.04 cores=1,3,5,7
/proc/18603/task/18618/stat : 18618 (java) S 18600 18603 5091 0 -1 1077944384 214 0 0 0 1 3 0 0 20 0 15 0 11235105 14317654016 832564 18446744073709551615 4194304 4196468 140728429062512 140195057121584 140195586521730 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
Current children cumulated CPU time (s) 108.34
Current children cumulated vsize (KiB) 13982084

[startup+162.301 s]
/proc/loadavg: 1.51 1.49 1.55 3/209 18631
/proc/meminfo: memFree=27273496/32770624 swapFree=0/199740
[pid=18603] ppid=18600 vsize=13982084 CPUtime=168.73 cores=1,3,5,7
/proc/18603/stat : 18603 (java) S 18600 18603 5091 0 -1 1077944320 79936 0 0 0 16777 96 0 0 20 0 15 0 11235042 14317654016 781946 18446744073709551615 4194304 4196468 140728429062512 140728429045056 140195586510583 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
/proc/18603/statm: 3495521 781946 3812 1 0 3484303 0
[pid=18603/tid=18605] ppid=18600 vsize=13982084 CPUtime=161.32 cores=1,3,5,7
/proc/18603/task/18605/stat : 18605 (java) R 18600 18603 5091 0 -1 4202560 34157 0 0 0 16077 55 0 0 20 0 15 0 11235051 14317654016 781946 18446744073709551615 4194304 4196468 140728429062512 140195590745104 140195208209008 0 4 1 16800974 0 0 0 -1 5 0 0 31 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18606] ppid=18600 vsize=13982084 CPUtime=0.32 cores=1,3,5,7
/proc/18603/task/18606/stat : 18606 (java) S 18600 18603 5091 0 -1 1077944384 991 0 0 0 25 7 0 0 20 0 15 0 11235052 14317654016 781946 18446744073709551615 4194304 4196468 140728429062512 140195520944912 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18607] ppid=18600 vsize=13982084 CPUtime=0.32 cores=1,3,5,7
/proc/18603/task/18607/stat : 18607 (java) S 18600 18603 5091 0 -1 1077944384 1207 0 0 0 25 7 0 0 20 0 15 0 11235052 14317654016 781946 18446744073709551615 4194304 4196468 140728429062512 140195519892368 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18608] ppid=18600 vsize=13982084 CPUtime=0.32 cores=1,3,5,7
/proc/18603/task/18608/stat : 18608 (java) S 18600 18603 5091 0 -1 1077944384 1138 0 0 0 25 7 0 0 20 0 15 0 11235052 14317654016 781946 18446744073709551615 4194304 4196468 140728429062512 140195518839824 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18609] ppid=18600 vsize=13982084 CPUtime=0.32 cores=1,3,5,7
/proc/18603/task/18609/stat : 18609 (java) S 18600 18603 5091 0 -1 1077944384 2400 0 0 0 25 7 0 0 20 0 15 0 11235052 14317654016 781946 18446744073709551615 4194304 4196468 140728429062512 140195183377552 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18610] ppid=18600 vsize=13982084 CPUtime=0.05 cores=1,3,5,7
/proc/18603/task/18610/stat : 18610 (java) S 18600 18603 5091 0 -1 1077944384 3113 0 0 0 4 1 0 0 20 0 15 0 11235053 14317654016 781946 18446744073709551615 4194304 4196468 140728429062512 140195065542640 140195586521730 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18611] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18611/stat : 18611 (java) S 18600 18603 5091 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 11235054 14317654016 781946 18446744073709551615 4194304 4196468 140728429062512 140195064488928 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18612] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18612/stat : 18612 (java) S 18600 18603 5091 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 11235054 14317654016 781946 18446744073709551615 4194304 4196468 140728429062512 140195063436288 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18613] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18613/stat : 18613 (java) S 18600 18603 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11235056 14317654016 781946 18446744073709551615 4194304 4196468 140728429062512 140195062384848 140195586529179 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18614] ppid=18600 vsize=13982084 CPUtime=2.39 cores=1,3,5,7
/proc/18603/task/18614/stat : 18614 (java) S 18600 18603 5091 0 -1 1077944384 11496 0 0 0 238 1 0 0 20 0 15 0 11235056 14317654016 781946 18446744073709551615 4194304 4196468 140728429062512 140195061332464 140195586521730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18615] ppid=18600 vsize=13982084 CPUtime=2.46 cores=1,3,5,7
/proc/18603/task/18615/stat : 18615 (java) S 18600 18603 5091 0 -1 1077944384 9363 0 0 0 244 2 0 0 20 0 15 0 11235056 14317654016 781946 18446744073709551615 4194304 4196468 140728429062512 140195060279920 140195586521730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18616] ppid=18600 vsize=13982084 CPUtime=1.07 cores=1,3,5,7
/proc/18603/task/18616/stat : 18616 (java) S 18600 18603 5091 0 -1 1077944384 14329 0 0 0 105 2 0 0 20 0 15 0 11235056 14317654016 781946 18446744073709551615 4194304 4196468 140728429062512 140195059227376 140195586521730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18617] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18617/stat : 18617 (java) S 18600 18603 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11235056 14317654016 781946 18446744073709551615 4194304 4196468 140728429062512 140195058175072 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18618] ppid=18600 vsize=13982084 CPUtime=0.07 cores=1,3,5,7
/proc/18603/task/18618/stat : 18618 (java) S 18600 18603 5091 0 -1 1077944384 299 0 0 0 3 4 0 0 20 0 15 0 11235105 14317654016 781946 18446744073709551615 4194304 4196468 140728429062512 140195057121584 140195586521730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
Current children cumulated CPU time (s) 168.73
Current children cumulated vsize (KiB) 13982084

[startup+222.306 s]
/proc/loadavg: 1.32 1.45 1.53 3/209 18633
/proc/meminfo: memFree=27482024/32770624 swapFree=0/199764
[pid=18603] ppid=18600 vsize=13982084 CPUtime=229.49 cores=1,3,5,7
/proc/18603/stat : 18603 (java) S 18600 18603 5091 0 -1 1077944320 92388 0 0 0 22849 100 0 0 20 0 15 0 11235042 14317654016 744759 18446744073709551615 4194304 4196468 140728429062512 140728429045056 140195586510583 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
/proc/18603/statm: 3495521 744759 3812 1 0 3484303 0
[pid=18603/tid=18605] ppid=18600 vsize=13982084 CPUtime=221.08 cores=1,3,5,7
/proc/18603/task/18605/stat : 18605 (java) R 18600 18603 5091 0 -1 4202560 37718 0 0 0 22052 56 0 0 20 0 15 0 11235051 14317654016 744759 18446744073709551615 4194304 4196468 140728429062512 140195590747392 140195209877004 0 4 1 16800974 0 0 0 -1 3 0 0 31 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18606] ppid=18600 vsize=13982084 CPUtime=0.52 cores=1,3,5,7
/proc/18603/task/18606/stat : 18606 (java) S 18600 18603 5091 0 -1 1077944384 1141 0 0 0 45 7 0 0 20 0 15 0 11235052 14317654016 744759 18446744073709551615 4194304 4196468 140728429062512 140195520944912 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18607] ppid=18600 vsize=13982084 CPUtime=0.52 cores=1,3,5,7
/proc/18603/task/18607/stat : 18607 (java) S 18600 18603 5091 0 -1 1077944384 1499 0 0 0 45 7 0 0 20 0 15 0 11235052 14317654016 744759 18446744073709551615 4194304 4196468 140728429062512 140195519892368 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18608] ppid=18600 vsize=13982084 CPUtime=0.52 cores=1,3,5,7
/proc/18603/task/18608/stat : 18608 (java) S 18600 18603 5091 0 -1 1077944384 1325 0 0 0 45 7 0 0 20 0 15 0 11235052 14317654016 744759 18446744073709551615 4194304 4196468 140728429062512 140195518839824 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18609] ppid=18600 vsize=13982084 CPUtime=0.51 cores=1,3,5,7
/proc/18603/task/18609/stat : 18609 (java) S 18600 18603 5091 0 -1 1077944384 3138 0 0 0 44 7 0 0 20 0 15 0 11235052 14317654016 744759 18446744073709551615 4194304 4196468 140728429062512 140195183377552 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18610] ppid=18600 vsize=13982084 CPUtime=0.08 cores=1,3,5,7
/proc/18603/task/18610/stat : 18610 (java) S 18600 18603 5091 0 -1 1077944384 3354 0 0 0 6 2 0 0 20 0 15 0 11235053 14317654016 744759 18446744073709551615 4194304 4196468 140728429062512 140195065542640 140195586521730 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18611] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18611/stat : 18611 (java) S 18600 18603 5091 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 11235054 14317654016 744759 18446744073709551615 4194304 4196468 140728429062512 140195064488928 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18612] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18612/stat : 18612 (java) S 18600 18603 5091 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 11235054 14317654016 744759 18446744073709551615 4194304 4196468 140728429062512 140195063436288 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18613] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18613/stat : 18613 (java) S 18600 18603 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11235056 14317654016 744759 18446744073709551615 4194304 4196468 140728429062512 140195062384848 140195586529179 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18614] ppid=18600 vsize=13982084 CPUtime=2.48 cores=1,3,5,7
/proc/18603/task/18614/stat : 18614 (java) S 18600 18603 5091 0 -1 1077944384 14563 0 0 0 246 2 0 0 20 0 15 0 11235056 14317654016 744759 18446744073709551615 4194304 4196468 140728429062512 140195061332464 140195586521730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18615] ppid=18600 vsize=13982084 CPUtime=2.51 cores=1,3,5,7
/proc/18603/task/18615/stat : 18615 (java) S 18600 18603 5091 0 -1 1077944384 11615 0 0 0 249 2 0 0 20 0 15 0 11235056 14317654016 744759 18446744073709551615 4194304 4196468 140728429062512 140195060279920 140195586521730 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18616] ppid=18600 vsize=13982084 CPUtime=1.08 cores=1,3,5,7
/proc/18603/task/18616/stat : 18616 (java) S 18600 18603 5091 0 -1 1077944384 16172 0 0 0 106 2 0 0 20 0 15 0 11235056 14317654016 744759 18446744073709551615 4194304 4196468 140728429062512 140195059227376 140195586521730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18617] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18617/stat : 18617 (java) S 18600 18603 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11235056 14317654016 744759 18446744073709551615 4194304 4196468 140728429062512 140195058175072 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18618] ppid=18600 vsize=13982084 CPUtime=0.11 cores=1,3,5,7
/proc/18603/task/18618/stat : 18618 (java) S 18600 18603 5091 0 -1 1077944384 420 0 0 0 5 6 0 0 20 0 15 0 11235105 14317654016 744759 18446744073709551615 4194304 4196468 140728429062512 140195057121584 140195586521730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
Current children cumulated CPU time (s) 229.49
Current children cumulated vsize (KiB) 13982084



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.26 1.43 1.52 3/209 18713
/proc/meminfo: memFree=28783116/32770624 swapFree=0/199748
[pid=18603] ppid=18600 vsize=13982084 CPUtime=247.65 cores=1,3,5,7
/proc/18603/stat : 18603 (java) S 18600 18603 5091 0 -1 1077944320 97116 0 0 0 24661 104 0 0 20 0 15 0 11235042 14317654016 741436 18446744073709551615 4194304 4196468 140728429062512 140728429045056 140195586510583 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
/proc/18603/statm: 3495521 741436 3812 1 0 3484303 0
[pid=18603/tid=18605] ppid=18600 vsize=13982084 CPUtime=238.6 cores=1,3,5,7
/proc/18603/task/18605/stat : 18605 (java) R 18600 18603 5091 0 -1 4202560 39168 0 0 0 23804 56 0 0 20 0 15 0 11235051 14317654016 741436 18446744073709551615 4194304 4196468 140728429062512 140195590748464 140195209877099 0 4 1 16800974 0 0 0 -1 5 0 0 31 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18606] ppid=18600 vsize=13982084 CPUtime=0.66 cores=1,3,5,7
/proc/18603/task/18606/stat : 18606 (java) S 18600 18603 5091 0 -1 1077944384 1798 0 0 0 58 8 0 0 20 0 15 0 11235052 14317654016 741436 18446744073709551615 4194304 4196468 140728429062512 140195520944912 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18607] ppid=18600 vsize=13982084 CPUtime=0.65 cores=1,3,5,7
/proc/18603/task/18607/stat : 18607 (java) S 18600 18603 5091 0 -1 1077944384 1674 0 0 0 58 7 0 0 20 0 15 0 11235052 14317654016 741436 18446744073709551615 4194304 4196468 140728429062512 140195519892368 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18608] ppid=18600 vsize=13982084 CPUtime=0.66 cores=1,3,5,7
/proc/18603/task/18608/stat : 18608 (java) S 18600 18603 5091 0 -1 1077944384 1615 0 0 0 58 8 0 0 20 0 15 0 11235052 14317654016 741436 18446744073709551615 4194304 4196468 140728429062512 140195518839824 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18609] ppid=18600 vsize=13982084 CPUtime=0.65 cores=1,3,5,7
/proc/18603/task/18609/stat : 18609 (java) S 18600 18603 5091 0 -1 1077944384 3378 0 0 0 57 8 0 0 20 0 15 0 11235052 14317654016 741436 18446744073709551615 4194304 4196468 140728429062512 140195183377552 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18610] ppid=18600 vsize=13982084 CPUtime=0.09 cores=1,3,5,7
/proc/18603/task/18610/stat : 18610 (java) S 18600 18603 5091 0 -1 1077944384 3589 0 0 0 7 2 0 0 20 0 15 0 11235053 14317654016 741436 18446744073709551615 4194304 4196468 140728429062512 140195065542640 140195586521730 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18611] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18611/stat : 18611 (java) S 18600 18603 5091 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 11235054 14317654016 741436 18446744073709551615 4194304 4196468 140728429062512 140195064488928 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18612] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18612/stat : 18612 (java) S 18600 18603 5091 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 11235054 14317654016 741436 18446744073709551615 4194304 4196468 140728429062512 140195063436288 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18613] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18613/stat : 18613 (java) S 18600 18603 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11235056 14317654016 741436 18446744073709551615 4194304 4196468 140728429062512 140195062384848 140195586529179 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18614] ppid=18600 vsize=13982084 CPUtime=2.5 cores=1,3,5,7
/proc/18603/task/18614/stat : 18614 (java) S 18600 18603 5091 0 -1 1077944384 14877 0 0 0 248 2 0 0 20 0 15 0 11235056 14317654016 741436 18446744073709551615 4194304 4196468 140728429062512 140195061332464 140195586521730 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18615] ppid=18600 vsize=13982084 CPUtime=2.52 cores=1,3,5,7
/proc/18603/task/18615/stat : 18615 (java) S 18600 18603 5091 0 -1 1077944384 12881 0 0 0 250 2 0 0 20 0 15 0 11235056 14317654016 741436 18446744073709551615 4194304 4196468 140728429062512 140195060279920 140195586521730 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18616] ppid=18600 vsize=13982084 CPUtime=1.08 cores=1,3,5,7
/proc/18603/task/18616/stat : 18616 (java) S 18600 18603 5091 0 -1 1077944384 16232 0 0 0 106 2 0 0 20 0 15 0 11235056 14317654016 741436 18446744073709551615 4194304 4196468 140728429062512 140195059227376 140195586521730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18617] ppid=18600 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/18603/task/18617/stat : 18617 (java) S 18600 18603 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11235056 14317654016 741436 18446744073709551615 4194304 4196468 140728429062512 140195058175072 140195586520789 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
[pid=18603/tid=18618] ppid=18600 vsize=13982084 CPUtime=0.12 cores=1,3,5,7
/proc/18603/task/18618/stat : 18618 (java) S 18600 18603 5091 0 -1 1077944384 461 0 0 0 5 7 0 0 20 0 15 0 11235105 14317654016 741436 18446744073709551615 4194304 4196468 140728429062512 140195057121584 140195586521730 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19808256 140728429068695 140728429068875 140728429068875 140728429072335 0
Current children cumulated CPU time (s) 247.65
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 18603 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.038
CPU time (s): 247.703
CPU user time (s): 246.636
CPU system time (s): 1.06692
CPU usage (%): 103.193
Max. virtual memory (cumulated for all children) (KiB): 13982084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.636
system time used= 1.06692
maximum resident set size= 3477916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98411
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= 11199
involuntary context switches= 242

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.00853 second user time and 1.53074 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml
MD5SUM	7effaf54e6298c2e2ce7b82787858117
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	367
Best CPU time to get the best result obtained on this benchmark	251.811
Satisfiable
(Un)Satisfiability was proved
Number of variables	1712
Number of constraints	1007
Number of domains	4
Minimum domain size	2
Maximum domain size	1683
Distribution of domain sizes	[{"size":2,"count":841},{"size":3,"count":841},{"size":730,"count":1},{"size":1683,"count":29}]
Minimum variable degree	1
Maximum variable degree	30
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":838},{"degree":3,"count":32},{"degree":4,"count":108},{"degree":8,"count":104},{"degree":9,"count":625},{"degree":30,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	31
Distribution of constraint arities	[{"arity":2,"count":137},{"arity":3,"count":108},{"arity":10,"count":729},{"arity":29,"count":4},{"arity":30,"count":1},{"arity":31,"count":28}]
Number of extensional constraints	837
Number of intensional constraints	136
Distribution of constraint types	[{"type":"extension","count":837},{"type":"intension","count":136},{"type":"sum","count":30},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4255836

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