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

Solver Name	Answer	CPU time	Wall clock time
OscaR - Parallel with EPS 2017-08-22	SAT	482.29199	62.377102

0.30/0.25	c version: 2017-08-22
0.30/0.25	c seed: 1410016579
0.30/0.25	c timeout: 20160
0.30/0.25	c memlimit: 22000
0.30/0.25	c nbcore: 8
0.30/0.28	c Parsing instance...
1.54/0.77	c Parsing done, starting search...
482.09/62.33	s SATISFIABLE
482.09/62.33	v <instantiation>
482.09/62.33	v 	<list>
482.09/62.33	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] s[0][1][0] s[0][1][1] s[0][1][2] s[0][1][3] s[0][1][4] s[0][1][5] s[0][1][6] s[0][1][7] s[0][1][8] s[0][1][9] s[0][1][10] s[0][1][11] s[0][1][12] s[0][1][13] s[0][1][14] s[0][1][15] s[0][1][16] s[0][1][17] s[0][2][0] s[0][2][1] s[0][2][2] s[0][2][3] s[0][2][4] s[0][2][5] s[0][2][6] s[0][2][7] s[0][2][8] s[0][2][9] s[0][2][10] s[0][2][11] s[0][2][12] s[0][2][13] s[0][2][14] s[0][2][15] s[0][2][16] s[0][2][17] s[0][3][0] s[0][3][1] s[0][3][2] s[0][3][3] s[0][3][4] s[0][3][5] s[0][3][6] s[0][3][7] s[0][3][8] s[0][3][9] s[0][3][10] s[0][3][11] s[0][3][12] s[0][3][13] s[0][3][14] s[0][3][15] s[0][3][16] s[0][3][17] s[0][4][0] s[0][4][1] s[0][4][2] s[0][4][3] s[0][4][4] s[0][4][5] s[0][4][6] s[0][4][7] s[0][4][8] s[0][4][9] s[0][4][10] s[0][4][11] s[0][4][12] s[0][4][13] s[0][4][14] s[0][4][15] s[0][4][16] s[0][4][17] s[0][5][0] s[0][5][1] s[0][5][2] s[0][5][3] s[0][5][4] s[0][5][5] s[0][5][6] s[0][5][7] s[0][5][8] s[0][5][9] s[0][5][10] s[0][5][11] s[0][5][12] s[0][5][13] s[0][5][14] s[0][5][15] s[0][5][16] s[0][5][17] s[0][6][0] s[0][6][1] s[0][6][2] s[0][6][3] s[0][6][4] s[0][6][5] s[0][6][6] s[0][6][7] s[0][6][8] s[0][6][9] s[0][6][10] s[0][6][11] s[0][6][12] s[0][6][13] s[0][6][14] s[0][6][15] s[0][6][16] s[0][6][17] s[0][7][0] s[0][7][1] s[0][7][2] s[0][7][3] s[0][7][4] s[0][7][5] s[0][7][6] s[0][7][7] s[0][7][8] s[0][7][9] s[0][7][10] s[0][7][11] s[0][7][12] s[0][7][13] s[0][7][14] s[0][7][15] s[0][7][16] s[0][7][17] s[0][8][0] s[0][8][1] s[0][8][2] s[0][8][3] s[0][8][4] s[0][8][5] s[0][8][6] s[0][8][7] s[0][8][8] s[0][8][9] s[0][8][10] s[0][8][11] s[0][8][12] s[0][8][13] s[0][8][14] s[0][8][15] s[0][8][16] s[0][8][17] s[0][9][0] s[0][9][1] s[0][9][2] s[0][9][3] s[0][9][4] s[0][9][5] s[0][9][6] s[0][9][7] s[0][9][8] s[0][9][9] s[0][9][10] s[0][9][11] s[0][9][12] s[0][9][13] s[0][9][14] s[0][9][15] s[0][9][16] s[0][9][17] s[1][2][0] s[1][2][1] s[1][2][2] s[1][2][3] s[1][2][4] s[1][2][5] s[1][2][6] s[1][2][7] s[1][2][8] s[1][2][9] s[1][2][10] s[1][2][11] s[1][2][12] s[1][2][13] s[1][2][14] s[1][2][15] s[1][2][16] s[1][2][17] s[1][3][0] s[1][3][1] s[1][3][2] s[1][3][3] s[1][3][4] s[1][3][5] s[1][3][6] s[1][3][7] s[1][3][8] s[1][3][9] s[1][3][10] s[1][3][11] s[1][3][12] s[1][3][13] s[1][3][14] s[1][3][15] s[1][3][16] s[1][3][17] s[1][4][0] s[1][4][1] s[1][4][2] s[1][4][3] s[1][4][4] s[1][4][5] s[1][4][6] s[1][4][7] s[1][4][8] s[1][4][9] s[1][4][10] s[1][4][11] s[1][4][12] s[1][4][13] s[1][4][14] s[1][4][15] s[1][4][16] s[1][4][17] s[1][5][0] s[1][5][1] s[1][5][2] s[1][5][3] s[1][5][4] s[1][5][5] s[1][5][6] s[1][5][7] s[1][5][8] s[1][5][9] s[1][5][10] s[1][5][11] s[1][5][12] s[1][5][13] s[1][5][14] s[1][5][15] s[1][5][16] s[1][5][17] s[1][6][0] s[1][6][1] s[1][6][2] s[1][6][3] s[1][6][4] s[1][6][5] s[1][6][6] s[1][6][7] s[1][6][8] s[1][6][9] s[1][6][10] s[1][6][11] s[1][6][12] s[1][6][13] s[1][6][14] s[1][6][15] s[1][6][16] s[1][6][17] s[1][7][0] s[1][7][1] s[1][7][2] s[1][7][3] s[1][7][4] s[1][7][5] s[1][7][6] s[1][7][7] s[1][7][8] s[1][7][9] s[1][7][10] s[1][7][11] s[1][7][12] s[1][7][13] s[1][7][14] s[1][7][15] s[1][7][16] s[1][7][17] s[1][8][0] s[1][8][1] s[1][8][2] s[1][8][3] s[1][8][4] s[1][8][5] s[1][8][6] s[1][8][7] s[1][8][8] s[1][8][9] s[1][8][10] s[1][8][11] s[1][8][12] s[1][8][13] s[1][8][14] s[1][8][15] s[1][8][16] s[1][8][17] s[1][9][0] s[1][9][1] s[1][9][2] s[1][9][3] s[1][9][4] s[1][9][5] s[1][9][6] s[1][9][7] s[1][9][8] s[1][9][9] s[1][9][10] s[1][9][11] s[1][9][12] s[1][9][13] s[1][9][14] s[1][9][15] s[1][9][16] s[1][9][17] s[2][3][0] s[2][3][1] s[2][3][2] s[2][3][3] s[2][3][4] s[2][3][5] s[2][3][6] s[2][3][7] s[2][3][8] s[2][3][9] s[2][3][10] s[2][3][11] s[2][3][12] s[2][3][13] s[2][3][14] s[2][3][15] s[2][3][16] s[2][3][17] s[2][4][0] s[2][4][1] s[2][4][2] s[2][4][3] s[2][4][4] s[2][4][5] s[2][4][6] s[2][4][7] s[2][4][8] s[2][4][9] s[2][4][10] s[2][4][11] s[2][4][12] s[2][4][13] s[2][4][14] s[2][4][15] s[2][4][16] s[2][4][17] s[2][5][0] s[2][5][1] s[2][5][2] s[2][5][3] s[2][5][4] s[2][5][5] s[2][5][6] s[2][5][7] s[2][5][8] s[2][5][9] s[2][5][10] s[2][5][11] s[2][5][12] s[2][5][13] s[2][5][14] s[2][5][15] s[2][5][16] s[2][5][17] s[2][6][0] s[2][6][1] s[2][6][2] s[2][6][3] s[2][6][4] s[2][6][5] s[2][6][6] s[2][6][7] s[2][6][8] s[2][6][9] s[2][6][10] s[2][6][11] s[2][6][12] s[2][6][13] s[2][6][14] s[2][6][15] s[2][6][16] s[2][6][17] s[2][7][0] s[2][7][1] s[2][7][2] s[2][7][3] s[2][7][4] s[2][7][5] s[2][7][6] s[2][7][7] s[2][7][8] s[2][7][9] s[2][7][10] s[2][7][11] s[2][7][12] s[2][7][13] s[2][7][14] s[2][7][15] s[2][7][16] s[2][7][17] s[2][8][0] s[2][8][1] s[2][8][2] s[2][8][3] s[2][8][4] s[2][8][5] s[2][8][6] s[2][8][7] s[2][8][8] s[2][8][9] s[2][8][10] s[2][8][11] s[2][8][12] s[2][8][13] s[2][8][14] s[2][8][15] s[2][8][16] s[2][8][17] s[2][9][0] s[2][9][1] s[2][9][2] s[2][9][3] s[2][9][4] s[2][9][5] s[2][9][6] s[2][9][7] s[2][9][8] s[2][9][9] s[2][9][10] s[2][9][11] s[2][9][12] s[2][9][13] s[2][9][14] s[2][9][15] s[2][9][16] s[2][9][17] s[3][4][0] s[3][4][1] s[3][4][2] s[3][4][3] s[3][4][4] s[3][4][5] s[3][4][6] s[3][4][7] s[3][4][8] s[3][4][9] s[3][4][10] s[3][4][11] s[3][4][12] s[3][4][13] s[3][4][14] s[3][4][15] s[3][4][16] s[3][4][17] s[3][5][0] s[3][5][1] s[3][5][2] s[3][5][3] s[3][5][4] s[3][5][5] s[3][5][6] s[3][5][7] s[3][5][8] s[3][5][9] s[3][5][10] s[3][5][11] s[3][5][12] s[3][5][13] s[3][5][14] s[3][5][15] s[3][5][16] s[3][5][17] s[3][6][0] s[3][6][1] s[3][6][2] s[3][6][3] s[3][6][4] s[3][6][5] s[3][6][6] s[3][6][7] s[3][6][8] s[3][6][9] s[3][6][10] s[3][6][11] s[3][6][12] s[3][6][13] s[3][6][14] s[3][6][15] s[3][6][16] s[3][6][17] s[3][7][0] s[3][7][1] s[3][7][2] s[3][7][3] s[3][7][4] s[3][7][5] s[3][7][6] s[3][7][7] s[3][7][8] s[3][7][9] s[3][7][10] s[3][7][11] s[3][7][12] s[3][7][13] s[3][7][14] s[3][7][15] s[3][7][16] s[3][7][17] s[3][8][0] s[3][8][1] s[3][8][2] s[3][8][3] s[3][8][4] s[3][8][5] s[3][8][6] s[3][8][7] s[3][8][8] s[3][8][9] s[3][8][10] s[3][8][11] s[3][8][12] s[3][8][13] s[3][8][14] s[3][8][15] s[3][8][16] s[3][8][17] s[3][9][0] s[3][9][1] s[3][9][2] s[3][9][3] s[3][9][4] s[3][9][5] s[3][9][6] s[3][9][7] s[3][9][8] s[3][9][9] s[3][9][10] s[3][9][11] s[3][9][12] s[3][9][13] s[3][9][14] s[3][9][15] s[3][9][16] s[3][9][17] s[4][5][0] s[4][5][1] s[4][5][2] s[4][5][3] s[4][5][4] s[4][5][5] s[4][5][6] s[4][5][7] s[4][5][8] s[4][5][9] s[4][5][10] s[4][5][11] s[4][5][12] s[4][5][13] s[4][5][14] s[4][5][15] s[4][5][16] s[4][5][17] s[4][6][0] s[4][6][1] s[4][6][2] s[4][6][3] s[4][6][4] s[4][6][5] s[4][6][6] s[4][6][7] s[4][6][8] s[4][6][9] s[4][6][10] s[4][6][11] s[4][6][12] s[4][6][13] s[4][6][14] s[4][6][15] s[4][6][16] s[4][6][17] s[4][7][0] s[4][7][1] s[4][7][2] s[4][7][3] s[4][7][4] s[4][7][5] s[4][7][6] s[4][7][7] s[4][7][8] s[4][7][9] s[4][7][10] s[4][7][11] s[4][7][12] s[4][7][13] s[4][7][14] s[4][7][15] s[4][7][16] s[4][7][17] s[4][8][0] s[4][8][1] s[4][8][2] s[4][8][3] s[4][8][4] s[4][8][5] s[4][8][6] s[4][8][7] s[4][8][8] s[4][8][9] s[4][8][10] s[4][8][11] s[4][8][12] s[4][8][13] s[4][8][14] s[4][8][15] s[4][8][16] s[4][8][17] s[4][9][0] s[4][9][1] s[4][9][2] s[4][9][3] s[4][9][4] s[4][9][5] s[4][9][6] s[4][9][7] s[4][9][8] s[4][9][9] s[4][9][10] s[4][9][11] s[4][9][12] s[4][9][13] s[4][9][14] s[4][9][15] s[4][9][16] s[4][9][17] s[5][6][0] s[5][6][1] s[5][6][2] s[5][6][3] s[5][6][4] s[5][6][5] s[5][6][6] s[5][6][7] s[5][6][8] s[5][6][9] s[5][6][10] s[5][6][11] s[5][6][12] s[5][6][13] s[5][6][14] s[5][6][15] s[5][6][16] s[5][6][17] s[5][7][0] s[5][7][1] s[5][7][2] s[5][7][3] s[5][7][4] s[5][7][5] s[5][7][6] s[5][7][7] s[5][7][8] s[5][7][9] s[5][7][10] s[5][7][11] s[5][7][12] s[5][7][13] s[5][7][14] s[5][7][15] s[5][7][16] s[5][7][17] s[5][8][0] s[5][8][1] s[5][8][2] s[5][8][3] s[5][8][4] s[5][8][5] s[5][8][6] s[5][8][7] s[5][8][8] s[5][8][9] s[5][8][10] s[5][8][11] s[5][8][12] s[5][8][13] s[5][8][14] s[5][8][15] s[5][8][16] s[5][8][17] s[5][9][0] s[5][9][1] s[5][9][2] s[5][9][3] s[5][9][4] s[5][9][5] s[5][9][6] s[5][9][7] s[5][9][8] s[5][9][9] s[5][9][10] s[5][9][11] s[5][9][12] s[5][9][13] s[5][9][14] s[5][9][15] s[5][9][16] s[5][9][17] s[6][7][0] s[6][7][1] s[6][7][2] s[6][7][3] s[6][7][4] s[6][7][5] s[6][7][6] s[6][7][7] s[6][7][8] s[6][7][9] s[6][7][10] s[6][7][11] s[6][7][12] s[6][7][13] s[6][7][14] s[6][7][15] s[6][7][16] s[6][7][17] s[6][8][0] s[6][8][1] s[6][8][2] s[6][8][3] s[6][8][4] s[6][8][5] s[6][8][6] s[6][8][7] s[6][8][8] s[6][8][9] s[6][8][10] s[6][8][11] s[6][8][12] s[6][8][13] s[6][8][14] s[6][8][15] s[6][8][16] s[6][8][17] s[6][9][0] s[6][9][1] s[6][9][2] s[6][9][3] s[6][9][4] s[6][9][5] s[6][9][6] s[6][9][7] s[6][9][8] s[6][9][9] s[6][9][10] s[6][9][11] s[6][9][12] s[6][9][13] s[6][9][14] s[6][9][15] s[6][9][16] s[6][9][17] s[7][8][0] s[7][8][1] s[7][8][2] s[7][8][3] s[7][8][4] s[7][8][5] s[7][8][6] s[7][8][7] s[7][8][8] s[7][8][9] s[7][8][10] s[7][8][11] s[7][8][12] s[7][8][13] s[7][8][14] s[7][8][15] s[7][8][16] s[7][8][17] s[7][9][0] s[7][9][1] s[7][9][2] s[7][9][3] s[7][9][4] s[7][9][5] s[7][9][6] s[7][9][7] s[7][9][8] s[7][9][9] s[7][9][10] s[7][9][11] s[7][9][12] s[7][9][13] s[7][9][14] s[7][9][15] s[7][9][16] s[7][9][17] s[8][9][0] s[8][9][1] s[8][9][2] s[8][9][3] s[8][9][4] s[8][9][5] s[8][9][6] s[8][9][7] s[8][9][8] s[8][9][9] s[8][9][10] s[8][9][11] s[8][9][12] s[8][9][13] s[8][9][14] s[8][9][15] s[8][9][16] s[8][9][17]
482.09/62.33	v 	</list>
482.09/62.33	v 	<values>
482.09/62.33	v 		0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 1 0 0 1 1 1 0 0 0 1 0 1 1 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 1 0 1 0 0 1 1 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 0 0 0 1 0 0 1 1 1 0 0 0 1 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 1 0 0 0 1 1 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 
482.09/62.33	v 	</values>
482.09/62.33	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 (12527 MiB free)
  memory of node 1: 16384 MiB (10647 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4285076-1503424048/watcher-4285076-1503424048 -o /tmp/evaluation-result-4285076-1503424048/solver-4285076-1503424048 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node102-1503423187-5645 --watchdog 2580 java -Xmx22000m -jar oscar-cp-xcsp3-parallel.jar --randomseed 1410016579 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4285076-1503424048.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5662, runsolver pid=5659
Current StackSize limit: 8192 KiB


[startup+0.100141 s]*
/proc/loadavg: 7.93 8.35 8.55 2/200 5682
/proc/meminfo: memFree=23712668/32770624 swapFree=67108860/67108860
[pid=5662] ppid=5659 vsize=26000852 memory=31664 CPUtime=0.12 cores=0-7
/proc/5662/stat : 5662 (java) S 5659 5662 5618 0 -1 1077944320 8327 0 0 0 10 2 0 0 20 0 20 0 175492864 26624872448 7916 33554432000 4194304 4196468 140732780214240 140732780196784 140337322786551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
/proc/5662/statm: 6500213 7916 3412 1 0 6487932 0
[pid=5662/tid=5664] ppid=5659 vsize=26000852 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/5662/task/5664/stat : 5664 (java) R 5659 5662 5618 0 -1 4202560 6263 0 0 0 8 1 0 0 20 0 20 0 175492864 26624872448 7916 33554432000 4194304 4196468 140732780214240 140337326992544 140337306830181 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5665] ppid=5659 vsize=26000852 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5662/task/5665/stat : 5665 (java) S 5659 5662 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492865 26624872448 7916 33554432000 4194304 4196468 140732780214240 140337275406736 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5666] ppid=5659 vsize=26000852 memory=139991790335616 CPUtime=0 cores=0-7
/proc/5662/task/5666/stat : 5666 (java) S 5659 5662 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492865 26624872448 7916 33554432000 4194304 4196468 140732780214240 140337274353936 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5667] ppid=5659 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5667/stat : 5667 (java) S 5659 5662 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492865 26624872448 7916 33554432000 4194304 4196468 140732780214240 140337273301648 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5668] ppid=5659 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5668/stat : 5668 (java) S 5659 5662 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492865 26624872448 7916 33554432000 4194304 4196468 140732780214240 140337272248848 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5669] ppid=5659 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5669/stat : 5669 (java) S 5659 5662 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492865 26624872448 7916 33554432000 4194304 4196468 140732780214240 140337271196560 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5670] ppid=5659 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/5662/task/5670/stat : 5670 (java) S 5659 5662 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492865 26624872448 7916 33554432000 4194304 4196468 140732780214240 140337270143760 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5671] ppid=5659 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5671/stat : 5671 (java) S 5659 5662 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492865 26624872448 7916 33554432000 4194304 4196468 140732780214240 140337269091472 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5672] ppid=5659 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5672/stat : 5672 (java) S 5659 5662 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492865 26624872448 7916 33554432000 4194304 4196468 140732780214240 140337268038672 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5673] ppid=5659 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5673/stat : 5673 (java) S 5659 5662 5618 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 175492867 26624872448 7916 33554432000 4194304 4196468 140732780214240 140336450988144 140337322797698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5674] ppid=5659 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5674/stat : 5674 (java) S 5659 5662 5618 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175492867 26624872448 7916 33554432000 4194304 4196468 140732780214240 140336449934112 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5675] ppid=5659 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5675/stat : 5675 (java) S 5659 5662 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175492867 26624872448 7916 33554432000 4194304 4196468 140732780214240 140336448881776 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5676] ppid=5659 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5676/stat : 5676 (java) S 5659 5662 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492870 26624872448 7916 33554432000 4194304 4196468 140732780214240 140336447830096 140337322805147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5677] ppid=5659 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5677/stat : 5677 (java) S 5659 5662 5618 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 175492870 26624872448 7916 33554432000 4194304 4196468 140732780214240 140336378669680 140337322797698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5678] ppid=5659 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5678/stat : 5678 (java) S 5659 5662 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175492870 26624872448 7916 33554432000 4194304 4196468 140732780214240 140336377616880 140337322797698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5679] ppid=5659 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5679/stat : 5679 (java) S 5659 5662 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175492870 26624872448 7916 33554432000 4194304 4196468 140732780214240 140336376564592 140337322797698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5680] ppid=5659 vsize=26000852 memory=0 CPUtime=0.02 cores=0-7
/proc/5662/task/5680/stat : 5680 (java) S 5659 5662 5618 0 -1 1077944384 376 0 0 0 2 0 0 0 20 0 20 0 175492870 26624872448 7916 33554432000 4194304 4196468 140732780214240 140336375511792 140337322797698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5681] ppid=5659 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5681/stat : 5681 (java) S 5659 5662 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175492870 26624872448 7916 33554432000 4194304 4196468 140732780214240 140336374458720 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5682] ppid=5659 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/5662/task/5682/stat : 5682 (java) S 5659 5662 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492870 26624872448 7916 33554432000 4194304 4196468 140732780214240 140336373406000 140337322797698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 31664 KiB

