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-20 parallel	OPT	14	218.896	28.3066

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4405115-1569013968.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4405115-1569013968.xml, -tl, 2016s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
4.89/1.42	c solve instance...
15.82/2.84	o 15 
18.89/3.29	o 14 
218.15/28.29	s OPTIMUM FOUND
218.15/28.29	v <instantiation>
218.15/28.29	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>
218.15/28.29	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>
218.15/28.29	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 (12685 MiB free)
  memory of node 1: 16384 MiB (11647 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405115-1569013968/watcher-4405115-1569013968 -o /tmp/evaluation-result-4405115-1569013968/solver-4405115-1569013968 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node151-1569005959-11159 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 706282276 HOME/instance-4405115-1569013968.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=13164, runsolver pid=13161
Current StackSize limit: 8192 KiB


[startup+0.100108 s]*
/proc/loadavg: 8.34 8.25 8.24 4/211 13185
/proc/meminfo: memFree=24902092/32770624 swapFree=66955504/67108860
[pid=13164] ppid=13161 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13164/stat : 13164 (xcsp3-exec) S 13161 13164 11132 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477668123 115843072 363 33554432000 4194304 5098028 140724592797952 140724592796056 140677443662460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12746752 140724592800636 140724592800878 140724592800878 140724592803786 0
/proc/13164/statm: 28282 363 304 221 0 87 0
[pid=13166] ppid=13164 vsize=28227396 memory=28980 CPUtime=0.12 cores=0-7
/proc/13166/stat : 13166 (java) S 13164 13164 11132 0 -1 1077944320 5696 0 0 0 11 1 0 0 20 0 20 0 477668123 28904853504 7245 33554432000 4194304 4196468 140729084585216 140729084567760 139962022604535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
/proc/13166/statm: 7056849 7245 3124 1 0 7019032 0
[pid=13166/tid=13167] ppid=13164 vsize=28227396 memory=7752835091657564061 CPUtime=0.09 cores=0-7
/proc/13166/task/13167/stat : 13167 (java) R 13164 13164 11132 0 -1 4202560 3621 0 0 0 8 1 0 0 20 0 20 0 477668123 28904853504 7245 33554432000 4194304 4196468 140729084585216 139962026838816 139962006685022 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13168] ppid=13164 vsize=28227396 memory=732370509840751589 CPUtime=0 cores=0-7
/proc/13166/task/13168/stat : 13168 (java) S 13164 13164 11132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477668124 28904853504 7245 33554432000 4194304 4196468 140729084585216 139961573693840 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13169] ppid=13164 vsize=28227396 memory=140371503298176 CPUtime=0 cores=0-7
/proc/13166/task/13169/stat : 13169 (java) S 13164 13164 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477668124 28904853504 7245 33554432000 4194304 4196468 140729084585216 139961572641040 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13170] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13170/stat : 13170 (java) S 13164 13164 11132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477668124 28904853504 7245 33554432000 4194304 4196468 140729084585216 139961571588752 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13171] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13171/stat : 13171 (java) S 13164 13164 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477668124 28904853504 7245 33554432000 4194304 4196468 140729084585216 139961570535952 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13172] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13172/stat : 13172 (java) S 13164 13164 11132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477668124 28904853504 7245 33554432000 4194304 4196468 140729084585216 139961569483664 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13173] ppid=13164 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13166/task/13173/stat : 13173 (java) S 13164 13164 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477668124 28904853504 7245 33554432000 4194304 4196468 140729084585216 139961568430864 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13174] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13174/stat : 13174 (java) S 13164 13164 11132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477668124 28904853504 7245 33554432000 4194304 4196468 140729084585216 139961567378576 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13175] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13175/stat : 13175 (java) S 13164 13164 11132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477668124 28904853504 7245 33554432000 4194304 4196468 140729084585216 139961566325776 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13176] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13176/stat : 13176 (java) S 13164 13164 11132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477668125 28904853504 7245 33554432000 4194304 4196468 140729084585216 139960352426096 139962022615682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13177] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13177/stat : 13177 (java) S 13164 13164 11132 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477668126 28904853504 7245 33554432000 4194304 4196468 140729084585216 139960351372064 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13178] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13178/stat : 13178 (java) S 13164 13164 11132 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477668126 28904853504 7245 33554432000 4194304 4196468 140729084585216 139960350319728 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13179] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13179/stat : 13179 (java) S 13164 13164 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477668129 28904853504 7245 33554432000 4194304 4196468 140729084585216 139960349268048 139962022623131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13180] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13180/stat : 13180 (java) R 13164 13164 11132 0 -1 4202560 294 0 0 0 0 0 0 0 20 0 20 0 477668129 28904853504 7245 33554432000 4194304 4196468 140729084585216 139960348215920 139962022625882 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13181] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13181/stat : 13181 (java) S 13164 13164 11132 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 477668129 28904853504 7245 33554432000 4194304 4196468 140729084585216 139960347163120 139962022615682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13182] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13182/stat : 13182 (java) S 13164 13164 11132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477668129 28904853504 7245 33554432000 4194304 4196468 140729084585216 139960346110832 139962022615682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13183] ppid=13164 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/13166/task/13183/stat : 13183 (java) R 13164 13164 11132 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 20 0 477668129 28904853504 7245 33554432000 4194304 4196468 140729084585216 139960345058032 139962022616470 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13184] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13184/stat : 13184 (java) S 13164 13164 11132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477668129 28904853504 7245 33554432000 4194304 4196468 140729084585216 139960344004960 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13185] ppid=13164 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13166/task/13185/stat : 13185 (java) S 13164 13164 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477668129 28904853504 7245 33554432000 4194304 4196468 140729084585216 139960342952240 139962022615682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30432 KiB

