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-09-16	OPT	10	24.2857	6.45764

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400414-1568692021.xml"  -tl '2400s' -p 4
0.12/0.19	c Choco e747e1e
0.12/0.19	c [HOME/instance-4400414-1568692021.xml, -tl, 2400s, -p, 4]
0.32/0.23	c 4 solvers in parallel
0.32/0.30	c parse instance...
3.16/1.18	c solve instance...
3.84/1.30	o 15 
3.84/1.34	o 14 
3.84/1.35	o 13 
3.84/1.39	o 12 
5.40/1.75	o 11 
5.40/1.76	o 10 
24.09/6.45	s OPTIMUM FOUND
24.09/6.45	v <instantiation>
24.09/6.45	v 	<list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] np[0][0] np[0][1] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[1][0] np[1][1] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[2][0] np[2][1] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[3][0] np[3][1] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[4][0] np[4][1] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[5][0] np[5][1] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[6][0] np[6][1] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[7][0] np[7][1] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[8][0] np[8][1] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[9][0] np[9][1] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[10][0] np[10][1] np[10][2] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[11][0] np[11][1] np[11][2] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[12][0] np[12][1] np[12][2] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[13][0] np[13][1] np[13][2] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[14][0] np[14][1] np[14][2] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] np[15][0] np[15][1] np[15][2] np[15][3] np[15][4] np[15][5] np[15][6] np[15][7] np[15][8] np[15][9] np[15][10] np[15][11] np[15][12] np[15][13] np[15][14] np[16][0] np[16][1] np[16][2] np[16][3] np[16][4] np[16][5] np[16][6] np[16][7] np[16][8] np[16][9] np[16][10] np[16][11] np[16][12] np[16][13] np[16][14] np[17][0] np[17][1] np[17][2] np[17][3] np[17][4] np[17][5] np[17][6] np[17][7] np[17][8] np[17][9] np[17][10] np[17][11] np[17][12] np[17][13] np[17][14] np[18][0] np[18][1] np[18][2] np[18][3] np[18][4] np[18][5] np[18][6] np[18][7] np[18][8] np[18][9] np[18][10] np[18][11] np[18][12] np[18][13] np[18][14] np[19][0] np[19][1] np[19][2] np[19][3] np[19][4] np[19][5] np[19][6] np[19][7] np[19][8] np[19][9] np[19][10] np[19][11] np[19][12] np[19][13] np[19][14] np[20][0] np[20][1] np[20][2] np[20][3] np[20][4] np[20][5] np[20][6] np[20][7] np[20][8] np[20][9] np[20][10] np[20][11] np[20][12] np[20][13] np[20][14] np[21][0] np[21][1] np[21][2] np[21][3] np[21][4] np[21][5] np[21][6] np[21][7] np[21][8] np[21][9] np[21][10] np[21][11] np[21][12] np[21][13] np[21][14] np[22][0] np[22][1] np[22][2] np[22][3] np[22][4] np[22][5] np[22][6] np[22][7] np[22][8] np[22][9] np[22][10] np[22][11] np[22][12] np[22][13] np[22][14] np[23][0] np[23][1] np[23][2] np[23][3] np[23][4] np[23][5] np[23][6] np[23][7] np[23][8] np[23][9] np[23][10] np[23][11] np[23][12] np[23][13] np[23][14] np[24][0] np[24][1] np[24][2] np[24][3] np[24][4] np[24][5] np[24][6] np[24][7] np[24][8] np[24][9] np[24][10] np[24][11] np[24][12] np[24][13] np[24][14] np[25][0] np[25][1] np[25][2] np[25][3] np[25][4] np[25][5] np[25][6] np[25][7] np[25][8] np[25][9] np[25][10] np[25][11] np[25][12] np[25][13] np[25][14] np[26][0] np[26][1] np[26][2] np[26][3] np[26][4] np[26][5] np[26][6] np[26][7] np[26][8] np[26][9] np[26][10] np[26][11] np[26][12] np[26][13] np[26][14] np[27][0] np[27][1] np[27][2] np[27][3] np[27][4] np[27][5] np[27][6] np[27][7] np[27][8] np[27][9] np[27][10] np[27][11] np[27][12] np[27][13] np[27][14] np[28][0] np[28][1] np[28][2] np[28][3] np[28][4] np[28][5] np[28][6] np[28][7] np[28][8] np[28][9] np[28][10] np[28][11] np[28][12] np[28][13] np[28][14] np[29][0] np[29][1] np[29][2] np[29][3] np[29][4] np[29][5] np[29][6] np[29][7] np[29][8] np[29][9] np[29][10] np[29][11] np[29][12] np[29][13] np[29][14] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[16][0] o[16][1] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[17][0] o[17][1] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[18][0] o[18][1] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[19][0] o[19][1] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[20][0] o[20][1] o[20][2] o[20][3] o[20][4] o[20][5] o[20][6] o[20][7] o[20][8] o[20][9] o[20][10] o[20][11] o[20][12] o[20][13] o[20][14] o[21][0] o[21][1] o[21][2] o[21][3] o[21][4] o[21][5] o[21][6] o[21][7] o[21][8] o[21][9] o[21][10] o[21][11] o[21][12] o[21][13] o[21][14] o[22][0] o[22][1] o[22][2] o[22][3] o[22][4] o[22][5] o[22][6] o[22][7] o[22][8] o[22][9] o[22][10] o[22][11] o[22][12] o[22][13] o[22][14] o[23][0] o[23][1] o[23][2] o[23][3] o[23][4] o[23][5] o[23][6] o[23][7] o[23][8] o[23][9] o[23][10] o[23][11] o[23][12] o[23][13] o[23][14] o[24][0] o[24][1] o[24][2] o[24][3] o[24][4] o[24][5] o[24][6] o[24][7] o[24][8] o[24][9] o[24][10] o[24][11] o[24][12] o[24][13] o[24][14] o[25][0] o[25][1] o[25][2] o[25][3] o[25][4] o[25][5] o[25][6] o[25][7] o[25][8] o[25][9] o[25][10] o[25][11] o[25][12] o[25][13] o[25][14] o[26][0] o[26][1] o[26][2] o[26][3] o[26][4] o[26][5] o[26][6] o[26][7] o[26][8] o[26][9] o[26][10] o[26][11] o[26][12] o[26][13] o[26][14] o[27][0] o[27][1] o[27][2] o[27][3] o[27][4] o[27][5] o[27][6] o[27][7] o[27][8] o[27][9] o[27][10] o[27][11] o[27][12] o[27][13] o[27][14] o[28][0] o[28][1] o[28][2] o[28][3] o[28][4] o[28][5] o[28][6] o[28][7] o[28][8] o[28][9] o[28][10] o[28][11] o[28][12] o[28][13] o[28][14] o[29][0] o[29][1] o[29][2] o[29][3] o[29][4] o[29][5] o[29][6] o[29][7] o[29][8] o[29][9] o[29][10] o[29][11] o[29][12] o[29][13] o[29][14] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14] </list>
24.09/6.45	v 	<values>0 1 11 3 9 13 8 5 10 2 6 4 7 12 14 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 0 0 0 0 1 1 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 1 1 1 1 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 0 0 0 1 1 1 1 2 2 2 2 2 2 2 2 0 1 1 1 1 1 1 1 1 1 1 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 1 1 1 1 2 2 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 0 0 1 1 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 1 1 1 1 1 1 2 2 2 2 2 2 0 0 0 0 0 0 0 1 1 1 1 1 1 2 2 0 0 0 0 0 0 0 0 0 1 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 4 7 8 9 10 10 10 10 10 10 10 10 9 7 4 </values>
24.09/6.45	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 (15241 MiB free)
  memory of node 1: 16384 MiB (15351 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400414-1568692021/watcher-4400414-1568692021 -o /tmp/evaluation-result-4400414-1568692021/solver-4400414-1568692021 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568691240-24303 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1705745515 HOME/instance-4400414-1568692021.xml 

running on 4 cores: 0,2,4,6

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=25218, runsolver pid=25215
Current StackSize limit: 8192 KiB


[startup+0.108504 s]*
/proc/loadavg: 7.92 7.96 7.89 9/233 25238
/proc/meminfo: memFree=31278400/32770624 swapFree=66997372/67108860
[pid=25218] ppid=25215 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25218/stat : 25218 (xcsp3-exec) S 25215 25218 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445455187 115843072 362 33554432000 4194304 5098028 140730020651648 140730020649752 140012986847868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24596480 140730020660090 140730020660333 140730020660333 140730020663242 0
/proc/25218/statm: 28282 362 304 221 0 87 0
[pid=25220] ppid=25218 vsize=15144776 memory=29080 CPUtime=0.12 cores=0,2,4,6
/proc/25220/stat : 25220 (java) S 25218 25218 24272 0 -1 1077944320 5744 0 0 0 11 1 0 0 20 0 15 0 445455187 15508250624 7270 33554432000 4194304 4196468 140722832717552 140722832700096 140043954024183 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
/proc/25220/statm: 3786194 7270 3124 1 0 3748377 0
[pid=25220/tid=25221] ppid=25218 vsize=15144776 memory=7100839870104831090 CPUtime=0.08 cores=0,2,4,6
/proc/25220/task/25221/stat : 25221 (java) R 25218 25218 24272 0 -1 4202560 3656 0 0 0 8 0 0 0 20 0 15 0 445455188 15508250624 7270 33554432000 4194304 4196468 140722832717552 140043958258720 140043954036118 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25222] ppid=25218 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25222/stat : 25222 (java) S 25218 25218 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455188 15508250624 7270 33554432000 4194304 4196468 140722832717552 140043919305360 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25223] ppid=25218 vsize=15144776 memory=140541737129600 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25223/stat : 25223 (java) S 25218 25218 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455188 15508250624 7270 33554432000 4194304 4196468 140722832717552 140043545848336 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25224] ppid=25218 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25224/stat : 25224 (java) S 25218 25218 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455188 15508250624 7270 33554432000 4194304 4196468 140722832717552 140043544795536 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25225] ppid=25218 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25225/stat : 25225 (java) S 25218 25218 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445455188 15508250624 7270 33554432000 4194304 4196468 140722832717552 140043543742736 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25226] ppid=25218 vsize=15144776 memory=140541737129600 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25226/stat : 25226 (java) S 25218 25218 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445455190 15508250624 7270 33554432000 4194304 4196468 140722832717552 140042827823984 140043954035330 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25227] ppid=25218 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25227/stat : 25227 (java) S 25218 25218 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445455190 15508250624 7270 33554432000 4194304 4196468 140722832717552 140042826769952 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25228] ppid=25218 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25228/stat : 25228 (java) S 25218 25218 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445455190 15508250624 7270 33554432000 4194304 4196468 140722832717552 140042825717104 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25229] ppid=25218 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25229/stat : 25229 (java) S 25218 25218 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445455193 15508250624 7270 33554432000 4194304 4196468 140722832717552 140042824665424 140043954042779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25230] ppid=25218 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25230/stat : 25230 (java) S 25218 25218 24272 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 445455193 15508250624 7270 33554432000 4194304 4196468 140722832717552 140042823612784 140043954035330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25231] ppid=25218 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25231/stat : 25231 (java) S 25218 25218 24272 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 445455193 15508250624 7270 33554432000 4194304 4196468 140722832717552 140042822559984 140043954035330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25232] ppid=25218 vsize=15144776 memory=140541737129600 CPUtime=0.02 cores=0,2,4,6
/proc/25220/task/25232/stat : 25232 (java) R 25218 25218 24272 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 445455193 15508250624 7270 33554432000 4194304 4196468 140722832717552 140042821507184 140043932705559 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25233] ppid=25218 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25233/stat : 25233 (java) S 25218 25218 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445455193 15508250624 7270 33554432000 4194304 4196468 140722832717552 140042820454624 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25234] ppid=25218 vsize=15144776 memory=140541737129600 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25234/stat : 25234 (java) S 25218 25218 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455194 15508250624 7270 33554432000 4194304 4196468 140722832717552 140042819402928 140043954035330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30528 KiB

