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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-20	OPT	14	119.659	30.5305

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403822-1568990390.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco 3fb4b153
0.13/0.18	c [HOME/instance-4403822-1568990390.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
3.46/1.20	c solve instance...
20.49/5.62	o 15 
21.28/5.81	o 14 
119.56/30.52	s OPTIMUM FOUND
119.56/30.52	v <instantiation>
119.56/30.52	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>
119.56/30.52	v 	<values>0 3 4 9 10 13 11 6 12 8 14 1 2 5 7 1 1 2 2 2 3 3 3 3 4 5 5 5 6 6 0 0 0 0 0 0 1 1 1 1 1 1 1 2 2 1 1 1 1 2 2 3 3 3 3 3 3 3 3 3 1 2 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 1 1 1 2 3 3 3 3 3 0 0 0 0 0 0 1 1 1 1 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 2 2 2 2 2 2 3 1 2 2 3 3 3 3 4 5 6 6 6 6 6 6 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 2 2 1 2 2 2 2 3 3 3 3 3 3 3 3 3 3 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 2 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 1 1 2 3 0 0 0 0 0 1 1 1 2 2 2 2 3 4 4 0 0 0 1 1 1 2 2 2 2 3 4 4 4 4 0 0 0 0 0 0 1 2 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 1 2 2 3 0 0 0 1 1 1 2 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 3 3 3 4 4 4 1 1 2 2 2 3 3 3 3 3 3 3 3 3 3 1 1 1 2 2 2 2 2 2 2 2 2 2 3 4 0 1 2 2 2 2 2 2 3 4 5 5 5 5 5 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 1 2 2 0 0 0 0 0 0 0 1 1 1 2 2 2 2 3 1 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 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 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 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 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 8 11 12 13 13 13 14 14 14 14 14 14 12 10 5 </values>
119.56/30.52	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 (120 MiB free)
  memory of node 1: 16384 MiB (4872 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403822-1568990390/watcher-4403822-1568990390 -o /tmp/evaluation-result-4403822-1568990390/solver-4403822-1568990390 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568988008-30878 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1202963202 HOME/instance-4403822-1568990390.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=2776, runsolver pid=2773
Current StackSize limit: 8192 KiB


[startup+0.100082 s]*
/proc/loadavg: 8.83 8.09 7.60 7/232 2792
/proc/meminfo: memFree=5095480/32770624 swapFree=66938928/67108860
[pid=2776] ppid=2773 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2776/stat : 2776 (xcsp3-exec) S 2773 2776 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475308732 115843072 363 33554432000 4194304 5098028 140729682697280 140729682695384 139880915522172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21774336 140729682703226 140729682703469 140729682703469 140729682706378 0
/proc/2776/statm: 28282 363 304 221 0 87 0
[pid=2778] ppid=2776 vsize=15144776 memory=29632 CPUtime=0.13 cores=1,3,5,7
/proc/2778/stat : 2778 (java) S 2776 2776 30846 0 -1 1077944320 5809 0 0 0 12 1 0 0 20 0 15 0 475308732 15508250624 7408 33554432000 4194304 4196468 140724000849280 140724000831824 139819287699191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
/proc/2778/statm: 3786194 7408 3157 1 0 3748377 0
[pid=2778/tid=2779] ppid=2776 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/2778/task/2779/stat : 2779 (java) R 2776 2776 30846 0 -1 4202560 3726 0 0 0 9 0 0 0 20 0 15 0 475308732 15508250624 7408 33554432000 4194304 4196468 140724000849280 139819291931504 139819271779678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2780] ppid=2776 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2780/stat : 2780 (java) S 2776 2776 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475308733 15508250624 7408 33554432000 4194304 4196468 140724000849280 139819240319888 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2781] ppid=2776 vsize=15144776 memory=140254890997376 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2781/stat : 2781 (java) S 2776 2776 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475308733 15508250624 7408 33554432000 4194304 4196468 140724000849280 139819239267088 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2782] ppid=2776 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2782/stat : 2782 (java) S 2776 2776 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475308733 15508250624 7408 33554432000 4194304 4196468 140724000849280 139818878033040 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2783] ppid=2776 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2783/stat : 2783 (java) S 2776 2776 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475308733 15508250624 7408 33554432000 4194304 4196468 140724000849280 139818876980240 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2784] ppid=2776 vsize=15144776 memory=140254890997376 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2784/stat : 2784 (java) S 2776 2776 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475308734 15508250624 7408 33554432000 4194304 4196468 140724000849280 139818756286576 139819287710338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2785] ppid=2776 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2785/stat : 2785 (java) S 2776 2776 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475308735 15508250624 7408 33554432000 4194304 4196468 140724000849280 139818755232544 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2786] ppid=2776 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2786/stat : 2786 (java) S 2776 2776 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475308735 15508250624 7408 33554432000 4194304 4196468 140724000849280 139818754180208 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2787] ppid=2776 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2787/stat : 2787 (java) S 2776 2776 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475308738 15508250624 7408 33554432000 4194304 4196468 140724000849280 139818753128528 139819287717787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2788] ppid=2776 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2788/stat : 2788 (java) R 2776 2776 30846 0 -1 4202560 436 0 0 0 0 0 0 0 20 0 15 0 475308738 15508250624 7408 33554432000 4194304 4196468 140724000849280 139818752076400 139819273365344 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2789] ppid=2776 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2789/stat : 2789 (java) R 2776 2776 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475308738 15508250624 7408 33554432000 4194304 4196468 140724000849280 139818751023600 139819287710338 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2790] ppid=2776 vsize=15144776 memory=140254890997376 CPUtime=0.02 cores=1,3,5,7
/proc/2778/task/2790/stat : 2790 (java) S 2776 2776 30846 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 15 0 475308738 15508250624 7408 33554432000 4194304 4196468 140724000849280 139818749971312 139819287710338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2791] ppid=2776 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2791/stat : 2791 (java) S 2776 2776 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475308738 15508250624 7408 33554432000 4194304 4196468 140724000849280 139818748918752 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2792] ppid=2776 vsize=15144776 memory=140254890997376 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2792/stat : 2792 (java) S 2776 2776 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475308738 15508250624 7408 33554432000 4194304 4196468 140724000849280 139818747865520 139819287710338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31084 KiB