[startup+0.210202 s]*
/proc/loadavg: 8.34 8.25 8.24 2/211 13185
/proc/meminfo: memFree=24889692/32770624 swapFree=66955504/67108860
[pid=13164] ppid=13161 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13164/stat : 13164 (xcsp3-exec) S 13161 13164 11132 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477668123 115843072 363 33554432000 4194304 5098028 140724592797952 140724592796056 140677443662460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12746752 140724592800636 140724592800878 140724592800878 140724592803786 0
/proc/13164/statm: 28282 363 304 221 0 87 0
[pid=13166] ppid=13164 vsize=28227396 memory=40592 CPUtime=0.33 cores=0-7
/proc/13166/stat : 13166 (java) S 13164 13164 11132 0 -1 1077944320 9402 0 0 0 30 3 0 0 20 0 20 0 477668123 28904853504 10148 33554432000 4194304 4196468 140729084585216 140729084567760 139962022604535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
/proc/13166/statm: 7056849 10148 3288 1 0 7019032 0
[pid=13166/tid=13167] ppid=13164 vsize=28227396 memory=0 CPUtime=0.19 cores=0-7
/proc/13166/task/13167/stat : 13167 (java) R 13164 13164 11132 0 -1 4202560 6638 0 0 0 17 2 0 0 20 0 20 0 477668123 28904853504 10148 33554432000 4194304 4196468 140729084585216 139962026838320 139961661121017 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13168] ppid=13164 vsize=28227396 memory=732370509840751589 CPUtime=0 cores=0-7
/proc/13166/task/13168/stat : 13168 (java) S 13164 13164 11132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477668124 28904853504 10148 33554432000 4194304 4196468 140729084585216 139961573693840 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13169] ppid=13164 vsize=28227396 memory=140371503298176 CPUtime=0 cores=0-7
/proc/13166/task/13169/stat : 13169 (java) S 13164 13164 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477668124 28904853504 10148 33554432000 4194304 4196468 140729084585216 139961572641040 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13170] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13170/stat : 13170 (java) S 13164 13164 11132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477668124 28904853504 10148 33554432000 4194304 4196468 140729084585216 139961571588752 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13171] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13171/stat : 13171 (java) S 13164 13164 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477668124 28904853504 10148 33554432000 4194304 4196468 140729084585216 139961570535952 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13172] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13172/stat : 13172 (java) S 13164 13164 11132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477668124 28904853504 10148 33554432000 4194304 4196468 140729084585216 139961569483664 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13173] ppid=13164 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13166/task/13173/stat : 13173 (java) S 13164 13164 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477668124 28904853504 10148 33554432000 4194304 4196468 140729084585216 139961568430864 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13174] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13174/stat : 13174 (java) S 13164 13164 11132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477668124 28904853504 10148 33554432000 4194304 4196468 140729084585216 139961567378576 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13175] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13175/stat : 13175 (java) S 13164 13164 11132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477668124 28904853504 10148 33554432000 4194304 4196468 140729084585216 139961566325776 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13176] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13176/stat : 13176 (java) S 13164 13164 11132 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477668125 28904853504 10148 33554432000 4194304 4196468 140729084585216 139960352426096 139962022615682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13177] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13177/stat : 13177 (java) S 13164 13164 11132 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477668126 28904853504 10148 33554432000 4194304 4196468 140729084585216 139960351372064 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13178] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13178/stat : 13178 (java) S 13164 13164 11132 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477668126 28904853504 10148 33554432000 4194304 4196468 140729084585216 139960350319728 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13179] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13179/stat : 13179 (java) S 13164 13164 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477668129 28904853504 10148 33554432000 4194304 4196468 140729084585216 139960349268048 139962022623131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13180] ppid=13164 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/13166/task/13180/stat : 13180 (java) S 13164 13164 11132 0 -1 1077944384 429 0 0 0 2 0 0 0 20 0 20 0 477668129 28904853504 10148 33554432000 4194304 4196468 140729084585216 139960348215920 139962022615682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13181] ppid=13164 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13166/task/13181/stat : 13181 (java) S 13164 13164 11132 0 -1 1077944384 160 0 0 0 1 0 0 0 20 0 20 0 477668129 28904853504 10148 33554432000 4194304 4196468 140729084585216 139960347163120 139962022615682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13182] ppid=13164 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13166/task/13182/stat : 13182 (java) S 13164 13164 11132 0 -1 1077944384 63 0 0 0 1 0 0 0 20 0 20 0 477668129 28904853504 10148 33554432000 4194304 4196468 140729084585216 139960346110832 139962022615682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13183] ppid=13164 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/13166/task/13183/stat : 13183 (java) R 13164 13164 11132 0 -1 4202560 799 0 0 0 7 0 0 0 20 0 20 0 477668129 28904853504 10148 33554432000 4194304 4196468 140729084585216 139960345058032 139962006927876 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13184] ppid=13164 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13184/stat : 13184 (java) S 13164 13164 11132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477668129 28904853504 10148 33554432000 4194304 4196468 140729084585216 139960344004960 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13185] ppid=13164 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13166/task/13185/stat : 13185 (java) S 13164 13164 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477668129 28904853504 10148 33554432000 4194304 4196468 140729084585216 139960342952240 139962022615682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42044 KiB

