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-07-02	SAT (TO)	11026	2400.13	2341.93

0.67/0.56	c version: 2018-07-02
0.67/0.56	c seed: 458217733
0.67/0.56	c timeout: 2400
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
6.70/2.68	c Parsing done, starting search...
10.70/3.99	o 11747
12.62/5.11	o 11490
12.81/5.11	o 11483
12.81/5.11	o 11410
12.81/5.11	o 11403
27.23/18.98	o 11342
28.84/20.59	o 11328
28.84/20.59	o 11197
28.84/20.59	o 11184
106.19/97.30	o 11131
737.03/714.94	o 11118
1018.82/990.81	o 11117
1018.82/990.84	o 11076
1018.82/990.85	o 11075
1018.93/990.94	o 11030
1019.85/991.90	o 11026
2400.09/2341.91	s SATISFIABLE
2400.09/2341.91	v <instantiation>
2400.09/2341.91	v 	<list>
2400.09/2341.91	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]
2400.09/2341.91	v 	</list>
2400.09/2341.91	v 	<values>
2400.09/2341.91	v 		10 6 9 3 7 6 7 8 10 5 8 5 9 1 4 2 4 11 2 3 1 11 5 11 8 6 9 10 8 6 3 2 7 11 4 0 9 10 2 4 7 5 0 3 6 10 10 7 5 11 4 9 6 1 4 9 8 8 3 0 1 7 0 11 3 5 9 7 6 0 11 4 6 7 1 8 10 10 11 9 2 4 5 8 5 0 2 1 7 9 5 11 10 3 2 10 5 11 2 8 1 7 0 3 0 1 6 6 9 8 1 8 4 8 2 9 9 11 4 0 6 0 6 10 7 7 3 10 3 1 11 2 2 0 3 1 8 0 3 1 2 10 5 7 5 11 8 11 10 9 4 4 7 9 4 3 11 2 0 8 0 3 11 9 1 6 10 4 5 5 9 2 1 8 6 10 11 5 1 5 6 7 1 0 9 3 0 4 2 2 6 9 11 3 10 7 10 4 3 4 0 10 1 5 5 2 8 7 11 2 0 3 1 8 7 6 11 10 4 6 0 2 2 9 4 1 11 4 0 6 3 3 7 5 11 1 6 5 8 9 8 7 8 1 7 4 3 2 10 5 7 4 9 1 3 6 10 6 8 0 9 2 5 0 0 1 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 1 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 1 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 1 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 0 0 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 1 0 0 1 0 1 1 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 0 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 1 0 1 0 0 1 1 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 1 1 0 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 1 1 1 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 55 55 0 34 34 44 59 44 0 39 42 48 51 43 10 0 36 36 15 15 0 55 55 40 40 46 46 43 43 0 39 39 22 22 64 70 31 0 65 65 0 44 44 10 34 32 0 55 55 56 48 50 0 49 69 56 45 45 0 53 53 15 10 22 0 58 66 47 0 0 0 47 47 66 70 51 14 44 32 69 69 0 67 49 47 41 42 68 34 34 0 0 64 79 55 70 10 74 45 45 35 35 0 21 21 0 36 34 51 31 31 18 18 0 0 0 0 35 21 42 0 81 105 44 0 27 44 39 51 51 48 48 0 41 32 40 50 50 56 15 44 39 39 0 47 47 0 75 75 59 48 27 31 69 70 0 18 18 0 69 69 0 14 14 0 44 48 81 0 67 67 44 44 0 64 35 48 79 49 56 0 59 75 69 69 44 42 0 31 31 46 10 48 68 68 0 53 53 0 68 68 0 73 69 81 21 21 67 67 51 55 103 81 81 0 68 81 79 49 49 0 43 43 0 69 70 105 55 55 0 0 0 55 55 0 65 65 74 36 55 0 69 14 69 10 10 75 27 51 103 68 73 0 0 64 44 67 0 58 55 10 0 70 55 105 66 47 70 0 69 48 55 0 44 44 0 
2400.09/2341.91	v 	</values>
2400.09/2341.91	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 (8291 MiB free)
  memory of node 1: 16384 MiB (8299 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290300-1532564975/watcher-4290300-1532564975 -o /tmp/evaluation-result-4290300-1532564975/solver-4290300-1532564975 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532562642-29759 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 458217733 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290300-1532564975.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=29981, runsolver pid=29978

[startup+0.100091 s]*
/proc/loadavg: 1.32 1.41 1.41 3/219 29996
/proc/meminfo: memFree=16972508/32770624 swapFree=67108860/67108860
[pid=29981] ppid=29978 vsize=14082740 memory=30464 CPUtime=0.11 cores=0,2,4,6
/proc/29981/stat : 29981 (java) S 29978 29981 29728 0 -1 1077944320 6537 0 0 0 11 0 0 0 20 0 15 0 74060666 14420725760 7616 33554432000 4194304 4196468 140721744290768 140721744273312 140457089801975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
/proc/29981/statm: 3520685 7616 3156 1 0 3482761 0
[pid=29981/tid=29983] ppid=29978 vsize=14082740 memory=-8773748148830113663 CPUtime=0.09 cores=0,2,4,6
/proc/29981/task/29983/stat : 29983 (java) R 29978 29981 29728 0 -1 4202560 4566 0 0 0 9 0 0 0 20 0 15 0 74060666 14420725760 7616 33554432000 4194304 4196468 140721744290768 140457094040576 140457073882462 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29984] ppid=29978 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29984/stat : 29984 (java) S 29978 29981 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74060667 14420725760 7616 33554432000 4194304 4196468 140721744290768 140457042422288 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29985] ppid=29978 vsize=14082740 memory=140141998179968 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29985/stat : 29985 (java) S 29978 29981 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74060667 14420725760 7616 33554432000 4194304 4196468 140721744290768 140456684087952 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29986] ppid=29978 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29986/stat : 29986 (java) S 29978 29981 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74060667 14420725760 7616 33554432000 4194304 4196468 140721744290768 140456683034896 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29987] ppid=29978 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29987/stat : 29987 (java) S 29978 29981 29728 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74060667 14420725760 7616 33554432000 4194304 4196468 140721744290768 140456681982352 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29988] ppid=29978 vsize=14082740 memory=140141998179968 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29988/stat : 29988 (java) S 29978 29981 29728 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74060668 14420725760 7616 33554432000 4194304 4196468 140721744290768 140456069663472 140457089813122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29989] ppid=29978 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29989/stat : 29989 (java) S 29978 29981 29728 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74060669 14420725760 7616 33554432000 4194304 4196468 140721744290768 140456068609696 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29990] ppid=29978 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29990/stat : 29990 (java) S 29978 29981 29728 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74060669 14420725760 7616 33554432000 4194304 4196468 140721744290768 140456067556592 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29991] ppid=29978 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29991/stat : 29991 (java) S 29978 29981 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74060671 14420725760 7616 33554432000 4194304 4196468 140721744290768 140456066505168 140457089820571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29992] ppid=29978 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29992/stat : 29992 (java) S 29978 29981 29728 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 74060671 14420725760 7616 33554432000 4194304 4196468 140721744290768 140456065452272 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29993] ppid=29978 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29993/stat : 29993 (java) S 29978 29981 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74060671 14420725760 7616 33554432000 4194304 4196468 140721744290768 140456064399728 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29994] ppid=29978 vsize=14082740 memory=140141998179968 CPUtime=0.01 cores=0,2,4,6
/proc/29981/task/29994/stat : 29994 (java) S 29978 29981 29728 0 -1 1077944384 299 0 0 0 1 0 0 0 20 0 15 0 74060671 14420725760 7616 33554432000 4194304 4196468 140721744290768 140456063346672 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29995] ppid=29978 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29995/stat : 29995 (java) S 29978 29981 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74060671 14420725760 7616 33554432000 4194304 4196468 140721744290768 140456062294368 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29996] ppid=29978 vsize=14082740 memory=140141998179968 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29996/stat : 29996 (java) S 29978 29981 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74060672 14420725760 7616 33554432000 4194304 4196468 140721744290768 140456061242416 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 30464 KiB

