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	14	120.103	30.5346

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400615-1568697178.xml"  -tl '2400s' -p 4
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4400615-1568697178.xml, -tl, 2400s, -p, 4]
0.34/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
3.15/1.19	c solve instance...
19.73/5.32	o 15 
20.55/5.52	o 14 
120.02/30.52	s OPTIMUM FOUND
120.02/30.52	v <instantiation>
120.02/30.52	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>
120.02/30.52	v 	<values>0 3 4 9 10 13 11 6 12 8 14 1 2 5 7 1 1 2 2 2 3 3 3 3 4 5 5 5 6 6 0 0 0 0 0 0 1 1 1 1 1 1 1 2 2 1 1 1 1 2 2 3 3 3 3 3 3 3 3 3 1 2 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 1 1 1 2 3 3 3 3 3 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 1 2 2 2 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 2 2 2 2 2 2 3 1 2 2 3 3 3 3 4 5 6 6 6 6 6 6 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 2 2 1 2 2 2 2 3 3 3 3 3 3 3 3 3 3 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 2 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 1 1 2 3 0 0 0 0 0 1 1 1 2 2 2 2 3 4 4 0 0 0 1 1 1 2 2 2 2 3 4 4 4 4 0 0 0 0 0 0 1 2 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 1 2 2 3 0 0 0 1 1 1 2 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 3 3 3 4 4 4 1 1 2 2 2 3 3 3 3 3 3 3 3 3 3 1 1 1 2 2 2 2 2 2 2 2 2 2 3 4 0 1 2 2 2 2 2 2 3 4 5 5 5 5 5 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 1 2 2 0 0 0 0 0 0 0 1 1 1 2 2 2 2 3 1 0 1 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 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 1 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 1 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 0 0 1 0 1 0 0 0 0 0 1 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 0 1 0 0 0 1 1 1 0 0 0 0 0 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 0 0 1 0 1 1 0 0 0 1 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 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 1 1 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 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 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 1 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 1 1 1 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 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 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 1 1 1 1 1 0 0 0 0 0 0 0 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 1 1 0 1 1 1 1 1 1 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 0 0 0 0 0 1 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 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 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 1 1 1 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 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 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 1 1 1 1 1 1 1 1 8 11 12 13 13 13 14 14 14 14 14 14 12 10 5 </values>
120.02/30.52	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 (15234 MiB free)
  memory of node 1: 16384 MiB (13210 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400615-1568697178/watcher-4400615-1568697178 -o /tmp/evaluation-result-4400615-1568697178/solver-4400615-1568697178 -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 1970802422 HOME/instance-4400615-1568697178.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=5842, runsolver pid=5839
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 8.56 8.71 8.60 7/234 5858
/proc/meminfo: memFree=29111308/32770624 swapFree=66997372/67108860
[pid=5842] ppid=5839 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5842/stat : 5842 (xcsp3-exec) S 5839 5842 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445970850 115843072 363 33554432000 4194304 5098028 140721328563744 140721328561848 139981177442940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22401024 140721328571258 140721328571501 140721328571501 140721328574410 0
/proc/5842/statm: 28282 363 304 221 0 87 0
[pid=5844] ppid=5842 vsize=15144776 memory=28780 CPUtime=0.12 cores=0,2,4,6
/proc/5844/stat : 5844 (java) S 5842 5842 24272 0 -1 1077944320 5666 0 0 0 11 1 0 0 20 0 15 0 445970851 15508250624 7195 33554432000 4194304 4196468 140729165566432 140729165548976 140147269226231 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
/proc/5844/statm: 3786194 7195 3123 1 0 3748377 0
[pid=5844/tid=5845] ppid=5842 vsize=15144776 memory=-7828588039587135835 CPUtime=0.08 cores=0,2,4,6
/proc/5844/task/5845/stat : 5845 (java) R 5842 5842 24272 0 -1 4202560 3588 0 0 0 8 0 0 0 20 0 15 0 445970851 15508250624 7261 33554432000 4194304 4196468 140729165566432 140147273452064 140147269248157 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5846] ppid=5842 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5846/stat : 5846 (java) S 5842 5842 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445970852 15508250624 7261 33554432000 4194304 4196468 140729165566432 140147205462672 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5847] ppid=5842 vsize=15144776 memory=140258179430016 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5847/stat : 5847 (java) S 5842 5842 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445970852 15508250624 7261 33554432000 4194304 4196468 140729165566432 140147204409872 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5848] ppid=5842 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5848/stat : 5848 (java) S 5842 5842 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445970852 15508250624 7261 33554432000 4194304 4196468 140729165566432 140147203357072 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5849] ppid=5842 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5849/stat : 5849 (java) S 5842 5842 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445970852 15508250624 7261 33554432000 4194304 4196468 140729165566432 140147202304272 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5850] ppid=5842 vsize=15144776 memory=140258179430016 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5850/stat : 5850 (java) S 5842 5842 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445970853 15508250624 7261 33554432000 4194304 4196468 140729165566432 140146804743024 140147269237378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5851] ppid=5842 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5851/stat : 5851 (java) S 5842 5842 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445970854 15508250624 7261 33554432000 4194304 4196468 140729165566432 140146803688992 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5852] ppid=5842 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5852/stat : 5852 (java) S 5842 5842 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445970854 15508250624 7261 33554432000 4194304 4196468 140729165566432 140146802636144 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5853] ppid=5842 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5853/stat : 5853 (java) S 5842 5842 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445970856 15508250624 7261 33554432000 4194304 4196468 140729165566432 140146801584464 140147269244827 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5854] ppid=5842 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5854/stat : 5854 (java) R 5842 5842 24272 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 445970856 15508250624 7261 33554432000 4194304 4196468 140729165566432 140146800531824 140147269237378 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5855] ppid=5842 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5855/stat : 5855 (java) R 5842 5842 24272 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 15 0 445970856 15508250624 7261 33554432000 4194304 4196468 140729165566432 140146799479120 140147252781456 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5856] ppid=5842 vsize=15144776 memory=140258179430016 CPUtime=0.02 cores=0,2,4,6
/proc/5844/task/5856/stat : 5856 (java) R 5842 5842 24272 0 -1 4202560 363 0 0 0 2 0 0 0 20 0 15 0 445970856 15508250624 7261 33554432000 4194304 4196468 140729165566432 140146798426224 140147247758607 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5857] ppid=5842 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5857/stat : 5857 (java) S 5842 5842 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445970856 15508250624 7261 33554432000 4194304 4196468 140729165566432 140146797373664 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5858] ppid=5842 vsize=15144776 memory=140258179430016 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5858/stat : 5858 (java) S 5842 5842 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445970857 15508250624 7261 33554432000 4194304 4196468 140729165566432 140146729020592 140147269237378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30232 KiB

