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	33.7578	28.4284

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406138-1569414215.xml"  -tl '2520s' -p 1
0.13/0.17	c Choco e747e1e
0.13/0.18	c [HOME/instance-4406138-1569414215.xml, -tl, 2520s, -p, 1]
0.13/0.22	c simple solver
0.34/0.28	c parse instance...
2.17/0.81	c solve instance...
3.20/1.16	o 12 
7.33/3.02	o 11 
7.89/3.54	o 10 
33.72/28.42	s OPTIMUM FOUND
33.72/28.42	v <instantiation>
33.72/28.42	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>
33.72/28.42	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>
33.72/28.42	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 (13001 MiB free)
  memory of node 1: 16384 MiB (11658 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406138-1569414215/watcher-4406138-1569414215 -o /tmp/evaluation-result-4406138-1569414215/solver-4406138-1569414215 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1569396627-21716 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 674339674 HOME/instance-4406138-1569414215.xml 

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

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


[startup+0.101011 s]*
/proc/loadavg: 1.83 1.74 1.79 3/231 25141
/proc/meminfo: memFree=25235672/32770624 swapFree=66936840/67108860
[pid=25125] ppid=25122 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25125/stat : 25125 (xcsp3-exec) S 25122 25125 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517359322 115843072 363 33554432000 4194304 5098028 140734259201152 140734259199256 140711527973500 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9682944 140734259204987 140734259205229 140734259205229 140734259208138 0
/proc/25125/statm: 28282 363 304 221 0 87 0
[pid=25127] ppid=25125 vsize=15144776 memory=28876 CPUtime=0.13 cores=1,3,5,7
/proc/25127/stat : 25127 (java) S 25125 25125 21684 0 -1 1077944320 5653 0 0 0 12 1 0 0 20 0 15 0 517359323 15508250624 7219 33554432000 4194304 4196468 140725211150880 140725211133424 140324701847287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
/proc/25127/statm: 3786194 7219 3153 1 0 3748377 0
[pid=25127/tid=25128] ppid=25125 vsize=15144776 memory=-8895323862916359523 CPUtime=0.09 cores=1,3,5,7
/proc/25127/task/25128/stat : 25128 (java) R 25125 25125 21684 0 -1 4202560 3552 0 0 0 9 0 0 0 20 0 15 0 517359323 15508250624 7219 33554432000 4194304 4196468 140725211150880 140324706074304 140324694084414 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25129] ppid=25125 vsize=15144776 memory=3472467830027191504 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25129/stat : 25129 (java) S 25125 25125 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517359324 15508250624 7219 33554432000 4194304 4196468 140725211150880 140324638083344 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25130] ppid=25125 vsize=15144776 memory=139701132039808 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25130/stat : 25130 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359324 15508250624 7219 33554432000 4194304 4196468 140725211150880 140324637030800 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25131] ppid=25125 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25131/stat : 25131 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359324 15508250624 7219 33554432000 4194304 4196468 140725211150880 140324635978256 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25132] ppid=25125 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25132/stat : 25132 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359324 15508250624 7219 33554432000 4194304 4196468 140725211150880 140324291271312 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25133] ppid=25125 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25133/stat : 25133 (java) S 25125 25125 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517359325 15508250624 7219 33554432000 4194304 4196468 140725211150880 140324263213552 140324701858434 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25134] ppid=25125 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25134/stat : 25134 (java) S 25125 25125 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517359325 15508250624 7219 33554432000 4194304 4196468 140725211150880 140324262159776 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25135] ppid=25125 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25135/stat : 25135 (java) S 25125 25125 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517359326 15508250624 7219 33554432000 4194304 4196468 140725211150880 140324261107184 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25136] ppid=25125 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25136/stat : 25136 (java) S 25125 25125 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517359328 15508250624 7219 33554432000 4194304 4196468 140725211150880 140324260055760 140324701865883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25137] ppid=25125 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25137/stat : 25137 (java) R 25125 25125 21684 0 -1 4202560 450 0 0 0 0 0 0 0 20 0 15 0 517359328 15508250624 7219 33554432000 4194304 4196468 140725211150880 140324259001536 140324682547584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25138] ppid=25125 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25138/stat : 25138 (java) R 25125 25125 21684 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 517359328 15508250624 7219 33554432000 4194304 4196468 140725211150880 140324257949904 140324701857493 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25139] ppid=25125 vsize=15144776 memory=139701132039808 CPUtime=0.02 cores=1,3,5,7
/proc/25127/task/25139/stat : 25139 (java) R 25125 25125 21684 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 517359328 15508250624 7219 33554432000 4194304 4196468 140725211150880 140324256893144 140324681245803 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25140] ppid=25125 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25140/stat : 25140 (java) S 25125 25125 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517359328 15508250624 7219 33554432000 4194304 4196468 140725211150880 140324255844960 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25141] ppid=25125 vsize=15144776 memory=139701132039808 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25141/stat : 25141 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359328 15508250624 7219 33554432000 4194304 4196468 140725211150880 140324254792496 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30328 KiB

