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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-24	OPT	10	33.4692	27.8433

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406438-1569405044.xml"  -tl '2400s' -p 1
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4406438-1569405044.xml, -tl, 2400s, -p, 1]
0.34/0.22	c simple solver
0.34/0.28	c parse instance...
2.10/0.83	c solve instance...
3.13/1.18	o 12 
7.31/2.79	o 11 
7.98/3.30	o 10 
33.42/27.83	s OPTIMUM FOUND
33.42/27.83	v <instantiation>
33.42/27.83	v 	<list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] np[0][0] np[0][1] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[1][0] np[1][1] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[2][0] np[2][1] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[3][0] np[3][1] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[4][0] np[4][1] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[5][0] np[5][1] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[6][0] np[6][1] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[7][0] np[7][1] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[8][0] np[8][1] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[9][0] np[9][1] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[10][0] np[10][1] np[10][2] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[11][0] np[11][1] np[11][2] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[12][0] np[12][1] np[12][2] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[13][0] np[13][1] np[13][2] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[14][0] np[14][1] np[14][2] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] np[15][0] np[15][1] np[15][2] np[15][3] np[15][4] np[15][5] np[15][6] np[15][7] np[15][8] np[15][9] np[15][10] np[15][11] np[15][12] np[15][13] np[15][14] np[16][0] np[16][1] np[16][2] np[16][3] np[16][4] np[16][5] np[16][6] np[16][7] np[16][8] np[16][9] np[16][10] np[16][11] np[16][12] np[16][13] np[16][14] np[17][0] np[17][1] np[17][2] np[17][3] np[17][4] np[17][5] np[17][6] np[17][7] np[17][8] np[17][9] np[17][10] np[17][11] np[17][12] np[17][13] np[17][14] np[18][0] np[18][1] np[18][2] np[18][3] np[18][4] np[18][5] np[18][6] np[18][7] np[18][8] np[18][9] np[18][10] np[18][11] np[18][12] np[18][13] np[18][14] np[19][0] np[19][1] np[19][2] np[19][3] np[19][4] np[19][5] np[19][6] np[19][7] np[19][8] np[19][9] np[19][10] np[19][11] np[19][12] np[19][13] np[19][14] np[20][0] np[20][1] np[20][2] np[20][3] np[20][4] np[20][5] np[20][6] np[20][7] np[20][8] np[20][9] np[20][10] np[20][11] np[20][12] np[20][13] np[20][14] np[21][0] np[21][1] np[21][2] np[21][3] np[21][4] np[21][5] np[21][6] np[21][7] np[21][8] np[21][9] np[21][10] np[21][11] np[21][12] np[21][13] np[21][14] np[22][0] np[22][1] np[22][2] np[22][3] np[22][4] np[22][5] np[22][6] np[22][7] np[22][8] np[22][9] np[22][10] np[22][11] np[22][12] np[22][13] np[22][14] np[23][0] np[23][1] np[23][2] np[23][3] np[23][4] np[23][5] np[23][6] np[23][7] np[23][8] np[23][9] np[23][10] np[23][11] np[23][12] np[23][13] np[23][14] np[24][0] np[24][1] np[24][2] np[24][3] np[24][4] np[24][5] np[24][6] np[24][7] np[24][8] np[24][9] np[24][10] np[24][11] np[24][12] np[24][13] np[24][14] np[25][0] np[25][1] np[25][2] np[25][3] np[25][4] np[25][5] np[25][6] np[25][7] np[25][8] np[25][9] np[25][10] np[25][11] np[25][12] np[25][13] np[25][14] np[26][0] np[26][1] np[26][2] np[26][3] np[26][4] np[26][5] np[26][6] np[26][7] np[26][8] np[26][9] np[26][10] np[26][11] np[26][12] np[26][13] np[26][14] np[27][0] np[27][1] np[27][2] np[27][3] np[27][4] np[27][5] np[27][6] np[27][7] np[27][8] np[27][9] np[27][10] np[27][11] np[27][12] np[27][13] np[27][14] np[28][0] np[28][1] np[28][2] np[28][3] np[28][4] np[28][5] np[28][6] np[28][7] np[28][8] np[28][9] np[28][10] np[28][11] np[28][12] np[28][13] np[28][14] np[29][0] np[29][1] np[29][2] np[29][3] np[29][4] np[29][5] np[29][6] np[29][7] np[29][8] np[29][9] np[29][10] np[29][11] np[29][12] np[29][13] np[29][14] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[16][0] o[16][1] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[17][0] o[17][1] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[18][0] o[18][1] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[19][0] o[19][1] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[20][0] o[20][1] o[20][2] o[20][3] o[20][4] o[20][5] o[20][6] o[20][7] o[20][8] o[20][9] o[20][10] o[20][11] o[20][12] o[20][13] o[20][14] o[21][0] o[21][1] o[21][2] o[21][3] o[21][4] o[21][5] o[21][6] o[21][7] o[21][8] o[21][9] o[21][10] o[21][11] o[21][12] o[21][13] o[21][14] o[22][0] o[22][1] o[22][2] o[22][3] o[22][4] o[22][5] o[22][6] o[22][7] o[22][8] o[22][9] o[22][10] o[22][11] o[22][12] o[22][13] o[22][14] o[23][0] o[23][1] o[23][2] o[23][3] o[23][4] o[23][5] o[23][6] o[23][7] o[23][8] o[23][9] o[23][10] o[23][11] o[23][12] o[23][13] o[23][14] o[24][0] o[24][1] o[24][2] o[24][3] o[24][4] o[24][5] o[24][6] o[24][7] o[24][8] o[24][9] o[24][10] o[24][11] o[24][12] o[24][13] o[24][14] o[25][0] o[25][1] o[25][2] o[25][3] o[25][4] o[25][5] o[25][6] o[25][7] o[25][8] o[25][9] o[25][10] o[25][11] o[25][12] o[25][13] o[25][14] o[26][0] o[26][1] o[26][2] o[26][3] o[26][4] o[26][5] o[26][6] o[26][7] o[26][8] o[26][9] o[26][10] o[26][11] o[26][12] o[26][13] o[26][14] o[27][0] o[27][1] o[27][2] o[27][3] o[27][4] o[27][5] o[27][6] o[27][7] o[27][8] o[27][9] o[27][10] o[27][11] o[27][12] o[27][13] o[27][14] o[28][0] o[28][1] o[28][2] o[28][3] o[28][4] o[28][5] o[28][6] o[28][7] o[28][8] o[28][9] o[28][10] o[28][11] o[28][12] o[28][13] o[28][14] o[29][0] o[29][1] o[29][2] o[29][3] o[29][4] o[29][5] o[29][6] o[29][7] o[29][8] o[29][9] o[29][10] o[29][11] o[29][12] o[29][13] o[29][14] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14] </list>
33.42/27.83	v 	<values>0 12 14 9 10 5 3 2 6 8 13 11 1 4 7 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 1 1 1 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 0 0 0 0 0 0 1 1 1 1 1 2 2 2 2 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 1 1 1 1 2 2 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 0 1 1 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 0 0 0 1 1 1 2 2 2 2 2 2 2 2 2 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 0 0 1 1 1 1 1 1 2 2 2 2 2 2 2 0 0 0 1 1 1 1 1 1 1 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 1 1 1 1 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 0 1 1 1 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 1 1 1 1 1 1 2 0 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 4 8 9 9 10 10 10 10 10 10 9 8 7 6 4 </values>
33.42/27.83	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 (13827 MiB free)
  memory of node 1: 16384 MiB (9751 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406438-1569405044/watcher-4406438-1569405044 -o /tmp/evaluation-result-4406438-1569405044/solver-4406438-1569405044 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1569396629-28465 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 674984274 HOME/instance-4406438-1569405044.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30359, runsolver pid=30356


[startup+0.10008 s]*
/proc/loadavg: 2.01 2.02 1.96 4/230 30375
/proc/meminfo: memFree=24128640/32770624 swapFree=66956584/67108860
[pid=30359] ppid=30356 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30359/stat : 30359 (xcsp3-exec) S 30356 30359 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516775720 115843072 363 33554432000 4194304 5098028 140723970475152 140723970473256 140519070663292 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33832960 140723970483067 140723970483309 140723970483309 140723970486218 0
/proc/30359/statm: 28282 363 304 221 0 87 0
[pid=30361] ppid=30359 vsize=15144776 memory=28992 CPUtime=0.12 cores=0,2,4,6
/proc/30361/stat : 30361 (java) S 30359 30359 28434 0 -1 1077944320 5685 0 0 0 11 1 0 0 20 0 15 0 516775720 15508250624 7248 33554432000 4194304 4196468 140723947481280 140723947463824 140593654279927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
/proc/30361/statm: 3786194 7248 3154 1 0 3748377 0
[pid=30361/tid=30362] ppid=30359 vsize=15144776 memory=8514701219881124772 CPUtime=0.08 cores=0,2,4,6
/proc/30361/task/30362/stat : 30362 (java) R 30359 30359 28434 0 -1 4202560 3570 0 0 0 8 0 0 0 20 0 15 0 516775720 15508250624 7248 33554432000 4194304 4196468 140723947481280 140593658516272 140593638360414 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30363] ppid=30359 vsize=15144776 memory=3472467973964211408 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30363/stat : 30363 (java) S 30359 30359 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516775721 15508250624 7248 33554432000 4194304 4196468 140723947481280 140593610832912 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30364] ppid=30359 vsize=15144776 memory=139845069059712 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30364/stat : 30364 (java) S 30359 30359 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516775721 15508250624 7248 33554432000 4194304 4196468 140723947481280 140593609780368 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30365] ppid=30359 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30365/stat : 30365 (java) S 30359 30359 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516775721 15508250624 7248 33554432000 4194304 4196468 140723947481280 140593608727312 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30366] ppid=30359 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30366/stat : 30366 (java) S 30359 30359 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516775721 15508250624 7248 33554432000 4194304 4196468 140723947481280 140593243282320 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30367] ppid=30359 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30367/stat : 30367 (java) S 30359 30359 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516775723 15508250624 7248 33554432000 4194304 4196468 140723947481280 140593122445552 140593654291074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30368] ppid=30359 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30368/stat : 30368 (java) S 30359 30359 28434 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516775723 15508250624 7248 33554432000 4194304 4196468 140723947481280 140593121391776 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30369] ppid=30359 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30369/stat : 30369 (java) S 30359 30359 28434 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516775723 15508250624 7248 33554432000 4194304 4196468 140723947481280 140593120338672 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30370] ppid=30359 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30370/stat : 30370 (java) S 30359 30359 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516775726 15508250624 7248 33554432000 4194304 4196468 140723947481280 140593119287248 140593654298523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30371] ppid=30359 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30371/stat : 30371 (java) R 30359 30359 28434 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 516775726 15508250624 7248 33554432000 4194304 4196468 140723947481280 140593118235376 140593654291074 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30372] ppid=30359 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30372/stat : 30372 (java) R 30359 30359 28434 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 15 0 516775726 15508250624 7248 33554432000 4194304 4196468 140723947481280 140593117182832 140593632120128 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30373] ppid=30359 vsize=15144776 memory=139845069059712 CPUtime=0.02 cores=0,2,4,6
/proc/30361/task/30373/stat : 30373 (java) S 30359 30359 28434 0 -1 1077944384 367 0 0 0 2 0 0 0 20 0 15 0 516775726 15508250624 7248 33554432000 4194304 4196468 140723947481280 140593116129776 140593654291074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30374] ppid=30359 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30374/stat : 30374 (java) S 30359 30359 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516775726 15508250624 7248 33554432000 4194304 4196468 140723947481280 140593115077472 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30375] ppid=30359 vsize=15144776 memory=139845069059712 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30375/stat : 30375 (java) S 30359 30359 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516775726 15508250624 7248 33554432000 4194304 4196468 140723947481280 140593114024496 140593654291074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30444 KiB