[startup+0.212805 s]*
/proc/loadavg: 8.56 8.71 8.60 7/234 5858
/proc/meminfo: memFree=29098240/32770624 swapFree=66997372/67108860
[pid=5842] ppid=5839 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5842/stat : 5842 (xcsp3-exec) S 5839 5842 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445970850 115843072 363 33554432000 4194304 5098028 140721328563744 140721328561848 139981177442940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22401024 140721328571258 140721328571501 140721328571501 140721328574410 0
/proc/5842/statm: 28282 363 304 221 0 87 0
[pid=5844] ppid=5842 vsize=15144776 memory=40864 CPUtime=0.34 cores=0,2,4,6
/proc/5844/stat : 5844 (java) S 5842 5842 24272 0 -1 1077944320 9470 0 0 0 31 3 0 0 20 0 15 0 445970851 15508250624 10216 33554432000 4194304 4196468 140729165566432 140729165548976 140147269226231 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
/proc/5844/statm: 3786194 10216 3298 1 0 3748377 0
[pid=5844/tid=5845] ppid=5842 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/5844/task/5845/stat : 5845 (java) R 5842 5842 24272 0 -1 4202560 6631 0 0 0 18 2 0 0 20 0 15 0 445970851 15508250624 10216 33554432000 4194304 4196468 140729165566432 140147273461216 140147253306718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5846] ppid=5842 vsize=15144776 memory=4294976396 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5846/stat : 5846 (java) S 5842 5842 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445970852 15508250624 10216 33554432000 4194304 4196468 140729165566432 140147205462672 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5847] ppid=5842 vsize=15144776 memory=140258179454571 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5847/stat : 5847 (java) S 5842 5842 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445970852 15508250624 10216 33554432000 4194304 4196468 140729165566432 140147204409872 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5848] ppid=5842 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5848/stat : 5848 (java) S 5842 5842 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445970852 15508250624 10216 33554432000 4194304 4196468 140729165566432 140147203357072 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5849] ppid=5842 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5849/stat : 5849 (java) S 5842 5842 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445970852 15508250624 10216 33554432000 4194304 4196468 140729165566432 140147202304272 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5850] ppid=5842 vsize=15144776 memory=140258179430016 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5850/stat : 5850 (java) S 5842 5842 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445970853 15508250624 10216 33554432000 4194304 4196468 140729165566432 140146804743024 140147269237378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5851] ppid=5842 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5851/stat : 5851 (java) S 5842 5842 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445970854 15508250624 10216 33554432000 4194304 4196468 140729165566432 140146803688992 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5852] ppid=5842 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5852/stat : 5852 (java) S 5842 5842 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445970854 15508250624 10216 33554432000 4194304 4196468 140729165566432 140146802636144 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5853] ppid=5842 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5853/stat : 5853 (java) S 5842 5842 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445970856 15508250624 10216 33554432000 4194304 4196468 140729165566432 140146801584464 140147269244827 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5854] ppid=5842 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5844/task/5854/stat : 5854 (java) S 5842 5842 24272 0 -1 1077944384 515 0 0 0 2 0 0 0 20 0 15 0 445970856 15508250624 10216 33554432000 4194304 4196468 140729165566432 140146800531824 140147269237378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5855] ppid=5842 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5844/task/5855/stat : 5855 (java) S 5842 5842 24272 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 15 0 445970856 15508250624 10216 33554432000 4194304 4196468 140729165566432 140146799479024 140147269237378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5856] ppid=5842 vsize=15144776 memory=140258179430016 CPUtime=0.08 cores=0,2,4,6
/proc/5844/task/5856/stat : 5856 (java) R 5842 5842 24272 0 -1 4202560 770 0 0 0 8 0 0 0 20 0 15 0 445970856 15508250624 10216 33554432000 4194304 4196468 140729165566432 140146798426224 140147269247578 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5857] ppid=5842 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5857/stat : 5857 (java) S 5842 5842 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445970856 15508250624 10216 33554432000 4194304 4196468 140729165566432 140146797373664 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5858] ppid=5842 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5858/stat : 5858 (java) S 5842 5842 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445970857 15508250624 10216 33554432000 4194304 4196468 140729165566432 140146729020592 140147269237378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42316 KiB

