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	OPT	14	118.076	30.0402

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404122-1568991013.xml"  -tl '2400s' -p 4
0.13/0.18	c Choco 3fb4b153
0.13/0.18	c [HOME/instance-4404122-1568991013.xml, -tl, 2400s, -p, 4]
0.33/0.22	c 4 solvers in parallel
0.33/0.28	c parse instance...
3.47/1.21	c solve instance...
20.09/5.42	o 15 
20.88/5.66	o 14 
117.97/30.03	s OPTIMUM FOUND
117.97/30.03	v <instantiation>
117.97/30.03	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>
117.97/30.03	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>
117.97/30.03	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 (4506 MiB free)
  memory of node 1: 16384 MiB (2461 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404122-1568991013/watcher-4404122-1568991013 -o /var/tmp/evaluation-result-4404122-1568991013/solver-4404122-1568991013 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1568990625-7232 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 304575517 HOME/instance-4404122-1568991013.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=8549, runsolver pid=8546

[startup+0.100067 s]*
/proc/loadavg: 8.37 6.07 3.45 7/233 8565
/proc/meminfo: memFree=7118992/32770624 swapFree=67021820/67108860
[pid=8549] ppid=8546 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8549/stat : 8549 (xcsp3-exec) S 8546 8549 7201 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475373845 115843072 363 33554432000 4194304 5098028 140735980629248 140735980627352 139941797175932 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13611008 140735980630871 140735980631129 140735980631129 140735980634054 0
/proc/8549/statm: 28282 363 305 221 0 87 0
[pid=8551] ppid=8549 vsize=15144776 memory=29600 CPUtime=0.13 cores=0,2,4,6
/proc/8551/stat : 8551 (java) S 8549 8549 7201 0 -1 1077944320 5769 0 0 0 12 1 0 0 20 0 15 0 475373846 15508250624 7400 33554432000 4194304 4196468 140722935910608 140722935893152 140378671333111 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
/proc/8551/statm: 3786194 7400 3189 1 0 3748377 0
[pid=8551/tid=8552] ppid=8549 vsize=15144776 memory=7973242294261486427 CPUtime=0.09 cores=0,2,4,6
/proc/8551/task/8552/stat : 8552 (java) R 8549 8549 7201 0 -1 4202560 3697 0 0 0 9 0 0 0 20 0 15 0 475373846 15508250624 7400 33554432000 4194304 4196468 140722935910608 140378675563296 140378271454527 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8553] ppid=8549 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8553/stat : 8553 (java) S 8549 8549 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475373847 15508250624 7400 33554432000 4194304 4196468 140722935910608 140378599373072 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8554] ppid=8549 vsize=15144776 memory=140392262878848 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8554/stat : 8554 (java) S 8549 8549 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475373847 15508250624 7400 33554432000 4194304 4196468 140722935910608 140378598320528 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8555] ppid=8549 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8555/stat : 8555 (java) S 8549 8549 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475373847 15508250624 7400 33554432000 4194304 4196468 140722935910608 140378597267984 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8556] ppid=8549 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8556/stat : 8556 (java) S 8549 8549 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475373847 15508250624 7400 33554432000 4194304 4196468 140722935910608 140378596215440 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8557] ppid=8549 vsize=15144776 memory=140392262878848 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8557/stat : 8557 (java) S 8549 8549 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475373848 15508250624 7400 33554432000 4194304 4196468 140722935910608 140378139789808 140378671344258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8558] ppid=8549 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8558/stat : 8558 (java) S 8549 8549 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475373849 15508250624 7400 33554432000 4194304 4196468 140722935910608 140378138736032 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8559] ppid=8549 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8559/stat : 8559 (java) S 8549 8549 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475373849 15508250624 7400 33554432000 4194304 4196468 140722935910608 140378137683440 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8560] ppid=8549 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8560/stat : 8560 (java) S 8549 8549 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475373851 15508250624 7400 33554432000 4194304 4196468 140722935910608 140378136632016 140378671351707 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8561] ppid=8549 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8561/stat : 8561 (java) R 8549 8549 7201 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 475373851 15508250624 7400 33554432000 4194304 4196468 140722935910608 140378135578608 140378671344258 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8562] ppid=8549 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8562/stat : 8562 (java) R 8549 8549 7201 0 -1 4202560 160 0 0 0 0 0 0 0 20 0 15 0 475373851 15508250624 7400 33554432000 4194304 4196468 140722935910608 140378134526064 140378649165968 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8563] ppid=8549 vsize=15144776 memory=140392262878848 CPUtime=0.02 cores=0,2,4,6
/proc/8551/task/8563/stat : 8563 (java) S 8549 8549 7201 0 -1 1077944384 330 0 0 0 2 0 0 0 20 0 15 0 475373851 15508250624 7400 33554432000 4194304 4196468 140722935910608 140378133473520 140378671344258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8564] ppid=8549 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8564/stat : 8564 (java) S 8549 8549 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475373852 15508250624 7400 33554432000 4194304 4196468 140722935910608 140378132421216 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8565] ppid=8549 vsize=15144776 memory=140392262878848 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8565/stat : 8565 (java) S 8549 8549 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475373852 15508250624 7400 33554432000 4194304 4196468 140722935910608 140378131368752 140378671344258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31052 KiB

