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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-20 parallel	OPT	10	48.0784	6.95332

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404614-1568998966.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4404614-1568998966.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.29	c parse instance...
4.76/1.42	c solve instance...
6.14/1.63	o 15 
6.91/1.73	o 14 
7.40/1.84	o 13 
8.04/1.98	o 12 
11.18/2.39	o 11 
11.96/2.41	o 10 
47.76/6.94	s OPTIMUM FOUND
47.76/6.94	v <instantiation>
47.76/6.94	v 	<list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] np[0][0] np[0][1] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[1][0] np[1][1] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[2][0] np[2][1] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[3][0] np[3][1] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[4][0] np[4][1] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[5][0] np[5][1] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[6][0] np[6][1] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[7][0] np[7][1] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[8][0] np[8][1] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[9][0] np[9][1] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[10][0] np[10][1] np[10][2] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[11][0] np[11][1] np[11][2] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[12][0] np[12][1] np[12][2] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[13][0] np[13][1] np[13][2] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[14][0] np[14][1] np[14][2] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] np[15][0] np[15][1] np[15][2] np[15][3] np[15][4] np[15][5] np[15][6] np[15][7] np[15][8] np[15][9] np[15][10] np[15][11] np[15][12] np[15][13] np[15][14] np[16][0] np[16][1] np[16][2] np[16][3] np[16][4] np[16][5] np[16][6] np[16][7] np[16][8] np[16][9] np[16][10] np[16][11] np[16][12] np[16][13] np[16][14] np[17][0] np[17][1] np[17][2] np[17][3] np[17][4] np[17][5] np[17][6] np[17][7] np[17][8] np[17][9] np[17][10] np[17][11] np[17][12] np[17][13] np[17][14] np[18][0] np[18][1] np[18][2] np[18][3] np[18][4] np[18][5] np[18][6] np[18][7] np[18][8] np[18][9] np[18][10] np[18][11] np[18][12] np[18][13] np[18][14] np[19][0] np[19][1] np[19][2] np[19][3] np[19][4] np[19][5] np[19][6] np[19][7] np[19][8] np[19][9] np[19][10] np[19][11] np[19][12] np[19][13] np[19][14] np[20][0] np[20][1] np[20][2] np[20][3] np[20][4] np[20][5] np[20][6] np[20][7] np[20][8] np[20][9] np[20][10] np[20][11] np[20][12] np[20][13] np[20][14] np[21][0] np[21][1] np[21][2] np[21][3] np[21][4] np[21][5] np[21][6] np[21][7] np[21][8] np[21][9] np[21][10] np[21][11] np[21][12] np[21][13] np[21][14] np[22][0] np[22][1] np[22][2] np[22][3] np[22][4] np[22][5] np[22][6] np[22][7] np[22][8] np[22][9] np[22][10] np[22][11] np[22][12] np[22][13] np[22][14] np[23][0] np[23][1] np[23][2] np[23][3] np[23][4] np[23][5] np[23][6] np[23][7] np[23][8] np[23][9] np[23][10] np[23][11] np[23][12] np[23][13] np[23][14] np[24][0] np[24][1] np[24][2] np[24][3] np[24][4] np[24][5] np[24][6] np[24][7] np[24][8] np[24][9] np[24][10] np[24][11] np[24][12] np[24][13] np[24][14] np[25][0] np[25][1] np[25][2] np[25][3] np[25][4] np[25][5] np[25][6] np[25][7] np[25][8] np[25][9] np[25][10] np[25][11] np[25][12] np[25][13] np[25][14] np[26][0] np[26][1] np[26][2] np[26][3] np[26][4] np[26][5] np[26][6] np[26][7] np[26][8] np[26][9] np[26][10] np[26][11] np[26][12] np[26][13] np[26][14] np[27][0] np[27][1] np[27][2] np[27][3] np[27][4] np[27][5] np[27][6] np[27][7] np[27][8] np[27][9] np[27][10] np[27][11] np[27][12] np[27][13] np[27][14] np[28][0] np[28][1] np[28][2] np[28][3] np[28][4] np[28][5] np[28][6] np[28][7] np[28][8] np[28][9] np[28][10] np[28][11] np[28][12] np[28][13] np[28][14] np[29][0] np[29][1] np[29][2] np[29][3] np[29][4] np[29][5] np[29][6] np[29][7] np[29][8] np[29][9] np[29][10] np[29][11] np[29][12] np[29][13] np[29][14] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] 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[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[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[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[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[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[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[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[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[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[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[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[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[16][0] o[16][1] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[17][0] o[17][1] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[18][0] o[18][1] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[19][0] o[19][1] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[20][0] o[20][1] o[20][2] o[20][3] o[20][4] o[20][5] o[20][6] o[20][7] o[20][8] o[20][9] o[20][10] o[20][11] o[20][12] o[20][13] o[20][14] o[21][0] o[21][1] o[21][2] o[21][3] o[21][4] o[21][5] o[21][6] o[21][7] o[21][8] o[21][9] o[21][10] o[21][11] o[21][12] o[21][13] o[21][14] o[22][0] o[22][1] o[22][2] o[22][3] o[22][4] o[22][5] o[22][6] o[22][7] o[22][8] o[22][9] o[22][10] o[22][11] o[22][12] o[22][13] o[22][14] o[23][0] o[23][1] o[23][2] o[23][3] o[23][4] o[23][5] o[23][6] o[23][7] o[23][8] o[23][9] o[23][10] o[23][11] o[23][12] o[23][13] o[23][14] o[24][0] o[24][1] o[24][2] o[24][3] o[24][4] o[24][5] o[24][6] o[24][7] o[24][8] o[24][9] o[24][10] o[24][11] o[24][12] o[24][13] o[24][14] o[25][0] o[25][1] o[25][2] o[25][3] o[25][4] o[25][5] o[25][6] o[25][7] o[25][8] o[25][9] o[25][10] o[25][11] o[25][12] o[25][13] o[25][14] o[26][0] o[26][1] o[26][2] o[26][3] o[26][4] o[26][5] o[26][6] o[26][7] o[26][8] o[26][9] o[26][10] o[26][11] o[26][12] o[26][13] o[26][14] o[27][0] o[27][1] o[27][2] o[27][3] o[27][4] o[27][5] o[27][6] o[27][7] o[27][8] o[27][9] o[27][10] o[27][11] o[27][12] o[27][13] o[27][14] o[28][0] o[28][1] o[28][2] o[28][3] o[28][4] o[28][5] o[28][6] o[28][7] o[28][8] o[28][9] o[28][10] o[28][11] o[28][12] o[28][13] o[28][14] o[29][0] o[29][1] o[29][2] o[29][3] o[29][4] o[29][5] o[29][6] o[29][7] o[29][8] o[29][9] o[29][10] o[29][11] o[29][12] o[29][13] o[29][14] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14] </list>
47.76/6.94	v 	<values>0 1 11 3 9 13 8 5 10 2 6 4 7 12 14 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 0 0 0 0 1 1 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 1 1 1 1 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 0 0 0 1 1 1 1 2 2 2 2 2 2 2 2 0 1 1 1 1 1 1 1 1 1 1 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 1 1 1 1 2 2 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 0 0 1 1 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 1 1 1 1 1 1 2 2 2 2 2 2 0 0 0 0 0 0 0 1 1 1 1 1 1 2 2 0 0 0 0 0 0 0 0 0 1 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 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 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 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 0 0 0 1 1 0 4 7 8 9 10 10 10 10 10 10 10 10 9 7 4 </values>
47.76/6.94	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 (7351 MiB free)
  memory of node 1: 16384 MiB (8924 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404614-1568998966/watcher-4404614-1568998966 -o /var/tmp/evaluation-result-4404614-1568998966/solver-4404614-1568998966 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1568994386-6070 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1546645300 HOME/instance-4404614-1568998966.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
Current StackSize limit: 8192 KiB

solver pid=9514, runsolver pid=9511

[startup+0.100154 s]*
/proc/loadavg: 7.46 8.01 8.25 3/217 9535
/proc/meminfo: memFree=16652320/32770624 swapFree=67001916/67108860
[pid=9514] ppid=9511 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9514/stat : 9514 (xcsp3-exec) S 9511 9514 6043 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476136125 115843072 362 33554432000 4194304 5098028 140729225751968 140729225750072 140467003695740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30351360 140729225757521 140729225757781 140729225757781 140729225760710 0
/proc/9514/statm: 28282 362 304 221 0 87 0
[pid=9516] ppid=9514 vsize=28227396 memory=26808 CPUtime=0.12 cores=0-7
/proc/9516/stat : 9516 (java) S 9514 9514 6043 0 -1 1077944320 5748 0 0 0 11 1 0 0 20 0 20 0 476136126 28904853504 6702 33554432000 4194304 4196468 140720896789568 140720896772112 139852689977079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
/proc/9516/statm: 7056849 6702 3123 1 0 7019032 0
[pid=9516/tid=9517] ppid=9514 vsize=28227396 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/9516/task/9517/stat : 9517 (java) R 9514 9514 6043 0 -1 4202560 3632 0 0 0 8 0 0 0 20 0 20 0 476136126 28904853504 6702 33554432000 4194304 4196468 140720896789568 139852694213184 139852689989014 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9518] ppid=9514 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/9516/task/9518/stat : 9518 (java) S 9514 9514 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476136127 28904853504 6702 33554432000 4194304 4196468 140720896789568 139852659690128 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9519] ppid=9514 vsize=28227396 memory=139679514683008 CPUtime=0 cores=0-7
/proc/9516/task/9519/stat : 9519 (java) S 9514 9514 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476136127 28904853504 6702 33554432000 4194304 4196468 140720896789568 139852240194064 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9520] ppid=9514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9520/stat : 9520 (java) S 9514 9514 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476136127 28904853504 6702 33554432000 4194304 4196468 140720896789568 139852239141264 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9521] ppid=9514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9521/stat : 9521 (java) S 9514 9514 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476136127 28904853504 6702 33554432000 4194304 4196468 140720896789568 139852238088464 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9522] ppid=9514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9522/stat : 9522 (java) S 9514 9514 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476136127 28904853504 6702 33554432000 4194304 4196468 140720896789568 139852237036688 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9523] ppid=9514 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9516/task/9523/stat : 9523 (java) S 9514 9514 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476136127 28904853504 6702 33554432000 4194304 4196468 140720896789568 139852235983888 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9524] ppid=9514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9524/stat : 9524 (java) S 9514 9514 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476136127 28904853504 6702 33554432000 4194304 4196468 140720896789568 139852234931088 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9525] ppid=9514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9525/stat : 9525 (java) S 9514 9514 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476136127 28904853504 6702 33554432000 4194304 4196468 140720896789568 139852233878288 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9526] ppid=9514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9526/stat : 9526 (java) S 9514 9514 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476136128 28904853504 6702 33554432000 4194304 4196468 140720896789568 139851154078064 139852689988226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9527] ppid=9514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9527/stat : 9527 (java) S 9514 9514 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476136129 28904853504 6702 33554432000 4194304 4196468 140720896789568 139851153024032 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9528] ppid=9514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9528/stat : 9528 (java) S 9514 9514 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476136129 28904853504 6702 33554432000 4194304 4196468 140720896789568 139851151971184 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9529] ppid=9514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9529/stat : 9529 (java) S 9514 9514 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476136131 28904853504 6702 33554432000 4194304 4196468 140720896789568 139851150919504 139852689995675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9530] ppid=9514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9530/stat : 9530 (java) S 9514 9514 6043 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 476136131 28904853504 6702 33554432000 4194304 4196468 140720896789568 139851149867888 139852689988226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9531] ppid=9514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9531/stat : 9531 (java) R 9514 9514 6043 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 476136131 28904853504 6702 33554432000 4194304 4196468 140720896789568 139851148815088 139852674793581 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9532] ppid=9514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9532/stat : 9532 (java) S 9514 9514 6043 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 476136131 28904853504 6702 33554432000 4194304 4196468 140720896789568 139851147762288 139852689988226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9533] ppid=9514 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/9516/task/9533/stat : 9533 (java) R 9514 9514 6043 0 -1 4202560 380 0 0 0 1 0 0 0 20 0 20 0 476136131 28904853504 6702 33554432000 4194304 4196468 140720896789568 139851146709488 139852674057566 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9534] ppid=9514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9534/stat : 9534 (java) S 9514 9514 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476136131 28904853504 6702 33554432000 4194304 4196468 140720896789568 139851145656928 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9535] ppid=9514 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9516/task/9535/stat : 9535 (java) S 9514 9514 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476136132 28904853504 6702 33554432000 4194304 4196468 140720896789568 139851144604208 139852689988226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 28256 KiB