[startup+0.210767 s]*
/proc/loadavg: 2.01 2.02 1.96 4/230 30375
/proc/meminfo: memFree=24114668/32770624 swapFree=66956584/67108860
[pid=30359] ppid=30356 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30359/stat : 30359 (xcsp3-exec) S 30356 30359 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516775720 115843072 363 33554432000 4194304 5098028 140723970475152 140723970473256 140519070663292 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33832960 140723970483067 140723970483309 140723970483309 140723970486218 0
/proc/30359/statm: 28282 363 304 221 0 87 0
[pid=30361] ppid=30359 vsize=15144776 memory=41924 CPUtime=0.34 cores=0,2,4,6
/proc/30361/stat : 30361 (java) S 30359 30359 28434 0 -1 1077944320 9175 0 0 0 31 3 0 0 20 0 15 0 516775720 15508250624 10481 33554432000 4194304 4196468 140723947481280 140723947463824 140593654279927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
/proc/30361/statm: 3786194 10481 3301 1 0 3748377 0
[pid=30361/tid=30362] ppid=30359 vsize=15144776 memory=5855082630903857826 CPUtime=0.2 cores=0,2,4,6
/proc/30361/task/30362/stat : 30362 (java) R 30359 30359 28434 0 -1 4202560 6284 0 0 0 18 2 0 0 20 0 15 0 516775720 15508250624 10481 33554432000 4194304 4196468 140723947481280 140593658513872 140593654291862 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30363] ppid=30359 vsize=15144776 memory=3472467973964211408 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30363/stat : 30363 (java) S 30359 30359 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516775721 15508250624 10481 33554432000 4194304 4196468 140723947481280 140593610832912 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30364] ppid=30359 vsize=15144776 memory=139845069059712 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30364/stat : 30364 (java) S 30359 30359 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516775721 15508250624 10481 33554432000 4194304 4196468 140723947481280 140593609780368 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30365] ppid=30359 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30365/stat : 30365 (java) S 30359 30359 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516775721 15508250624 10481 33554432000 4194304 4196468 140723947481280 140593608727312 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30366] ppid=30359 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30366/stat : 30366 (java) S 30359 30359 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516775721 15508250624 10481 33554432000 4194304 4196468 140723947481280 140593243282320 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30367] ppid=30359 vsize=15144776 memory=139845069059712 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30367/stat : 30367 (java) S 30359 30359 28434 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516775723 15508250624 10481 33554432000 4194304 4196468 140723947481280 140593122445552 140593654291074 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30368] ppid=30359 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30368/stat : 30368 (java) S 30359 30359 28434 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516775723 15508250624 10481 33554432000 4194304 4196468 140723947481280 140593121391776 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30369] ppid=30359 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30369/stat : 30369 (java) S 30359 30359 28434 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516775723 15508250624 10481 33554432000 4194304 4196468 140723947481280 140593120338672 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30370] ppid=30359 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30370/stat : 30370 (java) S 30359 30359 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516775726 15508250624 10481 33554432000 4194304 4196468 140723947481280 140593119287248 140593654298523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30371] ppid=30359 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30361/task/30371/stat : 30371 (java) S 30359 30359 28434 0 -1 1077944384 637 0 0 0 2 0 0 0 20 0 15 0 516775726 15508250624 10481 33554432000 4194304 4196468 140723947481280 140593118235376 140593654291074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30372] ppid=30359 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30361/task/30372/stat : 30372 (java) S 30359 30359 28434 0 -1 1077944384 150 0 0 0 2 0 0 0 20 0 15 0 516775726 15508250624 10481 33554432000 4194304 4196468 140723947481280 140593117182832 140593654291074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30373] ppid=30359 vsize=15144776 memory=139845069059712 CPUtime=0.08 cores=0,2,4,6
/proc/30361/task/30373/stat : 30373 (java) R 30359 30359 28434 0 -1 4202560 795 0 0 0 8 0 0 0 20 0 15 0 516775726 15508250624 10481 33554432000 4194304 4196468 140723947481280 140593116128960 140593654301274 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30374] ppid=30359 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30374/stat : 30374 (java) S 30359 30359 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516775726 15508250624 10481 33554432000 4194304 4196468 140723947481280 140593115077472 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30375] ppid=30359 vsize=15144776 memory=139845069059712 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30375/stat : 30375 (java) S 30359 30359 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516775726 15508250624 10481 33554432000 4194304 4196468 140723947481280 140593114024496 140593654291074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 43376 KiB

