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	26.6864	7.10522

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399238-1568699967.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4399238-1568699967.xml, -tl, 2520s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
3.15/1.16	c solve instance...
3.50/1.26	o 15 
3.84/1.33	o 14 
3.84/1.34	o 13 
3.84/1.36	o 12 
4.65/1.58	o 11 
4.65/1.59	o 10 
26.44/7.08	s OPTIMUM FOUND
26.44/7.08	v <instantiation>
26.44/7.08	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>
26.44/7.08	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>
26.44/7.08	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 (3584 MiB free)
  memory of node 1: 16384 MiB (14774 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399238-1568699967/watcher-4399238-1568699967 -o /tmp/evaluation-result-4399238-1568699967/solver-4399238-1568699967 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568698598-24720 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 179098725 HOME/instance-4399238-1568699967.xml 

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

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


[startup+0.100059 s]*
/proc/loadavg: 6.95 7.01 5.79 7/229 27065
/proc/meminfo: memFree=18783848/32770624 swapFree=66938240/67108860
[pid=27049] ppid=27046 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27049/stat : 27049 (xcsp3-exec) S 27046 27049 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446268106 115843072 362 33554432000 4194304 5098028 140733402640928 140733402639032 140343273759356 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10358784 140733402645371 140733402645613 140733402645613 140733402648522 0
/proc/27049/statm: 28282 362 304 221 0 87 0
[pid=27051] ppid=27049 vsize=15144776 memory=29124 CPUtime=0.13 cores=1,3,5,7
/proc/27051/stat : 27051 (java) S 27049 27049 24688 0 -1 1077944320 5708 0 0 0 12 1 0 0 20 0 15 0 446268106 15508250624 7281 33554432000 4194304 4196468 140731731645408 140731731627952 140357636009719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
/proc/27051/statm: 3786194 7281 3147 1 0 3748377 0
[pid=27051/tid=27052] ppid=27049 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/27051/task/27052/stat : 27052 (java) R 27049 27049 24688 0 -1 4202560 3576 0 0 0 8 1 0 0 20 0 15 0 446268106 15508250624 7281 33554432000 4194304 4196468 140731731645408 140357640241040 140357636021654 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27053] ppid=27049 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27053/stat : 27053 (java) S 27049 27049 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268107 15508250624 7281 33554432000 4194304 4196468 140731731645408 140357588630288 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27054] ppid=27049 vsize=15144776 memory=140479627396736 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27054/stat : 27054 (java) S 27049 27049 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268107 15508250624 7281 33554432000 4194304 4196468 140731731645408 140357587577744 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27055] ppid=27049 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27055/stat : 27055 (java) S 27049 27049 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268107 15508250624 7281 33554432000 4194304 4196468 140731731645408 140357586525200 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27056] ppid=27049 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27056/stat : 27056 (java) S 27049 27049 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446268107 15508250624 7281 33554432000 4194304 4196468 140731731645408 140357225340048 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27057] ppid=27049 vsize=15144776 memory=140479627396736 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27057/stat : 27057 (java) S 27049 27049 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446268108 15508250624 7281 33554432000 4194304 4196468 140731731645408 140357104510960 140357636020866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27058] ppid=27049 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27058/stat : 27058 (java) S 27049 27049 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446268109 15508250624 7281 33554432000 4194304 4196468 140731731645408 140357103457184 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27059] ppid=27049 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27059/stat : 27059 (java) S 27049 27049 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446268109 15508250624 7281 33554432000 4194304 4196468 140731731645408 140357102404592 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27060] ppid=27049 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27060/stat : 27060 (java) S 27049 27049 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446268111 15508250624 7281 33554432000 4194304 4196468 140731731645408 140357101353168 140357636028315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27061] ppid=27049 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27061/stat : 27061 (java) S 27049 27049 24688 0 -1 1077944384 462 0 0 0 0 0 0 0 20 0 15 0 446268111 15508250624 7281 33554432000 4194304 4196468 140731731645408 140357100300784 140357636020866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27062] ppid=27049 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27062/stat : 27062 (java) S 27049 27049 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446268111 15508250624 7281 33554432000 4194304 4196468 140731731645408 140357099248240 140357636020866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27063] ppid=27049 vsize=15144776 memory=140479627396736 CPUtime=0.02 cores=1,3,5,7
/proc/27051/task/27063/stat : 27063 (java) R 27049 27049 24688 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 15 0 446268111 15508250624 7281 33554432000 4194304 4196468 140731731645408 140357098195696 140357615299324 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27064] ppid=27049 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27064/stat : 27064 (java) S 27049 27049 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446268112 15508250624 7281 33554432000 4194304 4196468 140731731645408 140357097143392 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27065] ppid=27049 vsize=15144776 memory=140479627396736 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27065/stat : 27065 (java) S 27049 27049 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268112 15508250624 7281 33554432000 4194304 4196468 140731731645408 140357096089904 140357636020866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30572 KiB