[startup+0.210839 s]*
/proc/loadavg: 8.37 6.07 3.45 8/233 8565
/proc/meminfo: memFree=7106800/32770624 swapFree=67021820/67108860
[pid=8549] ppid=8546 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8549/stat : 8549 (xcsp3-exec) S 8546 8549 7201 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475373845 115843072 363 33554432000 4194304 5098028 140735980629248 140735980627352 139941797175932 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13611008 140735980630871 140735980631129 140735980631129 140735980634054 0
/proc/8549/statm: 28282 363 305 221 0 87 0
[pid=8551] ppid=8549 vsize=15144776 memory=40892 CPUtime=0.33 cores=0,2,4,6
/proc/8551/stat : 8551 (java) S 8549 8549 7201 0 -1 1077944320 9428 0 0 0 31 2 0 0 20 0 15 0 475373846 15508250624 10223 33554432000 4194304 4196468 140722935910608 140722935893152 140378671333111 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
/proc/8551/statm: 3786194 10223 3281 1 0 3748377 0
[pid=8551/tid=8552] ppid=8549 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/8551/task/8552/stat : 8552 (java) R 8549 8549 7201 0 -1 4202560 6599 0 0 0 18 2 0 0 20 0 15 0 475373846 15508250624 10223 33554432000 4194304 4196468 140722935910608 140378675567056 140378655413598 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8553] ppid=8549 vsize=15144776 memory=13575 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8553/stat : 8553 (java) S 8549 8549 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475373847 15508250624 10223 33554432000 4194304 4196468 140722935910608 140378599373072 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8554] ppid=8549 vsize=15144776 memory=140392266241132 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8554/stat : 8554 (java) S 8549 8549 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475373847 15508250624 10223 33554432000 4194304 4196468 140722935910608 140378598320528 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8555] ppid=8549 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8555/stat : 8555 (java) S 8549 8549 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475373847 15508250624 10223 33554432000 4194304 4196468 140722935910608 140378597267984 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8556] ppid=8549 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8556/stat : 8556 (java) S 8549 8549 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475373847 15508250624 10223 33554432000 4194304 4196468 140722935910608 140378596215440 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8557] ppid=8549 vsize=15144776 memory=140392262878848 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8557/stat : 8557 (java) S 8549 8549 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475373848 15508250624 10223 33554432000 4194304 4196468 140722935910608 140378139789808 140378671344258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8558] ppid=8549 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8558/stat : 8558 (java) S 8549 8549 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475373849 15508250624 10223 33554432000 4194304 4196468 140722935910608 140378138736032 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8559] ppid=8549 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8559/stat : 8559 (java) S 8549 8549 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475373849 15508250624 10223 33554432000 4194304 4196468 140722935910608 140378137683440 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8560] ppid=8549 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8560/stat : 8560 (java) S 8549 8549 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475373851 15508250624 10223 33554432000 4194304 4196468 140722935910608 140378136632016 140378671351707 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8561] ppid=8549 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8551/task/8561/stat : 8561 (java) S 8549 8549 7201 0 -1 1077944384 601 0 0 0 3 0 0 0 20 0 15 0 475373851 15508250624 10223 33554432000 4194304 4196468 140722935910608 140378135578608 140378671344258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8562] ppid=8549 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/8551/task/8562/stat : 8562 (java) S 8549 8549 7201 0 -1 1077944384 174 0 0 0 1 0 0 0 20 0 15 0 475373851 15508250624 10223 33554432000 4194304 4196468 140722935910608 140378134526064 140378671344258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8563] ppid=8549 vsize=15144776 memory=140392262878848 CPUtime=0.08 cores=0,2,4,6
/proc/8551/task/8563/stat : 8563 (java) R 8549 8549 7201 0 -1 4202560 752 0 0 0 8 0 0 0 20 0 15 0 475373851 15508250624 10223 33554432000 4194304 4196468 140722935910608 140378133473520 140378671345046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8564] ppid=8549 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8564/stat : 8564 (java) S 8549 8549 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475373852 15508250624 10223 33554432000 4194304 4196468 140722935910608 140378132421216 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8565] ppid=8549 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8565/stat : 8565 (java) S 8549 8549 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475373852 15508250624 10223 33554432000 4194304 4196468 140722935910608 140378131368752 140378671344258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42344 KiB

