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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14 parallel	OPT	14	265.457	34.2091

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394655-1568447451.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4394655-1568447451.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
4.95/1.44	c solve instance...
18.86/3.21	o 15 
21.12/3.55	o 14 
264.78/34.19	s OPTIMUM FOUND
264.78/34.19	v <instantiation>
264.78/34.19	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>
264.78/34.19	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>
264.78/34.19	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 (14731 MiB free)
  memory of node 1: 16384 MiB (15167 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394655-1568447451/watcher-4394655-1568447451 -o /tmp/evaluation-result-4394655-1568447451/solver-4394655-1568447451 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568441213-25033 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 642529774 HOME/instance-4394655-1568447451.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25638, runsolver pid=25635
Current StackSize limit: 8192 KiB


[startup+0.100111 s]*
/proc/loadavg: 7.21 7.92 8.07 2/210 25659
/proc/meminfo: memFree=30598148/32770624 swapFree=66997844/67108860
[pid=25638] ppid=25635 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25638/stat : 25638 (xcsp3-exec) S 25635 25638 25006 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420999742 115843072 363 33554432000 4194304 5098028 140729258984176 140729258982280 140158056813180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36524032 140729258992502 140729258992745 140729258992745 140729258995658 0
/proc/25638/statm: 28282 363 304 221 0 87 0
[pid=25640] ppid=25638 vsize=28227388 memory=30076 CPUtime=0.12 cores=0-7
/proc/25640/stat : 25640 (java) S 25638 25638 25006 0 -1 1077944320 5484 0 0 0 11 1 0 0 20 0 20 0 420999743 28904845312 7519 33554432000 4194304 4196468 140734358741024 140734358723568 140352729714423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
/proc/25640/statm: 7056847 7519 3120 1 0 7019032 0
[pid=25640/tid=25641] ppid=25638 vsize=28227388 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/25640/task/25641/stat : 25641 (java) R 25638 25638 25006 0 -1 4202560 3393 0 0 0 8 1 0 0 20 0 20 0 420999743 28904845312 7519 33554432000 4194304 4196468 140734358741024 140352733947696 140352729726358 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25642] ppid=25638 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25642/stat : 25642 (java) S 25638 25638 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999744 28904845312 7519 33554432000 4194304 4196468 140734358741024 140352281500816 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25643] ppid=25638 vsize=28227388 memory=139817527178520 CPUtime=0 cores=0-7
/proc/25640/task/25643/stat : 25643 (java) S 25638 25638 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999744 28904845312 7519 33554432000 4194304 4196468 140734358741024 140352280448016 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25644] ppid=25638 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25644/stat : 25644 (java) S 25638 25638 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999744 28904845312 7519 33554432000 4194304 4196468 140734358741024 140352279395216 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25645] ppid=25638 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25645/stat : 25645 (java) S 25638 25638 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999744 28904845312 7519 33554432000 4194304 4196468 140734358741024 140352278342416 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25646] ppid=25638 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25646/stat : 25646 (java) S 25638 25638 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999744 28904845312 7519 33554432000 4194304 4196468 140734358741024 140352277289616 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25647] ppid=25638 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/25640/task/25647/stat : 25647 (java) S 25638 25638 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999744 28904845312 7519 33554432000 4194304 4196468 140734358741024 140352276236816 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25648] ppid=25638 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25648/stat : 25648 (java) S 25638 25638 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999744 28904845312 7519 33554432000 4194304 4196468 140734358741024 140352275184016 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25649] ppid=25638 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25649/stat : 25649 (java) S 25638 25638 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420999744 28904845312 7519 33554432000 4194304 4196468 140734358741024 140352274131216 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25650] ppid=25638 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25650/stat : 25650 (java) S 25638 25638 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999745 28904845312 7519 33554432000 4194304 4196468 140734358741024 140352114518896 140352729725570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25651] ppid=25638 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25651/stat : 25651 (java) S 25638 25638 25006 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420999746 28904845312 7519 33554432000 4194304 4196468 140734358741024 140352113464864 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25652] ppid=25638 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25652/stat : 25652 (java) S 25638 25638 25006 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420999746 28904845312 7519 33554432000 4194304 4196468 140734358741024 140352112412016 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25653] ppid=25638 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25653/stat : 25653 (java) S 25638 25638 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999748 28904845312 7519 33554432000 4194304 4196468 140734358741024 140352111360336 140352729733019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25654] ppid=25638 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25654/stat : 25654 (java) S 25638 25638 25006 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 20 0 420999748 28904845312 7519 33554432000 4194304 4196468 140734358741024 140352110307696 140352729725570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25655] ppid=25638 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25655/stat : 25655 (java) S 25638 25638 25006 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 420999748 28904845312 7519 33554432000 4194304 4196468 140734358741024 140352109254896 140352729725570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25656] ppid=25638 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25656/stat : 25656 (java) S 25638 25638 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420999748 28904845312 7519 33554432000 4194304 4196468 140734358741024 140352108202096 140352729725570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25657] ppid=25638 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/25640/task/25657/stat : 25657 (java) S 25638 25638 25006 0 -1 1077944384 352 0 0 0 2 0 0 0 20 0 20 0 420999748 28904845312 7519 33554432000 4194304 4196468 140734358741024 140352107149296 140352729725570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25658] ppid=25638 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25658/stat : 25658 (java) S 25638 25638 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420999749 28904845312 7519 33554432000 4194304 4196468 140734358741024 140352106097760 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25659] ppid=25638 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/25640/task/25659/stat : 25659 (java) S 25638 25638 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999749 28904845312 7519 33554432000 4194304 4196468 140734358741024 140352105045040 140352729725570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 31528 KiB