[startup+0.319284 s]*
/proc/loadavg: 8.56 8.71 8.60 7/234 5858
/proc/meminfo: memFree=29077252/32770624 swapFree=66997372/67108860
[pid=5842] ppid=5839 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5842/stat : 5842 (xcsp3-exec) S 5839 5842 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445970850 115843072 363 33554432000 4194304 5098028 140721328563744 140721328561848 139981177442940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22401024 140721328571258 140721328571501 140721328571501 140721328574410 0
/proc/5842/statm: 28282 363 304 221 0 87 0
[pid=5844] ppid=5842 vsize=15149032 memory=50320 CPUtime=0.54 cores=0,2,4,6
/proc/5844/stat : 5844 (java) S 5842 5842 24272 0 -1 1077944320 10952 0 0 0 50 4 0 0 20 0 15 0 445970851 15512608768 12580 33554432000 4194304 4196468 140729165566432 140729165548976 140147269226231 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
/proc/5844/statm: 3787258 12580 3370 1 0 3748377 0
[pid=5844/tid=5845] ppid=5842 vsize=15149032 memory=27992919332356134 CPUtime=0.31 cores=0,2,4,6
/proc/5844/task/5845/stat : 5845 (java) R 5842 5842 24272 0 -1 4202560 7880 0 0 0 28 3 0 0 20 0 15 0 445970851 15512608768 12653 33554432000 4194304 4196468 140729165566432 140147273460016 140147261943194 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5846] ppid=5842 vsize=15149032 memory=288230596084498767 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5846/stat : 5846 (java) S 5842 5842 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445970852 15512608768 12653 33554432000 4194304 4196468 140729165566432 140147205462672 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5847] ppid=5842 vsize=15149032 memory=13847482257905424 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5847/stat : 5847 (java) S 5842 5842 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445970852 15512608768 12653 33554432000 4194304 4196468 140729165566432 140147204409872 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5848] ppid=5842 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5848/stat : 5848 (java) S 5842 5842 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445970852 15512608768 12653 33554432000 4194304 4196468 140729165566432 140147203357072 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5849] ppid=5842 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5849/stat : 5849 (java) S 5842 5842 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445970852 15512608768 12653 33554432000 4194304 4196468 140729165566432 140147202304272 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5850] ppid=5842 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5850/stat : 5850 (java) S 5842 5842 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445970853 15512608768 12653 33554432000 4194304 4196468 140729165566432 140146804743024 140147269237378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5851] ppid=5842 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5851/stat : 5851 (java) S 5842 5842 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445970854 15512608768 12653 33554432000 4194304 4196468 140729165566432 140146803688992 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5852] ppid=5842 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5852/stat : 5852 (java) S 5842 5842 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445970854 15512608768 12653 33554432000 4194304 4196468 140729165566432 140146802636144 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5853] ppid=5842 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5853/stat : 5853 (java) S 5842 5842 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445970856 15512608768 12653 33554432000 4194304 4196468 140729165566432 140146801584464 140147269244827 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5854] ppid=5842 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5844/task/5854/stat : 5854 (java) S 5842 5842 24272 0 -1 1077944384 547 0 0 0 3 0 0 0 20 0 15 0 445970856 15512608768 12653 33554432000 4194304 4196468 140729165566432 140146800531824 140147269237378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5855] ppid=5842 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/5844/task/5855/stat : 5855 (java) S 5842 5842 24272 0 -1 1077944384 369 0 0 0 5 0 0 0 20 0 15 0 445970856 15512608768 12653 33554432000 4194304 4196468 140729165566432 140146799479024 140147269237378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5856] ppid=5842 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/5844/task/5856/stat : 5856 (java) S 5842 5842 24272 0 -1 1077944384 867 0 0 0 12 0 0 0 20 0 15 0 445970856 15512608768 12653 33554432000 4194304 4196468 140729165566432 140146798426224 140147269237378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5857] ppid=5842 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5857/stat : 5857 (java) S 5842 5842 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445970856 15512608768 12653 33554432000 4194304 4196468 140729165566432 140146797373664 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5858] ppid=5842 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5858/stat : 5858 (java) S 5842 5842 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445970857 15512608768 12653 33554432000 4194304 4196468 140729165566432 140146729020592 140147269237378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51772 KiB