[startup+0.210742 s]*
/proc/loadavg: 6.95 7.01 5.79 8/229 27065
/proc/meminfo: memFree=18771104/32770624 swapFree=66938240/67108860
[pid=27049] ppid=27046 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27049/stat : 27049 (xcsp3-exec) S 27046 27049 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446268106 115843072 362 33554432000 4194304 5098028 140733402640928 140733402639032 140343273759356 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10358784 140733402645371 140733402645613 140733402645613 140733402648522 0
/proc/27049/statm: 28282 362 304 221 0 87 0
[pid=27051] ppid=27049 vsize=15144776 memory=40564 CPUtime=0.34 cores=1,3,5,7
/proc/27051/stat : 27051 (java) S 27049 27049 24688 0 -1 1077944320 9343 0 0 0 31 3 0 0 20 0 15 0 446268106 15508250624 10141 33554432000 4194304 4196468 140731731645408 140731731627952 140357636009719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
/proc/27051/statm: 3786194 10141 3301 1 0 3748377 0
[pid=27051/tid=27052] ppid=27049 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/27051/task/27052/stat : 27052 (java) R 27049 27049 24688 0 -1 4202560 6599 0 0 0 18 2 0 0 20 0 15 0 446268106 15508250624 10141 33554432000 4194304 4196468 140731731645408 140357640243840 140357629107455 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27053] ppid=27049 vsize=15144776 memory=2964504 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27053/stat : 27053 (java) S 27049 27049 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268107 15508250624 10141 33554432000 4194304 4196468 140731731645408 140357588630288 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27054] ppid=27049 vsize=15144776 memory=140479627421200 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27054/stat : 27054 (java) S 27049 27049 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268107 15508250624 10141 33554432000 4194304 4196468 140731731645408 140357587577744 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27055] ppid=27049 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27055/stat : 27055 (java) S 27049 27049 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268107 15508250624 10141 33554432000 4194304 4196468 140731731645408 140357586525200 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27056] ppid=27049 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27056/stat : 27056 (java) S 27049 27049 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446268107 15508250624 10141 33554432000 4194304 4196468 140731731645408 140357225340048 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27057] ppid=27049 vsize=15144776 memory=140479627396736 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27057/stat : 27057 (java) S 27049 27049 24688 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446268108 15508250624 10141 33554432000 4194304 4196468 140731731645408 140357104510960 140357636020866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27058] ppid=27049 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27058/stat : 27058 (java) S 27049 27049 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446268109 15508250624 10141 33554432000 4194304 4196468 140731731645408 140357103457184 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27059] ppid=27049 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27059/stat : 27059 (java) S 27049 27049 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446268109 15508250624 10141 33554432000 4194304 4196468 140731731645408 140357102404592 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27060] ppid=27049 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27060/stat : 27060 (java) S 27049 27049 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446268111 15508250624 10141 33554432000 4194304 4196468 140731731645408 140357101353168 140357636028315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27061] ppid=27049 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27051/task/27061/stat : 27061 (java) S 27049 27049 24688 0 -1 1077944384 556 0 0 0 2 0 0 0 20 0 15 0 446268111 15508250624 10141 33554432000 4194304 4196468 140731731645408 140357100300784 140357636020866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27062] ppid=27049 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/27051/task/27062/stat : 27062 (java) S 27049 27049 24688 0 -1 1077944384 75 0 0 0 1 0 0 0 20 0 15 0 446268111 15508250624 10141 33554432000 4194304 4196468 140731731645408 140357099248240 140357636020866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27063] ppid=27049 vsize=15144776 memory=140479627396736 CPUtime=0.08 cores=1,3,5,7
/proc/27051/task/27063/stat : 27063 (java) S 27049 27049 24688 0 -1 1077944384 809 0 0 0 8 0 0 0 20 0 15 0 446268111 15508250624 10141 33554432000 4194304 4196468 140731731645408 140357098195696 140357636020866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27064] ppid=27049 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27064/stat : 27064 (java) S 27049 27049 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446268112 15508250624 10141 33554432000 4194304 4196468 140731731645408 140357097143392 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27065] ppid=27049 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27065/stat : 27065 (java) S 27049 27049 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268112 15508250624 10141 33554432000 4194304 4196468 140731731645408 140357096089904 140357636020866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42012 KiB