[startup+0.212054 s]*
/proc/loadavg: 1.32 1.41 1.41 6/219 29996
/proc/meminfo: memFree=16956260/32770624 swapFree=67108860/67108860
[pid=29981] ppid=29978 vsize=14082740 memory=47092 CPUtime=0.31 cores=0,2,4,6
/proc/29981/stat : 29981 (java) S 29978 29981 29728 0 -1 1077944320 10385 0 0 0 29 2 0 0 20 0 15 0 74060666 14420725760 11773 33554432000 4194304 4196468 140721744290768 140721744273312 140457089801975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
/proc/29981/statm: 3520685 11773 3380 1 0 3482761 0
[pid=29981/tid=29983] ppid=29978 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/29981/task/29983/stat : 29983 (java) R 29978 29981 29728 0 -1 4202560 8051 0 0 0 19 1 0 0 20 0 15 0 74060666 14420725760 11773 33554432000 4194304 4196468 140721744290768 140457094023952 140457073882462 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29984] ppid=29978 vsize=14082740 memory=343 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29984/stat : 29984 (java) S 29978 29981 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74060667 14420725760 11773 33554432000 4194304 4196468 140721744290768 140457042422288 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29985] ppid=29978 vsize=14082740 memory=140141998209588 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29985/stat : 29985 (java) S 29978 29981 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74060667 14420725760 11773 33554432000 4194304 4196468 140721744290768 140456684087952 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29986] ppid=29978 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29986/stat : 29986 (java) S 29978 29981 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74060667 14420725760 11773 33554432000 4194304 4196468 140721744290768 140456683034896 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29987] ppid=29978 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29987/stat : 29987 (java) S 29978 29981 29728 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74060667 14420725760 11773 33554432000 4194304 4196468 140721744290768 140456681982352 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29988] ppid=29978 vsize=14082740 memory=140141998179968 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29988/stat : 29988 (java) S 29978 29981 29728 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74060668 14420725760 11773 33554432000 4194304 4196468 140721744290768 140456069663472 140457089813122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29989] ppid=29978 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29989/stat : 29989 (java) S 29978 29981 29728 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74060669 14420725760 11773 33554432000 4194304 4196468 140721744290768 140456068609696 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29990] ppid=29978 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29990/stat : 29990 (java) S 29978 29981 29728 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74060669 14420725760 11773 33554432000 4194304 4196468 140721744290768 140456067556592 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29991] ppid=29978 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29991/stat : 29991 (java) S 29978 29981 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74060671 14420725760 11773 33554432000 4194304 4196468 140721744290768 140456066505168 140457089820571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29992] ppid=29978 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/29981/task/29992/stat : 29992 (java) R 29978 29981 29728 0 -1 1077944384 382 0 0 0 1 0 0 0 20 0 15 0 74060671 14420725760 11773 33554432000 4194304 4196468 140721744290768 140456065452368 140457089812181 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29993] ppid=29978 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/29981/task/29993/stat : 29993 (java) R 29978 29981 29728 0 -1 4202560 218 0 0 0 2 0 0 0 20 0 15 0 74060671 14420725760 11773 33554432000 4194304 4196468 140721744290768 140456064391056 140457073188763 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29994] ppid=29978 vsize=14082740 memory=140141998179968 CPUtime=0.06 cores=0,2,4,6
/proc/29981/task/29994/stat : 29994 (java) R 29978 29981 29728 0 -1 4202560 353 0 0 0 6 0 0 0 20 0 15 0 74060671 14420725760 11773 33554432000 4194304 4196468 140721744290768 140456063345856 140457075482128 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29995] ppid=29978 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29995/stat : 29995 (java) S 29978 29981 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74060671 14420725760 11773 33554432000 4194304 4196468 140721744290768 140456062294368 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29996] ppid=29978 vsize=14082740 memory=140141998179968 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29996/stat : 29996 (java) S 29978 29981 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74060672 14420725760 11773 33554432000 4194304 4196468 140721744290768 140456061242416 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47092 KiB