[startup+0.311904 s]*
/proc/loadavg: 2.01 2.02 1.96 5/230 30375
/proc/meminfo: memFree=24107532/32770624 swapFree=66956584/67108860
[pid=30359] ppid=30356 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30359/stat : 30359 (xcsp3-exec) S 30356 30359 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516775720 115843072 363 33554432000 4194304 5098028 140723970475152 140723970473256 140519070663292 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33832960 140723970483067 140723970483309 140723970483309 140723970486218 0
/proc/30359/statm: 28282 363 304 221 0 87 0
[pid=30361] ppid=30359 vsize=15149032 memory=50624 CPUtime=0.53 cores=0,2,4,6
/proc/30361/stat : 30361 (java) S 30359 30359 28434 0 -1 1077944320 10557 0 0 0 49 4 0 0 20 0 15 0 516775720 15512608768 12656 33554432000 4194304 4196468 140723947481280 140723947463824 140593654279927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
/proc/30361/statm: 3787258 12656 3343 1 0 3748377 0
[pid=30361/tid=30362] ppid=30359 vsize=15149032 memory=8514701219880861597 CPUtime=0.29 cores=0,2,4,6
/proc/30361/task/30362/stat : 30362 (java) R 30359 30359 28434 0 -1 4202560 7473 0 0 0 27 2 0 0 20 0 15 0 516775720 15512608768 12721 33554432000 4194304 4196468 140723947481280 140593658509408 140593654301853 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30363] ppid=30359 vsize=15149032 memory=3472467973964211408 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30363/stat : 30363 (java) S 30359 30359 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516775721 15512608768 12721 33554432000 4194304 4196468 140723947481280 140593610832912 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30364] ppid=30359 vsize=15149032 memory=139845069059712 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30364/stat : 30364 (java) S 30359 30359 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516775721 15512608768 12721 33554432000 4194304 4196468 140723947481280 140593609780368 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30365] ppid=30359 vsize=15149032 memory=5 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30365/stat : 30365 (java) S 30359 30359 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516775721 15512608768 12725 33554432000 4194304 4196468 140723947481280 140593608727312 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30366] ppid=30359 vsize=15149032 memory=139844940605471 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30366/stat : 30366 (java) S 30359 30359 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516775721 15512608768 12725 33554432000 4194304 4196468 140723947481280 140593243282320 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30367] ppid=30359 vsize=15149032 memory=279689881171712 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30367/stat : 30367 (java) S 30359 30359 28434 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516775723 15512608768 12725 33554432000 4194304 4196468 140723947481280 140593122445552 140593654291074 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30368] ppid=30359 vsize=15149032 memory=139844940582415 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30368/stat : 30368 (java) S 30359 30359 28434 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516775723 15512608768 12725 33554432000 4194304 4196468 140723947481280 140593121391776 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30369] ppid=30359 vsize=15149032 memory=279690009651296 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30369/stat : 30369 (java) S 30359 30359 28434 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516775723 15512608768 12725 33554432000 4194304 4196468 140723947481280 140593120338672 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30370] ppid=30359 vsize=15149032 memory=139844940587023 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30370/stat : 30370 (java) S 30359 30359 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516775726 15512608768 12725 33554432000 4194304 4196468 140723947481280 140593119287248 140593654298523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30371] ppid=30359 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30361/task/30371/stat : 30371 (java) S 30359 30359 28434 0 -1 1077944384 650 0 0 0 3 0 0 0 20 0 15 0 516775726 15512608768 12725 33554432000 4194304 4196468 140723947481280 140593118235376 140593654291074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30372] ppid=30359 vsize=15149032 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/30361/task/30372/stat : 30372 (java) R 30359 30359 28434 0 -1 4202560 242 0 0 0 5 0 0 0 20 0 15 0 516775726 15512608768 12725 33554432000 4194304 4196468 140723947481280 140593117173216 140593635823288 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30373] ppid=30359 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/30361/task/30373/stat : 30373 (java) S 30359 30359 28434 0 -1 1077944384 889 0 0 0 12 0 0 0 20 0 15 0 516775726 15512608768 12725 33554432000 4194304 4196468 140723947481280 140593116129776 140593654291074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30374] ppid=30359 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30374/stat : 30374 (java) S 30359 30359 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516775726 15512608768 12725 33554432000 4194304 4196468 140723947481280 140593115077472 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30375] ppid=30359 vsize=15149032 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30375/stat : 30375 (java) S 30359 30359 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516775726 15512608768 12725 33554432000 4194304 4196468 140723947481280 140593114024496 140593654291074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52076 KiB

