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.9201	6.63803

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403738-1568993589.xml"  -tl '2520s' -p 4
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4403738-1568993589.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.29	c parse instance...
3.43/1.20	c solve instance...
3.84/1.31	o 15 
3.84/1.35	o 14 
3.84/1.39	o 13 
4.22/1.48	o 12 
5.33/1.70	o 11 
5.33/1.71	o 10 
24.79/6.63	s OPTIMUM FOUND
24.79/6.63	v <instantiation>
24.79/6.63	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.79/6.63	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.79/6.63	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 (7136 MiB free)
  memory of node 1: 16384 MiB (8023 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403738-1568993589/watcher-4403738-1568993589 -o /var/tmp/evaluation-result-4403738-1568993589/solver-4403738-1568993589 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node147-1568991333-3666 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2126067984 HOME/instance-4403738-1568993589.xml 

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

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

solver pid=8135, runsolver pid=8132

[startup+0.100112 s]*
/proc/loadavg: 8.23 8.01 7.25 7/234 8151
/proc/meminfo: memFree=15501508/32770624 swapFree=66935844/67108860
[pid=8135] ppid=8132 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8135/stat : 8135 (xcsp3-exec) S 8132 8135 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475272666 115843072 363 33554432000 4194304 5098028 140727958855232 140727958853336 140589085049468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31137792 140727958856534 140727958856793 140727958856793 140727958859718 0
/proc/8135/statm: 28282 363 305 221 0 87 0
[pid=8137] ppid=8135 vsize=15144776 memory=27612 CPUtime=0.12 cores=1,3,5,7
/proc/8137/stat : 8137 (java) S 8135 8135 3634 0 -1 1077944320 5818 0 0 0 11 1 0 0 20 0 15 0 475272666 15508250624 6903 33554432000 4194304 4196468 140725077689072 140725077671616 139973957656311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
/proc/8137/statm: 3786194 6903 3151 1 0 3748377 0
[pid=8137/tid=8138] ppid=8135 vsize=15144776 memory=7682759018784461659 CPUtime=0.09 cores=1,3,5,7
/proc/8137/task/8138/stat : 8138 (java) R 8135 8135 3634 0 -1 4202560 3716 0 0 0 8 1 0 0 20 0 15 0 475272667 15508250624 6903 33554432000 4194304 4196468 140725077689072 139973961886528 139973941736798 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8139] ppid=8135 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8139/stat : 8139 (java) S 8135 8135 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272667 15508250624 6903 33554432000 4194304 4196468 140725077689072 139973925215248 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8140] ppid=8135 vsize=15144776 memory=140447023482496 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8140/stat : 8140 (java) S 8135 8135 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272667 15508250624 6903 33554432000 4194304 4196468 140725077689072 139973549026448 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8141] ppid=8135 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8141/stat : 8141 (java) S 8135 8135 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272667 15508250624 6903 33554432000 4194304 4196468 140725077689072 139973547973392 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8142] ppid=8135 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8142/stat : 8142 (java) S 8135 8135 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475272667 15508250624 6903 33554432000 4194304 4196468 140725077689072 139973546920848 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8143] ppid=8135 vsize=15144776 memory=140447023482496 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8143/stat : 8143 (java) S 8135 8135 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475272669 15508250624 6903 33554432000 4194304 4196468 140725077689072 139973426198768 139973957667458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8144] ppid=8135 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8144/stat : 8144 (java) S 8135 8135 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475272669 15508250624 6903 33554432000 4194304 4196468 140725077689072 139973425144992 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8145] ppid=8135 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8145/stat : 8145 (java) S 8135 8135 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475272669 15508250624 6903 33554432000 4194304 4196468 140725077689072 139973424091888 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8146] ppid=8135 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8146/stat : 8146 (java) S 8135 8135 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475272672 15508250624 6903 33554432000 4194304 4196468 140725077689072 139973423040464 139973957674907 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8147] ppid=8135 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8147/stat : 8147 (java) R 8135 8135 3634 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 475272672 15508250624 6903 33554432000 4194304 4196468 140725077689072 139973421988592 139973957667458 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8148] ppid=8135 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8148/stat : 8148 (java) R 8135 8135 3634 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 15 0 475272672 15508250624 6903 33554432000 4194304 4196468 140725077689072 139973420936048 139973935489168 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8149] ppid=8135 vsize=15144776 memory=140447023482496 CPUtime=0.02 cores=1,3,5,7
/proc/8137/task/8149/stat : 8149 (java) S 8135 8135 3634 0 -1 1077944384 371 0 0 0 2 0 0 0 20 0 15 0 475272672 15508250624 6903 33554432000 4194304 4196468 140725077689072 139973419882992 139973957667458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8150] ppid=8135 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8150/stat : 8150 (java) S 8135 8135 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475272672 15508250624 6903 33554432000 4194304 4196468 140725077689072 139973418830688 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8151] ppid=8135 vsize=15144776 memory=140447023482496 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8151/stat : 8151 (java) S 8135 8135 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272672 15508250624 6903 33554432000 4194304 4196468 140725077689072 139973417777712 139973957667458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29064 KiB