[startup+0.310627 s]*
/proc/loadavg: 1.32 1.41 1.41 3/219 29996
/proc/meminfo: memFree=16952476/32770624 swapFree=67108860/67108860
[pid=29981] ppid=29978 vsize=14082740 memory=50836 CPUtime=0.44 cores=0,2,4,6
/proc/29981/stat : 29981 (java) S 29978 29981 29728 0 -1 1077944320 10790 0 0 0 42 2 0 0 20 0 15 0 74060666 14420725760 12709 33554432000 4194304 4196468 140721744290768 140721744273312 140457089801975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
/proc/29981/statm: 3520685 12709 3424 1 0 3482761 0
[pid=29981/tid=29983] ppid=29978 vsize=14082740 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/29981/task/29983/stat : 29983 (java) R 29978 29981 29728 0 -1 4202560 8411 0 0 0 28 1 0 0 20 0 15 0 74060666 14420725760 12709 33554432000 4194304 4196468 140721744290768 140457094009808 140457072988801 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29984] ppid=29978 vsize=14082740 memory=288230604707987479 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29984/stat : 29984 (java) S 29978 29981 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74060667 14420725760 12709 33554432000 4194304 4196468 140721744290768 140457042422288 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29985] ppid=29978 vsize=14082740 memory=140141998209439 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29985/stat : 29985 (java) S 29978 29981 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74060667 14420725760 12709 33554432000 4194304 4196468 140721744290768 140456684087952 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29986] ppid=29978 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29986/stat : 29986 (java) S 29978 29981 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74060667 14420725760 12709 33554432000 4194304 4196468 140721744290768 140456683034896 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29987] ppid=29978 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29987/stat : 29987 (java) S 29978 29981 29728 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74060667 14420725760 12709 33554432000 4194304 4196468 140721744290768 140456681982352 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29988] ppid=29978 vsize=14082740 memory=140141998179968 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29988/stat : 29988 (java) S 29978 29981 29728 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74060668 14420725760 12709 33554432000 4194304 4196468 140721744290768 140456069663472 140457089813122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29989] ppid=29978 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29989/stat : 29989 (java) S 29978 29981 29728 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74060669 14420725760 12709 33554432000 4194304 4196468 140721744290768 140456068609696 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29990] ppid=29978 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29990/stat : 29990 (java) S 29978 29981 29728 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74060669 14420725760 12709 33554432000 4194304 4196468 140721744290768 140456067556592 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29991] ppid=29978 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29991/stat : 29991 (java) S 29978 29981 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74060671 14420725760 12709 33554432000 4194304 4196468 140721744290768 140456066505168 140457089820571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29992] ppid=29978 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29981/task/29992/stat : 29992 (java) S 29978 29981 29728 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 15 0 74060671 14420725760 12709 33554432000 4194304 4196468 140721744290768 140456065452272 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29993] ppid=29978 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/29981/task/29993/stat : 29993 (java) S 29978 29981 29728 0 -1 1077944384 219 0 0 0 2 0 0 0 20 0 15 0 74060671 14420725760 12709 33554432000 4194304 4196468 140721744290768 140456064399728 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29994] ppid=29978 vsize=14082740 memory=140141998179968 CPUtime=0.08 cores=0,2,4,6
/proc/29981/task/29994/stat : 29994 (java) S 29978 29981 29728 0 -1 1077944384 376 0 0 0 8 0 0 0 20 0 15 0 74060671 14420725760 12709 33554432000 4194304 4196468 140721744290768 140456063346672 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29995] ppid=29978 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29995/stat : 29995 (java) S 29978 29981 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74060671 14420725760 12709 33554432000 4194304 4196468 140721744290768 140456062294368 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29996] ppid=29978 vsize=14082740 memory=140141998179968 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29996/stat : 29996 (java) S 29978 29981 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74060672 14420725760 12709 33554432000 4194304 4196468 140721744290768 140456061242416 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50836 KiB

