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-24	OPT	10	32.971	27.8408

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406114-1569404513.xml"  -tl '2520s' -p 1
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4406114-1569404513.xml, -tl, 2520s, -p, 1]
0.35/0.22	c simple solver
0.35/0.28	c parse instance...
2.19/0.82	c solve instance...
3.22/1.17	o 12 
6.90/2.72	o 11 
7.46/3.23	o 10 
32.91/27.83	s OPTIMUM FOUND
32.91/27.83	v <instantiation>
32.91/27.83	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>
32.91/27.83	v 	<values>0 12 14 9 10 5 3 2 6 8 13 11 1 4 7 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 1 1 1 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 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 0 0 0 1 2 2 2 2 2 0 0 0 0 0 0 1 1 1 1 1 2 2 2 2 0 0 0 0 0 0 0 0 1 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 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 2 2 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 1 2 2 2 0 1 1 1 2 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 0 1 2 2 2 2 2 2 2 0 0 0 1 1 1 2 2 2 2 2 2 2 2 2 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 0 0 1 1 1 1 1 1 2 2 2 2 2 2 2 0 0 0 1 1 1 1 1 1 1 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 1 1 1 1 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 0 1 2 2 2 2 2 2 2 2 0 1 1 1 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 1 1 1 1 1 1 2 0 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 0 1 0 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 0 0 0 0 1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 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 1 1 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 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 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 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 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 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 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 0 0 1 1 0 0 0 0 0 0 0 0 1 1 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 0 0 1 0 0 0 0 0 0 1 0 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 1 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 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 0 0 0 0 0 0 0 0 0 1 1 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 1 1 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 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 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 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 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 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 0 0 1 1 0 0 0 0 0 0 0 0 1 1 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 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 4 8 9 9 10 10 10 10 10 10 9 8 7 6 4 </values>
32.91/27.83	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 (13494 MiB free)
  memory of node 1: 16384 MiB (12313 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406114-1569404513/watcher-4406114-1569404513 -o /tmp/evaluation-result-4406114-1569404513/solver-4406114-1569404513 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1569392447-21329 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1563985591 HOME/instance-4406114-1569404513.xml 

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

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

solver pid=23385, runsolver pid=23382

[startup+0.100156 s]*
/proc/loadavg: 5.11 4.78 3.54 5/229 23401
/proc/meminfo: memFree=26409412/32770624 swapFree=66986416/67108860
[pid=23385] ppid=23382 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23385/stat : 23385 (xcsp3-exec) S 23382 23385 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516707865 115843072 363 33554432000 4194304 5098028 140722126202496 140722126200600 140372358431356 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37482496 140722126209914 140722126210157 140722126210157 140722126213066 0
/proc/23385/statm: 28282 363 304 221 0 87 0
[pid=23387] ppid=23385 vsize=15144776 memory=28944 CPUtime=0.13 cores=1,3,5,7
/proc/23387/stat : 23387 (java) S 23385 23385 21297 0 -1 1077944320 5710 0 0 0 12 1 0 0 20 0 15 0 516707865 15508250624 7236 33554432000 4194304 4196468 140730681132656 140730681115200 139979284139767 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
/proc/23387/statm: 3786194 7236 3144 1 0 3748377 0
[pid=23387/tid=23388] ppid=23385 vsize=15144776 memory=576460756329955459 CPUtime=0.08 cores=1,3,5,7
/proc/23387/task/23388/stat : 23388 (java) R 23385 23385 21297 0 -1 4202560 3583 0 0 0 8 0 0 0 20 0 15 0 516707865 15508250624 7236 33554432000 4194304 4196468 140730681132656 139979288364176 139978906669104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23389] ppid=23385 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23389/stat : 23389 (java) S 23385 23385 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516707866 15508250624 7236 33554432000 4194304 4196468 140730681132656 139979236760336 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23390] ppid=23385 vsize=15144776 memory=140584378842920 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23390/stat : 23390 (java) S 23385 23385 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516707866 15508250624 7236 33554432000 4194304 4196468 140730681132656 139979235707792 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23391] ppid=23385 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23391/stat : 23391 (java) S 23385 23385 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516707866 15508250624 7236 33554432000 4194304 4196468 140730681132656 139979234655248 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23392] ppid=23385 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23392/stat : 23392 (java) S 23385 23385 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516707866 15508250624 7236 33554432000 4194304 4196468 140730681132656 139979233602704 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23393] ppid=23385 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23393/stat : 23393 (java) S 23385 23385 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516707867 15508250624 7236 33554432000 4194304 4196468 140730681132656 139978752374768 139979284150914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23394] ppid=23385 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23394/stat : 23394 (java) S 23385 23385 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516707868 15508250624 7236 33554432000 4194304 4196468 140730681132656 139978751320992 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23395] ppid=23385 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23395/stat : 23395 (java) S 23385 23385 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516707868 15508250624 7236 33554432000 4194304 4196468 140730681132656 139978750268400 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23396] ppid=23385 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23396/stat : 23396 (java) S 23385 23385 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516707870 15508250624 7236 33554432000 4194304 4196468 140730681132656 139978749216976 139979284158363 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23397] ppid=23385 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23397/stat : 23397 (java) S 23385 23385 21297 0 -1 1077944384 347 0 0 0 0 0 0 0 20 0 15 0 516707870 15508250624 7236 33554432000 4194304 4196468 140730681132656 139978748164592 139979284150914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23398] ppid=23385 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23398/stat : 23398 (java) S 23385 23385 21297 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 516707871 15508250624 7236 33554432000 4194304 4196468 140730681132656 139978747112048 139979284150914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23399] ppid=23385 vsize=15144776 memory=140584375178880 CPUtime=0.02 cores=1,3,5,7
/proc/23387/task/23399/stat : 23399 (java) R 23385 23385 21297 0 -1 4202560 355 0 0 0 2 0 0 0 20 0 15 0 516707871 15508250624 7236 33554432000 4194304 4196468 140730681132656 139978746059504 139979284151702 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23400] ppid=23385 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23400/stat : 23400 (java) S 23385 23385 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516707871 15508250624 7236 33554432000 4194304 4196468 140730681132656 139978745007200 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23401] ppid=23385 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23401/stat : 23401 (java) S 23385 23385 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516707871 15508250624 7236 33554432000 4194304 4196468 140730681132656 139978743953712 139979284150914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30396 KiB