[startup+0.210424 s]*
/proc/loadavg: 7.93 8.35 8.55 3/200 5682
/proc/meminfo: memFree=23703532/32770624 swapFree=67108860/67108860
[pid=5662] ppid=5659 vsize=26000852 memory=40944 CPUtime=0.3 cores=0-7
/proc/5662/stat : 5662 (java) S 5659 5662 5618 0 -1 1077944320 9376 0 0 0 27 3 0 0 20 0 20 0 175492864 26624872448 10236 33554432000 4194304 4196468 140732780214240 140732780196784 140337322786551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
/proc/5662/statm: 6500213 10236 3600 1 0 6487932 0
[pid=5662/tid=5664] ppid=5659 vsize=26000852 memory=4026531975 CPUtime=0.19 cores=0-7
/proc/5662/task/5664/stat : 5664 (java) R 5659 5662 5618 0 -1 4202560 6938 0 0 0 17 2 0 0 20 0 20 0 175492864 26624872448 10236 33554432000 4194304 4196468 140732780214240 140337327013440 140337306867038 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5665] ppid=5659 vsize=26000852 memory=9275 CPUtime=0 cores=0-7
/proc/5662/task/5665/stat : 5665 (java) S 5659 5662 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492865 26624872448 10236 33554432000 4194304 4196468 140732780214240 140337275406736 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5666] ppid=5659 vsize=26000852 memory=139991790341174 CPUtime=0 cores=0-7
/proc/5662/task/5666/stat : 5666 (java) S 5659 5662 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492865 26624872448 10236 33554432000 4194304 4196468 140732780214240 140337274353936 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5667] ppid=5659 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/5662/task/5667/stat : 5667 (java) S 5659 5662 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492865 26624872448 10236 33554432000 4194304 4196468 140732780214240 140337273301648 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5668] ppid=5659 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5668/stat : 5668 (java) S 5659 5662 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492865 26624872448 10236 33554432000 4194304 4196468 140732780214240 140337272248848 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5669] ppid=5659 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5669/stat : 5669 (java) S 5659 5662 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492865 26624872448 10236 33554432000 4194304 4196468 140732780214240 140337271196560 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5670] ppid=5659 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/5662/task/5670/stat : 5670 (java) S 5659 5662 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492865 26624872448 10236 33554432000 4194304 4196468 140732780214240 140337270143760 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5671] ppid=5659 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5671/stat : 5671 (java) S 5659 5662 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492865 26624872448 10236 33554432000 4194304 4196468 140732780214240 140337269091472 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5672] ppid=5659 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5672/stat : 5672 (java) S 5659 5662 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492865 26624872448 10236 33554432000 4194304 4196468 140732780214240 140337268038672 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5673] ppid=5659 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5673/stat : 5673 (java) S 5659 5662 5618 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 175492867 26624872448 10236 33554432000 4194304 4196468 140732780214240 140336450988144 140337322797698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5674] ppid=5659 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5674/stat : 5674 (java) S 5659 5662 5618 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175492867 26624872448 10236 33554432000 4194304 4196468 140732780214240 140336449934112 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5675] ppid=5659 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5675/stat : 5675 (java) S 5659 5662 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175492867 26624872448 10236 33554432000 4194304 4196468 140732780214240 140336448881776 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5676] ppid=5659 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5676/stat : 5676 (java) S 5659 5662 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492870 26624872448 10236 33554432000 4194304 4196468 140732780214240 140336447830096 140337322805147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5677] ppid=5659 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/5662/task/5677/stat : 5677 (java) S 5659 5662 5618 0 -1 1077944384 399 0 0 0 1 0 0 0 20 0 20 0 175492870 26624872448 10236 33554432000 4194304 4196468 140732780214240 140336378669680 140337322797698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5678] ppid=5659 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5678/stat : 5678 (java) S 5659 5662 5618 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 20 0 175492870 26624872448 10236 33554432000 4194304 4196468 140732780214240 140336377616880 140337322797698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5679] ppid=5659 vsize=26000852 memory=0 CPUtime=0.01 cores=0-7
/proc/5662/task/5679/stat : 5679 (java) S 5659 5662 5618 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 20 0 175492870 26624872448 10236 33554432000 4194304 4196468 140732780214240 140336376564592 140337322797698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5680] ppid=5659 vsize=26000852 memory=0 CPUtime=0.05 cores=0-7
/proc/5662/task/5680/stat : 5680 (java) S 5659 5662 5618 0 -1 1077944384 425 0 0 0 5 0 0 0 20 0 20 0 175492870 26624872448 10236 33554432000 4194304 4196468 140732780214240 140336375511792 140337322797698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5681] ppid=5659 vsize=26000852 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5681/stat : 5681 (java) S 5659 5662 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175492870 26624872448 10236 33554432000 4194304 4196468 140732780214240 140336374458720 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5682] ppid=5659 vsize=26000852 memory=-1 CPUtime=0 cores=0-7
/proc/5662/task/5682/stat : 5682 (java) S 5659 5662 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492870 26624872448 10236 33554432000 4194304 4196468 140732780214240 140336373406000 140337322797698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26000852 KiB
Current children cumulated memory: 40944 KiB