[startup+0.311556 s]*
/proc/loadavg: 8.37 6.07 3.45 7/233 8565
/proc/meminfo: memFree=7099272/32770624 swapFree=67021820/67108860
[pid=8549] ppid=8546 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8549/stat : 8549 (xcsp3-exec) S 8546 8549 7201 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475373845 115843072 363 33554432000 4194304 5098028 140735980629248 140735980627352 139941797175932 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13611008 140735980630871 140735980631129 140735980631129 140735980634054 0
/proc/8549/statm: 28282 363 305 221 0 87 0
[pid=8551] ppid=8549 vsize=15149032 memory=49872 CPUtime=0.52 cores=0,2,4,6
/proc/8551/stat : 8551 (java) S 8549 8549 7201 0 -1 1077944320 10793 0 0 0 49 3 0 0 20 0 15 0 475373846 15512608768 12468 33554432000 4194304 4196468 140722935910608 140722935893152 140378671333111 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
/proc/8551/statm: 3787258 12468 3374 1 0 3748377 0
[pid=8551/tid=8552] ppid=8549 vsize=15149032 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/8551/task/8552/stat : 8552 (java) R 8549 8549 7201 0 -1 4202560 7791 0 0 0 27 2 0 0 20 0 15 0 475373846 15512608768 12533 33554432000 4194304 4196468 140722935910608 140378675564224 140378655413598 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8553] ppid=8549 vsize=15149032 memory=13938 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8553/stat : 8553 (java) S 8549 8549 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475373847 15512608768 12541 33554432000 4194304 4196468 140722935910608 140378599373072 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8554] ppid=8549 vsize=15149032 memory=3566264 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8554/stat : 8554 (java) S 8549 8549 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475373847 15512608768 12541 33554432000 4194304 4196468 140722935910608 140378598320528 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8555] ppid=8549 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8555/stat : 8555 (java) S 8549 8549 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475373847 15512608768 12541 33554432000 4194304 4196468 140722935910608 140378597267984 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8556] ppid=8549 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8556/stat : 8556 (java) S 8549 8549 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475373847 15512608768 12541 33554432000 4194304 4196468 140722935910608 140378596215440 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8557] ppid=8549 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8557/stat : 8557 (java) S 8549 8549 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475373848 15512608768 12541 33554432000 4194304 4196468 140722935910608 140378139789808 140378671344258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8558] ppid=8549 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8558/stat : 8558 (java) S 8549 8549 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475373849 15512608768 12541 33554432000 4194304 4196468 140722935910608 140378138736032 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8559] ppid=8549 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8559/stat : 8559 (java) S 8549 8549 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475373849 15512608768 12541 33554432000 4194304 4196468 140722935910608 140378137683440 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8560] ppid=8549 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8560/stat : 8560 (java) S 8549 8549 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475373851 15512608768 12541 33554432000 4194304 4196468 140722935910608 140378136632016 140378671351707 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8561] ppid=8549 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/8551/task/8561/stat : 8561 (java) R 8549 8549 7201 0 -1 4202560 685 0 0 0 5 0 0 0 20 0 15 0 475373851 15512608768 12541 33554432000 4194304 4196468 140722935910608 140378135568992 140378652853171 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8562] ppid=8549 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8551/task/8562/stat : 8562 (java) S 8549 8549 7201 0 -1 1077944384 200 0 0 0 3 0 0 0 20 0 15 0 475373851 15512608768 12541 33554432000 4194304 4196468 140722935910608 140378134526064 140378671344258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8563] ppid=8549 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/8551/task/8563/stat : 8563 (java) S 8549 8549 7201 0 -1 1077944384 825 0 0 0 12 0 0 0 20 0 15 0 475373851 15512608768 12541 33554432000 4194304 4196468 140722935910608 140378133473520 140378671344258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8564] ppid=8549 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8564/stat : 8564 (java) S 8549 8549 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475373852 15512608768 12541 33554432000 4194304 4196468 140722935910608 140378132421216 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8565] ppid=8549 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8565/stat : 8565 (java) S 8549 8549 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475373852 15512608768 12541 33554432000 4194304 4196468 140722935910608 140378131368752 140378671344258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51324 KiB