[startup+0.317582 s]*
/proc/loadavg: 6.95 7.01 5.79 7/229 27065
/proc/meminfo: memFree=18763200/32770624 swapFree=66938240/67108860
[pid=27049] ppid=27046 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27049/stat : 27049 (xcsp3-exec) S 27046 27049 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446268106 115843072 362 33554432000 4194304 5098028 140733402640928 140733402639032 140343273759356 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10358784 140733402645371 140733402645613 140733402645613 140733402648522 0
/proc/27049/statm: 28282 362 304 221 0 87 0
[pid=27051] ppid=27049 vsize=15149032 memory=50168 CPUtime=0.54 cores=1,3,5,7
/proc/27051/stat : 27051 (java) S 27049 27049 24688 0 -1 1077944320 10931 0 0 0 50 4 0 0 20 0 15 0 446268106 15512608768 12542 33554432000 4194304 4196468 140731731645408 140731731627952 140357636009719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
/proc/27051/statm: 3787258 12542 3355 1 0 3748377 0
[pid=27051/tid=27052] ppid=27049 vsize=15149032 memory=6791534058613427641 CPUtime=0.31 cores=1,3,5,7
/proc/27051/task/27052/stat : 27052 (java) R 27049 27049 24688 0 -1 4202560 7882 0 0 0 28 3 0 0 20 0 15 0 446268106 15512608768 12542 33554432000 4194304 4196468 140731731645408 140357640239600 140357620090206 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27053] ppid=27049 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27053/stat : 27053 (java) S 27049 27049 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268107 15512608768 12542 33554432000 4194304 4196468 140731731645408 140357588630288 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27054] ppid=27049 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27054/stat : 27054 (java) S 27049 27049 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268107 15512608768 12542 33554432000 4194304 4196468 140731731645408 140357587577744 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27055] ppid=27049 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27055/stat : 27055 (java) S 27049 27049 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268107 15512608768 12542 33554432000 4194304 4196468 140731731645408 140357586525200 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27056] ppid=27049 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27056/stat : 27056 (java) S 27049 27049 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446268107 15512608768 12542 33554432000 4194304 4196468 140731731645408 140357225340048 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27057] ppid=27049 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27057/stat : 27057 (java) S 27049 27049 24688 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446268108 15512608768 12542 33554432000 4194304 4196468 140731731645408 140357104510960 140357636020866 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27058] ppid=27049 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27058/stat : 27058 (java) S 27049 27049 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446268109 15512608768 12542 33554432000 4194304 4196468 140731731645408 140357103457184 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27059] ppid=27049 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27059/stat : 27059 (java) S 27049 27049 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446268109 15512608768 12542 33554432000 4194304 4196468 140731731645408 140357102404592 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27060] ppid=27049 vsize=15149032 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27060/stat : 27060 (java) S 27049 27049 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446268111 15512608768 12542 33554432000 4194304 4196468 140731731645408 140357101353168 140357636028315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27061] ppid=27049 vsize=15149032 memory=4426078206164241782 CPUtime=0.05 cores=1,3,5,7
/proc/27051/task/27061/stat : 27061 (java) S 27049 27049 24688 0 -1 1077944384 657 0 0 0 5 0 0 0 20 0 15 0 446268111 15512608768 12542 33554432000 4194304 4196468 140731731645408 140357100300784 140357636020866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27062] ppid=27049 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27051/task/27062/stat : 27062 (java) S 27049 27049 24688 0 -1 1077944384 107 0 0 0 3 0 0 0 20 0 15 0 446268111 15512608768 12542 33554432000 4194304 4196468 140731731645408 140357099248240 140357636020866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27063] ppid=27049 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/27051/task/27063/stat : 27063 (java) S 27049 27049 24688 0 -1 1077944384 981 0 0 0 13 0 0 0 20 0 15 0 446268111 15512608768 12542 33554432000 4194304 4196468 140731731645408 140357098195696 140357636020866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27064] ppid=27049 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27064/stat : 27064 (java) S 27049 27049 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446268112 15512608768 12542 33554432000 4194304 4196468 140731731645408 140357097143392 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27065] ppid=27049 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27065/stat : 27065 (java) S 27049 27049 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268112 15512608768 12542 33554432000 4194304 4196468 140731731645408 140357096089904 140357636020866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51616 KiB