[startup+0.703541 s]
/proc/loadavg: 2.01 2.02 1.96 9/230 30375
/proc/meminfo: memFree=24086712/32770624 swapFree=66956584/67108860
[pid=30359] ppid=30356 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30359/stat : 30359 (xcsp3-exec) S 30356 30359 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516775720 115843072 363 33554432000 4194304 5098028 140723970475152 140723970473256 140519070663292 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33832960 140723970483067 140723970483309 140723970483309 140723970486218 0
/proc/30359/statm: 28282 363 304 221 0 87 0
[pid=30361] ppid=30359 vsize=15151156 memory=91088 CPUtime=1.77 cores=0,2,4,6
/proc/30361/stat : 30361 (java) S 30359 30359 28434 0 -1 1077944320 14958 0 0 0 172 5 0 0 20 0 15 0 516775720 15514783744 22772 33554432000 4194304 4196468 140723947481280 140723947463824 140593654279927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
/proc/30361/statm: 3787789 22772 3445 1 0 3748889 0
[pid=30361/tid=30362] ppid=30359 vsize=15151156 memory=56 CPUtime=0.68 cores=0,2,4,6
/proc/30361/task/30362/stat : 30362 (java) R 30359 30359 28434 0 -1 4202560 8947 0 0 0 64 4 0 0 20 0 15 0 516775720 15514783744 22772 33554432000 4194304 4196468 140723947481280 140593658506856 140593637673265 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30363] ppid=30359 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30363/stat : 30363 (java) S 30359 30359 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516775721 15514783744 22772 33554432000 4194304 4196468 140723947481280 140593610832912 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30364] ppid=30359 vsize=15151156 memory=8458433173657302581 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30364/stat : 30364 (java) S 30359 30359 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516775721 15514783744 22772 33554432000 4194304 4196468 140723947481280 140593609780368 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30365] ppid=30359 vsize=15151156 memory=5787220424116037475 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30365/stat : 30365 (java) S 30359 30359 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516775721 15514783744 22772 33554432000 4194304 4196468 140723947481280 140593608727312 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30366] ppid=30359 vsize=15151156 memory=5865491479076426066 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30366/stat : 30366 (java) S 30359 30359 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516775721 15514783744 22772 33554432000 4194304 4196468 140723947481280 140593243282320 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30367] ppid=30359 vsize=15151156 memory=6935649255759568960 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30367/stat : 30367 (java) S 30359 30359 28434 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516775723 15514783744 22772 33554432000 4194304 4196468 140723947481280 140593122445552 140593654291074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30368] ppid=30359 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30368/stat : 30368 (java) S 30359 30359 28434 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516775723 15514783744 22772 33554432000 4194304 4196468 140723947481280 140593121391776 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30369] ppid=30359 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30369/stat : 30369 (java) S 30359 30359 28434 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516775723 15514783744 22772 33554432000 4194304 4196468 140723947481280 140593120338672 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30370] ppid=30359 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30370/stat : 30370 (java) S 30359 30359 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516775726 15514783744 22772 33554432000 4194304 4196468 140723947481280 140593119287248 140593654298523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30371] ppid=30359 vsize=15151156 memory=744 CPUtime=0.3 cores=0,2,4,6
/proc/30361/task/30371/stat : 30371 (java) R 30359 30359 28434 0 -1 4202560 1245 0 0 0 30 0 0 0 20 0 15 0 516775726 15514783744 22772 33554432000 4194304 4196468 140723947481280 140593118235504 140593639202839 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30372] ppid=30359 vsize=15151156 memory=8444 CPUtime=0.36 cores=0,2,4,6
/proc/30361/task/30372/stat : 30372 (java) R 30359 30359 28434 0 -1 4202560 1109 0 0 0 36 0 0 0 20 0 15 0 516775726 15514783744 22772 33554432000 4194304 4196468 140723947481280 140593117174784 140593635824154 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30373] ppid=30359 vsize=15151156 memory=6184 CPUtime=0.4 cores=0,2,4,6
/proc/30361/task/30373/stat : 30373 (java) R 30359 30359 28434 0 -1 4202560 2348 0 0 0 40 0 0 0 20 0 15 0 516775726 15514783744 22772 33554432000 4194304 4196468 140723947481280 140593116129776 140593638527083 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30374] ppid=30359 vsize=15151156 memory=1124 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30374/stat : 30374 (java) S 30359 30359 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516775726 15514783744 22772 33554432000 4194304 4196468 140723947481280 140593115077472 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30375] ppid=30359 vsize=15151156 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30375/stat : 30375 (java) S 30359 30359 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516775726 15514783744 22772 33554432000 4194304 4196468 140723947481280 140593114024496 140593654291074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 92540 KiB

