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

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - ALNS 2017-07-26	SAT (TO)	197	2520.04	2455.51

0.33/0.34	c version: 2017-07-26
0.33/0.34	c seed: 181713086
0.33/0.34	c timeout: 2520
0.33/0.34	c memlimit: 11000
0.33/0.34	c nbcore: 4
0.33/0.36	c Parsing instance...
2.97/1.33	c Parsing done, starting search...
2.97/1.37	o 23821
4.19/1.79	o 9981
4.51/1.83	o 653
15.89/10.75	o 597
17.48/12.29	o 565
18.40/13.18	o 405
36.18/30.54	o 389
45.10/39.22	o 349
86.23/79.59	o 325
128.79/121.01	o 317
154.36/146.04	o 309
162.13/153.69	o 285
163.76/155.26	o 277
190.67/181.54	o 261
219.05/209.34	o 237
1440.94/1402.40	o 213
1753.38/1707.26	o 205
2034.40/1981.47	o 197
2520.01/2455.50	s SATISFIABLE
2520.01/2455.50	v <instantiation>
2520.01/2455.50	v 	<list>
2520.01/2455.50	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[37][0] y[37][1] y[37][2] y[37][3] y[38][0] y[38][1] y[38][2] y[39][0] y[39][1] y[40][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40]
2520.01/2455.50	v 	</list>
2520.01/2455.50	v 	<values>
2520.01/2455.50	v 		-1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 3 2 3 0 1 4 -1 -2 3 2 3 0 -1 0 3 0 3 -4 -3 0 1 -2 1 2 -1 2 3 -2 3 2 3 0 -1 0 3 2 -3 -2 3 0 -1 9 4 9 0 1 16 1 4 9 4 9 0 1 0 9 0 9 16 9 0 1 4 1 4 1 4 9 4 9 4 9 0 1 0 9 4 9 4 9 0 1 
2520.01/2455.50	v 	</values>
2520.01/2455.50	v </instantiation>

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14985 MiB free)
  memory of node 1: 16384 MiB (9576 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273076-1502864580/watcher-4273076-1502864580 -o /tmp/evaluation-result-4273076-1502864580/solver-4273076-1502864580 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502806776-30867 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 181713086 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273076-1502864580.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5843, runsolver pid=5840
Current StackSize limit: 8192 KiB


[startup+0.100109 s]*
/proc/loadavg: 1.64 1.56 1.52 3/208 5857
/proc/meminfo: memFree=25141652/32770624 swapFree=67108860/67108860
[pid=5843] ppid=5840 vsize=13906484 memory=20680 CPUtime=0.05 cores=0,2,4,6
/proc/5843/stat : 5843 (java) S 5840 5843 17093 0 -1 1077944320 4625 0 0 0 5 0 0 0 20 0 14 0 88651306 14240239616 5170 18446744073709551615 4194304 4196468 140721511961600 140721511944144 140656375754487 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 4 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
/proc/5843/statm: 3476621 5170 2576 1 0 3466118 0
[pid=5843/tid=5845] ppid=5840 vsize=13906484 memory=7078086954469309281 CPUtime=0.04 cores=0,2,4,6
/proc/5843/task/5845/stat : 5845 (java) D 5840 5843 17093 0 -1 4202560 2729 0 0 0 4 0 0 0 20 0 14 0 88651311 14240239616 5170 18446744073709551615 4194304 4196468 140721511961600 140656379991968 140656375776509 0 4 1 16800974 18446744071580418449 0 0 -1 0 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5846] ppid=5840 vsize=13906484 memory=3461361991549258287 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5846/stat : 5846 (java) S 5840 5843 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 88651312 14240239616 5170 18446744073709551615 4194304 4196468 140721511961600 140656295168784 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5847] ppid=5840 vsize=13906484 memory=140219985688192 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5847/stat : 5847 (java) S 5840 5843 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 88651312 14240239616 5170 18446744073709551615 4194304 4196468 140721511961600 140656294116240 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5848] ppid=5840 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5848/stat : 5848 (java) S 5840 5843 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 88651312 14240239616 5170 18446744073709551615 4194304 4196468 140721511961600 140656293063696 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5849] ppid=5840 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5849/stat : 5849 (java) S 5840 5843 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 88651312 14240239616 5170 18446744073709551615 4194304 4196468 140721511961600 140656292011152 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5850] ppid=5840 vsize=13906484 memory=140219985688192 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5850/stat : 5850 (java) S 5840 5843 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 88651313 14240239616 5170 18446744073709551615 4194304 4196468 140721511961600 140655854073840 140656375765634 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5851] ppid=5840 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5851/stat : 5851 (java) S 5840 5843 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 88651313 14240239616 5170 18446744073709551615 4194304 4196468 140721511961600 140655853020064 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5852] ppid=5840 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5852/stat : 5852 (java) S 5840 5843 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 88651314 14240239616 5170 18446744073709551615 4194304 4196468 140721511961600 140655851967472 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5853] ppid=5840 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5853/stat : 5853 (java) S 5840 5843 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 88651316 14240239616 5170 18446744073709551615 4194304 4196468 140721511961600 140655850916048 140656375773083 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5854] ppid=5840 vsize=13906484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5854/stat : 5854 (java) S 5840 5843 17093 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 14 0 88651316 14240239616 5170 18446744073709551615 4194304 4196468 140721511961600 140655849863664 140656375765634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5855] ppid=5840 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5855/stat : 5855 (java) S 5840 5843 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 88651316 14240239616 5170 18446744073709551615 4194304 4196468 140721511961600 140655848811120 140656375765634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5856] ppid=5840 vsize=13906484 memory=140219985688192 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5856/stat : 5856 (java) S 5840 5843 17093 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 14 0 88651316 14240239616 5170 18446744073709551615 4194304 4196468 140721511961600 140655847758576 140656375765634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5857] ppid=5840 vsize=13906484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5857/stat : 5857 (java) S 5840 5843 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 88651316 14240239616 5170 18446744073709551615 4194304 4196468 140721511961600 140655846706272 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13906484 KiB
Current children cumulated memory: 20680 KiB