[startup+0.211051 s]*
/proc/loadavg: 8.23 8.01 7.25 7/234 8151
/proc/meminfo: memFree=15483816/32770624 swapFree=66935844/67108860
[pid=8135] ppid=8132 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8135/stat : 8135 (xcsp3-exec) S 8132 8135 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475272666 115843072 363 33554432000 4194304 5098028 140727958855232 140727958853336 140589085049468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31137792 140727958856534 140727958856793 140727958856793 140727958859718 0
/proc/8135/statm: 28282 363 305 221 0 87 0
[pid=8137] ppid=8135 vsize=15144776 memory=39932 CPUtime=0.34 cores=1,3,5,7
/proc/8137/stat : 8137 (java) S 8135 8135 3634 0 -1 1077944320 9689 0 0 0 31 3 0 0 20 0 15 0 475272666 15508250624 9983 33554432000 4194304 4196468 140725077689072 140725077671616 139973957656311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
/proc/8137/statm: 3786194 9983 3317 1 0 3748377 0
[pid=8137/tid=8138] ppid=8135 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/8137/task/8138/stat : 8138 (java) R 8135 8135 3634 0 -1 4202560 6663 0 0 0 18 2 0 0 20 0 15 0 475272667 15508250624 9983 33554432000 4194304 4196468 140725077689072 139973961889040 139973939945640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8139] ppid=8135 vsize=15144776 memory=8956 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8139/stat : 8139 (java) S 8135 8135 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272667 15508250624 9983 33554432000 4194304 4196468 140725077689072 139973925215248 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8140] ppid=8135 vsize=15144776 memory=3689774030945371808 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8140/stat : 8140 (java) S 8135 8135 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272667 15508250624 9983 33554432000 4194304 4196468 140725077689072 139973549026448 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8141] ppid=8135 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8141/stat : 8141 (java) S 8135 8135 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272667 15508250624 9983 33554432000 4194304 4196468 140725077689072 139973547973392 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8142] ppid=8135 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8142/stat : 8142 (java) S 8135 8135 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475272667 15508250624 9983 33554432000 4194304 4196468 140725077689072 139973546920848 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8143] ppid=8135 vsize=15144776 memory=140447023482496 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8143/stat : 8143 (java) S 8135 8135 3634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475272669 15508250624 9983 33554432000 4194304 4196468 140725077689072 139973426198768 139973957667458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8144] ppid=8135 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8144/stat : 8144 (java) S 8135 8135 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475272669 15508250624 9983 33554432000 4194304 4196468 140725077689072 139973425144992 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8145] ppid=8135 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8145/stat : 8145 (java) S 8135 8135 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475272669 15508250624 9983 33554432000 4194304 4196468 140725077689072 139973424091888 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8146] ppid=8135 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8146/stat : 8146 (java) S 8135 8135 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475272672 15508250624 9983 33554432000 4194304 4196468 140725077689072 139973423040464 139973957674907 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8147] ppid=8135 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8137/task/8147/stat : 8147 (java) S 8135 8135 3634 0 -1 1077944384 689 0 0 0 2 0 0 0 20 0 15 0 475272672 15508250624 9983 33554432000 4194304 4196468 140725077689072 139973421988592 139973957667458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8148] ppid=8135 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8137/task/8148/stat : 8148 (java) S 8135 8135 3634 0 -1 1077944384 156 0 0 0 2 0 0 0 20 0 15 0 475272672 15508250624 9983 33554432000 4194304 4196468 140725077689072 139973420936048 139973957667458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8149] ppid=8135 vsize=15144776 memory=140447023482496 CPUtime=0.08 cores=1,3,5,7
/proc/8137/task/8149/stat : 8149 (java) R 8135 8135 3634 0 -1 4202560 878 0 0 0 8 0 0 0 20 0 15 0 475272672 15508250624 9983 33554432000 4194304 4196468 140725077689072 139973419882992 139973950753147 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8150] ppid=8135 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8150/stat : 8150 (java) S 8135 8135 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475272672 15508250624 9983 33554432000 4194304 4196468 140725077689072 139973418830688 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8151] ppid=8135 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8151/stat : 8151 (java) S 8135 8135 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272672 15508250624 9983 33554432000 4194304 4196468 140725077689072 139973417777712 139973957667458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41384 KiB

