2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering with restarts 2018-08-14	SAT (TO)	11092	2520.06	2459.33

0.68/0.55	c version: 2018-08-14
0.68/0.55	c seed: 293674844
0.68/0.56	c timeout: 2520
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 4
0.68/0.58	c Parsing instance...
6.20/2.44	c Parsing done, starting search...
9.27/3.49	o 11747
10.92/4.42	o 11490
10.92/4.42	o 11483
10.92/4.42	o 11410
10.92/4.42	o 11403
24.86/17.64	o 11401
25.07/17.88	o 11378
25.07/17.89	o 11332
25.19/17.90	o 11298
104.47/96.57	o 11252
104.57/96.62	o 11242
104.57/96.62	o 11228
111.94/103.95	o 11220
112.05/104.04	o 11206
120.74/112.64	o 11202
121.25/113.12	o 11171
121.25/113.12	o 11167
121.25/113.12	o 11116
248.84/238.03	o 11092
2520.03/2459.30	s SATISFIABLE
2520.03/2459.30	v <instantiation>
2520.03/2459.30	v 	<list>
2520.03/2459.30	v 		o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] h[0][0] h[0][1] h[0][2] h[0][3] h[0][4] h[0][5] h[0][6] h[0][7] h[0][8] h[0][9] h[0][10] h[0][11] h[0][12] h[0][13] h[0][14] h[0][15] h[0][16] h[0][17] h[0][18] h[0][19] h[0][20] h[0][21] h[1][0] h[1][1] h[1][2] h[1][3] h[1][4] h[1][5] h[1][6] h[1][7] h[1][8] h[1][9] h[1][10] h[1][11] h[1][12] h[1][13] h[1][14] h[1][15] h[1][16] h[1][17] h[1][18] h[1][19] h[1][20] h[1][21] h[2][0] h[2][1] h[2][2] h[2][3] h[2][4] h[2][5] h[2][6] h[2][7] h[2][8] h[2][9] h[2][10] h[2][11] h[2][12] h[2][13] h[2][14] h[2][15] h[2][16] h[2][17] h[2][18] h[2][19] h[2][20] h[2][21] h[3][0] h[3][1] h[3][2] h[3][3] h[3][4] h[3][5] h[3][6] h[3][7] h[3][8] h[3][9] h[3][10] h[3][11] h[3][12] h[3][13] h[3][14] h[3][15] h[3][16] h[3][17] h[3][18] h[3][19] h[3][20] h[3][21] h[4][0] h[4][1] h[4][2] h[4][3] h[4][4] h[4][5] h[4][6] h[4][7] h[4][8] h[4][9] h[4][10] h[4][11] h[4][12] h[4][13] h[4][14] h[4][15] h[4][16] h[4][17] h[4][18] h[4][19] h[4][20] h[4][21] h[5][0] h[5][1] h[5][2] h[5][3] h[5][4] h[5][5] h[5][6] h[5][7] h[5][8] h[5][9] h[5][10] h[5][11] h[5][12] h[5][13] h[5][14] h[5][15] h[5][16] h[5][17] h[5][18] h[5][19] h[5][20] h[5][21] h[6][0] h[6][1] h[6][2] h[6][3] h[6][4] h[6][5] h[6][6] h[6][7] h[6][8] h[6][9] h[6][10] h[6][11] h[6][12] h[6][13] h[6][14] h[6][15] h[6][16] h[6][17] h[6][18] h[6][19] h[6][20] h[6][21] h[7][0] h[7][1] h[7][2] h[7][3] h[7][4] h[7][5] h[7][6] h[7][7] h[7][8] h[7][9] h[7][10] h[7][11] h[7][12] h[7][13] h[7][14] h[7][15] h[7][16] h[7][17] h[7][18] h[7][19] h[7][20] h[7][21] h[8][0] h[8][1] h[8][2] h[8][3] h[8][4] h[8][5] h[8][6] h[8][7] h[8][8] h[8][9] h[8][10] h[8][11] h[8][12] h[8][13] h[8][14] h[8][15] h[8][16] h[8][17] h[8][18] h[8][19] h[8][20] h[8][21] h[9][0] h[9][1] h[9][2] h[9][3] h[9][4] h[9][5] h[9][6] h[9][7] h[9][8] h[9][9] h[9][10] h[9][11] h[9][12] h[9][13] h[9][14] h[9][15] h[9][16] h[9][17] h[9][18] h[9][19] h[9][20] h[9][21] h[10][0] h[10][1] h[10][2] h[10][3] h[10][4] h[10][5] h[10][6] h[10][7] h[10][8] h[10][9] h[10][10] h[10][11] h[10][12] h[10][13] h[10][14] h[10][15] h[10][16] h[10][17] h[10][18] h[10][19] h[10][20] h[10][21] h[11][0] h[11][1] h[11][2] h[11][3] h[11][4] h[11][5] h[11][6] h[11][7] h[11][8] h[11][9] h[11][10] h[11][11] h[11][12] h[11][13] h[11][14] h[11][15] h[11][16] h[11][17] h[11][18] h[11][19] h[11][20] h[11][21] a[0][0] a[0][1] a[0][2] a[0][3] a[0][4] a[0][5] a[0][6] a[0][7] a[0][8] a[0][9] a[0][10] a[0][11] a[0][12] a[0][13] a[0][14] a[0][15] a[0][16] a[0][17] a[0][18] a[0][19] a[0][20] a[0][21] a[1][0] a[1][1] a[1][2] a[1][3] a[1][4] a[1][5] a[1][6] a[1][7] a[1][8] a[1][9] a[1][10] a[1][11] a[1][12] a[1][13] a[1][14] a[1][15] a[1][16] a[1][17] a[1][18] a[1][19] a[1][20] a[1][21] a[2][0] a[2][1] a[2][2] a[2][3] a[2][4] a[2][5] a[2][6] a[2][7] a[2][8] a[2][9] a[2][10] a[2][11] a[2][12] a[2][13] a[2][14] a[2][15] a[2][16] a[2][17] a[2][18] a[2][19] a[2][20] a[2][21] a[3][0] a[3][1] a[3][2] a[3][3] a[3][4] a[3][5] a[3][6] a[3][7] a[3][8] a[3][9] a[3][10] a[3][11] a[3][12] a[3][13] a[3][14] a[3][15] a[3][16] a[3][17] a[3][18] a[3][19] a[3][20] a[3][21] a[4][0] a[4][1] a[4][2] a[4][3] a[4][4] a[4][5] a[4][6] a[4][7] a[4][8] a[4][9] a[4][10] a[4][11] a[4][12] a[4][13] a[4][14] a[4][15] a[4][16] a[4][17] a[4][18] a[4][19] a[4][20] a[4][21] a[5][0] a[5][1] a[5][2] a[5][3] a[5][4] a[5][5] a[5][6] a[5][7] a[5][8] a[5][9] a[5][10] a[5][11] a[5][12] a[5][13] a[5][14] a[5][15] a[5][16] a[5][17] a[5][18] a[5][19] a[5][20] a[5][21] a[6][0] a[6][1] a[6][2] a[6][3] a[6][4] a[6][5] a[6][6] a[6][7] a[6][8] a[6][9] a[6][10] a[6][11] a[6][12] a[6][13] a[6][14] a[6][15] a[6][16] a[6][17] a[6][18] a[6][19] a[6][20] a[6][21] a[7][0] a[7][1] a[7][2] a[7][3] a[7][4] a[7][5] a[7][6] a[7][7] a[7][8] a[7][9] a[7][10] a[7][11] a[7][12] a[7][13] a[7][14] a[7][15] a[7][16] a[7][17] a[7][18] a[7][19] a[7][20] a[7][21] a[8][0] a[8][1] a[8][2] a[8][3] a[8][4] a[8][5] a[8][6] a[8][7] a[8][8] a[8][9] a[8][10] a[8][11] a[8][12] a[8][13] a[8][14] a[8][15] a[8][16] a[8][17] a[8][18] a[8][19] a[8][20] a[8][21] a[9][0] a[9][1] a[9][2] a[9][3] a[9][4] a[9][5] a[9][6] a[9][7] a[9][8] a[9][9] a[9][10] a[9][11] a[9][12] a[9][13] a[9][14] a[9][15] a[9][16] a[9][17] a[9][18] a[9][19] a[9][20] a[9][21] a[10][0] a[10][1] a[10][2] a[10][3] a[10][4] a[10][5] a[10][6] a[10][7] a[10][8] a[10][9] a[10][10] a[10][11] a[10][12] a[10][13] a[10][14] a[10][15] a[10][16] a[10][17] a[10][18] a[10][19] a[10][20] a[10][21] a[11][0] a[11][1] a[11][2] a[11][3] a[11][4] a[11][5] a[11][6] a[11][7] a[11][8] a[11][9] a[11][10] a[11][11] a[11][12] a[11][13] a[11][14] a[11][15] a[11][16] a[11][17] a[11][18] a[11][19] a[11][20] a[11][21] t[0][0] t[0][1] t[0][2] t[0][3] t[0][4] t[0][5] t[0][6] t[0][7] t[0][8] t[0][9] t[0][10] t[0][11] t[0][12] t[0][13] t[0][14] t[0][15] t[0][16] t[0][17] t[0][18] t[0][19] t[0][20] t[0][21] t[0][22] t[1][0] t[1][1] t[1][2] t[1][3] t[1][4] t[1][5] t[1][6] t[1][7] t[1][8] t[1][9] t[1][10] t[1][11] t[1][12] t[1][13] t[1][14] t[1][15] t[1][16] t[1][17] t[1][18] t[1][19] t[1][20] t[1][21] t[1][22] t[2][0] t[2][1] t[2][2] t[2][3] t[2][4] t[2][5] t[2][6] t[2][7] t[2][8] t[2][9] t[2][10] t[2][11] t[2][12] t[2][13] t[2][14] t[2][15] t[2][16] t[2][17] t[2][18] t[2][19] t[2][20] t[2][21] t[2][22] t[3][0] t[3][1] t[3][2] t[3][3] t[3][4] t[3][5] t[3][6] t[3][7] t[3][8] t[3][9] t[3][10] t[3][11] t[3][12] t[3][13] t[3][14] t[3][15] t[3][16] t[3][17] t[3][18] t[3][19] t[3][20] t[3][21] t[3][22] t[4][0] t[4][1] t[4][2] t[4][3] t[4][4] t[4][5] t[4][6] t[4][7] t[4][8] t[4][9] t[4][10] t[4][11] t[4][12] t[4][13] t[4][14] t[4][15] t[4][16] t[4][17] t[4][18] t[4][19] t[4][20] t[4][21] t[4][22] t[5][0] t[5][1] t[5][2] t[5][3] t[5][4] t[5][5] t[5][6] t[5][7] t[5][8] t[5][9] t[5][10] t[5][11] t[5][12] t[5][13] t[5][14] t[5][15] t[5][16] t[5][17] t[5][18] t[5][19] t[5][20] t[5][21] t[5][22] t[6][0] t[6][1] t[6][2] t[6][3] t[6][4] t[6][5] t[6][6] t[6][7] t[6][8] t[6][9] t[6][10] t[6][11] t[6][12] t[6][13] t[6][14] t[6][15] t[6][16] t[6][17] t[6][18] t[6][19] t[6][20] t[6][21] t[6][22] t[7][0] t[7][1] t[7][2] t[7][3] t[7][4] t[7][5] t[7][6] t[7][7] t[7][8] t[7][9] t[7][10] t[7][11] t[7][12] t[7][13] t[7][14] t[7][15] t[7][16] t[7][17] t[7][18] t[7][19] t[7][20] t[7][21] t[7][22] t[8][0] t[8][1] t[8][2] t[8][3] t[8][4] t[8][5] t[8][6] t[8][7] t[8][8] t[8][9] t[8][10] t[8][11] t[8][12] t[8][13] t[8][14] t[8][15] t[8][16] t[8][17] t[8][18] t[8][19] t[8][20] t[8][21] t[8][22] t[9][0] t[9][1] t[9][2] t[9][3] t[9][4] t[9][5] t[9][6] t[9][7] t[9][8] t[9][9] t[9][10] t[9][11] t[9][12] t[9][13] t[9][14] t[9][15] t[9][16] t[9][17] t[9][18] t[9][19] t[9][20] t[9][21] t[9][22] t[10][0] t[10][1] t[10][2] t[10][3] t[10][4] t[10][5] t[10][6] t[10][7] t[10][8] t[10][9] t[10][10] t[10][11] t[10][12] t[10][13] t[10][14] t[10][15] t[10][16] t[10][17] t[10][18] t[10][19] t[10][20] t[10][21] t[10][22] t[11][0] t[11][1] t[11][2] t[11][3] t[11][4] t[11][5] t[11][6] t[11][7] t[11][8] t[11][9] t[11][10] t[11][11] t[11][12] t[11][13] t[11][14] t[11][15] t[11][16] t[11][17] t[11][18] t[11][19] t[11][20] t[11][21] t[11][22]
2520.03/2459.30	v 	</list>
2520.03/2459.30	v 	<values>
2520.03/2459.30	v 		1 9 2 5 3 2 6 9 7 4 11 11 1 5 10 4 8 6 7 10 3 8 0 4 3 6 5 11 4 10 2 7 6 10 0 3 8 8 9 9 11 2 7 5 3 7 0 11 10 0 9 11 1 8 5 6 5 4 4 9 7 8 10 1 6 3 2 5 1 4 0 6 8 7 9 6 10 9 8 1 5 11 11 10 4 7 0 2 8 1 7 3 6 10 1 5 11 0 9 5 10 2 2 0 6 7 3 8 9 11 10 3 6 0 1 7 11 4 8 9 2 4 2 0 3 7 10 11 9 6 8 1 7 11 5 1 4 3 0 8 10 3 1 2 9 7 11 10 4 0 8 5 2 9 6 2 4 9 11 5 10 3 0 1 8 8 11 6 9 5 2 4 0 3 1 10 4 10 11 10 9 9 3 6 5 2 7 7 3 11 1 1 0 2 6 4 5 0 11 0 10 7 8 8 2 0 3 5 4 3 6 10 7 2 1 1 5 11 4 6 5 8 9 8 2 4 7 1 6 11 3 1 4 9 0 6 5 3 2 0 11 7 9 6 8 2 7 1 5 2 4 10 0 0 7 8 6 3 3 5 1 9 10 4 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 0 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 1 0 1 0 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 1 0 0 1 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 1 1 0 0 1 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 0 1 0 10 10 15 15 34 34 0 51 51 36 70 55 0 39 51 55 0 44 59 44 0 48 48 0 0 32 47 39 0 31 31 22 22 0 65 55 10 46 46 0 43 105 64 44 48 40 47 14 56 0 55 55 15 58 58 0 50 27 56 0 45 55 49 53 53 22 22 0 0 0 41 41 51 51 0 68 81 14 47 47 67 67 32 32 0 66 10 69 0 34 15 47 21 46 31 0 18 75 74 35 35 0 55 55 0 45 45 36 36 64 14 51 0 70 70 51 51 0 39 10 40 44 44 42 42 0 35 45 50 41 14 48 0 81 69 27 0 0 0 70 44 27 0 47 34 44 75 75 39 39 0 59 59 0 18 18 31 31 56 49 69 59 59 64 64 67 44 48 0 44 10 44 81 81 0 79 79 56 56 0 14 14 69 69 0 73 73 0 68 68 0 31 31 53 56 81 68 66 69 46 10 48 0 21 35 42 0 0 51 51 79 79 68 53 49 67 41 81 0 69 75 103 0 43 43 0 105 70 55 0 0 0 103 68 73 0 69 44 65 10 66 69 74 74 0 75 27 51 55 15 55 0 0 105 105 69 53 58 64 64 0 70 70 0 55 44 67 70 47 66 44 44 0 10 10 0 
2520.03/2459.30	v 	</values>
2520.03/2459.30	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 (13456 MiB free)
  memory of node 1: 16384 MiB (10023 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307844-1534343185/watcher-4307844-1534343185 -o /tmp/evaluation-result-4307844-1534343185/solver-4307844-1534343185 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534335641-14336 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 293674844 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307844-1534343185.xml 

running on 4 cores: 1,3,5,7

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=15137, runsolver pid=15134
Current StackSize limit: 8192 KiB


[startup+0.108757 s]*
/proc/loadavg: 1.62 1.40 1.36 4/220 15152
/proc/meminfo: memFree=24022620/32770624 swapFree=67108688/67108860
[pid=15137] ppid=15134 vsize=14082736 memory=34192 CPUtime=0.13 cores=1,3,5,7
/proc/15137/stat : 15137 (java) S 15134 15137 9532 0 -1 1077944320 7443 0 0 0 12 1 0 0 20 0 15 0 251881725 14420721664 8548 33554432000 4194304 4196468 140724341051920 140724341034464 140055313792759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
/proc/15137/statm: 3520684 8548 3161 1 0 3482761 0
[pid=15137/tid=15139] ppid=15134 vsize=14082736 memory=-8485517772678532226 CPUtime=0.09 cores=1,3,5,7
/proc/15137/task/15139/stat : 15139 (java) R 15134 15137 9532 0 -1 4202560 5489 0 0 0 9 0 0 0 20 0 15 0 251881725 14420721664 8548 33554432000 4194304 4196468 140724341051920 140055318004560 140055313814685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15140] ppid=15134 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15140/stat : 15140 (java) S 15134 15137 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251881726 14420721664 8548 33554432000 4194304 4196468 140724341051920 140055266413584 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15141] ppid=15134 vsize=14082736 memory=140162845955712 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15141/stat : 15141 (java) S 15134 15137 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251881726 14420721664 8548 33554432000 4194304 4196468 140724341051920 140055265361040 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15142] ppid=15134 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15142/stat : 15142 (java) S 15134 15137 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251881726 14420721664 8548 33554432000 4194304 4196468 140724341051920 140055264307984 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15143] ppid=15134 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15143/stat : 15143 (java) S 15134 15137 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251881726 14420721664 8548 33554432000 4194304 4196468 140724341051920 140055263255440 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15144] ppid=15134 vsize=14082736 memory=140162845955712 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15144/stat : 15144 (java) S 15134 15137 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251881728 14420721664 8548 33554432000 4194304 4196468 140724341051920 140054226266352 140055313803906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15145] ppid=15134 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15145/stat : 15145 (java) S 15134 15137 9532 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251881728 14420721664 8548 33554432000 4194304 4196468 140724341051920 140054225212576 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15146] ppid=15134 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15146/stat : 15146 (java) S 15134 15137 9532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251881728 14420721664 8548 33554432000 4194304 4196468 140724341051920 140054224159472 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15147] ppid=15134 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15147/stat : 15147 (java) S 15134 15137 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251881731 14420721664 8548 33554432000 4194304 4196468 140724341051920 140054223108048 140055313811355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15148] ppid=15134 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15148/stat : 15148 (java) S 15134 15137 9532 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 251881731 14420721664 8548 33554432000 4194304 4196468 140724341051920 140054222056176 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15149] ppid=15134 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15149/stat : 15149 (java) R 15134 15137 9532 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 251881731 14420721664 8548 33554432000 4194304 4196468 140724341051920 140054221003632 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15150] ppid=15134 vsize=14082736 memory=140162845955712 CPUtime=0.01 cores=1,3,5,7
/proc/15137/task/15150/stat : 15150 (java) R 15134 15137 9532 0 -1 1077944384 276 0 0 0 1 0 0 0 20 0 15 0 251881731 14420721664 8548 33554432000 4194304 4196468 140724341051920 140054219950576 140055313803906 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15151] ppid=15134 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15151/stat : 15151 (java) S 15134 15137 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251881731 14420721664 8548 33554432000 4194304 4196468 140724341051920 140054218898272 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15152] ppid=15134 vsize=14082736 memory=140162845955712 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15152/stat : 15152 (java) S 15134 15137 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251881731 14420721664 8548 33554432000 4194304 4196468 140724341051920 140054217845296 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 34192 KiB