[startup+0.210815 s]*
/proc/loadavg: 1.83 1.74 1.79 4/231 25141
/proc/meminfo: memFree=25221936/32770624 swapFree=66936840/67108860
[pid=25125] ppid=25122 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25125/stat : 25125 (xcsp3-exec) S 25122 25125 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517359322 115843072 363 33554432000 4194304 5098028 140734259201152 140734259199256 140711527973500 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9682944 140734259204987 140734259205229 140734259205229 140734259208138 0
/proc/25125/statm: 28282 363 304 221 0 87 0
[pid=25127] ppid=25125 vsize=15144776 memory=41048 CPUtime=0.34 cores=1,3,5,7
/proc/25127/stat : 25127 (java) S 25125 25125 21684 0 -1 1077944320 9501 0 0 0 32 2 0 0 20 0 15 0 517359323 15508250624 10262 33554432000 4194304 4196468 140725211150880 140725211133424 140324701847287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
/proc/25127/statm: 3786194 10262 3310 1 0 3748377 0
[pid=25127/tid=25128] ppid=25125 vsize=15144776 memory=-8895323862916359523 CPUtime=0.2 cores=1,3,5,7
/proc/25127/task/25128/stat : 25128 (java) R 25125 25125 21684 0 -1 4202560 6604 0 0 0 19 1 0 0 20 0 15 0 517359323 15508250624 10325 33554432000 4194304 4196468 140725211150880 140324706085232 140324685927774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25129] ppid=25125 vsize=15144776 memory=3472467830027191504 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25129/stat : 25129 (java) S 25125 25125 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517359324 15508250624 10325 33554432000 4194304 4196468 140725211150880 140324638083344 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25130] ppid=25125 vsize=15144776 memory=139701132039808 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25130/stat : 25130 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359324 15508250624 10325 33554432000 4194304 4196468 140725211150880 140324637030800 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25131] ppid=25125 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25131/stat : 25131 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359324 15508250624 10325 33554432000 4194304 4196468 140725211150880 140324635978256 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25132] ppid=25125 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25132/stat : 25132 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359324 15508250624 10325 33554432000 4194304 4196468 140725211150880 140324291271312 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25133] ppid=25125 vsize=15144776 memory=139701132039808 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25133/stat : 25133 (java) S 25125 25125 21684 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517359325 15508250624 10325 33554432000 4194304 4196468 140725211150880 140324263213552 140324701858434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25134] ppid=25125 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25134/stat : 25134 (java) S 25125 25125 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517359325 15508250624 10325 33554432000 4194304 4196468 140725211150880 140324262159776 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25135] ppid=25125 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25135/stat : 25135 (java) S 25125 25125 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517359326 15508250624 10325 33554432000 4194304 4196468 140725211150880 140324261107184 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25136] ppid=25125 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25136/stat : 25136 (java) S 25125 25125 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517359328 15508250624 10325 33554432000 4194304 4196468 140725211150880 140324260055760 140324701865883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25137] ppid=25125 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25127/task/25137/stat : 25137 (java) S 25125 25125 21684 0 -1 1077944384 487 0 0 0 1 0 0 0 20 0 15 0 517359328 15508250624 10325 33554432000 4194304 4196468 140725211150880 140324259002352 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25138] ppid=25125 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/25127/task/25138/stat : 25138 (java) S 25125 25125 21684 0 -1 1077944384 350 0 0 0 3 0 0 0 20 0 15 0 517359328 15508250624 10325 33554432000 4194304 4196468 140725211150880 140324257949808 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25139] ppid=25125 vsize=15144776 memory=139701132039808 CPUtime=0.08 cores=1,3,5,7
/proc/25127/task/25139/stat : 25139 (java) S 25125 25125 21684 0 -1 1077944384 763 0 0 0 8 0 0 0 20 0 15 0 517359328 15508250624 10325 33554432000 4194304 4196468 140725211150880 140324256897264 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25140] ppid=25125 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25140/stat : 25140 (java) S 25125 25125 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517359328 15508250624 10325 33554432000 4194304 4196468 140725211150880 140324255844960 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25141] ppid=25125 vsize=15144776 memory=139701132039808 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25141/stat : 25141 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359328 15508250624 10325 33554432000 4194304 4196468 140725211150880 140324254792496 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42500 KiB