[startup+0.30968 s]*
/proc/loadavg: 8.34 8.25 8.24 5/211 13185
/proc/meminfo: memFree=24881604/32770624 swapFree=66955504/67108860
[pid=13164] ppid=13161 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13164/stat : 13164 (xcsp3-exec) S 13161 13164 11132 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477668123 115843072 363 33554432000 4194304 5098028 140724592797952 140724592796056 140677443662460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12746752 140724592800636 140724592800878 140724592800878 140724592803786 0
/proc/13164/statm: 28282 363 304 221 0 87 0
[pid=13166] ppid=13164 vsize=28231652 memory=49756 CPUtime=0.51 cores=0-7
/proc/13166/stat : 13166 (java) S 13164 13164 11132 0 -1 1077944320 10835 0 0 0 47 4 0 0 20 0 20 0 477668123 28909211648 12439 33554432000 4194304 4196468 140729084585216 140729084567760 139962022604535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
/proc/13166/statm: 7057913 12439 3353 1 0 7019032 0
[pid=13166/tid=13167] ppid=13164 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/13166/task/13167/stat : 13167 (java) R 13164 13164 11132 0 -1 4202560 7760 0 0 0 26 3 0 0 20 0 20 0 477668123 28909211648 12439 33554432000 4194304 4196468 140729084585216 139962026829344 139962006685022 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13168] ppid=13164 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13168/stat : 13168 (java) S 13164 13164 11132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477668124 28909211648 12439 33554432000 4194304 4196468 140729084585216 139961573693840 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13169] ppid=13164 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13169/stat : 13169 (java) S 13164 13164 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477668124 28909211648 12439 33554432000 4194304 4196468 140729084585216 139961572641040 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13170] ppid=13164 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13170/stat : 13170 (java) S 13164 13164 11132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477668124 28909211648 12439 33554432000 4194304 4196468 140729084585216 139961571588752 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13171] ppid=13164 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13171/stat : 13171 (java) S 13164 13164 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477668124 28909211648 12439 33554432000 4194304 4196468 140729084585216 139961570535952 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13172] ppid=13164 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/13166/task/13172/stat : 13172 (java) S 13164 13164 11132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477668124 28909211648 12439 33554432000 4194304 4196468 140729084585216 139961569483664 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13173] ppid=13164 vsize=28231652 memory=140371342488495 CPUtime=0 cores=0-7
/proc/13166/task/13173/stat : 13173 (java) S 13164 13164 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477668124 28909211648 12439 33554432000 4194304 4196468 140729084585216 139961568430864 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13174] ppid=13164 vsize=28231652 memory=140371342490800 CPUtime=0 cores=0-7
/proc/13166/task/13174/stat : 13174 (java) S 13164 13164 11132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477668124 28909211648 12439 33554432000 4194304 4196468 140729084585216 139961567378576 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13175] ppid=13164 vsize=28231652 memory=140371342493104 CPUtime=0 cores=0-7
/proc/13166/task/13175/stat : 13175 (java) S 13164 13164 11132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477668124 28909211648 12466 33554432000 4194304 4196468 140729084585216 139961566325776 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13176] ppid=13164 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13176/stat : 13176 (java) S 13164 13164 11132 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477668125 28909211648 12466 33554432000 4194304 4196468 140729084585216 139960352426096 139962022615682 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13177] ppid=13164 vsize=28231652 memory=280742684993168 CPUtime=0 cores=0-7
/proc/13166/task/13177/stat : 13177 (java) S 13164 13164 11132 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477668126 28909211648 12466 33554432000 4194304 4196468 140729084585216 139960351372064 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13178] ppid=13164 vsize=28231652 memory=280742685000080 CPUtime=0 cores=0-7
/proc/13166/task/13178/stat : 13178 (java) S 13164 13164 11132 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477668126 28909211648 12466 33554432000 4194304 4196468 140729084585216 139960350319728 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13179] ppid=13164 vsize=28231652 memory=280742684941360 CPUtime=0 cores=0-7
/proc/13166/task/13179/stat : 13179 (java) S 13164 13164 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477668129 28909211648 12466 33554432000 4194304 4196468 140729084585216 139960349268048 139962022623131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13180] ppid=13164 vsize=28231652 memory=280742685013904 CPUtime=0.02 cores=0-7
/proc/13166/task/13180/stat : 13180 (java) S 13164 13164 11132 0 -1 1077944384 449 0 0 0 2 0 0 0 20 0 20 0 477668129 28909211648 12466 33554432000 4194304 4196468 140729084585216 139960348215920 139962022615682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13181] ppid=13164 vsize=28231652 memory=280742685020816 CPUtime=0.02 cores=0-7
/proc/13166/task/13181/stat : 13181 (java) S 13164 13164 11132 0 -1 1077944384 181 0 0 0 2 0 0 0 20 0 20 0 477668129 28909211648 12466 33554432000 4194304 4196468 140729084585216 139960347163120 139962022615682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13182] ppid=13164 vsize=28231652 memory=280742685018512 CPUtime=0.02 cores=0-7
/proc/13166/task/13182/stat : 13182 (java) R 13164 13164 11132 0 -1 4202560 167 0 0 0 2 0 0 0 20 0 20 0 477668129 28909211648 12466 33554432000 4194304 4196468 140729084585216 139960346110832 139962000467857 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13183] ppid=13164 vsize=28231652 memory=280742685034672 CPUtime=0.12 cores=0-7
/proc/13166/task/13183/stat : 13183 (java) S 13164 13164 11132 0 -1 1077944384 975 0 0 0 12 0 0 0 20 0 20 0 477668129 28909211648 12466 33554432000 4194304 4196468 140729084585216 139960345058032 139962022615682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13184] ppid=13164 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13166/task/13184/stat : 13184 (java) S 13164 13164 11132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477668129 28909211648 12466 33554432000 4194304 4196468 140729084585216 139960344004960 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13185] ppid=13164 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/13166/task/13185/stat : 13185 (java) S 13164 13164 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477668129 28909211648 12466 33554432000 4194304 4196468 140729084585216 139960342952240 139962022615682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51208 KiB