[startup+0.218618 s]*
/proc/loadavg: 1.62 1.40 1.36 5/220 15152
/proc/meminfo: memFree=24008108/32770624 swapFree=67108688/67108860
[pid=15137] ppid=15134 vsize=14082736 memory=47492 CPUtime=0.33 cores=1,3,5,7
/proc/15137/stat : 15137 (java) S 15134 15137 9532 0 -1 1077944320 10485 0 0 0 31 2 0 0 20 0 15 0 251881725 14420721664 11873 33554432000 4194304 4196468 140724341051920 140724341034464 140055313792759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
/proc/15137/statm: 3520684 11873 3368 1 0 3482761 0
[pid=15137/tid=15139] ppid=15134 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/15137/task/15139/stat : 15139 (java) R 15134 15137 9532 0 -1 4202560 8188 0 0 0 19 1 0 0 20 0 15 0 251881725 14420721664 11873 33554432000 4194304 4196468 140724341051920 140055318020416 140055297836389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15140] ppid=15134 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15140/stat : 15140 (java) S 15134 15137 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251881726 14420721664 11873 33554432000 4194304 4196468 140724341051920 140055266413584 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15141] ppid=15134 vsize=14082736 memory=288370538997667456 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15141/stat : 15141 (java) S 15134 15137 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251881726 14420721664 11873 33554432000 4194304 4196468 140724341051920 140055265361040 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15142] ppid=15134 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15142/stat : 15142 (java) S 15134 15137 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251881726 14420721664 11873 33554432000 4194304 4196468 140724341051920 140055264307984 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15143] ppid=15134 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15143/stat : 15143 (java) S 15134 15137 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251881726 14420721664 11873 33554432000 4194304 4196468 140724341051920 140055263255440 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15144] ppid=15134 vsize=14082736 memory=140162845955712 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15144/stat : 15144 (java) S 15134 15137 9532 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 251881728 14420721664 11873 33554432000 4194304 4196468 140724341051920 140054226266352 140055313803906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15145] ppid=15134 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15145/stat : 15145 (java) S 15134 15137 9532 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251881728 14420721664 11873 33554432000 4194304 4196468 140724341051920 140054225212576 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15146] ppid=15134 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15146/stat : 15146 (java) S 15134 15137 9532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251881728 14420721664 11873 33554432000 4194304 4196468 140724341051920 140054224159472 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15147] ppid=15134 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15147/stat : 15147 (java) S 15134 15137 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251881731 14420721664 11873 33554432000 4194304 4196468 140724341051920 140054223108048 140055313811355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15148] ppid=15134 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15137/task/15148/stat : 15148 (java) S 15134 15137 9532 0 -1 1077944384 495 0 0 0 2 0 0 0 20 0 15 0 251881731 14420721664 11873 33554432000 4194304 4196468 140724341051920 140054222056176 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15149] ppid=15134 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15137/task/15149/stat : 15149 (java) S 15134 15137 9532 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 15 0 251881731 14420721664 11873 33554432000 4194304 4196468 140724341051920 140054221003632 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15150] ppid=15134 vsize=14082736 memory=140162845955712 CPUtime=0.07 cores=1,3,5,7
/proc/15137/task/15150/stat : 15150 (java) R 15134 15137 9532 0 -1 4202560 304 0 0 0 7 0 0 0 20 0 15 0 251881731 14420721664 11873 33554432000 4194304 4196468 140724341051920 140054219944464 140055292461509 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15151] ppid=15134 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15151/stat : 15151 (java) S 15134 15137 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251881731 14420721664 11873 33554432000 4194304 4196468 140724341051920 140054218898272 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15152] ppid=15134 vsize=14082736 memory=140162845955712 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15152/stat : 15152 (java) S 15134 15137 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251881731 14420721664 11873 33554432000 4194304 4196468 140724341051920 140054217845296 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47492 KiB