[startup+0.310313 s]*
/proc/loadavg: 7.93 8.35 8.55 2/200 5682
/proc/meminfo: memFree=23696708/32770624 swapFree=67108860/67108860
[pid=5662] ppid=5659 vsize=26000872 memory=49024 CPUtime=0.48 cores=0-7
/proc/5662/stat : 5662 (java) S 5659 5662 5618 0 -1 1077944320 10602 0 0 0 44 4 0 0 20 0 20 0 175492864 26624892928 12256 33554432000 4194304 4196468 140732780214240 140732780196784 140337322786551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
/proc/5662/statm: 6500218 12256 3722 1 0 6487932 0
[pid=5662/tid=5664] ppid=5659 vsize=26000872 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/5662/task/5664/stat : 5664 (java) R 5659 5662 5618 0 -1 4202560 7706 0 0 0 26 3 0 0 20 0 20 0 175492864 26624892928 12256 33554432000 4194304 4196468 140732780214240 140337327016000 140337322807898 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5665] ppid=5659 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5665/stat : 5665 (java) S 5659 5662 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492865 26624892928 12256 33554432000 4194304 4196468 140732780214240 140337275406736 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5666] ppid=5659 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5666/stat : 5666 (java) S 5659 5662 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492865 26624892928 12256 33554432000 4194304 4196468 140732780214240 140337274353936 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5667] ppid=5659 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5667/stat : 5667 (java) S 5659 5662 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492865 26624892928 12256 33554432000 4194304 4196468 140732780214240 140337273301648 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5668] ppid=5659 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5668/stat : 5668 (java) S 5659 5662 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492865 26624892928 12256 33554432000 4194304 4196468 140732780214240 140337272248848 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5669] ppid=5659 vsize=26000872 memory=2244 CPUtime=0 cores=0-7
/proc/5662/task/5669/stat : 5669 (java) S 5659 5662 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492865 26624892928 12256 33554432000 4194304 4196468 140732780214240 140337271196560 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5670] ppid=5659 vsize=26000872 memory=139991640535983 CPUtime=0 cores=0-7
/proc/5662/task/5670/stat : 5670 (java) S 5659 5662 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492865 26624892928 12256 33554432000 4194304 4196468 140732780214240 140337270143760 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5671] ppid=5659 vsize=26000872 memory=139991640538288 CPUtime=0 cores=0-7
/proc/5662/task/5671/stat : 5671 (java) S 5659 5662 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492865 26624892928 12256 33554432000 4194304 4196468 140732780214240 140337269091472 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5672] ppid=5659 vsize=26000872 memory=139991640540592 CPUtime=0 cores=0-7
/proc/5662/task/5672/stat : 5672 (java) S 5659 5662 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492865 26624892928 12256 33554432000 4194304 4196468 140732780214240 140337268038672 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5673] ppid=5659 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5673/stat : 5673 (java) S 5659 5662 5618 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 175492867 26624892928 12256 33554432000 4194304 4196468 140732780214240 140336450988144 140337322797698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5674] ppid=5659 vsize=26000872 memory=279983281088144 CPUtime=0 cores=0-7
/proc/5662/task/5674/stat : 5674 (java) S 5659 5662 5618 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 175492867 26624892928 12256 33554432000 4194304 4196468 140732780214240 140336449934112 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5675] ppid=5659 vsize=26000872 memory=279983281095056 CPUtime=0 cores=0-7
/proc/5662/task/5675/stat : 5675 (java) S 5659 5662 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 175492867 26624892928 12256 33554432000 4194304 4196468 140732780214240 140336448881776 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5676] ppid=5659 vsize=26000872 memory=279983281036336 CPUtime=0 cores=0-7
/proc/5662/task/5676/stat : 5676 (java) S 5659 5662 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492870 26624892928 12256 33554432000 4194304 4196468 140732780214240 140336447830096 140337322805147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5677] ppid=5659 vsize=26000872 memory=279983281108880 CPUtime=0.03 cores=0-7
/proc/5662/task/5677/stat : 5677 (java) S 5659 5662 5618 0 -1 1077944384 566 0 0 0 3 0 0 0 20 0 20 0 175492870 26624892928 12256 33554432000 4194304 4196468 140732780214240 140336378669680 140337322797698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5678] ppid=5659 vsize=26000872 memory=279983281115792 CPUtime=0.02 cores=0-7
/proc/5662/task/5678/stat : 5678 (java) S 5659 5662 5618 0 -1 1077944384 371 0 0 0 2 0 0 0 20 0 20 0 175492870 26624892928 12256 33554432000 4194304 4196468 140732780214240 140336377616880 140337322797698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5679] ppid=5659 vsize=26000872 memory=279983281113488 CPUtime=0.03 cores=0-7
/proc/5662/task/5679/stat : 5679 (java) R 5659 5662 5618 0 -1 1077944384 130 0 0 0 3 0 0 0 20 0 20 0 175492870 26624892928 12256 33554432000 4194304 4196468 140732780214240 140336376564592 140337322797698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5680] ppid=5659 vsize=26000872 memory=279983281130096 CPUtime=0.08 cores=0-7
/proc/5662/task/5680/stat : 5680 (java) R 5659 5662 5618 0 -1 4202560 446 0 0 0 8 0 0 0 20 0 20 0 175492870 26624892928 12256 33554432000 4194304 4196468 140732780214240 140336375511792 140337306867038 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5681] ppid=5659 vsize=26000872 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5681/stat : 5681 (java) S 5659 5662 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 175492870 26624892928 12256 33554432000 4194304 4196468 140732780214240 140336374458720 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5682] ppid=5659 vsize=26000872 memory=-1 CPUtime=0 cores=0-7
/proc/5662/task/5682/stat : 5682 (java) S 5659 5662 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492870 26624892928 12256 33554432000 4194304 4196468 140732780214240 140336373406000 140337322797698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 26000872 KiB
Current children cumulated memory: 49024 KiB