[startup+0.209908 s]*
/proc/loadavg: 1.64 1.56 1.52 4/209 5858
/proc/meminfo: memFree=25128840/32770624 swapFree=67108860/67108860
[pid=5843] ppid=5840 vsize=13975920 memory=37432 CPUtime=0.16 cores=0,2,4,6
/proc/5843/stat : 5843 (java) S 5840 5843 17093 0 -1 1077944320 9483 0 0 0 14 2 0 0 20 0 15 0 88651306 14311342080 9358 18446744073709551615 4194304 4196468 140721511961600 140721511944144 140656375754487 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 4 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
/proc/5843/statm: 3493980 9358 3508 1 0 3482759 0
[pid=5843/tid=5845] ppid=5840 vsize=13975920 memory=8390339637985935414 CPUtime=0.12 cores=0,2,4,6
/proc/5843/task/5845/stat : 5845 (java) R 5840 5843 17093 0 -1 4202560 7265 0 0 0 10 2 0 0 20 0 15 0 88651311 14311342080 9358 18446744073709551615 4194304 4196468 140721511961600 140656379931968 140656336715437 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5846] ppid=5840 vsize=13975920 memory=4294967626 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5846/stat : 5846 (java) S 5840 5843 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88651312 14311342080 9358 18446744073709551615 4194304 4196468 140721511961600 140656295168784 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5847] ppid=5840 vsize=13975920 memory=288370596137399936 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5847/stat : 5847 (java) S 5840 5843 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88651312 14311342080 9358 18446744073709551615 4194304 4196468 140721511961600 140656294116240 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5848] ppid=5840 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5848/stat : 5848 (java) S 5840 5843 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88651312 14311342080 9358 18446744073709551615 4194304 4196468 140721511961600 140656293063696 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5849] ppid=5840 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5849/stat : 5849 (java) S 5840 5843 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88651312 14311342080 9358 18446744073709551615 4194304 4196468 140721511961600 140656292011152 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5850] ppid=5840 vsize=13975920 memory=140219985688192 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5850/stat : 5850 (java) S 5840 5843 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88651313 14311342080 9358 18446744073709551615 4194304 4196468 140721511961600 140655854073840 140656375765634 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5851] ppid=5840 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5851/stat : 5851 (java) S 5840 5843 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 88651313 14311342080 9358 18446744073709551615 4194304 4196468 140721511961600 140655853020064 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5852] ppid=5840 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5852/stat : 5852 (java) S 5840 5843 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 88651314 14311342080 9358 18446744073709551615 4194304 4196468 140721511961600 140655851967472 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5853] ppid=5840 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5853/stat : 5853 (java) S 5840 5843 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88651316 14311342080 9358 18446744073709551615 4194304 4196468 140721511961600 140655850916048 140656375773083 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5854] ppid=5840 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5854/stat : 5854 (java) S 5840 5843 17093 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 15 0 88651316 14311342080 9358 18446744073709551615 4194304 4196468 140721511961600 140655849863664 140656375765634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5855] ppid=5840 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5855/stat : 5855 (java) S 5840 5843 17093 0 -1 1077944384 154 0 0 0 0 0 0 0 20 0 15 0 88651316 14311342080 9358 18446744073709551615 4194304 4196468 140721511961600 140655848811120 140656375765634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5856] ppid=5840 vsize=13975920 memory=140219985688192 CPUtime=0.03 cores=0,2,4,6
/proc/5843/task/5856/stat : 5856 (java) S 5840 5843 17093 0 -1 1077944384 374 0 0 0 3 0 0 0 20 0 15 0 88651316 14311342080 9358 18446744073709551615 4194304 4196468 140721511961600 140655847758576 140656375765634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5857] ppid=5840 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5857/stat : 5857 (java) S 5840 5843 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88651316 14311342080 9358 18446744073709551615 4194304 4196468 140721511961600 140655846706272 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5858] ppid=5840 vsize=13975920 memory=140219985688192 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5858/stat : 5858 (java) S 5840 5843 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88651321 14311342080 9358 18446744073709551615 4194304 4196468 140721511961600 140655845652784 140656375765634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 37432 KiB