[startup+0.703188 s]
/proc/loadavg: 8.37 6.07 3.45 9/233 8565
/proc/meminfo: memFree=7076756/32770624 swapFree=67021820/67108860
[pid=8549] ppid=8546 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8549/stat : 8549 (xcsp3-exec) S 8546 8549 7201 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475373845 115843072 363 33554432000 4194304 5098028 140735980629248 140735980627352 139941797175932 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13611008 140735980630871 140735980631129 140735980631129 140735980634054 0
/proc/8549/statm: 28282 363 305 221 0 87 0
[pid=8551] ppid=8549 vsize=15151156 memory=90948 CPUtime=1.77 cores=0,2,4,6
/proc/8551/stat : 8551 (java) S 8549 8549 7201 0 -1 1077944320 15438 0 0 0 171 6 0 0 20 0 15 0 475373846 15514783744 22737 33554432000 4194304 4196468 140722935910608 140722935893152 140378671333111 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
/proc/8551/statm: 3787789 22737 3452 1 0 3748889 0
[pid=8551/tid=8552] ppid=8549 vsize=15151156 memory=12328 CPUtime=0.68 cores=0,2,4,6
/proc/8551/task/8552/stat : 8552 (java) R 8549 8549 7201 0 -1 4202560 9187 0 0 0 64 4 0 0 20 0 15 0 475373846 15514783744 22737 33554432000 4194304 4196468 140722935910608 140378675551648 140378271673824 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8553] ppid=8549 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8553/stat : 8553 (java) S 8549 8549 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475373847 15514783744 22737 33554432000 4194304 4196468 140722935910608 140378599373072 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8554] ppid=8549 vsize=15151156 memory=1584 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8554/stat : 8554 (java) S 8549 8549 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475373847 15514783744 22737 33554432000 4194304 4196468 140722935910608 140378598320528 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8555] ppid=8549 vsize=15151156 memory=1744 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8555/stat : 8555 (java) S 8549 8549 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475373847 15514783744 22737 33554432000 4194304 4196468 140722935910608 140378597267984 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8556] ppid=8549 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8556/stat : 8556 (java) S 8549 8549 7201 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475373847 15514783744 22737 33554432000 4194304 4196468 140722935910608 140378596215440 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8557] ppid=8549 vsize=15151156 memory=1940 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8557/stat : 8557 (java) S 8549 8549 7201 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475373848 15514783744 22737 33554432000 4194304 4196468 140722935910608 140378139789808 140378671344258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8558] ppid=8549 vsize=15151156 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8558/stat : 8558 (java) S 8549 8549 7201 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475373849 15514783744 22737 33554432000 4194304 4196468 140722935910608 140378138736032 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8559] ppid=8549 vsize=15151156 memory=2508 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8559/stat : 8559 (java) S 8549 8549 7201 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475373849 15514783744 22737 33554432000 4194304 4196468 140722935910608 140378137683440 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8560] ppid=8549 vsize=15151156 memory=1532 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8560/stat : 8560 (java) S 8549 8549 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475373851 15514783744 22737 33554432000 4194304 4196468 140722935910608 140378136632016 140378671351707 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8561] ppid=8549 vsize=15151156 memory=836 CPUtime=0.31 cores=0,2,4,6
/proc/8551/task/8561/stat : 8561 (java) R 8549 8549 7201 0 -1 4202560 1336 0 0 0 31 0 0 0 20 0 15 0 475373851 15514783744 22737 33554432000 4194304 4196468 140722935910608 140378135578608 140378652877645 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8562] ppid=8549 vsize=15151156 memory=1760 CPUtime=0.34 cores=0,2,4,6
/proc/8551/task/8562/stat : 8562 (java) R 8549 8549 7201 0 -1 4202560 1532 0 0 0 34 0 0 0 20 0 15 0 475373851 15514783744 22737 33554432000 4194304 4196468 140722935910608 140378134518016 140378655137791 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8563] ppid=8549 vsize=15151156 memory=111632 CPUtime=0.41 cores=0,2,4,6
/proc/8551/task/8563/stat : 8563 (java) R 8549 8549 7201 0 -1 4202560 2079 0 0 0 41 0 0 0 20 0 15 0 475373851 15514783744 22737 33554432000 4194304 4196468 140722935910608 140378133470456 140378650272442 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8564] ppid=8549 vsize=15151156 memory=804 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8564/stat : 8564 (java) S 8549 8549 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475373852 15514783744 22737 33554432000 4194304 4196468 140722935910608 140378132421216 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8565] ppid=8549 vsize=15151156 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8565/stat : 8565 (java) S 8549 8549 7201 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475373852 15514783744 22737 33554432000 4194304 4196468 140722935910608 140378131368752 140378671344258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 92400 KiB

[startup+1.50119 s]
/proc/loadavg: 8.37 6.07 3.45 8/233 8565
/proc/meminfo: memFree=7005336/32770624 swapFree=67021820/67108860
[pid=8549] ppid=8546 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8549/stat : 8549 (xcsp3-exec) S 8546 8549 7201 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475373845 115843072 363 33554432000 4194304 5098028 140735980629248 140735980627352 139941797175932 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13611008 140735980630871 140735980631129 140735980631129 140735980634054 0
/proc/8549/statm: 28282 363 305 221 0 87 0

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

/proc/8551/task/8565/stat : 8565 (java) S 8549 8549 7201 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 19 0 475373852 15994011648 61613 33554432000 4194304 4196468 140722935910608 140378131368752 140378671344258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8574] ppid=8549 vsize=15619152 memory=41732 CPUtime=21.44 cores=0,2,4,6
/proc/8551/task/8574/stat : 8574 (java) R 8549 8549 7201 0 -1 4202560 217 0 0 0 2144 0 0 0 20 0 19 0 475374409 15994011648 61613 33554432000 4194304 4196468 140722935910608 140378050119416 140378279815510 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8575] ppid=8549 vsize=15619152 memory=1040 CPUtime=21.23 cores=0,2,4,6
/proc/8551/task/8575/stat : 8575 (java) R 8549 8549 7201 0 -1 4202560 1086 0 0 0 2123 0 0 0 20 0 19 0 475374409 15994011648 61613 33554432000 4194304 4196468 140722935910608 140378048012856 140378280297008 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8576] ppid=8549 vsize=15619152 memory=2084 CPUtime=21.33 cores=0,2,4,6
/proc/8551/task/8576/stat : 8576 (java) R 8549 8549 7201 0 -1 4202560 374 0 0 0 2133 0 0 0 20 0 19 0 475374409 15994011648 61613 33554432000 4194304 4196468 140722935910608 140378046959936 140378280272217 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8577] ppid=8549 vsize=15619152 memory=1480 CPUtime=21.41 cores=0,2,4,6
/proc/8551/task/8577/stat : 8577 (java) R 8549 8549 7201 0 -1 4202560 741 0 0 0 2141 0 0 0 20 0 19 0 475374409 15994011648 61613 33554432000 4194304 4196468 140722935910608 140378045906408 140378271523073 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
Current children cumulated CPU time: 106.83 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 247904 KiB

