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	10	24.8375	6.60057

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403714-1568990409.xml"  -tl '2520s' -p 4
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4403714-1568990409.xml, -tl, 2520s, -p, 4]
0.35/0.22	c 4 solvers in parallel
0.35/0.28	c parse instance...
3.21/1.19	c solve instance...
3.87/1.30	o 15 
3.87/1.37	o 14 
3.87/1.39	o 13 
4.28/1.41	o 12 
5.44/1.75	o 11 
5.44/1.76	o 10 
24.45/6.59	s OPTIMUM FOUND
24.45/6.59	v <instantiation>
24.45/6.59	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>
24.45/6.59	v 	<values>0 1 11 3 9 13 8 5 10 2 6 4 7 12 14 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 0 0 0 0 1 1 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 1 1 1 1 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 0 0 0 1 1 1 1 2 2 2 2 2 2 2 2 0 1 1 1 1 1 1 1 1 1 1 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 1 1 1 1 2 2 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 0 0 1 1 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 1 1 1 1 1 1 2 2 2 2 2 2 0 0 0 0 0 0 0 1 1 1 1 1 1 2 2 0 0 0 0 0 0 0 0 0 1 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 4 7 8 9 10 10 10 10 10 10 10 10 9 7 4 </values>
24.45/6.59	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 (3919 MiB free)
  memory of node 1: 16384 MiB (1541 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403714-1568990409/watcher-4403714-1568990409 -o /var/tmp/evaluation-result-4403714-1568990409/solver-4403714-1568990409 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1568983381-1915 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 952581147 HOME/instance-4403714-1568990409.xml 

running on 4 cores: 0,2,4,6

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

solver pid=4615, runsolver pid=4612

[startup+0.100096 s]*
/proc/loadavg: 8.32 8.30 8.15 6/232 4631
/proc/meminfo: memFree=5574508/32770624 swapFree=66952588/67108860
[pid=4615] ppid=4612 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4615/stat : 4615 (xcsp3-exec) S 4612 4615 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475296529 115843072 364 33554432000 4194304 5098028 140728372565392 140728372563496 140056555393660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16781312 140728372568919 140728372569177 140728372569177 140728372572102 0
/proc/4615/statm: 28282 364 305 221 0 87 0
[pid=4617] ppid=4615 vsize=15144776 memory=29740 CPUtime=0.12 cores=0,2,4,6
/proc/4617/stat : 4617 (java) S 4615 4615 1883 0 -1 1077944320 5413 0 0 0 11 1 0 0 20 0 15 0 475296529 15508250624 7435 33554432000 4194304 4196468 140735183942320 140735183924864 140154086149879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
/proc/4617/statm: 3786194 7435 3115 1 0 3748377 0
[pid=4617/tid=4618] ppid=4615 vsize=15144776 memory=-2698087569006908830 CPUtime=0.09 cores=0,2,4,6
/proc/4617/task/4618/stat : 4618 (java) R 4615 4615 1883 0 -1 4202560 3354 0 0 0 9 0 0 0 20 0 15 0 475296530 15508250624 7435 33554432000 4194304 4196468 140735183942320 140154090381200 140154086171226 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4619] ppid=4615 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4619/stat : 4619 (java) S 4615 4615 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475296531 15508250624 7435 33554432000 4194304 4196468 140735183942320 140153678015504 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4620] ppid=4615 vsize=15144776 memory=140281581921920 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4620/stat : 4620 (java) S 4615 4615 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475296531 15508250624 7435 33554432000 4194304 4196468 140735183942320 140153676962960 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4621] ppid=4615 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4621/stat : 4621 (java) S 4615 4615 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475296531 15508250624 7435 33554432000 4194304 4196468 140735183942320 140153675909904 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4622] ppid=4615 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4622/stat : 4622 (java) S 4615 4615 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475296531 15508250624 7435 33554432000 4194304 4196468 140735183942320 140153674857360 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4623] ppid=4615 vsize=15144776 memory=140281581921920 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4623/stat : 4623 (java) S 4615 4615 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475296532 15508250624 7435 33554432000 4194304 4196468 140735183942320 140153554802928 140154086161026 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4624] ppid=4615 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4624/stat : 4624 (java) S 4615 4615 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475296532 15508250624 7435 33554432000 4194304 4196468 140735183942320 140153553749152 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4625] ppid=4615 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4625/stat : 4625 (java) S 4615 4615 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475296533 15508250624 7435 33554432000 4194304 4196468 140735183942320 140153552696048 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4626] ppid=4615 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4626/stat : 4626 (java) S 4615 4615 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475296535 15508250624 7435 33554432000 4194304 4196468 140735183942320 140153551644624 140154086168475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4627] ppid=4615 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4627/stat : 4627 (java) R 4615 4615 1883 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 475296535 15508250624 7435 33554432000 4194304 4196468 140735183942320 140153550592752 140154086161026 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4628] ppid=4615 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4628/stat : 4628 (java) S 4615 4615 1883 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 475296535 15508250624 7435 33554432000 4194304 4196468 140735183942320 140153549540208 140154086161026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4629] ppid=4615 vsize=15144776 memory=140281581921920 CPUtime=0.02 cores=0,2,4,6
/proc/4617/task/4629/stat : 4629 (java) R 4615 4615 1883 0 -1 4202560 324 0 0 0 2 0 0 0 20 0 15 0 475296535 15508250624 7435 33554432000 4194304 4196468 140735183942320 140153548487152 140154064594675 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4630] ppid=4615 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4630/stat : 4630 (java) S 4615 4615 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475296535 15508250624 7435 33554432000 4194304 4196468 140735183942320 140153547434848 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4631] ppid=4615 vsize=15144776 memory=140281581921920 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4631/stat : 4631 (java) S 4615 4615 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475296536 15508250624 7435 33554432000 4194304 4196468 140735183942320 140153546381872 140154086161026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31196 KiB