[startup+0.310927 s]*
/proc/loadavg: 1.64 1.56 1.52 4/209 5858
/proc/meminfo: memFree=25122752/32770624 swapFree=67108860/67108860
[pid=5843] ppid=5840 vsize=13975920 memory=44000 CPUtime=0.33 cores=0,2,4,6
/proc/5843/stat : 5843 (java) S 5840 5843 17093 0 -1 1077944320 11234 0 0 0 30 3 0 0 20 0 15 0 88651306 14311342080 11000 18446744073709551615 4194304 4196468 140721511961600 140721511944144 140656375754487 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 4 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
/proc/5843/statm: 3493980 11000 3583 1 0 3482759 0
[pid=5843/tid=5845] ppid=5840 vsize=13975920 memory=6933928925625698159 CPUtime=0.22 cores=0,2,4,6
/proc/5843/task/5845/stat : 5845 (java) R 5840 5843 17093 0 -1 4202560 8783 0 0 0 19 3 0 0 20 0 15 0 88651311 14311342080 11000 18446744073709551615 4194304 4196468 140721511961600 140656379971808 140656375776413 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5846] ppid=5840 vsize=13975920 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5846/stat : 5846 (java) S 5840 5843 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88651312 14311342080 11000 18446744073709551615 4194304 4196468 140721511961600 140656295168784 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5847] ppid=5840 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5847/stat : 5847 (java) S 5840 5843 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88651312 14311342080 11000 18446744073709551615 4194304 4196468 140721511961600 140656294116240 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5848] ppid=5840 vsize=13975920 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5848/stat : 5848 (java) S 5840 5843 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88651312 14311342080 11000 18446744073709551615 4194304 4196468 140721511961600 140656293063696 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5849] ppid=5840 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5849/stat : 5849 (java) S 5840 5843 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88651312 14311342080 11000 18446744073709551615 4194304 4196468 140721511961600 140656292011152 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5850] ppid=5840 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5850/stat : 5850 (java) S 5840 5843 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 88651313 14311342080 11000 18446744073709551615 4194304 4196468 140721511961600 140655854073840 140656375765634 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5851] ppid=5840 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5851/stat : 5851 (java) S 5840 5843 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 88651313 14311342080 11000 18446744073709551615 4194304 4196468 140721511961600 140655853020064 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5852] ppid=5840 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5852/stat : 5852 (java) S 5840 5843 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 88651314 14311342080 11000 18446744073709551615 4194304 4196468 140721511961600 140655851967472 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5853] ppid=5840 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5853/stat : 5853 (java) S 5840 5843 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88651316 14311342080 11000 18446744073709551615 4194304 4196468 140721511961600 140655850916048 140656375773083 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5854] ppid=5840 vsize=13975920 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5843/task/5854/stat : 5854 (java) R 5840 5843 17093 0 -1 4202560 423 0 0 0 2 0 0 0 20 0 15 0 88651316 14311342080 11000 18446744073709551615 4194304 4196468 140721511961600 140655849863664 140656375765634 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5855] ppid=5840 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5843/task/5855/stat : 5855 (java) R 5840 5843 17093 0 -1 4202560 192 0 0 0 1 0 0 0 20 0 15 0 88651316 14311342080 11000 18446744073709551615 4194304 4196468 140721511961600 140655848811120 140656357276591 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5856] ppid=5840 vsize=13975920 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/5843/task/5856/stat : 5856 (java) S 5840 5843 17093 0 -1 1077944384 458 0 0 0 6 0 0 0 20 0 15 0 88651316 14311342080 11000 18446744073709551615 4194304 4196468 140721511961600 140655847758576 140656375765634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5857] ppid=5840 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5857/stat : 5857 (java) S 5840 5843 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88651316 14311342080 11000 18446744073709551615 4194304 4196468 140721511961600 140655846706272 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5858] ppid=5840 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5858/stat : 5858 (java) S 5840 5843 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88651321 14311342080 11000 18446744073709551615 4194304 4196468 140721511961600 140655845652784 140656375765634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 44000 KiB