[startup+0.210802 s]*
/proc/loadavg: 7.92 7.96 7.89 8/233 25238
/proc/meminfo: memFree=31264932/32770624 swapFree=66997372/67108860
[pid=25218] ppid=25215 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25218/stat : 25218 (xcsp3-exec) S 25215 25218 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445455187 115843072 362 33554432000 4194304 5098028 140730020651648 140730020649752 140012986847868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24596480 140730020660090 140730020660333 140730020660333 140730020663242 0
/proc/25218/statm: 28282 362 304 221 0 87 0
[pid=25220] ppid=25218 vsize=15144776 memory=41080 CPUtime=0.32 cores=0,2,4,6
/proc/25220/stat : 25220 (java) S 25218 25218 24272 0 -1 1077944320 9445 0 0 0 29 3 0 0 20 0 15 0 445455187 15508250624 10270 33554432000 4194304 4196468 140722832717552 140722832700096 140043954024183 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
/proc/25220/statm: 3786194 10270 3311 1 0 3748377 0
[pid=25220/tid=25221] ppid=25218 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/25220/task/25221/stat : 25221 (java) R 25218 25218 24272 0 -1 4202560 6624 0 0 0 17 2 0 0 20 0 15 0 445455188 15508250624 10284 33554432000 4194304 4196468 140722832717552 140043958258656 140043938104670 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25222] ppid=25218 vsize=15144776 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25222/stat : 25222 (java) S 25218 25218 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455188 15508250624 10284 33554432000 4194304 4196468 140722832717552 140043919305360 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25223] ppid=25218 vsize=15144776 memory=288370917888841344 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25223/stat : 25223 (java) S 25218 25218 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455188 15508250624 10284 33554432000 4194304 4196468 140722832717552 140043545848336 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25224] ppid=25218 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25224/stat : 25224 (java) S 25218 25218 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455188 15508250624 10284 33554432000 4194304 4196468 140722832717552 140043544795536 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25225] ppid=25218 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25225/stat : 25225 (java) S 25218 25218 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445455188 15508250624 10284 33554432000 4194304 4196468 140722832717552 140043543742736 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25226] ppid=25218 vsize=15144776 memory=140541737129600 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25226/stat : 25226 (java) S 25218 25218 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445455190 15508250624 10284 33554432000 4194304 4196468 140722832717552 140042827823984 140043954035330 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25227] ppid=25218 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25227/stat : 25227 (java) S 25218 25218 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445455190 15508250624 10284 33554432000 4194304 4196468 140722832717552 140042826769952 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25228] ppid=25218 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25228/stat : 25228 (java) S 25218 25218 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445455190 15508250624 10284 33554432000 4194304 4196468 140722832717552 140042825717104 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25229] ppid=25218 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25229/stat : 25229 (java) S 25218 25218 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445455193 15508250624 10284 33554432000 4194304 4196468 140722832717552 140042824665424 140043954042779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25230] ppid=25218 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25220/task/25230/stat : 25230 (java) S 25218 25218 24272 0 -1 1077944384 540 0 0 0 2 0 0 0 20 0 15 0 445455193 15508250624 10284 33554432000 4194304 4196468 140722832717552 140042823612784 140043954035330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25231] ppid=25218 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/25220/task/25231/stat : 25231 (java) S 25218 25218 24272 0 -1 1077944384 214 0 0 0 2 0 0 0 20 0 15 0 445455193 15508250624 10284 33554432000 4194304 4196468 140722832717552 140042822559984 140043954035330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25232] ppid=25218 vsize=15144776 memory=140541737129600 CPUtime=0.07 cores=0,2,4,6
/proc/25220/task/25232/stat : 25232 (java) S 25218 25218 24272 0 -1 1077944384 767 0 0 0 7 0 0 0 20 0 15 0 445455193 15508250624 10284 33554432000 4194304 4196468 140722832717552 140042821507184 140043954035330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25233] ppid=25218 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25233/stat : 25233 (java) S 25218 25218 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445455193 15508250624 10284 33554432000 4194304 4196468 140722832717552 140042820454624 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25234] ppid=25218 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25234/stat : 25234 (java) S 25218 25218 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455194 15508250624 10284 33554432000 4194304 4196468 140722832717552 140042819402928 140043954035330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42528 KiB

