2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14	OPT	10	29.0748	7.68142

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394178-1568347349.xml"  -tl '2400s' -p 4
0.12/0.19	c Choco e747e1e
0.12/0.20	c [HOME/instance-4394178-1568347349.xml, -tl, 2400s, -p, 4]
0.34/0.24	c 4 solvers in parallel
0.34/0.31	c parse instance...
3.45/1.28	c solve instance...
3.78/1.39	o 15 
4.19/1.42	o 14 
4.19/1.44	o 13 
4.19/1.46	o 12 
5.34/1.71	o 11 
5.34/1.72	o 10 
28.76/7.67	s OPTIMUM FOUND
28.76/7.67	v <instantiation>
28.76/7.67	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>
28.76/7.67	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>
28.76/7.67	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: 16375 MiB (12833 MiB free)
  memory of node 1: 16384 MiB (13549 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394178-1568347349/watcher-4394178-1568347349 -o /tmp/evaluation-result-4394178-1568347349/solver-4394178-1568347349 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323860857-17632 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1232762629 HOME/instance-4394178-1568347349.xml 

running on 4 cores: 4-7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=18471, runsolver pid=18468
Current StackSize limit: 8192 KiB


[startup+0.10015 s]*
/proc/loadavg: 5.34 6.05 4.86 3/233 18487
/proc/meminfo: memFree=26999532/32770688 swapFree=66919992/67108860
[pid=18471] ppid=18468 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/18471/stat : 18471 (xcsp3-exec) S 18468 18471 17600 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 410741254 115843072 362 33554432000 4194304 5098028 140734973999856 140734973997960 140414196470396 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33017856 140734974002042 140734974002285 140734974002285 140734974005194 0
/proc/18471/statm: 28282 362 304 221 0 87 0
[pid=18473] ppid=18471 vsize=15144768 memory=28936 CPUtime=0.12 cores=4-7
/proc/18473/stat : 18473 (java) S 18471 18471 17600 0 -1 1077944320 5633 0 0 0 11 1 0 0 20 0 15 0 410741255 15508242432 7234 33554432000 4194304 4196468 140726794541024 140726794523568 140198658154231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
/proc/18473/statm: 3786192 7234 3155 1 0 3748377 0
[pid=18473/tid=18474] ppid=18471 vsize=15144768 memory=8108032331684915787 CPUtime=0.09 cores=4-7
/proc/18473/task/18474/stat : 18474 (java) R 18471 18471 17600 0 -1 4202560 3544 0 0 0 8 1 0 0 20 0 15 0 410741255 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198662381904 140198658166166 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18475] ppid=18471 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=4-7
/proc/18473/task/18475/stat : 18475 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741256 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198610775056 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18476] ppid=18471 vsize=15144768 memory=140092293629568 CPUtime=0 cores=4-7
/proc/18473/task/18476/stat : 18476 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741256 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198609722512 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18477] ppid=18471 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/18473/task/18477/stat : 18477 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741256 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198608669456 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18478] ppid=18471 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/18473/task/18478/stat : 18478 (java) S 18471 18471 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410741256 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198607616912 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18479] ppid=18471 vsize=15144768 memory=140092293629568 CPUtime=0 cores=4-7
/proc/18473/task/18479/stat : 18479 (java) S 18471 18471 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410741257 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198125988080 140198658165378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18480] ppid=18471 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/18473/task/18480/stat : 18480 (java) S 18471 18471 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410741258 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198124934304 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18481] ppid=18471 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/18473/task/18481/stat : 18481 (java) S 18471 18471 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410741258 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198123881200 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18482] ppid=18471 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/18473/task/18482/stat : 18482 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410741260 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198122829776 140198658172827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18483] ppid=18471 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/18473/task/18483/stat : 18483 (java) S 18471 18471 17600 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 410741261 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198121777904 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18484] ppid=18471 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/18473/task/18484/stat : 18484 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741261 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198120725360 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18485] ppid=18471 vsize=15144768 memory=140092293629568 CPUtime=0.01 cores=4-7
/proc/18473/task/18485/stat : 18485 (java) R 18471 18471 17600 0 -1 4202560 375 0 0 0 1 0 0 0 20 0 15 0 410741261 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198119672304 140198636820956 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18486] ppid=18471 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/18473/task/18486/stat : 18486 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410741261 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198118620000 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18487] ppid=18471 vsize=15144768 memory=140092293629568 CPUtime=0 cores=4-7
/proc/18473/task/18487/stat : 18487 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741261 15508242432 7234 33554432000 4194304 4196468 140726794541024 140198117567024 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30384 KiB