[startup+0.210347 s]*
/proc/loadavg: 7.46 8.01 8.25 2/217 9535
/proc/meminfo: memFree=16639744/32770624 swapFree=67001916/67108860
[pid=9514] ppid=9511 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9514/stat : 9514 (xcsp3-exec) S 9511 9514 6043 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476136125 115843072 362 33554432000 4194304 5098028 140729225751968 140729225750072 140467003695740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30351360 140729225757521 140729225757781 140729225757781 140729225760710 0
/proc/9514/statm: 28282 362 304 221 0 87 0
[pid=9516] ppid=9514 vsize=28227396 memory=39200 CPUtime=0.33 cores=0-7
/proc/9516/stat : 9516 (java) S 9514 9514 6043 0 -1 1077944320 9567 0 0 0 30 3 0 0 20 0 20 0 476136126 28904853504 9800 33554432000 4194304 4196468 140720896789568 140720896772112 139852689977079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
/proc/9516/statm: 7056849 9800 3303 1 0 7019032 0
[pid=9516/tid=9517] ppid=9514 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/9516/task/9517/stat : 9517 (java) R 9514 9514 6043 0 -1 4202560 6616 0 0 0 18 2 0 0 20 0 20 0 476136126 28904853504 9800 33554432000 4194304 4196468 140720896789568 139852694206800 139852689999005 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9518] ppid=9514 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/9516/task/9518/stat : 9518 (java) S 9514 9514 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476136127 28904853504 9800 33554432000 4194304 4196468 140720896789568 139852659690128 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9519] ppid=9514 vsize=28227396 memory=139679514692779 CPUtime=0 cores=0-7
/proc/9516/task/9519/stat : 9519 (java) S 9514 9514 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476136127 28904853504 9800 33554432000 4194304 4196468 140720896789568 139852240194064 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9520] ppid=9514 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9516/task/9520/stat : 9520 (java) S 9514 9514 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476136127 28904853504 9800 33554432000 4194304 4196468 140720896789568 139852239141264 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9521] ppid=9514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9521/stat : 9521 (java) S 9514 9514 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476136127 28904853504 9800 33554432000 4194304 4196468 140720896789568 139852238088464 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9522] ppid=9514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9522/stat : 9522 (java) S 9514 9514 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476136127 28904853504 9800 33554432000 4194304 4196468 140720896789568 139852237036688 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9523] ppid=9514 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9516/task/9523/stat : 9523 (java) S 9514 9514 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476136127 28904853504 9800 33554432000 4194304 4196468 140720896789568 139852235983888 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9524] ppid=9514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9524/stat : 9524 (java) S 9514 9514 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476136127 28904853504 9800 33554432000 4194304 4196468 140720896789568 139852234931088 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9525] ppid=9514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9525/stat : 9525 (java) S 9514 9514 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476136127 28904853504 9800 33554432000 4194304 4196468 140720896789568 139852233878288 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9526] ppid=9514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9526/stat : 9526 (java) S 9514 9514 6043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476136128 28904853504 9800 33554432000 4194304 4196468 140720896789568 139851154078064 139852689988226 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9527] ppid=9514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9527/stat : 9527 (java) S 9514 9514 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476136129 28904853504 9800 33554432000 4194304 4196468 140720896789568 139851153024032 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9528] ppid=9514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9528/stat : 9528 (java) S 9514 9514 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476136129 28904853504 9800 33554432000 4194304 4196468 140720896789568 139851151971184 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9529] ppid=9514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9529/stat : 9529 (java) S 9514 9514 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476136131 28904853504 9800 33554432000 4194304 4196468 140720896789568 139851150919504 139852689995675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9530] ppid=9514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9530/stat : 9530 (java) S 9514 9514 6043 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 20 0 476136131 28904853504 9800 33554432000 4194304 4196468 140720896789568 139851149867888 139852689988226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9531] ppid=9514 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/9516/task/9531/stat : 9531 (java) S 9514 9514 6043 0 -1 1077944384 199 0 0 0 2 0 0 0 20 0 20 0 476136131 28904853504 9800 33554432000 4194304 4196468 140720896789568 139851148815088 139852689988226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9532] ppid=9514 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/9516/task/9532/stat : 9532 (java) S 9514 9514 6043 0 -1 1077944384 188 0 0 0 1 0 0 0 20 0 20 0 476136131 28904853504 9800 33554432000 4194304 4196468 140720896789568 139851147762288 139852689988226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9533] ppid=9514 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/9516/task/9533/stat : 9533 (java) S 9514 9514 6043 0 -1 1077944384 941 0 0 0 7 0 0 0 20 0 20 0 476136131 28904853504 9800 33554432000 4194304 4196468 140720896789568 139851146709488 139852689988226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9534] ppid=9514 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9534/stat : 9534 (java) S 9514 9514 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476136131 28904853504 9800 33554432000 4194304 4196468 140720896789568 139851145656928 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9535] ppid=9514 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/9516/task/9535/stat : 9535 (java) S 9514 9514 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476136132 28904853504 9800 33554432000 4194304 4196468 140720896789568 139851144604208 139852689988226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 40648 KiB