[startup+0.213518 s]*
/proc/loadavg: 8.14 8.26 8.14 7/232 4631
/proc/meminfo: memFree=5562880/32770624 swapFree=66952588/67108860
[pid=4615] ppid=4612 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4615/stat : 4615 (xcsp3-exec) S 4612 4615 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475296529 115843072 364 33554432000 4194304 5098028 140728372565392 140728372563496 140056555393660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16781312 140728372568919 140728372569177 140728372569177 140728372572102 0
/proc/4615/statm: 28282 364 305 221 0 87 0
[pid=4617] ppid=4615 vsize=15144776 memory=40548 CPUtime=0.35 cores=0,2,4,6
/proc/4617/stat : 4617 (java) S 4615 4615 1883 0 -1 1077944320 8840 0 0 0 32 3 0 0 20 0 15 0 475296529 15508250624 10137 33554432000 4194304 4196468 140735183942320 140735183924864 140154086149879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
/proc/4617/statm: 3786194 10137 3289 1 0 3748377 0
[pid=4617/tid=4618] ppid=4615 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/4617/task/4618/stat : 4618 (java) R 4615 4615 1883 0 -1 4202560 6126 0 0 0 19 1 0 0 20 0 15 0 475296530 15508250624 10137 33554432000 4194304 4196468 140735183942320 140154090388032 140154086171805 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4619] ppid=4615 vsize=15144776 memory=10592 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4619/stat : 4619 (java) S 4615 4615 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475296531 15508250624 10137 33554432000 4194304 4196468 140735183942320 140153678015504 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4620] ppid=4615 vsize=15144776 memory=140281581941592 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4620/stat : 4620 (java) S 4615 4615 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475296531 15508250624 10137 33554432000 4194304 4196468 140735183942320 140153676962960 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4621] ppid=4615 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4621/stat : 4621 (java) S 4615 4615 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475296531 15508250624 10137 33554432000 4194304 4196468 140735183942320 140153675909904 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4622] ppid=4615 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4622/stat : 4622 (java) S 4615 4615 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475296531 15508250624 10137 33554432000 4194304 4196468 140735183942320 140153674857360 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4623] ppid=4615 vsize=15144776 memory=140281581921920 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4623/stat : 4623 (java) S 4615 4615 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475296532 15508250624 10137 33554432000 4194304 4196468 140735183942320 140153554802928 140154086161026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4624] ppid=4615 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4624/stat : 4624 (java) S 4615 4615 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475296532 15508250624 10137 33554432000 4194304 4196468 140735183942320 140153553749152 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4625] ppid=4615 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4625/stat : 4625 (java) S 4615 4615 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475296533 15508250624 10137 33554432000 4194304 4196468 140735183942320 140153552696048 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4626] ppid=4615 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4626/stat : 4626 (java) S 4615 4615 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475296535 15508250624 10137 33554432000 4194304 4196468 140735183942320 140153551644624 140154086168475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4627] ppid=4615 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4617/task/4627/stat : 4627 (java) S 4615 4615 1883 0 -1 1077944384 373 0 0 0 1 0 0 0 20 0 15 0 475296535 15508250624 10137 33554432000 4194304 4196468 140735183942320 140153550592752 140154086161026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4628] ppid=4615 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/4617/task/4628/stat : 4628 (java) S 4615 4615 1883 0 -1 1077944384 278 0 0 0 3 0 0 0 20 0 15 0 475296535 15508250624 10137 33554432000 4194304 4196468 140735183942320 140153549540208 140154086161026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4629] ppid=4615 vsize=15144776 memory=140281581921920 CPUtime=0.08 cores=0,2,4,6
/proc/4617/task/4629/stat : 4629 (java) S 4615 4615 1883 0 -1 1077944384 756 0 0 0 8 0 0 0 20 0 15 0 475296535 15508250624 10137 33554432000 4194304 4196468 140735183942320 140153548487152 140154086161026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4630] ppid=4615 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4630/stat : 4630 (java) S 4615 4615 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475296535 15508250624 10137 33554432000 4194304 4196468 140735183942320 140153547434848 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4631] ppid=4615 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4631/stat : 4631 (java) S 4615 4615 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475296536 15508250624 10137 33554432000 4194304 4196468 140735183942320 140153546381872 140154086161026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42004 KiB