[startup+0.310778 s]*
/proc/loadavg: 1.62 1.40 1.36 3/220 15152
/proc/meminfo: memFree=24005092/32770624 swapFree=67108688/67108860
[pid=15137] ppid=15134 vsize=14082736 memory=50676 CPUtime=0.44 cores=1,3,5,7
/proc/15137/stat : 15137 (java) S 15134 15137 9532 0 -1 1077944320 10822 0 0 0 42 2 0 0 20 0 15 0 251881725 14420721664 12669 33554432000 4194304 4196468 140724341051920 140724341034464 140055313792759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
/proc/15137/statm: 3520684 12669 3370 1 0 3482761 0
[pid=15137/tid=15139] ppid=15134 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/15137/task/15139/stat : 15139 (java) R 15134 15137 9532 0 -1 4202560 8500 0 0 0 28 2 0 0 20 0 15 0 251881725 14420721664 12669 33554432000 4194304 4196468 140724341051920 140055318002112 140055295356334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15140] ppid=15134 vsize=14082736 memory=4294980954 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15140/stat : 15140 (java) S 15134 15137 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251881726 14420721664 12669 33554432000 4194304 4196468 140724341051920 140055266413584 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15141] ppid=15134 vsize=14082736 memory=288370538997667456 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15141/stat : 15141 (java) S 15134 15137 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251881726 14420721664 12669 33554432000 4194304 4196468 140724341051920 140055265361040 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15142] ppid=15134 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15142/stat : 15142 (java) S 15134 15137 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251881726 14420721664 12669 33554432000 4194304 4196468 140724341051920 140055264307984 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15143] ppid=15134 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15143/stat : 15143 (java) S 15134 15137 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251881726 14420721664 12669 33554432000 4194304 4196468 140724341051920 140055263255440 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15144] ppid=15134 vsize=14082736 memory=140162845955712 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15144/stat : 15144 (java) S 15134 15137 9532 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 251881728 14420721664 12669 33554432000 4194304 4196468 140724341051920 140054226266352 140055313803906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15145] ppid=15134 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15145/stat : 15145 (java) S 15134 15137 9532 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251881728 14420721664 12669 33554432000 4194304 4196468 140724341051920 140054225212576 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15146] ppid=15134 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15146/stat : 15146 (java) S 15134 15137 9532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251881728 14420721664 12669 33554432000 4194304 4196468 140724341051920 140054224159472 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15147] ppid=15134 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15147/stat : 15147 (java) S 15134 15137 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251881731 14420721664 12669 33554432000 4194304 4196468 140724341051920 140054223108048 140055313811355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15148] ppid=15134 vsize=14082736 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/15137/task/15148/stat : 15148 (java) S 15134 15137 9532 0 -1 1077944384 510 0 0 0 3 0 0 0 20 0 15 0 251881731 14420721664 12669 33554432000 4194304 4196468 140724341051920 140054222056176 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15149] ppid=15134 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/15137/task/15149/stat : 15149 (java) S 15134 15137 9532 0 -1 1077944384 120 0 0 0 2 0 0 0 20 0 15 0 251881731 14420721664 12669 33554432000 4194304 4196468 140724341051920 140054221003632 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15150] ppid=15134 vsize=14082736 memory=140162845955712 CPUtime=0.08 cores=1,3,5,7
/proc/15137/task/15150/stat : 15150 (java) S 15134 15137 9532 0 -1 1077944384 310 0 0 0 8 0 0 0 20 0 15 0 251881731 14420721664 12669 33554432000 4194304 4196468 140724341051920 140054219950576 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15151] ppid=15134 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15151/stat : 15151 (java) S 15134 15137 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251881731 14420721664 12669 33554432000 4194304 4196468 140724341051920 140054218898272 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15152] ppid=15134 vsize=14082736 memory=140162845955712 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15152/stat : 15152 (java) S 15134 15137 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251881731 14420721664 12669 33554432000 4194304 4196468 140724341051920 140054217845296 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50676 KiB