[startup+28.8012 s]
/proc/loadavg: 8.38 6.30 3.61 11/238 8581
/proc/meminfo: memFree=6852560/32770624 swapFree=67021824/67108860
[pid=8549] ppid=8546 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8549/stat : 8549 (xcsp3-exec) S 8546 8549 7201 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475373845 115843072 363 33554432000 4194304 5098028 140735980629248 140735980627352 139941797175932 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13611008 140735980630871 140735980631129 140735980631129 140735980634054 0
/proc/8549/statm: 28282 363 305 221 0 87 0
[pid=8551] ppid=8549 vsize=15619152 memory=246468 CPUtime=113.16 cores=0,2,4,6
/proc/8551/stat : 8551 (java) S 8549 8549 7201 0 -1 1077944320 48950 0 0 0 11298 18 0 0 20 0 19 0 475373846 15994011648 61617 33554432000 4194304 4196468 140722935910608 140722935893152 140378671333111 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
/proc/8551/statm: 3904788 61617 3539 1 0 3865888 0
[pid=8551/tid=8552] ppid=8549 vsize=15619152 memory=8112282956445269571 CPUtime=1.18 cores=0,2,4,6
/proc/8551/task/8552/stat : 8552 (java) S 8549 8549 7201 0 -1 1077944384 11792 0 0 0 113 5 0 0 20 0 19 0 475373846 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378675573888 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8553] ppid=8549 vsize=15619152 memory=1172 CPUtime=0.04 cores=0,2,4,6
/proc/8551/task/8553/stat : 8553 (java) S 8549 8549 7201 0 -1 1077944384 563 0 0 0 3 1 0 0 20 0 19 0 475373847 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378599373072 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8554] ppid=8549 vsize=15619152 memory=6316 CPUtime=0.04 cores=0,2,4,6
/proc/8551/task/8554/stat : 8554 (java) S 8549 8549 7201 0 -1 1077944384 514 0 0 0 3 1 0 0 20 0 19 0 475373847 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378598320528 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8555] ppid=8549 vsize=15619152 memory=828 CPUtime=0.05 cores=0,2,4,6
/proc/8551/task/8555/stat : 8555 (java) S 8549 8549 7201 0 -1 1077944384 260 0 0 0 4 1 0 0 20 0 19 0 475373847 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378597267984 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8556] ppid=8549 vsize=15619152 memory=736 CPUtime=0.04 cores=0,2,4,6
/proc/8551/task/8556/stat : 8556 (java) S 8549 8549 7201 0 -1 1077944384 3237 0 0 0 3 1 0 0 20 0 19 0 475373847 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378596215440 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8557] ppid=8549 vsize=15619152 memory=246452 CPUtime=0.01 cores=0,2,4,6
/proc/8551/task/8557/stat : 8557 (java) S 8549 8549 7201 0 -1 1077944384 728 0 0 0 1 0 0 0 20 0 19 0 475373848 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378139789808 140378671344258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8558] ppid=8549 vsize=15619152 memory=-7965959130280075168 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8558/stat : 8558 (java) S 8549 8549 7201 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 475373849 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378138736096 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8559] ppid=8549 vsize=15619152 memory=-6876588461455810464 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8559/stat : 8559 (java) S 8549 8549 7201 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475373849 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378137683456 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8560] ppid=8549 vsize=15619152 memory=8303054830060986464 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8560/stat : 8560 (java) S 8549 8549 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475373851 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378136632016 140378671351707 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8561] ppid=8549 vsize=15619152 memory=-7965959130280075168 CPUtime=3.43 cores=0,2,4,6
/proc/8551/task/8561/stat : 8561 (java) S 8549 8549 7201 0 -1 1077944384 12666 0 0 0 341 2 0 0 20 0 19 0 475373851 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378135578608 140378671344258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8562] ppid=8549 vsize=15619152 memory=8112282956445269571 CPUtime=3.06 cores=0,2,4,6
/proc/8551/task/8562/stat : 8562 (java) S 8549 8549 7201 0 -1 1077944384 7395 0 0 0 305 1 0 0 20 0 19 0 475373851 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378134526064 140378671344258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8563] ppid=8549 vsize=15619152 memory=41732 CPUtime=1.01 cores=0,2,4,6
/proc/8551/task/8563/stat : 8563 (java) S 8549 8549 7201 0 -1 1077944384 7079 0 0 0 99 2 0 0 20 0 19 0 475373851 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378133473520 140378671344258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8564] ppid=8549 vsize=15619152 memory=1040 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8564/stat : 8564 (java) S 8549 8549 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475373852 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378132421216 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8565] ppid=8549 vsize=15619152 memory=2084 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8565/stat : 8565 (java) S 8549 8549 7201 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 19 0 475373852 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378131368752 140378671344258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8574] ppid=8549 vsize=15619152 memory=1480 CPUtime=22.99 cores=0,2,4,6
/proc/8551/task/8574/stat : 8574 (java) R 8549 8549 7201 0 -1 4202560 220 0 0 0 2299 0 0 0 20 0 19 0 475374409 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378050116728 140378280296527 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8575] ppid=8549 vsize=15619152 memory=3880 CPUtime=22.82 cores=0,2,4,6
/proc/8551/task/8575/stat : 8575 (java) R 8549 8549 7201 0 -1 4202560 1102 0 0 0 2282 0 0 0 20 0 19 0 475374409 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378048012904 140378280296355 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8576] ppid=8549 vsize=15619152 memory=7712 CPUtime=22.86 cores=0,2,4,6
/proc/8551/task/8576/stat : 8576 (java) R 8549 8549 7201 0 -1 4202560 377 0 0 0 2286 0 0 0 20 0 19 0 475374409 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378046959936 140378280296611 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8577] ppid=8549 vsize=15619152 memory=84 CPUtime=22.99 cores=0,2,4,6
/proc/8551/task/8577/stat : 8577 (java) R 8549 8549 7201 0 -1 4202560 756 0 0 0 2299 0 0 0 20 0 19 0 475374409 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378045907096 140378279816104 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
Current children cumulated CPU time: 113.16 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 247920 KiB