[startup+0.700937 s]
/proc/loadavg: 7.93 8.35 8.55 5/200 5682
/proc/meminfo: memFree=23682440/32770624 swapFree=67108860/67108860
[pid=5662] ppid=5659 vsize=26002920 memory=84144 CPUtime=1.54 cores=0-7
/proc/5662/stat : 5662 (java) S 5659 5662 5618 0 -1 1077944320 14125 0 0 0 148 6 0 0 20 0 20 0 175492864 26626990080 21036 33554432000 4194304 4196468 140732780214240 140732780196784 140337322786551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
/proc/5662/statm: 6500730 21036 3779 1 0 6488444 0
[pid=5662/tid=5664] ppid=5659 vsize=26002920 memory=0 CPUtime=0.67 cores=0-7
/proc/5662/task/5664/stat : 5664 (java) R 5659 5662 5618 0 -1 4202560 8729 0 0 0 63 4 0 0 20 0 20 0 175492864 26626990080 21036 33554432000 4194304 4196468 140732780214240 140337327022896 140337322798486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5665] ppid=5659 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5665/stat : 5665 (java) S 5659 5662 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492865 26626990080 21036 33554432000 4194304 4196468 140732780214240 140337275406736 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5666] ppid=5659 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5666/stat : 5666 (java) S 5659 5662 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492865 26626990080 21036 33554432000 4194304 4196468 140732780214240 140337274353936 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5667] ppid=5659 vsize=26002920 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5667/stat : 5667 (java) S 5659 5662 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492865 26626990080 21036 33554432000 4194304 4196468 140732780214240 140337273301648 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5668] ppid=5659 vsize=26002920 memory=1224 CPUtime=0 cores=0-7
/proc/5662/task/5668/stat : 5668 (java) S 5659 5662 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492865 26626990080 21036 33554432000 4194304 4196468 140732780214240 140337272248848 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5669] ppid=5659 vsize=26002920 memory=5792 CPUtime=0 cores=0-7
/proc/5662/task/5669/stat : 5669 (java) S 5659 5662 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492865 26626990080 21036 33554432000 4194304 4196468 140732780214240 140337271196560 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5670] ppid=5659 vsize=26002920 memory=4620 CPUtime=0 cores=0-7
/proc/5662/task/5670/stat : 5670 (java) S 5659 5662 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492865 26626990080 21036 33554432000 4194304 4196468 140732780214240 140337270143760 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5671] ppid=5659 vsize=26002920 memory=1200 CPUtime=0 cores=0-7
/proc/5662/task/5671/stat : 5671 (java) S 5659 5662 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 175492865 26626990080 21036 33554432000 4194304 4196468 140732780214240 140337269091472 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5672] ppid=5659 vsize=26002920 memory=15880 CPUtime=0 cores=0-7
/proc/5662/task/5672/stat : 5672 (java) S 5659 5662 5618 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 175492865 26626990080 21036 33554432000 4194304 4196468 140732780214240 140337268038672 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5673] ppid=5659 vsize=26002920 memory=16236 CPUtime=0 cores=0-7
/proc/5662/task/5673/stat : 5673 (java) S 5659 5662 5618 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 175492867 26626990080 21036 33554432000 4194304 4196468 140732780214240 140336450988144 140337322797698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0

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