[startup+0.701276 s]
/proc/loadavg: 6.95 7.01 5.79 9/229 27065
/proc/meminfo: memFree=18738908/32770624 swapFree=66938240/67108860
[pid=27049] ppid=27046 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27049/stat : 27049 (xcsp3-exec) S 27046 27049 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446268106 115843072 362 33554432000 4194304 5098028 140733402640928 140733402639032 140343273759356 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10358784 140733402645371 140733402645613 140733402645613 140733402648522 0
/proc/27049/statm: 28282 362 304 221 0 87 0
[pid=27051] ppid=27049 vsize=15151156 memory=91908 CPUtime=1.78 cores=1,3,5,7
/proc/27051/stat : 27051 (java) S 27049 27049 24688 0 -1 1077944320 15578 0 0 0 172 6 0 0 20 0 15 0 446268106 15514783744 22977 33554432000 4194304 4196468 140731731645408 140731731627952 140357636009719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
/proc/27051/statm: 3787789 22977 3448 1 0 3748889 0
[pid=27051/tid=27052] ppid=27049 vsize=15151156 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/27051/task/27052/stat : 27052 (java) R 27049 27049 24688 0 -1 4202560 9138 0 0 0 63 4 0 0 20 0 15 0 446268106 15514783744 22977 33554432000 4194304 4196468 140731731645408 140357640245200 140357636021654 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27053] ppid=27049 vsize=15151156 memory=288230377044124670 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27053/stat : 27053 (java) S 27049 27049 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268107 15514783744 22977 33554432000 4194304 4196468 140731731645408 140357588630288 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27054] ppid=27049 vsize=15151156 memory=288291077884034143 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27054/stat : 27054 (java) S 27049 27049 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268107 15514783744 22977 33554432000 4194304 4196468 140731731645408 140357587577744 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27055] ppid=27049 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27055/stat : 27055 (java) S 27049 27049 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268107 15514783744 22977 33554432000 4194304 4196468 140731731645408 140357586525200 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27056] ppid=27049 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27056/stat : 27056 (java) S 27049 27049 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446268107 15514783744 22977 33554432000 4194304 4196468 140731731645408 140357225340048 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27057] ppid=27049 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27057/stat : 27057 (java) S 27049 27049 24688 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446268108 15514783744 22977 33554432000 4194304 4196468 140731731645408 140357104510960 140357636020866 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27058] ppid=27049 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27058/stat : 27058 (java) S 27049 27049 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446268109 15514783744 22977 33554432000 4194304 4196468 140731731645408 140357103457184 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27059] ppid=27049 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27059/stat : 27059 (java) S 27049 27049 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446268109 15514783744 22977 33554432000 4194304 4196468 140731731645408 140357102404592 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27060] ppid=27049 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27060/stat : 27060 (java) S 27049 27049 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446268111 15514783744 22977 33554432000 4194304 4196468 140731731645408 140357101353168 140357636028315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27061] ppid=27049 vsize=15151156 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/27051/task/27061/stat : 27061 (java) S 27049 27049 24688 0 -1 1077944384 1458 0 0 0 31 0 0 0 20 0 15 0 446268111 15514783744 22977 33554432000 4194304 4196468 140731731645408 140357100300784 140357636020866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27062] ppid=27049 vsize=15151156 memory=4639074098508484689 CPUtime=0.35 cores=1,3,5,7
/proc/27051/task/27062/stat : 27062 (java) S 27049 27049 24688 0 -1 1077944384 1275 0 0 0 35 0 0 0 20 0 15 0 446268111 15514783744 22977 33554432000 4194304 4196468 140731731645408 140357099248240 140357636020866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27063] ppid=27049 vsize=15151156 memory=7738422666681412455 CPUtime=0.4 cores=1,3,5,7
/proc/27051/task/27063/stat : 27063 (java) R 27049 27049 24688 0 -1 4202560 2400 0 0 0 40 0 0 0 20 0 15 0 446268111 15514783744 22977 33554432000 4194304 4196468 140731731645408 140357098193488 140357614598361 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27064] ppid=27049 vsize=15151156 memory=7523639645888866644 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27064/stat : 27064 (java) S 27049 27049 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446268112 15514783744 22977 33554432000 4194304 4196468 140731731645408 140357097143392 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27065] ppid=27049 vsize=15151156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27065/stat : 27065 (java) S 27049 27049 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446268112 15514783744 22977 33554432000 4194304 4196468 140731731645408 140357096089904 140357636020866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 93356 KiB

[startup+1.50993 s]
/proc/loadavg: 6.95 7.01 5.79 8/229 27065
/proc/meminfo: memFree=18663360/32770624 swapFree=66938240/67108860
[pid=27049] ppid=27046 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27049/stat : 27049 (xcsp3-exec) S 27046 27049 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446268106 115843072 362 33554432000 4194304 5098028 140733402640928 140733402639032 140343273759356 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10358784 140733402645371 140733402645613 140733402645613 140733402648522 0
/proc/27049/statm: 28282 362 304 221 0 87 0

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

/proc/27051/task/27093/stat : 27093 (java) R 27049 27049 24688 0 -1 4202560 278 0 0 0 392 0 0 0 20 0 19 0 446268267 15790579712 56357 33554432000 4194304 4196468 140731731645408 140357084774088 140357273766631 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
Current children cumulated CPU time: 23.64 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 226876 KiB

[startup+7.10516 s]
# the end of solver process 27049 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=26.503 s, system=0.183457 s

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