[startup+0.21125 s]*
/proc/loadavg: 5.11 4.78 3.54 5/229 23401
/proc/meminfo: memFree=26396172/32770624 swapFree=66986416/67108860
[pid=23385] ppid=23382 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23385/stat : 23385 (xcsp3-exec) S 23382 23385 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516707865 115843072 363 33554432000 4194304 5098028 140722126202496 140722126200600 140372358431356 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37482496 140722126209914 140722126210157 140722126210157 140722126213066 0
/proc/23385/statm: 28282 363 304 221 0 87 0
[pid=23387] ppid=23385 vsize=15144776 memory=41188 CPUtime=0.35 cores=1,3,5,7
/proc/23387/stat : 23387 (java) S 23385 23385 21297 0 -1 1077944320 9510 0 0 0 32 3 0 0 20 0 15 0 516707865 15508250624 10297 33554432000 4194304 4196468 140730681132656 140730681115200 139979284139767 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
/proc/23387/statm: 3786194 10297 3318 1 0 3748377 0
[pid=23387/tid=23388] ppid=23385 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/23387/task/23388/stat : 23388 (java) R 23385 23385 21297 0 -1 4202560 6623 0 0 0 18 2 0 0 20 0 15 0 516707865 15508250624 10297 33554432000 4194304 4196468 140730681132656 139979288372496 139978907890485 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23389] ppid=23385 vsize=15144776 memory=1898158 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23389/stat : 23389 (java) S 23385 23385 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516707866 15508250624 10297 33554432000 4194304 4196468 140730681132656 139979236760336 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23390] ppid=23385 vsize=15144776 memory=4049495885720213152 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23390/stat : 23390 (java) S 23385 23385 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516707866 15508250624 10297 33554432000 4194304 4196468 140730681132656 139979235707792 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23391] ppid=23385 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23391/stat : 23391 (java) S 23385 23385 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516707866 15508250624 10297 33554432000 4194304 4196468 140730681132656 139979234655248 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23392] ppid=23385 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23392/stat : 23392 (java) S 23385 23385 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516707866 15508250624 10297 33554432000 4194304 4196468 140730681132656 139979233602704 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23393] ppid=23385 vsize=15144776 memory=140584375178880 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23393/stat : 23393 (java) S 23385 23385 21297 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516707867 15508250624 10297 33554432000 4194304 4196468 140730681132656 139978752374768 139979284150914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23394] ppid=23385 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23394/stat : 23394 (java) S 23385 23385 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516707868 15508250624 10297 33554432000 4194304 4196468 140730681132656 139978751320992 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23395] ppid=23385 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23395/stat : 23395 (java) S 23385 23385 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516707868 15508250624 10297 33554432000 4194304 4196468 140730681132656 139978750268400 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23396] ppid=23385 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23396/stat : 23396 (java) S 23385 23385 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516707870 15508250624 10297 33554432000 4194304 4196468 140730681132656 139978749216976 139979284158363 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23397] ppid=23385 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23387/task/23397/stat : 23397 (java) S 23385 23385 21297 0 -1 1077944384 667 0 0 0 3 0 0 0 20 0 15 0 516707870 15508250624 10297 33554432000 4194304 4196468 140730681132656 139978748164592 139979284150914 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23398] ppid=23385 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/23387/task/23398/stat : 23398 (java) S 23385 23385 21297 0 -1 1077944384 173 0 0 0 1 0 0 0 20 0 15 0 516707871 15508250624 10297 33554432000 4194304 4196468 140730681132656 139978747112048 139979284150914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23399] ppid=23385 vsize=15144776 memory=140584375178880 CPUtime=0.08 cores=1,3,5,7
/proc/23387/task/23399/stat : 23399 (java) R 23385 23385 21297 0 -1 4202560 739 0 0 0 8 0 0 0 20 0 15 0 516707871 15508250624 10297 33554432000 4194304 4196468 140730681132656 139978746059504 139979284161114 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23400] ppid=23385 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23400/stat : 23400 (java) S 23385 23385 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516707871 15508250624 10297 33554432000 4194304 4196468 140730681132656 139978745007200 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23401] ppid=23385 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23401/stat : 23401 (java) S 23385 23385 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516707871 15508250624 10297 33554432000 4194304 4196468 140730681132656 139978743953712 139979284150914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42640 KiB

