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-06-14	OPT	10	27.3968	7.25877

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393254-1568317558.xml"  -tl '2520s' -p 4
0.13/0.17	c Choco e747e1e
0.13/0.18	c [HOME/instance-4393254-1568317558.xml, -tl, 2520s, -p, 4]
0.13/0.21	c 4 solvers in parallel
0.34/0.28	c parse instance...
3.10/1.18	c solve instance...
3.44/1.29	o 15 
3.83/1.36	o 14 
3.83/1.36	o 13 
3.83/1.40	o 12 
5.73/1.80	o 11 
5.73/1.81	o 10 
27.17/7.25	s OPTIMUM FOUND
27.17/7.25	v <instantiation>
27.17/7.25	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>
27.17/7.25	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>
27.17/7.25	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 (14894 MiB free)
  memory of node 1: 16384 MiB (15688 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393254-1568317558/watcher-4393254-1568317558 -o /tmp/evaluation-result-4393254-1568317558/solver-4393254-1568317558 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568312479-6785 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 946267304 HOME/instance-4393254-1568317558.xml 

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

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

solver pid=12665, runsolver pid=12662

[startup+0.100058 s]*
/proc/loadavg: 8.73 8.52 8.08 7/235 12681
/proc/meminfo: memFree=31298860/32770624 swapFree=66979472/67108860
[pid=12665] ppid=12662 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12665/stat : 12665 (xcsp3-exec) S 12662 12665 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408018481 115843072 363 33554432000 4194304 5098028 140730472420928 140730472419032 139670605599356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27086848 140730472428411 140730472428653 140730472428653 140730472431562 0
/proc/12665/statm: 28282 363 304 221 0 87 0
[pid=12667] ppid=12665 vsize=15144768 memory=30184 CPUtime=0.13 cores=1,3,5,7
/proc/12667/stat : 12667 (java) S 12665 12665 6753 0 -1 1077944320 5485 0 0 0 12 1 0 0 20 0 15 0 408018481 15508242432 7546 33554432000 4194304 4196468 140727400000480 140727399983024 140559877824247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
/proc/12667/statm: 3786192 7546 3141 1 0 3748377 0
[pid=12667/tid=12668] ppid=12665 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/12667/task/12668/stat : 12668 (java) R 12665 12665 6753 0 -1 4202560 3360 0 0 0 9 0 0 0 20 0 15 0 408018482 15508242432 7546 33554432000 4194304 4196468 140727400000480 140559882050056 140559465447775 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12669] ppid=12665 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12669/stat : 12669 (java) S 12665 12665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408018482 15508242432 7546 33554432000 4194304 4196468 140727400000480 140559789480720 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12670] ppid=12665 vsize=15144768 memory=139663050606208 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12670/stat : 12670 (java) S 12665 12665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408018482 15508242432 7546 33554432000 4194304 4196468 140727400000480 140559788428176 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12671] ppid=12665 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12671/stat : 12671 (java) S 12665 12665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408018482 15508242432 7546 33554432000 4194304 4196468 140727400000480 140559787375632 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12672] ppid=12665 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12672/stat : 12672 (java) S 12665 12665 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408018482 15508242432 7546 33554432000 4194304 4196468 140727400000480 140559786323088 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12673] ppid=12665 vsize=15144768 memory=139663050606208 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12673/stat : 12673 (java) S 12665 12665 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408018484 15508242432 7546 33554432000 4194304 4196468 140727400000480 140558751840240 140559877835394 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12674] ppid=12665 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12674/stat : 12674 (java) S 12665 12665 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408018484 15508242432 7546 33554432000 4194304 4196468 140727400000480 140558750786464 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12675] ppid=12665 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12675/stat : 12675 (java) S 12665 12665 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408018484 15508242432 7546 33554432000 4194304 4196468 140727400000480 140558749733872 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12676] ppid=12665 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12676/stat : 12676 (java) S 12665 12665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408018487 15508242432 7546 33554432000 4194304 4196468 140727400000480 140558748682448 140559877842843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12677] ppid=12665 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12677/stat : 12677 (java) S 12665 12665 6753 0 -1 1077944384 345 0 0 0 0 0 0 0 20 0 15 0 408018487 15508242432 7546 33554432000 4194304 4196468 140727400000480 140558747630064 140559877835394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12678] ppid=12665 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12678/stat : 12678 (java) S 12665 12665 6753 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 408018487 15508242432 7546 33554432000 4194304 4196468 140727400000480 140558746577520 140559877835394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12679] ppid=12665 vsize=15144768 memory=139663050606208 CPUtime=0.02 cores=1,3,5,7
/proc/12667/task/12679/stat : 12679 (java) R 12665 12665 6753 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 15 0 408018487 15508242432 7546 33554432000 4194304 4196468 140727400000480 140558745524976 140559870061374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12680] ppid=12665 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12680/stat : 12680 (java) S 12665 12665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408018487 15508242432 7546 33554432000 4194304 4196468 140727400000480 140558744472672 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12681] ppid=12665 vsize=15144768 memory=139663050606208 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12681/stat : 12681 (java) S 12665 12665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408018487 15508242432 7546 33554432000 4194304 4196468 140727400000480 140558743419184 140559877835394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31636 KiB