[startup+0.700716 s]
/proc/loadavg: 1.32 1.41 1.41 3/219 29996
/proc/meminfo: memFree=16928912/32770624 swapFree=67108860/67108860
[pid=29981] ppid=29978 vsize=14084808 memory=88960 CPUtime=0.98 cores=0,2,4,6
/proc/29981/stat : 29981 (java) S 29978 29981 29728 0 -1 1077944320 17616 0 0 0 94 4 0 0 20 0 15 0 74060666 14422843392 22240 33554432000 4194304 4196468 140721744290768 140721744273312 140457089801975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
/proc/29981/statm: 3521202 22240 3500 1 0 3483273 0
[pid=29981/tid=29983] ppid=29978 vsize=14084808 memory=1844 CPUtime=0.67 cores=0,2,4,6
/proc/29981/task/29983/stat : 29983 (java) R 29978 29981 29728 0 -1 4202560 14843 0 0 0 64 3 0 0 20 0 15 0 74060666 14422843392 22240 33554432000 4194304 4196468 140721744290768 140457094026080 140457073882462 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29984] ppid=29978 vsize=14084808 memory=796 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29984/stat : 29984 (java) S 29978 29981 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74060667 14422843392 22240 33554432000 4194304 4196468 140721744290768 140457042422288 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29985] ppid=29978 vsize=14084808 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29985/stat : 29985 (java) S 29978 29981 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74060667 14422843392 22240 33554432000 4194304 4196468 140721744290768 140456684087952 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29986] ppid=29978 vsize=14084808 memory=13056 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29986/stat : 29986 (java) S 29978 29981 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74060667 14422843392 22240 33554432000 4194304 4196468 140721744290768 140456683034896 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29987] ppid=29978 vsize=14084808 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29987/stat : 29987 (java) S 29978 29981 29728 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74060667 14422843392 22240 33554432000 4194304 4196468 140721744290768 140456681982352 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29988] ppid=29978 vsize=14084808 memory=4620 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29988/stat : 29988 (java) S 29978 29981 29728 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 74060668 14422843392 22240 33554432000 4194304 4196468 140721744290768 140456069663472 140457089813122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29989] ppid=29978 vsize=14084808 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29989/stat : 29989 (java) S 29978 29981 29728 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 74060669 14422843392 22240 33554432000 4194304 4196468 140721744290768 140456068609696 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29990] ppid=29978 vsize=14084808 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29990/stat : 29990 (java) S 29978 29981 29728 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 74060669 14422843392 22240 33554432000 4194304 4196468 140721744290768 140456067556592 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29991] ppid=29978 vsize=14084808 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29991/stat : 29991 (java) S 29978 29981 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74060671 14422843392 22240 33554432000 4194304 4196468 140721744290768 140456066505168 140457089820571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29992] ppid=29978 vsize=14084808 memory=6296683612537770333 CPUtime=0.07 cores=0,2,4,6
/proc/29981/task/29992/stat : 29992 (java) S 29978 29981 29728 0 -1 1077944384 565 0 0 0 7 0 0 0 20 0 15 0 74060671 14422843392 22240 33554432000 4194304 4196468 140721744290768 140456065452272 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29993] ppid=29978 vsize=14084808 memory=7595725831727968097 CPUtime=0.07 cores=0,2,4,6
/proc/29981/task/29993/stat : 29993 (java) S 29978 29981 29728 0 -1 1077944384 364 0 0 0 7 0 0 0 20 0 15 0 74060671 14422843392 22240 33554432000 4194304 4196468 140721744290768 140456064399728 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29994] ppid=29978 vsize=14084808 memory=7236547281622689387 CPUtime=0.15 cores=0,2,4,6
/proc/29981/task/29994/stat : 29994 (java) S 29978 29981 29728 0 -1 1077944384 468 0 0 0 15 0 0 0 20 0 15 0 74060671 14422843392 22240 33554432000 4194304 4196468 140721744290768 140456063346672 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29995] ppid=29978 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29995/stat : 29995 (java) S 29978 29981 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74060671 14422843392 22240 33554432000 4194304 4196468 140721744290768 140456062294368 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29996] ppid=29978 vsize=14084808 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29996/stat : 29996 (java) S 29978 29981 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74060672 14422843392 22240 33554432000 4194304 4196468 140721744290768 140456061242416 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88960 KiB

[startup+1.50073 s]
/proc/loadavg: 1.32 1.41 1.41 6/219 29996
/proc/meminfo: memFree=16871704/32770624 swapFree=67108860/67108860
[pid=29981] ppid=29978 vsize=14088904 memory=207200 CPUtime=3.43 cores=0,2,4,6
/proc/29981/stat : 29981 (java) S 29978 29981 29728 0 -1 1077944320 23064 0 0 0 335 8 0 0 20 0 15 0 74060666 14427037696 51800 33554432000 4194304 4196468 140721744290768 140721744273312 140457089801975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
/proc/29981/statm: 3522226 51800 3547 1 0 3484297 0
[pid=29981/tid=29983] ppid=29978 vsize=14088904 memory=0 CPUtime=1.47 cores=0,2,4,6
/proc/29981/task/29983/stat : 29983 (java) R 29978 29981 29728 0 -1 4202560 16367 0 0 0 142 5 0 0 20 0 15 0 74060666 14427037696 51800 33554432000 4194304 4196468 140721744290768 140457094035176 140456727254787 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29984] ppid=29978 vsize=14088904 memory=-6951259422114956437 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29984/stat : 29984 (java) S 29978 29981 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74060667 14427037696 51800 33554432000 4194304 4196468 140721744290768 140457042422288 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29985] ppid=29978 vsize=14088904 memory=-6509546260019855295 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29985/stat : 29985 (java) S 29978 29981 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74060667 14427037696 51800 33554432000 4194304 4196468 140721744290768 140456684087952 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29986] ppid=29978 vsize=14088904 memory=-7390251449858225344 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29986/stat : 29986 (java) S 29978 29981 29728 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 74060667 14427037696 51800 33554432000 4194304 4196468 140721744290768 140456683034896 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29987] ppid=29978 vsize=14088904 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29987/stat : 29987 (java) S 29978 29981 29728 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 74060667 14427037696 51800 33554432000 4194304 4196468 140721744290768 140456681982352 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29988] ppid=29978 vsize=14088904 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29988/stat : 29988 (java) S 29978 29981 29728 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 74060668 14427037696 51800 33554432000 4194304 4196468 140721744290768 140456069663472 140457089813122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0

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

