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-24	OPT	10	33.2354	27.4757

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406414-1569399062.xml"  -tl '2400s' -p 1
0.13/0.17	c Choco e747e1e
0.13/0.18	c [HOME/instance-4406414-1569399062.xml, -tl, 2400s, -p, 1]
0.13/0.22	c simple solver
0.34/0.28	c parse instance...
2.13/0.81	c solve instance...
3.45/1.20	o 12 
7.66/2.76	o 11 
8.26/3.27	o 10 
33.16/27.45	s OPTIMUM FOUND
33.16/27.45	v <instantiation>
33.16/27.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>
33.16/27.45	v 	<values>0 12 14 9 10 5 3 2 6 8 13 11 1 4 7 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 1 1 1 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 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 0 0 0 1 2 2 2 2 2 0 0 0 0 0 0 1 1 1 1 1 2 2 2 2 0 0 0 0 0 0 0 0 1 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 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 2 2 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 1 2 2 2 0 1 1 1 2 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 0 1 2 2 2 2 2 2 2 0 0 0 1 1 1 2 2 2 2 2 2 2 2 2 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 0 0 1 1 1 1 1 1 2 2 2 2 2 2 2 0 0 0 1 1 1 1 1 1 1 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 1 1 1 1 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 0 1 2 2 2 2 2 2 2 2 0 1 1 1 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 1 1 1 1 1 1 2 0 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 0 1 0 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 0 0 0 0 1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 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 1 1 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 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 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 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 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 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 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 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 0 0 1 1 0 0 0 0 0 0 0 0 1 1 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 0 0 1 0 0 0 0 0 0 1 0 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 1 1 0 0 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 1 1 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 0 0 1 1 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 1 1 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 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 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 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 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 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 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 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 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 0 0 1 1 0 0 0 0 0 0 0 0 1 1 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 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 4 8 9 9 10 10 10 10 10 10 9 8 7 6 4 </values>
33.16/27.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 (14155 MiB free)
  memory of node 1: 16384 MiB (13389 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406414-1569399062/watcher-4406414-1569399062 -o /var/tmp/evaluation-result-4406414-1569399062/solver-4406414-1569399062 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1569392946-4664 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1860271512 HOME/instance-4406414-1569399062.xml 

running on 4 cores: 1,3,5,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
Current StackSize limit: 8192 KiB
solver pid=5872, runsolver pid=5869


[startup+0.101554 s]*
/proc/loadavg: 1.80 1.82 1.64 3/228 5888
/proc/meminfo: memFree=28190880/32770624 swapFree=66954216/67108860
[pid=5872] ppid=5869 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5872/stat : 5872 (xcsp3-exec) S 5869 5872 4632 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516161474 115843072 364 33554432000 4194304 5098028 140721230648784 140721230646888 140315603419772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9682944 140721230656342 140721230656601 140721230656601 140721230659526 0
/proc/5872/statm: 28282 364 305 221 0 87 0
[pid=5874] ppid=5872 vsize=15144776 memory=28700 CPUtime=0.13 cores=1,3,5,7
/proc/5874/stat : 5874 (java) S 5872 5872 4632 0 -1 1077944320 5650 0 0 0 12 1 0 0 20 0 15 0 516161474 15508250624 7175 33554432000 4194304 4196468 140726861443216 140726861425760 140587288448759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
/proc/5874/statm: 3786194 7175 3147 1 0 3748377 0
[pid=5874/tid=5875] ppid=5872 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/5874/task/5875/stat : 5875 (java) R 5872 5872 4632 0 -1 4202560 3562 0 0 0 9 0 0 0 20 0 15 0 516161474 15508250624 7175 33554432000 4194304 4196468 140726861443216 140587292679760 140586912961354 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5876] ppid=5872 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5876/stat : 5876 (java) S 5872 5872 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516161475 15508250624 7175 33554432000 4194304 4196468 140726861443216 140587241069456 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5877] ppid=5872 vsize=15144776 memory=140499881820619 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5877/stat : 5877 (java) S 5872 5872 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516161475 15508250624 7175 33554432000 4194304 4196468 140726861443216 140587240016656 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5878] ppid=5872 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5878/stat : 5878 (java) S 5872 5872 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516161475 15508250624 7175 33554432000 4194304 4196468 140726861443216 140587238964368 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5879] ppid=5872 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5879/stat : 5879 (java) S 5872 5872 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516161475 15508250624 7175 33554432000 4194304 4196468 140726861443216 140587237911568 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5880] ppid=5872 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5880/stat : 5880 (java) S 5872 5872 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516161476 15508250624 7175 33554432000 4194304 4196468 140726861443216 140586162034800 140587288459906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5881] ppid=5872 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5881/stat : 5881 (java) S 5872 5872 4632 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516161477 15508250624 7175 33554432000 4194304 4196468 140726861443216 140586160980768 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5882] ppid=5872 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5882/stat : 5882 (java) S 5872 5872 4632 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516161477 15508250624 7175 33554432000 4194304 4196468 140726861443216 140586159928432 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5883] ppid=5872 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5883/stat : 5883 (java) S 5872 5872 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516161479 15508250624 7175 33554432000 4194304 4196468 140726861443216 140585850460240 140587288467355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5884] ppid=5872 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5884/stat : 5884 (java) R 5872 5872 4632 0 -1 1077944384 342 0 0 0 0 0 0 0 20 0 15 0 516161479 15508250624 7175 33554432000 4194304 4196468 140726861443216 140585849408208 140587288458965 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5885] ppid=5872 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5885/stat : 5885 (java) R 5872 5872 4632 0 -1 4202560 123 0 0 0 0 0 0 0 20 0 15 0 516161479 15508250624 7175 33554432000 4194304 4196468 140726861443216 140585848346848 140587268300886 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5886] ppid=5872 vsize=15144776 memory=140499878213248 CPUtime=0.02 cores=1,3,5,7
/proc/5874/task/5886/stat : 5886 (java) R 5872 5872 4632 0 -1 4202560 323 0 0 0 2 0 0 0 20 0 15 0 516161479 15508250624 7175 33554432000 4194304 4196468 140726861443216 140585847303024 140587272529246 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5887] ppid=5872 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5887/stat : 5887 (java) S 5872 5872 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516161479 15508250624 7175 33554432000 4194304 4196468 140726861443216 140585846250464 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5888] ppid=5872 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5888/stat : 5888 (java) R 5872 5872 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516161480 15508250624 7175 33554432000 4194304 4196468 140726861443216 140585845197232 140587288459906 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30156 KiB