[startup+1.50079 s]
/proc/loadavg: 2.01 2.02 1.96 5/230 30375
/proc/meminfo: memFree=24051160/32770624 swapFree=66956584/67108860
[pid=30359] ppid=30356 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30359/stat : 30359 (xcsp3-exec) S 30356 30359 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516775720 115843072 363 33554432000 4194304 5098028 140723970475152 140723970473256 140519070663292 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33832960 140723970483067 140723970483309 140723970483309 140723970486218 0
/proc/30359/statm: 28282 363 304 221 0 87 0

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

/proc/30359/stat : 30359 (xcsp3-exec) S 30356 30359 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516775720 115843072 363 33554432000 4194304 5098028 140723970475152 140723970473256 140519070663292 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33832960 140723970483067 140723970483309 140723970483309 140723970486218 0
/proc/30359/statm: 28282 363 304 221 0 87 0
[pid=30361] ppid=30359 vsize=15153204 memory=166252 CPUtime=31.2 cores=0,2,4,6
/proc/30361/stat : 30361 (java) S 30359 30359 28434 0 -1 1077944320 37737 0 0 0 3110 10 0 0 20 0 15 0 516775720 15516880896 41563 33554432000 4194304 4196468 140723947481280 140723947463824 140593654279927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
/proc/30361/statm: 3788301 41563 3486 1 0 3749401 0
[pid=30361/tid=30362] ppid=30359 vsize=15153204 memory=6184 CPUtime=25.57 cores=0,2,4,6
/proc/30361/task/30362/stat : 30362 (java) R 30359 30359 28434 0 -1 4202560 12001 0 0 0 2552 5 0 0 20 0 15 0 516775720 15516880896 41563 33554432000 4194304 4196468 140723947481280 140593658517048 140593296891369 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30363] ppid=30359 vsize=15153204 memory=1124 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30363/stat : 30363 (java) S 30359 30359 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516775721 15516880896 41563 33554432000 4194304 4196468 140723947481280 140593610832912 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30364] ppid=30359 vsize=15153204 memory=65 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30364/stat : 30364 (java) S 30359 30359 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516775721 15516880896 41563 33554432000 4194304 4196468 140723947481280 140593609780368 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30365] ppid=30359 vsize=15153204 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30365/stat : 30365 (java) S 30359 30359 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516775721 15516880896 41563 33554432000 4194304 4196468 140723947481280 140593608727312 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30366] ppid=30359 vsize=15153204 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30366/stat : 30366 (java) S 30359 30359 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516775721 15516880896 41563 33554432000 4194304 4196468 140723947481280 140593243282320 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30367] ppid=30359 vsize=15153204 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30367/stat : 30367 (java) S 30359 30359 28434 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 15 0 516775723 15516880896 41563 33554432000 4194304 4196468 140723947481280 140593122445552 140593654291074 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30368] ppid=30359 vsize=15153204 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30368/stat : 30368 (java) S 30359 30359 28434 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516775723 15516880896 41563 33554432000 4194304 4196468 140723947481280 140593121391776 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30369] ppid=30359 vsize=15153204 memory=139848430125640 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30369/stat : 30369 (java) S 30359 30359 28434 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516775723 15516880896 41563 33554432000 4194304 4196468 140723947481280 140593120338672 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30370] ppid=30359 vsize=15153204 memory=139848430125643 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30370/stat : 30370 (java) S 30359 30359 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516775726 15516880896 41563 33554432000 4194304 4196468 140723947481280 140593119287248 140593654298523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30371] ppid=30359 vsize=15153204 memory=139848430125644 CPUtime=2.38 cores=0,2,4,6
/proc/30361/task/30371/stat : 30371 (java) S 30359 30359 28434 0 -1 1077944384 8535 0 0 0 237 1 0 0 20 0 15 0 516775726 15516880896 41563 33554432000 4194304 4196468 140723947481280 140593118235376 140593654291074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30372] ppid=30359 vsize=15153204 memory=139848430125651 CPUtime=2.44 cores=0,2,4,6
/proc/30361/task/30372/stat : 30372 (java) S 30359 30359 28434 0 -1 1077944384 8447 0 0 0 243 1 0 0 20 0 15 0 516775726 15516880896 41563 33554432000 4194304 4196468 140723947481280 140593117182832 140593654291074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30373] ppid=30359 vsize=15153204 memory=139848430125654 CPUtime=0.77 cores=0,2,4,6
/proc/30361/task/30373/stat : 30373 (java) S 30359 30359 28434 0 -1 1077944384 6848 0 0 0 76 1 0 0 20 0 15 0 516775726 15516880896 41563 33554432000 4194304 4196468 140723947481280 140593116129776 140593654291074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30374] ppid=30359 vsize=15153204 memory=139848430125656 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30374/stat : 30374 (java) S 30359 30359 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516775726 15516880896 41563 33554432000 4194304 4196468 140723947481280 140593115077472 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30375] ppid=30359 vsize=15153204 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30375/stat : 30375 (java) S 30359 30359 28434 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 15 0 516775726 15516880896 41563 33554432000 4194304 4196468 140723947481280 140593114024496 140593654291074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
Current children cumulated CPU time: 31.2 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 167704 KiB