[startup+29.6012 s]
/proc/loadavg: 8.38 6.30 3.61 9/238 8588
/proc/meminfo: memFree=6851460/32770624 swapFree=67021824/67108860
[pid=8549] ppid=8546 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8549/stat : 8549 (xcsp3-exec) S 8546 8549 7201 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475373845 115843072 363 33554432000 4194304 5098028 140735980629248 140735980627352 139941797175932 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13611008 140735980630871 140735980631129 140735980631129 140735980634054 0
/proc/8549/statm: 28282 363 305 221 0 87 0
[pid=8551] ppid=8549 vsize=15619152 memory=246468 CPUtime=116.34 cores=0,2,4,6
/proc/8551/stat : 8551 (java) S 8549 8549 7201 0 -1 1077944320 48956 0 0 0 11616 18 0 0 20 0 19 0 475373846 15994011648 61617 33554432000 4194304 4196468 140722935910608 140722935893152 140378671333111 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
/proc/8551/statm: 3904788 61617 3539 1 0 3865888 0
[pid=8551/tid=8552] ppid=8549 vsize=15619152 memory=1172 CPUtime=1.18 cores=0,2,4,6
/proc/8551/task/8552/stat : 8552 (java) S 8549 8549 7201 0 -1 1077944384 11792 0 0 0 113 5 0 0 20 0 19 0 475373846 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378675573888 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8553] ppid=8549 vsize=15619152 memory=8112282956445269571 CPUtime=0.04 cores=0,2,4,6
/proc/8551/task/8553/stat : 8553 (java) S 8549 8549 7201 0 -1 1077944384 563 0 0 0 3 1 0 0 20 0 19 0 475373847 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378599373072 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8554] ppid=8549 vsize=15619152 memory=3047711553219693942 CPUtime=0.04 cores=0,2,4,6
/proc/8551/task/8554/stat : 8554 (java) S 8549 8549 7201 0 -1 1077944384 514 0 0 0 3 1 0 0 20 0 19 0 475373847 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378598320528 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8555] ppid=8549 vsize=15619152 memory=5450906554093958698 CPUtime=0.05 cores=0,2,4,6
/proc/8551/task/8555/stat : 8555 (java) S 8549 8549 7201 0 -1 1077944384 260 0 0 0 4 1 0 0 20 0 19 0 475373847 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378597267984 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8556] ppid=8549 vsize=15619152 memory=-7521736447810188379 CPUtime=0.04 cores=0,2,4,6
/proc/8551/task/8556/stat : 8556 (java) S 8549 8549 7201 0 -1 1077944384 3237 0 0 0 3 1 0 0 20 0 19 0 475373847 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378596215440 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8557] ppid=8549 vsize=15619152 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/8551/task/8557/stat : 8557 (java) S 8549 8549 7201 0 -1 1077944384 729 0 0 0 1 0 0 0 20 0 19 0 475373848 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378139789808 140378671344258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8558] ppid=8549 vsize=15619152 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8558/stat : 8558 (java) S 8549 8549 7201 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 475373849 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378138736096 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8559] ppid=8549 vsize=15619152 memory=6316 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8559/stat : 8559 (java) S 8549 8549 7201 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475373849 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378137683456 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8560] ppid=8549 vsize=15619152 memory=828 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8560/stat : 8560 (java) S 8549 8549 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475373851 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378136632016 140378671351707 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8561] ppid=8549 vsize=15619152 memory=736 CPUtime=3.43 cores=0,2,4,6
/proc/8551/task/8561/stat : 8561 (java) S 8549 8549 7201 0 -1 1077944384 12666 0 0 0 341 2 0 0 20 0 19 0 475373851 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378135578608 140378671344258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8562] ppid=8549 vsize=15619152 memory=1608 CPUtime=3.06 cores=0,2,4,6
/proc/8551/task/8562/stat : 8562 (java) S 8549 8549 7201 0 -1 1077944384 7395 0 0 0 305 1 0 0 20 0 19 0 475373851 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378134526064 140378671344258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8563] ppid=8549 vsize=15619152 memory=1076 CPUtime=1.01 cores=0,2,4,6
/proc/8551/task/8563/stat : 8563 (java) S 8549 8549 7201 0 -1 1077944384 7079 0 0 0 99 2 0 0 20 0 19 0 475373851 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378133473520 140378671344258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8564] ppid=8549 vsize=15619152 memory=3124 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8564/stat : 8564 (java) S 8549 8549 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475373852 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378132421216 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8565] ppid=8549 vsize=15619152 memory=1244 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8565/stat : 8565 (java) S 8549 8549 7201 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 19 0 475373852 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378131368752 140378671344258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8574] ppid=8549 vsize=15619152 memory=14064 CPUtime=23.79 cores=0,2,4,6
/proc/8551/task/8574/stat : 8574 (java) R 8549 8549 7201 0 -1 4202560 222 0 0 0 2379 0 0 0 20 0 19 0 475374409 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378050116608 140378281901575 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8575] ppid=8549 vsize=15619152 memory=17720 CPUtime=23.61 cores=0,2,4,6
/proc/8551/task/8575/stat : 8575 (java) R 8549 8549 7201 0 -1 4202560 1103 0 0 0 2361 0 0 0 20 0 19 0 475374409 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378048012936 140378282694108 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8576] ppid=8549 vsize=15619152 memory=2256 CPUtime=23.65 cores=0,2,4,6
/proc/8551/task/8576/stat : 8576 (java) R 8549 8549 7201 0 -1 4202560 377 0 0 0 2365 0 0 0 20 0 19 0 475374409 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378046960048 140378280296491 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8577] ppid=8549 vsize=15619152 memory=12328 CPUtime=23.79 cores=0,2,4,6
/proc/8551/task/8577/stat : 8577 (java) R 8549 8549 7201 0 -1 4202560 758 0 0 0 2379 0 0 0 20 0 19 0 475374409 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378045906368 140378280475202 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
Current children cumulated CPU time: 116.34 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 247920 KiB