[startup+0.210851 s]*
/proc/loadavg: 1.80 1.82 1.64 4/228 5888
/proc/meminfo: memFree=28176636/32770624 swapFree=66954216/67108860
[pid=5872] ppid=5869 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5872/stat : 5872 (xcsp3-exec) S 5869 5872 4632 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516161474 115843072 364 33554432000 4194304 5098028 140721230648784 140721230646888 140315603419772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9682944 140721230656342 140721230656601 140721230656601 140721230659526 0
/proc/5872/statm: 28282 364 305 221 0 87 0
[pid=5874] ppid=5872 vsize=15144776 memory=40932 CPUtime=0.34 cores=1,3,5,7
/proc/5874/stat : 5874 (java) S 5872 5872 4632 0 -1 1077944320 9489 0 0 0 31 3 0 0 20 0 15 0 516161474 15508250624 10233 33554432000 4194304 4196468 140726861443216 140726861425760 140587288448759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
/proc/5874/statm: 3786194 10233 3303 1 0 3748377 0
[pid=5874/tid=5875] ppid=5872 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/5874/task/5875/stat : 5875 (java) R 5872 5872 4632 0 -1 4202560 6609 0 0 0 18 2 0 0 20 0 15 0 516161474 15508250624 10233 33554432000 4194304 4196468 140726861443216 140587292683744 140587288460694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5876] ppid=5872 vsize=15144776 memory=10594 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5876/stat : 5876 (java) S 5872 5872 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516161475 15508250624 10233 33554432000 4194304 4196468 140726861443216 140587241069456 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5877] ppid=5872 vsize=15144776 memory=3833604524134168224 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5877/stat : 5877 (java) S 5872 5872 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516161475 15508250624 10233 33554432000 4194304 4196468 140726861443216 140587240016656 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5878] ppid=5872 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5878/stat : 5878 (java) S 5872 5872 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516161475 15508250624 10233 33554432000 4194304 4196468 140726861443216 140587238964368 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5879] ppid=5872 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5879/stat : 5879 (java) S 5872 5872 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516161475 15508250624 10233 33554432000 4194304 4196468 140726861443216 140587237911568 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5880] ppid=5872 vsize=15144776 memory=140499878213248 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5880/stat : 5880 (java) S 5872 5872 4632 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516161476 15508250624 10233 33554432000 4194304 4196468 140726861443216 140586162034800 140587288459906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5881] ppid=5872 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5881/stat : 5881 (java) S 5872 5872 4632 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516161477 15508250624 10233 33554432000 4194304 4196468 140726861443216 140586160980768 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5882] ppid=5872 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5882/stat : 5882 (java) S 5872 5872 4632 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516161477 15508250624 10233 33554432000 4194304 4196468 140726861443216 140586159928432 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5883] ppid=5872 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5883/stat : 5883 (java) S 5872 5872 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516161479 15508250624 10233 33554432000 4194304 4196468 140726861443216 140585850460240 140587288467355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5884] ppid=5872 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5874/task/5884/stat : 5884 (java) S 5872 5872 4632 0 -1 1077944384 438 0 0 0 2 0 0 0 20 0 15 0 516161479 15508250624 10233 33554432000 4194304 4196468 140726861443216 140585849408112 140587288459906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5885] ppid=5872 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5874/task/5885/stat : 5885 (java) S 5872 5872 4632 0 -1 1077944384 355 0 0 0 2 0 0 0 20 0 15 0 516161479 15508250624 10233 33554432000 4194304 4196468 140726861443216 140585848355312 140587288459906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5886] ppid=5872 vsize=15144776 memory=140499878213248 CPUtime=0.08 cores=1,3,5,7
/proc/5874/task/5886/stat : 5886 (java) R 5872 5872 4632 0 -1 4202560 791 0 0 0 8 0 0 0 20 0 15 0 516161479 15508250624 10233 33554432000 4194304 4196468 140726861443216 140585847303024 140587288470106 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5887] ppid=5872 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5887/stat : 5887 (java) S 5872 5872 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516161479 15508250624 10233 33554432000 4194304 4196468 140726861443216 140585846250464 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5888] ppid=5872 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5888/stat : 5888 (java) S 5872 5872 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516161480 15508250624 10233 33554432000 4194304 4196468 140726861443216 140585845197232 140587288459906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42388 KiB

