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-16	OPT	10	23.9583	6.38646

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399214-1568696112.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.19	c [HOME/instance-4399214-1568696112.xml, -tl, 2520s, -p, 4]
0.33/0.23	c 4 solvers in parallel
0.33/0.29	c parse instance...
3.48/1.23	c solve instance...
3.87/1.36	o 15 
3.87/1.38	o 14 
3.87/1.40	o 13 
4.23/1.43	o 12 
5.45/1.73	o 11 
5.45/1.75	o 10 
23.64/6.37	s OPTIMUM FOUND
23.64/6.37	v <instantiation>
23.64/6.37	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>
23.64/6.37	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>
23.64/6.37	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 (14794 MiB free)
  memory of node 1: 16384 MiB (3271 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399214-1568696112/watcher-4399214-1568696112 -o /tmp/evaluation-result-4399214-1568696112/solver-4399214-1568696112 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568690084-23428 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1757667220 HOME/instance-4399214-1568696112.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
solver pid=25941, runsolver pid=25938
Current StackSize limit: 8192 KiB


[startup+0.100936 s]*
/proc/loadavg: 8.55 8.36 7.19 6/230 25957
/proc/meminfo: memFree=18485140/32770624 swapFree=66977404/67108860
[pid=25941] ppid=25938 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25941/stat : 25941 (xcsp3-exec) S 25938 25941 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445868291 115843072 363 33554432000 4194304 5098028 140725261617552 140725261615656 139865404920444 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31830016 140725261624186 140725261624429 140725261624429 140725261627338 0
/proc/25941/statm: 28282 363 304 221 0 87 0
[pid=25943] ppid=25941 vsize=15144776 memory=27448 CPUtime=0.13 cores=0,2,4,6
/proc/25943/stat : 25943 (java) S 25941 25941 23397 0 -1 1077944320 5782 0 0 0 12 1 0 0 20 0 15 0 445868291 15508250624 6862 33554432000 4194304 4196468 140731052534784 140731052517328 140159579287287 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
/proc/25943/statm: 3786194 6862 3149 1 0 3748377 0
[pid=25943/tid=25944] ppid=25941 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/25943/task/25944/stat : 25944 (java) R 25941 25941 23397 0 -1 4202560 3620 0 0 0 9 0 0 0 20 0 15 0 445868292 15508250624 6862 33554432000 4194304 4196468 140731052534784 140159583510288 140159579299222 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25945] ppid=25941 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25945/stat : 25945 (java) S 25941 25941 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445868292 15508250624 6862 33554432000 4194304 4196468 140731052534784 140159172143376 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25946] ppid=25941 vsize=15144776 memory=140456591444037 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25946/stat : 25946 (java) S 25941 25941 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445868292 15508250624 6862 33554432000 4194304 4196468 140731052534784 140159171090832 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25947] ppid=25941 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25947/stat : 25947 (java) S 25941 25941 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445868292 15508250624 6862 33554432000 4194304 4196468 140731052534784 140159170038288 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25948] ppid=25941 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25948/stat : 25948 (java) S 25941 25941 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445868292 15508250624 6862 33554432000 4194304 4196468 140731052534784 140159168985744 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25949] ppid=25941 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25949/stat : 25949 (java) S 25941 25941 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445868294 15508250624 6862 33554432000 4194304 4196468 140731052534784 140159047211504 140159579298434 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25950] ppid=25941 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25950/stat : 25950 (java) S 25941 25941 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445868294 15508250624 6862 33554432000 4194304 4196468 140731052534784 140159046157728 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25951] ppid=25941 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25951/stat : 25951 (java) S 25941 25941 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445868294 15508250624 6862 33554432000 4194304 4196468 140731052534784 140159045105136 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25952] ppid=25941 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25952/stat : 25952 (java) S 25941 25941 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445868297 15508250624 6862 33554432000 4194304 4196468 140731052534784 140159044053712 140159579305883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25953] ppid=25941 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25953/stat : 25953 (java) R 25941 25941 23397 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 445868297 15508250624 6862 33554432000 4194304 4196468 140731052534784 140159043000304 140159579298434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25954] ppid=25941 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25954/stat : 25954 (java) S 25941 25941 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445868297 15508250624 6862 33554432000 4194304 4196468 140731052534784 140159041947760 140159579298434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25955] ppid=25941 vsize=15144776 memory=140456588277376 CPUtime=0.02 cores=0,2,4,6
/proc/25943/task/25955/stat : 25955 (java) R 25941 25941 23397 0 -1 4202560 428 0 0 0 2 0 0 0 20 0 15 0 445868297 15508250624 6862 33554432000 4194304 4196468 140731052534784 140159040895216 140159563367774 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25956] ppid=25941 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25956/stat : 25956 (java) S 25941 25941 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445868297 15508250624 6862 33554432000 4194304 4196468 140731052534784 140159039842912 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25957] ppid=25941 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25957/stat : 25957 (java) S 25941 25941 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445868297 15508250624 6862 33554432000 4194304 4196468 140731052534784 140159038790448 140159579298434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28900 KiB