[startup+0.310648 s]*
/proc/loadavg: 8.23 8.01 7.25 7/234 8151
/proc/meminfo: memFree=15468240/32770624 swapFree=66935844/67108860
[pid=8135] ppid=8132 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8135/stat : 8135 (xcsp3-exec) S 8132 8135 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475272666 115843072 363 33554432000 4194304 5098028 140727958855232 140727958853336 140589085049468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31137792 140727958856534 140727958856793 140727958856793 140727958859718 0
/proc/8135/statm: 28282 363 305 221 0 87 0
[pid=8137] ppid=8135 vsize=15149032 memory=48812 CPUtime=0.53 cores=1,3,5,7
/proc/8137/stat : 8137 (java) S 8135 8135 3634 0 -1 1077944320 11436 0 0 0 48 5 0 0 20 0 15 0 475272666 15512608768 12203 33554432000 4194304 4196468 140725077689072 140725077671616 139973957656311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
/proc/8137/statm: 3787258 12203 3364 1 0 3748377 0
[pid=8137/tid=8138] ppid=8135 vsize=15149032 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/8137/task/8138/stat : 8138 (java) R 8135 8135 3634 0 -1 4202560 8148 0 0 0 26 3 0 0 20 0 15 0 475272667 15512608768 12203 33554432000 4194304 4196468 140725077689072 139973961887424 139973941736798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8139] ppid=8135 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8139/stat : 8139 (java) S 8135 8135 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272667 15512608768 12203 33554432000 4194304 4196468 140725077689072 139973925215248 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8140] ppid=8135 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8140/stat : 8140 (java) S 8135 8135 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272667 15512608768 12203 33554432000 4194304 4196468 140725077689072 139973549026448 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8141] ppid=8135 vsize=15149032 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8141/stat : 8141 (java) S 8135 8135 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272667 15512608768 12203 33554432000 4194304 4196468 140725077689072 139973547973392 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8142] ppid=8135 vsize=15149032 memory=7161374744685748120 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8142/stat : 8142 (java) S 8135 8135 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475272667 15512608768 12203 33554432000 4194304 4196468 140725077689072 139973546920848 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8143] ppid=8135 vsize=15149032 memory=6944657691966988345 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8143/stat : 8143 (java) S 8135 8135 3634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475272669 15512608768 12203 33554432000 4194304 4196468 140725077689072 139973426198768 139973957667458 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8144] ppid=8135 vsize=15149032 memory=4196912344889787449 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8144/stat : 8144 (java) S 8135 8135 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475272669 15512608768 12203 33554432000 4194304 4196468 140725077689072 139973425144992 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8145] ppid=8135 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8145/stat : 8145 (java) S 8135 8135 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475272669 15512608768 12203 33554432000 4194304 4196468 140725077689072 139973424091888 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8146] ppid=8135 vsize=15149032 memory=-6372718397967082684 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8146/stat : 8146 (java) S 8135 8135 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475272672 15512608768 12203 33554432000 4194304 4196468 140725077689072 139973423040464 139973957674907 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8147] ppid=8135 vsize=15149032 memory=8325818968683490714 CPUtime=0.04 cores=1,3,5,7
/proc/8137/task/8147/stat : 8147 (java) R 8135 8135 3634 0 -1 4202560 787 0 0 0 4 0 0 0 20 0 15 0 475272672 15512608768 12203 33554432000 4194304 4196468 140725077689072 139973421980048 139973935403317 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8148] ppid=8135 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/8137/task/8148/stat : 8148 (java) S 8135 8135 3634 0 -1 1077944384 180 0 0 0 4 0 0 0 20 0 15 0 475272672 15512608768 12203 33554432000 4194304 4196468 140725077689072 139973420936048 139973957667458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8149] ppid=8135 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/8137/task/8149/stat : 8149 (java) S 8135 8135 3634 0 -1 1077944384 1030 0 0 0 12 0 0 0 20 0 15 0 475272672 15512608768 12203 33554432000 4194304 4196468 140725077689072 139973419882992 139973957667458 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8150] ppid=8135 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8150/stat : 8150 (java) S 8135 8135 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475272672 15512608768 12203 33554432000 4194304 4196468 140725077689072 139973418830688 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8151] ppid=8135 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8151/stat : 8151 (java) S 8135 8135 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272672 15512608768 12203 33554432000 4194304 4196468 140725077689072 139973417777712 139973957667458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50264 KiB