[startup+0.211675 s]*
/proc/loadavg: 5.34 6.05 4.86 3/233 18487
/proc/meminfo: memFree=26985812/32770688 swapFree=66919992/67108860
[pid=18471] ppid=18468 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/18471/stat : 18471 (xcsp3-exec) S 18468 18471 17600 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 410741254 115843072 362 33554432000 4194304 5098028 140734973999856 140734973997960 140414196470396 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33017856 140734974002042 140734974002285 140734974002285 140734974005194 0
/proc/18471/statm: 28282 362 304 221 0 87 0
[pid=18473] ppid=18471 vsize=15144768 memory=40776 CPUtime=0.34 cores=4-7
/proc/18473/stat : 18473 (java) S 18471 18471 17600 0 -1 1077944320 9394 0 0 0 32 2 0 0 20 0 15 0 410741255 15508242432 10194 33554432000 4194304 4196468 140726794541024 140726794523568 140198658154231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
/proc/18473/statm: 3786192 10194 3254 1 0 3748377 0
[pid=18473/tid=18474] ppid=18471 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=4-7
/proc/18473/task/18474/stat : 18474 (java) R 18471 18471 17600 0 -1 4202560 6533 0 0 0 18 2 0 0 20 0 15 0 410741255 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198662388112 140198643835535 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18475] ppid=18471 vsize=15144768 memory=1915596 CPUtime=0 cores=4-7
/proc/18473/task/18475/stat : 18475 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741256 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198610775056 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18476] ppid=18471 vsize=15144768 memory=3472475015669728928 CPUtime=0 cores=4-7
/proc/18473/task/18476/stat : 18476 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741256 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198609722512 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18477] ppid=18471 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/18473/task/18477/stat : 18477 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741256 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198608669456 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18478] ppid=18471 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/18473/task/18478/stat : 18478 (java) S 18471 18471 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410741256 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198607616912 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18479] ppid=18471 vsize=15144768 memory=140092293629568 CPUtime=0 cores=4-7
/proc/18473/task/18479/stat : 18479 (java) S 18471 18471 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410741257 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198125988080 140198658165378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18480] ppid=18471 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/18473/task/18480/stat : 18480 (java) S 18471 18471 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410741258 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198124934304 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18481] ppid=18471 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/18473/task/18481/stat : 18481 (java) S 18471 18471 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410741258 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198123881200 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18482] ppid=18471 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/18473/task/18482/stat : 18482 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410741260 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198122829776 140198658172827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18483] ppid=18471 vsize=15144768 memory=0 CPUtime=0.01 cores=4-7
/proc/18473/task/18483/stat : 18483 (java) S 18471 18471 17600 0 -1 1077944384 445 0 0 0 1 0 0 0 20 0 15 0 410741261 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198121777904 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18484] ppid=18471 vsize=15144768 memory=-1 CPUtime=0.03 cores=4-7
/proc/18473/task/18484/stat : 18484 (java) S 18471 18471 17600 0 -1 1077944384 317 0 0 0 3 0 0 0 20 0 15 0 410741261 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198120725360 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18485] ppid=18471 vsize=15144768 memory=140092293629568 CPUtime=0.07 cores=4-7
/proc/18473/task/18485/stat : 18485 (java) S 18471 18471 17600 0 -1 1077944384 796 0 0 0 7 0 0 0 20 0 15 0 410741261 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198119672304 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18486] ppid=18471 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/18473/task/18486/stat : 18486 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410741261 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198118620000 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18487] ppid=18471 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/18473/task/18487/stat : 18487 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741261 15508242432 10194 33554432000 4194304 4196468 140726794541024 140198117567024 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42224 KiB