[startup+0.30984 s]*
/proc/loadavg: 7.46 8.01 8.25 3/217 9535
/proc/meminfo: memFree=16633856/32770624 swapFree=67001916/67108860
[pid=9514] ppid=9511 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9514/stat : 9514 (xcsp3-exec) S 9511 9514 6043 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476136125 115843072 362 33554432000 4194304 5098028 140729225751968 140729225750072 140467003695740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30351360 140729225757521 140729225757781 140729225757781 140729225760710 0
/proc/9514/statm: 28282 362 304 221 0 87 0
[pid=9516] ppid=9514 vsize=28231652 memory=48420 CPUtime=0.52 cores=0-7
/proc/9516/stat : 9516 (java) S 9514 9514 6043 0 -1 1077944320 10937 0 0 0 48 4 0 0 20 0 20 0 476136126 28909211648 12105 33554432000 4194304 4196468 140720896789568 140720896772112 139852689977079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
/proc/9516/statm: 7057913 12105 3362 1 0 7019032 0
[pid=9516/tid=9517] ppid=9514 vsize=28231652 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/9516/task/9517/stat : 9517 (java) R 9514 9514 6043 0 -1 4202560 7683 0 0 0 27 2 0 0 20 0 20 0 476136126 28909211648 12171 33554432000 4194304 4196468 140720896789568 139852694208192 139852689999005 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9518] ppid=9514 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9518/stat : 9518 (java) S 9514 9514 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476136127 28909211648 12171 33554432000 4194304 4196468 140720896789568 139852659690128 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9519] ppid=9514 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9519/stat : 9519 (java) S 9514 9514 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476136127 28909211648 12171 33554432000 4194304 4196468 140720896789568 139852240194064 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9520] ppid=9514 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9520/stat : 9520 (java) S 9514 9514 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476136127 28909211648 12171 33554432000 4194304 4196468 140720896789568 139852239141264 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9521] ppid=9514 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9521/stat : 9521 (java) S 9514 9514 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476136127 28909211648 12171 33554432000 4194304 4196468 140720896789568 139852238088464 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9522] ppid=9514 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/9516/task/9522/stat : 9522 (java) S 9514 9514 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476136127 28909211648 12171 33554432000 4194304 4196468 140720896789568 139852237036688 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9523] ppid=9514 vsize=28231652 memory=139679382991791 CPUtime=0 cores=0-7
/proc/9516/task/9523/stat : 9523 (java) S 9514 9514 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476136127 28909211648 12171 33554432000 4194304 4196468 140720896789568 139852235983888 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9524] ppid=9514 vsize=28231652 memory=139679382994096 CPUtime=0 cores=0-7
/proc/9516/task/9524/stat : 9524 (java) S 9514 9514 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476136127 28909211648 12171 33554432000 4194304 4196468 140720896789568 139852234931088 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9525] ppid=9514 vsize=28231652 memory=139679382996400 CPUtime=0 cores=0-7
/proc/9516/task/9525/stat : 9525 (java) S 9514 9514 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476136127 28909211648 12171 33554432000 4194304 4196468 140720896789568 139852233878288 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9526] ppid=9514 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9526/stat : 9526 (java) S 9514 9514 6043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476136128 28909211648 12171 33554432000 4194304 4196468 140720896789568 139851154078064 139852689988226 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9527] ppid=9514 vsize=28231652 memory=279358765999760 CPUtime=0 cores=0-7
/proc/9516/task/9527/stat : 9527 (java) S 9514 9514 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476136129 28909211648 12171 33554432000 4194304 4196468 140720896789568 139851153024032 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9528] ppid=9514 vsize=28231652 memory=279358766006672 CPUtime=0 cores=0-7
/proc/9516/task/9528/stat : 9528 (java) S 9514 9514 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476136129 28909211648 12171 33554432000 4194304 4196468 140720896789568 139851151971184 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9529] ppid=9514 vsize=28231652 memory=279358765947952 CPUtime=0 cores=0-7
/proc/9516/task/9529/stat : 9529 (java) S 9514 9514 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476136131 28909211648 12171 33554432000 4194304 4196468 140720896789568 139851150919504 139852689995675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9530] ppid=9514 vsize=28231652 memory=279358766020496 CPUtime=0.01 cores=0-7
/proc/9516/task/9530/stat : 9530 (java) R 9514 9514 6043 0 -1 4202560 403 0 0 0 1 0 0 0 20 0 20 0 476136131 28909211648 12171 33554432000 4194304 4196468 140720896789568 139851149858272 139852676000921 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9531] ppid=9514 vsize=28231652 memory=279358766027408 CPUtime=0.02 cores=0-7
/proc/9516/task/9531/stat : 9531 (java) S 9514 9514 6043 0 -1 1077944384 212 0 0 0 2 0 0 0 20 0 20 0 476136131 28909211648 12171 33554432000 4194304 4196468 140720896789568 139851148815088 139852689988226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9532] ppid=9514 vsize=28231652 memory=279358766025104 CPUtime=0.03 cores=0-7
/proc/9516/task/9532/stat : 9532 (java) S 9514 9514 6043 0 -1 1077944384 204 0 0 0 3 0 0 0 20 0 20 0 476136131 28909211648 12171 33554432000 4194304 4196468 140720896789568 139851147762288 139852689988226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9533] ppid=9514 vsize=28231652 memory=279358766041264 CPUtime=0.12 cores=0-7
/proc/9516/task/9533/stat : 9533 (java) S 9514 9514 6043 0 -1 1077944384 1177 0 0 0 12 0 0 0 20 0 20 0 476136131 28909211648 12171 33554432000 4194304 4196468 140720896789568 139851146709488 139852689988226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9534] ppid=9514 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9534/stat : 9534 (java) S 9514 9514 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476136131 28909211648 12171 33554432000 4194304 4196468 140720896789568 139851145656928 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9535] ppid=9514 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/9516/task/9535/stat : 9535 (java) S 9514 9514 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476136132 28909211648 12171 33554432000 4194304 4196468 140720896789568 139851144604208 139852689988226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 49868 KiB