[startup+0.211919 s]*
/proc/loadavg: 8.83 8.09 7.60 7/232 2792
/proc/meminfo: memFree=5083268/32770624 swapFree=66938928/67108860
[pid=2776] ppid=2773 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2776/stat : 2776 (xcsp3-exec) S 2773 2776 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475308732 115843072 363 33554432000 4194304 5098028 140729682697280 140729682695384 139880915522172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21774336 140729682703226 140729682703469 140729682703469 140729682706378 0
/proc/2776/statm: 28282 363 304 221 0 87 0
[pid=2778] ppid=2776 vsize=15144776 memory=40992 CPUtime=0.34 cores=1,3,5,7
/proc/2778/stat : 2778 (java) S 2776 2776 30846 0 -1 1077944320 9457 0 0 0 31 3 0 0 20 0 15 0 475308732 15508250624 10248 33554432000 4194304 4196468 140724000849280 140724000831824 139819287699191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
/proc/2778/statm: 3786194 10248 3309 1 0 3748377 0
[pid=2778/tid=2779] ppid=2776 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/2778/task/2779/stat : 2779 (java) R 2776 2776 30846 0 -1 4202560 6640 0 0 0 18 2 0 0 20 0 15 0 475308732 15508250624 10248 33554432000 4194304 4196468 140724000849280 139819291933888 139819271779708 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2780] ppid=2776 vsize=15144776 memory=4294979937 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2780/stat : 2780 (java) S 2776 2776 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475308733 15508250624 10248 33554432000 4194304 4196468 140724000849280 139819240319888 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2781] ppid=2776 vsize=15144776 memory=140254894474684 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2781/stat : 2781 (java) S 2776 2776 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475308733 15508250624 10248 33554432000 4194304 4196468 140724000849280 139819239267088 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2782] ppid=2776 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2782/stat : 2782 (java) S 2776 2776 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475308733 15508250624 10248 33554432000 4194304 4196468 140724000849280 139818878033040 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2783] ppid=2776 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2783/stat : 2783 (java) S 2776 2776 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475308733 15508250624 10248 33554432000 4194304 4196468 140724000849280 139818876980240 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2784] ppid=2776 vsize=15144776 memory=140254890997376 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2784/stat : 2784 (java) S 2776 2776 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475308734 15508250624 10248 33554432000 4194304 4196468 140724000849280 139818756286576 139819287710338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2785] ppid=2776 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2785/stat : 2785 (java) S 2776 2776 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475308735 15508250624 10248 33554432000 4194304 4196468 140724000849280 139818755232544 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2786] ppid=2776 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2786/stat : 2786 (java) S 2776 2776 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475308735 15508250624 10248 33554432000 4194304 4196468 140724000849280 139818754180208 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2787] ppid=2776 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2787/stat : 2787 (java) S 2776 2776 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475308738 15508250624 10248 33554432000 4194304 4196468 140724000849280 139818753128528 139819287717787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2788] ppid=2776 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2778/task/2788/stat : 2788 (java) S 2776 2776 30846 0 -1 1077944384 513 0 0 0 2 0 0 0 20 0 15 0 475308738 15508250624 10248 33554432000 4194304 4196468 140724000849280 139818752076400 139819287710338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2789] ppid=2776 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/2778/task/2789/stat : 2789 (java) S 2776 2776 30846 0 -1 1077944384 262 0 0 0 2 0 0 0 20 0 15 0 475308738 15508250624 10248 33554432000 4194304 4196468 140724000849280 139818751023600 139819287710338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2790] ppid=2776 vsize=15144776 memory=140254890997376 CPUtime=0.08 cores=1,3,5,7
/proc/2778/task/2790/stat : 2790 (java) S 2776 2776 30846 0 -1 1077944384 745 0 0 0 8 0 0 0 20 0 15 0 475308738 15508250624 10248 33554432000 4194304 4196468 140724000849280 139818749971312 139819287710338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2791] ppid=2776 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2791/stat : 2791 (java) S 2776 2776 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475308738 15508250624 10248 33554432000 4194304 4196468 140724000849280 139818748918752 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2792] ppid=2776 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2792/stat : 2792 (java) S 2776 2776 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475308738 15508250624 10248 33554432000 4194304 4196468 140724000849280 139818747865520 139819287710338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42444 KiB