[startup+0.700785 s]
/proc/loadavg: 1.62 1.40 1.36 3/220 15152
/proc/meminfo: memFree=23980816/32770624 swapFree=67108688/67108860
[pid=15137] ppid=15134 vsize=14084804 memory=89228 CPUtime=0.98 cores=1,3,5,7
/proc/15137/stat : 15137 (java) S 15134 15137 9532 0 -1 1077944320 17644 0 0 0 94 4 0 0 20 0 15 0 251881725 14422839296 22307 33554432000 4194304 4196468 140724341051920 140724341034464 140055313792759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
/proc/15137/statm: 3521201 22307 3505 1 0 3483273 0
[pid=15137/tid=15139] ppid=15134 vsize=14084804 memory=1172 CPUtime=0.67 cores=1,3,5,7
/proc/15137/task/15139/stat : 15139 (java) R 15134 15137 9532 0 -1 4202560 14930 0 0 0 64 3 0 0 20 0 15 0 251881725 14422839296 22307 33554432000 4194304 4196468 140724341051920 140055318015360 140055313814685 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15140] ppid=15134 vsize=14084804 memory=37888 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15140/stat : 15140 (java) S 15134 15137 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251881726 14422839296 22307 33554432000 4194304 4196468 140724341051920 140055266413584 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15141] ppid=15134 vsize=14084804 memory=3360 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15141/stat : 15141 (java) S 15134 15137 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251881726 14422839296 22307 33554432000 4194304 4196468 140724341051920 140055265361040 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15142] ppid=15134 vsize=14084804 memory=496 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15142/stat : 15142 (java) S 15134 15137 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251881726 14422839296 22307 33554432000 4194304 4196468 140724341051920 140055264307984 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15143] ppid=15134 vsize=14084804 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15143/stat : 15143 (java) S 15134 15137 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251881726 14422839296 22307 33554432000 4194304 4196468 140724341051920 140055263255440 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15144] ppid=15134 vsize=14084804 memory=928 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15144/stat : 15144 (java) S 15134 15137 9532 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 251881728 14422839296 22307 33554432000 4194304 4196468 140724341051920 140054226266352 140055313803906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15145] ppid=15134 vsize=14084804 memory=2332 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15145/stat : 15145 (java) S 15134 15137 9532 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 251881728 14422839296 22307 33554432000 4194304 4196468 140724341051920 140054225212576 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15146] ppid=15134 vsize=14084804 memory=924 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15146/stat : 15146 (java) S 15134 15137 9532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 251881728 14422839296 22307 33554432000 4194304 4196468 140724341051920 140054224159472 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15147] ppid=15134 vsize=14084804 memory=6153431502485415525 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15147/stat : 15147 (java) S 15134 15137 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251881731 14422839296 22307 33554432000 4194304 4196468 140724341051920 140054223108048 140055313811355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15148] ppid=15134 vsize=14084804 memory=7237400421024098393 CPUtime=0.08 cores=1,3,5,7
/proc/15137/task/15148/stat : 15148 (java) S 15134 15137 9532 0 -1 1077944384 674 0 0 0 8 0 0 0 20 0 15 0 251881731 14422839296 22307 33554432000 4194304 4196468 140724341051920 140054222056176 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15149] ppid=15134 vsize=14084804 memory=6154282490091891024 CPUtime=0.06 cores=1,3,5,7
/proc/15137/task/15149/stat : 15149 (java) S 15134 15137 9532 0 -1 1077944384 268 0 0 0 6 0 0 0 20 0 15 0 251881731 14422839296 22307 33554432000 4194304 4196468 140724341051920 140054221003632 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15150] ppid=15134 vsize=14084804 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/15137/task/15150/stat : 15150 (java) S 15134 15137 9532 0 -1 1077944384 390 0 0 0 14 0 0 0 20 0 15 0 251881731 14422839296 22307 33554432000 4194304 4196468 140724341051920 140054219950576 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15151] ppid=15134 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15151/stat : 15151 (java) S 15134 15137 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251881731 14422839296 22307 33554432000 4194304 4196468 140724341051920 140054218898272 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15152] ppid=15134 vsize=14084804 memory=8700 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15152/stat : 15152 (java) S 15134 15137 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251881731 14422839296 22307 33554432000 4194304 4196468 140724341051920 140054217845296 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 89228 KiB