[startup+0.210695 s]*
/proc/loadavg: 8.73 8.52 8.08 6/235 12681
/proc/meminfo: memFree=31286636/32770624 swapFree=66979472/67108860
[pid=12665] ppid=12662 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12665/stat : 12665 (xcsp3-exec) S 12662 12665 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408018481 115843072 363 33554432000 4194304 5098028 140730472420928 140730472419032 139670605599356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27086848 140730472428411 140730472428653 140730472428653 140730472431562 0
/proc/12665/statm: 28282 363 304 221 0 87 0
[pid=12667] ppid=12665 vsize=15144768 memory=41276 CPUtime=0.34 cores=1,3,5,7
/proc/12667/stat : 12667 (java) S 12665 12665 6753 0 -1 1077944320 8997 0 0 0 31 3 0 0 20 0 15 0 408018481 15508242432 10319 33554432000 4194304 4196468 140727400000480 140727399983024 140559877824247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
/proc/12667/statm: 3786192 10319 3287 1 0 3748377 0
[pid=12667/tid=12668] ppid=12665 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/12667/task/12668/stat : 12668 (java) R 12665 12665 6753 0 -1 4202560 6177 0 0 0 18 2 0 0 20 0 15 0 408018482 15508242432 10319 33554432000 4194304 4196468 140727400000480 140559882053968 140559861022714 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12669] ppid=12665 vsize=15144768 memory=2995868 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12669/stat : 12669 (java) S 12665 12665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408018482 15508242432 10319 33554432000 4194304 4196468 140727400000480 140559789480720 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12670] ppid=12665 vsize=15144768 memory=139663053759148 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12670/stat : 12670 (java) S 12665 12665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408018482 15508242432 10319 33554432000 4194304 4196468 140727400000480 140559788428176 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12671] ppid=12665 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12671/stat : 12671 (java) S 12665 12665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408018482 15508242432 10319 33554432000 4194304 4196468 140727400000480 140559787375632 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12672] ppid=12665 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12672/stat : 12672 (java) S 12665 12665 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408018482 15508242432 10319 33554432000 4194304 4196468 140727400000480 140559786323088 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12673] ppid=12665 vsize=15144768 memory=139663050606208 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12673/stat : 12673 (java) S 12665 12665 6753 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408018484 15508242432 10319 33554432000 4194304 4196468 140727400000480 140558751840240 140559877835394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12674] ppid=12665 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12674/stat : 12674 (java) S 12665 12665 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408018484 15508242432 10319 33554432000 4194304 4196468 140727400000480 140558750786464 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12675] ppid=12665 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12675/stat : 12675 (java) S 12665 12665 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408018484 15508242432 10319 33554432000 4194304 4196468 140727400000480 140558749733872 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12676] ppid=12665 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12676/stat : 12676 (java) S 12665 12665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408018487 15508242432 10319 33554432000 4194304 4196468 140727400000480 140558748682448 140559877842843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12677] ppid=12665 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12667/task/12677/stat : 12677 (java) S 12665 12665 6753 0 -1 1077944384 407 0 0 0 2 0 0 0 20 0 15 0 408018487 15508242432 10319 33554432000 4194304 4196468 140727400000480 140558747630064 140559877835394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12678] ppid=12665 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/12667/task/12678/stat : 12678 (java) S 12665 12665 6753 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 15 0 408018487 15508242432 10319 33554432000 4194304 4196468 140727400000480 140558746577520 140559877835394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12679] ppid=12665 vsize=15144768 memory=139663050606208 CPUtime=0.08 cores=1,3,5,7
/proc/12667/task/12679/stat : 12679 (java) S 12665 12665 6753 0 -1 1077944384 738 0 0 0 8 0 0 0 20 0 15 0 408018487 15508242432 10319 33554432000 4194304 4196468 140727400000480 140558745524976 140559877835394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12680] ppid=12665 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12680/stat : 12680 (java) S 12665 12665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408018487 15508242432 10319 33554432000 4194304 4196468 140727400000480 140558744472672 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12681] ppid=12665 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12681/stat : 12681 (java) S 12665 12665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408018487 15508242432 10319 33554432000 4194304 4196468 140727400000480 140558743419184 140559877835394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42728 KiB