[startup+6.40359 s]
/proc/loadavg: 7.20 7.06 5.82 9/233 27093
/proc/meminfo: memFree=18584352/32770624 swapFree=66938240/67108860
[pid=27049] ppid=27046 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27049/stat : 27049 (xcsp3-exec) S 27046 27049 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446268106 115843072 362 33554432000 4194304 5098028 140733402640928 140733402639032 140343273759356 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10358784 140733402645371 140733402645613 140733402645613 140733402648522 0
/proc/27049/statm: 28282 362 304 221 0 87 0
[pid=27051] ppid=27049 vsize=15420488 memory=228060 CPUtime=24.02 cores=1,3,5,7
/proc/27051/stat : 27051 (java) S 27049 27049 24688 0 -1 1077944320 32193 0 0 0 2385 17 0 0 20 0 19 0 446268106 15790579712 57015 33554432000 4194304 4196468 140731731645408 140731731627952 140357636009719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
/proc/27051/statm: 3855122 57015 3535 1 0 3816222 0
[pid=27051/tid=27052] ppid=27049 vsize=15420488 memory=0 CPUtime=1.14 cores=1,3,5,7
/proc/27051/task/27052/stat : 27052 (java) S 27049 27049 24688 0 -1 1077944384 11743 0 0 0 109 5 0 0 20 0 19 0 446268106 15790579712 57015 33554432000 4194304 4196468 140731731645408 140357640250496 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27053] ppid=27049 vsize=15420488 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27051/task/27053/stat : 27053 (java) S 27049 27049 24688 0 -1 1077944384 213 0 0 0 2 1 0 0 20 0 19 0 446268107 15790579712 57015 33554432000 4194304 4196468 140731731645408 140357588630288 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27054] ppid=27049 vsize=15420488 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27051/task/27054/stat : 27054 (java) S 27049 27049 24688 0 -1 1077944384 1196 0 0 0 2 1 0 0 20 0 19 0 446268107 15790579712 57015 33554432000 4194304 4196468 140731731645408 140357587577744 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27055] ppid=27049 vsize=15420488 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27051/task/27055/stat : 27055 (java) S 27049 27049 24688 0 -1 1077944384 456 0 0 0 2 1 0 0 20 0 19 0 446268107 15790579712 57015 33554432000 4194304 4196468 140731731645408 140357586525200 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27056] ppid=27049 vsize=15420488 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27051/task/27056/stat : 27056 (java) S 27049 27049 24688 0 -1 1077944384 382 0 0 0 2 1 0 0 20 0 19 0 446268107 15790579712 57015 33554432000 4194304 4196468 140731731645408 140357225340048 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27057] ppid=27049 vsize=15420488 memory=1448 CPUtime=0.01 cores=1,3,5,7
/proc/27051/task/27057/stat : 27057 (java) S 27049 27049 24688 0 -1 1077944384 482 0 0 0 1 0 0 0 20 0 19 0 446268108 15790579712 57015 33554432000 4194304 4196468 140731731645408 140357104510960 140357636020866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27058] ppid=27049 vsize=15420488 memory=33 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27058/stat : 27058 (java) S 27049 27049 24688 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 446268109 15790579712 57015 33554432000 4194304 4196468 140731731645408 140357103457248 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27059] ppid=27049 vsize=15420488 memory=2465 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27059/stat : 27059 (java) S 27049 27049 24688 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 446268109 15790579712 57015 33554432000 4194304 4196468 140731731645408 140357102404608 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27060] ppid=27049 vsize=15420488 memory=288230587494564173 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27060/stat : 27060 (java) S 27049 27049 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446268111 15790579712 57015 33554432000 4194304 4196468 140731731645408 140357101353168 140357636028315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27061] ppid=27049 vsize=15420488 memory=3905518293989208322 CPUtime=2.66 cores=1,3,5,7
/proc/27051/task/27061/stat : 27061 (java) S 27049 27049 24688 0 -1 1077944384 4824 0 0 0 265 1 0 0 20 0 19 0 446268111 15790579712 57015 33554432000 4194304 4196468 140731731645408 140357100300784 140357636020866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27062] ppid=27049 vsize=15420488 memory=0 CPUtime=2.79 cores=1,3,5,7
/proc/27051/task/27062/stat : 27062 (java) S 27049 27049 24688 0 -1 1077944384 5041 0 0 0 279 0 0 0 20 0 19 0 446268111 15790579712 57015 33554432000 4194304 4196468 140731731645408 140357099248240 140357636020866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27063] ppid=27049 vsize=15420488 memory=0 CPUtime=0.97 cores=1,3,5,7
/proc/27051/task/27063/stat : 27063 (java) S 27049 27049 24688 0 -1 1077944384 4753 0 0 0 96 1 0 0 20 0 19 0 446268111 15790579712 57015 33554432000 4194304 4196468 140731731645408 140357098195696 140357636020866 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 35 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27064] ppid=27049 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27064/stat : 27064 (java) S 27049 27049 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446268112 15790579712 57015 33554432000 4194304 4196468 140731731645408 140357097143392 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27065] ppid=27049 vsize=15420488 memory=224280 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27065/stat : 27065 (java) S 27049 27049 24688 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 446268112 15790579712 57015 33554432000 4194304 4196468 140731731645408 140357096089904 140357636020866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27090] ppid=27049 vsize=15420488 memory=0 CPUtime=3.79 cores=1,3,5,7
/proc/27051/task/27090/stat : 27090 (java) R 27049 27049 24688 0 -1 4202560 158 0 0 0 379 0 0 0 20 0 19 0 446268266 15790579712 57015 33554432000 4194304 4196468 140731731645408 140357080562128 140357274779003 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27091] ppid=27049 vsize=15420488 memory=1448 CPUtime=3.67 cores=1,3,5,7
/proc/27051/task/27091/stat : 27091 (java) R 27049 27049 24688 0 -1 4202560 246 0 0 0 367 0 0 0 20 0 19 0 446268267 15790579712 57015 33554432000 4194304 4196468 140731731645408 140357083721520 140357273571077 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27092] ppid=27049 vsize=15420488 memory=210332 CPUtime=4.03 cores=1,3,5,7
/proc/27051/task/27092/stat : 27092 (java) R 27049 27049 24688 0 -1 4202560 343 0 0 0 402 1 0 0 20 0 19 0 446268267 15790579712 57015 33554432000 4194304 4196468 140731731645408 140357081618272 140357273571291 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27093] ppid=27049 vsize=15420488 memory=140479522403992 CPUtime=4 cores=1,3,5,7
/proc/27051/task/27093/stat : 27093 (java) R 27049 27049 24688 0 -1 4202560 280 0 0 0 400 0 0 0 20 0 19 0 446268267 15790579712 57015 33554432000 4194304 4196468 140731731645408 140357084774272 140357273571610 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
Current children cumulated CPU time: 24.02 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 229508 KiB