[startup+0.700754 s]
/proc/loadavg: 1.64 1.56 1.52 3/209 5858
/proc/meminfo: memFree=25111352/32770624 swapFree=67108860/67108860
[pid=5843] ppid=5840 vsize=13977988 memory=74072 CPUtime=1.23 cores=0,2,4,6
/proc/5843/stat : 5843 (java) S 5840 5843 17093 0 -1 1077944320 13672 0 0 0 117 6 0 0 20 0 15 0 88651306 14313459712 18518 18446744073709551615 4194304 4196468 140721511961600 140721511944144 140656375754487 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 4 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
/proc/5843/statm: 3494497 18518 3745 1 0 3483271 0
[pid=5843/tid=5845] ppid=5840 vsize=13977988 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/5843/task/5845/stat : 5845 (java) R 5840 5843 17093 0 -1 4202560 9900 0 0 0 56 4 0 0 20 0 15 0 88651311 14313459712 18518 18446744073709551615 4194304 4196468 140721511961600 140656379991904 140656375766422 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5846] ppid=5840 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5846/stat : 5846 (java) S 5840 5843 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88651312 14313459712 18518 18446744073709551615 4194304 4196468 140721511961600 140656295168784 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5847] ppid=5840 vsize=13977988 memory=33 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5847/stat : 5847 (java) S 5840 5843 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88651312 14313459712 18518 18446744073709551615 4194304 4196468 140721511961600 140656294116240 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5848] ppid=5840 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5848/stat : 5848 (java) S 5840 5843 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88651312 14313459712 18518 18446744073709551615 4194304 4196468 140721511961600 140656293063696 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5849] ppid=5840 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5849/stat : 5849 (java) S 5840 5843 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88651312 14313459712 18518 18446744073709551615 4194304 4196468 140721511961600 140656292011152 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5850] ppid=5840 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5850/stat : 5850 (java) S 5840 5843 17093 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 88651313 14313459712 18518 18446744073709551615 4194304 4196468 140721511961600 140655854073840 140656375765634 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5851] ppid=5840 vsize=13977988 memory=2368 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5851/stat : 5851 (java) S 5840 5843 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 88651313 14313459712 18518 18446744073709551615 4194304 4196468 140721511961600 140655853020064 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5852] ppid=5840 vsize=13977988 memory=59376 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5852/stat : 5852 (java) S 5840 5843 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 88651314 14313459712 18518 18446744073709551615 4194304 4196468 140721511961600 140655851967472 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5853] ppid=5840 vsize=13977988 memory=3904 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5853/stat : 5853 (java) S 5840 5843 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88651316 14313459712 18518 18446744073709551615 4194304 4196468 140721511961600 140655850916048 140656375773083 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5854] ppid=5840 vsize=13977988 memory=2752 CPUtime=0.16 cores=0,2,4,6
/proc/5843/task/5854/stat : 5854 (java) R 5840 5843 17093 0 -1 4202560 816 0 0 0 16 0 0 0 20 0 15 0 88651316 14313459712 18518 18446744073709551615 4194304 4196468 140721511961600 140655849863664 140656368739529 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5855] ppid=5840 vsize=13977988 memory=3648 CPUtime=0.17 cores=0,2,4,6
/proc/5843/task/5855/stat : 5855 (java) R 5840 5843 17093 0 -1 1077944384 689 0 0 0 17 0 0 0 20 0 15 0 88651316 14313459712 18518 18446744073709551615 4194304 4196468 140721511961600 140655848811120 140656375765634 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5856] ppid=5840 vsize=13977988 memory=4612 CPUtime=0.27 cores=0,2,4,6
/proc/5843/task/5856/stat : 5856 (java) R 5840 5843 17093 0 -1 4202560 884 0 0 0 27 0 0 0 20 0 15 0 88651316 14313459712 18518 18446744073709551615 4194304 4196468 140721511961600 140655847758704 140656360006775 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5857] ppid=5840 vsize=13977988 memory=7596259004554634560 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5857/stat : 5857 (java) S 5840 5843 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88651316 14313459712 18518 18446744073709551615 4194304 4196468 140721511961600 140655846706272 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5858] ppid=5840 vsize=13977988 memory=7739276948477930857 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5858/stat : 5858 (java) S 5840 5843 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88651321 14313459712 18518 18446744073709551615 4194304 4196468 140721511961600 140655845652784 140656375765634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
Current children cumulated CPU time: 1.23 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 74072 KiB

[startup+1.50068 s]
/proc/loadavg: 1.64 1.56 1.52 3/209 5858
/proc/meminfo: memFree=25067096/32770624 swapFree=67108860/67108860
[pid=5843] ppid=5840 vsize=13982084 memory=184280 CPUtime=3.57 cores=0,2,4,6
/proc/5843/stat : 5843 (java) S 5840 5843 17093 0 -1 1077944320 29880 0 0 0 347 10 0 0 20 0 15 0 88651306 14317654016 46070 18446744073709551615 4194304 4196468 140721511961600 140721511944144 140656375754487 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 4 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
/proc/5843/statm: 3495521 46070 3761 1 0 3484295 0
[pid=5843/tid=5845] ppid=5840 vsize=13982084 memory=139280 CPUtime=1.4 cores=0,2,4,6
/proc/5843/task/5845/stat : 5845 (java) R 5840 5843 17093 0 -1 4202560 15154 0 0 0 133 7 0 0 20 0 15 0 88651311 14317654016 46070 18446744073709551615 4194304 4196468 140721511961600 140656379982640 140655971856096 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5846] ppid=5840 vsize=13982084 memory=120 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5846/stat : 5846 (java) S 5840 5843 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88651312 14317654016 46070 18446744073709551615 4194304 4196468 140721511961600 140656295168784 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5847] ppid=5840 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5847/stat : 5847 (java) S 5840 5843 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88651312 14317654016 46070 18446744073709551615 4194304 4196468 140721511961600 140656294116240 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5848] ppid=5840 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5848/stat : 5848 (java) S 5840 5843 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 88651312 14317654016 46070 18446744073709551615 4194304 4196468 140721511961600 140656293063696 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5849] ppid=5840 vsize=13982084 memory=4639059890892133476 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5849/stat : 5849 (java) S 5840 5843 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 88651312 14317654016 46070 18446744073709551615 4194304 4196468 140721511961600 140656292011152 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5850] ppid=5840 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5850/stat : 5850 (java) S 5840 5843 17093 0 -1 1077944384 439 0 0 0 0 0 0 0 20 0 15 0 88651313 14317654016 46070 18446744073709551615 4194304 4196468 140721511961600 140655854073840 140656375765634 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5851] ppid=5840 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5851/stat : 5851 (java) S 5840 5843 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 88651313 14317654016 46070 18446744073709551615 4194304 4196468 140721511961600 140655853020064 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0

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