[startup+0.310562 s]*
/proc/loadavg: 8.73 8.52 8.08 7/235 12681
/proc/meminfo: memFree=31279736/32770624 swapFree=66979472/67108860
[pid=12665] ppid=12662 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12665/stat : 12665 (xcsp3-exec) S 12662 12665 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408018481 115843072 363 33554432000 4194304 5098028 140730472420928 140730472419032 139670605599356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27086848 140730472428411 140730472428653 140730472428653 140730472431562 0
/proc/12665/statm: 28282 363 304 221 0 87 0
[pid=12667] ppid=12665 vsize=15149024 memory=50060 CPUtime=0.53 cores=1,3,5,7
/proc/12667/stat : 12667 (java) S 12665 12665 6753 0 -1 1077944320 10401 0 0 0 49 4 0 0 20 0 15 0 408018481 15512600576 12515 33554432000 4194304 4196468 140727400000480 140727399983024 140559877824247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
/proc/12667/statm: 3787256 12515 3353 1 0 3748377 0
[pid=12667/tid=12668] ppid=12665 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/12667/task/12668/stat : 12668 (java) R 12665 12665 6753 0 -1 4202560 7365 0 0 0 27 3 0 0 20 0 15 0 408018482 15512600576 12515 33554432000 4194304 4196468 140727400000480 140559882056016 140559861904734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12669] ppid=12665 vsize=15149024 memory=2996209 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12669/stat : 12669 (java) S 12665 12665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408018482 15512600576 12515 33554432000 4194304 4196468 140727400000480 140559789480720 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12670] ppid=12665 vsize=15149024 memory=3006084 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12670/stat : 12670 (java) S 12665 12665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408018482 15512600576 12515 33554432000 4194304 4196468 140727400000480 140559788428176 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12671] ppid=12665 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12671/stat : 12671 (java) S 12665 12665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408018482 15512600576 12515 33554432000 4194304 4196468 140727400000480 140559787375632 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12672] ppid=12665 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12672/stat : 12672 (java) S 12665 12665 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408018482 15512600576 12515 33554432000 4194304 4196468 140727400000480 140559786323088 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12673] ppid=12665 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12673/stat : 12673 (java) S 12665 12665 6753 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408018484 15512600576 12515 33554432000 4194304 4196468 140727400000480 140558751840240 140559877835394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12674] ppid=12665 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12674/stat : 12674 (java) S 12665 12665 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408018484 15512600576 12515 33554432000 4194304 4196468 140727400000480 140558750786464 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12675] ppid=12665 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12675/stat : 12675 (java) S 12665 12665 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408018484 15512600576 12515 33554432000 4194304 4196468 140727400000480 140558749733872 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12676] ppid=12665 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12676/stat : 12676 (java) S 12665 12665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408018487 15512600576 12515 33554432000 4194304 4196468 140727400000480 140558748682448 140559877842843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12677] ppid=12665 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/12667/task/12677/stat : 12677 (java) S 12665 12665 6753 0 -1 1077944384 438 0 0 0 4 0 0 0 20 0 15 0 408018487 15512600576 12515 33554432000 4194304 4196468 140727400000480 140558747630064 140559877835394 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12678] ppid=12665 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/12667/task/12678/stat : 12678 (java) S 12665 12665 6753 0 -1 1077944384 461 0 0 0 4 0 0 0 20 0 15 0 408018487 15512600576 12515 33554432000 4194304 4196468 140727400000480 140558746577520 140559877835394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12679] ppid=12665 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/12667/task/12679/stat : 12679 (java) S 12665 12665 6753 0 -1 1077944384 835 0 0 0 12 0 0 0 20 0 15 0 408018487 15512600576 12515 33554432000 4194304 4196468 140727400000480 140558745524976 140559877835394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12680] ppid=12665 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12680/stat : 12680 (java) S 12665 12665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408018487 15512600576 12515 33554432000 4194304 4196468 140727400000480 140558744472672 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12681] ppid=12665 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12681/stat : 12681 (java) S 12665 12665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408018487 15512600576 12515 33554432000 4194304 4196468 140727400000480 140558743419184 140559877835394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51512 KiB