/proc/29981/task/29983/stat : 29983 (java) R 29978 29981 29728 0 -1 4202560 91312 0 0 0 223702 56 0 0 20 0 15 0 74060666 14431232000 111876 33554432000 4194304 4196468 140721744290768 140457094039952 140456736589809 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29984] ppid=29978 vsize=14093000 memory=412244 CPUtime=16.62 cores=0,2,4,6
/proc/29981/task/29984/stat : 29984 (java) S 29978 29981 29728 0 -1 1077944384 13221 0 0 0 1622 40 0 0 20 0 15 0 74060667 14431232000 111876 33554432000 4194304 4196468 140721744290768 140457042422288 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29985] ppid=29978 vsize=14093000 memory=140141898216017 CPUtime=16.63 cores=0,2,4,6
/proc/29981/task/29985/stat : 29985 (java) S 29978 29981 29728 0 -1 1077944384 15391 0 0 0 1622 41 0 0 20 0 15 0 74060667 14431232000 111876 33554432000 4194304 4196468 140721744290768 140456684087952 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29986] ppid=29978 vsize=14093000 memory=408656 CPUtime=16.59 cores=0,2,4,6
/proc/29981/task/29986/stat : 29986 (java) S 29978 29981 29728 0 -1 1077944384 15013 0 0 0 1620 39 0 0 20 0 15 0 74060667 14431232000 111876 33554432000 4194304 4196468 140721744290768 140456683034896 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29987] ppid=29978 vsize=14093000 memory=437768 CPUtime=16.61 cores=0,2,4,6
/proc/29981/task/29987/stat : 29987 (java) S 29978 29981 29728 0 -1 1077944384 12310 0 0 0 1619 42 0 0 20 0 15 0 74060667 14431232000 111876 33554432000 4194304 4196468 140721744290768 140456681982352 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29988] ppid=29978 vsize=14093000 memory=408340 CPUtime=4.8 cores=0,2,4,6
/proc/29981/task/29988/stat : 29988 (java) S 29978 29981 29728 0 -1 1077944384 38324 0 0 0 422 58 0 0 20 0 15 0 74060668 14431232000 111876 33554432000 4194304 4196468 140721744290768 140456069663472 140457089813122 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29989] ppid=29978 vsize=14093000 memory=447504 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29989/stat : 29989 (java) S 29978 29981 29728 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 74060669 14431232000 111876 33554432000 4194304 4196468 140721744290768 140456068609760 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29990] ppid=29978 vsize=14093000 memory=-7233780906022726806 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29990/stat : 29990 (java) S 29978 29981 29728 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 74060669 14431232000 111876 33554432000 4194304 4196468 140721744290768 140456067556608 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29991] ppid=29978 vsize=14093000 memory=408656 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29991/stat : 29991 (java) S 29978 29981 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74060671 14431232000 111876 33554432000 4194304 4196468 140721744290768 140456066505168 140457089820571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29992] ppid=29978 vsize=14093000 memory=408656 CPUtime=3.73 cores=0,2,4,6
/proc/29981/task/29992/stat : 29992 (java) S 29978 29981 29728 0 -1 1077944384 20342 0 0 0 370 3 0 0 20 0 15 0 74060671 14431232000 111876 33554432000 4194304 4196468 140721744290768 140456065452272 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29993] ppid=29978 vsize=14093000 memory=1204 CPUtime=3.4 cores=0,2,4,6
/proc/29981/task/29993/stat : 29993 (java) S 29978 29981 29728 0 -1 1077944384 13154 0 0 0 339 1 0 0 20 0 15 0 74060671 14431232000 111876 33554432000 4194304 4196468 140721744290768 140456064399728 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29994] ppid=29978 vsize=14093000 memory=8556 CPUtime=1.33 cores=0,2,4,6
/proc/29981/task/29994/stat : 29994 (java) S 29978 29981 29728 0 -1 1077944384 14551 0 0 0 130 3 0 0 20 0 15 0 74060671 14431232000 111876 33554432000 4194304 4196468 140721744290768 140456063346672 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29995] ppid=29978 vsize=14093000 memory=4036 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29995/stat : 29995 (java) S 29978 29981 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74060671 14431232000 111876 33554432000 4194304 4196468 140721744290768 140456062294368 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29996] ppid=29978 vsize=14093000 memory=22580 CPUtime=1.4 cores=0,2,4,6
/proc/29981/task/29996/stat : 29996 (java) S 29978 29981 29728 0 -1 1077944384 798 0 0 0 67 73 0 0 20 0 15 0 74060672 14431232000 111876 33554432000 4194304 4196468 140721744290768 140456061242416 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
Current children cumulated CPU time: 2318.78 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 447504 KiB