[startup+0.874282 s]*
/proc/loadavg: 8.56 8.71 8.60 8/234 5858
/proc/meminfo: memFree=29026992/32770624 swapFree=66997372/67108860
[pid=5842] ppid=5839 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5842/stat : 5842 (xcsp3-exec) S 5839 5842 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445970850 115843072 363 33554432000 4194304 5098028 140721328563744 140721328561848 139981177442940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22401024 140721328571258 140721328571501 140721328571501 140721328574410 0
/proc/5842/statm: 28282 363 304 221 0 87 0
[pid=5844] ppid=5842 vsize=15151156 memory=118604 CPUtime=2.42 cores=0,2,4,6
/proc/5844/stat : 5844 (java) S 5842 5842 24272 0 -1 1077944320 16126 0 0 0 234 8 0 0 20 0 15 0 445970851 15514783744 29651 33554432000 4194304 4196468 140729165566432 140729165548976 140147269226231 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
/proc/5844/statm: 3787789 29651 3459 1 0 3748889 0
[pid=5844/tid=5845] ppid=5842 vsize=15151156 memory=7022364632946311227 CPUtime=0.86 cores=0,2,4,6
/proc/5844/task/5845/stat : 5845 (java) R 5842 5842 24272 0 -1 4202560 9352 0 0 0 81 5 0 0 20 0 15 0 445970851 15514783744 29651 33554432000 4194304 4196468 140729165566432 140147273460472 140146880119334 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5846] ppid=5842 vsize=15151156 memory=4294976396 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5846/stat : 5846 (java) S 5842 5842 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445970852 15514783744 29651 33554432000 4194304 4196468 140729165566432 140147205462672 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5847] ppid=5842 vsize=15151156 memory=140258179454571 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5847/stat : 5847 (java) S 5842 5842 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445970852 15514783744 29651 33554432000 4194304 4196468 140729165566432 140147204409872 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5848] ppid=5842 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5848/stat : 5848 (java) S 5842 5842 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445970852 15514783744 29651 33554432000 4194304 4196468 140729165566432 140147203357072 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5849] ppid=5842 vsize=15151156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5849/stat : 5849 (java) S 5842 5842 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445970852 15514783744 29651 33554432000 4194304 4196468 140729165566432 140147202304272 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5850] ppid=5842 vsize=15151156 memory=140258179430016 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5850/stat : 5850 (java) S 5842 5842 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445970853 15514783744 29651 33554432000 4194304 4196468 140729165566432 140146804743024 140147269237378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5851] ppid=5842 vsize=15151156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5851/stat : 5851 (java) S 5842 5842 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445970854 15514783744 29651 33554432000 4194304 4196468 140729165566432 140146803688992 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5852] ppid=5842 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5852/stat : 5852 (java) S 5842 5842 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445970854 15514783744 29651 33554432000 4194304 4196468 140729165566432 140146802636144 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5853] ppid=5842 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5853/stat : 5853 (java) S 5842 5842 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445970856 15514783744 29651 33554432000 4194304 4196468 140729165566432 140146801584464 140147269244827 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5854] ppid=5842 vsize=15151156 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/5844/task/5854/stat : 5854 (java) R 5842 5842 24272 0 -1 4202560 1851 0 0 0 51 0 0 0 20 0 15 0 445970856 15514783744 29651 33554432000 4194304 4196468 140729165566432 140146800524848 140147249927029 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5855] ppid=5842 vsize=15151156 memory=-1 CPUtime=0.49 cores=0,2,4,6
/proc/5844/task/5855/stat : 5855 (java) R 5842 5842 24272 0 -1 4202560 1394 0 0 0 49 0 0 0 20 0 15 0 445970856 15514783744 29651 33554432000 4194304 4196468 140729165566432 140146799471512 140147255243059 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5856] ppid=5842 vsize=15151156 memory=140258179430016 CPUtime=0.54 cores=0,2,4,6
/proc/5844/task/5856/stat : 5856 (java) R 5842 5842 24272 0 -1 1077944384 2228 0 0 0 53 1 0 0 20 0 15 0 445970856 15514783744 29651 33554432000 4194304 4196468 140729165566432 140146798426224 140147269237378 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5857] ppid=5842 vsize=15151156 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5857/stat : 5857 (java) S 5842 5842 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445970856 15514783744 29651 33554432000 4194304 4196468 140729165566432 140146797373664 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5858] ppid=5842 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5858/stat : 5858 (java) S 5842 5842 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445970857 15514783744 29651 33554432000 4194304 4196468 140729165566432 140146729020592 140147269237378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
Current children cumulated CPU time: 2.42 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 120056 KiB

[startup+1.51128 s]
/proc/loadavg: 8.56 8.71 8.60 12/238 5862
/proc/meminfo: memFree=28926188/32770624 swapFree=66997372/67108860
[pid=5842] ppid=5839 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5842/stat : 5842 (xcsp3-exec) S 5839 5842 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445970850 115843072 363 33554432000 4194304 5098028 140721328563744 140721328561848 139981177442940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22401024 140721328571258 140721328571501 140721328571501 140721328574410 0
/proc/5842/statm: 28282 363 304 221 0 87 0

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