[startup+1.5008 s]
/proc/loadavg: 1.62 1.40 1.36 6/220 15152
/proc/meminfo: memFree=23923688/32770624 swapFree=67108688/67108860
[pid=15137] ppid=15134 vsize=14088900 memory=210320 CPUtime=3.44 cores=1,3,5,7
/proc/15137/stat : 15137 (java) S 15134 15137 9532 0 -1 1077944320 25736 0 0 0 337 7 0 0 20 0 15 0 251881725 14427033600 52580 33554432000 4194304 4196468 140724341051920 140724341034464 140055313792759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
/proc/15137/statm: 3522225 52580 3550 1 0 3484297 0
[pid=15137/tid=15139] ppid=15134 vsize=14088900 memory=159744 CPUtime=1.47 cores=1,3,5,7
/proc/15137/task/15139/stat : 15139 (java) R 15134 15137 9532 0 -1 4202560 17935 0 0 0 142 5 0 0 20 0 15 0 251881725 14427033600 52580 33554432000 4194304 4196468 140724341051920 140055318023656 140054946836102 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15140] ppid=15134 vsize=14088900 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15140/stat : 15140 (java) S 15134 15137 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251881726 14427033600 52580 33554432000 4194304 4196468 140724341051920 140055266413584 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15141] ppid=15134 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15141/stat : 15141 (java) S 15134 15137 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251881726 14427033600 52580 33554432000 4194304 4196468 140724341051920 140055265361040 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15142] ppid=15134 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15142/stat : 15142 (java) S 15134 15137 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 251881726 14427033600 52580 33554432000 4194304 4196468 140724341051920 140055264307984 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15143] ppid=15134 vsize=14088900 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15143/stat : 15143 (java) S 15134 15137 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 251881726 14427033600 52580 33554432000 4194304 4196468 140724341051920 140055263255440 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15144] ppid=15134 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15144/stat : 15144 (java) S 15134 15137 9532 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 251881728 14427033600 52580 33554432000 4194304 4196468 140724341051920 140054226266352 140055313803906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0

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