[startup+0.312386 s]*
/proc/loadavg: 8.14 8.26 8.14 7/232 4631
/proc/meminfo: memFree=5555620/32770624 swapFree=66952588/67108860
[pid=4615] ppid=4612 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4615/stat : 4615 (xcsp3-exec) S 4612 4615 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475296529 115843072 364 33554432000 4194304 5098028 140728372565392 140728372563496 140056555393660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16781312 140728372568919 140728372569177 140728372569177 140728372572102 0
/proc/4615/statm: 28282 364 305 221 0 87 0
[pid=4617] ppid=4615 vsize=15149032 memory=49476 CPUtime=0.54 cores=0,2,4,6
/proc/4617/stat : 4617 (java) S 4615 4615 1883 0 -1 1077944320 10183 0 0 0 50 4 0 0 20 0 15 0 475296529 15512608768 12369 33554432000 4194304 4196468 140735183942320 140735183924864 140154086149879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
/proc/4617/statm: 3787258 12369 3345 1 0 3748377 0
[pid=4617/tid=4618] ppid=4615 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/4617/task/4618/stat : 4618 (java) R 4615 4615 1883 0 -1 4202560 7240 0 0 0 28 2 0 0 20 0 15 0 475296530 15512608768 12369 33554432000 4194304 4196468 140735183942320 140154090378744 140154070230366 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4619] ppid=4615 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4619/stat : 4619 (java) S 4615 4615 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475296531 15512608768 12369 33554432000 4194304 4196468 140735183942320 140153678015504 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4620] ppid=4615 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4620/stat : 4620 (java) S 4615 4615 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475296531 15512608768 12369 33554432000 4194304 4196468 140735183942320 140153676962960 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4621] ppid=4615 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4621/stat : 4621 (java) S 4615 4615 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475296531 15512608768 12369 33554432000 4194304 4196468 140735183942320 140153675909904 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4622] ppid=4615 vsize=15149032 memory=8547712850019655617 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4622/stat : 4622 (java) S 4615 4615 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475296531 15512608768 12369 33554432000 4194304 4196468 140735183942320 140153674857360 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4623] ppid=4615 vsize=15149032 memory=7089056485457618024 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4623/stat : 4623 (java) S 4615 4615 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475296532 15512608768 12369 33554432000 4194304 4196468 140735183942320 140153554802928 140154086161026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4624] ppid=4615 vsize=15149032 memory=4209357772117481859 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4624/stat : 4624 (java) S 4615 4615 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475296532 15512608768 12369 33554432000 4194304 4196468 140735183942320 140153553749152 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4625] ppid=4615 vsize=15149032 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4625/stat : 4625 (java) S 4615 4615 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475296533 15512608768 12369 33554432000 4194304 4196468 140735183942320 140153552696048 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4626] ppid=4615 vsize=15149032 memory=-8412652169205224307 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4626/stat : 4626 (java) S 4615 4615 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475296535 15512608768 12369 33554432000 4194304 4196468 140735183942320 140153551644624 140154086168475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4627] ppid=4615 vsize=15149032 memory=-8412656567168561567 CPUtime=0.04 cores=0,2,4,6
/proc/4617/task/4627/stat : 4627 (java) R 4615 4615 1883 0 -1 4202560 492 0 0 0 4 0 0 0 20 0 15 0 475296535 15512608768 12369 33554432000 4194304 4196468 140735183942320 140153550573864 140154065395727 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4628] ppid=4615 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/4617/task/4628/stat : 4628 (java) S 4615 4615 1883 0 -1 1077944384 295 0 0 0 5 0 0 0 20 0 15 0 475296535 15512608768 12369 33554432000 4194304 4196468 140735183942320 140153549540208 140154086161026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4629] ppid=4615 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/4617/task/4629/stat : 4629 (java) S 4615 4615 1883 0 -1 1077944384 873 0 0 0 13 0 0 0 20 0 15 0 475296535 15512608768 12369 33554432000 4194304 4196468 140735183942320 140153548487152 140154086161026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4630] ppid=4615 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4630/stat : 4630 (java) S 4615 4615 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475296535 15512608768 12369 33554432000 4194304 4196468 140735183942320 140153547434848 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4631] ppid=4615 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4631/stat : 4631 (java) S 4615 4615 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475296536 15512608768 12369 33554432000 4194304 4196468 140735183942320 140153546381872 140154086161026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50932 KiB