[startup+0.310775 s]*
/proc/loadavg: 1.83 1.74 1.79 4/231 25141
/proc/meminfo: memFree=25215136/32770624 swapFree=66936840/67108860
[pid=25125] ppid=25122 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25125/stat : 25125 (xcsp3-exec) S 25122 25125 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517359322 115843072 363 33554432000 4194304 5098028 140734259201152 140734259199256 140711527973500 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9682944 140734259204987 140734259205229 140734259205229 140734259208138 0
/proc/25125/statm: 28282 363 304 221 0 87 0
[pid=25127] ppid=25125 vsize=15149032 memory=50440 CPUtime=0.53 cores=1,3,5,7
/proc/25127/stat : 25127 (java) S 25125 25125 21684 0 -1 1077944320 10962 0 0 0 50 3 0 0 20 0 15 0 517359323 15512608768 12610 33554432000 4194304 4196468 140725211150880 140725211133424 140324701847287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
/proc/25127/statm: 3787258 12610 3372 1 0 3748377 0
[pid=25127/tid=25128] ppid=25125 vsize=15149032 memory=-8094235084319000145 CPUtime=0.3 cores=1,3,5,7
/proc/25127/task/25128/stat : 25128 (java) R 25125 25125 21684 0 -1 4202560 7820 0 0 0 28 2 0 0 20 0 15 0 517359323 15512608768 12610 33554432000 4194304 4196468 140725211150880 140324706073904 140324315988044 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25129] ppid=25125 vsize=15149032 memory=3472467830027191504 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25129/stat : 25129 (java) S 25125 25125 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517359324 15512608768 12610 33554432000 4194304 4196468 140725211150880 140324638083344 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25130] ppid=25125 vsize=15149032 memory=279402124102016 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25130/stat : 25130 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359324 15512608768 12610 33554432000 4194304 4196468 140725211150880 140324637030800 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25131] ppid=25125 vsize=15149032 memory=279401984156704 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25131/stat : 25131 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359324 15512608768 12610 33554432000 4194304 4196468 140725211150880 140324635978256 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25132] ppid=25125 vsize=15149032 memory=139700992062223 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25132/stat : 25132 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359324 15512608768 12610 33554432000 4194304 4196468 140725211150880 140324291271312 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25133] ppid=25125 vsize=15149032 memory=279402124111232 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25133/stat : 25133 (java) S 25125 25125 21684 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517359325 15512608768 12610 33554432000 4194304 4196468 140725211150880 140324263213552 140324701858434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25134] ppid=25125 vsize=15149032 memory=139700992066831 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25134/stat : 25134 (java) S 25125 25125 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517359325 15512608768 12610 33554432000 4194304 4196468 140725211150880 140324262159776 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25135] ppid=25125 vsize=15149032 memory=139700992093403 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25135/stat : 25135 (java) S 25125 25125 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517359326 15512608768 12610 33554432000 4194304 4196468 140725211150880 140324261107184 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25136] ppid=25125 vsize=15149032 memory=139700992096482 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25136/stat : 25136 (java) S 25125 25125 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517359328 15512608768 12610 33554432000 4194304 4196468 140725211150880 140324260055760 140324701865883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25137] ppid=25125 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/25127/task/25137/stat : 25137 (java) S 25125 25125 21684 0 -1 1077944384 530 0 0 0 3 0 0 0 20 0 15 0 517359328 15512608768 12610 33554432000 4194304 4196468 140725211150880 140324259002352 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25138] ppid=25125 vsize=15149032 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/25127/task/25138/stat : 25138 (java) S 25125 25125 21684 0 -1 1077944384 455 0 0 0 5 0 0 0 20 0 15 0 517359328 15512608768 12610 33554432000 4194304 4196468 140725211150880 140324257949808 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25139] ppid=25125 vsize=15149032 memory=139701132039808 CPUtime=0.12 cores=1,3,5,7
/proc/25127/task/25139/stat : 25139 (java) S 25125 25125 21684 0 -1 1077944384 853 0 0 0 12 0 0 0 20 0 15 0 517359328 15512608768 12610 33554432000 4194304 4196468 140725211150880 140324256897264 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25140] ppid=25125 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25140/stat : 25140 (java) S 25125 25125 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517359328 15512608768 12610 33554432000 4194304 4196468 140725211150880 140324255844960 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25141] ppid=25125 vsize=15149032 memory=139701132041260 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25141/stat : 25141 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359328 15512608768 12610 33554432000 4194304 4196468 140725211150880 140324254792496 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51892 KiB