[startup+0.210043 s]*
/proc/loadavg: 7.21 7.92 8.07 2/210 25659
/proc/meminfo: memFree=30584972/32770624 swapFree=66997844/67108860
[pid=25638] ppid=25635 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25638/stat : 25638 (xcsp3-exec) S 25635 25638 25006 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420999742 115843072 363 33554432000 4194304 5098028 140729258984176 140729258982280 140158056813180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36524032 140729258992502 140729258992745 140729258992745 140729258995658 0
/proc/25638/statm: 28282 363 304 221 0 87 0
[pid=25640] ppid=25638 vsize=28227388 memory=41244 CPUtime=0.34 cores=0-7
/proc/25640/stat : 25640 (java) S 25638 25638 25006 0 -1 1077944320 9022 0 0 0 31 3 0 0 20 0 20 0 420999743 28904845312 10311 33554432000 4194304 4196468 140734358741024 140734358723568 140352729714423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
/proc/25640/statm: 7056847 10311 3272 1 0 7019032 0
[pid=25640/tid=25641] ppid=25638 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/25640/task/25641/stat : 25641 (java) R 25638 25638 25006 0 -1 4202560 6211 0 0 0 18 2 0 0 20 0 20 0 420999743 28904845312 10311 33554432000 4194304 4196468 140734358741024 140352733948544 140352713794910 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25642] ppid=25638 vsize=28227388 memory=288230591823085922 CPUtime=0 cores=0-7
/proc/25640/task/25642/stat : 25642 (java) S 25638 25638 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999744 28904845312 10311 33554432000 4194304 4196468 140734358741024 140352281500816 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25643] ppid=25638 vsize=28227388 memory=3619119892363540128 CPUtime=0 cores=0-7
/proc/25640/task/25643/stat : 25643 (java) S 25638 25638 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999744 28904845312 10311 33554432000 4194304 4196468 140734358741024 140352280448016 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25644] ppid=25638 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/25640/task/25644/stat : 25644 (java) S 25638 25638 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999744 28904845312 10311 33554432000 4194304 4196468 140734358741024 140352279395216 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25645] ppid=25638 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25645/stat : 25645 (java) S 25638 25638 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999744 28904845312 10311 33554432000 4194304 4196468 140734358741024 140352278342416 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25646] ppid=25638 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25646/stat : 25646 (java) S 25638 25638 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999744 28904845312 10311 33554432000 4194304 4196468 140734358741024 140352277289616 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25647] ppid=25638 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/25640/task/25647/stat : 25647 (java) S 25638 25638 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999744 28904845312 10311 33554432000 4194304 4196468 140734358741024 140352276236816 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25648] ppid=25638 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25648/stat : 25648 (java) S 25638 25638 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999744 28904845312 10311 33554432000 4194304 4196468 140734358741024 140352275184016 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25649] ppid=25638 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25649/stat : 25649 (java) S 25638 25638 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420999744 28904845312 10311 33554432000 4194304 4196468 140734358741024 140352274131216 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25650] ppid=25638 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25650/stat : 25650 (java) S 25638 25638 25006 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420999745 28904845312 10311 33554432000 4194304 4196468 140734358741024 140352114518896 140352729725570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25651] ppid=25638 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25651/stat : 25651 (java) S 25638 25638 25006 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420999746 28904845312 10311 33554432000 4194304 4196468 140734358741024 140352113464864 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25652] ppid=25638 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25652/stat : 25652 (java) S 25638 25638 25006 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420999746 28904845312 10311 33554432000 4194304 4196468 140734358741024 140352112412016 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25653] ppid=25638 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25653/stat : 25653 (java) S 25638 25638 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999748 28904845312 10311 33554432000 4194304 4196468 140734358741024 140352111360336 140352729733019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25654] ppid=25638 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/25640/task/25654/stat : 25654 (java) S 25638 25638 25006 0 -1 1077944384 560 0 0 0 2 0 0 0 20 0 20 0 420999748 28904845312 10311 33554432000 4194304 4196468 140734358741024 140352110307696 140352729725570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25655] ppid=25638 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/25640/task/25655/stat : 25655 (java) S 25638 25638 25006 0 -1 1077944384 198 0 0 0 1 0 0 0 20 0 20 0 420999748 28904845312 10311 33554432000 4194304 4196468 140734358741024 140352109254896 140352729725570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25656] ppid=25638 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/25640/task/25656/stat : 25656 (java) S 25638 25638 25006 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 420999748 28904845312 10311 33554432000 4194304 4196468 140734358741024 140352108202096 140352729725570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25657] ppid=25638 vsize=28227388 memory=0 CPUtime=0.08 cores=0-7
/proc/25640/task/25657/stat : 25657 (java) R 25638 25638 25006 0 -1 4202560 732 0 0 0 8 0 0 0 20 0 20 0 420999748 28904845312 10311 33554432000 4194304 4196468 140734358741024 140352107149296 140352708419160 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25658] ppid=25638 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25658/stat : 25658 (java) S 25638 25638 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420999749 28904845312 10311 33554432000 4194304 4196468 140734358741024 140352106097760 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25659] ppid=25638 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/25640/task/25659/stat : 25659 (java) S 25638 25638 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999749 28904845312 10311 33554432000 4194304 4196468 140734358741024 140352105045040 140352729725570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42696 KiB