/proc/5843/task/5845/stat : 5845 (java) R 5840 5843 17093 0 -1 4202560 99750 0 0 0 235552 88 0 0 20 0 15 0 88651311 14317654016 133083 18446744073709551615 4194304 4196468 140721511961600 140656379993008 140655976522726 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5846] ppid=5840 vsize=13982084 memory=589280 CPUtime=19.01 cores=0,2,4,6
/proc/5843/task/5846/stat : 5846 (java) S 5840 5843 17093 0 -1 1077944384 15805 0 0 0 1844 57 0 0 20 0 15 0 88651312 14317654016 133083 18446744073709551615 4194304 4196468 140721511961600 140656295168784 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5847] ppid=5840 vsize=13982084 memory=560548 CPUtime=19.04 cores=0,2,4,6
/proc/5843/task/5847/stat : 5847 (java) S 5840 5843 17093 0 -1 1077944384 15070 0 0 0 1846 58 0 0 20 0 15 0 88651312 14317654016 133083 18446744073709551615 4194304 4196468 140721511961600 140656294116240 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5848] ppid=5840 vsize=13982084 memory=548748 CPUtime=19.03 cores=0,2,4,6
/proc/5843/task/5848/stat : 5848 (java) S 5840 5843 17093 0 -1 1077944384 15557 0 0 0 1846 57 0 0 20 0 15 0 88651312 14317654016 133083 18446744073709551615 4194304 4196468 140721511961600 140656293063696 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5849] ppid=5840 vsize=13982084 memory=1296 CPUtime=19.02 cores=0,2,4,6
/proc/5843/task/5849/stat : 5849 (java) S 5840 5843 17093 0 -1 1077944384 14029 0 0 0 1843 59 0 0 20 0 15 0 88651312 14317654016 133083 18446744073709551615 4194304 4196468 140721511961600 140656292011152 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5850] ppid=5840 vsize=13982084 memory=541564 CPUtime=4.27 cores=0,2,4,6
/proc/5843/task/5850/stat : 5850 (java) S 5840 5843 17093 0 -1 1077944384 53569 0 0 0 359 68 0 0 20 0 15 0 88651313 14317654016 133083 18446744073709551615 4194304 4196468 140721511961600 140655854073840 140656375765634 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5851] ppid=5840 vsize=13982084 memory=538488 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5851/stat : 5851 (java) S 5840 5843 17093 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 88651313 14317654016 133083 18446744073709551615 4194304 4196468 140721511961600 140655853020128 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5852] ppid=5840 vsize=13982084 memory=533356 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5852/stat : 5852 (java) S 5840 5843 17093 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 88651314 14317654016 133083 18446744073709551615 4194304 4196468 140721511961600 140655851967488 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5853] ppid=5840 vsize=13982084 memory=532332 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5853/stat : 5853 (java) S 5840 5843 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88651316 14317654016 133083 18446744073709551615 4194304 4196468 140721511961600 140655850916048 140656375773083 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5854] ppid=5840 vsize=13982084 memory=420 CPUtime=2.74 cores=0,2,4,6
/proc/5843/task/5854/stat : 5854 (java) S 5840 5843 17093 0 -1 1077944384 21678 0 0 0 271 3 0 0 20 0 15 0 88651316 14317654016 133083 18446744073709551615 4194304 4196468 140721511961600 140655849863664 140656375765634 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5855] ppid=5840 vsize=13982084 memory=0 CPUtime=2.94 cores=0,2,4,6
/proc/5843/task/5855/stat : 5855 (java) S 5840 5843 17093 0 -1 1077944384 17016 0 0 0 291 3 0 0 20 0 15 0 88651316 14317654016 133083 18446744073709551615 4194304 4196468 140721511961600 140655848811120 140656375765634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5856] ppid=5840 vsize=13982084 memory=535408 CPUtime=1.12 cores=0,2,4,6
/proc/5843/task/5856/stat : 5856 (java) S 5840 5843 17093 0 -1 1077944384 15719 0 0 0 108 4 0 0 20 0 15 0 88651316 14317654016 133083 18446744073709551615 4194304 4196468 140721511961600 140655847758576 140656375765634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5857] ppid=5840 vsize=13982084 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5857/stat : 5857 (java) S 5840 5843 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88651316 14317654016 133083 18446744073709551615 4194304 4196468 140721511961600 140655846706272 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5858] ppid=5840 vsize=13982084 memory=48780 CPUtime=1.44 cores=0,2,4,6
/proc/5843/task/5858/stat : 5858 (java) S 5840 5843 17093 0 -1 1077944384 974 0 0 0 67 77 0 0 20 0 15 0 88651321 14317654016 133083 18446744073709551615 4194304 4196468 140721511961600 140655845652784 140656375765634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
Current children cumulated CPU time: 2445.11 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 532332 KiB