[startup+27.2007 s]
/proc/loadavg: 2.06 2.04 1.97 3/230 30378
/proc/meminfo: memFree=23988564/32770624 swapFree=66956584/67108860
[pid=30359] ppid=30356 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30359/stat : 30359 (xcsp3-exec) S 30356 30359 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516775720 115843072 363 33554432000 4194304 5098028 140723970475152 140723970473256 140519070663292 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33832960 140723970483067 140723970483309 140723970483309 140723970486218 0
/proc/30359/statm: 28282 363 304 221 0 87 0
[pid=30361] ppid=30359 vsize=15153204 memory=172412 CPUtime=32.82 cores=0,2,4,6
/proc/30361/stat : 30361 (java) S 30359 30359 28434 0 -1 1077944320 38303 0 0 0 3271 11 0 0 20 0 15 0 516775720 15516880896 43103 33554432000 4194304 4196468 140723947481280 140723947463824 140593654279927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
/proc/30361/statm: 3788301 43103 3486 1 0 3749401 0
[pid=30361/tid=30362] ppid=30359 vsize=15153204 memory=6791534058613427641 CPUtime=27.17 cores=0,2,4,6
/proc/30361/task/30362/stat : 30362 (java) R 30359 30359 28434 0 -1 4202560 12019 0 0 0 2712 5 0 0 20 0 15 0 516775720 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593658518552 140593294444972 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30363] ppid=30359 vsize=15153204 memory=33 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30363/stat : 30363 (java) S 30359 30359 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516775721 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593610832912 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30364] ppid=30359 vsize=15153204 memory=576600601270419574 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30364/stat : 30364 (java) S 30359 30359 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516775721 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593609780368 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30365] ppid=30359 vsize=15153204 memory=2964843 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30365/stat : 30365 (java) S 30359 30359 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516775721 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593608727312 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30366] ppid=30359 vsize=15153204 memory=4051040874145277910 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30366/stat : 30366 (java) S 30359 30359 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516775721 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593243282320 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30367] ppid=30359 vsize=15153204 memory=180 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30367/stat : 30367 (java) S 30359 30359 28434 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 15 0 516775723 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593122445552 140593654291074 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30368] ppid=30359 vsize=15153204 memory=288230617509003574 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30368/stat : 30368 (java) S 30359 30359 28434 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516775723 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593121391776 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30369] ppid=30359 vsize=15153204 memory=16098178197882675 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30369/stat : 30369 (java) S 30359 30359 28434 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516775723 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593120338672 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30370] ppid=30359 vsize=15153204 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30370/stat : 30370 (java) S 30359 30359 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516775726 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593119287248 140593654298523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30371] ppid=30359 vsize=15153204 memory=0 CPUtime=2.38 cores=0,2,4,6
/proc/30361/task/30371/stat : 30371 (java) S 30359 30359 28434 0 -1 1077944384 8663 0 0 0 237 1 0 0 20 0 15 0 516775726 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593118235376 140593654291074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30372] ppid=30359 vsize=15153204 memory=0 CPUtime=2.44 cores=0,2,4,6
/proc/30361/task/30372/stat : 30372 (java) S 30359 30359 28434 0 -1 1077944384 8447 0 0 0 243 1 0 0 20 0 15 0 516775726 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593117182832 140593654291074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30373] ppid=30359 vsize=15153204 memory=1328 CPUtime=0.78 cores=0,2,4,6
/proc/30361/task/30373/stat : 30373 (java) S 30359 30359 28434 0 -1 1077944384 7268 0 0 0 77 1 0 0 20 0 15 0 516775726 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593116129776 140593654291074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30374] ppid=30359 vsize=15153204 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30374/stat : 30374 (java) S 30359 30359 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516775726 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593115077472 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30375] ppid=30359 vsize=15153204 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30375/stat : 30375 (java) S 30359 30359 28434 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 15 0 516775726 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593114024496 140593654291074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
Current children cumulated CPU time: 32.82 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 173864 KiB