[startup+0.311565 s]*
/proc/loadavg: 8.83 8.09 7.60 7/232 2792
/proc/meminfo: memFree=5075364/32770624 swapFree=66938928/67108860
[pid=2776] ppid=2773 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2776/stat : 2776 (xcsp3-exec) S 2773 2776 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475308732 115843072 363 33554432000 4194304 5098028 140729682697280 140729682695384 139880915522172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21774336 140729682703226 140729682703469 140729682703469 140729682706378 0
/proc/2776/statm: 28282 363 304 221 0 87 0
[pid=2778] ppid=2776 vsize=15149032 memory=50064 CPUtime=0.52 cores=1,3,5,7
/proc/2778/stat : 2778 (java) S 2776 2776 30846 0 -1 1077944320 10839 0 0 0 49 3 0 0 20 0 15 0 475308732 15512608768 12516 33554432000 4194304 4196468 140724000849280 140724000831824 139819287699191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
/proc/2778/statm: 3787258 12516 3372 1 0 3748377 0
[pid=2778/tid=2779] ppid=2776 vsize=15149032 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/2778/task/2779/stat : 2779 (java) R 2776 2776 30846 0 -1 4202560 7836 0 0 0 28 2 0 0 20 0 15 0 475308732 15512608768 12586 33554432000 4194304 4196468 140724000849280 139819291930304 139819287721117 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2780] ppid=2776 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2780/stat : 2780 (java) S 2776 2776 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475308733 15512608768 12586 33554432000 4194304 4196468 140724000849280 139819240319888 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2781] ppid=2776 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2781/stat : 2781 (java) S 2776 2776 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475308733 15512608768 12586 33554432000 4194304 4196468 140724000849280 139819239267088 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2782] ppid=2776 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2782/stat : 2782 (java) S 2776 2776 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475308733 15512608768 12586 33554432000 4194304 4196468 140724000849280 139818878033040 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2783] ppid=2776 vsize=15149032 memory=46849 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2783/stat : 2783 (java) S 2776 2776 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475308733 15512608768 12586 33554432000 4194304 4196468 140724000849280 139818876980240 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2784] ppid=2776 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2784/stat : 2784 (java) S 2776 2776 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475308734 15512608768 12586 33554432000 4194304 4196468 140724000849280 139818756286576 139819287710338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2785] ppid=2776 vsize=15149032 memory=-1598831813028945288 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2785/stat : 2785 (java) S 2776 2776 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475308735 15512608768 12586 33554432000 4194304 4196468 140724000849280 139818755232544 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2786] ppid=2776 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2786/stat : 2786 (java) S 2776 2776 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475308735 15512608768 12586 33554432000 4194304 4196468 140724000849280 139818754180208 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2787] ppid=2776 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2787/stat : 2787 (java) S 2776 2776 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475308738 15512608768 12586 33554432000 4194304 4196468 140724000849280 139818753128528 139819287717787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2788] ppid=2776 vsize=15149032 memory=6656426216303648864 CPUtime=0.04 cores=1,3,5,7
/proc/2778/task/2788/stat : 2788 (java) S 2776 2776 30846 0 -1 1077944384 535 0 0 0 4 0 0 0 20 0 15 0 475308738 15512608768 12586 33554432000 4194304 4196468 140724000849280 139818752076400 139819287710338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2789] ppid=2776 vsize=15149032 memory=-6935123839545469842 CPUtime=0.04 cores=1,3,5,7
/proc/2778/task/2789/stat : 2789 (java) R 2776 2776 30846 0 -1 4202560 358 0 0 0 4 0 0 0 20 0 15 0 475308738 15512608768 12586 33554432000 4194304 4196468 140724000849280 139818751013984 139819267531389 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2790] ppid=2776 vsize=15149032 memory=7438357367570802579 CPUtime=0.12 cores=1,3,5,7
/proc/2778/task/2790/stat : 2790 (java) S 2776 2776 30846 0 -1 1077944384 841 0 0 0 12 0 0 0 20 0 15 0 475308738 15512608768 12586 33554432000 4194304 4196468 140724000849280 139818749971312 139819287710338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2791] ppid=2776 vsize=15149032 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2791/stat : 2791 (java) S 2776 2776 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475308738 15512608768 12586 33554432000 4194304 4196468 140724000849280 139818748918752 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2792] ppid=2776 vsize=15149032 memory=-8675733323038954102 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2792/stat : 2792 (java) S 2776 2776 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475308738 15512608768 12586 33554432000 4194304 4196468 140724000849280 139818747865520 139819287710338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51516 KiB