[startup+0.706479 s]
/proc/loadavg: 8.14 8.26 8.14 10/232 4631
/proc/meminfo: memFree=5533616/32770624 swapFree=66952588/67108860
[pid=4615] ppid=4612 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4615/stat : 4615 (xcsp3-exec) S 4612 4615 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475296529 115843072 364 33554432000 4194304 5098028 140728372565392 140728372563496 140056555393660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16781312 140728372568919 140728372569177 140728372569177 140728372572102 0
/proc/4615/statm: 28282 364 305 221 0 87 0
[pid=4617] ppid=4615 vsize=15151156 memory=93480 CPUtime=1.81 cores=0,2,4,6
/proc/4617/stat : 4617 (java) S 4615 4615 1883 0 -1 1077944320 15485 0 0 0 176 5 0 0 20 0 15 0 475296529 15514783744 23370 33554432000 4194304 4196468 140735183942320 140735183924864 140154086149879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
/proc/4617/statm: 3787789 23370 3444 1 0 3748889 0
[pid=4617/tid=4618] ppid=4615 vsize=15151156 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/4617/task/4618/stat : 4618 (java) R 4615 4615 1883 0 -1 4202560 8751 0 0 0 63 3 0 0 20 0 15 0 475296530 15514783744 23370 33554432000 4194304 4196468 140735183942320 140154090386296 140153723019168 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4619] ppid=4615 vsize=15151156 memory=164 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4619/stat : 4619 (java) S 4615 4615 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475296531 15514783744 23370 33554432000 4194304 4196468 140735183942320 140153678015504 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4620] ppid=4615 vsize=15151156 memory=6154848828556269427 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4620/stat : 4620 (java) S 4615 4615 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475296531 15514783744 23370 33554432000 4194304 4196468 140735183942320 140153676962960 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4621] ppid=4615 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4621/stat : 4621 (java) S 4615 4615 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475296531 15514783744 23370 33554432000 4194304 4196468 140735183942320 140153675909904 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4622] ppid=4615 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4622/stat : 4622 (java) S 4615 4615 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475296531 15514783744 23370 33554432000 4194304 4196468 140735183942320 140153674857360 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4623] ppid=4615 vsize=15151156 memory=40228 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4623/stat : 4623 (java) S 4615 4615 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475296532 15514783744 23370 33554432000 4194304 4196468 140735183942320 140153554802928 140154086161026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4624] ppid=4615 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4624/stat : 4624 (java) S 4615 4615 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475296532 15514783744 23370 33554432000 4194304 4196468 140735183942320 140153553749152 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4625] ppid=4615 vsize=15151156 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4625/stat : 4625 (java) S 4615 4615 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475296533 15514783744 23370 33554432000 4194304 4196468 140735183942320 140153552696048 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4626] ppid=4615 vsize=15151156 memory=1284 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4626/stat : 4626 (java) S 4615 4615 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475296535 15514783744 23370 33554432000 4194304 4196468 140735183942320 140153551644624 140154086168475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4627] ppid=4615 vsize=15151156 memory=1044 CPUtime=0.37 cores=0,2,4,6
/proc/4617/task/4627/stat : 4627 (java) R 4615 4615 1883 0 -1 4202560 1666 0 0 0 37 0 0 0 20 0 15 0 475296535 15514783744 23370 33554432000 4194304 4196468 140735183942320 140153550592752 140154069688371 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4628] ppid=4615 vsize=15151156 memory=708 CPUtime=0.34 cores=0,2,4,6
/proc/4617/task/4628/stat : 4628 (java) R 4615 4615 1883 0 -1 4202560 1367 0 0 0 34 0 0 0 20 0 15 0 475296535 15514783744 23370 33554432000 4194304 4196468 140735183942320 140153549526560 140154065843448 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4629] ppid=4615 vsize=15151156 memory=9364 CPUtime=0.4 cores=0,2,4,6
/proc/4617/task/4629/stat : 4629 (java) R 4615 4615 1883 0 -1 4202560 2393 0 0 0 40 0 0 0 20 0 15 0 475296535 15514783744 23370 33554432000 4194304 4196468 140735183942320 140153548487152 140154079246715 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4630] ppid=4615 vsize=15151156 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4630/stat : 4630 (java) S 4615 4615 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475296535 15514783744 23370 33554432000 4194304 4196468 140735183942320 140153547434848 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4631] ppid=4615 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4631/stat : 4631 (java) S 4615 4615 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475296536 15514783744 23370 33554432000 4194304 4196468 140735183942320 140153546381872 140154086161026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 94936 KiB

[startup+1.50248 s]
/proc/loadavg: 8.14 8.26 8.14 8/232 4631
/proc/meminfo: memFree=5464676/32770624 swapFree=66952588/67108860
[pid=4615] ppid=4612 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4615/stat : 4615 (xcsp3-exec) S 4612 4615 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475296529 115843072 364 33554432000 4194304 5098028 140728372565392 140728372563496 140056555393660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16781312 140728372568919 140728372569177 140728372569177 140728372572102 0
/proc/4615/statm: 28282 364 305 221 0 87 0

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

/proc/4617/task/4659/stat : 4659 (java) R 4615 4615 1883 0 -1 4202560 93 0 0 0 83 0 0 0 20 0 19 0 475296706 15858741248 53790 33554432000 4194304 4196468 140735183942320 140153529803672 140153731645307 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
Current children cumulated CPU time: 11.03 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 216616 KiB