[startup+0.210939 s]*
/proc/loadavg: 8.55 8.36 7.19 6/229 25957
/proc/meminfo: memFree=18472204/32770624 swapFree=66977404/67108860
[pid=25941] ppid=25938 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25941/stat : 25941 (xcsp3-exec) S 25938 25941 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445868291 115843072 363 33554432000 4194304 5098028 140725261617552 140725261615656 139865404920444 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31830016 140725261624186 140725261624429 140725261624429 140725261627338 0
/proc/25941/statm: 28282 363 304 221 0 87 0
[pid=25943] ppid=25941 vsize=15144776 memory=39788 CPUtime=0.33 cores=0,2,4,6
/proc/25943/stat : 25943 (java) S 25941 25941 23397 0 -1 1077944320 9681 0 0 0 30 3 0 0 20 0 15 0 445868291 15508250624 9947 33554432000 4194304 4196468 140731052534784 140731052517328 140159579287287 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
/proc/25943/statm: 3786194 9947 3281 1 0 3748377 0
[pid=25943/tid=25944] ppid=25941 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/25943/task/25944/stat : 25944 (java) R 25941 25941 23397 0 -1 4202560 6628 0 0 0 17 2 0 0 20 0 15 0 445868292 15508250624 9947 33554432000 4194304 4196468 140731052534784 140159583524352 140159571965301 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25945] ppid=25941 vsize=15144776 memory=1898158 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25945/stat : 25945 (java) S 25941 25941 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445868292 15508250624 9947 33554432000 4194304 4196468 140731052534784 140159172143376 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25946] ppid=25941 vsize=15144776 memory=4122675961933133472 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25946/stat : 25946 (java) S 25941 25941 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445868292 15508250624 9947 33554432000 4194304 4196468 140731052534784 140159171090832 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25947] ppid=25941 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25947/stat : 25947 (java) S 25941 25941 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445868292 15508250624 9947 33554432000 4194304 4196468 140731052534784 140159170038288 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25948] ppid=25941 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25948/stat : 25948 (java) S 25941 25941 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445868292 15508250624 9947 33554432000 4194304 4196468 140731052534784 140159168985744 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25949] ppid=25941 vsize=15144776 memory=140456588277376 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25949/stat : 25949 (java) S 25941 25941 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445868294 15508250624 9947 33554432000 4194304 4196468 140731052534784 140159047211504 140159579298434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25950] ppid=25941 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25950/stat : 25950 (java) S 25941 25941 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445868294 15508250624 9947 33554432000 4194304 4196468 140731052534784 140159046157728 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25951] ppid=25941 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25951/stat : 25951 (java) S 25941 25941 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445868294 15508250624 9947 33554432000 4194304 4196468 140731052534784 140159045105136 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25952] ppid=25941 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25952/stat : 25952 (java) S 25941 25941 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445868297 15508250624 9947 33554432000 4194304 4196468 140731052534784 140159044053712 140159579305883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25953] ppid=25941 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25943/task/25953/stat : 25953 (java) S 25941 25941 23397 0 -1 1077944384 687 0 0 0 2 0 0 0 20 0 15 0 445868297 15508250624 9947 33554432000 4194304 4196468 140731052534784 140159043000304 140159579298434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25954] ppid=25941 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/25943/task/25954/stat : 25954 (java) S 25941 25941 23397 0 -1 1077944384 124 0 0 0 2 0 0 0 20 0 15 0 445868297 15508250624 9947 33554432000 4194304 4196468 140731052534784 140159041947760 140159579298434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25955] ppid=25941 vsize=15144776 memory=140456588277376 CPUtime=0.07 cores=0,2,4,6
/proc/25943/task/25955/stat : 25955 (java) S 25941 25941 23397 0 -1 1077944384 934 0 0 0 7 0 0 0 20 0 15 0 445868297 15508250624 9947 33554432000 4194304 4196468 140731052534784 140159040895216 140159579298434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25956] ppid=25941 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25956/stat : 25956 (java) S 25941 25941 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445868297 15508250624 9947 33554432000 4194304 4196468 140731052534784 140159039842912 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25957] ppid=25941 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25957/stat : 25957 (java) S 25941 25941 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445868297 15508250624 9947 33554432000 4194304 4196468 140731052534784 140159038790448 140159579298434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41240 KiB