[startup+0.311499 s]*
/proc/loadavg: 5.34 6.05 4.86 3/233 18487
/proc/meminfo: memFree=26981684/32770688 swapFree=66919992/67108860
[pid=18471] ppid=18468 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/18471/stat : 18471 (xcsp3-exec) S 18468 18471 17600 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 410741254 115843072 362 33554432000 4194304 5098028 140734973999856 140734973997960 140414196470396 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33017856 140734974002042 140734974002285 140734974002285 140734974005194 0
/proc/18471/statm: 28282 362 304 221 0 87 0
[pid=18473] ppid=18471 vsize=15149024 memory=46668 CPUtime=0.52 cores=4-7
/proc/18473/stat : 18473 (java) S 18471 18471 17600 0 -1 1077944320 10515 0 0 0 49 3 0 0 20 0 15 0 410741255 15512600576 11667 33554432000 4194304 4196468 140726794541024 140726794523568 140198658154231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
/proc/18473/statm: 3787256 11667 3283 1 0 3748377 0
[pid=18473/tid=18474] ppid=18471 vsize=15149024 memory=1398722017469774279 CPUtime=0.3 cores=4-7
/proc/18473/task/18474/stat : 18474 (java) R 18471 18471 17600 0 -1 4202560 7561 0 0 0 28 2 0 0 20 0 15 0 410741255 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198662375744 140198642234718 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18475] ppid=18471 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=4-7
/proc/18473/task/18475/stat : 18475 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741256 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198610775056 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18476] ppid=18471 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=4-7
/proc/18473/task/18476/stat : 18476 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741256 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198609722512 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18477] ppid=18471 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=4-7
/proc/18473/task/18477/stat : 18477 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741256 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198608669456 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18478] ppid=18471 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=4-7
/proc/18473/task/18478/stat : 18478 (java) S 18471 18471 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410741256 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198607616912 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18479] ppid=18471 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=4-7
/proc/18473/task/18479/stat : 18479 (java) S 18471 18471 17600 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410741257 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198125988080 140198658165378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18480] ppid=18471 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=4-7
/proc/18473/task/18480/stat : 18480 (java) S 18471 18471 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410741258 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198124934304 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18481] ppid=18471 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=4-7
/proc/18473/task/18481/stat : 18481 (java) S 18471 18471 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410741258 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198123881200 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18482] ppid=18471 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=4-7
/proc/18473/task/18482/stat : 18482 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410741260 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198122829776 140198658172827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18483] ppid=18471 vsize=15149024 memory=7827413994055111515 CPUtime=0.03 cores=4-7
/proc/18473/task/18483/stat : 18483 (java) R 18471 18471 17600 0 -1 1077944384 451 0 0 0 3 0 0 0 20 0 15 0 410741261 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198121777904 140198658165378 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18484] ppid=18471 vsize=15149024 memory=0 CPUtime=0.04 cores=4-7
/proc/18473/task/18484/stat : 18484 (java) S 18471 18471 17600 0 -1 1077944384 325 0 0 0 4 0 0 0 20 0 15 0 410741261 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198120725360 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18485] ppid=18471 vsize=15149024 memory=0 CPUtime=0.12 cores=4-7
/proc/18473/task/18485/stat : 18485 (java) R 18471 18471 17600 0 -1 1077944384 879 0 0 0 12 0 0 0 20 0 15 0 410741261 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198119672304 140198658165378 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18486] ppid=18471 vsize=15149024 memory=0 CPUtime=0 cores=4-7
/proc/18473/task/18486/stat : 18486 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410741261 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198118620000 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18487] ppid=18471 vsize=15149024 memory=0 CPUtime=0 cores=4-7
/proc/18473/task/18487/stat : 18487 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741261 15512600576 11667 33554432000 4194304 4196468 140726794541024 140198117567024 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 48116 KiB