[startup+2322.3 s]
/proc/loadavg: 1.31 1.37 1.40 6/221 30175
/proc/meminfo: memFree=18288752/32770624 swapFree=67108860/67108860
[pid=29981] ppid=29978 vsize=14093000 memory=474456 CPUtime=2380.05 cores=0,2,4,6
/proc/29981/stat : 29981 (java) S 29978 29981 29728 0 -1 1077944320 239780 0 0 0 237678 327 0 0 20 0 15 0 74060666 14431232000 118614 33554432000 4194304 4196468 140721744290768 140721744273312 140457089801975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
/proc/29981/statm: 3523250 118614 3614 1 0 3485321 0
[pid=29981/tid=29983] ppid=29978 vsize=14093000 memory=472924 CPUtime=2296.94 cores=0,2,4,6
/proc/29981/task/29983/stat : 29983 (java) R 29978 29981 29728 0 -1 4202560 94435 0 0 0 229637 57 0 0 20 0 15 0 74060666 14431232000 118614 33554432000 4194304 4196468 140721744290768 140457094039952 140456724085274 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29984] ppid=29978 vsize=14093000 memory=474460 CPUtime=17.06 cores=0,2,4,6
/proc/29981/task/29984/stat : 29984 (java) S 29978 29981 29728 0 -1 1077944384 13415 0 0 0 1665 41 0 0 20 0 15 0 74060667 14431232000 118614 33554432000 4194304 4196468 140721744290768 140457042422288 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29985] ppid=29978 vsize=14093000 memory=1572 CPUtime=17.07 cores=0,2,4,6
/proc/29981/task/29985/stat : 29985 (java) S 29978 29981 29728 0 -1 1077944384 15492 0 0 0 1665 42 0 0 20 0 15 0 74060667 14431232000 118614 33554432000 4194304 4196468 140721744290768 140456684087952 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29986] ppid=29978 vsize=14093000 memory=474460 CPUtime=17.03 cores=0,2,4,6
/proc/29981/task/29986/stat : 29986 (java) S 29978 29981 29728 0 -1 1077944384 15116 0 0 0 1663 40 0 0 20 0 15 0 74060667 14431232000 118614 33554432000 4194304 4196468 140721744290768 140456683034896 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29987] ppid=29978 vsize=14093000 memory=473744 CPUtime=17.05 cores=0,2,4,6
/proc/29981/task/29987/stat : 29987 (java) S 29978 29981 29728 0 -1 1077944384 12526 0 0 0 1662 43 0 0 20 0 15 0 74060667 14431232000 118614 33554432000 4194304 4196468 140721744290768 140456681982352 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29988] ppid=29978 vsize=14093000 memory=473952 CPUtime=4.92 cores=0,2,4,6
/proc/29981/task/29988/stat : 29988 (java) S 29978 29981 29728 0 -1 1077944384 38521 0 0 0 433 59 0 0 20 0 15 0 74060668 14431232000 118614 33554432000 4194304 4196468 140721744290768 140456069663472 140457089813122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29989] ppid=29978 vsize=14093000 memory=473744 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29989/stat : 29989 (java) S 29978 29981 29728 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 74060669 14431232000 118614 33554432000 4194304 4196468 140721744290768 140456068609760 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29990] ppid=29978 vsize=14093000 memory=472928 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29990/stat : 29990 (java) S 29978 29981 29728 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 74060669 14431232000 118614 33554432000 4194304 4196468 140721744290768 140456067556608 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29991] ppid=29978 vsize=14093000 memory=473948 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29991/stat : 29991 (java) S 29978 29981 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74060671 14431232000 118614 33554432000 4194304 4196468 140721744290768 140456066505168 140457089820571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29992] ppid=29978 vsize=14093000 memory=1844 CPUtime=3.73 cores=0,2,4,6
/proc/29981/task/29992/stat : 29992 (java) S 29978 29981 29728 0 -1 1077944384 20342 0 0 0 370 3 0 0 20 0 15 0 74060671 14431232000 118614 33554432000 4194304 4196468 140721744290768 140456065452272 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29993] ppid=29978 vsize=14093000 memory=472924 CPUtime=3.4 cores=0,2,4,6
/proc/29981/task/29993/stat : 29993 (java) S 29978 29981 29728 0 -1 1077944384 13154 0 0 0 339 1 0 0 20 0 15 0 74060671 14431232000 118614 33554432000 4194304 4196468 140721744290768 140456064399728 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29994] ppid=29978 vsize=14093000 memory=474456 CPUtime=1.33 cores=0,2,4,6
/proc/29981/task/29994/stat : 29994 (java) S 29978 29981 29728 0 -1 1077944384 14551 0 0 0 130 3 0 0 20 0 15 0 74060671 14431232000 118614 33554432000 4194304 4196468 140721744290768 140456063346672 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29995] ppid=29978 vsize=14093000 memory=421476 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29995/stat : 29995 (java) S 29978 29981 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74060671 14431232000 118614 33554432000 4194304 4196468 140721744290768 140456062294368 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29996] ppid=29978 vsize=14093000 memory=472928 CPUtime=1.44 cores=0,2,4,6
/proc/29981/task/29996/stat : 29996 (java) S 29978 29981 29728 0 -1 1077944384 811 0 0 0 70 74 0 0 20 0 15 0 74060672 14431232000 118614 33554432000 4194304 4196468 140721744290768 140456061242416 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
Current children cumulated CPU time: 2380.05 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 474456 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2341.9 s]
/proc/loadavg: 1.48 1.40 1.41 3/221 30175
/proc/meminfo: memFree=18300008/32770624 swapFree=67108860/67108860
[pid=29981] ppid=29978 vsize=14093000 memory=465392 CPUtime=2400.09 cores=0,2,4,6
/proc/29981/stat : 29981 (java) S 29978 29981 29728 0 -1 1077944320 240817 0 0 0 239680 329 0 0 20 0 15 0 74060666 14431232000 116348 33554432000 4194304 4196468 140721744290768 140721744273312 140457089801975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
/proc/29981/statm: 3523250 116348 3614 1 0 3485321 0
[pid=29981/tid=29983] ppid=29978 vsize=14093000 memory=467956 CPUtime=2316.31 cores=0,2,4,6
/proc/29981/task/29983/stat : 29983 (java) R 29978 29981 29728 0 -1 4202560 94557 0 0 0 231574 57 0 0 20 0 15 0 74060666 14431232000 116348 33554432000 4194304 4196468 140721744290768 140457094039952 140456724085306 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29984] ppid=29978 vsize=14093000 memory=473744 CPUtime=17.21 cores=0,2,4,6
/proc/29981/task/29984/stat : 29984 (java) S 29978 29981 29728 0 -1 1077944384 13754 0 0 0 1679 42 0 0 20 0 15 0 74060667 14431232000 116348 33554432000 4194304 4196468 140721744290768 140457042422288 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29985] ppid=29978 vsize=14093000 memory=473432 CPUtime=17.23 cores=0,2,4,6
/proc/29981/task/29985/stat : 29985 (java) S 29978 29981 29728 0 -1 1077944384 15637 0 0 0 1680 43 0 0 20 0 15 0 74060667 14431232000 116348 33554432000 4194304 4196468 140721744290768 140456684087952 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29986] ppid=29978 vsize=14093000 memory=474444 CPUtime=17.18 cores=0,2,4,6
/proc/29981/task/29986/stat : 29986 (java) S 29978 29981 29728 0 -1 1077944384 15325 0 0 0 1678 40 0 0 20 0 15 0 74060667 14431232000 116348 33554432000 4194304 4196468 140721744290768 140456683034896 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29987] ppid=29978 vsize=14093000 memory=473428 CPUtime=17.21 cores=0,2,4,6
/proc/29981/task/29987/stat : 29987 (java) S 29978 29981 29728 0 -1 1077944384 12723 0 0 0 1677 44 0 0 20 0 15 0 74060667 14431232000 116348 33554432000 4194304 4196468 140721744290768 140456681982352 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29988] ppid=29978 vsize=14093000 memory=0 CPUtime=4.96 cores=0,2,4,6
/proc/29981/task/29988/stat : 29988 (java) S 29978 29981 29728 0 -1 1077944384 38538 0 0 0 437 59 0 0 20 0 15 0 74060668 14431232000 116348 33554432000 4194304 4196468 140721744290768 140456069663472 140457089813122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29989] ppid=29978 vsize=14093000 memory=474444 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29989/stat : 29989 (java) S 29978 29981 29728 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 74060669 14431232000 116348 33554432000 4194304 4196468 140721744290768 140456068609760 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29990] ppid=29978 vsize=14093000 memory=469496 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29990/stat : 29990 (java) S 29978 29981 29728 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 74060669 14431232000 116348 33554432000 4194304 4196468 140721744290768 140456067556608 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29991] ppid=29978 vsize=14093000 memory=467956 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29991/stat : 29991 (java) S 29978 29981 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74060671 14431232000 116348 33554432000 4194304 4196468 140721744290768 140456066505168 140457089820571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29992] ppid=29978 vsize=14093000 memory=466932 CPUtime=3.73 cores=0,2,4,6
/proc/29981/task/29992/stat : 29992 (java) S 29978 29981 29728 0 -1 1077944384 20344 0 0 0 370 3 0 0 20 0 15 0 74060671 14431232000 116348 33554432000 4194304 4196468 140721744290768 140456065452272 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29993] ppid=29978 vsize=14093000 memory=466932 CPUtime=3.4 cores=0,2,4,6
/proc/29981/task/29993/stat : 29993 (java) S 29978 29981 29728 0 -1 1077944384 13156 0 0 0 339 1 0 0 20 0 15 0 74060671 14431232000 116348 33554432000 4194304 4196468 140721744290768 140456064399728 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29994] ppid=29978 vsize=14093000 memory=465904 CPUtime=1.33 cores=0,2,4,6
/proc/29981/task/29994/stat : 29994 (java) S 29978 29981 29728 0 -1 1077944384 14553 0 0 0 130 3 0 0 20 0 15 0 74060671 14431232000 116348 33554432000 4194304 4196468 140721744290768 140456063346672 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29995] ppid=29978 vsize=14093000 memory=465904 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29995/stat : 29995 (java) S 29978 29981 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74060671 14431232000 116348 33554432000 4194304 4196468 140721744290768 140456062294368 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29996] ppid=29978 vsize=14093000 memory=421476 CPUtime=1.45 cores=0,2,4,6
/proc/29981/task/29996/stat : 29996 (java) S 29978 29981 29728 0 -1 1077944384 813 0 0 0 70 75 0 0 20 0 15 0 74060672 14431232000 116348 33554432000 4194304 4196468 140721744290768 140456061242416 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 465392 KiB

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