[startup+0.70092 s]
/proc/loadavg: 8.34 8.25 8.24 4/211 13185
/proc/meminfo: memFree=24862704/32770624 swapFree=66955504/67108860
[pid=13164] ppid=13161 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13164/stat : 13164 (xcsp3-exec) S 13161 13164 11132 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477668123 115843072 363 33554432000 4194304 5098028 140724592797952 140724592796056 140677443662460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12746752 140724592800636 140724592800878 140724592800878 140724592803786 0
/proc/13164/statm: 28282 363 304 221 0 87 0
[pid=13166] ppid=13164 vsize=28233776 memory=91608 CPUtime=1.9 cores=0-7
/proc/13166/stat : 13166 (java) S 13164 13164 11132 0 -1 1077944320 15658 0 0 0 184 6 0 0 20 0 20 0 477668123 28911386624 22902 33554432000 4194304 4196468 140729084585216 140729084567760 139962022604535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
/proc/13166/statm: 7058444 22902 3455 1 0 7019544 0
[pid=13166/tid=13167] ppid=13164 vsize=28233776 memory=280742685329600 CPUtime=0.68 cores=0-7
/proc/13166/task/13167/stat : 13167 (java) R 13164 13164 11132 0 -1 4202560 9276 0 0 0 64 4 0 0 20 0 20 0 477668123 28911386624 22902 33554432000 4194304 4196468 140729084585216 139962026840480 139961662794412 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13168] ppid=13164 vsize=28233776 memory=1560 CPUtime=0 cores=0-7
/proc/13166/task/13168/stat : 13168 (java) S 13164 13164 11132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477668124 28911386624 22902 33554432000 4194304 4196468 140729084585216 139961573693840 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13169] ppid=13164 vsize=28233776 memory=976 CPUtime=0 cores=0-7
/proc/13166/task/13169/stat : 13169 (java) S 13164 13164 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477668124 28911386624 22902 33554432000 4194304 4196468 140729084585216 139961572641040 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13170] ppid=13164 vsize=28233776 memory=772 CPUtime=0 cores=0-7
/proc/13166/task/13170/stat : 13170 (java) S 13164 13164 11132 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477668124 28911386624 22902 33554432000 4194304 4196468 140729084585216 139961571588752 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0

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

[pid=13166/tid=13204] ppid=13164 vsize=28768336 memory=1564 CPUtime=23.7 cores=0-7
/proc/13166/task/13204/stat : 13204 (java) R 13164 13164 11132 0 -1 4202560 334 0 0 0 2370 0 0 0 20 0 28 0 477668452 29458776064 100180 33554432000 4194304 4196468 140729084585216 139960326374072 139961669330489 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13205] ppid=13164 vsize=28768336 memory=924 CPUtime=23.47 cores=0-7
/proc/13166/task/13205/stat : 13205 (java) R 13164 13164 11132 0 -1 4202560 572 0 0 0 2347 0 0 0 20 0 28 0 477668452 29458776064 100180 33554432000 4194304 4196468 140729084585216 139960324268152 139961669366353 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13206] ppid=13164 vsize=28768336 memory=1420 CPUtime=23.38 cores=0-7
/proc/13166/task/13206/stat : 13206 (java) R 13164 13164 11132 0 -1 4202560 820 0 0 0 2334 4 0 0 20 0 28 0 477668452 29458776064 100180 33554432000 4194304 4196468 140729084585216 139960331637256 139961670061683 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13207] ppid=13164 vsize=28768336 memory=1984 CPUtime=23.41 cores=0-7
/proc/13166/task/13207/stat : 13207 (java) R 13164 13164 11132 0 -1 4202560 479 0 0 0 2341 0 0 0 20 0 28 0 477668453 29458776064 100180 33554432000 4194304 4196468 140729084585216 139960328479064 139961669331216 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13208] ppid=13164 vsize=28768336 memory=2532 CPUtime=23.62 cores=0-7
/proc/13166/task/13208/stat : 13208 (java) R 13164 13164 11132 0 -1 4202560 211 0 0 0 2362 0 0 0 20 0 28 0 477668453 29458776064 100180 33554432000 4194304 4196468 140729084585216 139960330583768 139961668588004 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13209] ppid=13164 vsize=28768336 memory=1440 CPUtime=23.62 cores=0-7
/proc/13166/task/13209/stat : 13209 (java) R 13164 13164 11132 0 -1 4202560 446 0 0 0 2362 0 0 0 20 0 28 0 477668454 29458776064 100180 33554432000 4194304 4196468 140729084585216 139960327425672 139961668866596 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
Current children cumulated CPU time: 210.21 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 402172 KiB