[startup+0.318664 s]*
/proc/loadavg: 1.80 1.82 1.64 3/228 5888
/proc/meminfo: memFree=28169228/32770624 swapFree=66954216/67108860
[pid=5872] ppid=5869 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5872/stat : 5872 (xcsp3-exec) S 5869 5872 4632 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516161474 115843072 364 33554432000 4194304 5098028 140721230648784 140721230646888 140315603419772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9682944 140721230656342 140721230656601 140721230656601 140721230659526 0
/proc/5872/statm: 28282 364 305 221 0 87 0
[pid=5874] ppid=5872 vsize=15149032 memory=50312 CPUtime=0.55 cores=1,3,5,7
/proc/5874/stat : 5874 (java) S 5872 5872 4632 0 -1 1077944320 10969 0 0 0 51 4 0 0 20 0 15 0 516161474 15512608768 12578 33554432000 4194304 4196468 140726861443216 140726861425760 140587288448759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
/proc/5874/statm: 3787258 12578 3355 1 0 3748377 0
[pid=5874/tid=5875] ppid=5872 vsize=15149032 memory=8317482817917895235 CPUtime=0.31 cores=1,3,5,7
/proc/5874/task/5875/stat : 5875 (java) R 5872 5872 4632 0 -1 4202560 7910 0 0 0 28 3 0 0 20 0 15 0 516161474 15512608768 12578 33554432000 4194304 4196468 140726861443216 140587292678720 140587272529246 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5876] ppid=5872 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5876/stat : 5876 (java) S 5872 5872 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516161475 15512608768 12578 33554432000 4194304 4196468 140726861443216 140587241069456 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5877] ppid=5872 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5877/stat : 5877 (java) S 5872 5872 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516161475 15512608768 12578 33554432000 4194304 4196468 140726861443216 140587240016656 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5878] ppid=5872 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5878/stat : 5878 (java) S 5872 5872 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516161475 15512608768 12578 33554432000 4194304 4196468 140726861443216 140587238964368 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5879] ppid=5872 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5879/stat : 5879 (java) S 5872 5872 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516161475 15512608768 12578 33554432000 4194304 4196468 140726861443216 140587237911568 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5880] ppid=5872 vsize=15149032 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5880/stat : 5880 (java) S 5872 5872 4632 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516161476 15512608768 12578 33554432000 4194304 4196468 140726861443216 140586162034800 140587288459906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5881] ppid=5872 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5881/stat : 5881 (java) S 5872 5872 4632 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516161477 15512608768 12578 33554432000 4194304 4196468 140726861443216 140586160980768 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5882] ppid=5872 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5882/stat : 5882 (java) S 5872 5872 4632 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516161477 15512608768 12578 33554432000 4194304 4196468 140726861443216 140586159928432 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5883] ppid=5872 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5883/stat : 5883 (java) S 5872 5872 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516161479 15512608768 12578 33554432000 4194304 4196468 140726861443216 140585850460240 140587288467355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5884] ppid=5872 vsize=15149032 memory=-8412656567168561567 CPUtime=0.04 cores=1,3,5,7
/proc/5874/task/5884/stat : 5884 (java) S 5872 5872 4632 0 -1 1077944384 453 0 0 0 4 0 0 0 20 0 15 0 516161479 15512608768 12578 33554432000 4194304 4196468 140726861443216 140585849408112 140587288459906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5885] ppid=5872 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/5874/task/5885/stat : 5885 (java) S 5872 5872 4632 0 -1 1077944384 448 0 0 0 5 0 0 0 20 0 15 0 516161479 15512608768 12578 33554432000 4194304 4196468 140726861443216 140585848355312 140587288459906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5886] ppid=5872 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5874/task/5886/stat : 5886 (java) S 5872 5872 4632 0 -1 1077944384 866 0 0 0 12 0 0 0 20 0 15 0 516161479 15512608768 12578 33554432000 4194304 4196468 140726861443216 140585847303024 140587288459906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5887] ppid=5872 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5887/stat : 5887 (java) S 5872 5872 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516161479 15512608768 12578 33554432000 4194304 4196468 140726861443216 140585846250464 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5888] ppid=5872 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5888/stat : 5888 (java) S 5872 5872 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516161480 15512608768 12578 33554432000 4194304 4196468 140726861443216 140585845197232 140587288459906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51768 KiB