[startup+0.312592 s]*
/proc/loadavg: 8.55 8.36 7.19 7/229 25957
/proc/meminfo: memFree=18466736/32770624 swapFree=66977404/67108860
[pid=25941] ppid=25938 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25941/stat : 25941 (xcsp3-exec) S 25938 25941 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445868291 115843072 363 33554432000 4194304 5098028 140725261617552 140725261615656 139865404920444 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31830016 140725261624186 140725261624429 140725261624429 140725261627338 0
/proc/25941/statm: 28282 363 304 221 0 87 0
[pid=25943] ppid=25941 vsize=15149032 memory=49100 CPUtime=0.52 cores=0,2,4,6
/proc/25943/stat : 25943 (java) S 25941 25941 23397 0 -1 1077944320 11103 0 0 0 48 4 0 0 20 0 15 0 445868291 15512608768 12275 33554432000 4194304 4196468 140731052534784 140731052517328 140159579287287 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
/proc/25943/statm: 3787258 12275 3366 1 0 3748377 0
[pid=25943/tid=25944] ppid=25941 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/25943/task/25944/stat : 25944 (java) R 25941 25941 23397 0 -1 4202560 7725 0 0 0 27 3 0 0 20 0 15 0 445868292 15512608768 12275 33554432000 4194304 4196468 140731052534784 140159583518400 140159563367774 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25945] ppid=25941 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25945/stat : 25945 (java) S 25941 25941 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445868292 15512608768 12275 33554432000 4194304 4196468 140731052534784 140159172143376 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25946] ppid=25941 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25946/stat : 25946 (java) S 25941 25941 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445868292 15512608768 12275 33554432000 4194304 4196468 140731052534784 140159171090832 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25947] ppid=25941 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25947/stat : 25947 (java) S 25941 25941 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445868292 15512608768 12275 33554432000 4194304 4196468 140731052534784 140159170038288 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25948] ppid=25941 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25948/stat : 25948 (java) S 25941 25941 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445868292 15512608768 12275 33554432000 4194304 4196468 140731052534784 140159168985744 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25949] ppid=25941 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25949/stat : 25949 (java) S 25941 25941 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445868294 15512608768 12275 33554432000 4194304 4196468 140731052534784 140159047211504 140159579298434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25950] ppid=25941 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25950/stat : 25950 (java) S 25941 25941 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445868294 15512608768 12275 33554432000 4194304 4196468 140731052534784 140159046157728 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25951] ppid=25941 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25951/stat : 25951 (java) S 25941 25941 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445868294 15512608768 12275 33554432000 4194304 4196468 140731052534784 140159045105136 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25952] ppid=25941 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25952/stat : 25952 (java) S 25941 25941 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445868297 15512608768 12275 33554432000 4194304 4196468 140731052534784 140159044053712 140159579305883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25953] ppid=25941 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/25943/task/25953/stat : 25953 (java) R 25941 25941 23397 0 -1 4202560 829 0 0 0 4 0 0 0 20 0 15 0 445868297 15512608768 12275 33554432000 4194304 4196468 140731052534784 140159043000304 140159562762677 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25954] ppid=25941 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/25943/task/25954/stat : 25954 (java) S 25941 25941 23397 0 -1 1077944384 139 0 0 0 4 0 0 0 20 0 15 0 445868297 15512608768 12275 33554432000 4194304 4196468 140731052534784 140159041947760 140159579298434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25955] ppid=25941 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/25943/task/25955/stat : 25955 (java) S 25941 25941 23397 0 -1 1077944384 1115 0 0 0 12 0 0 0 20 0 15 0 445868297 15512608768 12275 33554432000 4194304 4196468 140731052534784 140159040895216 140159579298434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25956] ppid=25941 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25956/stat : 25956 (java) S 25941 25941 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445868297 15512608768 12275 33554432000 4194304 4196468 140731052534784 140159039842912 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25957] ppid=25941 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25957/stat : 25957 (java) S 25941 25941 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445868297 15512608768 12275 33554432000 4194304 4196468 140731052534784 140159038790448 140159579298434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50552 KiB