[startup+0.705128 s]
/proc/loadavg: 8.73 8.52 8.08 9/235 12681
/proc/meminfo: memFree=31258168/32770624 swapFree=66979472/67108860
[pid=12665] ppid=12662 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12665/stat : 12665 (xcsp3-exec) S 12662 12665 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408018481 115843072 363 33554432000 4194304 5098028 140730472420928 140730472419032 139670605599356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27086848 140730472428411 140730472428653 140730472428653 140730472431562 0
/proc/12665/statm: 28282 363 304 221 0 87 0
[pid=12667] ppid=12665 vsize=15151148 memory=90852 CPUtime=1.76 cores=1,3,5,7
/proc/12667/stat : 12667 (java) S 12665 12665 6753 0 -1 1077944320 14880 0 0 0 170 6 0 0 20 0 15 0 408018481 15514775552 22713 33554432000 4194304 4196468 140727400000480 140727399983024 140559877824247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
/proc/12667/statm: 3787787 22713 3449 1 0 3748889 0
[pid=12667/tid=12668] ppid=12665 vsize=15151148 memory=1790196057345 CPUtime=0.68 cores=1,3,5,7
/proc/12667/task/12668/stat : 12668 (java) S 12665 12665 6753 0 -1 1077944384 8777 0 0 0 64 4 0 0 20 0 15 0 408018482 15514775552 22713 33554432000 4194304 4196468 140727400000480 140559882060176 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12669] ppid=12665 vsize=15151148 memory=512 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12669/stat : 12669 (java) S 12665 12665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408018482 15514775552 22713 33554432000 4194304 4196468 140727400000480 140559789480720 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12670] ppid=12665 vsize=15151148 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12670/stat : 12670 (java) S 12665 12665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408018482 15514775552 22713 33554432000 4194304 4196468 140727400000480 140559788428176 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12671] ppid=12665 vsize=15151148 memory=928 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12671/stat : 12671 (java) S 12665 12665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408018482 15514775552 22713 33554432000 4194304 4196468 140727400000480 140559787375632 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12672] ppid=12665 vsize=15151148 memory=3772 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12672/stat : 12672 (java) S 12665 12665 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408018482 15514775552 22713 33554432000 4194304 4196468 140727400000480 140559786323088 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12673] ppid=12665 vsize=15151148 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12673/stat : 12673 (java) S 12665 12665 6753 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408018484 15514775552 22713 33554432000 4194304 4196468 140727400000480 140558751840240 140559877835394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12674] ppid=12665 vsize=15151148 memory=920 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12674/stat : 12674 (java) S 12665 12665 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408018484 15514775552 22713 33554432000 4194304 4196468 140727400000480 140558750786464 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12675] ppid=12665 vsize=15151148 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12675/stat : 12675 (java) S 12665 12665 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408018484 15514775552 22713 33554432000 4194304 4196468 140727400000480 140558749733872 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12676] ppid=12665 vsize=15151148 memory=2404 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12676/stat : 12676 (java) S 12665 12665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408018487 15514775552 22713 33554432000 4194304 4196468 140727400000480 140558748682448 140559877842843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12677] ppid=12665 vsize=15151148 memory=1764 CPUtime=0.28 cores=1,3,5,7
/proc/12667/task/12677/stat : 12677 (java) R 12665 12665 6753 0 -1 4202560 1145 0 0 0 28 0 0 0 20 0 15 0 408018487 15514775552 22713 33554432000 4194304 4196468 140727400000480 140558747630160 140559877836182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12678] ppid=12665 vsize=15151148 memory=111632 CPUtime=0.34 cores=1,3,5,7
/proc/12667/task/12678/stat : 12678 (java) R 12665 12665 6753 0 -1 1077944384 1538 0 0 0 34 0 0 0 20 0 15 0 408018487 15514775552 22713 33554432000 4194304 4196468 140727400000480 140558746577520 140559877835394 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12679] ppid=12665 vsize=15151148 memory=804 CPUtime=0.41 cores=1,3,5,7
/proc/12667/task/12679/stat : 12679 (java) R 12665 12665 6753 0 -1 4202560 2113 0 0 0 41 0 0 0 20 0 15 0 408018487 15514775552 22713 33554432000 4194304 4196468 140727400000480 140558745520736 140559856958730 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12680] ppid=12665 vsize=15151148 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12680/stat : 12680 (java) S 12665 12665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408018487 15514775552 22713 33554432000 4194304 4196468 140727400000480 140558744472672 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12681] ppid=12665 vsize=15151148 memory=924 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12681/stat : 12681 (java) S 12665 12665 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408018487 15514775552 22713 33554432000 4194304 4196468 140727400000480 140558743419184 140559877835394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 92304 KiB

[startup+1.5054 s]
/proc/loadavg: 8.73 8.52 8.08 9/235 12681
/proc/meminfo: memFree=31179112/32770624 swapFree=66979472/67108860
[pid=12665] ppid=12662 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12665/stat : 12665 (xcsp3-exec) S 12662 12665 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408018481 115843072 363 33554432000 4194304 5098028 140730472420928 140730472419032 139670605599356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27086848 140730472428411 140730472428653 140730472428653 140730472431562 0
/proc/12665/statm: 28282 363 304 221 0 87 0

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

/proc/12667/task/12709/stat : 12709 (java) R 12665 12665 6753 0 -1 4202560 222 0 0 0 295 0 0 0 20 0 19 0 408018663 15790571520 66816 33554432000 4194304 4196468 140727400000480 140558728954568 140559473374816 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
Current children cumulated CPU time: 23.59 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 268716 KiB

[startup+7.25873 s]
# the end of solver process 12665 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=27.2615 s, system=0.135222 s

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