[startup+0.700735 s]
/proc/loadavg: 1.83 1.74 1.79 5/231 25141
/proc/meminfo: memFree=25190824/32770624 swapFree=66936840/67108860
[pid=25125] ppid=25122 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25125/stat : 25125 (xcsp3-exec) S 25122 25125 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517359322 115843072 363 33554432000 4194304 5098028 140734259201152 140734259199256 140711527973500 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9682944 140734259204987 140734259205229 140734259205229 140734259208138 0
/proc/25125/statm: 28282 363 304 221 0 87 0
[pid=25127] ppid=25125 vsize=15151156 memory=93676 CPUtime=1.82 cores=1,3,5,7
/proc/25127/stat : 25127 (java) S 25125 25125 21684 0 -1 1077944320 15482 0 0 0 177 5 0 0 20 0 15 0 517359323 15514783744 23419 33554432000 4194304 4196468 140725211150880 140725211133424 140324701847287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
/proc/25127/statm: 3787789 23419 3458 1 0 3748889 0
[pid=25127/tid=25128] ppid=25125 vsize=15151156 memory=8320808402720142132 CPUtime=0.68 cores=1,3,5,7
/proc/25127/task/25128/stat : 25128 (java) R 25125 25125 21684 0 -1 4202560 9095 0 0 0 65 3 0 0 20 0 15 0 517359323 15514783744 23419 33554432000 4194304 4196468 140725211150880 140324706080656 140324701859222 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25129] ppid=25125 vsize=15151156 memory=7007709048888709996 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25129/stat : 25129 (java) S 25125 25125 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517359324 15514783744 23419 33554432000 4194304 4196468 140725211150880 140324638083344 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25130] ppid=25125 vsize=15151156 memory=5788930165031592000 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25130/stat : 25130 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359324 15514783744 23419 33554432000 4194304 4196468 140725211150880 140324637030800 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25131] ppid=25125 vsize=15151156 memory=4640206664254902352 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25131/stat : 25131 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359324 15514783744 23419 33554432000 4194304 4196468 140725211150880 140324635978256 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25132] ppid=25125 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25132/stat : 25132 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359324 15514783744 23419 33554432000 4194304 4196468 140725211150880 140324291271312 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25133] ppid=25125 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25133/stat : 25133 (java) S 25125 25125 21684 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517359325 15514783744 23419 33554432000 4194304 4196468 140725211150880 140324263213552 140324701858434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25134] ppid=25125 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25134/stat : 25134 (java) S 25125 25125 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517359325 15514783744 23419 33554432000 4194304 4196468 140725211150880 140324262159776 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25135] ppid=25125 vsize=15151156 memory=11620 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25135/stat : 25135 (java) S 25125 25125 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517359326 15514783744 23419 33554432000 4194304 4196468 140725211150880 140324261107184 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25136] ppid=25125 vsize=15151156 memory=3608 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25136/stat : 25136 (java) S 25125 25125 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517359328 15514783744 23419 33554432000 4194304 4196468 140725211150880 140324260055760 140324701865883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25137] ppid=25125 vsize=15151156 memory=2828 CPUtime=0.32 cores=1,3,5,7
/proc/25127/task/25137/stat : 25137 (java) S 25125 25125 21684 0 -1 1077944384 1435 0 0 0 32 0 0 0 20 0 15 0 517359328 15514783744 23419 33554432000 4194304 4196468 140725211150880 140324259002352 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25138] ppid=25125 vsize=15151156 memory=1000 CPUtime=0.37 cores=1,3,5,7
/proc/25127/task/25138/stat : 25138 (java) S 25125 25125 21684 0 -1 1077944384 1684 0 0 0 37 0 0 0 20 0 15 0 517359328 15514783744 23419 33554432000 4194304 4196468 140725211150880 140324257949808 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25139] ppid=25125 vsize=15151156 memory=1560 CPUtime=0.41 cores=1,3,5,7
/proc/25127/task/25139/stat : 25139 (java) R 25125 25125 21684 0 -1 4202560 1963 0 0 0 41 0 0 0 20 0 15 0 517359328 15514783744 23419 33554432000 4194304 4196468 140725211150880 140324256897264 140324685927774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25140] ppid=25125 vsize=15151156 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25140/stat : 25140 (java) S 25125 25125 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517359328 15514783744 23419 33554432000 4194304 4196468 140725211150880 140324255844960 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25141] ppid=25125 vsize=15151156 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25141/stat : 25141 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359328 15514783744 23419 33554432000 4194304 4196468 140725211150880 140324254792496 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 95128 KiB