[pid=5662/tid=5681] ppid=5659 vsize=27743860 memory=6082514196445294695 CPUtime=0 cores=0-7
/proc/5662/task/5681/stat : 5681 (java) S 5659 5662 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 175492870 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336374458720 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5682] ppid=5659 vsize=27743860 memory=7452728842579373158 CPUtime=0.02 cores=0-7
/proc/5662/task/5682/stat : 5682 (java) S 5659 5662 5618 0 -1 1077944384 326 0 0 0 0 2 0 0 20 0 46 0 175492870 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336373406000 140337322797698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5683] ppid=5659 vsize=27743860 memory=7079771126537146448 CPUtime=0 cores=0-7
/proc/5662/task/5683/stat : 5683 (java) S 5659 5662 5618 0 -1 1077944384 361 0 0 0 0 0 0 0 20 0 46 0 175493080 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336363115424 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5684] ppid=5659 vsize=27743860 memory=7019467087990502965 CPUtime=0.17 cores=0-7
/proc/5662/task/5684/stat : 5684 (java) S 5659 5662 5618 0 -1 1077944384 1295 0 0 0 8 9 0 0 20 0 46 0 175493092 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336359965616 140337322797698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5685] ppid=5659 vsize=27743860 memory=0 CPUtime=31.61 cores=0-7
/proc/5662/task/5685/stat : 5685 (java) S 5659 5662 5618 0 -1 1077944384 5278 0 0 0 3152 9 0 0 20 0 46 0 175493102 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336356816400 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5686] ppid=5659 vsize=27743860 memory=0 CPUtime=58.8 cores=0-7
/proc/5662/task/5686/stat : 5686 (java) R 5659 5662 5618 0 -1 4202560 4933 0 0 0 5859 21 0 0 20 0 46 0 175493103 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336355757608 140336942108135 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5687] ppid=5659 vsize=27743860 memory=0 CPUtime=0.22 cores=0-7
/proc/5662/task/5687/stat : 5687 (java) S 5659 5662 5618 0 -1 1077944384 129 0 0 0 22 0 0 0 20 0 46 0 175493103 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336354711312 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5688] ppid=5659 vsize=27743860 memory=0 CPUtime=1.46 cores=0-7
/proc/5662/task/5688/stat : 5688 (java) S 5659 5662 5618 0 -1 1077944384 243 0 0 0 145 1 0 0 20 0 46 0 175493103 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336353658512 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5689] ppid=5659 vsize=27743860 memory=0 CPUtime=58.77 cores=0-7
/proc/5662/task/5689/stat : 5689 (java) R 5659 5662 5618 0 -1 4202560 5121 0 0 0 5857 20 0 0 20 0 46 0 175493105 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336352600720 140336942108119 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5690] ppid=5659 vsize=27743860 memory=0 CPUtime=0.13 cores=0-7
/proc/5662/task/5690/stat : 5690 (java) S 5659 5662 5618 0 -1 1077944384 70 0 0 0 13 0 0 0 20 0 46 0 175493105 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336351552400 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5691] ppid=5659 vsize=27743860 memory=0 CPUtime=59.04 cores=0-7
/proc/5662/task/5691/stat : 5691 (java) R 5659 5662 5618 0 -1 4202560 4341 0 0 0 5885 19 0 0 20 0 46 0 175493105 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336350493768 140336945687432 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5692] ppid=5659 vsize=27743860 memory=0 CPUtime=53.26 cores=0-7
/proc/5662/task/5692/stat : 5692 (java) R 5659 5662 5618 0 -1 4202560 3957 0 0 0 5309 17 0 0 20 0 46 0 175493105 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336349441272 140337304192840 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5693] ppid=5659 vsize=27743860 memory=0 CPUtime=57.39 cores=0-7
/proc/5662/task/5693/stat : 5693 (java) R 5659 5662 5618 0 -1 4202560 4744 0 0 0 5720 19 0 0 20 0 46 0 175493106 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336348388632 140336933451963 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5694] ppid=5659 vsize=27743860 memory=0 CPUtime=14.25 cores=0-7
/proc/5662/task/5694/stat : 5694 (java) S 5659 5662 5618 0 -1 1077944384 1113 0 0 0 1414 11 0 0 20 0 46 0 175493106 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336347342224 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5695] ppid=5659 vsize=27743860 memory=0 CPUtime=1.31 cores=0-7
/proc/5662/task/5695/stat : 5695 (java) S 5659 5662 5618 0 -1 1077944384 99 0 0 0 131 0 0 0 20 0 46 0 175493106 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336346289936 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5696] ppid=5659 vsize=27743860 memory=0 CPUtime=10.64 cores=0-7
/proc/5662/task/5696/stat : 5696 (java) S 5659 5662 5618 0 -1 1077944384 714 0 0 0 1056 8 0 0 20 0 46 0 175493107 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336345237136 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5697] ppid=5659 vsize=27743860 memory=0 CPUtime=47.89 cores=0-7
/proc/5662/task/5697/stat : 5697 (java) R 5659 5662 5618 0 -1 4202560 3405 0 0 0 4779 10 0 0 20 0 46 0 175493163 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336342042512 140336944989630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5698] ppid=5659 vsize=27743860 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5698/stat : 5698 (java) S 5659 5662 5618 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 46 0 175493299 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336340997008 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5699] ppid=5659 vsize=27743860 memory=0 CPUtime=7.87 cores=0-7
/proc/5662/task/5699/stat : 5699 (java) S 5659 5662 5618 0 -1 1077944384 778 0 0 0 779 8 0 0 20 0 46 0 175493300 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336339944720 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5700] ppid=5659 vsize=27743860 memory=0 CPUtime=12.42 cores=0-7
/proc/5662/task/5700/stat : 5700 (java) R 5659 5662 5618 0 -1 4202560 568 0 0 0 1242 0 0 0 20 0 46 0 175493301 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336338884824 140336945159352 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5701] ppid=5659 vsize=27743860 memory=0 CPUtime=15.85 cores=0-7
/proc/5662/task/5701/stat : 5701 (java) S 5659 5662 5618 0 -1 1077944384 1715 0 0 0 1568 17 0 0 20 0 46 0 175493301 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336337839632 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5702] ppid=5659 vsize=27743860 memory=0 CPUtime=38.44 cores=0-7
/proc/5662/task/5702/stat : 5702 (java) R 5659 5662 5618 0 -1 4202560 3850 0 0 0 3836 8 0 0 20 0 46 0 175493302 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336336780840 140336933451954 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5703] ppid=5659 vsize=27743860 memory=0 CPUtime=0.04 cores=0-7
/proc/5662/task/5703/stat : 5703 (java) S 5659 5662 5618 0 -1 1077944384 69 0 0 0 4 0 0 0 20 0 46 0 175495218 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336335734544 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5704] ppid=5659 vsize=27743860 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5704/stat : 5704 (java) S 5659 5662 5618 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 46 0 175495221 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336334681744 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5705] ppid=5659 vsize=27743860 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5705/stat : 5705 (java) S 5659 5662 5618 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 46 0 175495224 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336333628432 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5706] ppid=5659 vsize=27743860 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5706/stat : 5706 (java) S 5659 5662 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 175497819 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336332575632 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5707] ppid=5659 vsize=27743860 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5707/stat : 5707 (java) S 5659 5662 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 175497820 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336331523344 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5708] ppid=5659 vsize=27743860 memory=0 CPUtime=0 cores=0-7
/proc/5662/task/5708/stat : 5708 (java) S 5659 5662 5618 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 175497827 28409712640 1360076 33554432000 4194304 4196468 140732780214240 140336330470544 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
Current children cumulated CPU time: 481.29 s
Current children cumulated vsize: 27743860 KiB
Current children cumulated memory: 5440304 KiB