[startup+2341.93 s]
# the end of solver process 29981 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.83 s, system=3.30409 s

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

[startup+2341.9 s]
/proc/loadavg: 1.48 1.40 1.41 3/221 30175
/proc/meminfo: memFree=18300008/32770624 swapFree=67108860/67108860
[pid=29981] ppid=29978 vsize=14093000 memory=465392 CPUtime=2400.09 cores=0,2,4,6
/proc/29981/stat : 29981 (java) S 29978 29981 29728 0 -1 1077944320 240817 0 0 0 239680 329 0 0 20 0 15 0 74060666 14431232000 116348 33554432000 4194304 4196468 140721744290768 140721744273312 140457089801975 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
/proc/29981/statm: 3523250 116348 3614 1 0 3485321 0
[pid=29981/tid=29983] ppid=29978 vsize=14093000 memory=467956 CPUtime=2316.31 cores=0,2,4,6
/proc/29981/task/29983/stat : 29983 (java) R 29978 29981 29728 0 -1 4202560 94557 0 0 0 231574 57 0 0 20 0 15 0 74060666 14431232000 116348 33554432000 4194304 4196468 140721744290768 140457094039952 140456724085306 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29984] ppid=29978 vsize=14093000 memory=473744 CPUtime=17.21 cores=0,2,4,6
/proc/29981/task/29984/stat : 29984 (java) S 29978 29981 29728 0 -1 1077944384 13754 0 0 0 1679 42 0 0 20 0 15 0 74060667 14431232000 116348 33554432000 4194304 4196468 140721744290768 140457042422288 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29985] ppid=29978 vsize=14093000 memory=473432 CPUtime=17.23 cores=0,2,4,6
/proc/29981/task/29985/stat : 29985 (java) S 29978 29981 29728 0 -1 1077944384 15637 0 0 0 1680 43 0 0 20 0 15 0 74060667 14431232000 116348 33554432000 4194304 4196468 140721744290768 140456684087952 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29986] ppid=29978 vsize=14093000 memory=474444 CPUtime=17.18 cores=0,2,4,6
/proc/29981/task/29986/stat : 29986 (java) S 29978 29981 29728 0 -1 1077944384 15325 0 0 0 1678 40 0 0 20 0 15 0 74060667 14431232000 116348 33554432000 4194304 4196468 140721744290768 140456683034896 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29987] ppid=29978 vsize=14093000 memory=473428 CPUtime=17.21 cores=0,2,4,6
/proc/29981/task/29987/stat : 29987 (java) S 29978 29981 29728 0 -1 1077944384 12723 0 0 0 1677 44 0 0 20 0 15 0 74060667 14431232000 116348 33554432000 4194304 4196468 140721744290768 140456681982352 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29988] ppid=29978 vsize=14093000 memory=0 CPUtime=4.96 cores=0,2,4,6
/proc/29981/task/29988/stat : 29988 (java) S 29978 29981 29728 0 -1 1077944384 38538 0 0 0 437 59 0 0 20 0 15 0 74060668 14431232000 116348 33554432000 4194304 4196468 140721744290768 140456069663472 140457089813122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29989] ppid=29978 vsize=14093000 memory=474444 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29989/stat : 29989 (java) S 29978 29981 29728 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 74060669 14431232000 116348 33554432000 4194304 4196468 140721744290768 140456068609760 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29990] ppid=29978 vsize=14093000 memory=469496 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29990/stat : 29990 (java) S 29978 29981 29728 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 74060669 14431232000 116348 33554432000 4194304 4196468 140721744290768 140456067556608 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29991] ppid=29978 vsize=14093000 memory=467956 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29991/stat : 29991 (java) S 29978 29981 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74060671 14431232000 116348 33554432000 4194304 4196468 140721744290768 140456066505168 140457089820571 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29992] ppid=29978 vsize=14093000 memory=466932 CPUtime=3.73 cores=0,2,4,6
/proc/29981/task/29992/stat : 29992 (java) S 29978 29981 29728 0 -1 1077944384 20344 0 0 0 370 3 0 0 20 0 15 0 74060671 14431232000 116348 33554432000 4194304 4196468 140721744290768 140456065452272 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29993] ppid=29978 vsize=14093000 memory=466932 CPUtime=3.4 cores=0,2,4,6
/proc/29981/task/29993/stat : 29993 (java) S 29978 29981 29728 0 -1 1077944384 13156 0 0 0 339 1 0 0 20 0 15 0 74060671 14431232000 116348 33554432000 4194304 4196468 140721744290768 140456064399728 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29994] ppid=29978 vsize=14093000 memory=465904 CPUtime=1.33 cores=0,2,4,6
/proc/29981/task/29994/stat : 29994 (java) S 29978 29981 29728 0 -1 1077944384 14553 0 0 0 130 3 0 0 20 0 15 0 74060671 14431232000 116348 33554432000 4194304 4196468 140721744290768 140456063346672 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29995] ppid=29978 vsize=14093000 memory=465904 CPUtime=0 cores=0,2,4,6
/proc/29981/task/29995/stat : 29995 (java) S 29978 29981 29728 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 74060671 14431232000 116348 33554432000 4194304 4196468 140721744290768 140456062294368 140457089812181 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
[pid=29981/tid=29996] ppid=29978 vsize=14093000 memory=421476 CPUtime=1.45 cores=0,2,4,6
/proc/29981/task/29996/stat : 29996 (java) S 29978 29981 29728 0 -1 1077944384 813 0 0 0 70 75 0 0 20 0 15 0 74060672 14431232000 116348 33554432000 4194304 4196468 140721744290768 140456061242416 140457089813122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28581888 140721744294985 140721744295177 140721744295177 140721744297935 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 465392 KiB

Child status: 143
Real time (s): 2341.93
CPU time (s): 2400.13
CPU user time (s): 2396.83
CPU system time (s): 3.30409
CPU usage (%): 102.485
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 1806104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.83
system time used= 3.30409
maximum resident set size= 1808216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241318
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 167770
involuntary context switches= 9918


# summary of solver processes directly reported to runsolver:
#   pid: 29981
#   total CPU time (s): 2400.13
#   total CPU user time (s): 2396.83
#   total CPU system time (s): 3.30409

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6849 second user time and 22.689 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 4290300

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