[startup+0.701048 s]
/proc/loadavg: 1.80 1.82 1.64 6/228 5888
/proc/meminfo: memFree=28146156/32770624 swapFree=66954216/67108860
[pid=5872] ppid=5869 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5872/stat : 5872 (xcsp3-exec) S 5869 5872 4632 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516161474 115843072 364 33554432000 4194304 5098028 140721230648784 140721230646888 140315603419772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9682944 140721230656342 140721230656601 140721230656601 140721230659526 0
/proc/5872/statm: 28282 364 305 221 0 87 0
[pid=5874] ppid=5872 vsize=15151156 memory=89412 CPUtime=1.79 cores=1,3,5,7
/proc/5874/stat : 5874 (java) S 5872 5872 4632 0 -1 1077944320 15054 0 0 0 173 6 0 0 20 0 15 0 516161474 15514783744 22353 33554432000 4194304 4196468 140726861443216 140726861425760 140587288448759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
/proc/5874/statm: 3787789 22353 3460 1 0 3748889 0
[pid=5874/tid=5875] ppid=5872 vsize=15151156 memory=-3704326594973231466 CPUtime=0.68 cores=1,3,5,7
/proc/5874/task/5875/stat : 5875 (java) R 5872 5872 4632 0 -1 4202560 9209 0 0 0 64 4 0 0 20 0 15 0 516161474 15514783744 22353 33554432000 4194304 4196468 140726861443216 140587292684912 140587288460694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5876] ppid=5872 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5876/stat : 5876 (java) S 5872 5872 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516161475 15514783744 22353 33554432000 4194304 4196468 140726861443216 140587241069456 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5877] ppid=5872 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5877/stat : 5877 (java) S 5872 5872 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516161475 15514783744 22353 33554432000 4194304 4196468 140726861443216 140587240016656 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5878] ppid=5872 vsize=15151156 memory=708 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5878/stat : 5878 (java) S 5872 5872 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516161475 15514783744 22353 33554432000 4194304 4196468 140726861443216 140587238964368 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5879] ppid=5872 vsize=15151156 memory=9364 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5879/stat : 5879 (java) S 5872 5872 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516161475 15514783744 22353 33554432000 4194304 4196468 140726861443216 140587237911568 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5880] ppid=5872 vsize=15151156 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5880/stat : 5880 (java) S 5872 5872 4632 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516161476 15514783744 22353 33554432000 4194304 4196468 140726861443216 140586162034800 140587288459906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5881] ppid=5872 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5881/stat : 5881 (java) S 5872 5872 4632 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516161477 15514783744 22353 33554432000 4194304 4196468 140726861443216 140586160980768 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5882] ppid=5872 vsize=15151156 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5882/stat : 5882 (java) S 5872 5872 4632 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516161477 15514783744 22353 33554432000 4194304 4196468 140726861443216 140586159928432 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5883] ppid=5872 vsize=15151156 memory=8220 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5883/stat : 5883 (java) S 5872 5872 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516161479 15514783744 22353 33554432000 4194304 4196468 140726861443216 140585850460240 140587288467355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5884] ppid=5872 vsize=15151156 memory=3616 CPUtime=0.29 cores=1,3,5,7
/proc/5874/task/5884/stat : 5884 (java) R 5872 5872 4632 0 -1 4202560 1011 0 0 0 29 0 0 0 20 0 15 0 516161479 15514783744 22353 33554432000 4194304 4196468 140726861443216 140585849408112 140587288460694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5885] ppid=5872 vsize=15151156 memory=1556 CPUtime=0.36 cores=1,3,5,7
/proc/5874/task/5885/stat : 5885 (java) R 5872 5872 4632 0 -1 1077944384 1233 0 0 0 36 0 0 0 20 0 15 0 516161479 15514783744 22353 33554432000 4194304 4196468 140726861443216 140585848355312 140587288459906 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5886] ppid=5872 vsize=15151156 memory=2832 CPUtime=0.42 cores=1,3,5,7
/proc/5874/task/5886/stat : 5886 (java) R 5872 5872 4632 0 -1 4202560 2292 0 0 0 42 0 0 0 20 0 15 0 516161479 15514783744 22353 33554432000 4194304 4196468 140726861443216 140585847297616 140587267075989 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5887] ppid=5872 vsize=15151156 memory=984 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5887/stat : 5887 (java) S 5872 5872 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516161479 15514783744 22353 33554432000 4194304 4196468 140726861443216 140585846250464 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5888] ppid=5872 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5888/stat : 5888 (java) S 5872 5872 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516161480 15514783744 22353 33554432000 4194304 4196468 140726861443216 140585845197232 140587288459906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 90868 KiB

[startup+1.50081 s]
/proc/loadavg: 1.80 1.82 1.64 5/228 5888
/proc/meminfo: memFree=28107884/32770624 swapFree=66954216/67108860
[pid=5872] ppid=5869 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5872/stat : 5872 (xcsp3-exec) S 5869 5872 4632 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516161474 115843072 364 33554432000 4194304 5098028 140721230648784 140721230646888 140315603419772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9682944 140721230656342 140721230656601 140721230656601 140721230659526 0
/proc/5872/statm: 28282 364 305 221 0 87 0

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