[startup+6.40139 s]
/proc/loadavg: 8.59 8.50 8.07 10/238 12709
/proc/meminfo: memFree=31072968/32770624 swapFree=66979472/67108860
[pid=12665] ppid=12662 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12665/stat : 12665 (xcsp3-exec) S 12662 12665 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408018481 115843072 363 33554432000 4194304 5098028 140730472420928 140730472419032 139670605599356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27086848 140730472428411 140730472428653 140730472428653 140730472431562 0
/proc/12665/statm: 28282 363 304 221 0 87 0
[pid=12667] ppid=12665 vsize=15420480 memory=271360 CPUtime=23.99 cores=1,3,5,7
/proc/12667/stat : 12667 (java) S 12665 12665 6753 0 -1 1077944320 28232 0 0 0 2387 12 0 0 20 0 19 0 408018481 15790571520 67840 33554432000 4194304 4196468 140727400000480 140727399983024 140559877824247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
/proc/12667/statm: 3855120 67840 3525 1 0 3816222 0
[pid=12667/tid=12668] ppid=12665 vsize=15420480 memory=0 CPUtime=1.16 cores=1,3,5,7
/proc/12667/task/12668/stat : 12668 (java) S 12665 12665 6753 0 -1 1077944384 10302 0 0 0 111 5 0 0 20 0 19 0 408018482 15790571520 67840 33554432000 4194304 4196468 140727400000480 140559882065024 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12669] ppid=12665 vsize=15420480 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12667/task/12669/stat : 12669 (java) S 12665 12665 6753 0 -1 1077944384 50 0 0 0 2 0 0 0 20 0 19 0 408018482 15790571520 67840 33554432000 4194304 4196468 140727400000480 140559789480720 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12670] ppid=12665 vsize=15420480 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12667/task/12670/stat : 12670 (java) S 12665 12665 6753 0 -1 1077944384 39 0 0 0 2 0 0 0 20 0 19 0 408018482 15790571520 67840 33554432000 4194304 4196468 140727400000480 140559788428176 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12671] ppid=12665 vsize=15420480 memory=99 CPUtime=0.01 cores=1,3,5,7
/proc/12667/task/12671/stat : 12671 (java) S 12665 12665 6753 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 19 0 408018482 15790571520 67840 33554432000 4194304 4196468 140727400000480 140559787375632 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12672] ppid=12665 vsize=15420480 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12667/task/12672/stat : 12672 (java) S 12665 12665 6753 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 19 0 408018482 15790571520 67840 33554432000 4194304 4196468 140727400000480 140559786323088 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12673] ppid=12665 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12673/stat : 12673 (java) S 12665 12665 6753 0 -1 1077944384 222 0 0 0 0 0 0 0 20 0 19 0 408018484 15790571520 67840 33554432000 4194304 4196468 140727400000480 140558751840240 140559877835394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12674] ppid=12665 vsize=15420480 memory=265 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12674/stat : 12674 (java) S 12665 12665 6753 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 408018484 15790571520 67840 33554432000 4194304 4196468 140727400000480 140558750786528 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12675] ppid=12665 vsize=15420480 memory=337 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12675/stat : 12675 (java) S 12665 12665 6753 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 408018484 15790571520 67840 33554432000 4194304 4196468 140727400000480 140558749733888 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12676] ppid=12665 vsize=15420480 memory=364 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12676/stat : 12676 (java) S 12665 12665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408018487 15790571520 67840 33554432000 4194304 4196468 140727400000480 140558748682448 140559877842843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12677] ppid=12665 vsize=15420480 memory=253 CPUtime=3.02 cores=1,3,5,7
/proc/12667/task/12677/stat : 12677 (java) S 12665 12665 6753 0 -1 1077944384 6225 0 0 0 301 1 0 0 20 0 19 0 408018487 15790571520 67840 33554432000 4194304 4196468 140727400000480 140558747630064 140559877835394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12678] ppid=12665 vsize=15420480 memory=2004 CPUtime=2.98 cores=1,3,5,7
/proc/12667/task/12678/stat : 12678 (java) R 12665 12665 6753 0 -1 1077944384 4596 0 0 0 297 1 0 0 20 0 19 0 408018487 15790571520 67840 33554432000 4194304 4196468 140727400000480 140558746577520 140559877835394 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12679] ppid=12665 vsize=15420480 memory=984 CPUtime=0.99 cores=1,3,5,7
/proc/12667/task/12679/stat : 12679 (java) S 12665 12665 6753 0 -1 1077944384 3856 0 0 0 98 1 0 0 20 0 19 0 408018487 15790571520 67840 33554432000 4194304 4196468 140727400000480 140558745524976 140559877835394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12680] ppid=12665 vsize=15420480 memory=1328 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12680/stat : 12680 (java) S 12665 12665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408018487 15790571520 67840 33554432000 4194304 4196468 140727400000480 140558744472672 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12681] ppid=12665 vsize=15420480 memory=780 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12681/stat : 12681 (java) S 12665 12665 6753 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 408018487 15790571520 67840 33554432000 4194304 4196468 140727400000480 140558743419184 140559877835394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12706] ppid=12665 vsize=15420480 memory=3360 CPUtime=3.21 cores=1,3,5,7
/proc/12667/task/12706/stat : 12706 (java) R 12665 12665 6753 0 -1 4202560 40 0 0 0 321 0 0 0 20 0 19 0 408018662 15790571520 67840 33554432000 4194304 4196468 140727400000480 140558730005128 140559474213605 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12707] ppid=12665 vsize=15420480 memory=1692 CPUtime=3.96 cores=1,3,5,7
/proc/12667/task/12707/stat : 12707 (java) R 12665 12665 6753 0 -1 4202560 282 0 0 0 396 0 0 0 20 0 19 0 408018662 15790571520 67840 33554432000 4194304 4196468 140727400000480 140558731058888 140559473903752 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12708] ppid=12665 vsize=15420480 memory=1028 CPUtime=4.23 cores=1,3,5,7
/proc/12667/task/12708/stat : 12708 (java) R 12665 12665 6753 0 -1 4202560 267 0 0 0 423 0 0 0 20 0 19 0 408018662 15790571520 67840 33554432000 4194304 4196468 140727400000480 140558727900632 140559473903541 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12709] ppid=12665 vsize=15420480 memory=1060 CPUtime=3.05 cores=1,3,5,7
/proc/12667/task/12709/stat : 12709 (java) R 12665 12665 6753 0 -1 4202560 222 0 0 0 305 0 0 0 20 0 19 0 408018663 15790571520 67840 33554432000 4194304 4196468 140727400000480 140558728954696 140559475555033 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
Current children cumulated CPU time: 23.99 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 272812 KiB