[startup+30.0012 s]*
/proc/loadavg: 8.38 6.30 3.61 9/238 8588
/proc/meminfo: memFree=6851460/32770624 swapFree=67021824/67108860
[pid=8549] ppid=8546 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8549/stat : 8549 (xcsp3-exec) S 8546 8549 7201 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475373845 115843072 363 33554432000 4194304 5098028 140735980629248 140735980627352 139941797175932 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13611008 140735980630871 140735980631129 140735980631129 140735980634054 0
/proc/8549/statm: 28282 363 305 221 0 87 0
[pid=8551] ppid=8549 vsize=15619152 memory=246468 CPUtime=117.97 cores=0,2,4,6
/proc/8551/stat : 8551 (java) S 8549 8549 7201 0 -1 1077944320 48959 0 0 0 11779 18 0 0 20 0 19 0 475373846 15994011648 61617 33554432000 4194304 4196468 140722935910608 140722935893152 140378671333111 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
/proc/8551/statm: 3904788 61617 3539 1 0 3865888 0
[pid=8551/tid=8552] ppid=8549 vsize=15619152 memory=8112282956445269571 CPUtime=1.18 cores=0,2,4,6
/proc/8551/task/8552/stat : 8552 (java) S 8549 8549 7201 0 -1 1077944384 11792 0 0 0 113 5 0 0 20 0 19 0 475373846 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378675573888 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8553] ppid=8549 vsize=15619152 memory=4126316290023845779 CPUtime=0.04 cores=0,2,4,6
/proc/8551/task/8553/stat : 8553 (java) S 8549 8549 7201 0 -1 1077944384 563 0 0 0 3 1 0 0 20 0 19 0 475373847 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378599373072 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8554] ppid=8549 vsize=15619152 memory=111632 CPUtime=0.04 cores=0,2,4,6
/proc/8551/task/8554/stat : 8554 (java) S 8549 8549 7201 0 -1 1077944384 514 0 0 0 3 1 0 0 20 0 19 0 475373847 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378598320528 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8555] ppid=8549 vsize=15619152 memory=804 CPUtime=0.05 cores=0,2,4,6
/proc/8551/task/8555/stat : 8555 (java) S 8549 8549 7201 0 -1 1077944384 260 0 0 0 4 1 0 0 20 0 19 0 475373847 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378597267984 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8556] ppid=8549 vsize=15619152 memory=4104 CPUtime=0.04 cores=0,2,4,6
/proc/8551/task/8556/stat : 8556 (java) S 8549 8549 7201 0 -1 1077944384 3237 0 0 0 3 1 0 0 20 0 19 0 475373847 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378596215440 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8557] ppid=8549 vsize=15619152 memory=1804 CPUtime=0.01 cores=0,2,4,6
/proc/8551/task/8557/stat : 8557 (java) S 8549 8549 7201 0 -1 1077944384 729 0 0 0 1 0 0 0 20 0 19 0 475373848 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378139789808 140378671344258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8558] ppid=8549 vsize=15619152 memory=916 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8558/stat : 8558 (java) S 8549 8549 7201 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 475373849 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378138736096 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8559] ppid=8549 vsize=15619152 memory=3804 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8559/stat : 8559 (java) S 8549 8549 7201 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475373849 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378137683456 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8560] ppid=8549 vsize=15619152 memory=2688 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8560/stat : 8560 (java) S 8549 8549 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475373851 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378136632016 140378671351707 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8561] ppid=8549 vsize=15619152 memory=2732 CPUtime=3.43 cores=0,2,4,6
/proc/8551/task/8561/stat : 8561 (java) S 8549 8549 7201 0 -1 1077944384 12666 0 0 0 341 2 0 0 20 0 19 0 475373851 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378135578608 140378671344258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8562] ppid=8549 vsize=15619152 memory=1412 CPUtime=3.06 cores=0,2,4,6
/proc/8551/task/8562/stat : 8562 (java) S 8549 8549 7201 0 -1 1077944384 7395 0 0 0 305 1 0 0 20 0 19 0 475373851 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378134526064 140378671344258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8563] ppid=8549 vsize=15619152 memory=3292 CPUtime=1.01 cores=0,2,4,6
/proc/8551/task/8563/stat : 8563 (java) S 8549 8549 7201 0 -1 1077944384 7079 0 0 0 99 2 0 0 20 0 19 0 475373851 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378133473520 140378671344258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8564] ppid=8549 vsize=15619152 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8564/stat : 8564 (java) S 8549 8549 7201 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475373852 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378132421216 140378671343317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8565] ppid=8549 vsize=15619152 memory=2270500 CPUtime=0 cores=0,2,4,6
/proc/8551/task/8565/stat : 8565 (java) S 8549 8549 7201 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 19 0 475373852 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378131368752 140378671344258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8574] ppid=8549 vsize=15619152 memory=1412 CPUtime=24.2 cores=0,2,4,6
/proc/8551/task/8574/stat : 8574 (java) R 8549 8549 7201 0 -1 4202560 222 0 0 0 2420 0 0 0 20 0 19 0 475374409 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378050116744 140378280044124 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8575] ppid=8549 vsize=15619152 memory=2928 CPUtime=24.02 cores=0,2,4,6
/proc/8551/task/8575/stat : 8575 (java) R 8549 8549 7201 0 -1 4202560 1105 0 0 0 2402 0 0 0 20 0 19 0 475374409 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378048012936 140378280296423 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8576] ppid=8549 vsize=15619152 memory=1452 CPUtime=24.04 cores=0,2,4,6
/proc/8551/task/8576/stat : 8576 (java) R 8549 8549 7201 0 -1 4202560 377 0 0 0 2404 0 0 0 20 0 19 0 475374409 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378046960048 140378280270980 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
[pid=8551/tid=8577] ppid=8549 vsize=15619152 memory=246452 CPUtime=24.2 cores=0,2,4,6
/proc/8551/task/8577/stat : 8577 (java) R 8549 8549 7201 0 -1 4202560 759 0 0 0 2420 0 0 0 20 0 19 0 475374409 15994011648 61617 33554432000 4194304 4196468 140722935910608 140378045906504 140378280474764 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7811072 140722935915483 140722935915658 140722935915658 140722935918543 0
Current children cumulated CPU time: 117.97 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 247920 KiB

Child status: 0
Real time (s): 30.0402
CPU time (s): 118.076
CPU user time (s): 117.881
CPU system time (s): 0.195653
CPU usage (%): 393.061
Max. virtual memory (cumulated for all children) (KiB): 15732280
Max. memory (cumulated for all children) (KiB): 247920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 117.881
system time used= 0.195653
maximum resident set size= 247420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50111
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= 3561
involuntary context switches= 3020


# summary of solver processes directly reported to runsolver:
#   pid: 8549
#   total CPU time (s): 118.076
#   total CPU user time (s): 117.881
#   total CPU system time (s): 0.195653

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.208652 second user time and 0.39362 second system time

The end

Name	OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-pb-30-15-1.xml
MD5SUM	1892dc6bbe7f4411da75bff22067cf15
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	69.789
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 4404122

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