[startup+0.31066 s]*
/proc/loadavg: 5.11 4.78 3.54 4/229 23401
/proc/meminfo: memFree=26388752/32770624 swapFree=66986416/67108860
[pid=23385] ppid=23382 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23385/stat : 23385 (xcsp3-exec) S 23382 23385 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516707865 115843072 363 33554432000 4194304 5098028 140722126202496 140722126200600 140372358431356 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37482496 140722126209914 140722126210157 140722126210157 140722126213066 0
/proc/23385/statm: 28282 363 304 221 0 87 0
[pid=23387] ppid=23385 vsize=15149032 memory=50504 CPUtime=0.53 cores=1,3,5,7
/proc/23387/stat : 23387 (java) S 23385 23385 21297 0 -1 1077944320 10939 0 0 0 49 4 0 0 20 0 15 0 516707865 15512608768 12626 33554432000 4194304 4196468 140730681132656 140730681115200 139979284139767 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
/proc/23387/statm: 3787258 12626 3364 1 0 3748377 0
[pid=23387/tid=23388] ppid=23385 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/23387/task/23388/stat : 23388 (java) R 23385 23385 21297 0 -1 4202560 7837 0 0 0 27 3 0 0 20 0 15 0 516707865 15512608768 12626 33554432000 4194304 4196468 140730681132656 139979288374160 139979268220254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23389] ppid=23385 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23389/stat : 23389 (java) S 23385 23385 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516707866 15512608768 12626 33554432000 4194304 4196468 140730681132656 139979236760336 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23390] ppid=23385 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23390/stat : 23390 (java) S 23385 23385 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516707866 15512608768 12626 33554432000 4194304 4196468 140730681132656 139979235707792 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23391] ppid=23385 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23391/stat : 23391 (java) S 23385 23385 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516707866 15512608768 12626 33554432000 4194304 4196468 140730681132656 139979234655248 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23392] ppid=23385 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23392/stat : 23392 (java) S 23385 23385 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516707866 15512608768 12626 33554432000 4194304 4196468 140730681132656 139979233602704 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23393] ppid=23385 vsize=15149032 memory=-7161737532689465503 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23393/stat : 23393 (java) S 23385 23385 21297 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516707867 15512608768 12626 33554432000 4194304 4196468 140730681132656 139978752374768 139979284150914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23394] ppid=23385 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23394/stat : 23394 (java) S 23385 23385 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516707868 15512608768 12626 33554432000 4194304 4196468 140730681132656 139978751320992 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23395] ppid=23385 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23395/stat : 23395 (java) S 23385 23385 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516707868 15512608768 12626 33554432000 4194304 4196468 140730681132656 139978750268400 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23396] ppid=23385 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23396/stat : 23396 (java) S 23385 23385 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516707870 15512608768 12626 33554432000 4194304 4196468 140730681132656 139978749216976 139979284158363 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23397] ppid=23385 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/23387/task/23397/stat : 23397 (java) S 23385 23385 21297 0 -1 1077944384 685 0 0 0 5 0 0 0 20 0 15 0 516707870 15512608768 12626 33554432000 4194304 4196468 140730681132656 139978748164592 139979284150914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23398] ppid=23385 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/23387/task/23398/stat : 23398 (java) S 23385 23385 21297 0 -1 1077944384 275 0 0 0 4 0 0 0 20 0 15 0 516707871 15512608768 12626 33554432000 4194304 4196468 140730681132656 139978747112048 139979284150914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23399] ppid=23385 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23387/task/23399/stat : 23399 (java) S 23385 23385 21297 0 -1 1077944384 835 0 0 0 12 0 0 0 20 0 15 0 516707871 15512608768 12626 33554432000 4194304 4196468 140730681132656 139978746059504 139979284150914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23400] ppid=23385 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23400/stat : 23400 (java) S 23385 23385 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516707871 15512608768 12626 33554432000 4194304 4196468 140730681132656 139978745007200 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23401] ppid=23385 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23401/stat : 23401 (java) S 23385 23385 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516707871 15512608768 12626 33554432000 4194304 4196468 140730681132656 139978743953712 139979284150914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51956 KiB