[startup+0.700896 s]
/proc/loadavg: 8.55 8.36 7.19 8/229 25957
/proc/meminfo: memFree=18443588/32770624 swapFree=66977404/67108860
[pid=25941] ppid=25938 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25941/stat : 25941 (xcsp3-exec) S 25938 25941 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445868291 115843072 363 33554432000 4194304 5098028 140725261617552 140725261615656 139865404920444 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31830016 140725261624186 140725261624429 140725261624429 140725261627338 0
/proc/25941/statm: 28282 363 304 221 0 87 0
[pid=25943] ppid=25941 vsize=15151156 memory=92352 CPUtime=1.76 cores=0,2,4,6
/proc/25943/stat : 25943 (java) S 25941 25941 23397 0 -1 1077944320 16238 0 0 0 169 7 0 0 20 0 15 0 445868291 15514783744 23088 33554432000 4194304 4196468 140731052534784 140731052517328 140159579287287 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
/proc/25943/statm: 3787789 23088 3443 1 0 3748889 0
[pid=25943/tid=25944] ppid=25941 vsize=15151156 memory=-3704326594973231466 CPUtime=0.67 cores=0,2,4,6
/proc/25943/task/25944/stat : 25944 (java) R 25941 25941 23397 0 -1 4202560 9256 0 0 0 63 4 0 0 20 0 15 0 445868292 15514783744 23088 33554432000 4194304 4196468 140731052534784 140159583505648 140159571965301 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25945] ppid=25941 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25945/stat : 25945 (java) S 25941 25941 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445868292 15514783744 23088 33554432000 4194304 4196468 140731052534784 140159172143376 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25946] ppid=25941 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25946/stat : 25946 (java) S 25941 25941 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445868292 15514783744 23088 33554432000 4194304 4196468 140731052534784 140159171090832 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25947] ppid=25941 vsize=15151156 memory=692 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25947/stat : 25947 (java) S 25941 25941 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445868292 15514783744 23088 33554432000 4194304 4196468 140731052534784 140159170038288 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25948] ppid=25941 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25948/stat : 25948 (java) S 25941 25941 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445868292 15514783744 23088 33554432000 4194304 4196468 140731052534784 140159168985744 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25949] ppid=25941 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25949/stat : 25949 (java) S 25941 25941 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445868294 15514783744 23088 33554432000 4194304 4196468 140731052534784 140159047211504 140159579298434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25950] ppid=25941 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25950/stat : 25950 (java) S 25941 25941 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445868294 15514783744 23088 33554432000 4194304 4196468 140731052534784 140159046157728 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25951] ppid=25941 vsize=15151156 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25951/stat : 25951 (java) S 25941 25941 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445868294 15514783744 23088 33554432000 4194304 4196468 140731052534784 140159045105136 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25952] ppid=25941 vsize=15151156 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25952/stat : 25952 (java) S 25941 25941 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445868297 15514783744 23088 33554432000 4194304 4196468 140731052534784 140159044053712 140159579305883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25953] ppid=25941 vsize=15151156 memory=6048 CPUtime=0.32 cores=0,2,4,6
/proc/25943/task/25953/stat : 25953 (java) R 25941 25941 23397 0 -1 4202560 1776 0 0 0 32 0 0 0 20 0 15 0 445868297 15514783744 23088 33554432000 4194304 4196468 140731052534784 140159042992792 140159559923127 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25954] ppid=25941 vsize=15151156 memory=7552 CPUtime=0.35 cores=0,2,4,6
/proc/25943/task/25954/stat : 25954 (java) R 25941 25941 23397 0 -1 4202560 1330 0 0 0 35 0 0 0 20 0 15 0 445868297 15514783744 23088 33554432000 4194304 4196468 140731052534784 140159041934112 140159564402533 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25955] ppid=25941 vsize=15151156 memory=2832 CPUtime=0.38 cores=0,2,4,6
/proc/25943/task/25955/stat : 25955 (java) S 25941 25941 23397 0 -1 1077944384 2567 0 0 0 37 1 0 0 20 0 15 0 445868297 15514783744 23088 33554432000 4194304 4196468 140731052534784 140159040895216 140159579298434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25956] ppid=25941 vsize=15151156 memory=1084 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25956/stat : 25956 (java) S 25941 25941 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445868297 15514783744 23088 33554432000 4194304 4196468 140731052534784 140159039842912 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25957] ppid=25941 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25957/stat : 25957 (java) S 25941 25941 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445868297 15514783744 23088 33554432000 4194304 4196468 140731052534784 140159038790448 140159579298434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 93804 KiB

[startup+1.50687 s]
/proc/loadavg: 8.55 8.36 7.19 10/229 25957
/proc/meminfo: memFree=18370716/32770624 swapFree=66977404/67108860
[pid=25941] ppid=25938 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25941/stat : 25941 (xcsp3-exec) S 25938 25941 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445868291 115843072 363 33554432000 4194304 5098028 140725261617552 140725261615656 139865404920444 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31830016 140725261624186 140725261624429 140725261624429 140725261627338 0
/proc/25941/statm: 28282 363 304 221 0 87 0

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

/proc/25943/task/25957/stat : 25957 (java) S 25941 25941 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445868297 15790579712 52483 33554432000 4194304 4196468 140731052534784 140159038790448 140159579298434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
Current children cumulated CPU time: 4.64 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 211384 KiB