[startup+0.309628 s]*
/proc/loadavg: 7.21 7.92 8.07 4/210 25659
/proc/meminfo: memFree=30579164/32770624 swapFree=66997844/67108860
[pid=25638] ppid=25635 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25638/stat : 25638 (xcsp3-exec) S 25635 25638 25006 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420999742 115843072 363 33554432000 4194304 5098028 140729258984176 140729258982280 140158056813180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36524032 140729258992502 140729258992745 140729258992745 140729258995658 0
/proc/25638/statm: 28282 363 304 221 0 87 0
[pid=25640] ppid=25638 vsize=28231644 memory=49960 CPUtime=0.52 cores=0-7
/proc/25640/stat : 25640 (java) S 25638 25638 25006 0 -1 1077944320 10351 0 0 0 49 3 0 0 20 0 20 0 420999743 28909203456 12490 33554432000 4194304 4196468 140734358741024 140734358723568 140352729714423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
/proc/25640/statm: 7057911 12490 3361 1 0 7019032 0
[pid=25640/tid=25641] ppid=25638 vsize=28231644 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/25640/task/25641/stat : 25641 (java) R 25638 25638 25006 0 -1 4202560 7301 0 0 0 27 2 0 0 20 0 20 0 420999743 28909203456 12490 33554432000 4194304 4196468 140734358741024 140352733945536 140352713794910 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25642] ppid=25638 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25642/stat : 25642 (java) S 25638 25638 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999744 28909203456 12490 33554432000 4194304 4196468 140734358741024 140352281500816 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25643] ppid=25638 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25643/stat : 25643 (java) S 25638 25638 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999744 28909203456 12490 33554432000 4194304 4196468 140734358741024 140352280448016 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25644] ppid=25638 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25644/stat : 25644 (java) S 25638 25638 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999744 28909203456 12490 33554432000 4194304 4196468 140734358741024 140352279395216 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25645] ppid=25638 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25645/stat : 25645 (java) S 25638 25638 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999744 28909203456 12490 33554432000 4194304 4196468 140734358741024 140352278342416 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25646] ppid=25638 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25646/stat : 25646 (java) S 25638 25638 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999744 28909203456 12490 33554432000 4194304 4196468 140734358741024 140352277289616 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25647] ppid=25638 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25647/stat : 25647 (java) S 25638 25638 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999744 28909203456 12490 33554432000 4194304 4196468 140734358741024 140352276236816 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25648] ppid=25638 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25648/stat : 25648 (java) S 25638 25638 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999744 28909203456 12490 33554432000 4194304 4196468 140734358741024 140352275184016 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25649] ppid=25638 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25649/stat : 25649 (java) S 25638 25638 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420999744 28909203456 12490 33554432000 4194304 4196468 140734358741024 140352274131216 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25650] ppid=25638 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25650/stat : 25650 (java) S 25638 25638 25006 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 420999745 28909203456 12490 33554432000 4194304 4196468 140734358741024 140352114518896 140352729725570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25651] ppid=25638 vsize=28231644 memory=279634851863936 CPUtime=0 cores=0-7
/proc/25640/task/25651/stat : 25651 (java) S 25638 25638 25006 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420999746 28909203456 12490 33554432000 4194304 4196468 140734358741024 140352113464864 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25652] ppid=25638 vsize=28231644 memory=279634851868544 CPUtime=0 cores=0-7
/proc/25640/task/25652/stat : 25652 (java) S 25638 25638 25006 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420999746 28909203456 12490 33554432000 4194304 4196468 140734358741024 140352112412016 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25653] ppid=25638 vsize=28231644 memory=279634851873152 CPUtime=0 cores=0-7
/proc/25640/task/25653/stat : 25653 (java) S 25638 25638 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999748 28909203456 12490 33554432000 4194304 4196468 140734358741024 140352111360336 140352729733019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25654] ppid=25638 vsize=28231644 memory=279634851877760 CPUtime=0.04 cores=0-7
/proc/25640/task/25654/stat : 25654 (java) R 25638 25638 25006 0 -1 4202560 664 0 0 0 4 0 0 0 20 0 20 0 420999748 28909203456 12490 33554432000 4194304 4196468 140734358741024 140352110298080 140352711258518 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25655] ppid=25638 vsize=28231644 memory=279634851882368 CPUtime=0.02 cores=0-7
/proc/25640/task/25655/stat : 25655 (java) S 25638 25638 25006 0 -1 1077944384 210 0 0 0 2 0 0 0 20 0 20 0 420999748 28909203456 12490 33554432000 4194304 4196468 140734358741024 140352109254896 140352729725570 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25656] ppid=25638 vsize=28231644 memory=279634851886976 CPUtime=0.02 cores=0-7
/proc/25640/task/25656/stat : 25656 (java) S 25638 25638 25006 0 -1 1077944384 36 0 0 0 2 0 0 0 20 0 20 0 420999748 28909203456 12490 33554432000 4194304 4196468 140734358741024 140352108202096 140352729725570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25657] ppid=25638 vsize=28231644 memory=279634851891584 CPUtime=0.13 cores=0-7
/proc/25640/task/25657/stat : 25657 (java) S 25638 25638 25006 0 -1 1077944384 830 0 0 0 13 0 0 0 20 0 20 0 420999748 28909203456 12490 33554432000 4194304 4196468 140734358741024 140352107149296 140352729725570 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25658] ppid=25638 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25658/stat : 25658 (java) S 25638 25638 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420999749 28909203456 12490 33554432000 4194304 4196468 140734358741024 140352106097760 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25659] ppid=25638 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/25640/task/25659/stat : 25659 (java) S 25638 25638 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999749 28909203456 12490 33554432000 4194304 4196468 140734358741024 140352105045040 140352729725570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51412 KiB