[startup+0.70095 s]
/proc/loadavg: 7.46 8.01 8.25 6/217 9535
/proc/meminfo: memFree=16610300/32770624 swapFree=67001916/67108860
[pid=9514] ppid=9511 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9514/stat : 9514 (xcsp3-exec) S 9511 9514 6043 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476136125 115843072 362 33554432000 4194304 5098028 140729225751968 140729225750072 140467003695740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30351360 140729225757521 140729225757781 140729225757781 140729225760710 0
/proc/9514/statm: 28282 362 304 221 0 87 0
[pid=9516] ppid=9514 vsize=28233776 memory=91788 CPUtime=1.83 cores=0-7
/proc/9516/stat : 9516 (java) S 9514 9514 6043 0 -1 1077944320 16123 0 0 0 177 6 0 0 20 0 20 0 476136126 28911386624 22947 33554432000 4194304 4196468 140720896789568 140720896772112 139852689977079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
/proc/9516/statm: 7058444 22947 3458 1 0 7019544 0
[pid=9516/tid=9517] ppid=9514 vsize=28233776 memory=279358766399152 CPUtime=0.67 cores=0-7
/proc/9516/task/9517/stat : 9517 (java) R 9514 9514 6043 0 -1 4202560 9286 0 0 0 64 3 0 0 20 0 20 0 476136126 28911386624 22947 33554432000 4194304 4196468 140720896789568 139852694214224 139852326152736 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9518] ppid=9514 vsize=28233776 memory=139679383200624 CPUtime=0 cores=0-7
/proc/9516/task/9518/stat : 9518 (java) S 9514 9514 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476136127 28911386624 22947 33554432000 4194304 4196468 140720896789568 139852659690128 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9519] ppid=9514 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9519/stat : 9519 (java) S 9514 9514 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476136127 28911386624 22947 33554432000 4194304 4196468 140720896789568 139852240194064 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9520] ppid=9514 vsize=28233776 memory=2832 CPUtime=0 cores=0-7
/proc/9516/task/9520/stat : 9520 (java) S 9514 9514 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476136127 28911386624 22947 33554432000 4194304 4196468 140720896789568 139852239141264 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0

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