[startup+2442.3 s]
/proc/loadavg: 1.20 1.30 1.37 3/209 6076
/proc/meminfo: memFree=30073816/32770624 swapFree=67108860/67108860
[pid=5843] ppid=5840 vsize=13982084 memory=561060 CPUtime=2506.51 cores=0,2,4,6
/proc/5843/stat : 5843 (java) S 5840 5843 17093 0 -1 1077944320 275918 0 0 0 250203 448 0 0 20 0 15 0 88651306 14317654016 140265 18446744073709551615 4194304 4196468 140721511961600 140721511944144 140656375754487 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 4 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
/proc/5843/statm: 3495521 140265 3836 1 0 3484295 0
[pid=5843/tid=5845] ppid=5840 vsize=13982084 memory=562084 CPUtime=2415.75 cores=0,2,4,6
/proc/5843/task/5845/stat : 5845 (java) R 5840 5843 17093 0 -1 4202560 104133 0 0 0 241484 91 0 0 20 0 15 0 88651311 14317654016 140265 18446744073709551615 4194304 4196468 140721511961600 140656379992992 140655977521188 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5846] ppid=5840 vsize=13982084 memory=571832 CPUtime=19.48 cores=0,2,4,6
/proc/5843/task/5846/stat : 5846 (java) S 5840 5843 17093 0 -1 1077944384 16029 0 0 0 1890 58 0 0 20 0 15 0 88651312 14317654016 140265 18446744073709551615 4194304 4196468 140721511961600 140656295168784 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5847] ppid=5840 vsize=13982084 memory=582604 CPUtime=19.52 cores=0,2,4,6
/proc/5843/task/5847/stat : 5847 (java) S 5840 5843 17093 0 -1 1077944384 15254 0 0 0 1893 59 0 0 20 0 15 0 88651312 14317654016 140265 18446744073709551615 4194304 4196468 140721511961600 140656294116240 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5848] ppid=5840 vsize=13982084 memory=562084 CPUtime=19.51 cores=0,2,4,6
/proc/5843/task/5848/stat : 5848 (java) S 5840 5843 17093 0 -1 1077944384 15663 0 0 0 1893 58 0 0 20 0 15 0 88651312 14317654016 140265 18446744073709551615 4194304 4196468 140721511961600 140656293063696 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5849] ppid=5840 vsize=13982084 memory=562084 CPUtime=19.5 cores=0,2,4,6
/proc/5843/task/5849/stat : 5849 (java) S 5840 5843 17093 0 -1 1077944384 14173 0 0 0 1890 60 0 0 20 0 15 0 88651312 14317654016 140265 18446744073709551615 4194304 4196468 140721511961600 140656292011152 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5850] ppid=5840 vsize=13982084 memory=589252 CPUtime=4.37 cores=0,2,4,6
/proc/5843/task/5850/stat : 5850 (java) S 5840 5843 17093 0 -1 1077944384 53827 0 0 0 366 71 0 0 20 0 15 0 88651313 14317654016 140265 18446744073709551615 4194304 4196468 140721511961600 140655854073840 140656375765634 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5851] ppid=5840 vsize=13982084 memory=560032 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5851/stat : 5851 (java) S 5840 5843 17093 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 88651313 14317654016 140265 18446744073709551615 4194304 4196468 140721511961600 140655853020128 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5852] ppid=5840 vsize=13982084 memory=583632 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5852/stat : 5852 (java) S 5840 5843 17093 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 88651314 14317654016 140265 18446744073709551615 4194304 4196468 140721511961600 140655851967488 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5853] ppid=5840 vsize=13982084 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5853/stat : 5853 (java) S 5840 5843 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88651316 14317654016 140265 18446744073709551615 4194304 4196468 140721511961600 140655850916048 140656375773083 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5854] ppid=5840 vsize=13982084 memory=7680170660397595203 CPUtime=2.74 cores=0,2,4,6
/proc/5843/task/5854/stat : 5854 (java) S 5840 5843 17093 0 -1 1077944384 21680 0 0 0 271 3 0 0 20 0 15 0 88651316 14317654016 140265 18446744073709551615 4194304 4196468 140721511961600 140655849863664 140656375765634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5855] ppid=5840 vsize=13982084 memory=1444 CPUtime=2.94 cores=0,2,4,6
/proc/5843/task/5855/stat : 5855 (java) S 5840 5843 17093 0 -1 1077944384 17018 0 0 0 291 3 0 0 20 0 15 0 88651316 14317654016 140265 18446744073709551615 4194304 4196468 140721511961600 140655848811120 140656375765634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5856] ppid=5840 vsize=13982084 memory=562084 CPUtime=1.12 cores=0,2,4,6
/proc/5843/task/5856/stat : 5856 (java) S 5840 5843 17093 0 -1 1077944384 15721 0 0 0 108 4 0 0 20 0 15 0 88651316 14317654016 140265 18446744073709551615 4194304 4196468 140721511961600 140655847758576 140656375765634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5857] ppid=5840 vsize=13982084 memory=1152 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5857/stat : 5857 (java) S 5840 5843 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88651316 14317654016 140265 18446744073709551615 4194304 4196468 140721511961600 140655846706272 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5858] ppid=5840 vsize=13982084 memory=572860 CPUtime=1.48 cores=0,2,4,6
/proc/5843/task/5858/stat : 5858 (java) S 5840 5843 17093 0 -1 1077944384 989 0 0 0 69 79 0 0 20 0 15 0 88651321 14317654016 140265 18446744073709551615 4194304 4196468 140721511961600 140655845652784 140656375765634 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
Current children cumulated CPU time: 2506.51 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 561060 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2455.5 s]
/proc/loadavg: 1.23 1.30 1.37 3/209 6077
/proc/meminfo: memFree=30086344/32770624 swapFree=67108860/67108860
[pid=5843] ppid=5840 vsize=13982084 memory=572860 CPUtime=2520.01 cores=0,2,4,6
/proc/5843/stat : 5843 (java) S 5840 5843 17093 0 -1 1077944320 276663 0 0 0 251550 451 0 0 20 0 15 0 88651306 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140721511944144 140656375754487 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 4 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
/proc/5843/statm: 3495521 143215 3836 1 0 3484295 0
[pid=5843/tid=5845] ppid=5840 vsize=13982084 memory=571832 CPUtime=2428.81 cores=0,2,4,6
/proc/5843/task/5845/stat : 5845 (java) R 5840 5843 17093 0 -1 4202560 104771 0 0 0 242789 92 0 0 20 0 15 0 88651311 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140656379993008 140655976522638 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5846] ppid=5840 vsize=13982084 memory=582604 CPUtime=19.58 cores=0,2,4,6
/proc/5843/task/5846/stat : 5846 (java) S 5840 5843 17093 0 -1 1077944384 16040 0 0 0 1900 58 0 0 20 0 15 0 88651312 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140656295168784 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5847] ppid=5840 vsize=13982084 memory=586080 CPUtime=19.63 cores=0,2,4,6
/proc/5843/task/5847/stat : 5847 (java) S 5840 5843 17093 0 -1 1077944384 15265 0 0 0 1903 60 0 0 20 0 15 0 88651312 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140656294116240 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5848] ppid=5840 vsize=13982084 memory=581976 CPUtime=19.62 cores=0,2,4,6
/proc/5843/task/5848/stat : 5848 (java) S 5840 5843 17093 0 -1 1077944384 15716 0 0 0 1903 59 0 0 20 0 15 0 88651312 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140656293063696 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5849] ppid=5840 vsize=13982084 memory=573884 CPUtime=19.59 cores=0,2,4,6
/proc/5843/task/5849/stat : 5849 (java) S 5840 5843 17093 0 -1 1077944384 14180 0 0 0 1899 60 0 0 20 0 15 0 88651312 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140656292011152 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5850] ppid=5840 vsize=13982084 memory=572860 CPUtime=4.39 cores=0,2,4,6
/proc/5843/task/5850/stat : 5850 (java) S 5840 5843 17093 0 -1 1077944384 53852 0 0 0 368 71 0 0 20 0 15 0 88651313 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140655854073840 140656375765634 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5851] ppid=5840 vsize=13982084 memory=589252 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5851/stat : 5851 (java) S 5840 5843 17093 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 88651313 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140655853020128 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5852] ppid=5840 vsize=13982084 memory=560032 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5852/stat : 5852 (java) S 5840 5843 17093 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 88651314 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140655851967488 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5853] ppid=5840 vsize=13982084 memory=932 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5853/stat : 5853 (java) S 5840 5843 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88651316 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140655850916048 140656375773083 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5854] ppid=5840 vsize=13982084 memory=573884 CPUtime=2.74 cores=0,2,4,6
/proc/5843/task/5854/stat : 5854 (java) S 5840 5843 17093 0 -1 1077944384 21680 0 0 0 271 3 0 0 20 0 15 0 88651316 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140655849863664 140656375765634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5855] ppid=5840 vsize=13982084 memory=4028 CPUtime=2.94 cores=0,2,4,6
/proc/5843/task/5855/stat : 5855 (java) S 5840 5843 17093 0 -1 1077944384 17018 0 0 0 291 3 0 0 20 0 15 0 88651316 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140655848811120 140656375765634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5856] ppid=5840 vsize=13982084 memory=572860 CPUtime=1.12 cores=0,2,4,6
/proc/5843/task/5856/stat : 5856 (java) S 5840 5843 17093 0 -1 1077944384 15721 0 0 0 108 4 0 0 20 0 15 0 88651316 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140655847758576 140656375765634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5857] ppid=5840 vsize=13982084 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5857/stat : 5857 (java) S 5840 5843 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88651316 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140655846706272 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5858] ppid=5840 vsize=13982084 memory=583004 CPUtime=1.49 cores=0,2,4,6
/proc/5843/task/5858/stat : 5858 (java) S 5840 5843 17093 0 -1 1077944384 989 0 0 0 70 79 0 0 20 0 15 0 88651321 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140655845652784 140656375765634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 572860 KiB

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