[startup+1.50087 s]
/proc/loadavg: 1.83 1.74 1.79 5/231 25141
/proc/meminfo: memFree=25154156/32770624 swapFree=66936840/67108860
[pid=25125] ppid=25122 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25125/stat : 25125 (xcsp3-exec) S 25122 25125 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517359322 115843072 363 33554432000 4194304 5098028 140734259201152 140734259199256 140711527973500 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9682944 140734259204987 140734259205229 140734259205229 140734259208138 0
/proc/25125/statm: 28282 363 304 221 0 87 0

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

/proc/25125/stat : 25125 (xcsp3-exec) S 25122 25125 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517359322 115843072 363 33554432000 4194304 5098028 140734259201152 140734259199256 140711527973500 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9682944 140734259204987 140734259205229 140734259205229 140734259208138 0
/proc/25125/statm: 28282 363 304 221 0 87 0
[pid=25127] ppid=25125 vsize=15153204 memory=165484 CPUtime=30.92 cores=1,3,5,7
/proc/25127/stat : 25127 (java) S 25125 25125 21684 0 -1 1077944320 42102 0 0 0 3083 9 0 0 20 0 15 0 517359323 15516880896 41371 33554432000 4194304 4196468 140725211150880 140725211133424 140324701847287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
/proc/25127/statm: 3788301 41371 3487 1 0 3749401 0
[pid=25127/tid=25128] ppid=25125 vsize=15153204 memory=11620 CPUtime=25.32 cores=1,3,5,7
/proc/25127/task/25128/stat : 25128 (java) R 25125 25125 21684 0 -1 4202560 13344 0 0 0 2528 4 0 0 20 0 15 0 517359323 15516880896 41371 33554432000 4194304 4196468 140725211150880 140324706083792 140324323401300 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25129] ppid=25125 vsize=15153204 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25129/stat : 25129 (java) S 25125 25125 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517359324 15516880896 41371 33554432000 4194304 4196468 140725211150880 140324638083344 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25130] ppid=25125 vsize=15153204 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25130/stat : 25130 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359324 15516880896 41371 33554432000 4194304 4196468 140725211150880 140324637030800 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25131] ppid=25125 vsize=15153204 memory=139700992385360 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25131/stat : 25131 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359324 15516880896 41371 33554432000 4194304 4196468 140725211150880 140324635978256 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25132] ppid=25125 vsize=15153204 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25132/stat : 25132 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359324 15516880896 41371 33554432000 4194304 4196468 140725211150880 140324291271312 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25133] ppid=25125 vsize=15153204 memory=128296 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25133/stat : 25133 (java) S 25125 25125 21684 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 15 0 517359325 15516880896 41371 33554432000 4194304 4196468 140725211150880 140324263213552 140324701858434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25134] ppid=25125 vsize=15153204 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25134/stat : 25134 (java) S 25125 25125 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517359325 15516880896 41371 33554432000 4194304 4196468 140725211150880 140324262159776 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25135] ppid=25125 vsize=15153204 memory=1399094042734925955 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25135/stat : 25135 (java) S 25125 25125 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517359326 15516880896 41371 33554432000 4194304 4196468 140725211150880 140324261107184 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25136] ppid=25125 vsize=15153204 memory=-7737605734073681312 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25136/stat : 25136 (java) S 25125 25125 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517359328 15516880896 41371 33554432000 4194304 4196468 140725211150880 140324260055760 140324701865883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25137] ppid=25125 vsize=15153204 memory=2012 CPUtime=2.34 cores=1,3,5,7
/proc/25127/task/25137/stat : 25137 (java) S 25125 25125 21684 0 -1 1077944384 9920 0 0 0 233 1 0 0 20 0 15 0 517359328 15516880896 41371 33554432000 4194304 4196468 140725211150880 140324259002352 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25138] ppid=25125 vsize=15153204 memory=1424 CPUtime=2.43 cores=1,3,5,7
/proc/25127/task/25138/stat : 25138 (java) S 25125 25125 21684 0 -1 1077944384 9027 0 0 0 243 0 0 0 20 0 15 0 517359328 15516880896 41371 33554432000 4194304 4196468 140725211150880 140324257949808 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25139] ppid=25125 vsize=15153204 memory=1704 CPUtime=0.77 cores=1,3,5,7
/proc/25127/task/25139/stat : 25139 (java) S 25125 25125 21684 0 -1 1077944384 7275 0 0 0 76 1 0 0 20 0 15 0 517359328 15516880896 41371 33554432000 4194304 4196468 140725211150880 140324256897264 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25140] ppid=25125 vsize=15153204 memory=6192 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25140/stat : 25140 (java) S 25125 25125 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517359328 15516880896 41371 33554432000 4194304 4196468 140725211150880 140324255844960 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25141] ppid=25125 vsize=15153204 memory=768 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25141/stat : 25141 (java) S 25125 25125 21684 0 -1 1077944384 916 0 0 0 0 0 0 0 20 0 15 0 517359328 15516880896 41371 33554432000 4194304 4196468 140725211150880 140324254792496 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 28 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
Current children cumulated CPU time: 30.92 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 166936 KiB