/proc/15137/task/15139/stat : 15139 (java) R 15134 15137 9532 0 -1 4202560 93862 0 0 0 235481 65 0 0 20 0 15 0 251881725 14431227904 108666 33554432000 4194304 4196468 140724341051920 140055318030912 140054953499928 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15140] ppid=15134 vsize=14092996 memory=421320 CPUtime=17.82 cores=1,3,5,7
/proc/15137/task/15140/stat : 15140 (java) S 15134 15137 9532 0 -1 1077944384 17887 0 0 0 1736 46 0 0 20 0 15 0 251881726 14431227904 108666 33554432000 4194304 4196468 140724341051920 140055266413584 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15141] ppid=15134 vsize=14092996 memory=434664 CPUtime=17.84 cores=1,3,5,7
/proc/15137/task/15141/stat : 15141 (java) S 15134 15137 9532 0 -1 1077944384 15713 0 0 0 1738 46 0 0 20 0 15 0 251881726 14431227904 108666 33554432000 4194304 4196468 140724341051920 140055265361040 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15142] ppid=15134 vsize=14092996 memory=405564 CPUtime=17.82 cores=1,3,5,7
/proc/15137/task/15142/stat : 15142 (java) S 15134 15137 9532 0 -1 1077944384 16219 0 0 0 1736 46 0 0 20 0 15 0 251881726 14431227904 108666 33554432000 4194304 4196468 140724341051920 140055264307984 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15143] ppid=15134 vsize=14092996 memory=412232 CPUtime=17.82 cores=1,3,5,7
/proc/15137/task/15143/stat : 15143 (java) S 15134 15137 9532 0 -1 1077944384 18475 0 0 0 1737 45 0 0 20 0 15 0 251881726 14431227904 108666 33554432000 4194304 4196468 140724341051920 140055263255440 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15144] ppid=15134 vsize=14092996 memory=423372 CPUtime=5.28 cores=1,3,5,7
/proc/15137/task/15144/stat : 15144 (java) S 15134 15137 9532 0 -1 1077944384 54176 0 0 0 459 69 0 0 20 0 15 0 251881728 14431227904 108666 33554432000 4194304 4196468 140724341051920 140054226266352 140055313803906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15145] ppid=15134 vsize=14092996 memory=429872 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15145/stat : 15145 (java) S 15134 15137 9532 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 251881728 14431227904 108666 33554432000 4194304 4196468 140724341051920 140054225212640 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15146] ppid=15134 vsize=14092996 memory=417844 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15146/stat : 15146 (java) S 15134 15137 9532 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 251881728 14431227904 108666 33554432000 4194304 4196468 140724341051920 140054224159488 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15147] ppid=15134 vsize=14092996 memory=415792 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15147/stat : 15147 (java) S 15134 15137 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251881731 14431227904 108666 33554432000 4194304 4196468 140724341051920 140054223108048 140055313811355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15148] ppid=15134 vsize=14092996 memory=435692 CPUtime=3.21 cores=1,3,5,7
/proc/15137/task/15148/stat : 15148 (java) S 15134 15137 9532 0 -1 1077944384 16136 0 0 0 318 3 0 0 20 0 15 0 251881731 14431227904 108666 33554432000 4194304 4196468 140724341051920 140054222056176 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15149] ppid=15134 vsize=14092996 memory=434664 CPUtime=3.17 cores=1,3,5,7
/proc/15137/task/15149/stat : 15149 (java) S 15134 15137 9532 0 -1 1077944384 13359 0 0 0 316 1 0 0 20 0 15 0 251881731 14431227904 108666 33554432000 4194304 4196468 140724341051920 140054221003632 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15150] ppid=15134 vsize=14092996 memory=280325403587648 CPUtime=1.24 cores=1,3,5,7
/proc/15137/task/15150/stat : 15150 (java) S 15134 15137 9532 0 -1 1077944384 18592 0 0 0 122 2 0 0 20 0 15 0 251881731 14431227904 108666 33554432000 4194304 4196468 140724341051920 140054219950576 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15151] ppid=15134 vsize=14092996 memory=435692 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15151/stat : 15151 (java) S 15134 15137 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251881731 14431227904 108666 33554432000 4194304 4196468 140724341051920 140054218898272 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15152] ppid=15134 vsize=14092996 memory=435692 CPUtime=1.47 cores=1,3,5,7
/proc/15137/task/15152/stat : 15152 (java) S 15134 15137 9532 0 -1 1077944384 1167 0 0 0 62 85 0 0 20 0 15 0 251881731 14431227904 108666 33554432000 4194304 4196468 140724341051920 140054217845296 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
Current children cumulated CPU time: 2441.22 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 434664 KiB