[startup+3.11087 s]
/proc/loadavg: 8.55 8.36 7.19 14/233 25985
/proc/meminfo: memFree=18300344/32770624 swapFree=66977404/67108860
[pid=25941] ppid=25938 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25941/stat : 25941 (xcsp3-exec) S 25938 25941 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445868291 115843072 363 33554432000 4194304 5098028 140725261617552 140725261615656 139865404920444 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31830016 140725261624186 140725261624429 140725261624429 140725261627338 0
/proc/25941/statm: 28282 363 304 221 0 87 0
[pid=25943] ppid=25941 vsize=15420488 memory=214468 CPUtime=11.01 cores=0,2,4,6
/proc/25943/stat : 25943 (java) S 25941 25941 23397 0 -1 1077944320 29273 0 0 0 1089 12 0 0 20 0 19 0 445868291 15790579712 53617 33554432000 4194304 4196468 140731052534784 140731052517328 140159579287287 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
/proc/25943/statm: 3855122 53617 3518 1 0 3816222 0
[pid=25943/tid=25944] ppid=25941 vsize=15420488 memory=692 CPUtime=1.2 cores=0,2,4,6
/proc/25943/task/25944/stat : 25944 (java) S 25941 25941 23397 0 -1 1077944384 12062 0 0 0 114 6 0 0 20 0 19 0 445868292 15790579712 53617 33554432000 4194304 4196468 140731052534784 140159583528064 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25945] ppid=25941 vsize=15420488 memory=1056 CPUtime=0.01 cores=0,2,4,6
/proc/25943/task/25945/stat : 25945 (java) S 25941 25941 23397 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 19 0 445868292 15790579712 53617 33554432000 4194304 4196468 140731052534784 140159172143376 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25946] ppid=25941 vsize=15420488 memory=1556 CPUtime=0.01 cores=0,2,4,6
/proc/25943/task/25946/stat : 25946 (java) S 25941 25941 23397 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 19 0 445868292 15790579712 53617 33554432000 4194304 4196468 140731052534784 140159171090832 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25947] ppid=25941 vsize=15420488 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25943/task/25947/stat : 25947 (java) S 25941 25941 23397 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 19 0 445868292 15790579712 53617 33554432000 4194304 4196468 140731052534784 140159170038288 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25948] ppid=25941 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25948/stat : 25948 (java) S 25941 25941 23397 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 19 0 445868292 15790579712 53617 33554432000 4194304 4196468 140731052534784 140159168985744 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25949] ppid=25941 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25949/stat : 25949 (java) S 25941 25941 23397 0 -1 1077944384 196 0 0 0 0 0 0 0 20 0 19 0 445868294 15790579712 53617 33554432000 4194304 4196468 140731052534784 140159047211504 140159579298434 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25950] ppid=25941 vsize=15420488 memory=140456436815004 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25950/stat : 25950 (java) S 25941 25941 23397 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 445868294 15790579712 53617 33554432000 4194304 4196468 140731052534784 140159046157728 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25951] ppid=25941 vsize=15420488 memory=280912873245712 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25951/stat : 25951 (java) S 25941 25941 23397 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 19 0 445868294 15790579712 53617 33554432000 4194304 4196468 140731052534784 140159045105136 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25952] ppid=25941 vsize=15420488 memory=280912872935024 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25952/stat : 25952 (java) S 25941 25941 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445868297 15790579712 53617 33554432000 4194304 4196468 140731052534784 140159044053712 140159579305883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25953] ppid=25941 vsize=15420488 memory=8041037979969885544 CPUtime=2.04 cores=0,2,4,6
/proc/25943/task/25953/stat : 25953 (java) R 25941 25941 23397 0 -1 4202560 4923 0 0 0 204 0 0 0 20 0 19 0 445868297 15790579712 53617 33554432000 4194304 4196468 140731052534784 140159042992792 140159560832448 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25954] ppid=25941 vsize=15420488 memory=0 CPUtime=1.99 cores=0,2,4,6
/proc/25943/task/25954/stat : 25954 (java) R 25941 25941 23397 0 -1 4202560 4334 0 0 0 199 0 0 0 20 0 19 0 445868297 15790579712 53617 33554432000 4194304 4196468 140731052534784 140159041933784 140159558985947 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25955] ppid=25941 vsize=15420488 memory=1164 CPUtime=0.9 cores=0,2,4,6
/proc/25943/task/25955/stat : 25955 (java) S 25941 25941 23397 0 -1 1077944384 4814 0 0 0 88 2 0 0 20 0 19 0 445868297 15790579712 53617 33554432000 4194304 4196468 140731052534784 140159040895216 140159579298434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25956] ppid=25941 vsize=15420488 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25956/stat : 25956 (java) S 25941 25941 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445868297 15790579712 53617 33554432000 4194304 4196468 140731052534784 140159039842912 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25957] ppid=25941 vsize=15420488 memory=3833273121573004393 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25957/stat : 25957 (java) S 25941 25941 23397 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 445868297 15790579712 53617 33554432000 4194304 4196468 140731052534784 140159038790448 140159579298434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25982] ppid=25941 vsize=15420488 memory=288230621803970871 CPUtime=1.03 cores=0,2,4,6
/proc/25943/task/25982/stat : 25982 (java) R 25941 25941 23397 0 -1 4202560 114 0 0 0 103 0 0 0 20 0 19 0 445868466 15790579712 53617 33554432000 4194304 4196468 140731052534784 140159024553432 140159226809824 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25983] ppid=25941 vsize=15420488 memory=16105866206120578 CPUtime=0.9 cores=0,2,4,6
/proc/25943/task/25983/stat : 25983 (java) R 25941 25941 23397 0 -1 4202560 92 0 0 0 90 0 0 0 20 0 19 0 445868466 15790579712 53617 33554432000 4194304 4196468 140731052534784 140159027713128 140159225470055 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25984] ppid=25941 vsize=15420488 memory=0 CPUtime=1.01 cores=0,2,4,6
/proc/25943/task/25984/stat : 25984 (java) R 25941 25941 23397 0 -1 4202560 73 0 0 0 101 0 0 0 20 0 19 0 445868466 15790579712 53617 33554432000 4194304 4196468 140731052534784 140159025608120 140159224906726 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25985] ppid=25941 vsize=15420488 memory=0 CPUtime=0.73 cores=0,2,4,6
/proc/25943/task/25985/stat : 25985 (java) R 25941 25941 23397 0 -1 4202560 159 0 0 0 73 0 0 0 20 0 19 0 445868466 15790579712 53617 33554432000 4194304 4196468 140731052534784 140159026659624 140159224639729 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
Current children cumulated CPU time: 11.01 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 215920 KiB