[startup+27.2007 s]
/proc/loadavg: 1.95 1.78 1.80 3/230 25142
/proc/meminfo: memFree=25057496/32770624 swapFree=66936840/67108860
[pid=25125] ppid=25122 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25125/stat : 25125 (xcsp3-exec) S 25122 25125 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517359322 115843072 363 33554432000 4194304 5098028 140734259201152 140734259199256 140711527973500 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9682944 140734259204987 140734259205229 140734259205229 140734259208138 0
/proc/25125/statm: 28282 363 304 221 0 87 0
[pid=25127] ppid=25125 vsize=15153204 memory=169580 CPUtime=32.52 cores=1,3,5,7
/proc/25127/stat : 25127 (java) S 25125 25125 21684 0 -1 1077944320 42121 0 0 0 3243 9 0 0 20 0 15 0 517359323 15516880896 42395 33554432000 4194304 4196468 140725211150880 140725211133424 140324701847287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
/proc/25127/statm: 3788301 42395 3487 1 0 3749401 0
[pid=25127/tid=25128] ppid=25125 vsize=15153204 memory=2696 CPUtime=26.92 cores=1,3,5,7
/proc/25127/task/25128/stat : 25128 (java) R 25125 25125 21684 0 -1 4202560 13363 0 0 0 2688 4 0 0 20 0 15 0 517359323 15516880896 42395 33554432000 4194304 4196468 140725211150880 140324706083792 140324321964514 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25129] ppid=25125 vsize=15153204 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25129/stat : 25129 (java) S 25125 25125 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517359324 15516880896 42395 33554432000 4194304 4196468 140725211150880 140324638083344 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25130] ppid=25125 vsize=15153204 memory=53612 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25130/stat : 25130 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359324 15516880896 42395 33554432000 4194304 4196468 140725211150880 140324637030800 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25131] ppid=25125 vsize=15153204 memory=988 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25131/stat : 25131 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359324 15516880896 42395 33554432000 4194304 4196468 140725211150880 140324635978256 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25132] ppid=25125 vsize=15153204 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25132/stat : 25132 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359324 15516880896 42395 33554432000 4194304 4196468 140725211150880 140324291271312 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25133] ppid=25125 vsize=15153204 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25133/stat : 25133 (java) S 25125 25125 21684 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 15 0 517359325 15516880896 42395 33554432000 4194304 4196468 140725211150880 140324263213552 140324701858434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25134] ppid=25125 vsize=15153204 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25134/stat : 25134 (java) S 25125 25125 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517359325 15516880896 42395 33554432000 4194304 4196468 140725211150880 140324262159776 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25135] ppid=25125 vsize=15153204 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25135/stat : 25135 (java) S 25125 25125 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517359326 15516880896 42395 33554432000 4194304 4196468 140725211150880 140324261107184 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25136] ppid=25125 vsize=15153204 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25136/stat : 25136 (java) S 25125 25125 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517359328 15516880896 42395 33554432000 4194304 4196468 140725211150880 140324260055760 140324701865883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25137] ppid=25125 vsize=15153204 memory=1424 CPUtime=2.34 cores=1,3,5,7
/proc/25127/task/25137/stat : 25137 (java) S 25125 25125 21684 0 -1 1077944384 9920 0 0 0 233 1 0 0 20 0 15 0 517359328 15516880896 42395 33554432000 4194304 4196468 140725211150880 140324259002352 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25138] ppid=25125 vsize=15153204 memory=1704 CPUtime=2.43 cores=1,3,5,7
/proc/25127/task/25138/stat : 25138 (java) S 25125 25125 21684 0 -1 1077944384 9027 0 0 0 243 0 0 0 20 0 15 0 517359328 15516880896 42395 33554432000 4194304 4196468 140725211150880 140324257949808 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25139] ppid=25125 vsize=15153204 memory=6192 CPUtime=0.77 cores=1,3,5,7
/proc/25127/task/25139/stat : 25139 (java) S 25125 25125 21684 0 -1 1077944384 7275 0 0 0 76 1 0 0 20 0 15 0 517359328 15516880896 42395 33554432000 4194304 4196468 140725211150880 140324256897264 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25140] ppid=25125 vsize=15153204 memory=768 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25140/stat : 25140 (java) S 25125 25125 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517359328 15516880896 42395 33554432000 4194304 4196468 140725211150880 140324255844960 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25141] ppid=25125 vsize=15153204 memory=780 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25141/stat : 25141 (java) S 25125 25125 21684 0 -1 1077944384 916 0 0 0 0 0 0 0 20 0 15 0 517359328 15516880896 42395 33554432000 4194304 4196468 140725211150880 140324254792496 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
Current children cumulated CPU time: 32.52 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 171032 KiB