[startup+0.701029 s]
/proc/loadavg: 5.34 6.05 4.86 5/234 18489
/proc/meminfo: memFree=26961072/32770688 swapFree=66919992/67108860
[pid=18471] ppid=18468 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/18471/stat : 18471 (xcsp3-exec) S 18468 18471 17600 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 410741254 115843072 362 33554432000 4194304 5098028 140734973999856 140734973997960 140414196470396 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33017856 140734974002042 140734974002285 140734974002285 140734974005194 0
/proc/18471/statm: 28282 362 304 221 0 87 0
[pid=18473] ppid=18471 vsize=15151148 memory=88492 CPUtime=1.73 cores=4-7
/proc/18473/stat : 18473 (java) S 18471 18471 17600 0 -1 1077944320 15296 0 0 0 168 5 0 0 20 0 15 0 410741255 15514775552 22123 33554432000 4194304 4196468 140726794541024 140726794523568 140198658154231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
/proc/18473/statm: 3787787 22123 3445 1 0 3748889 0
[pid=18473/tid=18474] ppid=18471 vsize=15151148 memory=0 CPUtime=0.67 cores=4-7
/proc/18473/task/18474/stat : 18474 (java) R 18471 18471 17600 0 -1 4202560 9061 0 0 0 63 4 0 0 20 0 15 0 410741255 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198662389984 140198287345880 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18475] ppid=18471 vsize=15151148 memory=45184 CPUtime=0 cores=4-7
/proc/18473/task/18475/stat : 18475 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741256 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198610775056 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18476] ppid=18471 vsize=15151148 memory=984 CPUtime=0 cores=4-7
/proc/18473/task/18476/stat : 18476 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741256 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198609722512 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18477] ppid=18471 vsize=15151148 memory=2020 CPUtime=0 cores=4-7
/proc/18473/task/18477/stat : 18477 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741256 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198608669456 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18478] ppid=18471 vsize=15151148 memory=1432 CPUtime=0 cores=4-7
/proc/18473/task/18478/stat : 18478 (java) S 18471 18471 17600 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410741256 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198607616912 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18479] ppid=18471 vsize=15151148 memory=776 CPUtime=0 cores=4-7
/proc/18473/task/18479/stat : 18479 (java) S 18471 18471 17600 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410741257 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198125988080 140198658165378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18480] ppid=18471 vsize=15151148 memory=660 CPUtime=0 cores=4-7
/proc/18473/task/18480/stat : 18480 (java) S 18471 18471 17600 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410741258 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198124934304 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18481] ppid=18471 vsize=15151148 memory=1556 CPUtime=0 cores=4-7
/proc/18473/task/18481/stat : 18481 (java) S 18471 18471 17600 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410741258 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198123881200 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18482] ppid=18471 vsize=15151148 memory=9588 CPUtime=0 cores=4-7
/proc/18473/task/18482/stat : 18482 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410741260 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198122829776 140198658172827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18483] ppid=18471 vsize=15151148 memory=1712 CPUtime=0.34 cores=4-7
/proc/18473/task/18483/stat : 18483 (java) R 18471 18471 17600 0 -1 1077944384 1786 0 0 0 34 0 0 0 20 0 15 0 410741261 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198121766400 140198658164437 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18484] ppid=18471 vsize=15151148 memory=5972 CPUtime=0.3 cores=4-7
/proc/18473/task/18484/stat : 18484 (java) S 18471 18471 17600 0 -1 1077944384 1185 0 0 0 30 0 0 0 20 0 15 0 410741261 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198120716864 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18485] ppid=18471 vsize=15151148 memory=4164 CPUtime=0.38 cores=4-7
/proc/18473/task/18485/stat : 18485 (java) R 18471 18471 17600 0 -1 4202560 1958 0 0 0 38 0 0 0 20 0 15 0 410741261 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198119672304 140198643319817 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18486] ppid=18471 vsize=15151148 memory=1056 CPUtime=0 cores=4-7
/proc/18473/task/18486/stat : 18486 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410741261 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198118620000 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18487] ppid=18471 vsize=15151148 memory=2828 CPUtime=0 cores=4-7
/proc/18473/task/18487/stat : 18487 (java) S 18471 18471 17600 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410741261 15514775552 22123 33554432000 4194304 4196468 140726794541024 140198117567024 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 89940 KiB

[startup+1.50314 s]
/proc/loadavg: 5.34 6.05 4.86 5/234 18489
/proc/meminfo: memFree=26901192/32770688 swapFree=66919992/67108860
[pid=18471] ppid=18468 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/18471/stat : 18471 (xcsp3-exec) S 18468 18471 17600 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 410741254 115843072 362 33554432000 4194304 5098028 140734973999856 140734973997960 140414196470396 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33017856 140734974002042 140734974002285 140734974002285 140734974005194 0
/proc/18471/statm: 28282 362 304 221 0 87 0

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

/proc/18473/task/18517/stat : 18517 (java) R 18471 18471 17600 0 -1 4202560 30 0 0 0 364 0 0 0 20 0 19 0 410741427 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198102286568 140198294158115 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
Current children cumulated CPU time: 23.59 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 233504 KiB

[startup+7.68136 s]
# the end of solver process 18471 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=28.9489 s, system=0.125952 s

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