[startup+62.3017 s]
/proc/loadavg: 8.13 8.30 8.52 10/226 5708
/proc/meminfo: memFree=18293300/32770624 swapFree=67108860/67108860
[pid=5662] ppid=5659 vsize=27743860 memory=5440568 CPUtime=482.09 cores=0-7
/proc/5662/stat : 5662 (java) S 5659 5662 5618 0 -1 1077944320 117870 0 0 0 47947 262 0 0 20 0 46 0 175492864 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140732780196784 140337322786551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
/proc/5662/statm: 6935965 1360142 3842 1 0 6923158 0
[pid=5662/tid=5664] ppid=5659 vsize=27743860 memory=5443880 CPUtime=2.34 cores=0-7
/proc/5662/task/5664/stat : 5664 (java) S 5659 5662 5618 0 -1 1077944384 14837 0 0 0 225 9 0 0 20 0 46 0 175492864 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140337327024256 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5665] ppid=5659 vsize=27743860 memory=56 CPUtime=0.16 cores=0-7
/proc/5662/task/5665/stat : 5665 (java) S 5659 5662 5618 0 -1 1077944384 2340 0 0 0 9 7 0 0 20 0 46 0 175492865 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140337275406736 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5666] ppid=5659 vsize=27743860 memory=60745866 CPUtime=0.2 cores=0-7
/proc/5662/task/5666/stat : 5666 (java) S 5659 5662 5618 0 -1 1077944384 1562 0 0 0 12 8 0 0 20 0 46 0 175492865 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140337274353936 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5667] ppid=5659 vsize=27743860 memory=4136 CPUtime=0.19 cores=0-7
/proc/5662/task/5667/stat : 5667 (java) S 5659 5662 5618 0 -1 1077944384 2600 0 0 0 11 8 0 0 20 0 46 0 175492865 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140337273301648 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5668] ppid=5659 vsize=27743860 memory=48628 CPUtime=0.2 cores=0-7
/proc/5662/task/5668/stat : 5668 (java) S 5659 5662 5618 0 -1 1077944384 1652 0 0 0 11 9 0 0 20 0 46 0 175492865 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140337272248848 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5669] ppid=5659 vsize=27743860 memory=4316 CPUtime=0.2 cores=0-7
/proc/5662/task/5669/stat : 5669 (java) S 5659 5662 5618 0 -1 1077944384 1443 0 0 0 11 9 0 0 20 0 46 0 175492865 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140337271196560 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5670] ppid=5659 vsize=27743860 memory=2196 CPUtime=0.17 cores=0-7
/proc/5662/task/5670/stat : 5670 (java) S 5659 5662 5618 0 -1 1077944384 2131 0 0 0 10 7 0 0 20 0 46 0 175492865 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140337270143760 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5671] ppid=5659 vsize=27743860 memory=5792 CPUtime=0.18 cores=0-7
/proc/5662/task/5671/stat : 5671 (java) S 5659 5662 5618 0 -1 1077944384 872 0 0 0 11 7 0 0 20 0 46 0 175492865 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140337269091472 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5672] ppid=5659 vsize=27743860 memory=4620 CPUtime=0.19 cores=0-7
/proc/5662/task/5672/stat : 5672 (java) S 5659 5662 5618 0 -1 1077944384 913 0 0 0 11 8 0 0 20 0 46 0 175492865 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140337268038672 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5673] ppid=5659 vsize=27743860 memory=48842368101482 CPUtime=0.07 cores=0-7
/proc/5662/task/5673/stat : 5673 (java) S 5659 5662 5618 0 -1 1077944384 5575 0 0 0 5 2 0 0 20 0 46 0 175492867 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140336450988144 140337322797698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5674] ppid=5659 vsize=27743860 memory=5792262866112368720 CPUtime=0 cores=0-7
/proc/5662/task/5674/stat : 5674 (java) S 5659 5662 5618 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 46 0 175492867 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140336449934176 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5675] ppid=5659 vsize=27743860 memory=5789202852306376033 CPUtime=0 cores=0-7
/proc/5662/task/5675/stat : 5675 (java) S 5659 5662 5618 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 46 0 175492867 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140336448881792 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5676] ppid=5659 vsize=27743860 memory=5440512 CPUtime=0 cores=0-7
/proc/5662/task/5676/stat : 5676 (java) S 5659 5662 5618 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 46 0 175492870 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140336447830096 140337322805147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5677] ppid=5659 vsize=27743860 memory=164295383985225 CPUtime=2.08 cores=0-7
/proc/5662/task/5677/stat : 5677 (java) R 5659 5662 5618 0 -1 1077944384 5896 0 0 0 206 2 0 0 20 0 46 0 175492870 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140336378669680 140337322797698 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5678] ppid=5659 vsize=27743860 memory=164295383985226 CPUtime=2.04 cores=0-7
/proc/5662/task/5678/stat : 5678 (java) S 5659 5662 5618 0 -1 1077944384 7529 0 0 0 202 2 0 0 20 0 46 0 175492870 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140336377616880 140337322797698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5679] ppid=5659 vsize=27743860 memory=8620 CPUtime=2.29 cores=0-7
/proc/5662/task/5679/stat : 5679 (java) R 5659 5662 5618 0 -1 12591168 9539 0 0 0 227 2 0 0 20 0 46 0 175492870 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140336376564688 140337300613789 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5680] ppid=5659 vsize=27743860 memory=1724 CPUtime=1.09 cores=0-7
/proc/5662/task/5680/stat : 5680 (java) S 5659 5662 5618 0 -1 1077944384 14985 0 0 0 107 2 0 0 20 0 46 0 175492870 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140336375511792 140337322797698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5681] ppid=5659 vsize=27743860 memory=11104 CPUtime=0 cores=0-7
/proc/5662/task/5681/stat : 5681 (java) S 5659 5662 5618 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 46 0 175492870 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140336374458720 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5682] ppid=5659 vsize=27743860 memory=5440248 CPUtime=0.02 cores=0-7
/proc/5662/task/5682/stat : 5682 (java) S 5659 5662 5618 0 -1 1077944384 326 0 0 0 0 2 0 0 20 0 46 0 175492870 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140336373406000 140337322797698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5683] ppid=5659 vsize=27743860 memory=279983281986112 CPUtime=0 cores=0-7
/proc/5662/task/5683/stat : 5683 (java) S 5659 5662 5618 0 -1 1077944384 361 0 0 0 0 0 0 0 20 0 46 0 175493080 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140336363115424 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5684] ppid=5659 vsize=27743860 memory=-7674914008656224160 CPUtime=0.17 cores=0-7
/proc/5662/task/5684/stat : 5684 (java) S 5659 5662 5618 0 -1 1077944384 1295 0 0 0 8 9 0 0 20 0 46 0 175493092 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140336359965616 140337322797698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5685] ppid=5659 vsize=27743860 memory=7084842177681516907 CPUtime=31.61 cores=0-7
/proc/5662/task/5685/stat : 5685 (java) S 5659 5662 5618 0 -1 1077944384 5278 0 0 0 3152 9 0 0 20 0 46 0 175493102 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140336356816400 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5686] ppid=5659 vsize=27743860 memory=208 CPUtime=58.9 cores=0-7
/proc/5662/task/5686/stat : 5686 (java) R 5659 5662 5618 0 -1 4202560 4963 0 0 0 5869 21 0 0 20 0 46 0 175493103 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140336355757616 140336944204338 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5687] ppid=5659 vsize=27743860 memory=204 CPUtime=0.22 cores=0-7
/proc/5662/task/5687/stat : 5687 (java) S 5659 5662 5618 0 -1 1077944384 129 0 0 0 22 0 0 0 20 0 46 0 175493103 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140336354711312 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5688] ppid=5659 vsize=27743860 memory=48628 CPUtime=1.46 cores=0-7
/proc/5662/task/5688/stat : 5688 (java) S 5659 5662 5618 0 -1 1077944384 243 0 0 0 145 1 0 0 20 0 46 0 175493103 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140336353658512 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5689] ppid=5659 vsize=27743860 memory=1296 CPUtime=58.87 cores=0-7
/proc/5662/task/5689/stat : 5689 (java) R 5659 5662 5618 0 -1 4202560 5151 0 0 0 5867 20 0 0 20 0 46 0 175493105 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140336352601136 140336938243353 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5690] ppid=5659 vsize=27743860 memory=2404 CPUtime=0.13 cores=0-7
/proc/5662/task/5690/stat : 5690 (java) S 5659 5662 5618 0 -1 1077944384 70 0 0 0 13 0 0 0 20 0 46 0 175493105 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140336351552400 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5691] ppid=5659 vsize=27743860 memory=1732 CPUtime=59.14 cores=0-7
/proc/5662/task/5691/stat : 5691 (java) R 5659 5662 5618 0 -1 4202560 4367 0 0 0 5895 19 0 0 20 0 46 0 175493105 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140336350493920 140336938243235 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5692] ppid=5659 vsize=27743860 memory=796 CPUtime=53.36 cores=0-7
/proc/5662/task/5692/stat : 5692 (java) R 5659 5662 5618 0 -1 1077944384 3980 0 0 0 5319 17 0 0 20 0 46 0 175493105 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140336349440352 140337322796757 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5693] ppid=5659 vsize=27743860 memory=1004 CPUtime=57.49 cores=0-7
/proc/5662/task/5693/stat : 5693 (java) R 5659 5662 5618 0 -1 4202560 4784 0 0 0 5730 19 0 0 20 0 46 0 175493106 28409712640 1360142 33554432000 4194304 4196468 140732780214240 140336348388064 140336938243235 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5694] ppid=5659 vsize=27743860 memory=1944 CPUtime=14.25 cores=0-7
/proc/5662/task/5694/stat : 5694 (java) S 5659 5662 5618 0 -1 1077944384 1113 0 0 0 1414 11 0 0 20 0 46 0 175493106 28409712640 1360162 33554432000 4194304 4196468 140732780214240 140336347342224 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5695] ppid=5659 vsize=27743860 memory=5443880 CPUtime=1.31 cores=0-7
/proc/5662/task/5695/stat : 5695 (java) S 5659 5662 5618 0 -1 1077944384 99 0 0 0 131 0 0 0 20 0 46 0 175493106 28409712640 1360162 33554432000 4194304 4196468 140732780214240 140336346289936 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5696] ppid=5659 vsize=27743860 memory=5442480 CPUtime=10.64 cores=0-7
/proc/5662/task/5696/stat : 5696 (java) S 5659 5662 5618 0 -1 1077944384 714 0 0 0 1056 8 0 0 20 0 46 0 175493107 28409712640 1360162 33554432000 4194304 4196468 140732780214240 140336345237136 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5697] ppid=5659 vsize=27743860 memory=4044 CPUtime=47.98 cores=0-7
/proc/5662/task/5697/stat : 5697 (java) R 5659 5662 5618 0 -1 4202560 3427 0 0 0 4788 10 0 0 20 0 46 0 175493163 28409712640 1360162 33554432000 4194304 4196468 140732780214240 140336342043264 140336938243235 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5698] ppid=5659 vsize=27743860 memory=27376 CPUtime=0 cores=0-7
/proc/5662/task/5698/stat : 5698 (java) S 5659 5662 5618 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 46 0 175493299 28409712640 1360162 33554432000 4194304 4196468 140732780214240 140336340997008 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5699] ppid=5659 vsize=27743860 memory=1232 CPUtime=7.87 cores=0-7
/proc/5662/task/5699/stat : 5699 (java) S 5659 5662 5618 0 -1 1077944384 778 0 0 0 779 8 0 0 20 0 46 0 175493300 28409712640 1360162 33554432000 4194304 4196468 140732780214240 140336339944720 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5700] ppid=5659 vsize=27743860 memory=279983281450144 CPUtime=12.52 cores=0-7
/proc/5662/task/5700/stat : 5700 (java) R 5659 5662 5618 0 -1 4202560 1671 0 0 0 1252 0 0 0 20 0 46 0 175493301 28409712640 1360162 33554432000 4194304 4196468 140732780214240 140336338885728 140336944772092 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5701] ppid=5659 vsize=27743860 memory=6226040157704395435 CPUtime=15.85 cores=0-7
/proc/5662/task/5701/stat : 5701 (java) S 5659 5662 5618 0 -1 1077944384 1715 0 0 0 1568 17 0 0 20 0 46 0 175493301 28409712640 1360162 33554432000 4194304 4196468 140732780214240 140336337839632 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5702] ppid=5659 vsize=27743860 memory=6226040157704395435 CPUtime=38.54 cores=0-7
/proc/5662/task/5702/stat : 5702 (java) R 5659 5662 5618 0 -1 4202560 3885 0 0 0 3846 8 0 0 20 0 46 0 175493302 28409712640 1360162 33554432000 4194304 4196468 140732780214240 140336336780288 140336944203616 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5703] ppid=5659 vsize=27743860 memory=6226040153409428139 CPUtime=0.04 cores=0-7
/proc/5662/task/5703/stat : 5703 (java) S 5659 5662 5618 0 -1 1077944384 69 0 0 0 4 0 0 0 20 0 46 0 175495218 28409712640 1360162 33554432000 4194304 4196468 140732780214240 140336335734544 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5704] ppid=5659 vsize=27743860 memory=6226040157704395435 CPUtime=0 cores=0-7
/proc/5662/task/5704/stat : 5704 (java) S 5659 5662 5618 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 46 0 175495221 28409712640 1360162 33554432000 4194304 4196468 140732780214240 140336334681744 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5705] ppid=5659 vsize=27743860 memory=1424 CPUtime=0 cores=0-7
/proc/5662/task/5705/stat : 5705 (java) R 5659 5662 5618 0 -1 4202560 110 0 0 0 0 0 0 0 20 0 46 0 175495224 28409712640 1360162 33554432000 4194304 4196468 140732780214240 140336333628432 140337279388198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5706] ppid=5659 vsize=27743860 memory=8620 CPUtime=0 cores=0-7
/proc/5662/task/5706/stat : 5706 (java) S 5659 5662 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 175497819 28409712640 1360162 33554432000 4194304 4196468 140732780214240 140336332575632 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5707] ppid=5659 vsize=27743860 memory=1724 CPUtime=0 cores=0-7
/proc/5662/task/5707/stat : 5707 (java) S 5659 5662 5618 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 46 0 175497820 28409712640 1360162 33554432000 4194304 4196468 140732780214240 140336331523344 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
[pid=5662/tid=5708] ppid=5659 vsize=27743860 memory=11104 CPUtime=0 cores=0-7
/proc/5662/task/5708/stat : 5708 (java) S 5659 5662 5618 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 46 0 175497827 28409712640 1360162 33554432000 4194304 4196468 140732780214240 140336330470544 140337322796757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28672000 140732780217441 140732780217627 140732780217627 140732780220367 0
Current children cumulated CPU time: 482.09 s
Current children cumulated vsize: 27743860 KiB
Current children cumulated memory: 5440568 KiB