[startup+0.703975 s]
/proc/loadavg: 8.83 8.09 7.60 9/232 2792
/proc/meminfo: memFree=5054912/32770624 swapFree=66938928/67108860
[pid=2776] ppid=2773 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2776/stat : 2776 (xcsp3-exec) S 2773 2776 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475308732 115843072 363 33554432000 4194304 5098028 140729682697280 140729682695384 139880915522172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21774336 140729682703226 140729682703469 140729682703469 140729682706378 0
/proc/2776/statm: 28282 363 304 221 0 87 0
[pid=2778] ppid=2776 vsize=15151156 memory=91468 CPUtime=1.78 cores=1,3,5,7
/proc/2778/stat : 2778 (java) S 2776 2776 30846 0 -1 1077944320 15511 0 0 0 171 7 0 0 20 0 15 0 475308732 15514783744 22867 33554432000 4194304 4196468 140724000849280 140724000831824 139819287699191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
/proc/2778/statm: 3787789 22867 3449 1 0 3748889 0
[pid=2778/tid=2779] ppid=2776 vsize=15151156 memory=4351193298368681817 CPUtime=0.68 cores=1,3,5,7
/proc/2778/task/2779/stat : 2779 (java) R 2776 2776 30846 0 -1 4202560 9230 0 0 0 64 4 0 0 20 0 15 0 475308732 15514783744 22867 33554432000 4194304 4196468 140724000849280 139819291931936 139819271742821 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2780] ppid=2776 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2780/stat : 2780 (java) S 2776 2776 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475308733 15514783744 22867 33554432000 4194304 4196468 140724000849280 139819240319888 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2781] ppid=2776 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2781/stat : 2781 (java) S 2776 2776 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475308733 15514783744 22867 33554432000 4194304 4196468 140724000849280 139819239267088 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2782] ppid=2776 vsize=15151156 memory=55 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2782/stat : 2782 (java) S 2776 2776 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475308733 15514783744 22867 33554432000 4194304 4196468 140724000849280 139818878033040 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2783] ppid=2776 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2783/stat : 2783 (java) S 2776 2776 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475308733 15514783744 22867 33554432000 4194304 4196468 140724000849280 139818876980240 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2784] ppid=2776 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2784/stat : 2784 (java) S 2776 2776 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475308734 15514783744 22867 33554432000 4194304 4196468 140724000849280 139818756286576 139819287710338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2785] ppid=2776 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2785/stat : 2785 (java) S 2776 2776 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475308735 15514783744 22867 33554432000 4194304 4196468 140724000849280 139818755232544 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2786] ppid=2776 vsize=15151156 memory=221 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2786/stat : 2786 (java) S 2776 2776 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475308735 15514783744 22867 33554432000 4194304 4196468 140724000849280 139818754180208 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2787] ppid=2776 vsize=15151156 memory=2 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2787/stat : 2787 (java) S 2776 2776 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475308738 15514783744 22867 33554432000 4194304 4196468 140724000849280 139818753128528 139819287717787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2788] ppid=2776 vsize=15151156 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/2778/task/2788/stat : 2788 (java) S 2776 2776 30846 0 -1 1077944384 1373 0 0 0 29 0 0 0 20 0 15 0 475308738 15514783744 22867 33554432000 4194304 4196468 140724000849280 139818752076400 139819287710338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2789] ppid=2776 vsize=15151156 memory=53512 CPUtime=0.35 cores=1,3,5,7
/proc/2778/task/2789/stat : 2789 (java) R 2776 2776 30846 0 -1 4202560 1407 0 0 0 35 0 0 0 20 0 15 0 475308738 15514783744 22867 33554432000 4194304 4196468 140724000849280 139818751014928 139819267210160 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2790] ppid=2776 vsize=15151156 memory=988 CPUtime=0.43 cores=1,3,5,7
/proc/2778/task/2790/stat : 2790 (java) R 2776 2776 30846 0 -1 4202560 2195 0 0 0 42 1 0 0 20 0 15 0 475308738 15514783744 22867 33554432000 4194304 4196468 140724000849280 139818749967760 139819266657104 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2791] ppid=2776 vsize=15151156 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2791/stat : 2791 (java) S 2776 2776 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475308738 15514783744 22867 33554432000 4194304 4196468 140724000849280 139818748918752 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2792] ppid=2776 vsize=15151156 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2792/stat : 2792 (java) S 2776 2776 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475308738 15514783744 22867 33554432000 4194304 4196468 140724000849280 139818747865520 139819287710338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 92920 KiB

[startup+1.50634 s]
/proc/loadavg: 8.83 8.09 7.60 8/232 2792
/proc/meminfo: memFree=4982248/32770624 swapFree=66938928/67108860
[pid=2776] ppid=2773 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2776/stat : 2776 (xcsp3-exec) S 2773 2776 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475308732 115843072 363 33554432000 4194304 5098028 140729682697280 140729682695384 139880915522172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21774336 140729682703226 140729682703469 140729682703469 140729682706378 0
/proc/2776/statm: 28282 363 304 221 0 87 0

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

/proc/2778/task/2792/stat : 2792 (java) S 2776 2776 30846 0 -1 1077944384 156 0 0 0 0 1 0 0 20 0 19 0 475308738 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818747865520 139819287710338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 48 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2802] ppid=2776 vsize=15419460 memory=8112282956445269571 CPUtime=23.64 cores=1,3,5,7
/proc/2778/task/2802/stat : 2802 (java) R 2776 2776 30846 0 -1 4202560 378 0 0 0 2364 0 0 0 20 0 19 0 475309313 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818733390128 139818926845147 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2803] ppid=2776 vsize=15419460 memory=928 CPUtime=23.51 cores=1,3,5,7
/proc/2778/task/2803/stat : 2803 (java) R 2776 2776 30846 0 -1 4202560 1497 0 0 0 2349 2 0 0 20 0 19 0 475309313 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818735497168 139818926848231 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2804] ppid=2776 vsize=15419460 memory=1984 CPUtime=23.53 cores=1,3,5,7
/proc/2778/task/2804/stat : 2804 (java) R 2776 2776 30846 0 -1 4202560 593 0 0 0 2353 0 0 0 20 0 19 0 475309313 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818734444504 139818927543875 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2805] ppid=2776 vsize=15419460 memory=2364 CPUtime=23.5 cores=1,3,5,7
/proc/2778/task/2805/stat : 2805 (java) R 2776 2776 30846 0 -1 4202560 694 0 0 0 2350 0 0 0 20 0 19 0 475309313 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818736550232 139818926848317 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
Current children cumulated CPU time: 115.98 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 362280 KiB