[startup+28.0007 s]*
/proc/loadavg: 1.95 1.78 1.80 3/230 25142
/proc/meminfo: memFree=25053400/32770624 swapFree=66936840/67108860
[pid=25125] ppid=25122 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25125/stat : 25125 (xcsp3-exec) S 25122 25125 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517359322 115843072 363 33554432000 4194304 5098028 140734259201152 140734259199256 140711527973500 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9682944 140734259204987 140734259205229 140734259205229 140734259208138 0
/proc/25125/statm: 28282 363 304 221 0 87 0
[pid=25127] ppid=25125 vsize=15153204 memory=171648 CPUtime=33.33 cores=1,3,5,7
/proc/25127/stat : 25127 (java) S 25125 25125 21684 0 -1 1077944320 42599 0 0 0 3324 9 0 0 20 0 15 0 517359323 15516880896 42912 33554432000 4194304 4196468 140725211150880 140725211133424 140324701847287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
/proc/25127/statm: 3788301 42912 3487 1 0 3749401 0
[pid=25127/tid=25128] ppid=25125 vsize=15153204 memory=1398722017469774279 CPUtime=27.73 cores=1,3,5,7
/proc/25127/task/25128/stat : 25128 (java) R 25125 25125 21684 0 -1 4202560 13367 0 0 0 2769 4 0 0 20 0 15 0 517359323 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324706086168 140324321965078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25129] ppid=25125 vsize=15153204 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25129/stat : 25129 (java) S 25125 25125 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517359324 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324638083344 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25130] ppid=25125 vsize=15153204 memory=2321098944041489505 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25130/stat : 25130 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359324 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324637030800 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25131] ppid=25125 vsize=15153204 memory=-6368185996338026074 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25131/stat : 25131 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359324 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324635978256 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25132] ppid=25125 vsize=15153204 memory=-7453288455394908505 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25132/stat : 25132 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359324 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324291271312 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25133] ppid=25125 vsize=15153204 memory=-6684072844249948772 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25133/stat : 25133 (java) S 25125 25125 21684 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 15 0 517359325 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324263213552 140324701858434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25134] ppid=25125 vsize=15153204 memory=4493084566509496218 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25134/stat : 25134 (java) S 25125 25125 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517359325 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324262159776 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25135] ppid=25125 vsize=15153204 memory=-6006792956514098780 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25135/stat : 25135 (java) S 25125 25125 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517359326 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324261107184 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25136] ppid=25125 vsize=15153204 memory=7883646158550034534 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25136/stat : 25136 (java) S 25125 25125 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517359328 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324260055760 140324701865883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25137] ppid=25125 vsize=15153204 memory=-7450779352646900844 CPUtime=2.35 cores=1,3,5,7
/proc/25127/task/25137/stat : 25137 (java) S 25125 25125 21684 0 -1 1077944384 9920 0 0 0 234 1 0 0 20 0 15 0 517359328 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324259002352 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25138] ppid=25125 vsize=15153204 memory=4424852994015205529 CPUtime=2.43 cores=1,3,5,7
/proc/25127/task/25138/stat : 25138 (java) S 25125 25125 21684 0 -1 1077944384 9027 0 0 0 243 0 0 0 20 0 15 0 517359328 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324257949808 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25139] ppid=25125 vsize=15153204 memory=-7019822501385103963 CPUtime=0.77 cores=1,3,5,7
/proc/25127/task/25139/stat : 25139 (java) S 25125 25125 21684 0 -1 1077944384 7749 0 0 0 76 1 0 0 20 0 15 0 517359328 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324256897264 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25140] ppid=25125 vsize=15153204 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25140/stat : 25140 (java) S 25125 25125 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517359328 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324255844960 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25141] ppid=25125 vsize=15153204 memory=3756055111440806705 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25141/stat : 25141 (java) S 25125 25125 21684 0 -1 1077944384 916 0 0 0 0 0 0 0 20 0 15 0 517359328 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324254792496 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
Current children cumulated CPU time: 33.33 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 173100 KiB