[startup+27.6007 s]
/proc/loadavg: 2.06 2.04 1.97 3/230 30378
/proc/meminfo: memFree=23988564/32770624 swapFree=66956584/67108860
[pid=30359] ppid=30356 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30359/stat : 30359 (xcsp3-exec) S 30356 30359 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516775720 115843072 363 33554432000 4194304 5098028 140723970475152 140723970473256 140519070663292 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33832960 140723970483067 140723970483309 140723970483309 140723970486218 0
/proc/30359/statm: 28282 363 304 221 0 87 0
[pid=30361] ppid=30359 vsize=15153204 memory=172412 CPUtime=33.22 cores=0,2,4,6
/proc/30361/stat : 30361 (java) S 30359 30359 28434 0 -1 1077944320 38303 0 0 0 3311 11 0 0 20 0 15 0 516775720 15516880896 43103 33554432000 4194304 4196468 140723947481280 140723947463824 140593654279927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
/proc/30361/statm: 3788301 43103 3486 1 0 3749401 0
[pid=30361/tid=30362] ppid=30359 vsize=15153204 memory=22980 CPUtime=27.57 cores=0,2,4,6
/proc/30361/task/30362/stat : 30362 (java) R 30359 30359 28434 0 -1 4202560 12019 0 0 0 2752 5 0 0 20 0 15 0 516775720 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593658517176 140593294334196 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30363] ppid=30359 vsize=15153204 memory=504 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30363/stat : 30363 (java) S 30359 30359 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516775721 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593610832912 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30364] ppid=30359 vsize=15153204 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30364/stat : 30364 (java) S 30359 30359 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516775721 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593609780368 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30365] ppid=30359 vsize=15153204 memory=924 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30365/stat : 30365 (java) S 30359 30359 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516775721 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593608727312 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30366] ppid=30359 vsize=15153204 memory=1420 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30366/stat : 30366 (java) S 30359 30359 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516775721 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593243282320 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30367] ppid=30359 vsize=15153204 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30367/stat : 30367 (java) S 30359 30359 28434 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 15 0 516775723 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593122445552 140593654291074 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30368] ppid=30359 vsize=15153204 memory=170348 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30368/stat : 30368 (java) S 30359 30359 28434 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516775723 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593121391776 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30369] ppid=30359 vsize=15153204 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30369/stat : 30369 (java) S 30359 30359 28434 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516775723 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593120338672 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30370] ppid=30359 vsize=15153204 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30370/stat : 30370 (java) S 30359 30359 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516775726 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593119287248 140593654298523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30371] ppid=30359 vsize=15153204 memory=920 CPUtime=2.38 cores=0,2,4,6
/proc/30361/task/30371/stat : 30371 (java) S 30359 30359 28434 0 -1 1077944384 8663 0 0 0 237 1 0 0 20 0 15 0 516775726 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593118235376 140593654291074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30372] ppid=30359 vsize=15153204 memory=1452 CPUtime=2.44 cores=0,2,4,6
/proc/30361/task/30372/stat : 30372 (java) S 30359 30359 28434 0 -1 1077944384 8447 0 0 0 243 1 0 0 20 0 15 0 516775726 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593117182832 140593654291074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30373] ppid=30359 vsize=15153204 memory=130204 CPUtime=0.78 cores=0,2,4,6
/proc/30361/task/30373/stat : 30373 (java) S 30359 30359 28434 0 -1 1077944384 7268 0 0 0 77 1 0 0 20 0 15 0 516775726 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593116129776 140593654291074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30374] ppid=30359 vsize=15153204 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30374/stat : 30374 (java) S 30359 30359 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516775726 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593115077472 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30375] ppid=30359 vsize=15153204 memory=129936 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30375/stat : 30375 (java) S 30359 30359 28434 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 15 0 516775726 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593114024496 140593654291074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
Current children cumulated CPU time: 33.22 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 173864 KiB