[startup+0.700888 s]
/proc/loadavg: 8.23 8.01 7.25 8/234 8151
/proc/meminfo: memFree=15431028/32770624 swapFree=66935844/67108860
[pid=8135] ppid=8132 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8135/stat : 8135 (xcsp3-exec) S 8132 8135 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475272666 115843072 363 33554432000 4194304 5098028 140727958855232 140727958853336 140589085049468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31137792 140727958856534 140727958856793 140727958856793 140727958859718 0
/proc/8135/statm: 28282 363 305 221 0 87 0
[pid=8137] ppid=8135 vsize=15151156 memory=91308 CPUtime=1.75 cores=1,3,5,7
/proc/8137/stat : 8137 (java) S 8135 8135 3634 0 -1 1077944320 16022 0 0 0 168 7 0 0 20 0 15 0 475272666 15514783744 22827 33554432000 4194304 4196468 140725077689072 140725077671616 139973957656311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
/proc/8137/statm: 3787789 22827 3444 1 0 3748889 0
[pid=8137/tid=8138] ppid=8135 vsize=15151156 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/8137/task/8138/stat : 8138 (java) R 8135 8135 3634 0 -1 4202560 9293 0 0 0 62 5 0 0 20 0 15 0 475272667 15514783744 22827 33554432000 4194304 4196468 140725077689072 139973961875056 139973941736798 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8139] ppid=8135 vsize=15151156 memory=-7082918048272507482 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8139/stat : 8139 (java) S 8135 8135 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272667 15514783744 22827 33554432000 4194304 4196468 140725077689072 139973925215248 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8140] ppid=8135 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8140/stat : 8140 (java) S 8135 8135 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272667 15514783744 22827 33554432000 4194304 4196468 140725077689072 139973549026448 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8141] ppid=8135 vsize=15151156 memory=55832 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8141/stat : 8141 (java) S 8135 8135 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272667 15514783744 22827 33554432000 4194304 4196468 140725077689072 139973547973392 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8142] ppid=8135 vsize=15151156 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8142/stat : 8142 (java) S 8135 8135 3634 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475272667 15514783744 22827 33554432000 4194304 4196468 140725077689072 139973546920848 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8143] ppid=8135 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8143/stat : 8143 (java) S 8135 8135 3634 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475272669 15514783744 22827 33554432000 4194304 4196468 140725077689072 139973426198768 139973957667458 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8144] ppid=8135 vsize=15151156 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8144/stat : 8144 (java) S 8135 8135 3634 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475272669 15514783744 22827 33554432000 4194304 4196468 140725077689072 139973425144992 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8145] ppid=8135 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8145/stat : 8145 (java) S 8135 8135 3634 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475272669 15514783744 22827 33554432000 4194304 4196468 140725077689072 139973424091888 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8146] ppid=8135 vsize=15151156 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8146/stat : 8146 (java) S 8135 8135 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475272672 15514783744 22827 33554432000 4194304 4196468 140725077689072 139973423040464 139973957674907 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8147] ppid=8135 vsize=15151156 memory=6024 CPUtime=0.31 cores=1,3,5,7
/proc/8137/task/8147/stat : 8147 (java) R 8135 8135 3634 0 -1 4202560 1673 0 0 0 31 0 0 0 20 0 15 0 475272672 15514783744 22827 33554432000 4194304 4196468 140725077689072 139973421988592 139973937508406 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8148] ppid=8135 vsize=15151156 memory=11416 CPUtime=0.34 cores=1,3,5,7
/proc/8137/task/8148/stat : 8148 (java) R 8135 8135 3634 0 -1 4202560 1246 0 0 0 34 0 0 0 20 0 15 0 475272672 15514783744 22827 33554432000 4194304 4196468 140725077689072 139973420922272 139973939184385 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8149] ppid=8135 vsize=15151156 memory=780 CPUtime=0.4 cores=1,3,5,7
/proc/8137/task/8149/stat : 8149 (java) S 8135 8135 3634 0 -1 1077944384 2503 0 0 0 40 0 0 0 20 0 15 0 475272672 15514783744 22827 33554432000 4194304 4196468 140725077689072 139973419882992 139973957667458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8150] ppid=8135 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8150/stat : 8150 (java) S 8135 8135 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475272672 15514783744 22827 33554432000 4194304 4196468 140725077689072 139973418830688 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8151] ppid=8135 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8151/stat : 8151 (java) S 8135 8135 3634 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475272672 15514783744 22827 33554432000 4194304 4196468 140725077689072 139973417777712 139973957667458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 92760 KiB

[startup+1.50239 s]
/proc/loadavg: 8.23 8.01 7.25 10/234 8151
/proc/meminfo: memFree=15354952/32770624 swapFree=66935844/67108860
[pid=8135] ppid=8132 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8135/stat : 8135 (xcsp3-exec) S 8132 8135 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475272666 115843072 363 33554432000 4194304 5098028 140727958855232 140727958853336 140589085049468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31137792 140727958856534 140727958856793 140727958856793 140727958859718 0
/proc/8135/statm: 28282 363 305 221 0 87 0

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

/proc/8137/task/8179/stat : 8179 (java) R 8135 8135 3634 0 -1 4202560 31 0 0 0 104 0 0 0 20 0 19 0 475272837 15790579712 52666 33554432000 4194304 4196468 140725077689072 139973405409376 139973602615924 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
Current children cumulated CPU time: 10.93 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 212116 KiB