[startup+2455.51 s]
# the end of solver process 5843 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.52 s, system=4.51903 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2455.5 s]
/proc/loadavg: 1.23 1.30 1.37 3/209 6077
/proc/meminfo: memFree=30086344/32770624 swapFree=67108860/67108860
[pid=5843] ppid=5840 vsize=13982084 memory=572860 CPUtime=2520.01 cores=0,2,4,6
/proc/5843/stat : 5843 (java) S 5840 5843 17093 0 -1 1077944320 276663 0 0 0 251550 451 0 0 20 0 15 0 88651306 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140721511944144 140656375754487 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 4 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
/proc/5843/statm: 3495521 143215 3836 1 0 3484295 0
[pid=5843/tid=5845] ppid=5840 vsize=13982084 memory=571832 CPUtime=2428.81 cores=0,2,4,6
/proc/5843/task/5845/stat : 5845 (java) R 5840 5843 17093 0 -1 4202560 104771 0 0 0 242789 92 0 0 20 0 15 0 88651311 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140656379993008 140655976522638 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5846] ppid=5840 vsize=13982084 memory=582604 CPUtime=19.58 cores=0,2,4,6
/proc/5843/task/5846/stat : 5846 (java) S 5840 5843 17093 0 -1 1077944384 16040 0 0 0 1900 58 0 0 20 0 15 0 88651312 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140656295168784 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5847] ppid=5840 vsize=13982084 memory=586080 CPUtime=19.63 cores=0,2,4,6
/proc/5843/task/5847/stat : 5847 (java) S 5840 5843 17093 0 -1 1077944384 15265 0 0 0 1903 60 0 0 20 0 15 0 88651312 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140656294116240 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5848] ppid=5840 vsize=13982084 memory=581976 CPUtime=19.62 cores=0,2,4,6
/proc/5843/task/5848/stat : 5848 (java) S 5840 5843 17093 0 -1 1077944384 15716 0 0 0 1903 59 0 0 20 0 15 0 88651312 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140656293063696 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5849] ppid=5840 vsize=13982084 memory=573884 CPUtime=19.59 cores=0,2,4,6
/proc/5843/task/5849/stat : 5849 (java) S 5840 5843 17093 0 -1 1077944384 14180 0 0 0 1899 60 0 0 20 0 15 0 88651312 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140656292011152 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5850] ppid=5840 vsize=13982084 memory=572860 CPUtime=4.39 cores=0,2,4,6
/proc/5843/task/5850/stat : 5850 (java) S 5840 5843 17093 0 -1 1077944384 53852 0 0 0 368 71 0 0 20 0 15 0 88651313 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140655854073840 140656375765634 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5851] ppid=5840 vsize=13982084 memory=589252 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5851/stat : 5851 (java) S 5840 5843 17093 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 88651313 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140655853020128 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5852] ppid=5840 vsize=13982084 memory=560032 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5852/stat : 5852 (java) S 5840 5843 17093 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 88651314 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140655851967488 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5853] ppid=5840 vsize=13982084 memory=932 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5853/stat : 5853 (java) S 5840 5843 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88651316 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140655850916048 140656375773083 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5854] ppid=5840 vsize=13982084 memory=573884 CPUtime=2.74 cores=0,2,4,6
/proc/5843/task/5854/stat : 5854 (java) S 5840 5843 17093 0 -1 1077944384 21680 0 0 0 271 3 0 0 20 0 15 0 88651316 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140655849863664 140656375765634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5855] ppid=5840 vsize=13982084 memory=4028 CPUtime=2.94 cores=0,2,4,6
/proc/5843/task/5855/stat : 5855 (java) S 5840 5843 17093 0 -1 1077944384 17018 0 0 0 291 3 0 0 20 0 15 0 88651316 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140655848811120 140656375765634 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5856] ppid=5840 vsize=13982084 memory=572860 CPUtime=1.12 cores=0,2,4,6
/proc/5843/task/5856/stat : 5856 (java) S 5840 5843 17093 0 -1 1077944384 15721 0 0 0 108 4 0 0 20 0 15 0 88651316 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140655847758576 140656375765634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5857] ppid=5840 vsize=13982084 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5857/stat : 5857 (java) S 5840 5843 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 88651316 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140655846706272 140656375764693 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
[pid=5843/tid=5858] ppid=5840 vsize=13982084 memory=583004 CPUtime=1.49 cores=0,2,4,6
/proc/5843/task/5858/stat : 5858 (java) S 5840 5843 17093 0 -1 1077944384 989 0 0 0 70 79 0 0 20 0 15 0 88651321 14317654016 143215 18446744073709551615 4194304 4196468 140721511961600 140655845652784 140656375765634 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8351744 140721511969141 140721511969321 140721511969321 140721511972815 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 572860 KiB