[startup+27.8007 s]
/proc/loadavg: 2.06 2.04 1.97 3/230 30378
/proc/meminfo: memFree=23988564/32770624 swapFree=66956584/67108860
[pid=30359] ppid=30356 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30359/stat : 30359 (xcsp3-exec) S 30356 30359 28434 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516775720 115843072 363 33554432000 4194304 5098028 140723970475152 140723970473256 140519070663292 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33832960 140723970483067 140723970483309 140723970483309 140723970486218 0
/proc/30359/statm: 28282 363 304 221 0 87 0
[pid=30361] ppid=30359 vsize=15153204 memory=172412 CPUtime=33.42 cores=0,2,4,6
/proc/30361/stat : 30361 (java) S 30359 30359 28434 0 -1 1077944320 38303 0 0 0 3331 11 0 0 20 0 15 0 516775720 15516880896 43103 33554432000 4194304 4196468 140723947481280 140723947463824 140593654279927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
/proc/30361/statm: 3788301 43103 3486 1 0 3749401 0
[pid=30361/tid=30362] ppid=30359 vsize=15153204 memory=2596 CPUtime=27.77 cores=0,2,4,6
/proc/30361/task/30362/stat : 30362 (java) R 30359 30359 28434 0 -1 4202560 12019 0 0 0 2772 5 0 0 20 0 15 0 516775720 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593658517176 140593294334320 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30363] ppid=30359 vsize=15153204 memory=2596 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30363/stat : 30363 (java) S 30359 30359 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516775721 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593610832912 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30364] ppid=30359 vsize=15153204 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30364/stat : 30364 (java) S 30359 30359 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516775721 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593609780368 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30365] ppid=30359 vsize=15153204 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30365/stat : 30365 (java) S 30359 30359 28434 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516775721 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593608727312 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30366] ppid=30359 vsize=15153204 memory=3244 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30366/stat : 30366 (java) S 30359 30359 28434 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516775721 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593243282320 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30367] ppid=30359 vsize=15153204 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30367/stat : 30367 (java) S 30359 30359 28434 0 -1 1077944384 280 0 0 0 0 0 0 0 20 0 15 0 516775723 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593122445552 140593654291074 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30368] ppid=30359 vsize=15153204 memory=1468652 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30368/stat : 30368 (java) S 30359 30359 28434 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516775723 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593121391776 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30369] ppid=30359 vsize=15153204 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30369/stat : 30369 (java) S 30359 30359 28434 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516775723 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593120338672 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30370] ppid=30359 vsize=15153204 memory=2756 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30370/stat : 30370 (java) S 30359 30359 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516775726 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593119287248 140593654298523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30371] ppid=30359 vsize=15153204 memory=1452 CPUtime=2.38 cores=0,2,4,6
/proc/30361/task/30371/stat : 30371 (java) S 30359 30359 28434 0 -1 1077944384 8663 0 0 0 237 1 0 0 20 0 15 0 516775726 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593118235376 140593654291074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30372] ppid=30359 vsize=15153204 memory=1452 CPUtime=2.44 cores=0,2,4,6
/proc/30361/task/30372/stat : 30372 (java) S 30359 30359 28434 0 -1 1077944384 8447 0 0 0 243 1 0 0 20 0 15 0 516775726 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593117182832 140593654291074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 24 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30373] ppid=30359 vsize=15153204 memory=984 CPUtime=0.78 cores=0,2,4,6
/proc/30361/task/30373/stat : 30373 (java) S 30359 30359 28434 0 -1 1077944384 7268 0 0 0 77 1 0 0 20 0 15 0 516775726 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593116129776 140593654291074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30374] ppid=30359 vsize=15153204 memory=2032 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30374/stat : 30374 (java) S 30359 30359 28434 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516775726 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593115077472 140593654290133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
[pid=30361/tid=30375] ppid=30359 vsize=15153204 memory=1328 CPUtime=0 cores=0,2,4,6
/proc/30361/task/30375/stat : 30375 (java) S 30359 30359 28434 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 15 0 516775726 15516880896 43103 33554432000 4194304 4196468 140723947481280 140593114024496 140593654291074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 32 0 0 6293624 6294260 29581312 140723947484143 140723947484314 140723947484314 140723947487183 0
Current children cumulated CPU time: 33.42 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 173864 KiB

Child status: 0
Real time (s): 27.8433
CPU time (s): 33.4692
CPU user time (s): 33.3498
CPU system time (s): 0.119481
CPU usage (%): 120.206
Max. virtual memory (cumulated for all children) (KiB): 15266332
Max. memory (cumulated for all children) (KiB): 173864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.3498
system time used= 0.119481
maximum resident set size= 174832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39606
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3324
involuntary context switches= 83


# summary of solver processes directly reported to runsolver:
#   pid: 30359
#   total CPU time (s): 33.4692
#   total CPU user time (s): 33.3498
#   total CPU system time (s): 0.119481

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.184322 second user time and 0.300821 second system time

The end

Name	OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-30-15-1.xml
MD5SUM	097039f9865a2fa48b7d42a66e75794b
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	10
Best CPU time to get the best result obtained on this benchmark	23.1546
Satisfiable
(Un)Satisfiability was proved
Number of variables	1380
Number of constraints	1366
Number of domains	4
Minimum domain size	2
Maximum domain size	16
Distribution of domain sizes	[{"size":2,"count":900},{"size":3,"count":450},{"size":15,"count":15},{"size":16,"count":15}]
Minimum variable degree	2
Maximum variable degree	31
Distribution of variable degrees	[{"degree":2,"count":495},{"degree":3,"count":870},{"degree":31,"count":15}]
Minimum constraint arity	2
Maximum constraint arity	31
Distribution of constraint arities	[{"arity":2,"count":480},{"arity":3,"count":870},{"arity":15,"count":1},{"arity":31,"count":15}]
Number of extensional constraints	450
Number of intensional constraints	450
Distribution of constraint types	[{"type":"extension","count":450},{"type":"intension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":15},{"type":"element","count":450}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4406438

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