[startup+6.3029 s]
/proc/loadavg: 8.37 8.05 7.27 9/238 8184
/proc/meminfo: memFree=15153640/32770624 swapFree=66935844/67108860
[pid=8135] ppid=8132 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8135/stat : 8135 (xcsp3-exec) S 8132 8135 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475272666 115843072 363 33554432000 4194304 5098028 140727958855232 140727958853336 140589085049468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31137792 140727958856534 140727958856793 140727958856793 140727958859718 0
/proc/8135/statm: 28282 363 305 221 0 87 0
[pid=8137] ppid=8135 vsize=15420488 memory=226608 CPUtime=23.59 cores=1,3,5,7
/proc/8137/stat : 8137 (java) S 8135 8135 3634 0 -1 1077944320 32213 0 0 0 2344 15 0 0 20 0 19 0 475272666 15790579712 56652 33554432000 4194304 4196468 140725077689072 140725077671616 139973957656311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
/proc/8137/statm: 3855122 56652 3529 1 0 3816222 0
[pid=8137/tid=8138] ppid=8135 vsize=15420488 memory=211940 CPUtime=1.18 cores=1,3,5,7
/proc/8137/task/8138/stat : 8138 (java) S 8135 8135 3634 0 -1 1077944384 12092 0 0 0 112 6 0 0 20 0 19 0 475272667 15790579712 56652 33554432000 4194304 4196468 140725077689072 139973961897088 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8139] ppid=8135 vsize=15420488 memory=280893814055744 CPUtime=0.01 cores=1,3,5,7
/proc/8137/task/8139/stat : 8139 (java) S 8135 8135 3634 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 19 0 475272667 15790579712 56652 33554432000 4194304 4196468 140725077689072 139973925215248 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8140] ppid=8135 vsize=15420488 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8137/task/8140/stat : 8140 (java) S 8135 8135 3634 0 -1 1077944384 360 0 0 0 1 0 0 0 20 0 19 0 475272667 15790579712 56652 33554432000 4194304 4196468 140725077689072 139973549026448 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8141] ppid=8135 vsize=15420488 memory=280893814260320 CPUtime=0.01 cores=1,3,5,7
/proc/8137/task/8141/stat : 8141 (java) S 8135 8135 3634 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 19 0 475272667 15790579712 56652 33554432000 4194304 4196468 140725077689072 139973547973392 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8142] ppid=8135 vsize=15420488 memory=69990787071910 CPUtime=0.01 cores=1,3,5,7
/proc/8137/task/8142/stat : 8142 (java) S 8135 8135 3634 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 19 0 475272667 15790579712 56652 33554432000 4194304 4196468 140725077689072 139973546920848 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8143] ppid=8135 vsize=15420488 memory=7524220222558266688 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8143/stat : 8143 (java) S 8135 8135 3634 0 -1 1077944384 344 0 0 0 0 0 0 0 20 0 19 0 475272669 15790579712 56652 33554432000 4194304 4196468 140725077689072 139973426198768 139973957667458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8144] ppid=8135 vsize=15420488 memory=7380671248541445222 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8144/stat : 8144 (java) S 8135 8135 3634 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 475272669 15790579712 56652 33554432000 4194304 4196468 140725077689072 139973425145056 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8145] ppid=8135 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8145/stat : 8145 (java) S 8135 8135 3634 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 475272669 15790579712 56652 33554432000 4194304 4196468 140725077689072 139973424091904 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8146] ppid=8135 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8146/stat : 8146 (java) S 8135 8135 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475272672 15790579712 56652 33554432000 4194304 4196468 140725077689072 139973423040464 139973957674907 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8147] ppid=8135 vsize=15420488 memory=2276 CPUtime=2.78 cores=1,3,5,7
/proc/8137/task/8147/stat : 8147 (java) S 8135 8135 3634 0 -1 1077944384 5791 0 0 0 277 1 0 0 20 0 19 0 475272672 15790579712 56652 33554432000 4194304 4196468 140725077689072 139973421988592 139973957667458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8148] ppid=8135 vsize=15420488 memory=0 CPUtime=3.13 cores=1,3,5,7
/proc/8137/task/8148/stat : 8148 (java) R 8135 8135 3634 0 -1 4202560 5349 0 0 0 313 0 0 0 20 0 19 0 475272672 15790579712 56652 33554432000 4194304 4196468 140725077689072 139973420936344 139973938835420 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8149] ppid=8135 vsize=15420488 memory=0 CPUtime=1 cores=1,3,5,7
/proc/8137/task/8149/stat : 8149 (java) S 8135 8135 3634 0 -1 1077944384 4788 0 0 0 99 1 0 0 20 0 19 0 475272672 15790579712 56652 33554432000 4194304 4196468 140725077689072 139973419882992 139973957667458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8150] ppid=8135 vsize=15420488 memory=55832 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8150/stat : 8150 (java) S 8135 8135 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475272672 15790579712 56652 33554432000 4194304 4196468 140725077689072 139973418830688 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8151] ppid=8135 vsize=15420488 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8151/stat : 8151 (java) S 8135 8135 3634 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 475272672 15790579712 56652 33554432000 4194304 4196468 140725077689072 139973417777712 139973957667458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8176] ppid=8135 vsize=15420488 memory=988 CPUtime=3.86 cores=1,3,5,7
/proc/8137/task/8176/stat : 8176 (java) R 8135 8135 3634 0 -1 4202560 162 0 0 0 386 0 0 0 20 0 19 0 475272837 15790579712 56652 33554432000 4194304 4196468 140725077689072 139973403302808 139973601590690 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8177] ppid=8135 vsize=15420488 memory=1368 CPUtime=3.33 cores=1,3,5,7
/proc/8137/task/8177/stat : 8177 (java) R 8135 8135 3634 0 -1 4202560 359 0 0 0 332 1 0 0 20 0 19 0 475272837 15790579712 56652 33554432000 4194304 4196468 140725077689072 139973404356488 139973604782670 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8178] ppid=8135 vsize=15420488 memory=1056 CPUtime=3.36 cores=1,3,5,7
/proc/8137/task/8178/stat : 8178 (java) R 8135 8135 3634 0 -1 4202560 468 0 0 0 336 0 0 0 20 0 19 0 475272837 15790579712 56652 33554432000 4194304 4196468 140725077689072 139973406461272 139973602616101 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8179] ppid=8135 vsize=15420488 memory=1716 CPUtime=3.94 cores=1,3,5,7
/proc/8137/task/8179/stat : 8179 (java) R 8135 8135 3634 0 -1 4202560 183 0 0 0 394 0 0 0 20 0 19 0 475272837 15790579712 56652 33554432000 4194304 4196468 140725077689072 139973405409128 139973603003980 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
Current children cumulated CPU time: 23.59 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 228060 KiB