[startup+0.703118 s]
/proc/loadavg: 5.11 4.78 3.54 5/229 23401
/proc/meminfo: memFree=26366300/32770624 swapFree=66986416/67108860
[pid=23385] ppid=23382 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23385/stat : 23385 (xcsp3-exec) S 23382 23385 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516707865 115843072 363 33554432000 4194304 5098028 140722126202496 140722126200600 140372358431356 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37482496 140722126209914 140722126210157 140722126210157 140722126213066 0
/proc/23385/statm: 28282 363 304 221 0 87 0
[pid=23387] ppid=23385 vsize=15151156 memory=92240 CPUtime=1.82 cores=1,3,5,7
/proc/23387/stat : 23387 (java) S 23385 23385 21297 0 -1 1077944320 15246 0 0 0 176 6 0 0 20 0 15 0 516707865 15514783744 23060 33554432000 4194304 4196468 140730681132656 140730681115200 139979284139767 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
/proc/23387/statm: 3787789 23060 3461 1 0 3748889 0
[pid=23387/tid=23388] ppid=23385 vsize=15151156 memory=-3704326594973231466 CPUtime=0.68 cores=1,3,5,7
/proc/23387/task/23388/stat : 23388 (java) R 23385 23385 21297 0 -1 4202560 9217 0 0 0 64 4 0 0 20 0 15 0 516707865 15514783744 23060 33554432000 4194304 4196468 140730681132656 139979288375360 139978910396864 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23389] ppid=23385 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23389/stat : 23389 (java) S 23385 23385 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516707866 15514783744 23060 33554432000 4194304 4196468 140730681132656 139979236760336 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23390] ppid=23385 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23390/stat : 23390 (java) S 23385 23385 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516707866 15514783744 23060 33554432000 4194304 4196468 140730681132656 139979235707792 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23391] ppid=23385 vsize=15151156 memory=692 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23391/stat : 23391 (java) S 23385 23385 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516707866 15514783744 23060 33554432000 4194304 4196468 140730681132656 139979234655248 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23392] ppid=23385 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23392/stat : 23392 (java) S 23385 23385 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516707866 15514783744 23060 33554432000 4194304 4196468 140730681132656 139979233602704 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23393] ppid=23385 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23393/stat : 23393 (java) S 23385 23385 21297 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516707867 15514783744 23060 33554432000 4194304 4196468 140730681132656 139978752374768 139979284150914 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23394] ppid=23385 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23394/stat : 23394 (java) S 23385 23385 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516707868 15514783744 23060 33554432000 4194304 4196468 140730681132656 139978751320992 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23395] ppid=23385 vsize=15151156 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23395/stat : 23395 (java) S 23385 23385 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516707868 15514783744 23060 33554432000 4194304 4196468 140730681132656 139978750268400 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23396] ppid=23385 vsize=15151156 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23396/stat : 23396 (java) S 23385 23385 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516707870 15514783744 23060 33554432000 4194304 4196468 140730681132656 139978749216976 139979284158363 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23397] ppid=23385 vsize=15151156 memory=6208 CPUtime=0.38 cores=1,3,5,7
/proc/23387/task/23397/stat : 23397 (java) R 23385 23385 21297 0 -1 4202560 1669 0 0 0 38 0 0 0 20 0 15 0 516707870 15514783744 23060 33554432000 4194304 4196468 140730681132656 139978748164720 139979265664962 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23398] ppid=23385 vsize=15151156 memory=7552 CPUtime=0.32 cores=1,3,5,7
/proc/23387/task/23398/stat : 23398 (java) R 23385 23385 21297 0 -1 4202560 963 0 0 0 32 0 0 0 20 0 15 0 516707871 15514783744 23060 33554432000 4194304 4196468 140730681132656 139978747098896 139979284151702 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23399] ppid=23385 vsize=15151156 memory=2832 CPUtime=0.41 cores=1,3,5,7
/proc/23387/task/23399/stat : 23399 (java) R 23385 23385 21297 0 -1 1077944384 2088 0 0 0 41 0 0 0 20 0 15 0 516707871 15514783744 23060 33554432000 4194304 4196468 140730681132656 139978746059632 139979284149973 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23400] ppid=23385 vsize=15151156 memory=1084 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23400/stat : 23400 (java) S 23385 23385 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516707871 15514783744 23060 33554432000 4194304 4196468 140730681132656 139978745007200 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23401] ppid=23385 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23401/stat : 23401 (java) S 23385 23385 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516707871 15514783744 23060 33554432000 4194304 4196468 140730681132656 139978743953712 139979284150914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 93692 KiB

[startup+1.50086 s]
/proc/loadavg: 5.11 4.78 3.54 5/229 23401
/proc/meminfo: memFree=26331368/32770624 swapFree=66986416/67108860
[pid=23385] ppid=23382 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23385/stat : 23385 (xcsp3-exec) S 23382 23385 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516707865 115843072 363 33554432000 4194304 5098028 140722126202496 140722126200600 140372358431356 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37482496 140722126209914 140722126210157 140722126210157 140722126213066 0
/proc/23385/statm: 28282 363 304 221 0 87 0

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