[startup+0.700911 s]
/proc/loadavg: 7.21 7.92 8.07 6/210 25659
/proc/meminfo: memFree=30558820/32770624 swapFree=66997844/67108860
[pid=25638] ppid=25635 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25638/stat : 25638 (xcsp3-exec) S 25635 25638 25006 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420999742 115843072 363 33554432000 4194304 5098028 140729258984176 140729258982280 140158056813180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36524032 140729258992502 140729258992745 140729258992745 140729258995658 0
/proc/25638/statm: 28282 363 304 221 0 87 0
[pid=25640] ppid=25638 vsize=28233768 memory=94344 CPUtime=1.96 cores=0-7
/proc/25640/stat : 25640 (java) S 25638 25638 25006 0 -1 1077944320 15396 0 0 0 190 6 0 0 20 0 20 0 420999743 28911378432 23586 33554432000 4194304 4196468 140734358741024 140734358723568 140352729714423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
/proc/25640/statm: 7058442 23586 3461 1 0 7019544 0
[pid=25640/tid=25641] ppid=25638 vsize=28233768 memory=4580 CPUtime=0.67 cores=0-7
/proc/25640/task/25641/stat : 25641 (java) R 25638 25638 25006 0 -1 4202560 8396 0 0 0 64 3 0 0 20 0 20 0 420999743 28911378432 23586 33554432000 4194304 4196468 140734358741024 140352733948976 140352729726358 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25642] ppid=25638 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25642/stat : 25642 (java) S 25638 25638 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999744 28911378432 23586 33554432000 4194304 4196468 140734358741024 140352281500816 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25643] ppid=25638 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25643/stat : 25643 (java) S 25638 25638 25006 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420999744 28911378432 23586 33554432000 4194304 4196468 140734358741024 140352280448016 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25644] ppid=25638 vsize=28233768 memory=4008 CPUtime=0 cores=0-7
/proc/25640/task/25644/stat : 25644 (java) S 25638 25638 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420999744 28911378432 23586 33554432000 4194304 4196468 140734358741024 140352279395216 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0

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

[pid=25640/tid=25678] ppid=25638 vsize=28768328 memory=3180 CPUtime=27.2 cores=0-7
/proc/25640/task/25678/stat : 25678 (java) R 25638 25638 25006 0 -1 4202560 6037 0 0 0 2709 11 0 0 20 0 28 0 421000098 29458767872 176819 33554432000 4194304 4196468 140734358741024 140352092684968 140352382066824 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25679] ppid=25638 vsize=28768328 memory=1452 CPUtime=27.26 cores=0-7
/proc/25640/task/25679/stat : 25679 (java) R 25638 25638 25006 0 -1 4202560 1759 0 0 0 2723 3 0 0 20 0 28 0 421000098 29458767872 176819 33554432000 4194304 4196468 140734358741024 140352091631592 140352382813944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25680] ppid=25638 vsize=28768328 memory=707276 CPUtime=27.62 cores=0-7
/proc/25640/task/25680/stat : 25680 (java) R 25638 25638 25006 0 -1 4202560 796 0 0 0 2761 1 0 0 20 0 28 0 421000098 29458767872 176819 33554432000 4194304 4196468 140734358741024 140352088474040 140352376129285 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25681] ppid=25638 vsize=28768328 memory=1164 CPUtime=27.63 cores=0-7
/proc/25640/task/25681/stat : 25681 (java) R 25638 25638 25006 0 -1 4202560 750 0 0 0 2763 0 0 0 20 0 28 0 421000098 29458767872 176819 33554432000 4194304 4196468 140734358741024 140352086367408 140352377670090 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25682] ppid=25638 vsize=28768328 memory=8317482817917895235 CPUtime=27.81 cores=0-7
/proc/25640/task/25682/stat : 25682 (java) R 25638 25638 25006 0 -1 4202560 325 0 0 0 2781 0 0 0 20 0 28 0 421000098 29458767872 176819 33554432000 4194304 4196468 140734358741024 140352089527480 140352376129347 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25683] ppid=25638 vsize=28768328 memory=2359 CPUtime=27.82 cores=0-7
/proc/25640/task/25683/stat : 25683 (java) R 25638 25638 25006 0 -1 4202560 697 0 0 0 2782 0 0 0 20 0 28 0 421000098 29458767872 176819 33554432000 4194304 4196468 140734358741024 140352093737272 140352377700236 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
Current children cumulated CPU time: 248.01 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 708728 KiB