[startup+0.310653 s]*
/proc/loadavg: 7.92 7.96 7.89 11/233 25238
/proc/meminfo: memFree=31259080/32770624 swapFree=66997372/67108860
[pid=25218] ppid=25215 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25218/stat : 25218 (xcsp3-exec) S 25215 25218 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445455187 115843072 362 33554432000 4194304 5098028 140730020651648 140730020649752 140012986847868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24596480 140730020660090 140730020660333 140730020660333 140730020663242 0
/proc/25218/statm: 28282 362 304 221 0 87 0
[pid=25220] ppid=25218 vsize=15149032 memory=47100 CPUtime=0.5 cores=0,2,4,6
/proc/25220/stat : 25220 (java) S 25218 25218 24272 0 -1 1077944320 10646 0 0 0 46 4 0 0 20 0 15 0 445455187 15512608768 11775 33554432000 4194304 4196468 140722832717552 140722832700096 140043954024183 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
/proc/25220/statm: 3787258 11775 3332 1 0 3748377 0
[pid=25220/tid=25221] ppid=25218 vsize=15149032 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/25220/task/25221/stat : 25221 (java) R 25218 25218 24272 0 -1 4202560 7685 0 0 0 26 3 0 0 20 0 15 0 445455188 15512608768 11840 33554432000 4194304 4196468 140722832717552 140043958259280 140043938067813 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25222] ppid=25218 vsize=15149032 memory=9461 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25222/stat : 25222 (java) S 25218 25218 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455188 15512608768 11840 33554432000 4194304 4196468 140722832717552 140043919305360 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25223] ppid=25218 vsize=15149032 memory=288230376155267454 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25223/stat : 25223 (java) S 25218 25218 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455188 15512608768 11840 33554432000 4194304 4196468 140722832717552 140043545848336 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25224] ppid=25218 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25224/stat : 25224 (java) S 25218 25218 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455188 15512608768 11840 33554432000 4194304 4196468 140722832717552 140043544795536 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25225] ppid=25218 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25225/stat : 25225 (java) S 25218 25218 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445455188 15512608768 11840 33554432000 4194304 4196468 140722832717552 140043543742736 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25226] ppid=25218 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25226/stat : 25226 (java) S 25218 25218 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445455190 15512608768 11840 33554432000 4194304 4196468 140722832717552 140042827823984 140043954035330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25227] ppid=25218 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25227/stat : 25227 (java) S 25218 25218 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445455190 15512608768 11840 33554432000 4194304 4196468 140722832717552 140042826769952 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25228] ppid=25218 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25228/stat : 25228 (java) S 25218 25218 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445455190 15512608768 11840 33554432000 4194304 4196468 140722832717552 140042825717104 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25229] ppid=25218 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25229/stat : 25229 (java) S 25218 25218 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445455193 15512608768 11840 33554432000 4194304 4196468 140722832717552 140042824665424 140043954042779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25230] ppid=25218 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/25220/task/25230/stat : 25230 (java) R 25218 25218 24272 0 -1 4202560 582 0 0 0 3 0 0 0 20 0 15 0 445455193 15512608768 11840 33554432000 4194304 4196468 140722832717552 140042823612784 140043947009225 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25231] ppid=25218 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/25220/task/25231/stat : 25231 (java) S 25218 25218 24272 0 -1 1077944384 216 0 0 0 3 0 0 0 20 0 15 0 445455193 15512608768 11840 33554432000 4194304 4196468 140722832717552 140042822559984 140043954035330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25232] ppid=25218 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/25220/task/25232/stat : 25232 (java) R 25218 25218 24272 0 -1 1077944384 860 0 0 0 12 0 0 0 20 0 15 0 445455193 15512608768 11840 33554432000 4194304 4196468 140722832717552 140042821507184 140043954035330 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25233] ppid=25218 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25233/stat : 25233 (java) S 25218 25218 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445455193 15512608768 11840 33554432000 4194304 4196468 140722832717552 140042820454624 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25234] ppid=25218 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25234/stat : 25234 (java) S 25218 25218 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455194 15512608768 11840 33554432000 4194304 4196468 140722832717552 140042819402928 140043954035330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 48548 KiB