[pid=9516/tid=9533] ppid=9514 vsize=28768336 memory=7682475212697334547 CPUtime=1.09 cores=0-7
/proc/9516/task/9533/stat : 9533 (java) S 9514 9514 6043 0 -1 1077944384 8324 0 0 0 108 1 0 0 20 0 28 0 476136131 29458776064 89064 33554432000 4194304 4196468 140720896789568 139851146709488 139852689988226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9534] ppid=9514 vsize=28768336 memory=8257237230052613020 CPUtime=0 cores=0-7
/proc/9516/task/9534/stat : 9534 (java) S 9514 9514 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476136131 29458776064 89064 33554432000 4194304 4196468 140720896789568 139851145656928 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9535] ppid=9514 vsize=28768336 memory=1540 CPUtime=0 cores=0-7
/proc/9516/task/9535/stat : 9535 (java) S 9514 9514 6043 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 476136132 29458776064 89064 33554432000 4194304 4196468 140720896789568 139851144604208 139852689988226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9584] ppid=9514 vsize=28768336 memory=728 CPUtime=3.2 cores=0-7
/proc/9516/task/9584/stat : 9584 (java) R 9514 9514 6043 0 -1 4202560 163 0 0 0 320 0 0 0 20 0 28 0 476136367 29458776064 89064 33554432000 4194304 4196468 140720896789568 139851133287048 139852327206987 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9585] ppid=9514 vsize=28768336 memory=3612 CPUtime=3.68 cores=0-7
/proc/9516/task/9585/stat : 9585 (java) R 9514 9514 6043 0 -1 4202560 162 0 0 0 368 0 0 0 20 0 28 0 476136367 29458776064 89064 33554432000 4194304 4196468 140720896789568 139851126972104 139852336953158 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9586] ppid=9514 vsize=28768336 memory=2832 CPUtime=3.72 cores=0-7
/proc/9516/task/9586/stat : 9586 (java) R 9514 9514 6043 0 -1 4202560 245 0 0 0 372 0 0 0 20 0 28 0 476136367 29458776064 89064 33554432000 4194304 4196468 140720896789568 139851128025672 139852334654096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9587] ppid=9514 vsize=28768336 memory=1212 CPUtime=3.88 cores=0-7
/proc/9516/task/9587/stat : 9587 (java) R 9514 9514 6043 0 -1 4202560 246 0 0 0 388 0 0 0 20 0 28 0 476136367 29458776064 89064 33554432000 4194304 4196468 140720896789568 139851131183688 139852337422848 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9588] ppid=9514 vsize=28768336 memory=1036 CPUtime=3.61 cores=0-7
/proc/9516/task/9588/stat : 9588 (java) R 9514 9514 6043 0 -1 4202560 590 0 0 0 359 2 0 0 20 0 28 0 476136367 29458776064 89064 33554432000 4194304 4196468 140720896789568 139851130133144 139852335617232 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9589] ppid=9514 vsize=28768336 memory=14008 CPUtime=3.42 cores=0-7
/proc/9516/task/9589/stat : 9589 (java) R 9514 9514 6043 0 -1 4202560 186 0 0 0 342 0 0 0 20 0 28 0 476136367 29458776064 89064 33554432000 4194304 4196468 140720896789568 139851132235824 139852335110055 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9590] ppid=9514 vsize=28768336 memory=12024 CPUtime=3.41 cores=0-7
/proc/9516/task/9590/stat : 9590 (java) R 9514 9514 6043 0 -1 4202560 152 0 0 0 341 0 0 0 20 0 28 0 476136367 29458776064 89064 33554432000 4194304 4196468 140720896789568 139851125920520 139852335110341 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9591] ppid=9514 vsize=28768336 memory=2116 CPUtime=3.24 cores=0-7
/proc/9516/task/9591/stat : 9591 (java) R 9514 9514 6043 0 -1 4202560 452 0 0 0 324 0 0 0 20 0 28 0 476136368 29458776064 89064 33554432000 4194304 4196468 140720896789568 139851129078224 139852335110312 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
Current children cumulated CPU time: 43.76 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 357704 KiB