[startup+33.6013 s]
/proc/loadavg: 7.98 8.06 8.11 9/219 25693
/proc/meminfo: memFree=29863260/32770624 swapFree=66997844/67108860
[pid=25638] ppid=25635 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25638/stat : 25638 (xcsp3-exec) S 25635 25638 25006 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420999742 115843072 363 33554432000 4194304 5098028 140729258984176 140729258982280 140158056813180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36524032 140729258992502 140729258992745 140729258992745 140729258995658 0
/proc/25638/statm: 28282 363 304 221 0 87 0
[pid=25640] ppid=25638 vsize=28768328 memory=792208 CPUtime=260.72 cores=0-7
/proc/25640/stat : 25640 (java) S 25638 25638 25006 0 -1 1077944320 83555 0 0 0 25995 77 0 0 20 0 28 0 420999743 29458767872 198052 33554432000 4194304 4196468 140734358741024 140734358723568 140352729714423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
/proc/25640/statm: 7192082 198052 3543 1 0 7153184 0
[pid=25640/tid=25641] ppid=25638 vsize=28768328 memory=27444 CPUtime=1.45 cores=0-7
/proc/25640/task/25641/stat : 25641 (java) S 25638 25638 25006 0 -1 1077944384 10592 0 0 0 139 6 0 0 20 0 28 0 420999743 29458767872 198052 33554432000 4194304 4196468 140734358741024 140352733955200 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25642] ppid=25638 vsize=28768328 memory=984 CPUtime=0.1 cores=0-7
/proc/25640/task/25642/stat : 25642 (java) S 25638 25638 25006 0 -1 1077944384 206 0 0 0 7 3 0 0 20 0 28 0 420999744 29458767872 198052 33554432000 4194304 4196468 140734358741024 140352281500816 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25643] ppid=25638 vsize=28768328 memory=2024 CPUtime=0.1 cores=0-7
/proc/25640/task/25643/stat : 25643 (java) S 25638 25638 25006 0 -1 1077944384 614 0 0 0 7 3 0 0 20 0 28 0 420999744 29458767872 198052 33554432000 4194304 4196468 140734358741024 140352280448016 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25644] ppid=25638 vsize=28768328 memory=1380 CPUtime=0.11 cores=0-7
/proc/25640/task/25644/stat : 25644 (java) S 25638 25638 25006 0 -1 1077944384 603 0 0 0 7 4 0 0 20 0 28 0 420999744 29458767872 198052 33554432000 4194304 4196468 140734358741024 140352279395216 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25645] ppid=25638 vsize=28768328 memory=1128 CPUtime=0.11 cores=0-7
/proc/25640/task/25645/stat : 25645 (java) S 25638 25638 25006 0 -1 1077944384 3809 0 0 0 7 4 0 0 20 0 28 0 420999744 29458767872 198052 33554432000 4194304 4196468 140734358741024 140352278342416 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25646] ppid=25638 vsize=28768328 memory=772 CPUtime=0.11 cores=0-7
/proc/25640/task/25646/stat : 25646 (java) S 25638 25638 25006 0 -1 1077944384 413 0 0 0 8 3 0 0 20 0 28 0 420999744 29458767872 198052 33554432000 4194304 4196468 140734358741024 140352277289616 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25647] ppid=25638 vsize=28768328 memory=6791534058613427641 CPUtime=0.09 cores=0-7
/proc/25640/task/25647/stat : 25647 (java) S 25638 25638 25006 0 -1 1077944384 2088 0 0 0 6 3 0 0 20 0 28 0 420999744 29458767872 198052 33554432000 4194304 4196468 140734358741024 140352276236816 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25648] ppid=25638 vsize=28768328 memory=707276 CPUtime=0.1 cores=0-7
/proc/25640/task/25648/stat : 25648 (java) S 25638 25638 25006 0 -1 1077944384 260 0 0 0 7 3 0 0 20 0 28 0 420999744 29458767872 198052 33554432000 4194304 4196468 140734358741024 140352275184016 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25649] ppid=25638 vsize=28768328 memory=1452 CPUtime=0.11 cores=0-7
/proc/25640/task/25649/stat : 25649 (java) S 25638 25638 25006 0 -1 1077944384 566 0 0 0 7 4 0 0 20 0 28 0 420999744 29458767872 198052 33554432000 4194304 4196468 140734358741024 140352274131216 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25650] ppid=25638 vsize=28768328 memory=707276 CPUtime=0.03 cores=0-7
/proc/25640/task/25650/stat : 25650 (java) S 25638 25638 25006 0 -1 1077944384 1522 0 0 0 2 1 0 0 20 0 28 0 420999745 29458767872 198052 33554432000 4194304 4196468 140734358741024 140352114518896 140352729725570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25651] ppid=25638 vsize=28768328 memory=1164 CPUtime=0 cores=0-7
/proc/25640/task/25651/stat : 25651 (java) S 25638 25638 25006 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 420999746 29458767872 198052 33554432000 4194304 4196468 140734358741024 140352113464928 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25652] ppid=25638 vsize=28768328 memory=1808 CPUtime=0 cores=0-7
/proc/25640/task/25652/stat : 25652 (java) S 25638 25638 25006 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 420999746 29458767872 198052 33554432000 4194304 4196468 140734358741024 140352112412032 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25653] ppid=25638 vsize=28768328 memory=920 CPUtime=0 cores=0-7
/proc/25640/task/25653/stat : 25653 (java) S 25638 25638 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420999748 29458767872 198052 33554432000 4194304 4196468 140734358741024 140352111360336 140352729733019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25654] ppid=25638 vsize=28768328 memory=4760 CPUtime=3.96 cores=0-7
/proc/25640/task/25654/stat : 25654 (java) S 25638 25638 25006 0 -1 1077944384 13987 0 0 0 393 3 0 0 20 0 28 0 420999748 29458767872 198052 33554432000 4194304 4196468 140734358741024 140352110307696 140352729725570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25655] ppid=25638 vsize=28768328 memory=1452 CPUtime=3.97 cores=0-7
/proc/25640/task/25655/stat : 25655 (java) S 25638 25638 25006 0 -1 1077944384 10375 0 0 0 395 2 0 0 20 0 28 0 420999748 29458767872 198052 33554432000 4194304 4196468 140734358741024 140352109254896 140352729725570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25656] ppid=25638 vsize=28768328 memory=707276 CPUtime=4.22 cores=0-7
/proc/25640/task/25656/stat : 25656 (java) S 25638 25638 25006 0 -1 1077944384 11428 0 0 0 419 3 0 0 20 0 28 0 420999748 29458767872 198052 33554432000 4194304 4196468 140734358741024 140352108202096 140352729725570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25657] ppid=25638 vsize=28768328 memory=37 CPUtime=1.4 cores=0-7
/proc/25640/task/25657/stat : 25657 (java) S 25638 25638 25006 0 -1 1077944384 11741 0 0 0 137 3 0 0 20 0 28 0 420999748 29458767872 198052 33554432000 4194304 4196468 140734358741024 140352107149296 140352729725570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25658] ppid=25638 vsize=28768328 memory=2024 CPUtime=0 cores=0-7
/proc/25640/task/25658/stat : 25658 (java) S 25638 25638 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420999749 29458767872 198052 33554432000 4194304 4196468 140734358741024 140352106097760 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25659] ppid=25638 vsize=28768328 memory=1380 CPUtime=0.01 cores=0-7
/proc/25640/task/25659/stat : 25659 (java) S 25638 25638 25006 0 -1 1077944384 407 0 0 0 0 1 0 0 20 0 28 0 420999749 29458767872 198052 33554432000 4194304 4196468 140734358741024 140352105045040 140352729725570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25676] ppid=25638 vsize=28768328 memory=1128 CPUtime=29.02 cores=0-7
/proc/25640/task/25676/stat : 25676 (java) R 25638 25638 25006 0 -1 4202560 669 0 0 0 2901 1 0 0 20 0 28 0 421000098 29458767872 198052 33554432000 4194304 4196468 140734358741024 140352090578760 140352377397246 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25677] ppid=25638 vsize=28768328 memory=772 CPUtime=29.57 cores=0-7
/proc/25640/task/25677/stat : 25677 (java) R 25638 25638 25006 0 -1 4202560 402 0 0 0 2957 0 0 0 20 0 28 0 421000098 29458767872 198052 33554432000 4194304 4196468 140734358741024 140352087421752 140352377670115 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25678] ppid=25638 vsize=28768328 memory=4008 CPUtime=28.79 cores=0-7
/proc/25640/task/25678/stat : 25678 (java) R 25638 25638 25006 0 -1 4202560 6203 0 0 0 2865 14 0 0 20 0 28 0 421000098 29458767872 198052 33554432000 4194304 4196468 140734358741024 140352092684776 140352379720529 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25679] ppid=25638 vsize=28768328 memory=948 CPUtime=28.85 cores=0-7
/proc/25640/task/25679/stat : 25679 (java) R 25638 25638 25006 0 -1 4202560 2295 0 0 0 2882 3 0 0 20 0 28 0 421000098 29458767872 198052 33554432000 4194304 4196468 140734358741024 140352091631592 140352371283799 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25680] ppid=25638 vsize=28768328 memory=1128 CPUtime=29.21 cores=0-7
/proc/25640/task/25680/stat : 25680 (java) R 25638 25638 25006 0 -1 4202560 815 0 0 0 2920 1 0 0 20 0 28 0 421000098 29458767872 198052 33554432000 4194304 4196468 140734358741024 140352088474040 140352378391145 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25681] ppid=25638 vsize=28768328 memory=772 CPUtime=29.2 cores=0-7
/proc/25640/task/25681/stat : 25681 (java) R 25638 25638 25006 0 -1 4202560 756 0 0 0 2919 1 0 0 20 0 28 0 421000098 29458767872 198052 33554432000 4194304 4196468 140734358741024 140352086367408 140352378516720 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25682] ppid=25638 vsize=28768328 memory=4008 CPUtime=29.4 cores=0-7
/proc/25640/task/25682/stat : 25682 (java) R 25638 25638 25006 0 -1 4202560 327 0 0 0 2940 0 0 0 20 0 28 0 421000098 29458767872 198052 33554432000 4194304 4196468 140734358741024 140352089527480 140352378393407 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25683] ppid=25638 vsize=28768328 memory=948 CPUtime=29.41 cores=0-7
/proc/25640/task/25683/stat : 25683 (java) R 25638 25638 25006 0 -1 4202560 702 0 0 0 2941 0 0 0 20 0 28 0 421000098 29458767872 198052 33554432000 4194304 4196468 140734358741024 140352093737272 140352378041509 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
Current children cumulated CPU time: 260.72 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 793660 KiB