Child status: 0
Real time (s): 62.3771
CPU time (s): 482.292
CPU user time (s): 479.628
CPU system time (s): 2.6638
CPU usage (%): 773.188
Max. virtual memory (cumulated for all children) (KiB): 27743860
Max. memory (cumulated for all children) (KiB): 5445404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 479.628
system time used= 2.6638
maximum resident set size= 5447968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 122055
page faults= 0
swaps= 0
block input operations= 0
block output operations= 216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16409
involuntary context switches= 10897


# summary of solver processes directly reported to runsolver:
#   pid: 5662
#   total CPU time (s): 482.292
#   total CPU user time (s): 479.628
#   total CPU system time (s): 2.6638

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.706287 second user time and 0.814577 second system time

The end

Name	Bibd/Bibd-sc-stab2/ Bibd-sc-10-05-04.xml
MD5SUM	e9f6f40743648773adf3c8e081ae5e9b
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	1.66023
Satisfiable
(Un)Satisfiability was proved
Number of variables	1980
Number of constraints	884
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":990}]
Minimum variable degree	0
Maximum variable degree	12
Distribution of variable degrees	[{"degree":0,"count":990},{"degree":2,"count":810},{"degree":12,"count":180}]
Minimum constraint arity	3
Maximum constraint arity	180
Distribution of constraint arities	[{"arity":3,"count":810},{"arity":10,"count":18},{"arity":18,"count":55},{"arity":180,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	810
Distribution of constraint types	[{"type":"intension","count":810},{"type":"lex","count":1},{"type":"sum","count":73}]
Optimization problem	NO
Type of objective

Trace number 4285076

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data