[startup+6.30148 s]
/proc/loadavg: 8.21 8.27 8.14 10/236 4660
/proc/meminfo: memFree=5375100/32770624 swapFree=66952588/67108860
[pid=4615] ppid=4612 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4615/stat : 4615 (xcsp3-exec) S 4612 4615 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475296529 115843072 364 33554432000 4194304 5098028 140728372565392 140728372563496 140056555393660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16781312 140728372568919 140728372569177 140728372569177 140728372572102 0
/proc/4615/statm: 28282 364 305 221 0 87 0
[pid=4617] ppid=4615 vsize=15487052 memory=231832 CPUtime=23.66 cores=0,2,4,6
/proc/4617/stat : 4617 (java) S 4615 4615 1883 0 -1 1077944320 32565 0 0 0 2349 17 0 0 20 0 19 0 475296529 15858741248 57958 33554432000 4194304 4196468 140735183942320 140735183924864 140154086149879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
/proc/4617/statm: 3871763 57958 3536 1 0 3832863 0
[pid=4617/tid=4618] ppid=4615 vsize=15487052 memory=988 CPUtime=1.16 cores=0,2,4,6
/proc/4617/task/4618/stat : 4618 (java) S 4615 4615 1883 0 -1 1077944384 10876 0 0 0 111 5 0 0 20 0 19 0 475296530 15858741248 57958 33554432000 4194304 4196468 140735183942320 140154090390656 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4619] ppid=4615 vsize=15487052 memory=140281484164992 CPUtime=0.03 cores=0,2,4,6
/proc/4617/task/4619/stat : 4619 (java) S 4615 4615 1883 0 -1 1077944384 43 0 0 0 2 1 0 0 20 0 19 0 475296531 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153678015504 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4620] ppid=4615 vsize=15487052 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4617/task/4620/stat : 4620 (java) S 4615 4615 1883 0 -1 1077944384 322 0 0 0 2 1 0 0 20 0 19 0 475296531 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153676962960 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4621] ppid=4615 vsize=15487052 memory=4580 CPUtime=0.03 cores=0,2,4,6
/proc/4617/task/4621/stat : 4621 (java) S 4615 4615 1883 0 -1 1077944384 371 0 0 0 2 1 0 0 20 0 19 0 475296531 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153675909904 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4622] ppid=4615 vsize=15487052 memory=7517440547826853479 CPUtime=0.03 cores=0,2,4,6
/proc/4617/task/4622/stat : 4622 (java) S 4615 4615 1883 0 -1 1077944384 135 0 0 0 2 1 0 0 20 0 19 0 475296531 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153674857360 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4623] ppid=4615 vsize=15487052 memory=3580 CPUtime=0.01 cores=0,2,4,6
/proc/4617/task/4623/stat : 4623 (java) S 4615 4615 1883 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 19 0 475296532 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153554802928 140154086161026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4624] ppid=4615 vsize=15487052 memory=40228 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4624/stat : 4624 (java) S 4615 4615 1883 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475296532 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153553749216 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4625] ppid=4615 vsize=15487052 memory=988 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4625/stat : 4625 (java) S 4615 4615 1883 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 475296533 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153552696064 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4626] ppid=4615 vsize=15487052 memory=6408091206851 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4626/stat : 4626 (java) S 4615 4615 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475296535 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153551644624 140154086168475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4627] ppid=4615 vsize=15487052 memory=288230596050944315 CPUtime=2.98 cores=0,2,4,6
/proc/4617/task/4627/stat : 4627 (java) S 4615 4615 1883 0 -1 1077944384 6278 0 0 0 297 1 0 0 20 0 19 0 475296535 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153550592752 140154086161026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4628] ppid=4615 vsize=15487052 memory=13564911997421614 CPUtime=3.22 cores=0,2,4,6
/proc/4617/task/4628/stat : 4628 (java) S 4615 4615 1883 0 -1 1077944384 6863 0 0 0 321 1 0 0 20 0 19 0 475296535 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153549540208 140154086161026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4629] ppid=4615 vsize=15487052 memory=0 CPUtime=1.02 cores=0,2,4,6
/proc/4617/task/4629/stat : 4629 (java) S 4615 4615 1883 0 -1 1077944384 4268 0 0 0 101 1 0 0 20 0 19 0 475296535 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153548487152 140154086161026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4630] ppid=4615 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4630/stat : 4630 (java) S 4615 4615 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475296535 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153547434848 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4631] ppid=4615 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4631/stat : 4631 (java) S 4615 4615 1883 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475296536 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153546381872 140154086161026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4656] ppid=4615 vsize=15487052 memory=0 CPUtime=3.74 cores=0,2,4,6
/proc/4617/task/4656/stat : 4656 (java) R 4615 4615 1883 0 -1 4202560 150 0 0 0 374 0 0 0 20 0 19 0 475296706 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153532959720 140153732962240 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4657] ppid=4615 vsize=15487052 memory=2016 CPUtime=3.32 cores=0,2,4,6
/proc/4617/task/4657/stat : 4657 (java) R 4615 4615 1883 0 -1 4202560 236 0 0 0 332 0 0 0 20 0 19 0 475296706 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153535066312 140153734180323 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4658] ppid=4615 vsize=15487052 memory=1284 CPUtime=3.4 cores=0,2,4,6
/proc/4617/task/4658/stat : 4658 (java) R 4615 4615 1883 0 -1 4202560 552 0 0 0 340 0 0 0 20 0 19 0 475296706 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153534014056 140153727810112 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4659] ppid=4615 vsize=15487052 memory=1044 CPUtime=3.5 cores=0,2,4,6
/proc/4617/task/4659/stat : 4659 (java) R 4615 4615 1883 0 -1 4202560 150 0 0 0 350 0 0 0 20 0 19 0 475296706 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153529803768 140153731797681 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
Current children cumulated CPU time: 23.66 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 233288 KiB