/proc/23385/stat : 23385 (xcsp3-exec) S 23382 23385 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516707865 115843072 363 33554432000 4194304 5098028 140722126202496 140722126200600 140372358431356 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37482496 140722126209914 140722126210157 140722126210157 140722126213066 0
/proc/23385/statm: 28282 363 304 221 0 87 0
[pid=23387] ppid=23385 vsize=15153204 memory=163104 CPUtime=30.7 cores=1,3,5,7
/proc/23387/stat : 23387 (java) S 23385 23385 21297 0 -1 1077944320 43266 0 0 0 3060 10 0 0 20 0 15 0 516707865 15516880896 40776 33554432000 4194304 4196468 140730681132656 140730681115200 139979284139767 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
/proc/23387/statm: 3788301 40776 3488 1 0 3749401 0
[pid=23387/tid=23388] ppid=23385 vsize=15153204 memory=1084 CPUtime=25.56 cores=1,3,5,7
/proc/23387/task/23388/stat : 23388 (java) R 23385 23385 21297 0 -1 4202560 13168 0 0 0 2551 5 0 0 20 0 15 0 516707865 15516880896 40776 33554432000 4194304 4196468 140730681132656 139979288376936 139978913366609 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23389] ppid=23385 vsize=15153204 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23389/stat : 23389 (java) S 23385 23385 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516707866 15516880896 40776 33554432000 4194304 4196468 140730681132656 139979236760336 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23390] ppid=23385 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23390/stat : 23390 (java) S 23385 23385 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516707866 15516880896 40776 33554432000 4194304 4196468 140730681132656 139979235707792 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23391] ppid=23385 vsize=15153204 memory=288291086387118864 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23391/stat : 23391 (java) S 23385 23385 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516707866 15516880896 40776 33554432000 4194304 4196468 140730681132656 139979234655248 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23392] ppid=23385 vsize=15153204 memory=11089 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23392/stat : 23392 (java) S 23385 23385 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516707866 15516880896 40776 33554432000 4194304 4196468 140730681132656 139979233602704 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23393] ppid=23385 vsize=15153204 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23393/stat : 23393 (java) S 23385 23385 21297 0 -1 1077944384 351 0 0 0 0 0 0 0 20 0 15 0 516707867 15516880896 40776 33554432000 4194304 4196468 140730681132656 139978752374768 139979284150914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23394] ppid=23385 vsize=15153204 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23394/stat : 23394 (java) S 23385 23385 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516707868 15516880896 40776 33554432000 4194304 4196468 140730681132656 139978751320992 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23395] ppid=23385 vsize=15153204 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23395/stat : 23395 (java) S 23385 23385 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516707868 15516880896 40776 33554432000 4194304 4196468 140730681132656 139978750268400 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23396] ppid=23385 vsize=15153204 memory=11044 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23396/stat : 23396 (java) S 23385 23385 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516707870 15516880896 40776 33554432000 4194304 4196468 140730681132656 139978749216976 139979284158363 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23397] ppid=23385 vsize=15153204 memory=120700 CPUtime=2.17 cores=1,3,5,7
/proc/23387/task/23397/stat : 23397 (java) S 23385 23385 21297 0 -1 1077944384 11459 0 0 0 216 1 0 0 20 0 15 0 516707870 15516880896 40776 33554432000 4194304 4196468 140730681132656 139978748164592 139979284150914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23398] ppid=23385 vsize=15153204 memory=119524 CPUtime=2.16 cores=1,3,5,7
/proc/23387/task/23398/stat : 23398 (java) S 23385 23385 21297 0 -1 1077944384 11277 0 0 0 215 1 0 0 20 0 15 0 516707871 15516880896 40776 33554432000 4194304 4196468 140730681132656 139978747112048 139979284150914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23399] ppid=23385 vsize=15153204 memory=3616 CPUtime=0.76 cores=1,3,5,7
/proc/23387/task/23399/stat : 23399 (java) S 23385 23385 21297 0 -1 1077944384 5290 0 0 0 76 0 0 0 20 0 15 0 516707871 15516880896 40776 33554432000 4194304 4196468 140730681132656 139978746059504 139979284150914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23400] ppid=23385 vsize=15153204 memory=66684 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23400/stat : 23400 (java) S 23385 23385 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516707871 15516880896 40776 33554432000 4194304 4196468 140730681132656 139978745007200 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23401] ppid=23385 vsize=15153204 memory=988 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23401/stat : 23401 (java) S 23385 23385 21297 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 516707871 15516880896 40776 33554432000 4194304 4196468 140730681132656 139978743953712 139979284150914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
Current children cumulated CPU time: 30.7 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 164556 KiB