[startup+6.30187 s]
/proc/loadavg: 8.66 8.39 7.20 11/233 25985
/proc/meminfo: memFree=18283284/32770624 swapFree=66977404/67108860
[pid=25941] ppid=25938 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25941/stat : 25941 (xcsp3-exec) S 25938 25941 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445868291 115843072 363 33554432000 4194304 5098028 140725261617552 140725261615656 139865404920444 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31830016 140725261624186 140725261624429 140725261624429 140725261627338 0
/proc/25941/statm: 28282 363 304 221 0 87 0
[pid=25943] ppid=25941 vsize=15420488 memory=230548 CPUtime=23.64 cores=0,2,4,6
/proc/25943/stat : 25943 (java) S 25941 25941 23397 0 -1 1077944320 31115 0 0 0 2349 15 0 0 20 0 19 0 445868291 15790579712 57637 33554432000 4194304 4196468 140731052534784 140731052517328 140159579287287 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
/proc/25943/statm: 3855122 57637 3531 1 0 3816222 0
[pid=25943/tid=25944] ppid=25941 vsize=15420488 memory=230540 CPUtime=1.2 cores=0,2,4,6
/proc/25943/task/25944/stat : 25944 (java) S 25941 25941 23397 0 -1 1077944384 12062 0 0 0 114 6 0 0 20 0 19 0 445868292 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159583528064 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25945] ppid=25941 vsize=15420488 memory=3616 CPUtime=0.01 cores=0,2,4,6
/proc/25943/task/25945/stat : 25945 (java) S 25941 25941 23397 0 -1 1077944384 141 0 0 0 1 0 0 0 20 0 19 0 445868292 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159172143376 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25946] ppid=25941 vsize=15420488 memory=47572 CPUtime=0.01 cores=0,2,4,6
/proc/25943/task/25946/stat : 25946 (java) S 25941 25941 23397 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 19 0 445868292 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159171090832 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25947] ppid=25941 vsize=15420488 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/25943/task/25947/stat : 25947 (java) S 25941 25941 23397 0 -1 1077944384 125 0 0 0 1 0 0 0 20 0 19 0 445868292 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159170038288 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25948] ppid=25941 vsize=15420488 memory=2308580869995480422 CPUtime=0.01 cores=0,2,4,6
/proc/25943/task/25948/stat : 25948 (java) S 25941 25941 23397 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 19 0 445868292 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159168985744 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25949] ppid=25941 vsize=15420488 memory=7589467243886764390 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25949/stat : 25949 (java) S 25941 25941 23397 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 19 0 445868294 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159047211504 140159579298434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25950] ppid=25941 vsize=15420488 memory=164 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25950/stat : 25950 (java) S 25941 25941 23397 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 445868294 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159046157792 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25951] ppid=25941 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25951/stat : 25951 (java) S 25941 25941 23397 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 445868294 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159045105152 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25952] ppid=25941 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25952/stat : 25952 (java) S 25941 25941 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445868297 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159044053712 140159579305883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25953] ppid=25941 vsize=15420488 memory=988 CPUtime=2.68 cores=0,2,4,6
/proc/25943/task/25953/stat : 25953 (java) S 25941 25941 23397 0 -1 1077944384 5217 0 0 0 268 0 0 0 20 0 19 0 445868297 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159043000304 140159579298434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25954] ppid=25941 vsize=15420488 memory=2004 CPUtime=2.51 cores=0,2,4,6
/proc/25943/task/25954/stat : 25954 (java) S 25941 25941 23397 0 -1 1077944384 4791 0 0 0 251 0 0 0 20 0 19 0 445868297 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159041947760 140159579298434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25955] ppid=25941 vsize=15420488 memory=1416 CPUtime=0.94 cores=0,2,4,6
/proc/25943/task/25955/stat : 25955 (java) S 25941 25941 23397 0 -1 1077944384 5137 0 0 0 92 2 0 0 20 0 19 0 445868297 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159040895216 140159579298434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25956] ppid=25941 vsize=15420488 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25956/stat : 25956 (java) S 25941 25941 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445868297 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159039842912 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25957] ppid=25941 vsize=15420488 memory=6673 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25957/stat : 25957 (java) S 25941 25941 23397 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 445868297 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159038790448 140159579298434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25982] ppid=25941 vsize=15420488 memory=4420 CPUtime=4.09 cores=0,2,4,6
/proc/25943/task/25982/stat : 25982 (java) R 25941 25941 23397 0 -1 4202560 198 0 0 0 409 0 0 0 20 0 19 0 445868466 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159024553112 140159225657520 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25983] ppid=25941 vsize=15420488 memory=6628 CPUtime=3.78 cores=0,2,4,6
/proc/25943/task/25983/stat : 25983 (java) R 25941 25941 23397 0 -1 4202560 275 0 0 0 378 0 0 0 20 0 19 0 445868466 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159027712760 140159225687194 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25984] ppid=25941 vsize=15420488 memory=6788 CPUtime=3.72 cores=0,2,4,6
/proc/25943/task/25984/stat : 25984 (java) R 25941 25941 23397 0 -1 4202560 191 0 0 0 372 0 0 0 20 0 19 0 445868466 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159025607120 140159225491256 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25985] ppid=25941 vsize=15420488 memory=1452 CPUtime=3.46 cores=0,2,4,6
/proc/25943/task/25985/stat : 25985 (java) R 25941 25941 23397 0 -1 4202560 292 0 0 0 346 0 0 0 20 0 19 0 445868466 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159026659096 140159225658419 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
Current children cumulated CPU time: 23.64 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 232000 KiB