[startup+2442.3 s]
/proc/loadavg: 1.08 1.25 1.33 3/218 15335
/proc/meminfo: memFree=24061512/32770624 swapFree=67108688/67108860
[pid=15137] ppid=15134 vsize=14092996 memory=404240 CPUtime=2502.55 cores=1,3,5,7
/proc/15137/stat : 15137 (java) S 15134 15137 9532 0 -1 1077944320 271223 0 0 0 249884 371 0 0 20 0 15 0 251881725 14431227904 101060 33554432000 4194304 4196468 140724341051920 140724341034464 140055313792759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
/proc/15137/statm: 3523249 101060 3613 1 0 3485321 0
[pid=15137/tid=15139] ppid=15134 vsize=14092996 memory=404988 CPUtime=2414.76 cores=1,3,5,7
/proc/15137/task/15139/stat : 15139 (java) R 15134 15137 9532 0 -1 4202560 96860 0 0 0 241410 66 0 0 20 0 15 0 251881725 14431227904 101060 33554432000 4194304 4196468 140724341051920 140055318030896 140054953628313 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15140] ppid=15134 vsize=14092996 memory=413024 CPUtime=18.29 cores=1,3,5,7
/proc/15137/task/15140/stat : 15140 (java) S 15134 15137 9532 0 -1 1077944384 18125 0 0 0 1782 47 0 0 20 0 15 0 251881726 14431227904 101060 33554432000 4194304 4196468 140724341051920 140055266413584 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15141] ppid=15134 vsize=14092996 memory=426212 CPUtime=18.31 cores=1,3,5,7
/proc/15137/task/15141/stat : 15141 (java) S 15134 15137 9532 0 -1 1077944384 16071 0 0 0 1784 47 0 0 20 0 15 0 251881726 14431227904 101060 33554432000 4194304 4196468 140724341051920 140055265361040 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15142] ppid=15134 vsize=14092996 memory=405564 CPUtime=18.27 cores=1,3,5,7
/proc/15137/task/15142/stat : 15142 (java) S 15134 15137 9532 0 -1 1077944384 16620 0 0 0 1781 46 0 0 20 0 15 0 251881726 14431227904 101060 33554432000 4194304 4196468 140724341051920 140055264307984 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15143] ppid=15134 vsize=14092996 memory=427080 CPUtime=18.29 cores=1,3,5,7
/proc/15137/task/15143/stat : 15143 (java) S 15134 15137 9532 0 -1 1077944384 18637 0 0 0 1783 46 0 0 20 0 15 0 251881726 14431227904 101060 33554432000 4194304 4196468 140724341051920 140055263255440 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15144] ppid=15134 vsize=14092996 memory=418152 CPUtime=5.4 cores=1,3,5,7
/proc/15137/task/15144/stat : 15144 (java) S 15134 15137 9532 0 -1 1077944384 54221 0 0 0 469 71 0 0 20 0 15 0 251881728 14431227904 101060 33554432000 4194304 4196468 140724341051920 140054226266352 140055313803906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15145] ppid=15134 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15145/stat : 15145 (java) S 15134 15137 9532 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 251881728 14431227904 101060 33554432000 4194304 4196468 140724341051920 140054225212640 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15146] ppid=15134 vsize=14092996 memory=414048 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15146/stat : 15146 (java) S 15134 15137 9532 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 251881728 14431227904 101060 33554432000 4194304 4196468 140724341051920 140054224159488 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15147] ppid=15134 vsize=14092996 memory=411996 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15147/stat : 15147 (java) S 15134 15137 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251881731 14431227904 101060 33554432000 4194304 4196468 140724341051920 140054223108048 140055313811355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15148] ppid=15134 vsize=14092996 memory=408920 CPUtime=3.21 cores=1,3,5,7
/proc/15137/task/15148/stat : 15148 (java) S 15134 15137 9532 0 -1 1077944384 16138 0 0 0 318 3 0 0 20 0 15 0 251881731 14431227904 101060 33554432000 4194304 4196468 140724341051920 140054222056176 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15149] ppid=15134 vsize=14092996 memory=405328 CPUtime=3.17 cores=1,3,5,7
/proc/15137/task/15149/stat : 15149 (java) S 15134 15137 9532 0 -1 1077944384 13361 0 0 0 316 1 0 0 20 0 15 0 251881731 14431227904 101060 33554432000 4194304 4196468 140724341051920 140054221003632 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15150] ppid=15134 vsize=14092996 memory=404816 CPUtime=1.25 cores=1,3,5,7
/proc/15137/task/15150/stat : 15150 (java) S 15134 15137 9532 0 -1 1077944384 18594 0 0 0 122 3 0 0 20 0 15 0 251881731 14431227904 101060 33554432000 4194304 4196468 140724341051920 140054219950576 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15151] ppid=15134 vsize=14092996 memory=404300 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15151/stat : 15151 (java) S 15134 15137 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251881731 14431227904 101060 33554432000 4194304 4196468 140724341051920 140054218898272 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15152] ppid=15134 vsize=14092996 memory=1220 CPUtime=1.5 cores=1,3,5,7
/proc/15137/task/15152/stat : 15152 (java) S 15134 15137 9532 0 -1 1077944384 1173 0 0 0 64 86 0 0 20 0 15 0 251881731 14431227904 101060 33554432000 4194304 4196468 140724341051920 140054217845296 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
Current children cumulated CPU time: 2502.55 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 404240 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2459.3 s]
/proc/loadavg: 1.28 1.29 1.34 3/218 15335
/proc/meminfo: memFree=24102260/32770624 swapFree=67108688/67108860
[pid=15137] ppid=15134 vsize=14092996 memory=404344 CPUtime=2520.03 cores=1,3,5,7
/proc/15137/stat : 15137 (java) S 15134 15137 9532 0 -1 1077944320 275444 0 0 0 251629 374 0 0 20 0 15 0 251881725 14431227904 101086 33554432000 4194304 4196468 140724341051920 140724341034464 140055313792759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
/proc/15137/statm: 3523249 101086 3613 1 0 3485321 0
[pid=15137/tid=15139] ppid=15134 vsize=14092996 memory=406396 CPUtime=2431.52 cores=1,3,5,7
/proc/15137/task/15139/stat : 15139 (java) R 15134 15137 9532 0 -1 4202560 97426 0 0 0 243086 66 0 0 20 0 15 0 251881725 14431227904 101086 33554432000 4194304 4196468 140724341051920 140055318030832 140054952709505 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15140] ppid=15134 vsize=14092996 memory=411996 CPUtime=18.45 cores=1,3,5,7
/proc/15137/task/15140/stat : 15140 (java) S 15134 15137 9532 0 -1 1077944384 18270 0 0 0 1798 47 0 0 20 0 15 0 251881726 14431227904 101086 33554432000 4194304 4196468 140724341051920 140055266413584 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15141] ppid=15134 vsize=14092996 memory=0 CPUtime=18.48 cores=1,3,5,7
/proc/15137/task/15141/stat : 15141 (java) S 15134 15137 9532 0 -1 1077944384 16120 0 0 0 1800 48 0 0 20 0 15 0 251881726 14431227904 101086 33554432000 4194304 4196468 140724341051920 140055265361040 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15142] ppid=15134 vsize=14092996 memory=6791534058613427641 CPUtime=18.44 cores=1,3,5,7
/proc/15137/task/15142/stat : 15142 (java) S 15134 15137 9532 0 -1 1077944384 16722 0 0 0 1797 47 0 0 20 0 15 0 251881726 14431227904 101086 33554432000 4194304 4196468 140724341051920 140055264307984 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15143] ppid=15134 vsize=14092996 memory=2316 CPUtime=18.45 cores=1,3,5,7
/proc/15137/task/15143/stat : 15143 (java) S 15134 15137 9532 0 -1 1077944384 18700 0 0 0 1799 46 0 0 20 0 15 0 251881726 14431227904 101086 33554432000 4194304 4196468 140724341051920 140055263255440 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15144] ppid=15134 vsize=14092996 memory=404344 CPUtime=5.46 cores=1,3,5,7
/proc/15137/task/15144/stat : 15144 (java) S 15134 15137 9532 0 -1 1077944384 57514 0 0 0 473 73 0 0 20 0 15 0 251881728 14431227904 101086 33554432000 4194304 4196468 140724341051920 140054226266352 140055313803906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15145] ppid=15134 vsize=14092996 memory=37932 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15145/stat : 15145 (java) S 15134 15137 9532 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 251881728 14431227904 101086 33554432000 4194304 4196468 140724341051920 140054225212640 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15146] ppid=15134 vsize=14092996 memory=405372 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15146/stat : 15146 (java) S 15134 15137 9532 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 251881728 14431227904 101086 33554432000 4194304 4196468 140724341051920 140054224159488 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15147] ppid=15134 vsize=14092996 memory=404344 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15147/stat : 15147 (java) S 15134 15137 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251881731 14431227904 101086 33554432000 4194304 4196468 140724341051920 140054223108048 140055313811355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15148] ppid=15134 vsize=14092996 memory=280325403548256 CPUtime=3.21 cores=1,3,5,7
/proc/15137/task/15148/stat : 15148 (java) S 15134 15137 9532 0 -1 1077944384 16138 0 0 0 318 3 0 0 20 0 15 0 251881731 14431227904 101086 33554432000 4194304 4196468 140724341051920 140054222056176 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15149] ppid=15134 vsize=14092996 memory=280325403065408 CPUtime=3.17 cores=1,3,5,7
/proc/15137/task/15149/stat : 15149 (java) S 15134 15137 9532 0 -1 1077944384 13361 0 0 0 316 1 0 0 20 0 15 0 251881731 14431227904 101086 33554432000 4194304 4196468 140724341051920 140054221003632 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15150] ppid=15134 vsize=14092996 memory=303711745506279725 CPUtime=1.25 cores=1,3,5,7
/proc/15137/task/15150/stat : 15150 (java) S 15134 15137 9532 0 -1 1077944384 18594 0 0 0 122 3 0 0 20 0 15 0 251881731 14431227904 101086 33554432000 4194304 4196468 140724341051920 140054219950576 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15151] ppid=15134 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15151/stat : 15151 (java) S 15134 15137 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251881731 14431227904 101086 33554432000 4194304 4196468 140724341051920 140054218898272 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15152] ppid=15134 vsize=14092996 memory=9126232286719478932 CPUtime=1.52 cores=1,3,5,7
/proc/15137/task/15152/stat : 15152 (java) S 15134 15137 9532 0 -1 1077944384 1176 0 0 0 65 87 0 0 20 0 15 0 251881731 14431227904 101086 33554432000 4194304 4196468 140724341051920 140054217845296 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 404344 KiB

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

[startup+2459.33 s]
# the end of solver process 15137 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.31 s, system=3.7513 s

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