/proc/5844/task/5858/stat : 5858 (java) S 5842 5842 24272 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 19 0 445970857 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146729020592 140147269237378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5867] ppid=5842 vsize=15619152 memory=271 CPUtime=23.33 cores=0,2,4,6
/proc/5844/task/5867/stat : 5867 (java) R 5842 5842 24272 0 -1 4202560 348 0 0 0 2333 0 0 0 20 0 19 0 445971403 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146714783000 140146888345897 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5868] ppid=5842 vsize=15619152 memory=267 CPUtime=23.52 cores=0,2,4,6
/proc/5844/task/5868/stat : 5868 (java) R 5842 5842 24272 0 -1 4202560 1215 0 0 0 2352 0 0 0 20 0 19 0 445971403 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146713733112 140146888345944 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5869] ppid=5842 vsize=15619152 memory=96 CPUtime=23.42 cores=0,2,4,6
/proc/5844/task/5869/stat : 5869 (java) R 5842 5842 24272 0 -1 4202560 222 0 0 0 2342 0 0 0 20 0 19 0 445971403 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146712678552 140146888345789 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5870] ppid=5842 vsize=15619152 memory=0 CPUtime=23.4 cores=0,2,4,6
/proc/5844/task/5870/stat : 5870 (java) R 5842 5842 24272 0 -1 4202560 688 0 0 0 2340 0 0 0 20 0 19 0 445971403 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146711625504 140146889664540 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
Current children cumulated CPU time: 114.81 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 248952 KiB

[startup+30.0013 s]
/proc/loadavg: 8.72 8.74 8.61 9/238 5870
/proc/meminfo: memFree=27875796/32770624 swapFree=66997372/67108860
[pid=5842] ppid=5839 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5842/stat : 5842 (xcsp3-exec) S 5839 5842 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445970850 115843072 363 33554432000 4194304 5098028 140721328563744 140721328561848 139981177442940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22401024 140721328571258 140721328571501 140721328571501 140721328574410 0
/proc/5842/statm: 28282 363 304 221 0 87 0
[pid=5844] ppid=5842 vsize=15619152 memory=247500 CPUtime=118 cores=0,2,4,6
/proc/5844/stat : 5844 (java) S 5842 5842 24272 0 -1 1077944320 45472 0 0 0 11782 18 0 0 20 0 19 0 445970851 15994011648 61875 33554432000 4194304 4196468 140729165566432 140729165548976 140147269226231 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
/proc/5844/statm: 3904788 61875 3534 1 0 3865888 0
[pid=5844/tid=5845] ppid=5842 vsize=15619152 memory=7019467088057350197 CPUtime=1.17 cores=0,2,4,6
/proc/5844/task/5845/stat : 5845 (java) S 5842 5842 24272 0 -1 1077944384 11975 0 0 0 111 6 0 0 20 0 19 0 445970851 15994011648 61875 33554432000 4194304 4196468 140729165566432 140147273467008 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5846] ppid=5842 vsize=15619152 memory=8112282956445269571 CPUtime=0.04 cores=0,2,4,6
/proc/5844/task/5846/stat : 5846 (java) S 5842 5842 24272 0 -1 1077944384 1938 0 0 0 3 1 0 0 20 0 19 0 445970852 15994011648 61875 33554432000 4194304 4196468 140729165566432 140147205462672 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5847] ppid=5842 vsize=15619152 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/5844/task/5847/stat : 5847 (java) S 5842 5842 24272 0 -1 1077944384 621 0 0 0 3 1 0 0 20 0 19 0 445970852 15994011648 61875 33554432000 4194304 4196468 140729165566432 140147204409872 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5848] ppid=5842 vsize=15619152 memory=-8961168018402230209 CPUtime=0.03 cores=0,2,4,6
/proc/5844/task/5848/stat : 5848 (java) S 5842 5842 24272 0 -1 1077944384 1642 0 0 0 2 1 0 0 20 0 19 0 445970852 15994011648 61875 33554432000 4194304 4196468 140729165566432 140147203357072 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5849] ppid=5842 vsize=15619152 memory=1804 CPUtime=0.04 cores=0,2,4,6
/proc/5844/task/5849/stat : 5849 (java) S 5842 5842 24272 0 -1 1077944384 397 0 0 0 3 1 0 0 20 0 19 0 445970852 15994011648 61875 33554432000 4194304 4196468 140729165566432 140147202304272 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5850] ppid=5842 vsize=15619152 memory=916 CPUtime=0.01 cores=0,2,4,6
/proc/5844/task/5850/stat : 5850 (java) S 5842 5842 24272 0 -1 1077944384 759 0 0 0 1 0 0 0 20 0 19 0 445970853 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146804743024 140147269237378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5851] ppid=5842 vsize=15619152 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5851/stat : 5851 (java) S 5842 5842 24272 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445970854 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146803689056 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5852] ppid=5842 vsize=15619152 memory=1388 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5852/stat : 5852 (java) S 5842 5842 24272 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 445970854 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146802636160 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5853] ppid=5842 vsize=15619152 memory=776 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5853/stat : 5853 (java) S 5842 5842 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445970856 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146801584464 140147269244827 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5854] ppid=5842 vsize=15619152 memory=3992 CPUtime=2.78 cores=0,2,4,6
/proc/5844/task/5854/stat : 5854 (java) S 5842 5842 24272 0 -1 1077944384 8832 0 0 0 277 1 0 0 20 0 19 0 445970856 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146800531824 140147269237378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5855] ppid=5842 vsize=15619152 memory=2828 CPUtime=2.69 cores=0,2,4,6
/proc/5844/task/5855/stat : 5855 (java) S 5842 5842 24272 0 -1 1077944384 6836 0 0 0 268 1 0 0 20 0 19 0 445970856 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146799479024 140147269237378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5856] ppid=5842 vsize=15619152 memory=676 CPUtime=0.96 cores=0,2,4,6
/proc/5844/task/5856/stat : 5856 (java) S 5842 5842 24272 0 -1 1077944384 7606 0 0 0 94 2 0 0 20 0 19 0 445970856 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146798426224 140147269237378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5857] ppid=5842 vsize=15619152 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5857/stat : 5857 (java) S 5842 5842 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445970856 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146797373664 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5858] ppid=5842 vsize=15619152 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5858/stat : 5858 (java) S 5842 5842 24272 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 19 0 445970857 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146729020592 140147269237378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5867] ppid=5842 vsize=15619152 memory=0 CPUtime=24.12 cores=0,2,4,6
/proc/5844/task/5867/stat : 5867 (java) R 5842 5842 24272 0 -1 4202560 348 0 0 0 2412 0 0 0 20 0 19 0 445971403 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146714783000 140146888345963 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5868] ppid=5842 vsize=15619152 memory=165347650973106 CPUtime=24.32 cores=0,2,4,6
/proc/5844/task/5868/stat : 5868 (java) R 5842 5842 24272 0 -1 4202560 1218 0 0 0 2432 0 0 0 20 0 19 0 445971403 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146713733112 140146887988680 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5869] ppid=5842 vsize=15619152 memory=165347650973107 CPUtime=24.22 cores=0,2,4,6
/proc/5844/task/5869/stat : 5869 (java) R 5842 5842 24272 0 -1 4202560 222 0 0 0 2422 0 0 0 20 0 19 0 445971403 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146712678552 140146888885387 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5870] ppid=5842 vsize=15619152 memory=165347650973108 CPUtime=24.2 cores=0,2,4,6
/proc/5844/task/5870/stat : 5870 (java) R 5842 5842 24272 0 -1 4202560 689 0 0 0 2420 0 0 0 20 0 19 0 445971403 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146711625504 140146888617197 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
Current children cumulated CPU time: 118 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 248952 KiB