[startup+6.80159 s]
/proc/loadavg: 7.20 7.06 5.82 9/233 27093
/proc/meminfo: memFree=18584352/32770624 swapFree=66938240/67108860
[pid=27049] ppid=27046 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27049/stat : 27049 (xcsp3-exec) S 27046 27049 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446268106 115843072 362 33554432000 4194304 5098028 140733402640928 140733402639032 140343273759356 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10358784 140733402645371 140733402645613 140733402645613 140733402648522 0
/proc/27049/statm: 28282 362 304 221 0 87 0
[pid=27051] ppid=27049 vsize=15420488 memory=228080 CPUtime=25.61 cores=1,3,5,7
/proc/27051/stat : 27051 (java) S 27049 27049 24688 0 -1 1077944320 32948 0 0 0 2544 17 0 0 20 0 19 0 446268106 15790579712 57020 33554432000 4194304 4196468 140731731645408 140731731627952 140357636009719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
/proc/27051/statm: 3855122 57020 3535 1 0 3816222 0
[pid=27051/tid=27052] ppid=27049 vsize=15420488 memory=288291086403896158 CPUtime=1.14 cores=1,3,5,7
/proc/27051/task/27052/stat : 27052 (java) S 27049 27049 24688 0 -1 1077944384 11743 0 0 0 109 5 0 0 20 0 19 0 446268106 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357640250496 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27053] ppid=27049 vsize=15420488 memory=3905799790457547466 CPUtime=0.03 cores=1,3,5,7
/proc/27051/task/27053/stat : 27053 (java) S 27049 27049 24688 0 -1 1077944384 213 0 0 0 2 1 0 0 20 0 19 0 446268107 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357588630288 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27054] ppid=27049 vsize=15420488 memory=131057 CPUtime=0.03 cores=1,3,5,7
/proc/27051/task/27054/stat : 27054 (java) S 27049 27049 24688 0 -1 1077944384 1196 0 0 0 2 1 0 0 20 0 19 0 446268107 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357587577744 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27055] ppid=27049 vsize=15420488 memory=5988 CPUtime=0.03 cores=1,3,5,7
/proc/27051/task/27055/stat : 27055 (java) S 27049 27049 24688 0 -1 1077944384 456 0 0 0 2 1 0 0 20 0 19 0 446268107 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357586525200 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27056] ppid=27049 vsize=15420488 memory=1124 CPUtime=0.03 cores=1,3,5,7
/proc/27051/task/27056/stat : 27056 (java) S 27049 27049 24688 0 -1 1077944384 382 0 0 0 2 1 0 0 20 0 19 0 446268107 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357225340048 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27057] ppid=27049 vsize=15420488 memory=14008 CPUtime=0.01 cores=1,3,5,7
/proc/27051/task/27057/stat : 27057 (java) S 27049 27049 24688 0 -1 1077944384 482 0 0 0 1 0 0 0 20 0 19 0 446268108 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357104510960 140357636020866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27058] ppid=27049 vsize=15420488 memory=12024 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27058/stat : 27058 (java) S 27049 27049 24688 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 446268109 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357103457248 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27059] ppid=27049 vsize=15420488 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27059/stat : 27059 (java) S 27049 27049 24688 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 446268109 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357102404608 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27060] ppid=27049 vsize=15420488 memory=12032 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27060/stat : 27060 (java) S 27049 27049 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446268111 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357101353168 140357636028315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27061] ppid=27049 vsize=15420488 memory=504 CPUtime=2.68 cores=1,3,5,7
/proc/27051/task/27061/stat : 27061 (java) S 27049 27049 24688 0 -1 1077944384 5066 0 0 0 267 1 0 0 20 0 19 0 446268111 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357100300784 140357636020866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27062] ppid=27049 vsize=15420488 memory=1564 CPUtime=2.82 cores=1,3,5,7
/proc/27051/task/27062/stat : 27062 (java) S 27049 27049 24688 0 -1 1077944384 5539 0 0 0 282 0 0 0 20 0 19 0 446268111 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357099248240 140357636020866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27063] ppid=27049 vsize=15420488 memory=924 CPUtime=0.97 cores=1,3,5,7
/proc/27051/task/27063/stat : 27063 (java) S 27049 27049 24688 0 -1 1077944384 4753 0 0 0 96 1 0 0 20 0 19 0 446268111 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357098195696 140357636020866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27064] ppid=27049 vsize=15420488 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27064/stat : 27064 (java) S 27049 27049 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446268112 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357097143392 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27065] ppid=27049 vsize=15420488 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27065/stat : 27065 (java) S 27049 27049 24688 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 446268112 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357096089904 140357636020866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27090] ppid=27049 vsize=15420488 memory=6656426216303648864 CPUtime=4.16 cores=1,3,5,7
/proc/27051/task/27090/stat : 27090 (java) R 27049 27049 24688 0 -1 4202560 158 0 0 0 416 0 0 0 20 0 19 0 446268266 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357080562264 140357273571440 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27091] ppid=27049 vsize=15420488 memory=7523639645888866644 CPUtime=4.06 cores=1,3,5,7
/proc/27051/task/27091/stat : 27091 (java) R 27049 27049 24688 0 -1 4202560 249 0 0 0 406 0 0 0 20 0 19 0 446268267 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357083722008 140357277059429 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27092] ppid=27049 vsize=15420488 memory=7668599258894854484 CPUtime=4.42 cores=1,3,5,7
/proc/27051/task/27092/stat : 27092 (java) R 27049 27049 24688 0 -1 4202560 350 0 0 0 441 1 0 0 20 0 19 0 446268267 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357081615752 140357274118139 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27093] ppid=27049 vsize=15420488 memory=56 CPUtime=4.37 cores=1,3,5,7
/proc/27051/task/27093/stat : 27093 (java) R 27049 27049 24688 0 -1 4202560 285 0 0 0 437 0 0 0 20 0 19 0 446268267 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357084775272 140357273766626 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
Current children cumulated CPU time: 25.61 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 229528 KiB