[startup+6.63797 s]
# the end of solver process 8135 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=24.7518 s, system=0.168323 s

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

[startup+6.40189 s]
/proc/loadavg: 8.37 8.05 7.27 9/238 8184
/proc/meminfo: memFree=15153640/32770624 swapFree=66935844/67108860
[pid=8135] ppid=8132 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8135/stat : 8135 (xcsp3-exec) S 8132 8135 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475272666 115843072 363 33554432000 4194304 5098028 140727958855232 140727958853336 140589085049468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31137792 140727958856534 140727958856793 140727958856793 140727958859718 0
/proc/8135/statm: 28282 363 305 221 0 87 0
[pid=8137] ppid=8135 vsize=15420488 memory=226616 CPUtime=23.99 cores=1,3,5,7
/proc/8137/stat : 8137 (java) S 8135 8135 3634 0 -1 1077944320 32344 0 0 0 2384 15 0 0 20 0 19 0 475272666 15790579712 56654 33554432000 4194304 4196468 140725077689072 140725077671616 139973957656311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
/proc/8137/statm: 3855122 56654 3529 1 0 3816222 0
[pid=8137/tid=8138] ppid=8135 vsize=15420488 memory=12040 CPUtime=1.18 cores=1,3,5,7
/proc/8137/task/8138/stat : 8138 (java) S 8135 8135 3634 0 -1 1077944384 12092 0 0 0 112 6 0 0 20 0 19 0 475272667 15790579712 56654 33554432000 4194304 4196468 140725077689072 139973961897088 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8139] ppid=8135 vsize=15420488 memory=2124 CPUtime=0.01 cores=1,3,5,7
/proc/8137/task/8139/stat : 8139 (java) S 8135 8135 3634 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 19 0 475272667 15790579712 56654 33554432000 4194304 4196468 140725077689072 139973925215248 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8140] ppid=8135 vsize=15420488 memory=30032 CPUtime=0.01 cores=1,3,5,7
/proc/8137/task/8140/stat : 8140 (java) S 8135 8135 3634 0 -1 1077944384 360 0 0 0 1 0 0 0 20 0 19 0 475272667 15790579712 56654 33554432000 4194304 4196468 140725077689072 139973549026448 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8141] ppid=8135 vsize=15420488 memory=492 CPUtime=0.01 cores=1,3,5,7
/proc/8137/task/8141/stat : 8141 (java) S 8135 8135 3634 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 19 0 475272667 15790579712 56654 33554432000 4194304 4196468 140725077689072 139973547973392 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8142] ppid=8135 vsize=15420488 memory=1560 CPUtime=0.01 cores=1,3,5,7
/proc/8137/task/8142/stat : 8142 (java) S 8135 8135 3634 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 19 0 475272667 15790579712 56654 33554432000 4194304 4196468 140725077689072 139973546920848 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8143] ppid=8135 vsize=15420488 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8143/stat : 8143 (java) S 8135 8135 3634 0 -1 1077944384 344 0 0 0 0 0 0 0 20 0 19 0 475272669 15790579712 56654 33554432000 4194304 4196468 140725077689072 139973426198768 139973957667458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8144] ppid=8135 vsize=15420488 memory=988 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8144/stat : 8144 (java) S 8135 8135 3634 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 475272669 15790579712 56654 33554432000 4194304 4196468 140725077689072 139973425145056 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8145] ppid=8135 vsize=15420488 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8145/stat : 8145 (java) S 8135 8135 3634 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 475272669 15790579712 56654 33554432000 4194304 4196468 140725077689072 139973424091904 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8146] ppid=8135 vsize=15420488 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8146/stat : 8146 (java) S 8135 8135 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475272672 15790579712 56654 33554432000 4194304 4196468 140725077689072 139973423040464 139973957674907 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8147] ppid=8135 vsize=15420488 memory=1716 CPUtime=2.78 cores=1,3,5,7
/proc/8137/task/8147/stat : 8147 (java) S 8135 8135 3634 0 -1 1077944384 5815 0 0 0 277 1 0 0 20 0 19 0 475272672 15790579712 56654 33554432000 4194304 4196468 140725077689072 139973421988592 139973957667458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8148] ppid=8135 vsize=15420488 memory=6024 CPUtime=3.15 cores=1,3,5,7
/proc/8137/task/8148/stat : 8148 (java) S 8135 8135 3634 0 -1 1077944384 5442 0 0 0 315 0 0 0 20 0 19 0 475272672 15790579712 56654 33554432000 4194304 4196468 140725077689072 139973420936048 139973957667458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8149] ppid=8135 vsize=15420488 memory=11416 CPUtime=1 cores=1,3,5,7
/proc/8137/task/8149/stat : 8149 (java) S 8135 8135 3634 0 -1 1077944384 4788 0 0 0 99 1 0 0 20 0 19 0 475272672 15790579712 56654 33554432000 4194304 4196468 140725077689072 139973419882992 139973957667458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8150] ppid=8135 vsize=15420488 memory=780 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8150/stat : 8150 (java) S 8135 8135 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475272672 15790579712 56654 33554432000 4194304 4196468 140725077689072 139973418830688 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8151] ppid=8135 vsize=15420488 memory=776 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8151/stat : 8151 (java) S 8135 8135 3634 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 475272672 15790579712 56654 33554432000 4194304 4196468 140725077689072 139973417777712 139973957667458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8176] ppid=8135 vsize=15420488 memory=0 CPUtime=3.96 cores=1,3,5,7
/proc/8137/task/8176/stat : 8176 (java) R 8135 8135 3634 0 -1 4202560 162 0 0 0 396 0 0 0 20 0 19 0 475272837 15790579712 56654 33554432000 4194304 4196468 140725077689072 139973403302808 139973601453486 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8177] ppid=8135 vsize=15420488 memory=0 CPUtime=3.42 cores=1,3,5,7
/proc/8137/task/8177/stat : 8177 (java) R 8135 8135 3634 0 -1 4202560 359 0 0 0 341 1 0 0 20 0 19 0 475272837 15790579712 56654 33554432000 4194304 4196468 140725077689072 139973404356488 139973603711878 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8178] ppid=8135 vsize=15420488 memory=0 CPUtime=3.43 cores=1,3,5,7
/proc/8137/task/8178/stat : 8178 (java) R 8135 8135 3634 0 -1 4202560 482 0 0 0 343 0 0 0 20 0 19 0 475272837 15790579712 56654 33554432000 4194304 4196468 140725077689072 139973406463464 139973602095725 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8179] ppid=8135 vsize=15420488 memory=0 CPUtime=4.04 cores=1,3,5,7
/proc/8137/task/8179/stat : 8179 (java) R 8135 8135 3634 0 -1 4202560 183 0 0 0 404 0 0 0 20 0 19 0 475272837 15790579712 56654 33554432000 4194304 4196468 140725077689072 139973405409944 139973602615459 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
Current children cumulated CPU time: 23.99 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 228068 KiB