[startup+28.002 s]*
/proc/loadavg: 8.47 8.29 8.25 9/219 13209
/proc/meminfo: memFree=24509320/32770624 swapFree=66955504/67108860
[pid=13164] ppid=13161 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13164/stat : 13164 (xcsp3-exec) S 13161 13164 11132 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477668123 115843072 363 33554432000 4194304 5098028 140724592797952 140724592796056 140677443662460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12746752 140724592800636 140724592800878 140724592800878 140724592803786 0
/proc/13164/statm: 28282 363 304 221 0 87 0
[pid=13166] ppid=13164 vsize=28768336 memory=421616 CPUtime=216.63 cores=0-7
/proc/13166/stat : 13166 (java) S 13164 13164 11132 0 -1 1077944320 55993 0 0 0 21619 44 0 0 20 0 28 0 477668123 29458776064 105404 33554432000 4194304 4196468 140729084585216 140729084567760 139962022604535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
/proc/13166/statm: 7192084 105404 3541 1 0 7153184 0
[pid=13166/tid=13167] ppid=13164 vsize=28768336 memory=6791534058613427641 CPUtime=1.41 cores=0-7
/proc/13166/task/13167/stat : 13167 (java) S 13164 13164 11132 0 -1 1077944384 11319 0 0 0 136 5 0 0 20 0 28 0 477668123 29458776064 105404 33554432000 4194304 4196468 140729084585216 139962026845312 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13168] ppid=13164 vsize=28768336 memory=-7003737579269690708 CPUtime=0.05 cores=0-7
/proc/13166/task/13168/stat : 13168 (java) S 13164 13164 11132 0 -1 1077944384 184 0 0 0 3 2 0 0 20 0 28 0 477668124 29458776064 105404 33554432000 4194304 4196468 140729084585216 139961573693840 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13169] ppid=13164 vsize=28768336 memory=7956566864437143149 CPUtime=0.03 cores=0-7
/proc/13166/task/13169/stat : 13169 (java) S 13164 13164 11132 0 -1 1077944384 467 0 0 0 2 1 0 0 20 0 28 0 477668124 29458776064 105404 33554432000 4194304 4196468 140729084585216 139961572641040 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13170] ppid=13164 vsize=28768336 memory=8102351111649908336 CPUtime=0.04 cores=0-7
/proc/13166/task/13170/stat : 13170 (java) S 13164 13164 11132 0 -1 1077944384 467 0 0 0 2 2 0 0 20 0 28 0 477668124 29458776064 105404 33554432000 4194304 4196468 140729084585216 139961571588752 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13171] ppid=13164 vsize=28768336 memory=8102351111649908336 CPUtime=0.05 cores=0-7
/proc/13166/task/13171/stat : 13171 (java) S 13164 13164 11132 0 -1 1077944384 3164 0 0 0 2 3 0 0 20 0 28 0 477668124 29458776064 105404 33554432000 4194304 4196468 140729084585216 139961570535952 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13172] ppid=13164 vsize=28768336 memory=976 CPUtime=0.06 cores=0-7
/proc/13166/task/13172/stat : 13172 (java) S 13164 13164 11132 0 -1 1077944384 190 0 0 0 4 2 0 0 20 0 28 0 477668124 29458776064 105404 33554432000 4194304 4196468 140729084585216 139961569483664 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13173] ppid=13164 vsize=28768336 memory=772 CPUtime=0.05 cores=0-7
/proc/13166/task/13173/stat : 13173 (java) S 13164 13164 11132 0 -1 1077944384 172 0 0 0 3 2 0 0 20 0 28 0 477668124 29458776064 105404 33554432000 4194304 4196468 140729084585216 139961568430864 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13174] ppid=13164 vsize=28768336 memory=3616 CPUtime=0.06 cores=0-7
/proc/13166/task/13174/stat : 13174 (java) S 13164 13164 11132 0 -1 1077944384 351 0 0 0 4 2 0 0 20 0 28 0 477668124 29458776064 105404 33554432000 4194304 4196468 140729084585216 139961567378576 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13175] ppid=13164 vsize=28768336 memory=2832 CPUtime=0.03 cores=0-7
/proc/13166/task/13175/stat : 13175 (java) S 13164 13164 11132 0 -1 1077944384 225 0 0 0 2 1 0 0 20 0 28 0 477668124 29458776064 105404 33554432000 4194304 4196468 140729084585216 139961566325776 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13176] ppid=13164 vsize=28768336 memory=1548 CPUtime=0.01 cores=0-7
/proc/13166/task/13176/stat : 13176 (java) S 13164 13164 11132 0 -1 1077944384 804 0 0 0 1 0 0 0 20 0 28 0 477668125 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960352426096 139962022615682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13177] ppid=13164 vsize=28768336 memory=280742686754688 CPUtime=0 cores=0-7
/proc/13166/task/13177/stat : 13177 (java) S 13164 13164 11132 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 477668126 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960351372128 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13178] ppid=13164 vsize=28768336 memory=8243114992657236051 CPUtime=0 cores=0-7
/proc/13166/task/13178/stat : 13178 (java) S 13164 13164 11132 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 477668126 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960350319744 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13179] ppid=13164 vsize=28768336 memory=288288887380640602 CPUtime=0 cores=0-7
/proc/13166/task/13179/stat : 13179 (java) S 13164 13164 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477668129 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960349268048 139962022623131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13180] ppid=13164 vsize=28768336 memory=-7595718316222733696 CPUtime=2.72 cores=0-7
/proc/13166/task/13180/stat : 13180 (java) S 13164 13164 11132 0 -1 1077944384 7589 0 0 0 270 2 0 0 20 0 28 0 477668129 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960348215920 139962022615682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13181] ppid=13164 vsize=28768336 memory=-7523660553960122769 CPUtime=2.99 cores=0-7
/proc/13166/task/13181/stat : 13181 (java) S 13164 13164 11132 0 -1 1077944384 10843 0 0 0 295 4 0 0 20 0 28 0 477668129 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960347163120 139962022615682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13182] ppid=13164 vsize=28768336 memory=-7966001967256141664 CPUtime=2.94 cores=0-7
/proc/13166/task/13182/stat : 13182 (java) S 13164 13164 11132 0 -1 1077944384 6432 0 0 0 293 1 0 0 20 0 28 0 477668129 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960346110832 139962022615682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13183] ppid=13164 vsize=28768336 memory=6944656591801718942 CPUtime=1.07 cores=0-7
/proc/13166/task/13183/stat : 13183 (java) S 13164 13164 11132 0 -1 1077944384 7400 0 0 0 105 2 0 0 20 0 28 0 477668129 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960345058032 139962022615682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13184] ppid=13164 vsize=28768336 memory=303430223234596890 CPUtime=0 cores=0-7
/proc/13166/task/13184/stat : 13184 (java) S 13164 13164 11132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477668129 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960344004960 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13185] ppid=13164 vsize=28768336 memory=303430231908417850 CPUtime=0 cores=0-7
/proc/13166/task/13185/stat : 13185 (java) S 13164 13164 11132 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 28 0 477668129 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960342952240 139962022615682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13202] ppid=13164 vsize=28768336 memory=16098178197882675 CPUtime=24.53 cores=0-7
/proc/13166/task/13202/stat : 13202 (java) R 13164 13164 11132 0 -1 4202560 249 0 0 0 2453 0 0 0 20 0 28 0 477668452 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960325319376 139961669586903 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13203] ppid=13164 vsize=28768336 memory=400720 CPUtime=24.41 cores=0-7
/proc/13166/task/13203/stat : 13203 (java) R 13164 13164 11132 0 -1 4202560 254 0 0 0 2441 0 0 0 20 0 28 0 477668452 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960329531104 139961669587736 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13204] ppid=13164 vsize=28768336 memory=1804 CPUtime=24.48 cores=0-7
/proc/13166/task/13204/stat : 13204 (java) R 13164 13164 11132 0 -1 4202560 341 0 0 0 2448 0 0 0 20 0 28 0 477668452 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960326373544 139961669332045 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13205] ppid=13164 vsize=28768336 memory=916 CPUtime=24.26 cores=0-7
/proc/13166/task/13205/stat : 13205 (java) R 13164 13164 11132 0 -1 4202560 590 0 0 0 2426 0 0 0 20 0 28 0 477668452 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960324268048 139961668868311 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13206] ppid=13164 vsize=28768336 memory=4300 CPUtime=24.15 cores=0-7
/proc/13166/task/13206/stat : 13206 (java) R 13164 13164 11132 0 -1 4202560 884 0 0 0 2411 4 0 0 20 0 28 0 477668452 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960331639952 139961670473413 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13207] ppid=13164 vsize=28768336 memory=4108 CPUtime=24.2 cores=0-7
/proc/13166/task/13207/stat : 13207 (java) R 13164 13164 11132 0 -1 4202560 497 0 0 0 2420 0 0 0 20 0 28 0 477668453 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960328478768 139961671900003 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13208] ppid=13164 vsize=28768336 memory=1412 CPUtime=24.4 cores=0-7
/proc/13166/task/13208/stat : 13208 (java) R 13164 13164 11132 0 -1 4202560 219 0 0 0 2440 0 0 0 20 0 28 0 477668453 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960330583776 139961668865244 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13209] ppid=13164 vsize=28768336 memory=3132 CPUtime=24.41 cores=0-7
/proc/13166/task/13209/stat : 13209 (java) R 13164 13164 11132 0 -1 4202560 476 0 0 0 2440 1 0 0 20 0 28 0 477668454 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960327425488 139961669356289 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
Current children cumulated CPU time: 216.63 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 423068 KiB