[startup+6.4013 s]
/proc/loadavg: 5.47 6.06 4.87 6/237 18517
/proc/meminfo: memFree=26795456/32770688 swapFree=66919992/67108860
[pid=18471] ppid=18468 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/18471/stat : 18471 (xcsp3-exec) S 18468 18471 17600 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 410741254 115843072 362 33554432000 4194304 5098028 140734973999856 140734973997960 140414196470396 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33017856 140734974002042 140734974002285 140734974002285 140734974005194 0
/proc/18471/statm: 28282 362 304 221 0 87 0
[pid=18473] ppid=18471 vsize=15420480 memory=232056 CPUtime=23.99 cores=4-7
/proc/18473/stat : 18473 (java) S 18471 18471 17600 0 -1 1077944320 29707 0 0 0 2388 11 0 0 20 0 19 0 410741255 15790571520 58014 33554432000 4194304 4196468 140726794541024 140726794523568 140198658154231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
/proc/18473/statm: 3855120 58014 3530 1 0 3816222 0
[pid=18473/tid=18474] ppid=18471 vsize=15420480 memory=0 CPUtime=1.26 cores=4-7
/proc/18473/task/18474/stat : 18474 (java) S 18471 18471 17600 0 -1 1077944384 11971 0 0 0 121 5 0 0 20 0 19 0 410741255 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198662395008 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18475] ppid=18471 vsize=15420480 memory=0 CPUtime=0.02 cores=4-7
/proc/18473/task/18475/stat : 18475 (java) S 18471 18471 17600 0 -1 1077944384 297 0 0 0 2 0 0 0 20 0 19 0 410741256 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198610775056 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18476] ppid=18471 vsize=15420480 memory=0 CPUtime=0.02 cores=4-7
/proc/18473/task/18476/stat : 18476 (java) S 18471 18471 17600 0 -1 1077944384 51 0 0 0 2 0 0 0 20 0 19 0 410741256 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198609722512 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18477] ppid=18471 vsize=15420480 memory=1915838 CPUtime=0 cores=4-7
/proc/18473/task/18477/stat : 18477 (java) S 18471 18471 17600 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 410741256 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198608669456 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18478] ppid=18471 vsize=15420480 memory=1917393 CPUtime=0.02 cores=4-7
/proc/18473/task/18478/stat : 18478 (java) S 18471 18471 17600 0 -1 1077944384 138 0 0 0 2 0 0 0 20 0 19 0 410741256 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198607616912 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18479] ppid=18471 vsize=15420480 memory=0 CPUtime=0 cores=4-7
/proc/18473/task/18479/stat : 18479 (java) S 18471 18471 17600 0 -1 1077944384 220 0 0 0 0 0 0 0 20 0 19 0 410741257 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198125988080 140198658165378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18480] ppid=18471 vsize=15420480 memory=0 CPUtime=0 cores=4-7
/proc/18473/task/18480/stat : 18480 (java) S 18471 18471 17600 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 410741258 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198124934368 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18481] ppid=18471 vsize=15420480 memory=0 CPUtime=0 cores=4-7
/proc/18473/task/18481/stat : 18481 (java) S 18471 18471 17600 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 410741258 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198123881216 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18482] ppid=18471 vsize=15420480 memory=0 CPUtime=0 cores=4-7
/proc/18473/task/18482/stat : 18482 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410741260 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198122829776 140198658172827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18483] ppid=18471 vsize=15420480 memory=0 CPUtime=2.95 cores=4-7
/proc/18473/task/18483/stat : 18483 (java) S 18471 18471 17600 0 -1 1077944384 5519 0 0 0 295 0 0 0 20 0 19 0 410741261 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198121777904 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18484] ppid=18471 vsize=15420480 memory=6791534058613427641 CPUtime=2.64 cores=4-7
/proc/18473/task/18484/stat : 18484 (java) S 18471 18471 17600 0 -1 1077944384 4744 0 0 0 264 0 0 0 20 0 19 0 410741261 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198120725360 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18485] ppid=18471 vsize=15420480 memory=0 CPUtime=0.96 cores=4-7
/proc/18473/task/18485/stat : 18485 (java) S 18471 18471 17600 0 -1 1077944384 4616 0 0 0 95 1 0 0 20 0 19 0 410741261 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198119672304 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18486] ppid=18471 vsize=15420480 memory=0 CPUtime=0 cores=4-7
/proc/18473/task/18486/stat : 18486 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410741261 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198118620000 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18487] ppid=18471 vsize=15420480 memory=0 CPUtime=0 cores=4-7
/proc/18473/task/18487/stat : 18487 (java) S 18471 18471 17600 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 410741261 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198117567024 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18514] ppid=18471 vsize=15420480 memory=0 CPUtime=3.76 cores=4-7
/proc/18473/task/18514/stat : 18514 (java) R 18471 18471 17600 0 -1 4202560 30 0 0 0 376 0 0 0 20 0 19 0 410741427 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198103337960 140198292564321 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18515] ppid=18471 vsize=15420480 memory=6943526294502006880 CPUtime=4.13 cores=4-7
/proc/18473/task/18515/stat : 18515 (java) R 18471 18471 17600 0 -1 4202560 83 0 0 0 413 0 0 0 20 0 19 0 410741427 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198106496576 140198292564283 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18516] ppid=18471 vsize=15420480 memory=6656426216303648864 CPUtime=3.56 cores=4-7
/proc/18473/task/18516/stat : 18516 (java) R 18471 18471 17600 0 -1 4202560 22 0 0 0 356 0 0 0 20 0 19 0 410741427 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198104391432 140198293050089 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18517] ppid=18471 vsize=15420480 memory=0 CPUtime=3.74 cores=4-7
/proc/18473/task/18517/stat : 18517 (java) R 18471 18471 17600 0 -1 4202560 31 0 0 0 374 0 0 0 20 0 19 0 410741427 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198102286568 140198292564398 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
Current children cumulated CPU time: 23.99 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 233504 KiB