[startup+6.8014 s]
/proc/loadavg: 8.59 8.50 8.07 10/238 12709
/proc/meminfo: memFree=31072968/32770624 swapFree=66979472/67108860
[pid=12665] ppid=12662 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12665/stat : 12665 (xcsp3-exec) S 12662 12665 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408018481 115843072 363 33554432000 4194304 5098028 140730472420928 140730472419032 139670605599356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27086848 140730472428411 140730472428653 140730472428653 140730472431562 0
/proc/12665/statm: 28282 363 304 221 0 87 0
[pid=12667] ppid=12665 vsize=15420480 memory=283648 CPUtime=25.59 cores=1,3,5,7
/proc/12667/stat : 12667 (java) S 12665 12665 6753 0 -1 1077944320 28246 0 0 0 2547 12 0 0 20 0 19 0 408018481 15790571520 70912 33554432000 4194304 4196468 140727400000480 140727399983024 140559877824247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
/proc/12667/statm: 3855120 70912 3525 1 0 3816222 0
[pid=12667/tid=12668] ppid=12665 vsize=15420480 memory=6791534058613427641 CPUtime=1.16 cores=1,3,5,7
/proc/12667/task/12668/stat : 12668 (java) S 12665 12665 6753 0 -1 1077944384 10302 0 0 0 111 5 0 0 20 0 19 0 408018482 15790571520 70912 33554432000 4194304 4196468 140727400000480 140559882065024 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12669] ppid=12665 vsize=15420480 memory=1564 CPUtime=0.02 cores=1,3,5,7
/proc/12667/task/12669/stat : 12669 (java) S 12665 12665 6753 0 -1 1077944384 50 0 0 0 2 0 0 0 20 0 19 0 408018482 15790571520 70912 33554432000 4194304 4196468 140727400000480 140559789480720 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12670] ppid=12665 vsize=15420480 memory=928 CPUtime=0.02 cores=1,3,5,7
/proc/12667/task/12670/stat : 12670 (java) S 12665 12665 6753 0 -1 1077944384 39 0 0 0 2 0 0 0 20 0 19 0 408018482 15790571520 70912 33554432000 4194304 4196468 140727400000480 140559788428176 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12671] ppid=12665 vsize=15420480 memory=3772 CPUtime=0.01 cores=1,3,5,7
/proc/12667/task/12671/stat : 12671 (java) S 12665 12665 6753 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 19 0 408018482 15790571520 70912 33554432000 4194304 4196468 140727400000480 140559787375632 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12672] ppid=12665 vsize=15420480 memory=1440 CPUtime=0.01 cores=1,3,5,7
/proc/12667/task/12672/stat : 12672 (java) S 12665 12665 6753 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 19 0 408018482 15790571520 70912 33554432000 4194304 4196468 140727400000480 140559786323088 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12673] ppid=12665 vsize=15420480 memory=920 CPUtime=0.01 cores=1,3,5,7
/proc/12667/task/12673/stat : 12673 (java) S 12665 12665 6753 0 -1 1077944384 222 0 0 0 1 0 0 0 20 0 19 0 408018484 15790571520 70912 33554432000 4194304 4196468 140727400000480 140558751840240 140559877835394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12674] ppid=12665 vsize=15420480 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12674/stat : 12674 (java) S 12665 12665 6753 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 408018484 15790571520 70912 33554432000 4194304 4196468 140727400000480 140558750786528 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12675] ppid=12665 vsize=15420480 memory=2404 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12675/stat : 12675 (java) S 12665 12665 6753 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 408018484 15790571520 70912 33554432000 4194304 4196468 140727400000480 140558749733888 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12676] ppid=12665 vsize=15420480 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12676/stat : 12676 (java) S 12665 12665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408018487 15790571520 70912 33554432000 4194304 4196468 140727400000480 140558748682448 140559877842843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12677] ppid=12665 vsize=15420480 memory=2244 CPUtime=3.02 cores=1,3,5,7
/proc/12667/task/12677/stat : 12677 (java) S 12665 12665 6753 0 -1 1077944384 6225 0 0 0 301 1 0 0 20 0 19 0 408018487 15790571520 70912 33554432000 4194304 4196468 140727400000480 140558747630064 140559877835394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12678] ppid=12665 vsize=15420480 memory=3834445810011418578 CPUtime=2.98 cores=1,3,5,7
/proc/12667/task/12678/stat : 12678 (java) S 12665 12665 6753 0 -1 1077944384 4596 0 0 0 297 1 0 0 20 0 19 0 408018487 15790571520 70912 33554432000 4194304 4196468 140727400000480 140558746577520 140559877835394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12679] ppid=12665 vsize=15420480 memory=139662941289209 CPUtime=1 cores=1,3,5,7
/proc/12667/task/12679/stat : 12679 (java) S 12665 12665 6753 0 -1 1077944384 3856 0 0 0 99 1 0 0 20 0 19 0 408018487 15790571520 70912 33554432000 4194304 4196468 140727400000480 140558745524976 140559877835394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12680] ppid=12665 vsize=15420480 memory=139662941301863 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12680/stat : 12680 (java) S 12665 12665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408018487 15790571520 70912 33554432000 4194304 4196468 140727400000480 140558744472672 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12681] ppid=12665 vsize=15420480 memory=57 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12681/stat : 12681 (java) S 12665 12665 6753 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 408018487 15790571520 70912 33554432000 4194304 4196468 140727400000480 140558743419184 140559877835394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12706] ppid=12665 vsize=15420480 memory=288230621806966424 CPUtime=3.61 cores=1,3,5,7
/proc/12667/task/12706/stat : 12706 (java) R 12665 12665 6753 0 -1 4202560 40 0 0 0 361 0 0 0 20 0 19 0 408018662 15790571520 70912 33554432000 4194304 4196468 140727400000480 140558730005144 140559473374741 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12707] ppid=12665 vsize=15420480 memory=15252640890992371 CPUtime=4.35 cores=1,3,5,7
/proc/12667/task/12707/stat : 12707 (java) R 12665 12665 6753 0 -1 4202560 285 0 0 0 435 0 0 0 20 0 19 0 408018662 15790571520 70912 33554432000 4194304 4196468 140727400000480 140558731059136 140559473374791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12708] ppid=12665 vsize=15420480 memory=7649399397183533617 CPUtime=4.63 cores=1,3,5,7
/proc/12667/task/12708/stat : 12708 (java) R 12665 12665 6753 0 -1 4202560 275 0 0 0 463 0 0 0 20 0 19 0 408018662 15790571520 70912 33554432000 4194304 4196468 140727400000480 140558727900624 140559474017517 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12709] ppid=12665 vsize=15420480 memory=7649399358545605169 CPUtime=3.45 cores=1,3,5,7
/proc/12667/task/12709/stat : 12709 (java) R 12665 12665 6753 0 -1 4202560 225 0 0 0 345 0 0 0 20 0 19 0 408018663 15790571520 70912 33554432000 4194304 4196468 140727400000480 140558728953312 140559476448742 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
Current children cumulated CPU time: 25.59 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 285100 KiB