[startup+28.202 s]
/proc/loadavg: 8.47 8.29 8.25 9/219 13209
/proc/meminfo: memFree=24509320/32770624 swapFree=66955504/67108860
[pid=13164] ppid=13161 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13164/stat : 13164 (xcsp3-exec) S 13161 13164 11132 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477668123 115843072 363 33554432000 4194304 5098028 140724592797952 140724592796056 140677443662460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12746752 140724592800636 140724592800878 140724592800878 140724592803786 0
/proc/13164/statm: 28282 363 304 221 0 87 0
[pid=13166] ppid=13164 vsize=28768336 memory=421616 CPUtime=218.15 cores=0-7
/proc/13166/stat : 13166 (java) S 13164 13164 11132 0 -1 1077944320 55994 0 0 0 21771 44 0 0 20 0 28 0 477668123 29458776064 105404 33554432000 4194304 4196468 140729084585216 140729084567760 139962022604535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
/proc/13166/statm: 7192084 105404 3541 1 0 7153184 0
[pid=13166/tid=13167] ppid=13164 vsize=28768336 memory=16098178197882675 CPUtime=1.41 cores=0-7
/proc/13166/task/13167/stat : 13167 (java) S 13164 13164 11132 0 -1 1077944384 11319 0 0 0 136 5 0 0 20 0 28 0 477668123 29458776064 105404 33554432000 4194304 4196468 140729084585216 139962026845312 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13168] ppid=13164 vsize=28768336 memory=1440 CPUtime=0.05 cores=0-7
/proc/13166/task/13168/stat : 13168 (java) S 13164 13164 11132 0 -1 1077944384 184 0 0 0 3 2 0 0 20 0 28 0 477668124 29458776064 105404 33554432000 4194304 4196468 140729084585216 139961573693840 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13169] ppid=13164 vsize=28768336 memory=796 CPUtime=0.03 cores=0-7
/proc/13166/task/13169/stat : 13169 (java) S 13164 13164 11132 0 -1 1077944384 467 0 0 0 2 1 0 0 20 0 28 0 477668124 29458776064 105404 33554432000 4194304 4196468 140729084585216 139961572641040 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13170] ppid=13164 vsize=28768336 memory=1772 CPUtime=0.04 cores=0-7
/proc/13166/task/13170/stat : 13170 (java) S 13164 13164 11132 0 -1 1077944384 467 0 0 0 2 2 0 0 20 0 28 0 477668124 29458776064 105404 33554432000 4194304 4196468 140729084585216 139961571588752 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13171] ppid=13164 vsize=28768336 memory=111632 CPUtime=0.05 cores=0-7
/proc/13166/task/13171/stat : 13171 (java) S 13164 13164 11132 0 -1 1077944384 3164 0 0 0 2 3 0 0 20 0 28 0 477668124 29458776064 105404 33554432000 4194304 4196468 140729084585216 139961570535952 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13172] ppid=13164 vsize=28768336 memory=804 CPUtime=0.06 cores=0-7
/proc/13166/task/13172/stat : 13172 (java) S 13164 13164 11132 0 -1 1077944384 190 0 0 0 4 2 0 0 20 0 28 0 477668124 29458776064 105404 33554432000 4194304 4196468 140729084585216 139961569483664 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13173] ppid=13164 vsize=28768336 memory=1724 CPUtime=0.05 cores=0-7
/proc/13166/task/13173/stat : 13173 (java) S 13164 13164 11132 0 -1 1077944384 172 0 0 0 3 2 0 0 20 0 28 0 477668124 29458776064 105404 33554432000 4194304 4196468 140729084585216 139961568430864 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13174] ppid=13164 vsize=28768336 memory=1804 CPUtime=0.06 cores=0-7
/proc/13166/task/13174/stat : 13174 (java) S 13164 13164 11132 0 -1 1077944384 351 0 0 0 4 2 0 0 20 0 28 0 477668124 29458776064 105404 33554432000 4194304 4196468 140729084585216 139961567378576 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13175] ppid=13164 vsize=28768336 memory=2241 CPUtime=0.03 cores=0-7
/proc/13166/task/13175/stat : 13175 (java) S 13164 13164 11132 0 -1 1077944384 225 0 0 0 2 1 0 0 20 0 28 0 477668124 29458776064 105404 33554432000 4194304 4196468 140729084585216 139961566325776 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13176] ppid=13164 vsize=28768336 memory=2244 CPUtime=0.01 cores=0-7
/proc/13166/task/13176/stat : 13176 (java) S 13164 13164 11132 0 -1 1077944384 804 0 0 0 1 0 0 0 20 0 28 0 477668125 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960352426096 139962022615682 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13177] ppid=13164 vsize=28768336 memory=4630105683818800787 CPUtime=0 cores=0-7
/proc/13166/task/13177/stat : 13177 (java) S 13164 13164 11132 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 28 0 477668126 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960351372128 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13178] ppid=13164 vsize=28768336 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/13166/task/13178/stat : 13178 (java) S 13164 13164 11132 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 477668126 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960350319744 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13179] ppid=13164 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/13166/task/13179/stat : 13179 (java) S 13164 13164 11132 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477668129 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960349268048 139962022623131 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13180] ppid=13164 vsize=28768336 memory=400700 CPUtime=2.72 cores=0-7
/proc/13166/task/13180/stat : 13180 (java) S 13164 13164 11132 0 -1 1077944384 7589 0 0 0 270 2 0 0 20 0 28 0 477668129 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960348215920 139962022615682 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13181] ppid=13164 vsize=28768336 memory=6791534058613427641 CPUtime=2.99 cores=0-7
/proc/13166/task/13181/stat : 13181 (java) S 13164 13164 11132 0 -1 1077944384 10843 0 0 0 295 4 0 0 20 0 28 0 477668129 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960347163120 139962022615682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13182] ppid=13164 vsize=28768336 memory=-7003737579269690708 CPUtime=2.94 cores=0-7
/proc/13166/task/13182/stat : 13182 (java) S 13164 13164 11132 0 -1 1077944384 6432 0 0 0 293 1 0 0 20 0 28 0 477668129 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960346110832 139962022615682 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13183] ppid=13164 vsize=28768336 memory=7245577201579234449 CPUtime=1.07 cores=0-7
/proc/13166/task/13183/stat : 13183 (java) S 13164 13164 11132 0 -1 1077944384 7400 0 0 0 105 2 0 0 20 0 28 0 477668129 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960345058032 139962022615682 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13184] ppid=13164 vsize=28768336 memory=-8412656567318647667 CPUtime=0 cores=0-7
/proc/13166/task/13184/stat : 13184 (java) S 13164 13164 11132 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477668129 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960344004960 139962022614741 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13185] ppid=13164 vsize=28768336 memory=-8707038579349950309 CPUtime=0 cores=0-7
/proc/13166/task/13185/stat : 13185 (java) S 13164 13164 11132 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 28 0 477668129 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960342952240 139962022615682 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13202] ppid=13164 vsize=28768336 memory=-8341965534556230502 CPUtime=24.72 cores=0-7
/proc/13166/task/13202/stat : 13202 (java) R 13164 13164 11132 0 -1 4202560 249 0 0 0 2472 0 0 0 20 0 28 0 477668452 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960325319512 139961669996340 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13203] ppid=13164 vsize=28768336 memory=9047017150487036571 CPUtime=24.6 cores=0-7
/proc/13166/task/13203/stat : 13203 (java) R 13164 13164 11132 0 -1 4202560 254 0 0 0 2460 0 0 0 20 0 28 0 477668452 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960329531104 139961669586304 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13204] ppid=13164 vsize=28768336 memory=7822038051842261661 CPUtime=24.67 cores=0-7
/proc/13166/task/13204/stat : 13204 (java) R 13164 13164 11132 0 -1 4202560 341 0 0 0 2467 0 0 0 20 0 28 0 477668452 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960326373544 139961669330645 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13205] ppid=13164 vsize=28768336 memory=4715433313220523562 CPUtime=24.45 cores=0-7
/proc/13166/task/13205/stat : 13205 (java) R 13164 13164 11132 0 -1 4202560 590 0 0 0 2445 0 0 0 20 0 28 0 477668452 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960324268048 139961669373895 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13206] ppid=13164 vsize=28768336 memory=8514726395714825349 CPUtime=24.33 cores=0-7
/proc/13166/task/13206/stat : 13206 (java) R 13164 13164 11132 0 -1 4202560 885 0 0 0 2429 4 0 0 20 0 28 0 477668452 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960331639952 139961668865275 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13207] ppid=13164 vsize=28768336 memory=4713745541279610410 CPUtime=24.39 cores=0-7
/proc/13166/task/13207/stat : 13207 (java) R 13164 13164 11132 0 -1 4202560 497 0 0 0 2439 0 0 0 20 0 28 0 477668453 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960328478768 139961669332900 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13208] ppid=13164 vsize=28768336 memory=8514701219730522529 CPUtime=24.59 cores=0-7
/proc/13166/task/13208/stat : 13208 (java) R 13164 13164 11132 0 -1 4202560 219 0 0 0 2459 0 0 0 20 0 28 0 477668453 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960330583776 139961668865024 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
[pid=13166/tid=13209] ppid=13164 vsize=28768336 memory=-8253362762722141311 CPUtime=24.6 cores=0-7
/proc/13166/task/13209/stat : 13209 (java) R 13164 13164 11132 0 -1 4202560 476 0 0 0 2459 1 0 0 20 0 28 0 477668454 29458776064 105404 33554432000 4194304 4196468 140729084585216 139960327425488 139961668867162 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13221888 140729084589040 140729084589211 140729084589211 140729084592079 0
Current children cumulated CPU time: 218.15 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 423068 KiB

[startup+28.3012 s]
/proc/loadavg: 8.47 8.29 8.25 9/219 13209
/proc/meminfo: memFree=24509320/32770624 swapFree=66955504/67108860
[pid=13164] ppid=13161 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13164/stat : 13164 (xcsp3-exec) S 13161 13164 11132 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 477668123 115843072 363 33554432000 4194304 5098028 140724592797952 140724592796056 140677443662460 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 12746752 140724592800636 140724592800878 140724592800878 140724592803786 0
/proc/13164/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): 28.3066
CPU time (s): 218.896
CPU user time (s): 218.436
CPU system time (s): 0.459687
CPU usage (%): 773.302
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 423068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 218.436
system time used= 0.459687
maximum resident set size= 421960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57463
page faults= 0
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5316
involuntary context switches= 3296


# summary of solver processes directly reported to runsolver:
#   pid: 13164
#   total CPU time (s): 218.896
#   total CPU user time (s): 218.436
#   total CPU system time (s): 0.459687

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.304196 second user time and 0.332143 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 4405115

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