[startup+7.2013 s]
/proc/loadavg: 5.47 6.06 4.87 6/237 18517
/proc/meminfo: memFree=26795464/32770688 swapFree=66919992/67108860
[pid=18471] ppid=18468 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/18471/stat : 18471 (xcsp3-exec) S 18468 18471 17600 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 410741254 115843072 362 33554432000 4194304 5098028 140734973999856 140734973997960 140414196470396 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33017856 140734974002042 140734974002285 140734974002285 140734974005194 0
/proc/18471/statm: 28282 362 304 221 0 87 0
[pid=18473] ppid=18471 vsize=15420480 memory=232056 CPUtime=27.17 cores=4-7
/proc/18473/stat : 18473 (java) S 18471 18471 17600 0 -1 1077944320 29712 0 0 0 2706 11 0 0 20 0 19 0 410741255 15790571520 58014 33554432000 4194304 4196468 140726794541024 140726794523568 140198658154231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
/proc/18473/statm: 3855120 58014 3530 1 0 3816222 0
[pid=18473/tid=18474] ppid=18471 vsize=15420480 memory=15925516813 CPUtime=1.26 cores=4-7
/proc/18473/task/18474/stat : 18474 (java) S 18471 18471 17600 0 -1 1077944384 11971 0 0 0 121 5 0 0 20 0 19 0 410741255 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198662395008 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18475] ppid=18471 vsize=15420480 memory=15925516813 CPUtime=0.02 cores=4-7
/proc/18473/task/18475/stat : 18475 (java) S 18471 18471 17600 0 -1 1077944384 297 0 0 0 2 0 0 0 20 0 19 0 410741256 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198610775056 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18476] ppid=18471 vsize=15420480 memory=15925516813 CPUtime=0.02 cores=4-7
/proc/18473/task/18476/stat : 18476 (java) S 18471 18471 17600 0 -1 1077944384 51 0 0 0 2 0 0 0 20 0 19 0 410741256 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198609722512 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18477] ppid=18471 vsize=15420480 memory=15925516813 CPUtime=0 cores=4-7
/proc/18473/task/18477/stat : 18477 (java) S 18471 18471 17600 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 410741256 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198608669456 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18478] ppid=18471 vsize=15420480 memory=0 CPUtime=0.02 cores=4-7
/proc/18473/task/18478/stat : 18478 (java) S 18471 18471 17600 0 -1 1077944384 138 0 0 0 2 0 0 0 20 0 19 0 410741256 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198607616912 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18479] ppid=18471 vsize=15420480 memory=0 CPUtime=0.01 cores=4-7
/proc/18473/task/18479/stat : 18479 (java) S 18471 18471 17600 0 -1 1077944384 220 0 0 0 1 0 0 0 20 0 19 0 410741257 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198125988080 140198658165378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18480] ppid=18471 vsize=15420480 memory=0 CPUtime=0 cores=4-7
/proc/18473/task/18480/stat : 18480 (java) S 18471 18471 17600 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 410741258 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198124934368 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18481] ppid=18471 vsize=15420480 memory=0 CPUtime=0 cores=4-7
/proc/18473/task/18481/stat : 18481 (java) S 18471 18471 17600 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 410741258 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198123881216 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18482] ppid=18471 vsize=15420480 memory=0 CPUtime=0 cores=4-7
/proc/18473/task/18482/stat : 18482 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410741260 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198122829776 140198658172827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18483] ppid=18471 vsize=15420480 memory=0 CPUtime=2.96 cores=4-7
/proc/18473/task/18483/stat : 18483 (java) S 18471 18471 17600 0 -1 1077944384 5520 0 0 0 296 0 0 0 20 0 19 0 410741261 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198121777904 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18484] ppid=18471 vsize=15420480 memory=0 CPUtime=2.65 cores=4-7
/proc/18473/task/18484/stat : 18484 (java) S 18471 18471 17600 0 -1 1077944384 4745 0 0 0 265 0 0 0 20 0 19 0 410741261 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198120725360 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18485] ppid=18471 vsize=15420480 memory=15620 CPUtime=0.96 cores=4-7
/proc/18473/task/18485/stat : 18485 (java) S 18471 18471 17600 0 -1 1077944384 4616 0 0 0 95 1 0 0 20 0 19 0 410741261 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198119672304 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18486] ppid=18471 vsize=15420480 memory=7882834749540411913 CPUtime=0 cores=4-7
/proc/18473/task/18486/stat : 18486 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410741261 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198118620000 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18487] ppid=18471 vsize=15420480 memory=-7741295725737516437 CPUtime=0 cores=4-7
/proc/18473/task/18487/stat : 18487 (java) S 18471 18471 17600 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 410741261 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198117567024 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18514] ppid=18471 vsize=15420480 memory=4132772329015834144 CPUtime=4.55 cores=4-7
/proc/18473/task/18514/stat : 18514 (java) R 18471 18471 17600 0 -1 4202560 31 0 0 0 455 0 0 0 20 0 19 0 410741427 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198103337880 140198294159850 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18515] ppid=18471 vsize=15420480 memory=1399385297787765840 CPUtime=4.93 cores=4-7
/proc/18473/task/18515/stat : 18515 (java) R 18471 18471 17600 0 -1 4202560 84 0 0 0 493 0 0 0 20 0 19 0 410741427 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198106496408 140198294214567 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18516] ppid=18471 vsize=15420480 memory=9588 CPUtime=4.35 cores=4-7
/proc/18473/task/18516/stat : 18516 (java) R 18471 18471 17600 0 -1 4202560 22 0 0 0 435 0 0 0 20 0 19 0 410741427 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198104392296 140198285747319 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18517] ppid=18471 vsize=15420480 memory=1712 CPUtime=4.53 cores=4-7
/proc/18473/task/18517/stat : 18517 (java) R 18471 18471 17600 0 -1 4202560 32 0 0 0 453 0 0 0 20 0 19 0 410741427 15790571520 58014 33554432000 4194304 4196468 140726794541024 140198102286448 140198293440839 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
Current children cumulated CPU time: 27.17 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 233504 KiB