[startup+27.2007 s]
/proc/loadavg: 4.05 4.55 3.50 3/229 23403
/proc/meminfo: memFree=26271344/32770624 swapFree=66986416/67108860
[pid=23385] ppid=23382 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23385/stat : 23385 (xcsp3-exec) S 23382 23385 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516707865 115843072 363 33554432000 4194304 5098028 140722126202496 140722126200600 140372358431356 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37482496 140722126209914 140722126210157 140722126210157 140722126213066 0
/proc/23385/statm: 28282 363 304 221 0 87 0
[pid=23387] ppid=23385 vsize=15153204 memory=167216 CPUtime=32.31 cores=1,3,5,7
/proc/23387/stat : 23387 (java) S 23385 23385 21297 0 -1 1077944320 43678 0 0 0 3221 10 0 0 20 0 15 0 516707865 15516880896 41804 33554432000 4194304 4196468 140730681132656 140730681115200 139979284139767 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
/proc/23387/statm: 3788301 41804 3488 1 0 3749401 0
[pid=23387/tid=23388] ppid=23385 vsize=15153204 memory=156960 CPUtime=27.16 cores=1,3,5,7
/proc/23387/task/23388/stat : 23388 (java) R 23385 23385 21297 0 -1 4202560 13182 0 0 0 2711 5 0 0 20 0 15 0 516707865 15516880896 41804 33554432000 4194304 4196468 140730681132656 139979288377016 139978910312454 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23389] ppid=23385 vsize=15153204 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23389/stat : 23389 (java) S 23385 23385 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516707866 15516880896 41804 33554432000 4194304 4196468 140730681132656 139979236760336 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23390] ppid=23385 vsize=15153204 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23390/stat : 23390 (java) S 23385 23385 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516707866 15516880896 41804 33554432000 4194304 4196468 140730681132656 139979235707792 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23391] ppid=23385 vsize=15153204 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23391/stat : 23391 (java) S 23385 23385 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516707866 15516880896 41804 33554432000 4194304 4196468 140730681132656 139979234655248 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23392] ppid=23385 vsize=15153204 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23392/stat : 23392 (java) S 23385 23385 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516707866 15516880896 41804 33554432000 4194304 4196468 140730681132656 139979233602704 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23393] ppid=23385 vsize=15153204 memory=1084 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23393/stat : 23393 (java) S 23385 23385 21297 0 -1 1077944384 381 0 0 0 0 0 0 0 20 0 15 0 516707867 15516880896 41804 33554432000 4194304 4196468 140730681132656 139978752374768 139979284150914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23394] ppid=23385 vsize=15153204 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23394/stat : 23394 (java) S 23385 23385 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516707868 15516880896 41804 33554432000 4194304 4196468 140730681132656 139978751320992 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23395] ppid=23385 vsize=15153204 memory=14048 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23395/stat : 23395 (java) S 23385 23385 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516707868 15516880896 41804 33554432000 4194304 4196468 140730681132656 139978750268400 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23396] ppid=23385 vsize=15153204 memory=35800 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23396/stat : 23396 (java) S 23385 23385 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516707870 15516880896 41804 33554432000 4194304 4196468 140730681132656 139978749216976 139979284158363 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23397] ppid=23385 vsize=15153204 memory=2120 CPUtime=2.17 cores=1,3,5,7
/proc/23387/task/23397/stat : 23397 (java) S 23385 23385 21297 0 -1 1077944384 11459 0 0 0 216 1 0 0 20 0 15 0 516707870 15516880896 41804 33554432000 4194304 4196468 140730681132656 139978748164592 139979284150914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23398] ppid=23385 vsize=15153204 memory=532 CPUtime=2.17 cores=1,3,5,7
/proc/23387/task/23398/stat : 23398 (java) S 23385 23385 21297 0 -1 1077944384 11332 0 0 0 216 1 0 0 20 0 15 0 516707871 15516880896 41804 33554432000 4194304 4196468 140730681132656 139978747112048 139979284150914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23399] ppid=23385 vsize=15153204 memory=1056 CPUtime=0.76 cores=1,3,5,7
/proc/23387/task/23399/stat : 23399 (java) S 23385 23385 21297 0 -1 1077944384 5603 0 0 0 76 0 0 0 20 0 15 0 516707871 15516880896 41804 33554432000 4194304 4196468 140730681132656 139978746059504 139979284150914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23400] ppid=23385 vsize=15153204 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23400/stat : 23400 (java) S 23385 23385 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516707871 15516880896 41804 33554432000 4194304 4196468 140730681132656 139978745007200 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23401] ppid=23385 vsize=15153204 memory=780 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23401/stat : 23401 (java) S 23385 23385 21297 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 516707871 15516880896 41804 33554432000 4194304 4196468 140730681132656 139978743953712 139979284150914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
Current children cumulated CPU time: 32.31 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 168668 KiB