[startup+30.4013 s]*
/proc/loadavg: 8.72 8.74 8.61 9/238 5870
/proc/meminfo: memFree=27820344/32770624 swapFree=66997372/67108860
[pid=5842] ppid=5839 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5842/stat : 5842 (xcsp3-exec) S 5839 5842 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445970850 115843072 363 33554432000 4194304 5098028 140721328563744 140721328561848 139981177442940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22401024 140721328571258 140721328571501 140721328571501 140721328574410 0
/proc/5842/statm: 28282 363 304 221 0 87 0
[pid=5844] ppid=5842 vsize=15619152 memory=247500 CPUtime=119.62 cores=0,2,4,6
/proc/5844/stat : 5844 (java) S 5842 5842 24272 0 -1 1077944320 45474 0 0 0 11944 18 0 0 20 0 19 0 445970851 15994011648 61875 33554432000 4194304 4196468 140729165566432 140729165548976 140147269226231 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
/proc/5844/statm: 3904788 61875 3534 1 0 3865888 0
[pid=5844/tid=5845] ppid=5842 vsize=15619152 memory=8317482817917895235 CPUtime=1.17 cores=0,2,4,6
/proc/5844/task/5845/stat : 5845 (java) S 5842 5842 24272 0 -1 1077944384 11975 0 0 0 111 6 0 0 20 0 19 0 445970851 15994011648 61875 33554432000 4194304 4196468 140729165566432 140147273467008 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5846] ppid=5842 vsize=15619152 memory=4872558044660077418 CPUtime=0.04 cores=0,2,4,6
/proc/5844/task/5846/stat : 5846 (java) S 5842 5842 24272 0 -1 1077944384 1938 0 0 0 3 1 0 0 20 0 19 0 445970852 15994011648 61875 33554432000 4194304 4196468 140729165566432 140147205462672 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5847] ppid=5842 vsize=15619152 memory=6944656592455359580 CPUtime=0.04 cores=0,2,4,6
/proc/5844/task/5847/stat : 5847 (java) S 5842 5842 24272 0 -1 1077944384 621 0 0 0 3 1 0 0 20 0 19 0 445970852 15994011648 61875 33554432000 4194304 4196468 140729165566432 140147204409872 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5848] ppid=5842 vsize=15619152 memory=35044 CPUtime=0.03 cores=0,2,4,6
/proc/5844/task/5848/stat : 5848 (java) S 5842 5842 24272 0 -1 1077944384 1642 0 0 0 2 1 0 0 20 0 19 0 445970852 15994011648 61875 33554432000 4194304 4196468 140729165566432 140147203357072 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5849] ppid=5842 vsize=15619152 memory=35076 CPUtime=0.04 cores=0,2,4,6
/proc/5844/task/5849/stat : 5849 (java) S 5842 5842 24272 0 -1 1077944384 397 0 0 0 3 1 0 0 20 0 19 0 445970852 15994011648 61875 33554432000 4194304 4196468 140729165566432 140147202304272 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5850] ppid=5842 vsize=15619152 memory=7451599579749966439 CPUtime=0.01 cores=0,2,4,6
/proc/5844/task/5850/stat : 5850 (java) S 5842 5842 24272 0 -1 1077944384 759 0 0 0 1 0 0 0 20 0 19 0 445970853 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146804743024 140147269237378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5851] ppid=5842 vsize=15619152 memory=7451599579749966439 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5851/stat : 5851 (java) S 5842 5842 24272 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445970854 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146803689056 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5852] ppid=5842 vsize=15619152 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5852/stat : 5852 (java) S 5842 5842 24272 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 445970854 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146802636160 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5853] ppid=5842 vsize=15619152 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5853/stat : 5853 (java) S 5842 5842 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445970856 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146801584464 140147269244827 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5854] ppid=5842 vsize=15619152 memory=14689699524512400 CPUtime=2.78 cores=0,2,4,6
/proc/5844/task/5854/stat : 5854 (java) S 5842 5842 24272 0 -1 1077944384 8832 0 0 0 277 1 0 0 20 0 19 0 445970856 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146800531824 140147269237378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5855] ppid=5842 vsize=15619152 memory=0 CPUtime=2.69 cores=0,2,4,6
/proc/5844/task/5855/stat : 5855 (java) S 5842 5842 24272 0 -1 1077944384 6836 0 0 0 268 1 0 0 20 0 19 0 445970856 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146799479024 140147269237378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5856] ppid=5842 vsize=15619152 memory=0 CPUtime=0.96 cores=0,2,4,6
/proc/5844/task/5856/stat : 5856 (java) S 5842 5842 24272 0 -1 1077944384 7606 0 0 0 94 2 0 0 20 0 19 0 445970856 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146798426224 140147269237378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5857] ppid=5842 vsize=15619152 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5857/stat : 5857 (java) S 5842 5842 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445970856 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146797373664 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5858] ppid=5842 vsize=15619152 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5858/stat : 5858 (java) S 5842 5842 24272 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 19 0 445970857 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146729020592 140147269237378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5867] ppid=5842 vsize=15619152 memory=247476 CPUtime=24.52 cores=0,2,4,6
/proc/5844/task/5867/stat : 5867 (java) R 5842 5842 24272 0 -1 4202560 348 0 0 0 2452 0 0 0 20 0 19 0 445971403 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146714783000 140146890986344 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5868] ppid=5842 vsize=15619152 memory=96 CPUtime=24.73 cores=0,2,4,6
/proc/5844/task/5868/stat : 5868 (java) R 5842 5842 24272 0 -1 4202560 1219 0 0 0 2473 0 0 0 20 0 19 0 445971403 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146713733112 140146883817908 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5869] ppid=5842 vsize=15619152 memory=0 CPUtime=24.63 cores=0,2,4,6
/proc/5844/task/5869/stat : 5869 (java) R 5842 5842 24272 0 -1 4202560 222 0 0 0 2463 0 0 0 20 0 19 0 445971403 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146712678552 140146888911980 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5870] ppid=5842 vsize=15619152 memory=0 CPUtime=24.61 cores=0,2,4,6
/proc/5844/task/5870/stat : 5870 (java) R 5842 5842 24272 0 -1 4202560 690 0 0 0 2461 0 0 0 20 0 19 0 445971403 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146711625504 140146889023569 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
Current children cumulated CPU time: 119.62 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 248952 KiB