[startup+30.0013 s]*
/proc/loadavg: 8.97 8.20 7.65 10/236 2807
/proc/meminfo: memFree=4763096/32770624 swapFree=66938928/67108860
[pid=2776] ppid=2773 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2776/stat : 2776 (xcsp3-exec) S 2773 2776 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475308732 115843072 363 33554432000 4194304 5098028 140729682697280 140729682695384 139880915522172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21774336 140729682703226 140729682703469 140729682703469 140729682706378 0
/proc/2776/statm: 28282 363 304 221 0 87 0
[pid=2778] ppid=2776 vsize=15419460 memory=360828 CPUtime=117.6 cores=1,3,5,7
/proc/2778/stat : 2778 (java) S 2776 2776 30846 0 -1 1077944320 41898 0 0 0 11740 20 0 0 20 0 19 0 475308732 15789527040 90207 33554432000 4194304 4196468 140724000849280 140724000831824 139819287699191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
/proc/2778/statm: 3854865 90207 3536 1 0 3815965 0
[pid=2778/tid=2779] ppid=2776 vsize=15419460 memory=6935054825532540783 CPUtime=1.17 cores=1,3,5,7
/proc/2778/task/2779/stat : 2779 (java) S 2776 2776 30846 0 -1 1077944384 11780 0 0 0 111 6 0 0 20 0 19 0 475308732 15789527040 90207 33554432000 4194304 4196468 140724000849280 139819291939968 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2780] ppid=2776 vsize=15419460 memory=4126316290023845779 CPUtime=0.04 cores=1,3,5,7
/proc/2778/task/2780/stat : 2780 (java) S 2776 2776 30846 0 -1 1077944384 115 0 0 0 3 1 0 0 20 0 19 0 475308733 15789527040 90207 33554432000 4194304 4196468 140724000849280 139819240319888 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2781] ppid=2776 vsize=15419460 memory=6935054825532540783 CPUtime=0.02 cores=1,3,5,7
/proc/2778/task/2781/stat : 2781 (java) S 2776 2776 30846 0 -1 1077944384 440 0 0 0 2 0 0 0 20 0 19 0 475308733 15789527040 90207 33554432000 4194304 4196468 140724000849280 139819239267088 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2782] ppid=2776 vsize=15419460 memory=4126316290023845779 CPUtime=0.03 cores=1,3,5,7
/proc/2778/task/2782/stat : 2782 (java) S 2776 2776 30846 0 -1 1077944384 1903 0 0 0 3 0 0 0 20 0 19 0 475308733 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818878033040 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2783] ppid=2776 vsize=15419460 memory=8112282956445269571 CPUtime=0.04 cores=1,3,5,7
/proc/2778/task/2783/stat : 2783 (java) S 2776 2776 30846 0 -1 1077944384 218 0 0 0 3 1 0 0 20 0 19 0 475308733 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818876980240 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2784] ppid=2776 vsize=15419460 memory=928 CPUtime=0.01 cores=1,3,5,7
/proc/2778/task/2784/stat : 2784 (java) S 2776 2776 30846 0 -1 1077944384 540 0 0 0 1 0 0 0 20 0 19 0 475308734 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818756286576 139819287710338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2785] ppid=2776 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2785/stat : 2785 (java) S 2776 2776 30846 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 475308735 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818755232608 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2786] ppid=2776 vsize=15419460 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2786/stat : 2786 (java) S 2776 2776 30846 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 475308735 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818754180224 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2787] ppid=2776 vsize=15419460 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2787/stat : 2787 (java) S 2776 2776 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475308738 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818753128528 139819287717787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2788] ppid=2776 vsize=15419460 memory=15823283127847325 CPUtime=2.7 cores=1,3,5,7
/proc/2778/task/2788/stat : 2788 (java) S 2776 2776 30846 0 -1 1077944384 8377 0 0 0 269 1 0 0 20 0 19 0 475308738 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818752076400 139819287710338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 48 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2789] ppid=2776 vsize=15419460 memory=1452 CPUtime=3.39 cores=1,3,5,7
/proc/2778/task/2789/stat : 2789 (java) S 2776 2776 30846 0 -1 1077944384 6742 0 0 0 338 1 0 0 20 0 19 0 475308738 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818751023600 139819287710338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2790] ppid=2776 vsize=15419460 memory=360828 CPUtime=1.02 cores=1,3,5,7
/proc/2778/task/2790/stat : 2790 (java) S 2776 2776 30846 0 -1 1077944384 6617 0 0 0 100 2 0 0 20 0 19 0 475308738 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818749971312 139819287710338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2791] ppid=2776 vsize=15419460 memory=6442213889275355488 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2791/stat : 2791 (java) S 2776 2776 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475308738 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818748918752 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2792] ppid=2776 vsize=15419460 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2778/task/2792/stat : 2792 (java) S 2776 2776 30846 0 -1 1077944384 156 0 0 0 0 1 0 0 20 0 19 0 475308738 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818747865520 139819287710338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 48 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2802] ppid=2776 vsize=15419460 memory=17609365916656 CPUtime=24.04 cores=1,3,5,7
/proc/2778/task/2802/stat : 2802 (java) R 2776 2776 30846 0 -1 4202560 378 0 0 0 2404 0 0 0 20 0 19 0 475309313 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818733390128 139818928056374 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2803] ppid=2776 vsize=15419460 memory=288230596050944315 CPUtime=23.92 cores=1,3,5,7
/proc/2778/task/2803/stat : 2803 (java) R 2776 2776 30846 0 -1 4202560 1499 0 0 0 2390 2 0 0 20 0 19 0 475309313 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818735497304 139818928834543 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2804] ppid=2776 vsize=15419460 memory=15823283127847325 CPUtime=23.94 cores=1,3,5,7
/proc/2778/task/2804/stat : 2804 (java) R 2776 2776 30846 0 -1 4202560 593 0 0 0 2394 0 0 0 20 0 19 0 475309313 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818734444504 139818929156736 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2805] ppid=2776 vsize=15419460 memory=0 CPUtime=23.91 cores=1,3,5,7
/proc/2778/task/2805/stat : 2805 (java) R 2776 2776 30846 0 -1 4202560 695 0 0 0 2391 0 0 0 20 0 19 0 475309313 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818736550232 139818926846875 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
Current children cumulated CPU time: 117.6 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 362280 KiB