/proc/5872/stat : 5872 (xcsp3-exec) S 5869 5872 4632 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516161474 115843072 364 33554432000 4194304 5098028 140721230648784 140721230646888 140315603419772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9682944 140721230656342 140721230656601 140721230656601 140721230659526 0
/proc/5872/statm: 28282 364 305 221 0 87 0
[pid=5874] ppid=5872 vsize=15153204 memory=180452 CPUtime=31.36 cores=1,3,5,7
/proc/5874/stat : 5874 (java) S 5872 5872 4632 0 -1 1077944320 45973 0 0 0 3125 11 0 0 20 0 15 0 516161474 15516880896 45113 33554432000 4194304 4196468 140726861443216 140726861425760 140587288448759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
/proc/5874/statm: 3788301 45113 3484 1 0 3749401 0
[pid=5874/tid=5875] ppid=5872 vsize=15153204 memory=178404 CPUtime=25.57 cores=1,3,5,7
/proc/5874/task/5875/stat : 5875 (java) R 5872 5872 4632 0 -1 4202560 12118 0 0 0 2552 5 0 0 20 0 15 0 516161474 15516880896 45113 33554432000 4194304 4196468 140726861443216 140587292685928 140586919162874 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5876] ppid=5872 vsize=15153204 memory=8220 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5876/stat : 5876 (java) S 5872 5872 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516161475 15516880896 45113 33554432000 4194304 4196468 140726861443216 140587241069456 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5877] ppid=5872 vsize=15153204 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5877/stat : 5877 (java) S 5872 5872 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516161475 15516880896 45113 33554432000 4194304 4196468 140726861443216 140587240016656 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5878] ppid=5872 vsize=15153204 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5878/stat : 5878 (java) S 5872 5872 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516161475 15516880896 45113 33554432000 4194304 4196468 140726861443216 140587238964368 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5879] ppid=5872 vsize=15153204 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5879/stat : 5879 (java) S 5872 5872 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516161475 15516880896 45113 33554432000 4194304 4196468 140726861443216 140587237911568 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5880] ppid=5872 vsize=15153204 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5880/stat : 5880 (java) S 5872 5872 4632 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 15 0 516161476 15516880896 45113 33554432000 4194304 4196468 140726861443216 140586162034800 140587288459906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5881] ppid=5872 vsize=15153204 memory=21796 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5881/stat : 5881 (java) S 5872 5872 4632 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516161477 15516880896 45113 33554432000 4194304 4196468 140726861443216 140586160980768 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5882] ppid=5872 vsize=15153204 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5882/stat : 5882 (java) S 5872 5872 4632 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516161477 15516880896 45113 33554432000 4194304 4196468 140726861443216 140586159928432 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5883] ppid=5872 vsize=15153204 memory=12036 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5883/stat : 5883 (java) S 5872 5872 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516161479 15516880896 45113 33554432000 4194304 4196468 140726861443216 140585850460240 140587288467355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5884] ppid=5872 vsize=15153204 memory=496 CPUtime=2.58 cores=1,3,5,7
/proc/5874/task/5884/stat : 5884 (java) S 5872 5872 4632 0 -1 1077944384 14446 0 0 0 257 1 0 0 20 0 15 0 516161479 15516880896 45113 33554432000 4194304 4196468 140726861443216 140585849408112 140587288459906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5885] ppid=5872 vsize=15153204 memory=1560 CPUtime=2.38 cores=1,3,5,7
/proc/5874/task/5885/stat : 5885 (java) S 5872 5872 4632 0 -1 1077944384 10412 0 0 0 237 1 0 0 20 0 15 0 516161479 15516880896 45113 33554432000 4194304 4196468 140726861443216 140585848355312 140587288459906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5886] ppid=5872 vsize=15153204 memory=0 CPUtime=0.77 cores=1,3,5,7
/proc/5874/task/5886/stat : 5886 (java) S 5872 5872 4632 0 -1 1077944384 6581 0 0 0 76 1 0 0 20 0 15 0 516161479 15516880896 45113 33554432000 4194304 4196468 140726861443216 140585847303024 140587288459906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5887] ppid=5872 vsize=15153204 memory=140501265154625 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5887/stat : 5887 (java) S 5872 5872 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516161479 15516880896 45113 33554432000 4194304 4196468 140726861443216 140585846250464 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5888] ppid=5872 vsize=15153204 memory=140501265154626 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5888/stat : 5888 (java) S 5872 5872 4632 0 -1 1077944384 772 0 0 0 0 0 0 0 20 0 15 0 516161480 15516880896 45113 33554432000 4194304 4196468 140726861443216 140585845197232 140587288459906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
Current children cumulated CPU time: 31.36 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 181908 KiB