[startup+0.700808 s]
/proc/loadavg: 7.92 7.96 7.89 12/233 25238
/proc/meminfo: memFree=31234628/32770624 swapFree=66997372/67108860
[pid=25218] ppid=25215 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25218/stat : 25218 (xcsp3-exec) S 25215 25218 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445455187 115843072 362 33554432000 4194304 5098028 140730020651648 140730020649752 140012986847868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24596480 140730020660090 140730020660333 140730020660333 140730020663242 0
/proc/25218/statm: 28282 362 304 221 0 87 0
[pid=25220] ppid=25218 vsize=15151156 memory=91656 CPUtime=1.76 cores=0,2,4,6
/proc/25220/stat : 25220 (java) S 25218 25218 24272 0 -1 1077944320 15569 0 0 0 170 6 0 0 20 0 15 0 445455187 15514783744 22914 33554432000 4194304 4196468 140722832717552 140722832700096 140043954024183 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
/proc/25220/statm: 3787789 22914 3446 1 0 3748889 0
[pid=25220/tid=25221] ppid=25218 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/25220/task/25221/stat : 25221 (java) R 25218 25218 24272 0 -1 4202560 9335 0 0 0 63 4 0 0 20 0 15 0 445455188 15514783744 22914 33554432000 4194304 4196468 140722832717552 140043958242496 140043933962033 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25222] ppid=25218 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25222/stat : 25222 (java) S 25218 25218 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455188 15514783744 22914 33554432000 4194304 4196468 140722832717552 140043919305360 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25223] ppid=25218 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25223/stat : 25223 (java) S 25218 25218 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455188 15514783744 22914 33554432000 4194304 4196468 140722832717552 140043545848336 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25224] ppid=25218 vsize=15151156 memory=932 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25224/stat : 25224 (java) S 25218 25218 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455188 15514783744 22914 33554432000 4194304 4196468 140722832717552 140043544795536 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25225] ppid=25218 vsize=15151156 memory=3768 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25225/stat : 25225 (java) S 25218 25218 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445455188 15514783744 22914 33554432000 4194304 4196468 140722832717552 140043543742736 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25226] ppid=25218 vsize=15151156 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25226/stat : 25226 (java) S 25218 25218 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445455190 15514783744 22914 33554432000 4194304 4196468 140722832717552 140042827823984 140043954035330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25227] ppid=25218 vsize=15151156 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25227/stat : 25227 (java) S 25218 25218 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445455190 15514783744 22914 33554432000 4194304 4196468 140722832717552 140042826769952 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25228] ppid=25218 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25228/stat : 25228 (java) S 25218 25218 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445455190 15514783744 22914 33554432000 4194304 4196468 140722832717552 140042825717104 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25229] ppid=25218 vsize=15151156 memory=812 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25229/stat : 25229 (java) S 25218 25218 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445455193 15514783744 22914 33554432000 4194304 4196468 140722832717552 140042824665424 140043954042779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25230] ppid=25218 vsize=15151156 memory=1764 CPUtime=0.29 cores=0,2,4,6
/proc/25220/task/25230/stat : 25230 (java) R 25218 25218 24272 0 -1 4202560 1511 0 0 0 29 0 0 0 20 0 15 0 445455193 15514783744 22914 33554432000 4194304 4196468 140722832717552 140042823605808 140043935358945 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25231] ppid=25218 vsize=15151156 memory=111628 CPUtime=0.37 cores=0,2,4,6
/proc/25220/task/25231/stat : 25231 (java) R 25218 25218 24272 0 -1 4202560 1341 0 0 0 37 0 0 0 20 0 15 0 445455193 15514783744 22914 33554432000 4194304 4196468 140722832717552 140042822548976 140043938707176 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25232] ppid=25218 vsize=15151156 memory=796 CPUtime=0.4 cores=0,2,4,6
/proc/25220/task/25232/stat : 25232 (java) R 25218 25218 24272 0 -1 1077944384 2076 0 0 0 40 0 0 0 20 0 15 0 445455193 15514783744 22914 33554432000 4194304 4196468 140722832717552 140042821507312 140043954034389 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25233] ppid=25218 vsize=15151156 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25233/stat : 25233 (java) S 25218 25218 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445455193 15514783744 22914 33554432000 4194304 4196468 140722832717552 140042820454624 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25234] ppid=25218 vsize=15151156 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25234/stat : 25234 (java) S 25218 25218 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455194 15514783744 22914 33554432000 4194304 4196468 140722832717552 140042819402928 140043954035330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 93104 KiB