[startup+27.6007 s]
/proc/loadavg: 4.05 4.55 3.50 3/229 23403
/proc/meminfo: memFree=26271344/32770624 swapFree=66986416/67108860
[pid=23385] ppid=23382 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23385/stat : 23385 (xcsp3-exec) S 23382 23385 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516707865 115843072 363 33554432000 4194304 5098028 140722126202496 140722126200600 140372358431356 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37482496 140722126209914 140722126210157 140722126210157 140722126213066 0
/proc/23385/statm: 28282 363 304 221 0 87 0
[pid=23387] ppid=23385 vsize=15153204 memory=167216 CPUtime=32.71 cores=1,3,5,7
/proc/23387/stat : 23387 (java) S 23385 23385 21297 0 -1 1077944320 43680 0 0 0 3261 10 0 0 20 0 15 0 516707865 15516880896 41804 33554432000 4194304 4196468 140730681132656 140730681115200 139979284139767 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
/proc/23387/statm: 3788301 41804 3488 1 0 3749401 0
[pid=23387/tid=23388] ppid=23385 vsize=15153204 memory=6791534058613427641 CPUtime=27.56 cores=1,3,5,7
/proc/23387/task/23388/stat : 23388 (java) R 23385 23385 21297 0 -1 4202560 13184 0 0 0 2751 5 0 0 20 0 15 0 516707865 15516880896 41804 33554432000 4194304 4196468 140730681132656 139979288377016 139978913842016 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23389] ppid=23385 vsize=15153204 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23389/stat : 23389 (java) S 23385 23385 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516707866 15516880896 41804 33554432000 4194304 4196468 140730681132656 139979236760336 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23390] ppid=23385 vsize=15153204 memory=796 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23390/stat : 23390 (java) S 23385 23385 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516707866 15516880896 41804 33554432000 4194304 4196468 140730681132656 139979235707792 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23391] ppid=23385 vsize=15153204 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23391/stat : 23391 (java) S 23385 23385 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516707866 15516880896 41804 33554432000 4194304 4196468 140730681132656 139979234655248 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23392] ppid=23385 vsize=15153204 memory=916 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23392/stat : 23392 (java) S 23385 23385 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516707866 15516880896 41804 33554432000 4194304 4196468 140730681132656 139979233602704 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23393] ppid=23385 vsize=15153204 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23393/stat : 23393 (java) S 23385 23385 21297 0 -1 1077944384 381 0 0 0 0 0 0 0 20 0 15 0 516707867 15516880896 41804 33554432000 4194304 4196468 140730681132656 139978752374768 139979284150914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23394] ppid=23385 vsize=15153204 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23394/stat : 23394 (java) S 23385 23385 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516707868 15516880896 41804 33554432000 4194304 4196468 140730681132656 139978751320992 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23395] ppid=23385 vsize=15153204 memory=163104 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23395/stat : 23395 (java) S 23385 23385 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516707868 15516880896 41804 33554432000 4194304 4196468 140730681132656 139978750268400 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23396] ppid=23385 vsize=15153204 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23396/stat : 23396 (java) S 23385 23385 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516707870 15516880896 41804 33554432000 4194304 4196468 140730681132656 139978749216976 139979284158363 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23397] ppid=23385 vsize=15153204 memory=8317482817917895235 CPUtime=2.17 cores=1,3,5,7
/proc/23387/task/23397/stat : 23397 (java) S 23385 23385 21297 0 -1 1077944384 11459 0 0 0 216 1 0 0 20 0 15 0 516707870 15516880896 41804 33554432000 4194304 4196468 140730681132656 139978748164592 139979284150914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23398] ppid=23385 vsize=15153204 memory=0 CPUtime=2.17 cores=1,3,5,7
/proc/23387/task/23398/stat : 23398 (java) S 23385 23385 21297 0 -1 1077944384 11332 0 0 0 216 1 0 0 20 0 15 0 516707871 15516880896 41804 33554432000 4194304 4196468 140730681132656 139978747112048 139979284150914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23399] ppid=23385 vsize=15153204 memory=0 CPUtime=0.76 cores=1,3,5,7
/proc/23387/task/23399/stat : 23399 (java) S 23385 23385 21297 0 -1 1077944384 5603 0 0 0 76 0 0 0 20 0 15 0 516707871 15516880896 41804 33554432000 4194304 4196468 140730681132656 139978746059504 139979284150914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23400] ppid=23385 vsize=15153204 memory=215 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23400/stat : 23400 (java) S 23385 23385 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516707871 15516880896 41804 33554432000 4194304 4196468 140730681132656 139978745007200 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23401] ppid=23385 vsize=15153204 memory=216 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23401/stat : 23401 (java) S 23385 23385 21297 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 516707871 15516880896 41804 33554432000 4194304 4196468 140730681132656 139978743953712 139979284150914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
Current children cumulated CPU time: 32.71 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 168668 KiB