[startup+7.00159 s]*
/proc/loadavg: 7.26 7.07 5.83 9/233 27093
/proc/meminfo: memFree=18584044/32770624 swapFree=66938240/67108860
[pid=27049] ppid=27046 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27049/stat : 27049 (xcsp3-exec) S 27046 27049 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446268106 115843072 362 33554432000 4194304 5098028 140733402640928 140733402639032 140343273759356 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10358784 140733402645371 140733402645613 140733402645613 140733402648522 0
/proc/27049/statm: 28282 362 304 221 0 87 0
[pid=27051] ppid=27049 vsize=15420488 memory=228080 CPUtime=26.44 cores=1,3,5,7
/proc/27051/stat : 27051 (java) S 27049 27049 24688 0 -1 1077944320 32950 0 0 0 2627 17 0 0 20 0 19 0 446268106 15790579712 57020 33554432000 4194304 4196468 140731731645408 140731731627952 140357636009719 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
/proc/27051/statm: 3855122 57020 3535 1 0 3816222 0
[pid=27051/tid=27052] ppid=27049 vsize=15420488 memory=7883960649037381690 CPUtime=1.14 cores=1,3,5,7
/proc/27051/task/27052/stat : 27052 (java) S 27049 27049 24688 0 -1 1077944384 11743 0 0 0 109 5 0 0 20 0 19 0 446268106 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357640250496 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27053] ppid=27049 vsize=15420488 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27051/task/27053/stat : 27053 (java) S 27049 27049 24688 0 -1 1077944384 213 0 0 0 2 1 0 0 20 0 19 0 446268107 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357588630288 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27054] ppid=27049 vsize=15420488 memory=140479627419413 CPUtime=0.03 cores=1,3,5,7
/proc/27051/task/27054/stat : 27054 (java) S 27049 27049 24688 0 -1 1077944384 1196 0 0 0 2 1 0 0 20 0 19 0 446268107 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357587577744 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27055] ppid=27049 vsize=15420488 memory=3184238399703365296 CPUtime=0.03 cores=1,3,5,7
/proc/27051/task/27055/stat : 27055 (java) S 27049 27049 24688 0 -1 1077944384 456 0 0 0 2 1 0 0 20 0 19 0 446268107 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357586525200 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27056] ppid=27049 vsize=15420488 memory=3184097920075968559 CPUtime=0.03 cores=1,3,5,7
/proc/27051/task/27056/stat : 27056 (java) S 27049 27049 24688 0 -1 1077944384 382 0 0 0 2 1 0 0 20 0 19 0 446268107 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357225340048 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27057] ppid=27049 vsize=15420488 memory=6944656592455359580 CPUtime=0.01 cores=1,3,5,7
/proc/27051/task/27057/stat : 27057 (java) S 27049 27049 24688 0 -1 1077944384 482 0 0 0 1 0 0 0 20 0 19 0 446268108 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357104510960 140357636020866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27058] ppid=27049 vsize=15420488 memory=7809628178198383881 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27058/stat : 27058 (java) S 27049 27049 24688 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 446268109 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357103457248 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27059] ppid=27049 vsize=15420488 memory=8386792385936063214 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27059/stat : 27059 (java) S 27049 27049 24688 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 446268109 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357102404608 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27060] ppid=27049 vsize=15420488 memory=3472328296227679279 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27060/stat : 27060 (java) S 27049 27049 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446268111 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357101353168 140357636028315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27061] ppid=27049 vsize=15420488 memory=0 CPUtime=2.68 cores=1,3,5,7
/proc/27051/task/27061/stat : 27061 (java) S 27049 27049 24688 0 -1 1077944384 5066 0 0 0 267 1 0 0 20 0 19 0 446268111 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357100300784 140357636020866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27062] ppid=27049 vsize=15420488 memory=4050153586538408034 CPUtime=2.82 cores=1,3,5,7
/proc/27051/task/27062/stat : 27062 (java) S 27049 27049 24688 0 -1 1077944384 5539 0 0 0 282 0 0 0 20 0 19 0 446268111 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357099248240 140357636020866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27063] ppid=27049 vsize=15420488 memory=7902300572660980192 CPUtime=0.97 cores=1,3,5,7
/proc/27051/task/27063/stat : 27063 (java) S 27049 27049 24688 0 -1 1077944384 4753 0 0 0 96 1 0 0 20 0 19 0 446268111 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357098195696 140357636020866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 35 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27064] ppid=27049 vsize=15420488 memory=735266554873341288 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27064/stat : 27064 (java) S 27049 27049 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446268112 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357097143392 140357636019925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27065] ppid=27049 vsize=15420488 memory=5787213826710659881 CPUtime=0 cores=1,3,5,7
/proc/27051/task/27065/stat : 27065 (java) S 27049 27049 24688 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 446268112 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357096089904 140357636020866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27090] ppid=27049 vsize=15420488 memory=3472592183261933599 CPUtime=4.37 cores=1,3,5,7
/proc/27051/task/27090/stat : 27090 (java) R 27049 27049 24688 0 -1 4202560 158 0 0 0 437 0 0 0 20 0 19 0 446268266 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357080562264 140357273571179 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27091] ppid=27049 vsize=15420488 memory=7883944108235712103 CPUtime=4.27 cores=1,3,5,7
/proc/27051/task/27091/stat : 27091 (java) R 27049 27049 24688 0 -1 4202560 249 0 0 0 427 0 0 0 20 0 19 0 446268267 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357083722008 140357273571230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27092] ppid=27049 vsize=15420488 memory=4639948313719891052 CPUtime=4.62 cores=1,3,5,7
/proc/27051/task/27092/stat : 27092 (java) R 27049 27049 24688 0 -1 4202560 352 0 0 0 461 1 0 0 20 0 19 0 446268267 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357081615752 140357274777618 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
[pid=27051/tid=27093] ppid=27049 vsize=15420488 memory=0 CPUtime=4.58 cores=1,3,5,7
/proc/27051/task/27093/stat : 27093 (java) R 27049 27049 24688 0 -1 4202560 285 0 0 0 458 0 0 0 20 0 19 0 446268267 15790579712 57020 33554432000 4194304 4196468 140731731645408 140357084775272 140357274118404 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38699008 140731731653615 140731731653786 140731731653786 140731731656655 0
Current children cumulated CPU time: 26.44 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 229528 KiB

Child status: 0
Real time (s): 7.10522
CPU time (s): 26.6864
CPU user time (s): 26.503
CPU system time (s): 0.183457
CPU usage (%): 375.589
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 229528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.503
system time used= 0.183457
maximum resident set size= 239860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34122
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= 3011
involuntary context switches= 1028


# summary of solver processes directly reported to runsolver:
#   pid: 27049
#   total CPU time (s): 26.6864
#   total CPU user time (s): 26.503
#   total CPU system time (s): 0.183457

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.079669 second user time and 0.115551 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 4399238

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