[startup+1.50523 s]
/proc/loadavg: 7.92 7.96 7.89 10/233 25238
/proc/meminfo: memFree=31159764/32770624 swapFree=66997372/67108860
[pid=25218] ppid=25215 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25218/stat : 25218 (xcsp3-exec) S 25215 25218 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445455187 115843072 362 33554432000 4194304 5098028 140730020651648 140730020649752 140012986847868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24596480 140730020660090 140730020660333 140730020660333 140730020663242 0
/proc/25218/statm: 28282 362 304 221 0 87 0

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

/proc/25220/task/25234/stat : 25234 (java) S 25218 25218 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445455194 15857688576 51372 33554432000 4194304 4196468 140722832717552 140042819402928 140043954035330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
Current children cumulated CPU time: 4.62 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 206936 KiB

[startup+3.11122 s]
/proc/loadavg: 7.92 7.96 7.89 14/237 25266
/proc/meminfo: memFree=31086488/32770624 swapFree=66997372/67108860
[pid=25218] ppid=25215 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25218/stat : 25218 (xcsp3-exec) S 25215 25218 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445455187 115843072 362 33554432000 4194304 5098028 140730020651648 140730020649752 140012986847868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24596480 140730020660090 140730020660333 140730020660333 140730020663242 0
/proc/25218/statm: 28282 362 304 221 0 87 0
[pid=25220] ppid=25218 vsize=15486024 memory=214812 CPUtime=10.99 cores=0,2,4,6
/proc/25220/stat : 25220 (java) S 25218 25218 24272 0 -1 1077944320 27321 0 0 0 1089 10 0 0 20 0 19 0 445455187 15857688576 53703 33554432000 4194304 4196468 140722832717552 140722832700096 140043954024183 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
/proc/25220/statm: 3871506 53703 3534 1 0 3832606 0
[pid=25220/tid=25221] ppid=25218 vsize=15486024 memory=4420 CPUtime=1.15 cores=0,2,4,6
/proc/25220/task/25221/stat : 25221 (java) S 25218 25218 24272 0 -1 1077944384 10966 0 0 0 110 5 0 0 20 0 19 0 445455188 15857688576 53703 33554432000 4194304 4196468 140722832717552 140043958264960 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25222] ppid=25218 vsize=15486024 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25222/stat : 25222 (java) S 25218 25218 24272 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 19 0 445455188 15857688576 53703 33554432000 4194304 4196468 140722832717552 140043919305360 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25223] ppid=25218 vsize=15486024 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25223/stat : 25223 (java) S 25218 25218 24272 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 445455188 15857688576 53703 33554432000 4194304 4196468 140722832717552 140043545848336 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25224] ppid=25218 vsize=15486024 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25224/stat : 25224 (java) S 25218 25218 24272 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 445455188 15857688576 53703 33554432000 4194304 4196468 140722832717552 140043544795536 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25225] ppid=25218 vsize=15486024 memory=26164 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25225/stat : 25225 (java) S 25218 25218 24272 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 19 0 445455188 15857688576 53703 33554432000 4194304 4196468 140722832717552 140043543742736 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25226] ppid=25218 vsize=15486024 memory=12024 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25226/stat : 25226 (java) S 25218 25218 24272 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 19 0 445455190 15857688576 53703 33554432000 4194304 4196468 140722832717552 140042827823984 140043954035330 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25227] ppid=25218 vsize=15486024 memory=500 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25227/stat : 25227 (java) S 25218 25218 24272 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 445455190 15857688576 53703 33554432000 4194304 4196468 140722832717552 140042826769952 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25228] ppid=25218 vsize=15486024 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25228/stat : 25228 (java) S 25218 25218 24272 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 445455190 15857688576 53703 33554432000 4194304 4196468 140722832717552 140042825717104 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25229] ppid=25218 vsize=15486024 memory=281083195585088 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25229/stat : 25229 (java) S 25218 25218 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445455193 15857688576 53703 33554432000 4194304 4196468 140722832717552 140042824665424 140043954042779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25230] ppid=25218 vsize=15486024 memory=0 CPUtime=2.09 cores=0,2,4,6
/proc/25220/task/25230/stat : 25230 (java) R 25218 25218 24272 0 -1 4202560 4646 0 0 0 208 1 0 0 20 0 19 0 445455193 15857688576 53703 33554432000 4194304 4196468 140722832717552 140042823613080 140043937492098 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25231] ppid=25218 vsize=15486024 memory=140541597797024 CPUtime=2.27 cores=0,2,4,6
/proc/25220/task/25231/stat : 25231 (java) R 25218 25218 24272 0 -1 4202560 4802 0 0 0 227 0 0 0 20 0 19 0 445455193 15857688576 53703 33554432000 4194304 4196468 140722832717552 140042822560280 140043933262656 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25232] ppid=25218 vsize=15486024 memory=0 CPUtime=0.88 cores=0,2,4,6
/proc/25220/task/25232/stat : 25232 (java) S 25218 25218 24272 0 -1 1077944384 4124 0 0 0 88 0 0 0 20 0 19 0 445455193 15857688576 53703 33554432000 4194304 4196468 140722832717552 140042821507184 140043954035330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25233] ppid=25218 vsize=15486024 memory=288230377091498274 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25233/stat : 25233 (java) S 25218 25218 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445455193 15857688576 53703 33554432000 4194304 4196468 140722832717552 140042820454624 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25234] ppid=25218 vsize=15486024 memory=14981061499160105 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25234/stat : 25234 (java) S 25218 25218 24272 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 445455194 15857688576 53703 33554432000 4194304 4196468 140722832717552 140042819402928 140043954035330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25263] ppid=25218 vsize=15486024 memory=0 CPUtime=0.85 cores=0,2,4,6
/proc/25220/task/25263/stat : 25263 (java) R 25218 25218 24272 0 -1 4202560 59 0 0 0 85 0 0 0 20 0 19 0 445455364 15857688576 53703 33554432000 4194304 4196468 140722832717552 140042807271192 140043954036118 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25264] ppid=25218 vsize=15486024 memory=197 CPUtime=0.71 cores=0,2,4,6
/proc/25220/task/25264/stat : 25264 (java) R 25218 25218 24272 0 -1 4202560 110 0 0 0 71 0 0 0 20 0 19 0 445455364 15857688576 53703 33554432000 4194304 4196468 140722832717552 140042804113640 140043599698310 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25265] ppid=25218 vsize=15486024 memory=84 CPUtime=0.81 cores=0,2,4,6
/proc/25220/task/25265/stat : 25265 (java) R 25218 25218 24272 0 -1 4202560 219 0 0 0 81 0 0 0 20 0 19 0 445455364 15857688576 53703 33554432000 4194304 4196468 140722832717552 140042805166536 140043598665248 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25266] ppid=25218 vsize=15486024 memory=0 CPUtime=1.05 cores=0,2,4,6
/proc/25220/task/25266/stat : 25266 (java) R 25218 25218 24272 0 -1 4202560 158 0 0 0 105 0 0 0 20 0 19 0 445455364 15857688576 53703 33554432000 4194304 4196468 140722832717552 140042808323856 140043598956291 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
Current children cumulated CPU time: 10.99 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 216260 KiB