Child status: 143
Real time (s): 2455.51
CPU time (s): 2520.04
CPU user time (s): 2515.52
CPU system time (s): 4.51903
CPU usage (%): 102.628
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 2177928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.52
system time used= 4.51903
maximum resident set size= 2179920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277048
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 155803
involuntary context switches= 6865


# summary of solver processes directly reported to runsolver:
#   pid: 5843
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2515.52
#   total CPU system time (s): 4.51903

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.8165 second user time and 21.3918 second system time

The end

Name	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml
MD5SUM	406abf126875c7059afeaa5170034bef
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	157
Best CPU time to get the best result obtained on this benchmark	20003.6
Satisfiable
(Un)Satisfiability was proved
Number of variables	1805
Number of constraints	943
Number of domains	83
Minimum domain size	2
Maximum domain size	83
Distribution of domain sizes	[{"size":2,"count":904},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":39,"count":2}, {"size":40,"count":1}, {"size":41,"count":2}, {"size":42,"count":1}, {"size":43,"count":1}, {"size":45,"count":1}, {"size":47,"count":1}, {"size":49,"count":1}, {"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}]
Minimum variable degree	0
Maximum variable degree	41
Distribution of variable degrees	[{"degree":0,"count":820},{"degree":2,"count":943},{"degree":41,"count":42}]
Minimum constraint arity	2
Maximum constraint arity	42
Distribution of constraint arities	[{"arity":2,"count":42},{"arity":3,"count":862},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":37,"count":1},{"arity":38,"count":1},{"arity":39,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":42,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	902
Distribution of constraint types	[{"type":"intension","count":902},{"type":"sum","count":41}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4273076

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