[startup+6.80185 s]
/proc/loadavg: 7.34 7.96 8.23 9/225 9591
/proc/meminfo: memFree=16335160/32770624 swapFree=67001916/67108860
[pid=9514] ppid=9511 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9514/stat : 9514 (xcsp3-exec) S 9511 9514 6043 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476136125 115843072 362 33554432000 4194304 5098028 140729225751968 140729225750072 140467003695740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30351360 140729225757521 140729225757781 140729225757781 140729225760710 0
/proc/9514/statm: 28282 362 304 221 0 87 0
[pid=9516] ppid=9514 vsize=28768336 memory=364448 CPUtime=46.95 cores=0-7
/proc/9516/stat : 9516 (java) S 9514 9514 6043 0 -1 1077944320 44839 0 0 0 4668 27 0 0 20 0 28 0 476136126 29458776064 91112 33554432000 4194304 4196468 140720896789568 140720896772112 139852689977079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
/proc/9516/statm: 7192084 91112 3541 1 0 7153184 0
[pid=9516/tid=9517] ppid=9514 vsize=28768336 memory=-2892745056951965031 CPUtime=1.41 cores=0-7
/proc/9516/task/9517/stat : 9517 (java) S 9514 9514 6043 0 -1 1077944384 10994 0 0 0 136 5 0 0 20 0 28 0 476136126 29458776064 91112 33554432000 4194304 4196468 140720896789568 139852694217856 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9518] ppid=9514 vsize=28768336 memory=6944652177228980320 CPUtime=0.02 cores=0-7
/proc/9516/task/9518/stat : 9518 (java) S 9514 9514 6043 0 -1 1077944384 78 0 0 0 1 1 0 0 20 0 28 0 476136127 29458776064 91112 33554432000 4194304 4196468 140720896789568 139852659690128 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9519] ppid=9514 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7
/proc/9516/task/9519/stat : 9519 (java) S 9514 9514 6043 0 -1 1077944384 77 0 0 0 1 1 0 0 20 0 28 0 476136127 29458776064 91112 33554432000 4194304 4196468 140720896789568 139852240194064 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9520] ppid=9514 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7
/proc/9516/task/9520/stat : 9520 (java) S 9514 9514 6043 0 -1 1077944384 62 0 0 0 1 1 0 0 20 0 28 0 476136127 29458776064 91112 33554432000 4194304 4196468 140720896789568 139852239141264 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9521] ppid=9514 vsize=28768336 memory=10 CPUtime=0.01 cores=0-7
/proc/9516/task/9521/stat : 9521 (java) S 9514 9514 6043 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 28 0 476136127 29458776064 91112 33554432000 4194304 4196468 140720896789568 139852238088464 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9522] ppid=9514 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7
/proc/9516/task/9522/stat : 9522 (java) S 9514 9514 6043 0 -1 1077944384 125 0 0 0 1 1 0 0 20 0 28 0 476136127 29458776064 91112 33554432000 4194304 4196468 140720896789568 139852237036688 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9523] ppid=9514 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7
/proc/9516/task/9523/stat : 9523 (java) S 9514 9514 6043 0 -1 1077944384 86 0 0 0 1 1 0 0 20 0 28 0 476136127 29458776064 91112 33554432000 4194304 4196468 140720896789568 139852235983888 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9524] ppid=9514 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7
/proc/9516/task/9524/stat : 9524 (java) S 9514 9514 6043 0 -1 1077944384 59 0 0 0 1 1 0 0 20 0 28 0 476136127 29458776064 91112 33554432000 4194304 4196468 140720896789568 139852234931088 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9525] ppid=9514 vsize=28768336 memory=55 CPUtime=0.01 cores=0-7
/proc/9516/task/9525/stat : 9525 (java) S 9514 9514 6043 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 28 0 476136127 29458776064 91112 33554432000 4194304 4196468 140720896789568 139852233878288 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9526] ppid=9514 vsize=28768336 memory=288230596050944315 CPUtime=0.01 cores=0-7
/proc/9516/task/9526/stat : 9526 (java) S 9514 9514 6043 0 -1 1077944384 159 0 0 0 1 0 0 0 20 0 28 0 476136128 29458776064 91112 33554432000 4194304 4196468 140720896789568 139851154078064 139852689988226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9527] ppid=9514 vsize=28768336 memory=15825486429292335 CPUtime=0 cores=0-7
/proc/9516/task/9527/stat : 9527 (java) S 9514 9514 6043 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 476136129 29458776064 91112 33554432000 4194304 4196468 140720896789568 139851153024096 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9528] ppid=9514 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9528/stat : 9528 (java) S 9514 9514 6043 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 476136129 29458776064 91112 33554432000 4194304 4196468 140720896789568 139851151971200 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9529] ppid=9514 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9529/stat : 9529 (java) S 9514 9514 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476136131 29458776064 91112 33554432000 4194304 4196468 140720896789568 139851150919504 139852689995675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9530] ppid=9514 vsize=28768336 memory=0 CPUtime=2.75 cores=0-7
/proc/9516/task/9530/stat : 9530 (java) S 9514 9514 6043 0 -1 1077944384 8291 0 0 0 273 2 0 0 20 0 28 0 476136131 29458776064 91112 33554432000 4194304 4196468 140720896789568 139851149867888 139852689988226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9531] ppid=9514 vsize=28768336 memory=0 CPUtime=2.88 cores=0-7
/proc/9516/task/9531/stat : 9531 (java) S 9514 9514 6043 0 -1 1077944384 5441 0 0 0 287 1 0 0 20 0 28 0 476136131 29458776064 91112 33554432000 4194304 4196468 140720896789568 139851148815088 139852689988226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9532] ppid=9514 vsize=28768336 memory=0 CPUtime=2.72 cores=0-7
/proc/9516/task/9532/stat : 9532 (java) S 9514 9514 6043 0 -1 1077944384 5871 0 0 0 271 1 0 0 20 0 28 0 476136131 29458776064 91112 33554432000 4194304 4196468 140720896789568 139851147762288 139852689988226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9533] ppid=9514 vsize=28768336 memory=0 CPUtime=1.09 cores=0-7
/proc/9516/task/9533/stat : 9533 (java) S 9514 9514 6043 0 -1 1077944384 8648 0 0 0 108 1 0 0 20 0 28 0 476136131 29458776064 91112 33554432000 4194304 4196468 140720896789568 139851146709488 139852689988226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9534] ppid=9514 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9534/stat : 9534 (java) S 9514 9514 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476136131 29458776064 91112 33554432000 4194304 4196468 140720896789568 139851145656928 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9535] ppid=9514 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9535/stat : 9535 (java) S 9514 9514 6043 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 476136132 29458776064 91112 33554432000 4194304 4196468 140720896789568 139851144604208 139852689988226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9584] ppid=9514 vsize=28768336 memory=0 CPUtime=3.6 cores=0-7
/proc/9516/task/9584/stat : 9584 (java) R 9514 9514 6043 0 -1 4202560 163 0 0 0 360 0 0 0 20 0 28 0 476136367 29458776064 91112 33554432000 4194304 4196468 140720896789568 139851133287048 139852337583047 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9585] ppid=9514 vsize=28768336 memory=0 CPUtime=4.07 cores=0-7
/proc/9516/task/9585/stat : 9585 (java) R 9514 9514 6043 0 -1 4202560 162 0 0 0 407 0 0 0 20 0 28 0 476136367 29458776064 91112 33554432000 4194304 4196468 140720896789568 139851126972104 139852335110217 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9586] ppid=9514 vsize=28768336 memory=6444202914451385191 CPUtime=4.12 cores=0-7
/proc/9516/task/9586/stat : 9586 (java) R 9514 9514 6043 0 -1 4202560 245 0 0 0 412 0 0 0 20 0 28 0 476136367 29458776064 91112 33554432000 4194304 4196468 140720896789568 139851128025672 139852335729724 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9587] ppid=9514 vsize=28768336 memory=1564 CPUtime=4.28 cores=0-7
/proc/9516/task/9587/stat : 9587 (java) R 9514 9514 6043 0 -1 4202560 246 0 0 0 428 0 0 0 20 0 28 0 476136367 29458776064 91112 33554432000 4194304 4196468 140720896789568 139851131183688 139852336906826 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9588] ppid=9514 vsize=28768336 memory=928 CPUtime=4.01 cores=0-7
/proc/9516/task/9588/stat : 9588 (java) R 9514 9514 6043 0 -1 4202560 604 0 0 0 399 2 0 0 20 0 28 0 476136367 29458776064 91112 33554432000 4194304 4196468 140720896789568 139851130133016 139852336036960 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9589] ppid=9514 vsize=28768336 memory=1744 CPUtime=3.82 cores=0-7
/proc/9516/task/9589/stat : 9589 (java) R 9514 9514 6043 0 -1 4202560 189 0 0 0 382 0 0 0 20 0 28 0 476136367 29458776064 91112 33554432000 4194304 4196468 140720896789568 139851132235824 139852335730826 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9590] ppid=9514 vsize=28768336 memory=780 CPUtime=3.81 cores=0-7
/proc/9516/task/9590/stat : 9590 (java) R 9514 9514 6043 0 -1 4202560 152 0 0 0 381 0 0 0 20 0 28 0 476136367 29458776064 91112 33554432000 4194304 4196468 140720896789568 139851125920520 139852336148528 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9591] ppid=9514 vsize=28768336 memory=1440 CPUtime=3.64 cores=0-7
/proc/9516/task/9591/stat : 9591 (java) R 9514 9514 6043 0 -1 4202560 563 0 0 0 364 0 0 0 20 0 28 0 476136368 29458776064 91112 33554432000 4194304 4196468 140720896789568 139851129076680 139852335730743 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
Current children cumulated CPU time: 46.95 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 365896 KiB