[startup+7.2014 s]
/proc/loadavg: 8.54 8.49 8.07 9/238 12709
/proc/meminfo: memFree=31042000/32770624 swapFree=66979472/67108860
[pid=12665] ppid=12662 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/12665/stat : 12665 (xcsp3-exec) S 12662 12665 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408018481 115843072 363 33554432000 4194304 5098028 140730472420928 140730472419032 139670605599356 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27086848 140730472428411 140730472428653 140730472428653 140730472431562 0
/proc/12665/statm: 28282 363 304 221 0 87 0
[pid=12667] ppid=12665 vsize=15420480 memory=298164 CPUtime=27.17 cores=1,3,5,7
/proc/12667/stat : 12667 (java) S 12665 12665 6753 0 -1 1077944320 29114 0 0 0 2705 12 0 0 20 0 19 0 408018481 15790571520 74541 33554432000 4194304 4196468 140727400000480 140727399983024 140559877824247 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
/proc/12667/statm: 3855120 74541 3525 1 0 3816222 0
[pid=12667/tid=12668] ppid=12665 vsize=15420480 memory=1328 CPUtime=1.16 cores=1,3,5,7
/proc/12667/task/12668/stat : 12668 (java) S 12665 12665 6753 0 -1 1077944384 10302 0 0 0 111 5 0 0 20 0 19 0 408018482 15790571520 74541 33554432000 4194304 4196468 140727400000480 140559882065024 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12669] ppid=12665 vsize=15420480 memory=780 CPUtime=0.02 cores=1,3,5,7
/proc/12667/task/12669/stat : 12669 (java) S 12665 12665 6753 0 -1 1077944384 50 0 0 0 2 0 0 0 20 0 19 0 408018482 15790571520 74541 33554432000 4194304 4196468 140727400000480 140559789480720 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12670] ppid=12665 vsize=15420480 memory=3360 CPUtime=0.02 cores=1,3,5,7
/proc/12667/task/12670/stat : 12670 (java) S 12665 12665 6753 0 -1 1077944384 39 0 0 0 2 0 0 0 20 0 19 0 408018482 15790571520 74541 33554432000 4194304 4196468 140727400000480 140559788428176 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12671] ppid=12665 vsize=15420480 memory=1692 CPUtime=0.01 cores=1,3,5,7
/proc/12667/task/12671/stat : 12671 (java) S 12665 12665 6753 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 19 0 408018482 15790571520 74541 33554432000 4194304 4196468 140727400000480 140559787375632 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12672] ppid=12665 vsize=15420480 memory=57 CPUtime=0.01 cores=1,3,5,7
/proc/12667/task/12672/stat : 12672 (java) S 12665 12665 6753 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 19 0 408018482 15790571520 74541 33554432000 4194304 4196468 140727400000480 140559786323088 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12673] ppid=12665 vsize=15420480 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/12667/task/12673/stat : 12673 (java) S 12665 12665 6753 0 -1 1077944384 222 0 0 0 1 0 0 0 20 0 19 0 408018484 15790571520 74541 33554432000 4194304 4196468 140727400000480 140558751840240 140559877835394 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12674] ppid=12665 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12674/stat : 12674 (java) S 12665 12665 6753 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 408018484 15790571520 74541 33554432000 4194304 4196468 140727400000480 140558750786528 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12675] ppid=12665 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12675/stat : 12675 (java) S 12665 12665 6753 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 408018484 15790571520 74541 33554432000 4194304 4196468 140727400000480 140558749733888 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12676] ppid=12665 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12676/stat : 12676 (java) S 12665 12665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408018487 15790571520 74541 33554432000 4194304 4196468 140727400000480 140558748682448 140559877842843 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12677] ppid=12665 vsize=15420480 memory=0 CPUtime=3.03 cores=1,3,5,7
/proc/12667/task/12677/stat : 12677 (java) S 12665 12665 6753 0 -1 1077944384 6482 0 0 0 302 1 0 0 20 0 19 0 408018487 15790571520 74541 33554432000 4194304 4196468 140727400000480 140558747630064 140559877835394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12678] ppid=12665 vsize=15420480 memory=0 CPUtime=2.98 cores=1,3,5,7
/proc/12667/task/12678/stat : 12678 (java) S 12665 12665 6753 0 -1 1077944384 4598 0 0 0 297 1 0 0 20 0 19 0 408018487 15790571520 74541 33554432000 4194304 4196468 140727400000480 140558746577520 140559877835394 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12679] ppid=12665 vsize=15420480 memory=0 CPUtime=1 cores=1,3,5,7
/proc/12667/task/12679/stat : 12679 (java) S 12665 12665 6753 0 -1 1077944384 4074 0 0 0 99 1 0 0 20 0 19 0 408018487 15790571520 74541 33554432000 4194304 4196468 140727400000480 140558745524976 140559877835394 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12680] ppid=12665 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12680/stat : 12680 (java) S 12665 12665 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408018487 15790571520 74541 33554432000 4194304 4196468 140727400000480 140558744472672 140559877834453 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12681] ppid=12665 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12667/task/12681/stat : 12681 (java) S 12665 12665 6753 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 19 0 408018487 15790571520 74541 33554432000 4194304 4196468 140727400000480 140558743419184 140559877835394 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12706] ppid=12665 vsize=15420480 memory=288230574492221466 CPUtime=4.01 cores=1,3,5,7
/proc/12667/task/12706/stat : 12706 (java) R 12665 12665 6753 0 -1 4202560 71 0 0 0 401 0 0 0 20 0 19 0 408018662 15790571520 74541 33554432000 4194304 4196468 140727400000480 140558730005144 140559473374453 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12707] ppid=12665 vsize=15420480 memory=297237816763744566 CPUtime=4.75 cores=1,3,5,7
/proc/12667/task/12707/stat : 12707 (java) R 12665 12665 6753 0 -1 4202560 388 0 0 0 475 0 0 0 20 0 19 0 408018662 15790571520 74541 33554432000 4194304 4196468 140727400000480 140558731061128 140559473374741 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12708] ppid=12665 vsize=15420480 memory=14689690934577591 CPUtime=5.02 cores=1,3,5,7
/proc/12667/task/12708/stat : 12708 (java) R 12665 12665 6753 0 -1 4202560 457 0 0 0 502 0 0 0 20 0 19 0 408018662 15790571520 74541 33554432000 4194304 4196468 140727400000480 140558727901224 140559475895040 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
[pid=12667/tid=12709] ppid=12665 vsize=15420480 memory=7884490475586998355 CPUtime=3.83 cores=1,3,5,7
/proc/12667/task/12709/stat : 12709 (java) R 12665 12665 6753 0 -1 4202560 298 0 0 0 383 0 0 0 20 0 19 0 408018663 15790571520 74541 33554432000 4194304 4196468 140727400000480 140558728954792 140559473903133 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10506240 140727400002543 140727400002714 140727400002714 140727400005583 0
Current children cumulated CPU time: 27.17 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 299616 KiB

Child status: 0
Real time (s): 7.25877
CPU time (s): 27.3968
CPU user time (s): 27.2615
CPU system time (s): 0.135222
CPU usage (%): 377.43
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 299616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.2615
system time used= 0.135222
maximum resident set size= 302728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30229
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= 3049
involuntary context switches= 1109


# summary of solver processes directly reported to runsolver:
#   pid: 12665
#   total CPU time (s): 27.3968
#   total CPU user time (s): 27.2615
#   total CPU system time (s): 0.135222

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.064997 second user time and 0.129293 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 4393254

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