[startup+27.8007 s]
/proc/loadavg: 4.05 4.55 3.50 3/229 23403
/proc/meminfo: memFree=26271344/32770624 swapFree=66986416/67108860
[pid=23385] ppid=23382 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23385/stat : 23385 (xcsp3-exec) S 23382 23385 21297 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516707865 115843072 363 33554432000 4194304 5098028 140722126202496 140722126200600 140372358431356 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 37482496 140722126209914 140722126210157 140722126210157 140722126213066 0
/proc/23385/statm: 28282 363 304 221 0 87 0
[pid=23387] ppid=23385 vsize=15153204 memory=167216 CPUtime=32.91 cores=1,3,5,7
/proc/23387/stat : 23387 (java) S 23385 23385 21297 0 -1 1077944320 43680 0 0 0 3281 10 0 0 20 0 15 0 516707865 15516880896 41804 33554432000 4194304 4196468 140730681132656 140730681115200 139979284139767 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
/proc/23387/statm: 3788301 41804 3488 1 0 3749401 0
[pid=23387/tid=23388] ppid=23385 vsize=15153204 memory=0 CPUtime=27.76 cores=1,3,5,7
/proc/23387/task/23388/stat : 23388 (java) R 23385 23385 21297 0 -1 4202560 13184 0 0 0 2771 5 0 0 20 0 15 0 516707865 15516880896 41804 33554432000 4194304 4196468 140730681132656 139979288377016 139978913531288 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23389] ppid=23385 vsize=15153204 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23389/stat : 23389 (java) S 23385 23385 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516707866 15516880896 41804 33554432000 4194304 4196468 140730681132656 139979236760336 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23390] ppid=23385 vsize=15153204 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23390/stat : 23390 (java) S 23385 23385 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516707866 15516880896 41804 33554432000 4194304 4196468 140730681132656 139979235707792 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23391] ppid=23385 vsize=15153204 memory=3192 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23391/stat : 23391 (java) S 23385 23385 21297 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516707866 15516880896 41804 33554432000 4194304 4196468 140730681132656 139979234655248 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23392] ppid=23385 vsize=15153204 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23392/stat : 23392 (java) S 23385 23385 21297 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516707866 15516880896 41804 33554432000 4194304 4196468 140730681132656 139979233602704 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23393] ppid=23385 vsize=15153204 memory=270768 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23393/stat : 23393 (java) S 23385 23385 21297 0 -1 1077944384 381 0 0 0 0 0 0 0 20 0 15 0 516707867 15516880896 41804 33554432000 4194304 4196468 140730681132656 139978752374768 139979284150914 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23394] ppid=23385 vsize=15153204 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23394/stat : 23394 (java) S 23385 23385 21297 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516707868 15516880896 41804 33554432000 4194304 4196468 140730681132656 139978751320992 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23395] ppid=23385 vsize=15153204 memory=2792 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23395/stat : 23395 (java) S 23385 23385 21297 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516707868 15516880896 41804 33554432000 4194304 4196468 140730681132656 139978750268400 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23396] ppid=23385 vsize=15153204 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23396/stat : 23396 (java) S 23385 23385 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516707870 15516880896 41804 33554432000 4194304 4196468 140730681132656 139978749216976 139979284158363 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23397] ppid=23385 vsize=15153204 memory=163104 CPUtime=2.17 cores=1,3,5,7
/proc/23387/task/23397/stat : 23397 (java) S 23385 23385 21297 0 -1 1077944384 11459 0 0 0 216 1 0 0 20 0 15 0 516707870 15516880896 41804 33554432000 4194304 4196468 140730681132656 139978748164592 139979284150914 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23398] ppid=23385 vsize=15153204 memory=6791534058613427641 CPUtime=2.17 cores=1,3,5,7
/proc/23387/task/23398/stat : 23398 (java) S 23385 23385 21297 0 -1 1077944384 11332 0 0 0 216 1 0 0 20 0 15 0 516707871 15516880896 41804 33554432000 4194304 4196468 140730681132656 139978747112048 139979284150914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23399] ppid=23385 vsize=15153204 memory=7596566953761128546 CPUtime=0.76 cores=1,3,5,7
/proc/23387/task/23399/stat : 23399 (java) S 23385 23385 21297 0 -1 1077944384 5603 0 0 0 76 0 0 0 20 0 15 0 516707871 15516880896 41804 33554432000 4194304 4196468 140730681132656 139978746059504 139979284150914 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23400] ppid=23385 vsize=15153204 memory=7596566953761128546 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23400/stat : 23400 (java) S 23385 23385 21297 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516707871 15516880896 41804 33554432000 4194304 4196468 140730681132656 139978745007200 139979284149973 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
[pid=23387/tid=23401] ppid=23385 vsize=15153204 memory=7596566953761128546 CPUtime=0 cores=1,3,5,7
/proc/23387/task/23401/stat : 23401 (java) S 23385 23385 21297 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 516707871 15516880896 41804 33554432000 4194304 4196468 140730681132656 139978743953712 139979284150914 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6356992 140730681136111 140730681136282 140730681136282 140730681139151 0
Current children cumulated CPU time: 32.91 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 168668 KiB

Child status: 0
Real time (s): 27.8408
CPU time (s): 32.971
CPU user time (s): 32.8526
CPU system time (s): 0.11846
CPU usage (%): 118.427
Max. virtual memory (cumulated for all children) (KiB): 15266332
Max. memory (cumulated for all children) (KiB): 168668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.8526
system time used= 0.11846
maximum resident set size= 169548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44935
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3153
involuntary context switches= 49


# summary of solver processes directly reported to runsolver:
#   pid: 23385
#   total CPU time (s): 32.971
#   total CPU user time (s): 32.8526
#   total CPU system time (s): 0.11846

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.180267 second user time and 0.306016 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 4406114

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