[startup+6.60089 s]
/proc/loadavg: 8.37 8.05 7.27 9/238 8184
/proc/meminfo: memFree=15153640/32770624 swapFree=66935844/67108860
[pid=8135] ppid=8132 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8135/stat : 8135 (xcsp3-exec) S 8132 8135 3634 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475272666 115843072 363 33554432000 4194304 5098028 140727958855232 140727958853336 140589085049468 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 31137792 140727958856534 140727958856793 140727958856793 140727958859718 0
/proc/8135/statm: 28282 363 305 221 0 87 0
[pid=8137] ppid=8135 vsize=15420488 memory=226644 CPUtime=24.79 cores=1,3,5,7
/proc/8137/stat : 8137 (java) S 8135 8135 3634 0 -1 1077944320 32479 0 0 0 2463 16 0 0 20 0 19 0 475272666 15790579712 56661 33554432000 4194304 4196468 140725077689072 140725077671616 139973957656311 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
/proc/8137/statm: 3855122 56661 3529 1 0 3816222 0
[pid=8137/tid=8138] ppid=8135 vsize=15420488 memory=4638778398332900449 CPUtime=1.18 cores=1,3,5,7
/proc/8137/task/8138/stat : 8138 (java) S 8135 8135 3634 0 -1 1077944384 12092 0 0 0 112 6 0 0 20 0 19 0 475272667 15790579712 56661 33554432000 4194304 4196468 140725077689072 139973961897088 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8139] ppid=8135 vsize=15420488 memory=280893814301256 CPUtime=0.01 cores=1,3,5,7
/proc/8137/task/8139/stat : 8139 (java) S 8135 8135 3634 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 19 0 475272667 15790579712 56661 33554432000 4194304 4196468 140725077689072 139973925215248 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8140] ppid=8135 vsize=15420488 memory=-6876588628787748224 CPUtime=0.01 cores=1,3,5,7
/proc/8137/task/8140/stat : 8140 (java) S 8135 8135 3634 0 -1 1077944384 360 0 0 0 1 0 0 0 20 0 19 0 475272667 15790579712 56661 33554432000 4194304 4196468 140725077689072 139973549026448 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8141] ppid=8135 vsize=15420488 memory=6944938067432061290 CPUtime=0.01 cores=1,3,5,7
/proc/8137/task/8141/stat : 8141 (java) S 8135 8135 3634 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 19 0 475272667 15790579712 56661 33554432000 4194304 4196468 140725077689072 139973547973392 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8142] ppid=8135 vsize=15420488 memory=4137293581110450563 CPUtime=0.01 cores=1,3,5,7
/proc/8137/task/8142/stat : 8142 (java) S 8135 8135 3634 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 19 0 475272667 15790579712 56661 33554432000 4194304 4196468 140725077689072 139973546920848 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8143] ppid=8135 vsize=15420488 memory=-7019007802211101846 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8143/stat : 8143 (java) S 8135 8135 3634 0 -1 1077944384 344 0 0 0 0 0 0 0 20 0 19 0 475272669 15790579712 56661 33554432000 4194304 4196468 140725077689072 139973426198768 139973957667458 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8144] ppid=8135 vsize=15420488 memory=7682744562830902074 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8144/stat : 8144 (java) S 8135 8135 3634 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 475272669 15790579712 56661 33554432000 4194304 4196468 140725077689072 139973425145056 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8145] ppid=8135 vsize=15420488 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8145/stat : 8145 (java) S 8135 8135 3634 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 475272669 15790579712 56661 33554432000 4194304 4196468 140725077689072 139973424091904 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8146] ppid=8135 vsize=15420488 memory=207460 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8146/stat : 8146 (java) S 8135 8135 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475272672 15790579712 56661 33554432000 4194304 4196468 140725077689072 139973423040464 139973957674907 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8147] ppid=8135 vsize=15420488 memory=0 CPUtime=2.78 cores=1,3,5,7
/proc/8137/task/8147/stat : 8147 (java) S 8135 8135 3634 0 -1 1077944384 5815 0 0 0 277 1 0 0 20 0 19 0 475272672 15790579712 56661 33554432000 4194304 4196468 140725077689072 139973421988592 139973957667458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8148] ppid=8135 vsize=15420488 memory=0 CPUtime=3.16 cores=1,3,5,7
/proc/8137/task/8148/stat : 8148 (java) S 8135 8135 3634 0 -1 1077944384 5545 0 0 0 316 0 0 0 20 0 19 0 475272672 15790579712 56661 33554432000 4194304 4196468 140725077689072 139973420936048 139973957667458 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8149] ppid=8135 vsize=15420488 memory=0 CPUtime=1 cores=1,3,5,7
/proc/8137/task/8149/stat : 8149 (java) S 8135 8135 3634 0 -1 1077944384 4796 0 0 0 99 1 0 0 20 0 19 0 475272672 15790579712 56661 33554432000 4194304 4196468 140725077689072 139973419882992 139973957667458 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8150] ppid=8135 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8150/stat : 8150 (java) S 8135 8135 3634 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475272672 15790579712 56661 33554432000 4194304 4196468 140725077689072 139973418830688 139973957666517 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8151] ppid=8135 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8137/task/8151/stat : 8151 (java) S 8135 8135 3634 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 475272672 15790579712 56661 33554432000 4194304 4196468 140725077689072 139973417777712 139973957667458 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8176] ppid=8135 vsize=15420488 memory=0 CPUtime=4.16 cores=1,3,5,7
/proc/8137/task/8176/stat : 8176 (java) R 8135 8135 3634 0 -1 4202560 162 0 0 0 416 0 0 0 20 0 19 0 475272837 15790579712 56661 33554432000 4194304 4196468 140725077689072 139973403302808 139973602491740 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8177] ppid=8135 vsize=15420488 memory=0 CPUtime=3.62 cores=1,3,5,7
/proc/8137/task/8177/stat : 8177 (java) R 8135 8135 3634 0 -1 4202560 365 0 0 0 361 1 0 0 20 0 19 0 475272837 15790579712 56661 33554432000 4194304 4196468 140725077689072 139973404358728 139973602491758 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8178] ppid=8135 vsize=15420488 memory=0 CPUtime=3.62 cores=1,3,5,7
/proc/8137/task/8178/stat : 8178 (java) R 8135 8135 3634 0 -1 4202560 488 0 0 0 362 0 0 0 20 0 19 0 475272837 15790579712 56661 33554432000 4194304 4196468 140725077689072 139973406463464 139973603145340 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
[pid=8137/tid=8179] ppid=8135 vsize=15420488 memory=0 CPUtime=4.24 cores=1,3,5,7
/proc/8137/task/8179/stat : 8179 (java) R 8135 8135 3634 0 -1 4202560 195 0 0 0 424 0 0 0 20 0 19 0 475272837 15790579712 56661 33554432000 4194304 4196468 140725077689072 139973405410024 139973604094541 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20099072 140725077693403 140725077693578 140725077693578 140725077696463 0
Current children cumulated CPU time: 24.79 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 228096 KiB

Child status: 0
Real time (s): 6.63803
CPU time (s): 24.9201
CPU user time (s): 24.7518
CPU system time (s): 0.168323
CPU usage (%): 375.414
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 228096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.7518
system time used= 0.168323
maximum resident set size= 226896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33939
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= 1022


# summary of solver processes directly reported to runsolver:
#   pid: 8135
#   total CPU time (s): 24.9201
#   total CPU user time (s): 24.7518
#   total CPU system time (s): 0.168323

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.079624 second user time and 0.104506 second system time

The end

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

Trace number 4403738

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