[startup+6.30089 s]
/proc/loadavg: 8.00 7.98 7.90 11/237 25274
/proc/meminfo: memFree=31052152/32770624 swapFree=66997372/67108860
[pid=25218] ppid=25215 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25218/stat : 25218 (xcsp3-exec) S 25215 25218 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445455187 115843072 362 33554432000 4194304 5098028 140730020651648 140730020649752 140012986847868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24596480 140730020660090 140730020660333 140730020660333 140730020663242 0
/proc/25218/statm: 28282 362 304 221 0 87 0
[pid=25220] ppid=25218 vsize=15486024 memory=230140 CPUtime=23.67 cores=0,2,4,6
/proc/25220/stat : 25220 (java) S 25218 25218 24272 0 -1 1077944320 29189 0 0 0 2354 13 0 0 20 0 19 0 445455187 15857688576 57535 33554432000 4194304 4196468 140722832717552 140722832700096 140043954024183 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
/proc/25220/statm: 3871506 57535 3537 1 0 3832606 0
[pid=25220/tid=25221] ppid=25218 vsize=15486024 memory=0 CPUtime=1.15 cores=0,2,4,6
/proc/25220/task/25221/stat : 25221 (java) S 25218 25218 24272 0 -1 1077944384 10966 0 0 0 110 5 0 0 20 0 19 0 445455188 15857688576 57535 33554432000 4194304 4196468 140722832717552 140043958264960 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25222] ppid=25218 vsize=15486024 memory=281083195645424 CPUtime=0.01 cores=0,2,4,6
/proc/25220/task/25222/stat : 25222 (java) S 25218 25218 24272 0 -1 1077944384 396 0 0 0 1 0 0 0 20 0 19 0 445455188 15857688576 57535 33554432000 4194304 4196468 140722832717552 140043919305360 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25223] ppid=25218 vsize=15486024 memory=7012776848340248170 CPUtime=0.01 cores=0,2,4,6
/proc/25220/task/25223/stat : 25223 (java) S 25218 25218 24272 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 19 0 445455188 15857688576 57535 33554432000 4194304 4196468 140722832717552 140043545848336 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25224] ppid=25218 vsize=15486024 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25220/task/25224/stat : 25224 (java) S 25218 25218 24272 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 19 0 445455188 15857688576 57535 33554432000 4194304 4196468 140722832717552 140043544795536 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25225] ppid=25218 vsize=15486024 memory=1448 CPUtime=0.02 cores=0,2,4,6
/proc/25220/task/25225/stat : 25225 (java) S 25218 25218 24272 0 -1 1077944384 150 0 0 0 1 1 0 0 20 0 19 0 445455188 15857688576 57535 33554432000 4194304 4196468 140722832717552 140043543742736 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25226] ppid=25218 vsize=15486024 memory=213308 CPUtime=0.01 cores=0,2,4,6
/proc/25220/task/25226/stat : 25226 (java) S 25218 25218 24272 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 19 0 445455190 15857688576 57535 33554432000 4194304 4196468 140722832717552 140042827823984 140043954035330 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25227] ppid=25218 vsize=15486024 memory=-6586668835053300882 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25227/stat : 25227 (java) S 25218 25218 24272 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 445455190 15857688576 57535 33554432000 4194304 4196468 140722832717552 140042826770016 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25228] ppid=25218 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25228/stat : 25228 (java) S 25218 25218 24272 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 445455190 15857688576 57535 33554432000 4194304 4196468 140722832717552 140042825717120 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25229] ppid=25218 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25229/stat : 25229 (java) S 25218 25218 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445455193 15857688576 57535 33554432000 4194304 4196468 140722832717552 140042824665424 140043954042779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25230] ppid=25218 vsize=15486024 memory=3545097087039044818 CPUtime=2.45 cores=0,2,4,6
/proc/25220/task/25230/stat : 25230 (java) S 25218 25218 24272 0 -1 1077944384 4972 0 0 0 244 1 0 0 20 0 19 0 445455193 15857688576 57535 33554432000 4194304 4196468 140722832717552 140042823612784 140043954035330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 48 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25231] ppid=25218 vsize=15486024 memory=1448 CPUtime=2.64 cores=0,2,4,6
/proc/25220/task/25231/stat : 25231 (java) S 25218 25218 24272 0 -1 1077944384 5307 0 0 0 264 0 0 0 20 0 19 0 445455193 15857688576 57535 33554432000 4194304 4196468 140722832717552 140042822559984 140043954035330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25232] ppid=25218 vsize=15486024 memory=230020 CPUtime=0.92 cores=0,2,4,6
/proc/25220/task/25232/stat : 25232 (java) S 25218 25218 24272 0 -1 1077944384 4458 0 0 0 92 0 0 0 20 0 19 0 445455193 15857688576 57535 33554432000 4194304 4196468 140722832717552 140042821507184 140043954035330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 47 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25233] ppid=25218 vsize=15486024 memory=10 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25233/stat : 25233 (java) S 25218 25218 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445455193 15857688576 57535 33554432000 4194304 4196468 140722832717552 140042820454624 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25234] ppid=25218 vsize=15486024 memory=662363397873291346 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25234/stat : 25234 (java) S 25218 25218 24272 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 19 0 445455194 15857688576 57535 33554432000 4194304 4196468 140722832717552 140042819402928 140043954035330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25263] ppid=25218 vsize=15486024 memory=11201815131446 CPUtime=3.92 cores=0,2,4,6
/proc/25220/task/25263/stat : 25263 (java) R 25218 25218 24272 0 -1 4202560 69 0 0 0 392 0 0 0 20 0 19 0 445455364 15857688576 57535 33554432000 4194304 4196468 140722832717552 140042807270480 140043598667743 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25264] ppid=25218 vsize=15486024 memory=1448 CPUtime=3.73 cores=0,2,4,6
/proc/25220/task/25264/stat : 25264 (java) R 25218 25218 24272 0 -1 4202560 169 0 0 0 373 0 0 0 20 0 19 0 445455364 15857688576 57535 33554432000 4194304 4196468 140722832717552 140042804113688 140043598953420 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25265] ppid=25218 vsize=15486024 memory=230140 CPUtime=3.58 cores=0,2,4,6
/proc/25220/task/25265/stat : 25265 (java) R 25218 25218 24272 0 -1 4202560 222 0 0 0 358 0 0 0 20 0 19 0 445455364 15857688576 57535 33554432000 4194304 4196468 140722832717552 140042805166232 140043598666369 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25266] ppid=25218 vsize=15486024 memory=12024 CPUtime=4.03 cores=0,2,4,6
/proc/25220/task/25266/stat : 25266 (java) R 25218 25218 24272 0 -1 4202560 181 0 0 0 403 0 0 0 20 0 19 0 445455364 15857688576 57535 33554432000 4194304 4196468 140722832717552 140042808324536 140043598954279 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
Current children cumulated CPU time: 23.67 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 231588 KiB