[startup+30.4013 s]
/proc/loadavg: 8.97 8.20 7.65 10/236 2807
/proc/meminfo: memFree=4763096/32770624 swapFree=66938928/67108860
[pid=2776] ppid=2773 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2776/stat : 2776 (xcsp3-exec) S 2773 2776 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475308732 115843072 363 33554432000 4194304 5098028 140729682697280 140729682695384 139880915522172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21774336 140729682703226 140729682703469 140729682703469 140729682706378 0
/proc/2776/statm: 28282 363 304 221 0 87 0
[pid=2778] ppid=2776 vsize=15419460 memory=360828 CPUtime=119.16 cores=1,3,5,7
/proc/2778/stat : 2778 (java) S 2776 2776 30846 0 -1 1077944320 41901 0 0 0 11896 20 0 0 20 0 19 0 475308732 15789527040 90207 33554432000 4194304 4196468 140724000849280 140724000831824 139819287699191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
/proc/2778/statm: 3854865 90207 3536 1 0 3815965 0
[pid=2778/tid=2779] ppid=2776 vsize=15419460 memory=360828 CPUtime=1.17 cores=1,3,5,7
/proc/2778/task/2779/stat : 2779 (java) S 2776 2776 30846 0 -1 1077944384 11780 0 0 0 111 6 0 0 20 0 19 0 475308732 15789527040 90207 33554432000 4194304 4196468 140724000849280 139819291939968 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2780] ppid=2776 vsize=15419460 memory=1448 CPUtime=0.04 cores=1,3,5,7
/proc/2778/task/2780/stat : 2780 (java) S 2776 2776 30846 0 -1 1077944384 115 0 0 0 3 1 0 0 20 0 19 0 475308733 15789527040 90207 33554432000 4194304 4196468 140724000849280 139819240319888 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2781] ppid=2776 vsize=15419460 memory=1412 CPUtime=0.02 cores=1,3,5,7
/proc/2778/task/2781/stat : 2781 (java) S 2776 2776 30846 0 -1 1077944384 440 0 0 0 2 0 0 0 20 0 19 0 475308733 15789527040 90207 33554432000 4194304 4196468 140724000849280 139819239267088 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2782] ppid=2776 vsize=15419460 memory=3316 CPUtime=0.03 cores=1,3,5,7
/proc/2778/task/2782/stat : 2782 (java) S 2776 2776 30846 0 -1 1077944384 1903 0 0 0 3 0 0 0 20 0 19 0 475308733 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818878033040 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2783] ppid=2776 vsize=15419460 memory=1552 CPUtime=0.04 cores=1,3,5,7
/proc/2778/task/2783/stat : 2783 (java) S 2776 2776 30846 0 -1 1077944384 218 0 0 0 3 1 0 0 20 0 19 0 475308733 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818876980240 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2784] ppid=2776 vsize=15419460 memory=3640 CPUtime=0.01 cores=1,3,5,7
/proc/2778/task/2784/stat : 2784 (java) S 2776 2776 30846 0 -1 1077944384 540 0 0 0 1 0 0 0 20 0 19 0 475308734 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818756286576 139819287710338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2785] ppid=2776 vsize=15419460 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2785/stat : 2785 (java) S 2776 2776 30846 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 475308735 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818755232608 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2786] ppid=2776 vsize=15419460 memory=784 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2786/stat : 2786 (java) S 2776 2776 30846 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 475308735 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818754180224 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2787] ppid=2776 vsize=15419460 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2787/stat : 2787 (java) S 2776 2776 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475308738 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818753128528 139819287717787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2788] ppid=2776 vsize=15419460 memory=1720 CPUtime=2.7 cores=1,3,5,7
/proc/2778/task/2788/stat : 2788 (java) S 2776 2776 30846 0 -1 1077944384 8377 0 0 0 269 1 0 0 20 0 19 0 475308738 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818752076400 139819287710338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 48 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2789] ppid=2776 vsize=15419460 memory=10728 CPUtime=3.39 cores=1,3,5,7
/proc/2778/task/2789/stat : 2789 (java) S 2776 2776 30846 0 -1 1077944384 6742 0 0 0 338 1 0 0 20 0 19 0 475308738 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818751023600 139819287710338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2790] ppid=2776 vsize=15419460 memory=1552 CPUtime=1.02 cores=1,3,5,7
/proc/2778/task/2790/stat : 2790 (java) S 2776 2776 30846 0 -1 1077944384 6617 0 0 0 100 2 0 0 20 0 19 0 475308738 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818749971312 139819287710338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2791] ppid=2776 vsize=15419460 memory=3640 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2791/stat : 2791 (java) S 2776 2776 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475308738 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818748918752 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2792] ppid=2776 vsize=15419460 memory=2832 CPUtime=0.01 cores=1,3,5,7
/proc/2778/task/2792/stat : 2792 (java) S 2776 2776 30846 0 -1 1077944384 156 0 0 0 0 1 0 0 20 0 19 0 475308738 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818747865520 139819287710338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 48 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2802] ppid=2776 vsize=15419460 memory=784 CPUtime=24.43 cores=1,3,5,7
/proc/2778/task/2802/stat : 2802 (java) R 2776 2776 30846 0 -1 4202560 379 0 0 0 2443 0 0 0 20 0 19 0 475309313 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818733390128 139818927888470 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2803] ppid=2776 vsize=15419460 memory=1060 CPUtime=24.31 cores=1,3,5,7
/proc/2778/task/2803/stat : 2803 (java) R 2776 2776 30846 0 -1 4202560 1499 0 0 0 2429 2 0 0 20 0 19 0 475309313 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818735497304 139818927632145 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2804] ppid=2776 vsize=15419460 memory=1720 CPUtime=24.33 cores=1,3,5,7
/proc/2778/task/2804/stat : 2804 (java) R 2776 2776 30846 0 -1 4202560 594 0 0 0 2433 0 0 0 20 0 19 0 475309313 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818734444504 139818927591682 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2805] ppid=2776 vsize=15419460 memory=1096 CPUtime=24.3 cores=1,3,5,7
/proc/2778/task/2805/stat : 2805 (java) R 2776 2776 30846 0 -1 4202560 696 0 0 0 2430 0 0 0 20 0 19 0 475309313 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818736550232 139818927888383 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
Current children cumulated CPU time: 119.16 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 362280 KiB