[startup+30.5113 s]
/proc/loadavg: 8.72 8.74 8.61 9/238 5870
/proc/meminfo: memFree=27820344/32770624 swapFree=66997372/67108860
[pid=5842] ppid=5839 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5842/stat : 5842 (xcsp3-exec) S 5839 5842 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445970850 115843072 363 33554432000 4194304 5098028 140721328563744 140721328561848 139981177442940 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22401024 140721328571258 140721328571501 140721328571501 140721328574410 0
/proc/5842/statm: 28282 363 304 221 0 87 0
[pid=5844] ppid=5842 vsize=15619152 memory=247500 CPUtime=120.02 cores=0,2,4,6
/proc/5844/stat : 5844 (java) S 5842 5842 24272 0 -1 1077944320 45475 0 0 0 11984 18 0 0 20 0 19 0 445970851 15994011648 61875 33554432000 4194304 4196468 140729165566432 140729165548976 140147269226231 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
/proc/5844/statm: 3904788 61875 3534 1 0 3865888 0
[pid=5844/tid=5845] ppid=5842 vsize=15619152 memory=247500 CPUtime=1.17 cores=0,2,4,6
/proc/5844/task/5845/stat : 5845 (java) S 5842 5842 24272 0 -1 1077944384 11975 0 0 0 111 6 0 0 20 0 19 0 445970851 15994011648 61875 33554432000 4194304 4196468 140729165566432 140147273467008 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5846] ppid=5842 vsize=15619152 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/5844/task/5846/stat : 5846 (java) S 5842 5842 24272 0 -1 1077944384 1938 0 0 0 3 1 0 0 20 0 19 0 445970852 15994011648 61875 33554432000 4194304 4196468 140729165566432 140147205462672 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5847] ppid=5842 vsize=15619152 memory=236692 CPUtime=0.04 cores=0,2,4,6
/proc/5844/task/5847/stat : 5847 (java) S 5842 5842 24272 0 -1 1077944384 621 0 0 0 3 1 0 0 20 0 19 0 445970852 15994011648 61875 33554432000 4194304 4196468 140729165566432 140147204409872 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5848] ppid=5842 vsize=15619152 memory=5095 CPUtime=0.03 cores=0,2,4,6
/proc/5844/task/5848/stat : 5848 (java) S 5842 5842 24272 0 -1 1077944384 1642 0 0 0 2 1 0 0 20 0 19 0 445970852 15994011648 61875 33554432000 4194304 4196468 140729165566432 140147203357072 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5849] ppid=5842 vsize=15619152 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/5844/task/5849/stat : 5849 (java) S 5842 5842 24272 0 -1 1077944384 397 0 0 0 3 1 0 0 20 0 19 0 445970852 15994011648 61875 33554432000 4194304 4196468 140729165566432 140147202304272 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5850] ppid=5842 vsize=15619152 memory=234444 CPUtime=0.01 cores=0,2,4,6
/proc/5844/task/5850/stat : 5850 (java) S 5842 5842 24272 0 -1 1077944384 759 0 0 0 1 0 0 0 20 0 19 0 445970853 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146804743024 140147269237378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5851] ppid=5842 vsize=15619152 memory=33 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5851/stat : 5851 (java) S 5842 5842 24272 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445970854 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146803689056 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5852] ppid=5842 vsize=15619152 memory=-7880843606118635149 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5852/stat : 5852 (java) S 5842 5842 24272 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 445970854 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146802636160 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5853] ppid=5842 vsize=15619152 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5853/stat : 5853 (java) S 5842 5842 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445970856 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146801584464 140147269244827 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5854] ppid=5842 vsize=15619152 memory=247500 CPUtime=2.78 cores=0,2,4,6
/proc/5844/task/5854/stat : 5854 (java) S 5842 5842 24272 0 -1 1077944384 8832 0 0 0 277 1 0 0 20 0 19 0 445970856 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146800531824 140147269237378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5855] ppid=5842 vsize=15619152 memory=48344 CPUtime=2.69 cores=0,2,4,6
/proc/5844/task/5855/stat : 5855 (java) S 5842 5842 24272 0 -1 1077944384 6836 0 0 0 268 1 0 0 20 0 19 0 445970856 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146799479024 140147269237378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5856] ppid=5842 vsize=15619152 memory=3028 CPUtime=0.96 cores=0,2,4,6
/proc/5844/task/5856/stat : 5856 (java) S 5842 5842 24272 0 -1 1077944384 7606 0 0 0 94 2 0 0 20 0 19 0 445970856 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146798426224 140147269237378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5857] ppid=5842 vsize=15619152 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5857/stat : 5857 (java) S 5842 5842 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445970856 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146797373664 140147269236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5858] ppid=5842 vsize=15619152 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5844/task/5858/stat : 5858 (java) S 5842 5842 24272 0 -1 1077944384 436 0 0 0 0 0 0 0 20 0 19 0 445970857 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146729020592 140147269237378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5867] ppid=5842 vsize=15619152 memory=1452 CPUtime=24.62 cores=0,2,4,6
/proc/5844/task/5867/stat : 5867 (java) R 5842 5842 24272 0 -1 4202560 348 0 0 0 2462 0 0 0 20 0 19 0 445971403 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146714783000 140146888345616 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5868] ppid=5842 vsize=15619152 memory=140258179428865 CPUtime=24.83 cores=0,2,4,6
/proc/5844/task/5868/stat : 5868 (java) R 5842 5842 24272 0 -1 4202560 1220 0 0 0 2483 0 0 0 20 0 19 0 445971403 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146713733112 140146883817908 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5869] ppid=5842 vsize=15619152 memory=-7161732098442470212 CPUtime=24.73 cores=0,2,4,6
/proc/5844/task/5869/stat : 5869 (java) R 5842 5842 24272 0 -1 4202560 222 0 0 0 2473 0 0 0 20 0 19 0 445971403 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146712678552 140146890326473 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
[pid=5844/tid=5870] ppid=5842 vsize=15619152 memory=3504 CPUtime=24.71 cores=0,2,4,6
/proc/5844/task/5870/stat : 5870 (java) R 5842 5842 24272 0 -1 4202560 690 0 0 0 2471 0 0 0 20 0 19 0 445971403 15994011648 61875 33554432000 4194304 4196468 140729165566432 140146711625504 140146887808308 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6660096 140729165575151 140729165575322 140729165575322 140729165578191 0
Current children cumulated CPU time: 120.02 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 248952 KiB

Child status: 0
Real time (s): 30.5346
CPU time (s): 120.103
CPU user time (s): 119.905
CPU system time (s): 0.197307
CPU usage (%): 393.333
Max. virtual memory (cumulated for all children) (KiB): 15732280
Max. memory (cumulated for all children) (KiB): 250440

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 119.905
system time used= 0.197307
maximum resident set size= 248988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46712
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= 3574
involuntary context switches= 3283


# summary of solver processes directly reported to runsolver:
#   pid: 5842
#   total CPU time (s): 120.103
#   total CPU user time (s): 119.905
#   total CPU system time (s): 0.197307

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.218948 second user time and 0.372515 second system time

The end

Name	OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-pb-30-15-1.xml
MD5SUM	200d8ff13be0114d953e34120514972f
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	14
Best CPU time to get the best result obtained on this benchmark	67.0084
Satisfiable
(Un)Satisfiability was proved
Number of variables	1380
Number of constraints	1366
Number of domains	8
Minimum domain size	2
Maximum domain size	16
Distribution of domain sizes	[{"size":2,"count":960},{"size":3,"count":120},{"size":4,"count":165},{"size":5,"count":60},{"size":6,"count":15},{"size":7,"count":30},{"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 4400615

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