[startup+6.45758 s]
# the end of solver process 25218 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=24.1456 s, system=0.140059 s

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

[startup+6.40423 s]
/proc/loadavg: 8.00 7.98 7.90 11/237 25274
/proc/meminfo: memFree=31052152/32770624 swapFree=66997372/67108860
[pid=25218] ppid=25215 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/25218/stat : 25218 (xcsp3-exec) S 25215 25218 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445455187 115843072 362 33554432000 4194304 5098028 140730020651648 140730020649752 140012986847868 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24596480 140730020660090 140730020660333 140730020660333 140730020663242 0
/proc/25218/statm: 28282 362 304 221 0 87 0
[pid=25220] ppid=25218 vsize=15486024 memory=230140 CPUtime=24.09 cores=0,2,4,6
/proc/25220/stat : 25220 (java) S 25218 25218 24272 0 -1 1077944320 29189 0 0 0 2396 13 0 0 20 0 19 0 445455187 15857688576 57535 33554432000 4194304 4196468 140722832717552 140722832700096 140043954024183 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
/proc/25220/statm: 3871506 57535 3537 1 0 3832606 0
[pid=25220/tid=25221] ppid=25218 vsize=15486024 memory=932 CPUtime=1.15 cores=0,2,4,6
/proc/25220/task/25221/stat : 25221 (java) S 25218 25218 24272 0 -1 1077944384 10966 0 0 0 110 5 0 0 20 0 19 0 445455188 15857688576 57535 33554432000 4194304 4196468 140722832717552 140043958264960 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25222] ppid=25218 vsize=15486024 memory=3768 CPUtime=0.01 cores=0,2,4,6
/proc/25220/task/25222/stat : 25222 (java) S 25218 25218 24272 0 -1 1077944384 396 0 0 0 1 0 0 0 20 0 19 0 445455188 15857688576 57535 33554432000 4194304 4196468 140722832717552 140043919305360 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25223] ppid=25218 vsize=15486024 memory=1980 CPUtime=0.01 cores=0,2,4,6
/proc/25220/task/25223/stat : 25223 (java) S 25218 25218 24272 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 19 0 445455188 15857688576 57535 33554432000 4194304 4196468 140722832717552 140043545848336 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25224] ppid=25218 vsize=15486024 memory=281083195306896 CPUtime=0.01 cores=0,2,4,6
/proc/25220/task/25224/stat : 25224 (java) S 25218 25218 24272 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 19 0 445455188 15857688576 57535 33554432000 4194304 4196468 140722832717552 140043544795536 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25225] ppid=25218 vsize=15486024 memory=6944656592455359580 CPUtime=0.02 cores=0,2,4,6
/proc/25220/task/25225/stat : 25225 (java) S 25218 25218 24272 0 -1 1077944384 150 0 0 0 1 1 0 0 20 0 19 0 445455188 15857688576 57535 33554432000 4194304 4196468 140722832717552 140043543742736 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25226] ppid=25218 vsize=15486024 memory=6656426216303648864 CPUtime=0.01 cores=0,2,4,6
/proc/25220/task/25226/stat : 25226 (java) S 25218 25218 24272 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 19 0 445455190 15857688576 57535 33554432000 4194304 4196468 140722832717552 140042827823984 140043954035330 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25227] ppid=25218 vsize=15486024 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25227/stat : 25227 (java) S 25218 25218 24272 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 445455190 15857688576 57535 33554432000 4194304 4196468 140722832717552 140042826770016 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25228] ppid=25218 vsize=15486024 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25228/stat : 25228 (java) S 25218 25218 24272 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 445455190 15857688576 57535 33554432000 4194304 4196468 140722832717552 140042825717120 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25229] ppid=25218 vsize=15486024 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25229/stat : 25229 (java) S 25218 25218 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445455193 15857688576 57535 33554432000 4194304 4196468 140722832717552 140042824665424 140043954042779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25230] ppid=25218 vsize=15486024 memory=-8412654363884091034 CPUtime=2.45 cores=0,2,4,6
/proc/25220/task/25230/stat : 25230 (java) S 25218 25218 24272 0 -1 1077944384 4972 0 0 0 244 1 0 0 20 0 19 0 445455193 15857688576 57535 33554432000 4194304 4196468 140722832717552 140042823612784 140043954035330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 48 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25231] ppid=25218 vsize=15486024 memory=-2915668813050402206 CPUtime=2.64 cores=0,2,4,6
/proc/25220/task/25231/stat : 25231 (java) S 25218 25218 24272 0 -1 1077944384 5307 0 0 0 264 0 0 0 20 0 19 0 445455193 15857688576 57535 33554432000 4194304 4196468 140722832717552 140042822559984 140043954035330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25232] ppid=25218 vsize=15486024 memory=-6092760743147454613 CPUtime=0.92 cores=0,2,4,6
/proc/25220/task/25232/stat : 25232 (java) S 25218 25218 24272 0 -1 1077944384 4458 0 0 0 92 0 0 0 20 0 19 0 445455193 15857688576 57535 33554432000 4194304 4196468 140722832717552 140042821507184 140043954035330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 47 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25233] ppid=25218 vsize=15486024 memory=-8528505486530409664 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25233/stat : 25233 (java) S 25218 25218 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445455193 15857688576 57535 33554432000 4194304 4196468 140722832717552 140042820454624 140043954034389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25234] ppid=25218 vsize=15486024 memory=-8545980981788235817 CPUtime=0 cores=0,2,4,6
/proc/25220/task/25234/stat : 25234 (java) S 25218 25218 24272 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 19 0 445455194 15857688576 57535 33554432000 4194304 4196468 140722832717552 140042819402928 140043954035330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25263] ppid=25218 vsize=15486024 memory=103172 CPUtime=4.02 cores=0,2,4,6
/proc/25220/task/25263/stat : 25263 (java) R 25218 25218 24272 0 -1 4202560 69 0 0 0 402 0 0 0 20 0 19 0 445455364 15857688576 57535 33554432000 4194304 4196468 140722832717552 140042807270480 140043598954414 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25264] ppid=25218 vsize=15486024 memory=0 CPUtime=3.83 cores=0,2,4,6
/proc/25220/task/25264/stat : 25264 (java) R 25218 25218 24272 0 -1 4202560 169 0 0 0 383 0 0 0 20 0 19 0 445455364 15857688576 57535 33554432000 4194304 4196468 140722832717552 140042804113688 140043598954152 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25265] ppid=25218 vsize=15486024 memory=281083195516352 CPUtime=3.68 cores=0,2,4,6
/proc/25220/task/25265/stat : 25265 (java) R 25218 25218 24272 0 -1 4202560 222 0 0 0 368 0 0 0 20 0 19 0 445455364 15857688576 57535 33554432000 4194304 4196468 140722832717552 140042805166232 140043598666603 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
[pid=25220/tid=25266] ppid=25218 vsize=15486024 memory=0 CPUtime=4.14 cores=0,2,4,6
/proc/25220/task/25266/stat : 25266 (java) R 25218 25218 24272 0 -1 4202560 181 0 0 0 414 0 0 0 20 0 19 0 445455364 15857688576 57535 33554432000 4194304 4196468 140722832717552 140042808324536 140043598953994 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11603968 140722832720879 140722832721050 140722832721050 140722832723919 0
Current children cumulated CPU time: 24.09 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 231588 KiB

Child status: 0
Real time (s): 6.45764
CPU time (s): 24.2857
CPU user time (s): 24.1456
CPU system time (s): 0.140059
CPU usage (%): 376.077
Max. virtual memory (cumulated for all children) (KiB): 15599152
Max. memory (cumulated for all children) (KiB): 231588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.1456
system time used= 0.140059
maximum resident set size= 230456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29877
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= 2649
involuntary context switches= 907


# summary of solver processes directly reported to runsolver:
#   pid: 25218
#   total CPU time (s): 24.2857
#   total CPU user time (s): 24.1456
#   total CPU system time (s): 0.140059

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.053626 second user time and 0.125035 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	24.2857
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 4400414

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