[startup+26.4007 s]
/proc/loadavg: 1.98 1.86 1.66 3/228 5889
/proc/meminfo: memFree=28067360/32770624 swapFree=66954216/67108860
[pid=5872] ppid=5869 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5872/stat : 5872 (xcsp3-exec) S 5869 5872 4632 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516161474 115843072 364 33554432000 4194304 5098028 140721230648784 140721230646888 140315603419772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9682944 140721230656342 140721230656601 140721230656601 140721230659526 0
/proc/5872/statm: 28282 364 305 221 0 87 0
[pid=5874] ppid=5872 vsize=15153204 memory=182500 CPUtime=32.16 cores=1,3,5,7
/proc/5874/stat : 5874 (java) S 5872 5872 4632 0 -1 1077944320 46105 0 0 0 3205 11 0 0 20 0 15 0 516161474 15516880896 45625 33554432000 4194304 4196468 140726861443216 140726861425760 140587288448759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
/proc/5874/statm: 3788301 45625 3484 1 0 3749401 0
[pid=5874/tid=5875] ppid=5872 vsize=15153204 memory=180452 CPUtime=26.37 cores=1,3,5,7
/proc/5874/task/5875/stat : 5875 (java) R 5872 5872 4632 0 -1 4202560 12133 0 0 0 2632 5 0 0 20 0 15 0 516161474 15516880896 45625 33554432000 4194304 4196468 140726861443216 140587292685504 140586919743967 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5876] ppid=5872 vsize=15153204 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5876/stat : 5876 (java) S 5872 5872 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516161475 15516880896 45625 33554432000 4194304 4196468 140726861443216 140587241069456 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5877] ppid=5872 vsize=15153204 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5877/stat : 5877 (java) S 5872 5872 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516161475 15516880896 45625 33554432000 4194304 4196468 140726861443216 140587240016656 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5878] ppid=5872 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5878/stat : 5878 (java) S 5872 5872 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516161475 15516880896 45625 33554432000 4194304 4196468 140726861443216 140587238964368 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5879] ppid=5872 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5879/stat : 5879 (java) S 5872 5872 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516161475 15516880896 45625 33554432000 4194304 4196468 140726861443216 140587237911568 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5880] ppid=5872 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5880/stat : 5880 (java) S 5872 5872 4632 0 -1 1077944384 342 0 0 0 0 0 0 0 20 0 15 0 516161476 15516880896 45625 33554432000 4194304 4196468 140726861443216 140586162034800 140587288459906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5881] ppid=5872 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5881/stat : 5881 (java) S 5872 5872 4632 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516161477 15516880896 45625 33554432000 4194304 4196468 140726861443216 140586160980768 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5882] ppid=5872 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5882/stat : 5882 (java) S 5872 5872 4632 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516161477 15516880896 45625 33554432000 4194304 4196468 140726861443216 140586159928432 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5883] ppid=5872 vsize=15153204 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5883/stat : 5883 (java) S 5872 5872 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516161479 15516880896 45625 33554432000 4194304 4196468 140726861443216 140585850460240 140587288467355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5884] ppid=5872 vsize=15153204 memory=139140 CPUtime=2.58 cores=1,3,5,7
/proc/5874/task/5884/stat : 5884 (java) S 5872 5872 4632 0 -1 1077944384 14446 0 0 0 257 1 0 0 20 0 15 0 516161479 15516880896 45625 33554432000 4194304 4196468 140726861443216 140585849408112 140587288459906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5885] ppid=5872 vsize=15153204 memory=124 CPUtime=2.38 cores=1,3,5,7
/proc/5874/task/5885/stat : 5885 (java) S 5872 5872 4632 0 -1 1077944384 10412 0 0 0 237 1 0 0 20 0 15 0 516161479 15516880896 45625 33554432000 4194304 4196468 140726861443216 140585848355312 140587288459906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5886] ppid=5872 vsize=15153204 memory=68 CPUtime=0.77 cores=1,3,5,7
/proc/5874/task/5886/stat : 5886 (java) S 5872 5872 4632 0 -1 1077944384 6697 0 0 0 76 1 0 0 20 0 15 0 516161479 15516880896 45625 33554432000 4194304 4196468 140726861443216 140585847303024 140587288459906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5887] ppid=5872 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5887/stat : 5887 (java) S 5872 5872 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516161479 15516880896 45625 33554432000 4194304 4196468 140726861443216 140585846250464 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5888] ppid=5872 vsize=15153204 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5888/stat : 5888 (java) S 5872 5872 4632 0 -1 1077944384 772 0 0 0 0 0 0 0 20 0 15 0 516161480 15516880896 45625 33554432000 4194304 4196468 140726861443216 140585845197232 140587288459906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
Current children cumulated CPU time: 32.16 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 183956 KiB