[startup+34.0013 s]*
/proc/loadavg: 7.98 8.06 8.11 9/219 25693
/proc/meminfo: memFree=29816404/32770624 swapFree=66997844/67108860
[pid=25638] ppid=25635 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25638/stat : 25638 (xcsp3-exec) S 25635 25638 25006 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420999742 115843072 363 33554432000 4194304 5098028 140729258984176 140729258982280 140158056813180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36524032 140729258992502 140729258992745 140729258992745 140729258995658 0
/proc/25638/statm: 28282 363 304 221 0 87 0
[pid=25640] ppid=25638 vsize=28768328 memory=812688 CPUtime=263.97 cores=0-7
/proc/25640/stat : 25640 (java) S 25638 25638 25006 0 -1 1077944320 83775 0 0 0 26320 77 0 0 20 0 28 0 420999743 29458767872 203172 33554432000 4194304 4196468 140734358741024 140734358723568 140352729714423 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
/proc/25640/statm: 7192082 203172 3543 1 0 7153184 0
[pid=25640/tid=25641] ppid=25638 vsize=28768328 memory=8317482817917895235 CPUtime=1.45 cores=0-7
/proc/25640/task/25641/stat : 25641 (java) S 25638 25638 25006 0 -1 1077944384 10592 0 0 0 139 6 0 0 20 0 28 0 420999743 29458767872 203172 33554432000 4194304 4196468 140734358741024 140352733955200 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25642] ppid=25638 vsize=28768328 memory=19456201855276 CPUtime=0.1 cores=0-7
/proc/25640/task/25642/stat : 25642 (java) S 25638 25638 25006 0 -1 1077944384 206 0 0 0 7 3 0 0 20 0 28 0 420999744 29458767872 203172 33554432000 4194304 4196468 140734358741024 140352281500816 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25643] ppid=25638 vsize=28768328 memory=6655300316396806240 CPUtime=0.1 cores=0-7
/proc/25640/task/25643/stat : 25643 (java) S 25638 25638 25006 0 -1 1077944384 614 0 0 0 7 3 0 0 20 0 28 0 420999744 29458767872 203172 33554432000 4194304 4196468 140734358741024 140352280448016 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25644] ppid=25638 vsize=28768328 memory=6656426216303648864 CPUtime=0.11 cores=0-7
/proc/25640/task/25644/stat : 25644 (java) S 25638 25638 25006 0 -1 1077944384 603 0 0 0 7 4 0 0 20 0 28 0 420999744 29458767872 203172 33554432000 4194304 4196468 140734358741024 140352279395216 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25645] ppid=25638 vsize=28768328 memory=6944652177228980320 CPUtime=0.11 cores=0-7
/proc/25640/task/25645/stat : 25645 (java) S 25638 25638 25006 0 -1 1077944384 3809 0 0 0 7 4 0 0 20 0 28 0 420999744 29458767872 203172 33554432000 4194304 4196468 140734358741024 140352278342416 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25646] ppid=25638 vsize=28768328 memory=6944656592387989600 CPUtime=0.11 cores=0-7
/proc/25640/task/25646/stat : 25646 (java) S 25638 25638 25006 0 -1 1077944384 413 0 0 0 8 3 0 0 20 0 28 0 420999744 29458767872 203684 33554432000 4194304 4196468 140734358741024 140352277289616 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25647] ppid=25638 vsize=28768328 memory=6655300316396806240 CPUtime=0.09 cores=0-7
/proc/25640/task/25647/stat : 25647 (java) S 25638 25638 25006 0 -1 1077944384 2088 0 0 0 6 3 0 0 20 0 28 0 420999744 29458767872 203684 33554432000 4194304 4196468 140734358741024 140352276236816 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25648] ppid=25638 vsize=28768328 memory=6944656592387989600 CPUtime=0.1 cores=0-7
/proc/25640/task/25648/stat : 25648 (java) S 25638 25638 25006 0 -1 1077944384 260 0 0 0 7 3 0 0 20 0 28 0 420999744 29458767872 203684 33554432000 4194304 4196468 140734358741024 140352275184016 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25649] ppid=25638 vsize=28768328 memory=1528 CPUtime=0.11 cores=0-7
/proc/25640/task/25649/stat : 25649 (java) S 25638 25638 25006 0 -1 1077944384 566 0 0 0 7 4 0 0 20 0 28 0 420999744 29458767872 203684 33554432000 4194304 4196468 140734358741024 140352274131216 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25650] ppid=25638 vsize=28768328 memory=0 CPUtime=0.03 cores=0-7
/proc/25640/task/25650/stat : 25650 (java) S 25638 25638 25006 0 -1 1077944384 1522 0 0 0 2 1 0 0 20 0 28 0 420999745 29458767872 203684 33554432000 4194304 4196468 140734358741024 140352114518896 140352729725570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25651] ppid=25638 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25651/stat : 25651 (java) S 25638 25638 25006 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 420999746 29458767872 203684 33554432000 4194304 4196468 140734358741024 140352113464928 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25652] ppid=25638 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25652/stat : 25652 (java) S 25638 25638 25006 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 420999746 29458767872 203684 33554432000 4194304 4196468 140734358741024 140352112412032 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25653] ppid=25638 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25653/stat : 25653 (java) S 25638 25638 25006 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420999748 29458767872 203684 33554432000 4194304 4196468 140734358741024 140352111360336 140352729733019 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25654] ppid=25638 vsize=28768328 memory=0 CPUtime=3.96 cores=0-7
/proc/25640/task/25654/stat : 25654 (java) S 25638 25638 25006 0 -1 1077944384 13987 0 0 0 393 3 0 0 20 0 28 0 420999748 29458767872 203684 33554432000 4194304 4196468 140734358741024 140352110307696 140352729725570 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25655] ppid=25638 vsize=28768328 memory=0 CPUtime=3.97 cores=0-7
/proc/25640/task/25655/stat : 25655 (java) S 25638 25638 25006 0 -1 1077944384 10375 0 0 0 395 2 0 0 20 0 28 0 420999748 29458767872 203684 33554432000 4194304 4196468 140734358741024 140352109254896 140352729725570 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25656] ppid=25638 vsize=28768328 memory=0 CPUtime=4.22 cores=0-7
/proc/25640/task/25656/stat : 25656 (java) S 25638 25638 25006 0 -1 1077944384 11428 0 0 0 419 3 0 0 20 0 28 0 420999748 29458767872 203684 33554432000 4194304 4196468 140734358741024 140352108202096 140352729725570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25657] ppid=25638 vsize=28768328 memory=0 CPUtime=1.4 cores=0-7
/proc/25640/task/25657/stat : 25657 (java) S 25638 25638 25006 0 -1 1077944384 11936 0 0 0 137 3 0 0 20 0 28 0 420999748 29458767872 203684 33554432000 4194304 4196468 140734358741024 140352107149296 140352729725570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25658] ppid=25638 vsize=28768328 memory=0 CPUtime=0 cores=0-7
/proc/25640/task/25658/stat : 25658 (java) S 25638 25638 25006 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420999749 29458767872 203684 33554432000 4194304 4196468 140734358741024 140352106097760 140352729724629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25659] ppid=25638 vsize=28768328 memory=0 CPUtime=0.01 cores=0-7
/proc/25640/task/25659/stat : 25659 (java) S 25638 25638 25006 0 -1 1077944384 407 0 0 0 0 1 0 0 20 0 28 0 420999749 29458767872 203684 33554432000 4194304 4196468 140734358741024 140352105045040 140352729725570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25676] ppid=25638 vsize=28768328 memory=7308608182783665514 CPUtime=29.43 cores=0-7
/proc/25640/task/25676/stat : 25676 (java) R 25638 25638 25006 0 -1 4202560 669 0 0 0 2942 1 0 0 20 0 28 0 421000098 29458767872 203684 33554432000 4194304 4196468 140734358741024 140352090578760 140352376267711 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25677] ppid=25638 vsize=28768328 memory=2985227492751837754 CPUtime=29.98 cores=0-7
/proc/25640/task/25677/stat : 25677 (java) R 25638 25638 25006 0 -1 4202560 404 0 0 0 2998 0 0 0 20 0 28 0 421000098 29458767872 203684 33554432000 4194304 4196468 140734358741024 140352087421752 140352376128784 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25678] ppid=25638 vsize=28768328 memory=-7384994778349281183 CPUtime=29.2 cores=0-7
/proc/25640/task/25678/stat : 25678 (java) R 25638 25638 25006 0 -1 4202560 6219 0 0 0 2906 14 0 0 20 0 28 0 421000098 29458767872 203684 33554432000 4194304 4196468 140734358741024 140352092684776 140352368514247 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25679] ppid=25638 vsize=28768328 memory=279634851830600 CPUtime=29.26 cores=0-7
/proc/25640/task/25679/stat : 25679 (java) R 25638 25638 25006 0 -1 4202560 2300 0 0 0 2923 3 0 0 20 0 28 0 421000098 29458767872 203684 33554432000 4194304 4196468 140734358741024 140352091631592 140352379950126 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25680] ppid=25638 vsize=28768328 memory=0 CPUtime=29.62 cores=0-7
/proc/25640/task/25680/stat : 25680 (java) R 25638 25638 25006 0 -1 4202560 816 0 0 0 2961 1 0 0 20 0 28 0 421000098 29458767872 203684 33554432000 4194304 4196468 140734358741024 140352088474040 140352376129373 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25681] ppid=25638 vsize=28768328 memory=7373632123646337106 CPUtime=29.59 cores=0-7
/proc/25640/task/25681/stat : 25681 (java) R 25638 25638 25006 0 -1 4202560 756 0 0 0 2958 1 0 0 20 0 28 0 421000098 29458767872 203684 33554432000 4194304 4196468 140734358741024 140352086367408 140352376129106 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25682] ppid=25638 vsize=28768328 memory=7019821346476026470 CPUtime=29.81 cores=0-7
/proc/25640/task/25682/stat : 25682 (java) R 25638 25638 25006 0 -1 4202560 327 0 0 0 2981 0 0 0 20 0 28 0 421000098 29458767872 203684 33554432000 4194304 4196468 140734358741024 140352089527480 140352376267846 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
[pid=25640/tid=25683] ppid=25638 vsize=28768328 memory=7882264050894722407 CPUtime=29.82 cores=0-7
/proc/25640/task/25683/stat : 25683 (java) R 25638 25638 25006 0 -1 4202560 705 0 0 0 2982 0 0 0 20 0 28 0 421000098 29458767872 203684 33554432000 4194304 4196468 140734358741024 140352093739880 140352375857458 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12304384 140734358746090 140734358746262 140734358746262 140734358749135 0
Current children cumulated CPU time: 263.97 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 814140 KiB

[startup+34.2012 s]
/proc/loadavg: 7.98 8.06 8.11 9/219 25693
/proc/meminfo: memFree=29816404/32770624 swapFree=66997844/67108860
[pid=25638] ppid=25635 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/25638/stat : 25638 (xcsp3-exec) S 25635 25638 25006 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 420999742 115843072 363 33554432000 4194304 5098028 140729258984176 140729258982280 140158056813180 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 36524032 140729258992502 140729258992745 140729258992745 140729258995658 0
/proc/25638/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB

Child status: 0
Real time (s): 34.2091
CPU time (s): 265.457
CPU user time (s): 264.667
CPU system time (s): 0.79
CPU usage (%): 775.982
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 818236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 264.667
system time used= 0.79
maximum resident set size= 826868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85138
page faults= 0
swaps= 0
block input operations= 0
block output operations= 200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6122
involuntary context switches= 4140


# summary of solver processes directly reported to runsolver:
#   pid: 25638
#   total CPU time (s): 265.457
#   total CPU user time (s): 264.667
#   total CPU system time (s): 0.79

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.328502 second user time and 0.421869 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 4394655

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