[startup+28.4007 s]
/proc/loadavg: 1.95 1.78 1.80 3/230 25142
/proc/meminfo: memFree=25053400/32770624 swapFree=66936840/67108860
[pid=25125] ppid=25122 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25125/stat : 25125 (xcsp3-exec) S 25122 25125 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517359322 115843072 363 33554432000 4194304 5098028 140734259201152 140734259199256 140711527973500 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 9682944 140734259204987 140734259205229 140734259205229 140734259208138 0
/proc/25125/statm: 28282 363 304 221 0 87 0
[pid=25127] ppid=25125 vsize=15153204 memory=171648 CPUtime=33.72 cores=1,3,5,7
/proc/25127/stat : 25127 (java) S 25125 25125 21684 0 -1 1077944320 42599 0 0 0 3363 9 0 0 20 0 15 0 517359323 15516880896 42912 33554432000 4194304 4196468 140725211150880 140725211133424 140324701847287 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
/proc/25127/statm: 3788301 42912 3487 1 0 3749401 0
[pid=25127/tid=25128] ppid=25125 vsize=15153204 memory=6791534058613427641 CPUtime=28.12 cores=1,3,5,7
/proc/25127/task/25128/stat : 25128 (java) R 25125 25125 21684 0 -1 4202560 13367 0 0 0 2808 4 0 0 20 0 15 0 517359323 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324706086168 140324323232383 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25129] ppid=25125 vsize=15153204 memory=780 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25129/stat : 25129 (java) S 25125 25125 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517359324 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324638083344 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25130] ppid=25125 vsize=15153204 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25130/stat : 25130 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359324 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324637030800 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25131] ppid=25125 vsize=15153204 memory=11620 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25131/stat : 25131 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359324 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324635978256 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25132] ppid=25125 vsize=15153204 memory=3608 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25132/stat : 25132 (java) S 25125 25125 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517359324 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324291271312 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25133] ppid=25125 vsize=15153204 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25133/stat : 25133 (java) S 25125 25125 21684 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 15 0 517359325 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324263213552 140324701858434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25134] ppid=25125 vsize=15153204 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25134/stat : 25134 (java) S 25125 25125 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517359325 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324262159776 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25135] ppid=25125 vsize=15153204 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25135/stat : 25135 (java) S 25125 25125 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517359326 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324261107184 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25136] ppid=25125 vsize=15153204 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25136/stat : 25136 (java) S 25125 25125 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517359328 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324260055760 140324701865883 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25137] ppid=25125 vsize=15153204 memory=14008 CPUtime=2.35 cores=1,3,5,7
/proc/25127/task/25137/stat : 25137 (java) S 25125 25125 21684 0 -1 1077944384 9920 0 0 0 234 1 0 0 20 0 15 0 517359328 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324259002352 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25138] ppid=25125 vsize=15153204 memory=14076 CPUtime=2.43 cores=1,3,5,7
/proc/25127/task/25138/stat : 25138 (java) S 25125 25125 21684 0 -1 1077944384 9027 0 0 0 243 0 0 0 20 0 15 0 517359328 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324257949808 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25139] ppid=25125 vsize=15153204 memory=1452 CPUtime=0.77 cores=1,3,5,7
/proc/25127/task/25139/stat : 25139 (java) S 25125 25125 21684 0 -1 1077944384 7749 0 0 0 76 1 0 0 20 0 15 0 517359328 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324256897264 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25140] ppid=25125 vsize=15153204 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25140/stat : 25140 (java) S 25125 25125 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517359328 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324255844960 140324701857493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
[pid=25127/tid=25141] ppid=25125 vsize=15153204 memory=53612 CPUtime=0 cores=1,3,5,7
/proc/25127/task/25141/stat : 25141 (java) S 25125 25125 21684 0 -1 1077944384 916 0 0 0 0 0 0 0 20 0 15 0 517359328 15516880896 42912 33554432000 4194304 4196468 140725211150880 140324254792496 140324701858434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 28 0 0 6293624 6294260 30396416 140725211157487 140725211157658 140725211157658 140725211160527 0
Current children cumulated CPU time: 33.72 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 173100 KiB

Child status: 0
Real time (s): 28.4284
CPU time (s): 33.7578
CPU user time (s): 33.6604
CPU system time (s): 0.097453
CPU usage (%): 118.747
Max. virtual memory (cumulated for all children) (KiB): 15266332
Max. memory (cumulated for all children) (KiB): 173100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.6604
system time used= 0.097453
maximum resident set size= 173968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43895
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= 3183
involuntary context switches= 70


# summary of solver processes directly reported to runsolver:
#   pid: 25125
#   total CPU time (s): 33.7578
#   total CPU user time (s): 33.6604
#   total CPU system time (s): 0.097453

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.221327 second user time and 0.267872 second system time

The end

Name	OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-30-15-1.xml
MD5SUM	097039f9865a2fa48b7d42a66e75794b
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	23.5768
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 4406138

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