[startup+6.90184 s]
/proc/loadavg: 7.34 7.96 8.23 9/225 9591
/proc/meminfo: memFree=16335160/32770624 swapFree=67001916/67108860
[pid=9514] ppid=9511 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/9514/stat : 9514 (xcsp3-exec) S 9511 9514 6043 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476136125 115843072 362 33554432000 4194304 5098028 140729225751968 140729225750072 140467003695740 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30351360 140729225757521 140729225757781 140729225757781 140729225760710 0
/proc/9514/statm: 28282 362 304 221 0 87 0
[pid=9516] ppid=9514 vsize=28768336 memory=368544 CPUtime=47.76 cores=0-7
/proc/9516/stat : 9516 (java) S 9514 9514 6043 0 -1 1077944320 44980 0 0 0 4748 28 0 0 20 0 28 0 476136126 29458776064 92136 33554432000 4194304 4196468 140720896789568 140720896772112 139852689977079 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
/proc/9516/statm: 7192084 92136 3541 1 0 7153184 0
[pid=9516/tid=9517] ppid=9514 vsize=28768336 memory=354208 CPUtime=1.41 cores=0-7
/proc/9516/task/9517/stat : 9517 (java) S 9514 9514 6043 0 -1 1077944384 10994 0 0 0 136 5 0 0 20 0 28 0 476136126 29458776064 92136 33554432000 4194304 4196468 140720896789568 139852694217856 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9518] ppid=9514 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7
/proc/9516/task/9518/stat : 9518 (java) S 9514 9514 6043 0 -1 1077944384 78 0 0 0 1 1 0 0 20 0 28 0 476136127 29458776064 92136 33554432000 4194304 4196468 140720896789568 139852659690128 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9519] ppid=9514 vsize=28768336 memory=29404 CPUtime=0.02 cores=0-7
/proc/9516/task/9519/stat : 9519 (java) S 9514 9514 6043 0 -1 1077944384 77 0 0 0 1 1 0 0 20 0 28 0 476136127 29458776064 92136 33554432000 4194304 4196468 140720896789568 139852240194064 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9520] ppid=9514 vsize=28768336 memory=496 CPUtime=0.02 cores=0-7
/proc/9516/task/9520/stat : 9520 (java) S 9514 9514 6043 0 -1 1077944384 62 0 0 0 1 1 0 0 20 0 28 0 476136127 29458776064 92136 33554432000 4194304 4196468 140720896789568 139852239141264 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9521] ppid=9514 vsize=28768336 memory=1 CPUtime=0.01 cores=0-7
/proc/9516/task/9521/stat : 9521 (java) S 9514 9514 6043 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 28 0 476136127 29458776064 92136 33554432000 4194304 4196468 140720896789568 139852238088464 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9522] ppid=9514 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7
/proc/9516/task/9522/stat : 9522 (java) S 9514 9514 6043 0 -1 1077944384 125 0 0 0 1 1 0 0 20 0 28 0 476136127 29458776064 92136 33554432000 4194304 4196468 140720896789568 139852237036688 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9523] ppid=9514 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7
/proc/9516/task/9523/stat : 9523 (java) S 9514 9514 6043 0 -1 1077944384 86 0 0 0 1 1 0 0 20 0 28 0 476136127 29458776064 92136 33554432000 4194304 4196468 140720896789568 139852235983888 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9524] ppid=9514 vsize=28768336 memory=8112282956445269571 CPUtime=0.02 cores=0-7
/proc/9516/task/9524/stat : 9524 (java) S 9514 9514 6043 0 -1 1077944384 59 0 0 0 1 1 0 0 20 0 28 0 476136127 29458776064 92136 33554432000 4194304 4196468 140720896789568 139852234931088 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9525] ppid=9514 vsize=28768336 memory=6944656592387989600 CPUtime=0.01 cores=0-7
/proc/9516/task/9525/stat : 9525 (java) S 9514 9514 6043 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 28 0 476136127 29458776064 92136 33554432000 4194304 4196468 140720896789568 139852233878288 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9526] ppid=9514 vsize=28768336 memory=7164214804980133737 CPUtime=0.01 cores=0-7
/proc/9516/task/9526/stat : 9526 (java) S 9514 9514 6043 0 -1 1077944384 159 0 0 0 1 0 0 0 20 0 28 0 476136128 29458776064 92136 33554432000 4194304 4196468 140720896789568 139851154078064 139852689988226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9527] ppid=9514 vsize=28768336 memory=3053811428158493008 CPUtime=0 cores=0-7
/proc/9516/task/9527/stat : 9527 (java) S 9514 9514 6043 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 476136129 29458776064 92136 33554432000 4194304 4196468 140720896789568 139851153024096 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9528] ppid=9514 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/9516/task/9528/stat : 9528 (java) S 9514 9514 6043 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 476136129 29458776064 92136 33554432000 4194304 4196468 140720896789568 139851151971200 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9529] ppid=9514 vsize=28768336 memory=-5921431000321636112 CPUtime=0 cores=0-7
/proc/9516/task/9529/stat : 9529 (java) S 9514 9514 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476136131 29458776064 92136 33554432000 4194304 4196468 140720896789568 139851150919504 139852689995675 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9530] ppid=9514 vsize=28768336 memory=6655300316396806240 CPUtime=2.75 cores=0-7
/proc/9516/task/9530/stat : 9530 (java) S 9514 9514 6043 0 -1 1077944384 8291 0 0 0 273 2 0 0 20 0 28 0 476136131 29458776064 92136 33554432000 4194304 4196468 140720896789568 139851149867888 139852689988226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9531] ppid=9514 vsize=28768336 memory=6656426216303648864 CPUtime=2.89 cores=0-7
/proc/9516/task/9531/stat : 9531 (java) S 9514 9514 6043 0 -1 1077944384 5441 0 0 0 287 2 0 0 20 0 28 0 476136131 29458776064 92136 33554432000 4194304 4196468 140720896789568 139851148815088 139852689988226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9532] ppid=9514 vsize=28768336 memory=6944656592455360604 CPUtime=2.72 cores=0-7
/proc/9516/task/9532/stat : 9532 (java) S 9514 9514 6043 0 -1 1077944384 5871 0 0 0 271 1 0 0 20 0 28 0 476136131 29458776064 92136 33554432000 4194304 4196468 140720896789568 139851147762288 139852689988226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9533] ppid=9514 vsize=28768336 memory=1448 CPUtime=1.09 cores=0-7
/proc/9516/task/9533/stat : 9533 (java) S 9514 9514 6043 0 -1 1077944384 8770 0 0 0 108 1 0 0 20 0 28 0 476136131 29458776064 92136 33554432000 4194304 4196468 140720896789568 139851146709488 139852689988226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9534] ppid=9514 vsize=28768336 memory=257240 CPUtime=0 cores=0-7
/proc/9516/task/9534/stat : 9534 (java) S 9514 9514 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476136131 29458776064 92136 33554432000 4194304 4196468 140720896789568 139851145656928 139852689987285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9535] ppid=9514 vsize=28768336 memory=1448 CPUtime=0 cores=0-7
/proc/9516/task/9535/stat : 9535 (java) S 9514 9514 6043 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 28 0 476136132 29458776064 92136 33554432000 4194304 4196468 140720896789568 139851144604208 139852689988226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9584] ppid=9514 vsize=28768336 memory=256284 CPUtime=3.7 cores=0-7
/proc/9516/task/9584/stat : 9584 (java) R 9514 9514 6043 0 -1 4202560 163 0 0 0 370 0 0 0 20 0 28 0 476136367 29458776064 92136 33554432000 4194304 4196468 140720896789568 139851133287048 139852327206966 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9585] ppid=9514 vsize=28768336 memory=0 CPUtime=4.17 cores=0-7
/proc/9516/task/9585/stat : 9585 (java) R 9514 9514 6043 0 -1 4202560 162 0 0 0 417 0 0 0 20 0 28 0 476136367 29458776064 92136 33554432000 4194304 4196468 140720896789568 139851126972104 139852335926663 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9586] ppid=9514 vsize=28768336 memory=0 CPUtime=4.22 cores=0-7
/proc/9516/task/9586/stat : 9586 (java) R 9514 9514 6043 0 -1 4202560 245 0 0 0 422 0 0 0 20 0 28 0 476136367 29458776064 92136 33554432000 4194304 4196468 140720896789568 139851128025672 139852337992048 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9587] ppid=9514 vsize=28768336 memory=0 CPUtime=4.38 cores=0-7
/proc/9516/task/9587/stat : 9587 (java) R 9514 9514 6043 0 -1 4202560 247 0 0 0 438 0 0 0 20 0 28 0 476136367 29458776064 92136 33554432000 4194304 4196468 140720896789568 139851131183688 139852336695683 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9588] ppid=9514 vsize=28768336 memory=0 CPUtime=4.11 cores=0-7
/proc/9516/task/9588/stat : 9588 (java) R 9514 9514 6043 0 -1 4202560 611 0 0 0 409 2 0 0 20 0 28 0 476136367 29458776064 92136 33554432000 4194304 4196468 140720896789568 139851130132536 139852335110666 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9589] ppid=9514 vsize=28768336 memory=0 CPUtime=3.92 cores=0-7
/proc/9516/task/9589/stat : 9589 (java) R 9514 9514 6043 0 -1 4202560 189 0 0 0 392 0 0 0 20 0 28 0 476136367 29458776064 92136 33554432000 4194304 4196468 140720896789568 139851132235824 139852336037503 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9590] ppid=9514 vsize=28768336 memory=0 CPUtime=3.91 cores=0-7
/proc/9516/task/9590/stat : 9590 (java) R 9514 9514 6043 0 -1 4202560 152 0 0 0 391 0 0 0 20 0 28 0 476136367 29458776064 92136 33554432000 4194304 4196468 140720896789568 139851125920520 139852335109975 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
[pid=9516/tid=9591] ppid=9514 vsize=28768336 memory=-4051592751533505334 CPUtime=3.74 cores=0-7
/proc/9516/task/9591/stat : 9591 (java) R 9514 9514 6043 0 -1 4202560 574 0 0 0 373 1 0 0 20 0 28 0 476136368 29458776064 92136 33554432000 4194304 4196468 140720896789568 139851129080232 139852335111881 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33001472 140720896791510 140720896791686 140720896791686 140720896794575 0
Current children cumulated CPU time: 47.76 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 369992 KiB