[startup+2459.3 s]
/proc/loadavg: 1.28 1.29 1.34 3/218 15335
/proc/meminfo: memFree=24102260/32770624 swapFree=67108688/67108860
[pid=15137] ppid=15134 vsize=14092996 memory=404344 CPUtime=2520.03 cores=1,3,5,7
/proc/15137/stat : 15137 (java) S 15134 15137 9532 0 -1 1077944320 275444 0 0 0 251629 374 0 0 20 0 15 0 251881725 14431227904 101086 33554432000 4194304 4196468 140724341051920 140724341034464 140055313792759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
/proc/15137/statm: 3523249 101086 3613 1 0 3485321 0
[pid=15137/tid=15139] ppid=15134 vsize=14092996 memory=406396 CPUtime=2431.52 cores=1,3,5,7
/proc/15137/task/15139/stat : 15139 (java) R 15134 15137 9532 0 -1 4202560 97426 0 0 0 243086 66 0 0 20 0 15 0 251881725 14431227904 101086 33554432000 4194304 4196468 140724341051920 140055318030832 140054952709505 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15140] ppid=15134 vsize=14092996 memory=411996 CPUtime=18.45 cores=1,3,5,7
/proc/15137/task/15140/stat : 15140 (java) S 15134 15137 9532 0 -1 1077944384 18270 0 0 0 1798 47 0 0 20 0 15 0 251881726 14431227904 101086 33554432000 4194304 4196468 140724341051920 140055266413584 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15141] ppid=15134 vsize=14092996 memory=0 CPUtime=18.48 cores=1,3,5,7
/proc/15137/task/15141/stat : 15141 (java) S 15134 15137 9532 0 -1 1077944384 16120 0 0 0 1800 48 0 0 20 0 15 0 251881726 14431227904 101086 33554432000 4194304 4196468 140724341051920 140055265361040 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15142] ppid=15134 vsize=14092996 memory=6791534058613427641 CPUtime=18.44 cores=1,3,5,7
/proc/15137/task/15142/stat : 15142 (java) S 15134 15137 9532 0 -1 1077944384 16722 0 0 0 1797 47 0 0 20 0 15 0 251881726 14431227904 101086 33554432000 4194304 4196468 140724341051920 140055264307984 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15143] ppid=15134 vsize=14092996 memory=2316 CPUtime=18.45 cores=1,3,5,7
/proc/15137/task/15143/stat : 15143 (java) S 15134 15137 9532 0 -1 1077944384 18700 0 0 0 1799 46 0 0 20 0 15 0 251881726 14431227904 101086 33554432000 4194304 4196468 140724341051920 140055263255440 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15144] ppid=15134 vsize=14092996 memory=404344 CPUtime=5.46 cores=1,3,5,7
/proc/15137/task/15144/stat : 15144 (java) S 15134 15137 9532 0 -1 1077944384 57514 0 0 0 473 73 0 0 20 0 15 0 251881728 14431227904 101086 33554432000 4194304 4196468 140724341051920 140054226266352 140055313803906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15145] ppid=15134 vsize=14092996 memory=37932 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15145/stat : 15145 (java) S 15134 15137 9532 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 251881728 14431227904 101086 33554432000 4194304 4196468 140724341051920 140054225212640 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15146] ppid=15134 vsize=14092996 memory=405372 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15146/stat : 15146 (java) S 15134 15137 9532 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 251881728 14431227904 101086 33554432000 4194304 4196468 140724341051920 140054224159488 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15147] ppid=15134 vsize=14092996 memory=404344 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15147/stat : 15147 (java) S 15134 15137 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251881731 14431227904 101086 33554432000 4194304 4196468 140724341051920 140054223108048 140055313811355 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15148] ppid=15134 vsize=14092996 memory=280325403548256 CPUtime=3.21 cores=1,3,5,7
/proc/15137/task/15148/stat : 15148 (java) S 15134 15137 9532 0 -1 1077944384 16138 0 0 0 318 3 0 0 20 0 15 0 251881731 14431227904 101086 33554432000 4194304 4196468 140724341051920 140054222056176 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15149] ppid=15134 vsize=14092996 memory=280325403065408 CPUtime=3.17 cores=1,3,5,7
/proc/15137/task/15149/stat : 15149 (java) S 15134 15137 9532 0 -1 1077944384 13361 0 0 0 316 1 0 0 20 0 15 0 251881731 14431227904 101086 33554432000 4194304 4196468 140724341051920 140054221003632 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15150] ppid=15134 vsize=14092996 memory=303711745506279725 CPUtime=1.25 cores=1,3,5,7
/proc/15137/task/15150/stat : 15150 (java) S 15134 15137 9532 0 -1 1077944384 18594 0 0 0 122 3 0 0 20 0 15 0 251881731 14431227904 101086 33554432000 4194304 4196468 140724341051920 140054219950576 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15151] ppid=15134 vsize=14092996 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15137/task/15151/stat : 15151 (java) S 15134 15137 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 251881731 14431227904 101086 33554432000 4194304 4196468 140724341051920 140054218898272 140055313802965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
[pid=15137/tid=15152] ppid=15134 vsize=14092996 memory=9126232286719478932 CPUtime=1.52 cores=1,3,5,7
/proc/15137/task/15152/stat : 15152 (java) S 15134 15137 9532 0 -1 1077944384 1176 0 0 0 65 87 0 0 20 0 15 0 251881731 14431227904 101086 33554432000 4194304 4196468 140724341051920 140054217845296 140055313803906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21606400 140724341056585 140724341056777 140724341056777 140724341059535 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 404344 KiB

Child status: 143
Real time (s): 2459.33
CPU time (s): 2520.06
CPU user time (s): 2516.31
CPU system time (s): 3.7513
CPU usage (%): 102.47
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 1802264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.31
system time used= 3.75129
maximum resident set size= 1803976
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275658
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 182988
involuntary context switches= 9078


# summary of solver processes directly reported to runsolver:
#   pid: 15137
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2516.31
#   total CPU system time (s): 3.7513

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.1412 second user time and 20.3712 second system time

The end

Name	TravelingTournament/ TravelingTournament-a2-galaxy12_c18.xml
MD5SUM	69fcc0210e9a5c86649ea22552bf9d3d
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	10735
Best CPU time to get the best result obtained on this benchmark	2520.05
Satisfiable
(Un)Satisfiability was proved
Number of variables	1068
Number of constraints	3635
Number of domains	3
Minimum domain size	2
Maximum domain size	45
Distribution of domain sizes	[{"size":2,"count":528},{"size":12,"count":264},{"size":45,"count":276}]
Minimum variable degree	2
Maximum variable degree	38
Distribution of variable degrees	[{"degree":2,"count":540},{"degree":35,"count":240},{"degree":36,"count":264},{"degree":37,"count":22},{"degree":38,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	22
Distribution of constraint arities	[{"arity":2,"count":265},{"arity":3,"count":24},{"arity":4,"count":2520},{"arity":5,"count":252},{"arity":12,"count":286},{"arity":14,"count":264},{"arity":22,"count":24}]
Number of extensional constraints	276
Number of intensional constraints	2785
Distribution of constraint types	[{"type":"extension","count":276},{"type":"intension","count":2785},{"type":"regular","count":12},{"type":"allDifferent","count":22},{"type":"cardinality","count":12},{"type":"element","count":528}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4307844

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