[startup+27.2007 s]
/proc/loadavg: 1.98 1.86 1.66 3/229 5891
/proc/meminfo: memFree=28055080/32770624 swapFree=66954216/67108860
[pid=5872] ppid=5869 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5872/stat : 5872 (xcsp3-exec) S 5869 5872 4632 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516161474 115843072 364 33554432000 4194304 5098028 140721230648784 140721230646888 140315603419772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9682944 140721230656342 140721230656601 140721230656601 140721230659526 0
/proc/5872/statm: 28282 364 305 221 0 87 0
[pid=5874] ppid=5872 vsize=15153204 memory=184548 CPUtime=32.96 cores=1,3,5,7
/proc/5874/stat : 5874 (java) S 5872 5872 4632 0 -1 1077944320 46236 0 0 0 3285 11 0 0 20 0 15 0 516161474 15516880896 46137 33554432000 4194304 4196468 140726861443216 140726861425760 140587288448759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
/proc/5874/statm: 3788301 46137 3484 1 0 3749401 0
[pid=5874/tid=5875] ppid=5872 vsize=15153204 memory=1284 CPUtime=27.17 cores=1,3,5,7
/proc/5874/task/5875/stat : 5875 (java) R 5872 5872 4632 0 -1 4202560 12135 0 0 0 2712 5 0 0 20 0 15 0 516161474 15516880896 46137 33554432000 4194304 4196468 140726861443216 140587292687576 140586918944336 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5876] ppid=5872 vsize=15153204 memory=1044 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5876/stat : 5876 (java) S 5872 5872 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516161475 15516880896 46137 33554432000 4194304 4196468 140726861443216 140587241069456 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5877] ppid=5872 vsize=15153204 memory=708 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5877/stat : 5877 (java) S 5872 5872 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516161475 15516880896 46137 33554432000 4194304 4196468 140726861443216 140587240016656 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5878] ppid=5872 vsize=15153204 memory=9364 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5878/stat : 5878 (java) S 5872 5872 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516161475 15516880896 46137 33554432000 4194304 4196468 140726861443216 140587238964368 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5879] ppid=5872 vsize=15153204 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5879/stat : 5879 (java) S 5872 5872 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516161475 15516880896 46137 33554432000 4194304 4196468 140726861443216 140587237911568 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5880] ppid=5872 vsize=15153204 memory=928 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5880/stat : 5880 (java) S 5872 5872 4632 0 -1 1077944384 342 0 0 0 0 0 0 0 20 0 15 0 516161476 15516880896 46137 33554432000 4194304 4196468 140726861443216 140586162034800 140587288459906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5881] ppid=5872 vsize=15153204 memory=1680 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5881/stat : 5881 (java) S 5872 5872 4632 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516161477 15516880896 46137 33554432000 4194304 4196468 140726861443216 140586160980768 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5882] ppid=5872 vsize=15153204 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5882/stat : 5882 (java) S 5872 5872 4632 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516161477 15516880896 46137 33554432000 4194304 4196468 140726861443216 140586159928432 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5883] ppid=5872 vsize=15153204 memory=880 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5883/stat : 5883 (java) S 5872 5872 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516161479 15516880896 46137 33554432000 4194304 4196468 140726861443216 140585850460240 140587288467355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5884] ppid=5872 vsize=15153204 memory=1984 CPUtime=2.58 cores=1,3,5,7
/proc/5874/task/5884/stat : 5884 (java) S 5872 5872 4632 0 -1 1077944384 14446 0 0 0 257 1 0 0 20 0 15 0 516161479 15516880896 46137 33554432000 4194304 4196468 140726861443216 140585849408112 140587288459906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5885] ppid=5872 vsize=15153204 memory=2552 CPUtime=2.38 cores=1,3,5,7
/proc/5874/task/5885/stat : 5885 (java) S 5872 5872 4632 0 -1 1077944384 10412 0 0 0 237 1 0 0 20 0 15 0 516161479 15516880896 46137 33554432000 4194304 4196468 140726861443216 140585848355312 140587288459906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5886] ppid=5872 vsize=15153204 memory=1456 CPUtime=0.78 cores=1,3,5,7
/proc/5874/task/5886/stat : 5886 (java) S 5872 5872 4632 0 -1 1077944384 6826 0 0 0 76 2 0 0 20 0 15 0 516161479 15516880896 46137 33554432000 4194304 4196468 140726861443216 140585847303024 140587288459906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5887] ppid=5872 vsize=15153204 memory=182500 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5887/stat : 5887 (java) S 5872 5872 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516161479 15516880896 46137 33554432000 4194304 4196468 140726861443216 140585846250464 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5888] ppid=5872 vsize=15153204 memory=52000 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5888/stat : 5888 (java) S 5872 5872 4632 0 -1 1077944384 772 0 0 0 0 0 0 0 20 0 15 0 516161480 15516880896 46137 33554432000 4194304 4196468 140726861443216 140585845197232 140587288459906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
Current children cumulated CPU time: 32.96 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 186004 KiB