[startup+6.60051 s]
# the end of solver process 4615 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=24.6503 s, system=0.187258 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.40148 s]
/proc/loadavg: 8.21 8.27 8.14 10/236 4660
/proc/meminfo: memFree=5375100/32770624 swapFree=66952588/67108860
[pid=4615] ppid=4612 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4615/stat : 4615 (xcsp3-exec) S 4612 4615 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475296529 115843072 364 33554432000 4194304 5098028 140728372565392 140728372563496 140056555393660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16781312 140728372568919 140728372569177 140728372569177 140728372572102 0
/proc/4615/statm: 28282 364 305 221 0 87 0
[pid=4617] ppid=4615 vsize=15487052 memory=231832 CPUtime=24.05 cores=0,2,4,6
/proc/4617/stat : 4617 (java) S 4615 4615 1883 0 -1 1077944320 32692 0 0 0 2388 17 0 0 20 0 19 0 475296529 15858741248 57958 33554432000 4194304 4196468 140735183942320 140735183924864 140154086149879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
/proc/4617/statm: 3871763 57958 3536 1 0 3832863 0
[pid=4617/tid=4618] ppid=4615 vsize=15487052 memory=1120 CPUtime=1.16 cores=0,2,4,6
/proc/4617/task/4618/stat : 4618 (java) S 4615 4615 1883 0 -1 1077944384 10876 0 0 0 111 5 0 0 20 0 19 0 475296530 15858741248 57958 33554432000 4194304 4196468 140735183942320 140154090390656 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4619] ppid=4615 vsize=15487052 memory=776 CPUtime=0.03 cores=0,2,4,6
/proc/4617/task/4619/stat : 4619 (java) S 4615 4615 1883 0 -1 1077944384 43 0 0 0 2 1 0 0 20 0 19 0 475296531 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153678015504 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4620] ppid=4615 vsize=15487052 memory=1724 CPUtime=0.03 cores=0,2,4,6
/proc/4617/task/4620/stat : 4620 (java) S 4615 4615 1883 0 -1 1077944384 322 0 0 0 2 1 0 0 20 0 19 0 475296531 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153676962960 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4621] ppid=4615 vsize=15487052 memory=8080 CPUtime=0.03 cores=0,2,4,6
/proc/4617/task/4621/stat : 4621 (java) S 4615 4615 1883 0 -1 1077944384 371 0 0 0 2 1 0 0 20 0 19 0 475296531 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153675909904 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4622] ppid=4615 vsize=15487052 memory=230868 CPUtime=0.03 cores=0,2,4,6
/proc/4617/task/4622/stat : 4622 (java) S 4615 4615 1883 0 -1 1077944384 135 0 0 0 2 1 0 0 20 0 19 0 475296531 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153674857360 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4623] ppid=4615 vsize=15487052 memory=215160 CPUtime=0.01 cores=0,2,4,6
/proc/4617/task/4623/stat : 4623 (java) S 4615 4615 1883 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 19 0 475296532 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153554802928 140154086161026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4624] ppid=4615 vsize=15487052 memory=24217 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4624/stat : 4624 (java) S 4615 4615 1883 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475296532 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153553749216 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4625] ppid=4615 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4625/stat : 4625 (java) S 4615 4615 1883 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 475296533 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153552696064 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4626] ppid=4615 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4626/stat : 4626 (java) S 4615 4615 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475296535 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153551644624 140154086168475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4627] ppid=4615 vsize=15487052 memory=1456 CPUtime=2.98 cores=0,2,4,6
/proc/4617/task/4627/stat : 4627 (java) S 4615 4615 1883 0 -1 1077944384 6278 0 0 0 297 1 0 0 20 0 19 0 475296535 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153550592752 140154086161026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4628] ppid=4615 vsize=15487052 memory=207948 CPUtime=3.22 cores=0,2,4,6
/proc/4617/task/4628/stat : 4628 (java) S 4615 4615 1883 0 -1 1077944384 6863 0 0 0 321 1 0 0 20 0 19 0 475296535 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153549540208 140154086161026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4629] ppid=4615 vsize=15487052 memory=0 CPUtime=1.02 cores=0,2,4,6
/proc/4617/task/4629/stat : 4629 (java) S 4615 4615 1883 0 -1 1077944384 4268 0 0 0 101 1 0 0 20 0 19 0 475296535 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153548487152 140154086161026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4630] ppid=4615 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4630/stat : 4630 (java) S 4615 4615 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475296535 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153547434848 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4631] ppid=4615 vsize=15487052 memory=280562967293248 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4631/stat : 4631 (java) S 4615 4615 1883 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475296536 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153546381872 140154086161026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4656] ppid=4615 vsize=15487052 memory=280562967408064 CPUtime=3.84 cores=0,2,4,6
/proc/4617/task/4656/stat : 4656 (java) R 4615 4615 1883 0 -1 4202560 150 0 0 0 384 0 0 0 20 0 19 0 475296706 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153532959720 140153731644537 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4657] ppid=4615 vsize=15487052 memory=2241 CPUtime=3.42 cores=0,2,4,6
/proc/4617/task/4657/stat : 4657 (java) R 4615 4615 1883 0 -1 4202560 348 0 0 0 342 0 0 0 20 0 19 0 475296706 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153535066312 140153728678791 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4658] ppid=4615 vsize=15487052 memory=2244 CPUtime=3.5 cores=0,2,4,6
/proc/4617/task/4658/stat : 4658 (java) R 4615 4615 1883 0 -1 4202560 554 0 0 0 350 0 0 0 20 0 19 0 475296706 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153534014056 140153724436885 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4659] ppid=4615 vsize=15487052 memory=54513 CPUtime=3.6 cores=0,2,4,6
/proc/4617/task/4659/stat : 4659 (java) R 4615 4615 1883 0 -1 4202560 163 0 0 0 360 0 0 0 20 0 19 0 475296706 15858741248 57958 33554432000 4194304 4196468 140735183942320 140153529803768 140153731644537 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
Current children cumulated CPU time: 24.05 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 233288 KiB