[startup+7.6013 s]
/proc/loadavg: 5.47 6.06 4.87 6/237 18517
/proc/meminfo: memFree=26795464/32770688 swapFree=66919992/67108860
[pid=18471] ppid=18468 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/18471/stat : 18471 (xcsp3-exec) S 18468 18471 17600 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 410741254 115843072 362 33554432000 4194304 5098028 140734973999856 140734973997960 140414196470396 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33017856 140734974002042 140734974002285 140734974002285 140734974005194 0
/proc/18471/statm: 28282 362 304 221 0 87 0
[pid=18473] ppid=18471 vsize=15420480 memory=232488 CPUtime=28.76 cores=4-7
/proc/18473/stat : 18473 (java) S 18471 18471 17600 0 -1 1077944320 31683 0 0 0 2865 11 0 0 20 0 19 0 410741255 15790571520 58122 33554432000 4194304 4196468 140726794541024 140726794523568 140198658154231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
/proc/18473/statm: 3855120 58122 3532 1 0 3816222 0
[pid=18473/tid=18474] ppid=18471 vsize=15420480 memory=140092169971424 CPUtime=1.26 cores=4-7
/proc/18473/task/18474/stat : 18474 (java) S 18471 18471 17600 0 -1 1077944384 11971 0 0 0 121 5 0 0 20 0 19 0 410741255 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198662395008 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18475] ppid=18471 vsize=15420480 memory=140092169971456 CPUtime=0.02 cores=4-7
/proc/18473/task/18475/stat : 18475 (java) S 18471 18471 17600 0 -1 1077944384 297 0 0 0 2 0 0 0 20 0 19 0 410741256 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198610775056 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18476] ppid=18471 vsize=15420480 memory=4900557685875 CPUtime=0.02 cores=4-7
/proc/18473/task/18476/stat : 18476 (java) S 18471 18471 17600 0 -1 1077944384 51 0 0 0 2 0 0 0 20 0 19 0 410741256 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198609722512 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18477] ppid=18471 vsize=15420480 memory=5972 CPUtime=0 cores=4-7
/proc/18473/task/18477/stat : 18477 (java) S 18471 18471 17600 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 19 0 410741256 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198608669456 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18478] ppid=18471 vsize=15420480 memory=4164 CPUtime=0.02 cores=4-7
/proc/18473/task/18478/stat : 18478 (java) S 18471 18471 17600 0 -1 1077944384 138 0 0 0 2 0 0 0 20 0 19 0 410741256 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198607616912 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18479] ppid=18471 vsize=15420480 memory=1056 CPUtime=0.01 cores=4-7
/proc/18473/task/18479/stat : 18479 (java) S 18471 18471 17600 0 -1 1077944384 275 0 0 0 1 0 0 0 20 0 19 0 410741257 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198125988080 140198658165378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18480] ppid=18471 vsize=15420480 memory=2828 CPUtime=0 cores=4-7
/proc/18473/task/18480/stat : 18480 (java) S 18471 18471 17600 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 410741258 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198124934368 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18481] ppid=18471 vsize=15420480 memory=1176 CPUtime=0 cores=4-7
/proc/18473/task/18481/stat : 18481 (java) S 18471 18471 17600 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 410741258 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198123881216 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18482] ppid=18471 vsize=15420480 memory=980 CPUtime=0 cores=4-7
/proc/18473/task/18482/stat : 18482 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410741260 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198122829776 140198658172827 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18483] ppid=18471 vsize=15420480 memory=14008 CPUtime=2.96 cores=4-7
/proc/18473/task/18483/stat : 18483 (java) S 18471 18471 17600 0 -1 1077944384 5523 0 0 0 296 0 0 0 20 0 19 0 410741261 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198121777904 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18484] ppid=18471 vsize=15420480 memory=12028 CPUtime=2.66 cores=4-7
/proc/18473/task/18484/stat : 18484 (java) S 18471 18471 17600 0 -1 1077944384 5243 0 0 0 266 0 0 0 20 0 19 0 410741261 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198120725360 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18485] ppid=18471 vsize=15420480 memory=24768 CPUtime=0.96 cores=4-7
/proc/18473/task/18485/stat : 18485 (java) S 18471 18471 17600 0 -1 1077944384 5380 0 0 0 95 1 0 0 20 0 19 0 410741261 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198119672304 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18486] ppid=18471 vsize=15420480 memory=2120 CPUtime=0 cores=4-7
/proc/18473/task/18486/stat : 18486 (java) S 18471 18471 17600 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410741261 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198118620000 140198658164437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18487] ppid=18471 vsize=15420480 memory=496 CPUtime=0 cores=4-7
/proc/18473/task/18487/stat : 18487 (java) S 18471 18471 17600 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 410741261 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198117567024 140198658165378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18514] ppid=18471 vsize=15420480 memory=1560 CPUtime=4.95 cores=4-7
/proc/18473/task/18514/stat : 18514 (java) R 18471 18471 17600 0 -1 4202560 48 0 0 0 495 0 0 0 20 0 19 0 410741427 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198103337960 140198292564349 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18515] ppid=18471 vsize=15420480 memory=928 CPUtime=5.32 cores=4-7
/proc/18473/task/18515/stat : 18515 (java) R 18471 18471 17600 0 -1 4202560 422 0 0 0 532 0 0 0 20 0 19 0 410741427 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198106497256 140198292564505 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18516] ppid=18471 vsize=15420480 memory=1724 CPUtime=4.74 cores=4-7
/proc/18473/task/18516/stat : 18516 (java) R 18471 18471 17600 0 -1 4202560 95 0 0 0 474 0 0 0 20 0 19 0 410741427 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198104391496 140198292563969 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
[pid=18473/tid=18517] ppid=18471 vsize=15420480 memory=280184339313704 CPUtime=4.92 cores=4-7
/proc/18473/task/18517/stat : 18517 (java) R 18471 18471 17600 0 -1 4202560 236 0 0 0 492 0 0 0 20 0 19 0 410741427 15790571520 58122 33554432000 4194304 4196468 140726794541024 140198102286448 140198293578350 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28499968 140726794548207 140726794548378 140726794548378 140726794551247 0
Current children cumulated CPU time: 28.76 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 233936 KiB

Child status: 0
Real time (s): 7.68142
CPU time (s): 29.0748
CPU user time (s): 28.9489
CPU system time (s): 0.125952
CPU usage (%): 378.508
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 233936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 28.9489
system time used= 0.125952
maximum resident set size= 232780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33853
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2670
involuntary context switches= 869


# summary of solver processes directly reported to runsolver:
#   pid: 18471
#   total CPU time (s): 29.0748
#   total CPU user time (s): 28.9489
#   total CPU system time (s): 0.125952

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.083608 second user time and 0.132833 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.1546
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 4394178

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