[startup+6.38639 s]
# the end of solver process 25941 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=23.8011 s, system=0.157207 s

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

[startup+6.30187 s]
/proc/loadavg: 8.66 8.39 7.20 11/233 25985
/proc/meminfo: memFree=18283284/32770624 swapFree=66977404/67108860
[pid=25941] ppid=25938 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25941/stat : 25941 (xcsp3-exec) S 25938 25941 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445868291 115843072 363 33554432000 4194304 5098028 140725261617552 140725261615656 139865404920444 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31830016 140725261624186 140725261624429 140725261624429 140725261627338 0
/proc/25941/statm: 28282 363 304 221 0 87 0
[pid=25943] ppid=25941 vsize=15420488 memory=230548 CPUtime=23.64 cores=0,2,4,6
/proc/25943/stat : 25943 (java) S 25941 25941 23397 0 -1 1077944320 31115 0 0 0 2349 15 0 0 20 0 19 0 445868291 15790579712 57637 33554432000 4194304 4196468 140731052534784 140731052517328 140159579287287 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
/proc/25943/statm: 3855122 57637 3531 1 0 3816222 0
[pid=25943/tid=25944] ppid=25941 vsize=15420488 memory=230540 CPUtime=1.2 cores=0,2,4,6
/proc/25943/task/25944/stat : 25944 (java) S 25941 25941 23397 0 -1 1077944384 12062 0 0 0 114 6 0 0 20 0 19 0 445868292 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159583528064 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25945] ppid=25941 vsize=15420488 memory=3616 CPUtime=0.01 cores=0,2,4,6
/proc/25943/task/25945/stat : 25945 (java) S 25941 25941 23397 0 -1 1077944384 141 0 0 0 1 0 0 0 20 0 19 0 445868292 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159172143376 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25946] ppid=25941 vsize=15420488 memory=47572 CPUtime=0.01 cores=0,2,4,6
/proc/25943/task/25946/stat : 25946 (java) S 25941 25941 23397 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 19 0 445868292 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159171090832 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25947] ppid=25941 vsize=15420488 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/25943/task/25947/stat : 25947 (java) S 25941 25941 23397 0 -1 1077944384 125 0 0 0 1 0 0 0 20 0 19 0 445868292 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159170038288 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25948] ppid=25941 vsize=15420488 memory=2308580869995480422 CPUtime=0.01 cores=0,2,4,6
/proc/25943/task/25948/stat : 25948 (java) S 25941 25941 23397 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 19 0 445868292 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159168985744 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25949] ppid=25941 vsize=15420488 memory=7589467243886764390 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25949/stat : 25949 (java) S 25941 25941 23397 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 19 0 445868294 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159047211504 140159579298434 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25950] ppid=25941 vsize=15420488 memory=164 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25950/stat : 25950 (java) S 25941 25941 23397 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 445868294 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159046157792 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25951] ppid=25941 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25951/stat : 25951 (java) S 25941 25941 23397 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 445868294 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159045105152 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25952] ppid=25941 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25952/stat : 25952 (java) S 25941 25941 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445868297 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159044053712 140159579305883 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25953] ppid=25941 vsize=15420488 memory=988 CPUtime=2.68 cores=0,2,4,6
/proc/25943/task/25953/stat : 25953 (java) S 25941 25941 23397 0 -1 1077944384 5217 0 0 0 268 0 0 0 20 0 19 0 445868297 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159043000304 140159579298434 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25954] ppid=25941 vsize=15420488 memory=2004 CPUtime=2.51 cores=0,2,4,6
/proc/25943/task/25954/stat : 25954 (java) S 25941 25941 23397 0 -1 1077944384 4791 0 0 0 251 0 0 0 20 0 19 0 445868297 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159041947760 140159579298434 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25955] ppid=25941 vsize=15420488 memory=1416 CPUtime=0.94 cores=0,2,4,6
/proc/25943/task/25955/stat : 25955 (java) S 25941 25941 23397 0 -1 1077944384 5137 0 0 0 92 2 0 0 20 0 19 0 445868297 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159040895216 140159579298434 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25956] ppid=25941 vsize=15420488 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25956/stat : 25956 (java) S 25941 25941 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445868297 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159039842912 140159579297493 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25957] ppid=25941 vsize=15420488 memory=6673 CPUtime=0 cores=0,2,4,6
/proc/25943/task/25957/stat : 25957 (java) S 25941 25941 23397 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 445868297 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159038790448 140159579298434 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25982] ppid=25941 vsize=15420488 memory=4420 CPUtime=4.09 cores=0,2,4,6
/proc/25943/task/25982/stat : 25982 (java) R 25941 25941 23397 0 -1 4202560 198 0 0 0 409 0 0 0 20 0 19 0 445868466 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159024553112 140159225657520 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25983] ppid=25941 vsize=15420488 memory=6628 CPUtime=3.78 cores=0,2,4,6
/proc/25943/task/25983/stat : 25983 (java) R 25941 25941 23397 0 -1 4202560 275 0 0 0 378 0 0 0 20 0 19 0 445868466 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159027712760 140159225687194 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25984] ppid=25941 vsize=15420488 memory=6788 CPUtime=3.72 cores=0,2,4,6
/proc/25943/task/25984/stat : 25984 (java) R 25941 25941 23397 0 -1 4202560 191 0 0 0 372 0 0 0 20 0 19 0 445868466 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159025607120 140159225491256 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
[pid=25943/tid=25985] ppid=25941 vsize=15420488 memory=1452 CPUtime=3.46 cores=0,2,4,6
/proc/25943/task/25985/stat : 25985 (java) R 25941 25941 23397 0 -1 4202560 292 0 0 0 346 0 0 0 20 0 19 0 445868466 15790579712 57637 33554432000 4194304 4196468 140731052534784 140159026659096 140159225658419 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15974400 140731052540911 140731052541082 140731052541082 140731052543951 0
Current children cumulated CPU time: 23.64 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 232000 KiB

Child status: 0
Real time (s): 6.38646
CPU time (s): 23.9583
CPU user time (s): 23.8011
CPU system time (s): 0.157207
CPU usage (%): 375.143
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 232000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.8011
system time used= 0.157207
maximum resident set size= 230720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33157
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= 2713
involuntary context switches= 835


# summary of solver processes directly reported to runsolver:
#   pid: 25941
#   total CPU time (s): 23.9583
#   total CPU user time (s): 23.8011
#   total CPU system time (s): 0.157207

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.069956 second user time and 0.110212 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 4399214

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