[startup+27.4007 s]
/proc/loadavg: 1.98 1.86 1.66 3/229 5891
/proc/meminfo: memFree=28055080/32770624 swapFree=66954216/67108860
[pid=5872] ppid=5869 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5872/stat : 5872 (xcsp3-exec) S 5869 5872 4632 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516161474 115843072 364 33554432000 4194304 5098028 140721230648784 140721230646888 140315603419772 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 9682944 140721230656342 140721230656601 140721230656601 140721230659526 0
/proc/5872/statm: 28282 364 305 221 0 87 0
[pid=5874] ppid=5872 vsize=15153204 memory=186596 CPUtime=33.16 cores=1,3,5,7
/proc/5874/stat : 5874 (java) S 5872 5872 4632 0 -1 1077944320 46238 0 0 0 3305 11 0 0 20 0 15 0 516161474 15516880896 46649 33554432000 4194304 4196468 140726861443216 140726861425760 140587288448759 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
/proc/5874/statm: 3788301 46649 3484 1 0 3749401 0
[pid=5874/tid=5875] ppid=5872 vsize=15153204 memory=1284 CPUtime=27.37 cores=1,3,5,7
/proc/5874/task/5875/stat : 5875 (java) R 5872 5872 4632 0 -1 4202560 12137 0 0 0 2732 5 0 0 20 0 15 0 516161474 15516880896 46649 33554432000 4194304 4196468 140726861443216 140587292687576 140586919163363 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5876] ppid=5872 vsize=15153204 memory=1044 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5876/stat : 5876 (java) S 5872 5872 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516161475 15516880896 46649 33554432000 4194304 4196468 140726861443216 140587241069456 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5877] ppid=5872 vsize=15153204 memory=708 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5877/stat : 5877 (java) S 5872 5872 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516161475 15516880896 46649 33554432000 4194304 4196468 140726861443216 140587240016656 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5878] ppid=5872 vsize=15153204 memory=9364 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5878/stat : 5878 (java) S 5872 5872 4632 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516161475 15516880896 46649 33554432000 4194304 4196468 140726861443216 140587238964368 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5879] ppid=5872 vsize=15153204 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5879/stat : 5879 (java) S 5872 5872 4632 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516161475 15516880896 46649 33554432000 4194304 4196468 140726861443216 140587237911568 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5880] ppid=5872 vsize=15153204 memory=776 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5880/stat : 5880 (java) S 5872 5872 4632 0 -1 1077944384 342 0 0 0 0 0 0 0 20 0 15 0 516161476 15516880896 46649 33554432000 4194304 4196468 140726861443216 140586162034800 140587288459906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5881] ppid=5872 vsize=15153204 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5881/stat : 5881 (java) S 5872 5872 4632 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516161477 15516880896 46649 33554432000 4194304 4196468 140726861443216 140586160980768 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5882] ppid=5872 vsize=15153204 memory=8220 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5882/stat : 5882 (java) S 5872 5872 4632 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516161477 15516880896 46649 33554432000 4194304 4196468 140726861443216 140586159928432 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5883] ppid=5872 vsize=15153204 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5883/stat : 5883 (java) S 5872 5872 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516161479 15516880896 46649 33554432000 4194304 4196468 140726861443216 140585850460240 140587288467355 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5884] ppid=5872 vsize=15153204 memory=1556 CPUtime=2.58 cores=1,3,5,7
/proc/5874/task/5884/stat : 5884 (java) S 5872 5872 4632 0 -1 1077944384 14446 0 0 0 257 1 0 0 20 0 15 0 516161479 15516880896 46649 33554432000 4194304 4196468 140726861443216 140585849408112 140587288459906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5885] ppid=5872 vsize=15153204 memory=2832 CPUtime=2.38 cores=1,3,5,7
/proc/5874/task/5885/stat : 5885 (java) S 5872 5872 4632 0 -1 1077944384 10412 0 0 0 237 1 0 0 20 0 15 0 516161479 15516880896 46649 33554432000 4194304 4196468 140726861443216 140585848355312 140587288459906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5886] ppid=5872 vsize=15153204 memory=984 CPUtime=0.78 cores=1,3,5,7
/proc/5874/task/5886/stat : 5886 (java) S 5872 5872 4632 0 -1 1077944384 6826 0 0 0 76 2 0 0 20 0 15 0 516161479 15516880896 46649 33554432000 4194304 4196468 140726861443216 140585847303024 140587288459906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5887] ppid=5872 vsize=15153204 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5887/stat : 5887 (java) S 5872 5872 4632 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516161479 15516880896 46649 33554432000 4194304 4196468 140726861443216 140585846250464 140587288458965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
[pid=5874/tid=5888] ppid=5872 vsize=15153204 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/5874/task/5888/stat : 5888 (java) S 5872 5872 4632 0 -1 1077944384 772 0 0 0 0 0 0 0 20 0 15 0 516161480 15516880896 46649 33554432000 4194304 4196468 140726861443216 140585845197232 140587288459906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35377152 140726861452251 140726861452426 140726861452426 140726861455311 0
Current children cumulated CPU time: 33.16 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 188052 KiB

Child status: 0
Real time (s): 27.4757
CPU time (s): 33.2354
CPU user time (s): 33.114
CPU system time (s): 0.121405
CPU usage (%): 120.963
Max. virtual memory (cumulated for all children) (KiB): 15268188
Max. memory (cumulated for all children) (KiB): 188052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.114
system time used= 0.121405
maximum resident set size= 186980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47543
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= 3098
involuntary context switches= 44


# summary of solver processes directly reported to runsolver:
#   pid: 5872
#   total CPU time (s): 33.2354
#   total CPU user time (s): 33.114
#   total CPU system time (s): 0.121405

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.173311 second user time and 0.304289 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 4406414

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