[startup+30.5013 s]
/proc/loadavg: 8.97 8.20 7.65 10/236 2807
/proc/meminfo: memFree=4763096/32770624 swapFree=66938928/67108860
[pid=2776] ppid=2773 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2776/stat : 2776 (xcsp3-exec) S 2773 2776 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475308732 115843072 363 33554432000 4194304 5098028 140729682697280 140729682695384 139880915522172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21774336 140729682703226 140729682703469 140729682703469 140729682706378 0
/proc/2776/statm: 28282 363 304 221 0 87 0
[pid=2778] ppid=2776 vsize=15419460 memory=360828 CPUtime=119.56 cores=1,3,5,7
/proc/2778/stat : 2778 (java) S 2776 2776 30846 0 -1 1077944320 41903 0 0 0 11936 20 0 0 20 0 19 0 475308732 15789527040 90207 33554432000 4194304 4196468 140724000849280 140724000831824 139819287699191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
/proc/2778/statm: 3854865 90207 3536 1 0 3815965 0
[pid=2778/tid=2779] ppid=2776 vsize=15419460 memory=1452 CPUtime=1.17 cores=1,3,5,7
/proc/2778/task/2779/stat : 2779 (java) S 2776 2776 30846 0 -1 1077944384 11780 0 0 0 111 6 0 0 20 0 19 0 475308732 15789527040 90207 33554432000 4194304 4196468 140724000849280 139819291939968 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2780] ppid=2776 vsize=15419460 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2778/task/2780/stat : 2780 (java) S 2776 2776 30846 0 -1 1077944384 115 0 0 0 3 1 0 0 20 0 19 0 475308733 15789527040 90207 33554432000 4194304 4196468 140724000849280 139819240319888 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2781] ppid=2776 vsize=15419460 memory=360828 CPUtime=0.02 cores=1,3,5,7
/proc/2778/task/2781/stat : 2781 (java) S 2776 2776 30846 0 -1 1077944384 440 0 0 0 2 0 0 0 20 0 19 0 475308733 15789527040 90207 33554432000 4194304 4196468 140724000849280 139819239267088 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2782] ppid=2776 vsize=15419460 memory=8112282956445269571 CPUtime=0.03 cores=1,3,5,7
/proc/2778/task/2782/stat : 2782 (java) S 2776 2776 30846 0 -1 1077944384 1903 0 0 0 3 0 0 0 20 0 19 0 475308733 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818878033040 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2783] ppid=2776 vsize=15419460 memory=231620 CPUtime=0.04 cores=1,3,5,7
/proc/2778/task/2783/stat : 2783 (java) S 2776 2776 30846 0 -1 1077944384 218 0 0 0 3 1 0 0 20 0 19 0 475308733 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818876980240 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2784] ppid=2776 vsize=15419460 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/2778/task/2784/stat : 2784 (java) S 2776 2776 30846 0 -1 1077944384 540 0 0 0 1 0 0 0 20 0 19 0 475308734 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818756286576 139819287710338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2785] ppid=2776 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2785/stat : 2785 (java) S 2776 2776 30846 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 475308735 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818755232608 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2786] ppid=2776 vsize=15419460 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2786/stat : 2786 (java) S 2776 2776 30846 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 475308735 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818754180224 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2787] ppid=2776 vsize=15419460 memory=6112 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2787/stat : 2787 (java) S 2776 2776 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475308738 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818753128528 139819287717787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2788] ppid=2776 vsize=15419460 memory=0 CPUtime=2.7 cores=1,3,5,7
/proc/2778/task/2788/stat : 2788 (java) S 2776 2776 30846 0 -1 1077944384 8377 0 0 0 269 1 0 0 20 0 19 0 475308738 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818752076400 139819287710338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 48 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2789] ppid=2776 vsize=15419460 memory=0 CPUtime=3.39 cores=1,3,5,7
/proc/2778/task/2789/stat : 2789 (java) S 2776 2776 30846 0 -1 1077944384 6742 0 0 0 338 1 0 0 20 0 19 0 475308738 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818751023600 139819287710338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2790] ppid=2776 vsize=15419460 memory=6112 CPUtime=1.02 cores=1,3,5,7
/proc/2778/task/2790/stat : 2790 (java) S 2776 2776 30846 0 -1 1077944384 6617 0 0 0 100 2 0 0 20 0 19 0 475308738 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818749971312 139819287710338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2791] ppid=2776 vsize=15419460 memory=780 CPUtime=0 cores=1,3,5,7
/proc/2778/task/2791/stat : 2791 (java) S 2776 2776 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475308738 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818748918752 139819287709397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2792] ppid=2776 vsize=15419460 memory=14008 CPUtime=0.01 cores=1,3,5,7
/proc/2778/task/2792/stat : 2792 (java) S 2776 2776 30846 0 -1 1077944384 156 0 0 0 0 1 0 0 20 0 19 0 475308738 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818747865520 139819287710338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 48 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2802] ppid=2776 vsize=15419460 memory=1452 CPUtime=24.53 cores=1,3,5,7
/proc/2778/task/2802/stat : 2802 (java) R 2776 2776 30846 0 -1 4202560 379 0 0 0 2453 0 0 0 20 0 19 0 475309313 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818733390128 139818926847292 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2803] ppid=2776 vsize=15419460 memory=342308 CPUtime=24.41 cores=1,3,5,7
/proc/2778/task/2803/stat : 2803 (java) R 2776 2776 30846 0 -1 4202560 1499 0 0 0 2439 2 0 0 20 0 19 0 475309313 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818735497304 139818922956895 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2804] ppid=2776 vsize=15419460 memory=1452 CPUtime=24.43 cores=1,3,5,7
/proc/2778/task/2804/stat : 2804 (java) R 2776 2776 30846 0 -1 4202560 594 0 0 0 2443 0 0 0 20 0 19 0 475309313 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818734444504 139818927888488 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
[pid=2778/tid=2805] ppid=2776 vsize=15419460 memory=2402 CPUtime=24.4 cores=1,3,5,7
/proc/2778/task/2805/stat : 2805 (java) R 2776 2776 30846 0 -1 4202560 698 0 0 0 2440 0 0 0 20 0 19 0 475309313 15789527040 90207 33554432000 4194304 4196468 140724000849280 139818736550232 139818920156832 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36397056 140724000855023 140724000855194 140724000855194 140724000858063 0
Current children cumulated CPU time: 119.56 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 362280 KiB

Child status: 0
Real time (s): 30.5305
CPU time (s): 119.659
CPU user time (s): 119.451
CPU system time (s): 0.208299
CPU usage (%): 391.933
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 362280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 119.451
system time used= 0.208299
maximum resident set size= 360836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43522
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= 3604
involuntary context switches= 3369


# summary of solver processes directly reported to runsolver:
#   pid: 2776
#   total CPU time (s): 119.659
#   total CPU user time (s): 119.451
#   total CPU system time (s): 0.208299

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.233091 second user time and 0.385128 second system time

The end

Name	OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-pb-30-15-1.xml
MD5SUM	1892dc6bbe7f4411da75bff22067cf15
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	14
Best CPU time to get the best result obtained on this benchmark	69.5267
Satisfiable
(Un)Satisfiability was proved
Number of variables	1380
Number of constraints	1366
Number of domains	8
Minimum domain size	2
Maximum domain size	16
Distribution of domain sizes	[{"size":2,"count":960},{"size":3,"count":120},{"size":4,"count":165},{"size":5,"count":60},{"size":6,"count":15},{"size":7,"count":30},{"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 4403822

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