[startup+6.50148 s]
/proc/loadavg: 8.21 8.27 8.14 10/236 4660
/proc/meminfo: memFree=5375100/32770624 swapFree=66952588/67108860
[pid=4615] ppid=4612 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4615/stat : 4615 (xcsp3-exec) S 4612 4615 1883 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475296529 115843072 364 33554432000 4194304 5098028 140728372565392 140728372563496 140056555393660 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16781312 140728372568919 140728372569177 140728372569177 140728372572102 0
/proc/4615/statm: 28282 364 305 221 0 87 0
[pid=4617] ppid=4615 vsize=15487052 memory=231912 CPUtime=24.45 cores=0,2,4,6
/proc/4617/stat : 4617 (java) S 4615 4615 1883 0 -1 1077944320 32904 0 0 0 2428 17 0 0 20 0 19 0 475296529 15858741248 57978 33554432000 4194304 4196468 140735183942320 140735183924864 140154086149879 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
/proc/4617/statm: 3871763 57978 3538 1 0 3832863 0
[pid=4617/tid=4618] ppid=4615 vsize=15487052 memory=988 CPUtime=1.16 cores=0,2,4,6
/proc/4617/task/4618/stat : 4618 (java) S 4615 4615 1883 0 -1 1077944384 10876 0 0 0 111 5 0 0 20 0 19 0 475296530 15858741248 57978 33554432000 4194304 4196468 140735183942320 140154090390656 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4619] ppid=4615 vsize=15487052 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4617/task/4619/stat : 4619 (java) S 4615 4615 1883 0 -1 1077944384 43 0 0 0 2 1 0 0 20 0 19 0 475296531 15858741248 57978 33554432000 4194304 4196468 140735183942320 140153678015504 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4620] ppid=4615 vsize=15487052 memory=2016 CPUtime=0.03 cores=0,2,4,6
/proc/4617/task/4620/stat : 4620 (java) S 4615 4615 1883 0 -1 1077944384 322 0 0 0 2 1 0 0 20 0 19 0 475296531 15858741248 57978 33554432000 4194304 4196468 140735183942320 140153676962960 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4621] ppid=4615 vsize=15487052 memory=1284 CPUtime=0.03 cores=0,2,4,6
/proc/4617/task/4621/stat : 4621 (java) S 4615 4615 1883 0 -1 1077944384 371 0 0 0 2 1 0 0 20 0 19 0 475296531 15858741248 57978 33554432000 4194304 4196468 140735183942320 140153675909904 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4622] ppid=4615 vsize=15487052 memory=1044 CPUtime=0.03 cores=0,2,4,6
/proc/4617/task/4622/stat : 4622 (java) S 4615 4615 1883 0 -1 1077944384 135 0 0 0 2 1 0 0 20 0 19 0 475296531 15858741248 57978 33554432000 4194304 4196468 140735183942320 140153674857360 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4623] ppid=4615 vsize=15487052 memory=140281484164992 CPUtime=0.01 cores=0,2,4,6
/proc/4617/task/4623/stat : 4623 (java) S 4615 4615 1883 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 19 0 475296532 15858741248 57978 33554432000 4194304 4196468 140735183942320 140153554802928 140154086161026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4624] ppid=4615 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4624/stat : 4624 (java) S 4615 4615 1883 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475296532 15858741248 57978 33554432000 4194304 4196468 140735183942320 140153553749216 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4625] ppid=4615 vsize=15487052 memory=4580 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4625/stat : 4625 (java) S 4615 4615 1883 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 475296533 15858741248 57978 33554432000 4194304 4196468 140735183942320 140153552696064 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4626] ppid=4615 vsize=15487052 memory=7517440547826853479 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4626/stat : 4626 (java) S 4615 4615 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475296535 15858741248 57978 33554432000 4194304 4196468 140735183942320 140153551644624 140154086168475 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4627] ppid=4615 vsize=15487052 memory=8112282956445269571 CPUtime=2.98 cores=0,2,4,6
/proc/4617/task/4627/stat : 4627 (java) S 4615 4615 1883 0 -1 1077944384 6482 0 0 0 297 1 0 0 20 0 19 0 475296535 15858741248 57978 33554432000 4194304 4196468 140735183942320 140153550592752 140154086161026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4628] ppid=4615 vsize=15487052 memory=7373360586872542288 CPUtime=3.22 cores=0,2,4,6
/proc/4617/task/4628/stat : 4628 (java) S 4615 4615 1883 0 -1 1077944384 6863 0 0 0 321 1 0 0 20 0 19 0 475296535 15858741248 57978 33554432000 4194304 4196468 140735183942320 140153549540208 140154086161026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4629] ppid=4615 vsize=15487052 memory=7516902878337460334 CPUtime=1.02 cores=0,2,4,6
/proc/4617/task/4629/stat : 4629 (java) S 4615 4615 1883 0 -1 1077944384 4268 0 0 0 101 1 0 0 20 0 19 0 475296535 15858741248 57978 33554432000 4194304 4196468 140735183942320 140153548487152 140154086161026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4630] ppid=4615 vsize=15487052 memory=7594025922359092566 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4630/stat : 4630 (java) S 4615 4615 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475296535 15858741248 57978 33554432000 4194304 4196468 140735183942320 140153547434848 140154086160085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4631] ppid=4615 vsize=15487052 memory=-6369637238906953513 CPUtime=0 cores=0,2,4,6
/proc/4617/task/4631/stat : 4631 (java) S 4615 4615 1883 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475296536 15858741248 57978 33554432000 4194304 4196468 140735183942320 140153546381872 140154086161026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4656] ppid=4615 vsize=15487052 memory=4206186544037388384 CPUtime=3.94 cores=0,2,4,6
/proc/4617/task/4656/stat : 4656 (java) R 4615 4615 1883 0 -1 4202560 150 0 0 0 394 0 0 0 20 0 19 0 475296706 15858741248 57978 33554432000 4194304 4196468 140735183942320 140153532959720 140153731375539 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4657] ppid=4615 vsize=15487052 memory=3580 CPUtime=3.52 cores=0,2,4,6
/proc/4617/task/4657/stat : 4657 (java) R 4615 4615 1883 0 -1 4202560 354 0 0 0 352 0 0 0 20 0 19 0 475296706 15858741248 57978 33554432000 4194304 4196468 140735183942320 140153535066312 140153731645738 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4658] ppid=4615 vsize=15487052 memory=40228 CPUtime=3.6 cores=0,2,4,6
/proc/4617/task/4658/stat : 4658 (java) R 4615 4615 1883 0 -1 4202560 556 0 0 0 360 0 0 0 20 0 19 0 475296706 15858741248 57978 33554432000 4194304 4196468 140735183942320 140153534013224 140153732402312 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
[pid=4617/tid=4659] ppid=4615 vsize=15487052 memory=988 CPUtime=3.69 cores=0,2,4,6
/proc/4617/task/4659/stat : 4659 (java) R 4615 4615 1883 0 -1 4202560 163 0 0 0 369 0 0 0 20 0 19 0 475296706 15858741248 57978 33554432000 4194304 4196468 140735183942320 140153529803768 140153731645127 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37318656 140735183950811 140735183950986 140735183950986 140735183953871 0
Current children cumulated CPU time: 24.45 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 233368 KiB

Child status: 0
Real time (s): 6.60057
CPU time (s): 24.8375
CPU user time (s): 24.6503
CPU system time (s): 0.187258
CPU usage (%): 376.294
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 233692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.6503
system time used= 0.187258
maximum resident set size= 245104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34858
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= 2860
involuntary context switches= 1047


# summary of solver processes directly reported to runsolver:
#   pid: 4615
#   total CPU time (s): 24.8375
#   total CPU user time (s): 24.6503
#   total CPU system time (s): 0.187258

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.063856 second user time and 0.117073 second system time

The end

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

Trace number 4403714

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