Child status: 0
Real time (s): 6.95332
CPU time (s): 48.0784
CPU user time (s): 47.7786
CPU system time (s): 0.299789
CPU usage (%): 691.445
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 369992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.7786
system time used= 0.299789
maximum resident set size= 371284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46445
page faults= 0
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4972
involuntary context switches= 1219


# summary of solver processes directly reported to runsolver:
#   pid: 9514
#   total CPU time (s): 48.0784
#   total CPU user time (s): 47.7786
#   total CPU system time (s): 0.299789

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.085744 second user time and 0.114325 second system time

The end

Name	OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbop-30-15-1.xml
MD5SUM	b5169c90aef0d626aba0e990e84095c1
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	10
Best CPU time to get the best result obtained on this benchmark	22.9143
Satisfiable
(Un)Satisfiability was proved
Number of variables	1380
Number of constraints	1366
Number of domains	4
Minimum domain size	2
Maximum domain size	16
Distribution of domain sizes	[{"size":2,"count":900},{"size":3,"count":450},{"size":15,"count":15},{"size":16,"count":15}]
Minimum variable degree	2
Maximum variable degree	31
Distribution of variable degrees	[{"degree":2,"count":495},{"degree":3,"count":870},{"degree":31,"count":15}]
Minimum constraint arity	2
Maximum constraint arity	31
Distribution of constraint arities	[{"arity":2,"count":480},{"arity":3,"count":870},{"arity":15,"count":1},{"arity":31,"count":15}]
Number of extensional constraints	450
Number of intensional constraints	450
Distribution of constraint types	[{"type":"extension","count":450},{"type":"intension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":15},{"type":"element","count":450}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4404614

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