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	14	173.808	168.233

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406615-1569404909.xml"  -tl '2400s' -p 1
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4406615-1569404909.xml, -tl, 2400s, -p, 1]
0.34/0.22	c simple solver
0.34/0.28	c parse instance...
2.16/0.83	c solve instance...
4.41/1.53	o 15 
6.66/2.50	o 14 
173.76/168.22	s OPTIMUM FOUND
173.76/168.22	v <instantiation>
173.76/168.22	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>
173.76/168.22	v 	<values>1 6 5 7 12 2 8 14 11 10 9 0 13 4 3 0 0 1 1 1 1 2 3 3 3 3 4 5 6 6 0 0 1 1 1 1 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 2 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 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 0 0 0 0 0 1 2 3 3 3 3 3 3 3 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 0 0 0 0 0 1 1 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 2 3 3 3 3 3 3 3 3 3 3 3 0 1 1 1 2 2 3 3 3 3 4 5 5 5 6 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 2 2 3 0 0 0 0 0 0 0 0 1 1 1 2 2 2 2 1 1 1 1 1 1 2 3 3 3 3 3 3 3 3 1 1 2 3 3 3 3 3 3 3 3 3 3 3 3 0 0 1 1 2 3 3 3 3 3 3 3 4 4 4 1 1 1 1 1 1 1 2 3 3 4 4 4 4 4 0 1 1 1 2 2 2 2 3 3 3 3 3 3 3 1 1 1 2 2 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 0 0 0 0 0 1 2 2 2 2 2 2 2 3 4 0 0 0 0 0 0 0 0 0 0 0 1 2 3 3 0 0 1 2 2 2 2 2 2 2 3 4 4 4 4 0 0 0 0 1 1 2 3 3 3 3 3 3 4 5 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 2 2 2 2 2 2 2 2 2 2 0 1 1 2 2 2 2 3 3 3 3 3 3 3 3 0 0 1 0 0 0 1 1 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 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 0 0 1 0 1 0 0 0 0 0 0 1 1 1 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 1 0 1 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 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 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 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 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 0 0 0 0 0 0 0 0 0 1 1 1 1 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 0 0 1 1 1 0 0 0 0 0 0 1 1 1 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 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 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 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 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 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 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 1 1 1 1 0 0 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 1 1 1 1 1 1 1 0 0 0 0 0 0 0 5 9 14 13 13 14 13 14 14 11 11 11 9 9 6 </values>
173.76/168.22	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 (13653 MiB free)
  memory of node 1: 16384 MiB (13781 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406615-1569404909/watcher-4406615-1569404909 -o /tmp/evaluation-result-4406615-1569404909/solver-4406615-1569404909 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1569396611-14059 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 205272278 HOME/instance-4406615-1569404909.xml 

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

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


[startup+0.100127 s]*
/proc/loadavg: 1.49 1.66 1.78 4/229 16547
/proc/meminfo: memFree=28075884/32770624 swapFree=66999256/67108860
[pid=16531] ppid=16528 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16531/stat : 16531 (xcsp3-exec) S 16528 16531 14027 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516743974 115843072 363 33554432000 4194304 5098028 140724769286288 140724769284392 140449888285308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32878592 140724769289083 140724769289325 140724769289325 140724769292234 0
/proc/16531/statm: 28282 363 304 221 0 87 0
[pid=16533] ppid=16531 vsize=15144776 memory=30212 CPUtime=0.12 cores=0,2,4,6
/proc/16533/stat : 16533 (java) S 16531 16531 14027 0 -1 1077944320 5442 0 0 0 11 1 0 0 20 0 15 0 516743975 15508250624 7553 33554432000 4194304 4196468 140726144354768 140726144337312 140114477342455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
/proc/16533/statm: 3786194 7553 3149 1 0 3748377 0
[pid=16533/tid=16534] ppid=16531 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/16533/task/16534/stat : 16534 (java) R 16531 16531 14027 0 -1 4202560 3356 0 0 0 8 1 0 0 20 0 15 0 516743975 15508250624 7553 33554432000 4194304 4196468 140726144354768 140114481577680 140114469579582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16535] ppid=16531 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16535/stat : 16535 (java) S 16531 16531 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516743976 15508250624 7553 33554432000 4194304 4196468 140726144354768 140114388998672 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16536] ppid=16531 vsize=15144776 memory=140050816727618 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16536/stat : 16536 (java) S 16531 16531 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516743976 15508250624 7553 33554432000 4194304 4196468 140726144354768 140114387946128 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16537] ppid=16531 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16537/stat : 16537 (java) S 16531 16531 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516743976 15508250624 7553 33554432000 4194304 4196468 140726144354768 140114386893072 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16538] ppid=16531 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16538/stat : 16538 (java) S 16531 16531 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516743976 15508250624 7553 33554432000 4194304 4196468 140726144354768 140114385840528 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16539] ppid=16531 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16539/stat : 16539 (java) S 16531 16531 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516743977 15508250624 7553 33554432000 4194304 4196468 140726144354768 140113945844464 140114477353602 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16540] ppid=16531 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16540/stat : 16540 (java) S 16531 16531 14027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516743978 15508250624 7553 33554432000 4194304 4196468 140726144354768 140113944790688 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16541] ppid=16531 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16541/stat : 16541 (java) S 16531 16531 14027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516743978 15508250624 7553 33554432000 4194304 4196468 140726144354768 140113943737584 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16542] ppid=16531 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16542/stat : 16542 (java) S 16531 16531 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516743980 15508250624 7553 33554432000 4194304 4196468 140726144354768 140113942686160 140114477361051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16543] ppid=16531 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16543/stat : 16543 (java) R 16531 16531 14027 0 -1 4202560 440 0 0 0 0 0 0 0 20 0 15 0 516743980 15508250624 7553 33554432000 4194304 4196468 140726144354768 140113941633264 140114460778193 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16544] ppid=16531 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16544/stat : 16544 (java) R 16531 16531 14027 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516743980 15508250624 7553 33554432000 4194304 4196468 140726144354768 140113940580720 140114477353602 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16545] ppid=16531 vsize=15144776 memory=140050812618368 CPUtime=0.02 cores=0,2,4,6
/proc/16533/task/16545/stat : 16545 (java) R 16531 16531 14027 0 -1 4202560 358 0 0 0 2 0 0 0 20 0 15 0 516743980 15508250624 7553 33554432000 4194304 4196468 140726144354768 140113939527664 140114455998333 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16546] ppid=16531 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16546/stat : 16546 (java) S 16531 16531 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516743980 15508250624 7553 33554432000 4194304 4196468 140726144354768 140113938475360 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16547] ppid=16531 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16547/stat : 16547 (java) S 16531 16531 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516743981 15508250624 7553 33554432000 4194304 4196468 140726144354768 140113937423408 140114477353602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31664 KiB

[startup+0.21062 s]*
/proc/loadavg: 1.49 1.66 1.78 4/229 16547
/proc/meminfo: memFree=28063824/32770624 swapFree=66999256/67108860
[pid=16531] ppid=16528 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16531/stat : 16531 (xcsp3-exec) S 16528 16531 14027 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516743974 115843072 363 33554432000 4194304 5098028 140724769286288 140724769284392 140449888285308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32878592 140724769289083 140724769289325 140724769289325 140724769292234 0
/proc/16531/statm: 28282 363 304 221 0 87 0
[pid=16533] ppid=16531 vsize=15144776 memory=41024 CPUtime=0.34 cores=0,2,4,6
/proc/16533/stat : 16533 (java) S 16531 16531 14027 0 -1 1077944320 9006 0 0 0 31 3 0 0 20 0 15 0 516743975 15508250624 10256 33554432000 4194304 4196468 140726144354768 140726144337312 140114477342455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
/proc/16533/statm: 3786194 10256 3265 1 0 3748377 0
[pid=16533/tid=16534] ppid=16531 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/16533/task/16534/stat : 16534 (java) R 16531 16531 14027 0 -1 4202560 6175 0 0 0 18 2 0 0 20 0 15 0 516743975 15508250624 10256 33554432000 4194304 4196468 140726144354768 140114481576192 140114477354390 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16535] ppid=16531 vsize=15144776 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16535/stat : 16535 (java) S 16531 16531 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516743976 15508250624 10256 33554432000 4194304 4196468 140726144354768 140114388998672 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16536] ppid=16531 vsize=15144776 memory=4122113714288838304 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16536/stat : 16536 (java) S 16531 16531 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516743976 15508250624 10256 33554432000 4194304 4196468 140726144354768 140114387946128 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16537] ppid=16531 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16537/stat : 16537 (java) S 16531 16531 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516743976 15508250624 10256 33554432000 4194304 4196468 140726144354768 140114386893072 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16538] ppid=16531 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16538/stat : 16538 (java) S 16531 16531 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516743976 15508250624 10256 33554432000 4194304 4196468 140726144354768 140114385840528 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16539] ppid=16531 vsize=15144776 memory=140050812618368 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16539/stat : 16539 (java) S 16531 16531 14027 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516743977 15508250624 10256 33554432000 4194304 4196468 140726144354768 140113945844464 140114477353602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16540] ppid=16531 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16540/stat : 16540 (java) S 16531 16531 14027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516743978 15508250624 10256 33554432000 4194304 4196468 140726144354768 140113944790688 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16541] ppid=16531 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16541/stat : 16541 (java) S 16531 16531 14027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516743978 15508250624 10256 33554432000 4194304 4196468 140726144354768 140113943737584 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16542] ppid=16531 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16542/stat : 16542 (java) S 16531 16531 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516743980 15508250624 10256 33554432000 4194304 4196468 140726144354768 140113942686160 140114477361051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16543] ppid=16531 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16533/task/16543/stat : 16543 (java) S 16531 16531 14027 0 -1 1077944384 513 0 0 0 2 0 0 0 20 0 15 0 516743980 15508250624 10256 33554432000 4194304 4196468 140726144354768 140113941633264 140114477353602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16544] ppid=16531 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/16533/task/16544/stat : 16544 (java) S 16531 16531 14027 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 15 0 516743980 15508250624 10256 33554432000 4194304 4196468 140726144354768 140113940580720 140114477353602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16545] ppid=16531 vsize=15144776 memory=140050812618368 CPUtime=0.08 cores=0,2,4,6
/proc/16533/task/16545/stat : 16545 (java) R 16531 16531 14027 0 -1 4202560 750 0 0 0 8 0 0 0 20 0 15 0 516743980 15508250624 10256 33554432000 4194304 4196468 140726144354768 140113939527664 140114477363802 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16546] ppid=16531 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16546/stat : 16546 (java) S 16531 16531 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516743980 15508250624 10256 33554432000 4194304 4196468 140726144354768 140113938475360 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16547] ppid=16531 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16547/stat : 16547 (java) S 16531 16531 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516743981 15508250624 10256 33554432000 4194304 4196468 140726144354768 140113937423408 140114477353602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42476 KiB

[startup+0.31051 s]*
/proc/loadavg: 1.49 1.66 1.78 4/229 16547
/proc/meminfo: memFree=28056340/32770624 swapFree=66999256/67108860
[pid=16531] ppid=16528 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16531/stat : 16531 (xcsp3-exec) S 16528 16531 14027 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516743974 115843072 363 33554432000 4194304 5098028 140724769286288 140724769284392 140449888285308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32878592 140724769289083 140724769289325 140724769289325 140724769292234 0
/proc/16531/statm: 28282 363 304 221 0 87 0
[pid=16533] ppid=16531 vsize=15149032 memory=50168 CPUtime=0.54 cores=0,2,4,6
/proc/16533/stat : 16533 (java) S 16531 16531 14027 0 -1 1077944320 10380 0 0 0 49 5 0 0 20 0 15 0 516743975 15512608768 12542 33554432000 4194304 4196468 140726144354768 140726144337312 140114477342455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
/proc/16533/statm: 3787258 12542 3365 1 0 3748377 0
[pid=16533/tid=16534] ppid=16531 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/16533/task/16534/stat : 16534 (java) R 16531 16531 14027 0 -1 4202560 7319 0 0 0 27 3 0 0 20 0 15 0 516743975 15512608768 12611 33554432000 4194304 4196468 140726144354768 140114481573568 140114477364381 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16535] ppid=16531 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16535/stat : 16535 (java) S 16531 16531 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516743976 15512608768 12611 33554432000 4194304 4196468 140726144354768 140114388998672 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16536] ppid=16531 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16536/stat : 16536 (java) S 16531 16531 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516743976 15512608768 12611 33554432000 4194304 4196468 140726144354768 140114387946128 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16537] ppid=16531 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16537/stat : 16537 (java) S 16531 16531 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516743976 15512608768 12611 33554432000 4194304 4196468 140726144354768 140114386893072 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16538] ppid=16531 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16538/stat : 16538 (java) S 16531 16531 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516743976 15512608768 12611 33554432000 4194304 4196468 140726144354768 140114385840528 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16539] ppid=16531 vsize=15149032 memory=-7377628848399630495 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16539/stat : 16539 (java) S 16531 16531 14027 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516743977 15512608768 12611 33554432000 4194304 4196468 140726144354768 140113945844464 140114477353602 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16540] ppid=16531 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16540/stat : 16540 (java) S 16531 16531 14027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516743978 15512608768 12611 33554432000 4194304 4196468 140726144354768 140113944790688 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16541] ppid=16531 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16541/stat : 16541 (java) S 16531 16531 14027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516743978 15512608768 12611 33554432000 4194304 4196468 140726144354768 140113943737584 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16542] ppid=16531 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16542/stat : 16542 (java) S 16531 16531 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516743980 15512608768 12611 33554432000 4194304 4196468 140726144354768 140113942686160 140114477361051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16543] ppid=16531 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=0,2,4,6
/proc/16533/task/16543/stat : 16543 (java) R 16531 16531 14027 0 -1 4202560 625 0 0 0 5 0 0 0 20 0 15 0 516743980 15512608768 12611 33554432000 4194304 4196468 140726144354768 140113941633264 140114457059591 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16544] ppid=16531 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/16533/task/16544/stat : 16544 (java) S 16531 16531 14027 0 -1 1077944384 282 0 0 0 3 0 0 0 20 0 15 0 516743980 15512608768 12611 33554432000 4194304 4196468 140726144354768 140113940580720 140114477353602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16545] ppid=16531 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/16533/task/16545/stat : 16545 (java) S 16531 16531 14027 0 -1 1077944384 858 0 0 0 12 0 0 0 20 0 15 0 516743980 15512608768 12611 33554432000 4194304 4196468 140726144354768 140113939527664 140114477353602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16546] ppid=16531 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16546/stat : 16546 (java) S 16531 16531 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516743980 15512608768 12611 33554432000 4194304 4196468 140726144354768 140113938475360 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16547] ppid=16531 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16547/stat : 16547 (java) S 16531 16531 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516743981 15512608768 12611 33554432000 4194304 4196468 140726144354768 140113937423408 140114477353602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51620 KiB

[startup+0.702708 s]
/proc/loadavg: 1.49 1.66 1.78 6/229 16547
/proc/meminfo: memFree=28036452/32770624 swapFree=66999256/67108860
[pid=16531] ppid=16528 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16531/stat : 16531 (xcsp3-exec) S 16528 16531 14027 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516743974 115843072 363 33554432000 4194304 5098028 140724769286288 140724769284392 140449888285308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32878592 140724769289083 140724769289325 140724769289325 140724769292234 0
/proc/16531/statm: 28282 363 304 221 0 87 0
[pid=16533] ppid=16531 vsize=15151156 memory=91612 CPUtime=1.79 cores=0,2,4,6
/proc/16533/stat : 16533 (java) S 16531 16531 14027 0 -1 1077944320 15065 0 0 0 173 6 0 0 20 0 15 0 516743975 15514783744 22903 33554432000 4194304 4196468 140726144354768 140726144337312 140114477342455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
/proc/16533/statm: 3787789 22903 3445 1 0 3748889 0
[pid=16533/tid=16534] ppid=16531 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/16533/task/16534/stat : 16534 (java) R 16531 16531 14027 0 -1 4202560 8725 0 0 0 63 4 0 0 20 0 15 0 516743975 15514783744 22903 33554432000 4194304 4196468 140726144354768 140114481560640 140114063862912 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16535] ppid=16531 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16535/stat : 16535 (java) S 16531 16531 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516743976 15514783744 22903 33554432000 4194304 4196468 140726144354768 140114388998672 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16536] ppid=16531 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16536/stat : 16536 (java) S 16531 16531 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516743976 15514783744 22903 33554432000 4194304 4196468 140726144354768 140114387946128 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16537] ppid=16531 vsize=15151156 memory=3604 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16537/stat : 16537 (java) S 16531 16531 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516743976 15514783744 22903 33554432000 4194304 4196468 140726144354768 140114386893072 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16538] ppid=16531 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16538/stat : 16538 (java) S 16531 16531 14027 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516743976 15514783744 22903 33554432000 4194304 4196468 140726144354768 140114385840528 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16539] ppid=16531 vsize=15151156 memory=676 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16539/stat : 16539 (java) S 16531 16531 14027 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516743977 15514783744 22903 33554432000 4194304 4196468 140726144354768 140113945844464 140114477353602 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16540] ppid=16531 vsize=15151156 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16540/stat : 16540 (java) S 16531 16531 14027 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516743978 15514783744 22903 33554432000 4194304 4196468 140726144354768 140113944790688 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16541] ppid=16531 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16541/stat : 16541 (java) S 16531 16531 14027 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516743978 15514783744 22903 33554432000 4194304 4196468 140726144354768 140113943737584 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16542] ppid=16531 vsize=15151156 memory=8560 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16542/stat : 16542 (java) S 16531 16531 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516743980 15514783744 22903 33554432000 4194304 4196468 140726144354768 140113942686160 140114477361051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16543] ppid=16531 vsize=15151156 memory=1712 CPUtime=0.33 cores=0,2,4,6
/proc/16533/task/16543/stat : 16543 (java) R 16531 16531 14027 0 -1 4202560 1471 0 0 0 33 0 0 0 20 0 15 0 516743980 15514783744 22903 33554432000 4194304 4196468 140726144354768 140113941614280 140114477354390 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16544] ppid=16531 vsize=15151156 memory=1112 CPUtime=0.35 cores=0,2,4,6
/proc/16533/task/16544/stat : 16544 (java) R 16531 16531 14027 0 -1 4202560 1430 0 0 0 35 0 0 0 20 0 15 0 516743980 15514783744 22903 33554432000 4194304 4196468 140726144354768 140113940580720 140114458886154 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16545] ppid=16531 vsize=15151156 memory=1004 CPUtime=0.41 cores=0,2,4,6
/proc/16533/task/16545/stat : 16545 (java) R 16531 16531 14027 0 -1 1077944384 2130 0 0 0 41 0 0 0 20 0 15 0 516743980 15514783744 22903 33554432000 4194304 4196468 140726144354768 140113939521616 140114477352661 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16546] ppid=16531 vsize=15151156 memory=6088 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16546/stat : 16546 (java) S 16531 16531 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516743980 15514783744 22903 33554432000 4194304 4196468 140726144354768 140113938475360 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16547] ppid=16531 vsize=15151156 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16547/stat : 16547 (java) S 16531 16531 14027 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516743981 15514783744 22903 33554432000 4194304 4196468 140726144354768 140113937423408 140114477353602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 93064 KiB

[startup+1.50076 s]
/proc/loadavg: 1.49 1.66 1.78 5/229 16547
/proc/meminfo: memFree=27999104/32770624 swapFree=66999256/67108860
[pid=16531] ppid=16528 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16531/stat : 16531 (xcsp3-exec) S 16528 16531 14027 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516743974 115843072 363 33554432000 4194304 5098028 140724769286288 140724769284392 140449888285308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32878592 140724769289083 140724769289325 140724769289325 140724769292234 0
/proc/16531/statm: 28282 363 304 221 0 87 0

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

/proc/16531/stat : 16531 (xcsp3-exec) S 16528 16531 14027 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516743974 115843072 363 33554432000 4194304 5098028 140724769286288 140724769284392 140449888285308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32878592 140724769289083 140724769289325 140724769289325 140724769292234 0
/proc/16531/statm: 28282 363 304 221 0 87 0
[pid=16533] ppid=16531 vsize=15153204 memory=226992 CPUtime=171.96 cores=0,2,4,6
/proc/16533/stat : 16533 (java) S 16531 16531 14027 0 -1 1077944320 50637 0 0 0 17182 14 0 0 20 0 15 0 516743975 15516880896 56748 33554432000 4194304 4196468 140726144354768 140726144337312 140114477342455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
/proc/16533/statm: 3788301 56748 3509 1 0 3749401 0
[pid=16533/tid=16534] ppid=16531 vsize=15153204 memory=776 CPUtime=166.31 cores=0,2,4,6
/proc/16533/task/16534/stat : 16534 (java) R 16531 16531 14027 0 -1 4202560 13848 0 0 0 16625 6 0 0 20 0 15 0 516743975 15516880896 56748 33554432000 4194304 4196468 140726144354768 140114481582112 140114069935828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16535] ppid=16531 vsize=15153204 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/16533/task/16535/stat : 16535 (java) S 16531 16531 14027 0 -1 1077944384 1490 0 0 0 1 0 0 0 20 0 15 0 516743976 15516880896 56748 33554432000 4194304 4196468 140726144354768 140114388998672 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16536] ppid=16531 vsize=15153204 memory=226992 CPUtime=0.01 cores=0,2,4,6
/proc/16533/task/16536/stat : 16536 (java) S 16531 16531 14027 0 -1 1077944384 1157 0 0 0 1 0 0 0 20 0 15 0 516743976 15516880896 56748 33554432000 4194304 4196468 140726144354768 140114387946128 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16537] ppid=16531 vsize=15153204 memory=2984 CPUtime=0.01 cores=0,2,4,6
/proc/16533/task/16537/stat : 16537 (java) S 16531 16531 14027 0 -1 1077944384 471 0 0 0 1 0 0 0 20 0 15 0 516743976 15516880896 56748 33554432000 4194304 4196468 140726144354768 140114386893072 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16538] ppid=16531 vsize=15153204 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/16533/task/16538/stat : 16538 (java) S 16531 16531 14027 0 -1 1077944384 150 0 0 0 1 0 0 0 20 0 15 0 516743976 15516880896 56748 33554432000 4194304 4196468 140726144354768 140114385840528 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16539] ppid=16531 vsize=15153204 memory=226992 CPUtime=0.01 cores=0,2,4,6
/proc/16533/task/16539/stat : 16539 (java) S 16531 16531 14027 0 -1 1077944384 790 0 0 0 1 0 0 0 20 0 15 0 516743977 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113945844464 140114477353602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16540] ppid=16531 vsize=15153204 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16540/stat : 16540 (java) S 16531 16531 14027 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 516743978 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113944790752 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16541] ppid=16531 vsize=15153204 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16541/stat : 16541 (java) S 16531 16531 14027 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 516743978 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113943737600 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16542] ppid=16531 vsize=15153204 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16542/stat : 16542 (java) S 16531 16531 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516743980 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113942686160 140114477361051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16543] ppid=16531 vsize=15153204 memory=1452 CPUtime=2.36 cores=0,2,4,6
/proc/16533/task/16543/stat : 16543 (java) S 16531 16531 14027 0 -1 1077944384 11609 0 0 0 235 1 0 0 20 0 15 0 516743980 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113941633264 140114477353602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16544] ppid=16531 vsize=15153204 memory=6791534058613427641 CPUtime=2.34 cores=0,2,4,6
/proc/16533/task/16544/stat : 16544 (java) S 16531 16531 14027 0 -1 1077944384 11649 0 0 0 232 2 0 0 20 0 15 0 516743980 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113940580720 140114477353602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16545] ppid=16531 vsize=15153204 memory=1004 CPUtime=0.8 cores=0,2,4,6
/proc/16533/task/16545/stat : 16545 (java) S 16531 16531 14027 0 -1 1077944384 7561 0 0 0 79 1 0 0 20 0 15 0 516743980 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113939527664 140114477353602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16546] ppid=16531 vsize=15153204 memory=6088 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16546/stat : 16546 (java) S 16531 16531 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516743980 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113938475360 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16547] ppid=16531 vsize=15153204 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/16533/task/16547/stat : 16547 (java) S 16531 16531 14027 0 -1 1077944384 507 0 0 0 1 2 0 0 20 0 15 0 516743981 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113937423408 140114477353602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
Current children cumulated CPU time: 171.96 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 228444 KiB

[startup+167.201 s]
/proc/loadavg: 1.64 1.62 1.74 3/229 16567
/proc/meminfo: memFree=27876984/32770624 swapFree=66999256/67108860
[pid=16531] ppid=16528 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16531/stat : 16531 (xcsp3-exec) S 16528 16531 14027 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516743974 115843072 363 33554432000 4194304 5098028 140724769286288 140724769284392 140449888285308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32878592 140724769289083 140724769289325 140724769289325 140724769292234 0
/proc/16531/statm: 28282 363 304 221 0 87 0
[pid=16533] ppid=16531 vsize=15153204 memory=226992 CPUtime=172.76 cores=0,2,4,6
/proc/16533/stat : 16533 (java) S 16531 16531 14027 0 -1 1077944320 50638 0 0 0 17262 14 0 0 20 0 15 0 516743975 15516880896 56748 33554432000 4194304 4196468 140726144354768 140726144337312 140114477342455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
/proc/16533/statm: 3788301 56748 3509 1 0 3749401 0
[pid=16533/tid=16534] ppid=16531 vsize=15153204 memory=2012 CPUtime=167.11 cores=0,2,4,6
/proc/16533/task/16534/stat : 16534 (java) R 16531 16531 14027 0 -1 4202560 13849 0 0 0 16705 6 0 0 20 0 15 0 516743975 15516880896 56748 33554432000 4194304 4196468 140726144354768 140114481582000 140114070036432 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16535] ppid=16531 vsize=15153204 memory=1436 CPUtime=0.01 cores=0,2,4,6
/proc/16533/task/16535/stat : 16535 (java) S 16531 16531 14027 0 -1 1077944384 1490 0 0 0 1 0 0 0 20 0 15 0 516743976 15516880896 56748 33554432000 4194304 4196468 140726144354768 140114388998672 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16536] ppid=16531 vsize=15153204 memory=776 CPUtime=0.01 cores=0,2,4,6
/proc/16533/task/16536/stat : 16536 (java) S 16531 16531 14027 0 -1 1077944384 1157 0 0 0 1 0 0 0 20 0 15 0 516743976 15516880896 56748 33554432000 4194304 4196468 140726144354768 140114387946128 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16537] ppid=16531 vsize=15153204 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/16533/task/16537/stat : 16537 (java) S 16531 16531 14027 0 -1 1077944384 471 0 0 0 1 0 0 0 20 0 15 0 516743976 15516880896 56748 33554432000 4194304 4196468 140726144354768 140114386893072 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16538] ppid=16531 vsize=15153204 memory=66588 CPUtime=0.01 cores=0,2,4,6
/proc/16533/task/16538/stat : 16538 (java) S 16531 16531 14027 0 -1 1077944384 150 0 0 0 1 0 0 0 20 0 15 0 516743976 15516880896 56748 33554432000 4194304 4196468 140726144354768 140114385840528 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16539] ppid=16531 vsize=15153204 memory=3028 CPUtime=0.01 cores=0,2,4,6
/proc/16533/task/16539/stat : 16539 (java) S 16531 16531 14027 0 -1 1077944384 790 0 0 0 1 0 0 0 20 0 15 0 516743977 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113945844464 140114477353602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16540] ppid=16531 vsize=15153204 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16540/stat : 16540 (java) S 16531 16531 14027 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 516743978 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113944790752 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16541] ppid=16531 vsize=15153204 memory=226992 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16541/stat : 16541 (java) S 16531 16531 14027 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 516743978 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113943737600 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16542] ppid=16531 vsize=15153204 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16542/stat : 16542 (java) S 16531 16531 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516743980 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113942686160 140114477361051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16543] ppid=16531 vsize=15153204 memory=1452 CPUtime=2.36 cores=0,2,4,6
/proc/16533/task/16543/stat : 16543 (java) S 16531 16531 14027 0 -1 1077944384 11609 0 0 0 235 1 0 0 20 0 15 0 516743980 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113941633264 140114477353602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16544] ppid=16531 vsize=15153204 memory=226904 CPUtime=2.34 cores=0,2,4,6
/proc/16533/task/16544/stat : 16544 (java) S 16531 16531 14027 0 -1 1077944384 11649 0 0 0 232 2 0 0 20 0 15 0 516743980 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113940580720 140114477353602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16545] ppid=16531 vsize=15153204 memory=222740 CPUtime=0.8 cores=0,2,4,6
/proc/16533/task/16545/stat : 16545 (java) S 16531 16531 14027 0 -1 1077944384 7561 0 0 0 79 1 0 0 20 0 15 0 516743980 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113939527664 140114477353602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16546] ppid=16531 vsize=15153204 memory=3028 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16546/stat : 16546 (java) S 16531 16531 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516743980 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113938475360 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16547] ppid=16531 vsize=15153204 memory=2012 CPUtime=0.03 cores=0,2,4,6
/proc/16533/task/16547/stat : 16547 (java) S 16531 16531 14027 0 -1 1077944384 507 0 0 0 1 2 0 0 20 0 15 0 516743981 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113937423408 140114477353602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
Current children cumulated CPU time: 172.76 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 228444 KiB

[startup+168.001 s]*
/proc/loadavg: 1.64 1.62 1.74 3/229 16567
/proc/meminfo: memFree=27877440/32770624 swapFree=66999256/67108860
[pid=16531] ppid=16528 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16531/stat : 16531 (xcsp3-exec) S 16528 16531 14027 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516743974 115843072 363 33554432000 4194304 5098028 140724769286288 140724769284392 140449888285308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32878592 140724769289083 140724769289325 140724769289325 140724769292234 0
/proc/16531/statm: 28282 363 304 221 0 87 0
[pid=16533] ppid=16531 vsize=15153204 memory=226992 CPUtime=173.57 cores=0,2,4,6
/proc/16533/stat : 16533 (java) S 16531 16531 14027 0 -1 1077944320 50638 0 0 0 17343 14 0 0 20 0 15 0 516743975 15516880896 56748 33554432000 4194304 4196468 140726144354768 140726144337312 140114477342455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
/proc/16533/statm: 3788301 56748 3509 1 0 3749401 0
[pid=16533/tid=16534] ppid=16531 vsize=15153204 memory=1398722017469774279 CPUtime=167.92 cores=0,2,4,6
/proc/16533/task/16534/stat : 16534 (java) R 16531 16531 14027 0 -1 4202560 13849 0 0 0 16786 6 0 0 20 0 15 0 516743975 15516880896 56748 33554432000 4194304 4196468 140726144354768 140114481582000 140114070883330 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16535] ppid=16531 vsize=15153204 memory=226992 CPUtime=0.01 cores=0,2,4,6
/proc/16533/task/16535/stat : 16535 (java) S 16531 16531 14027 0 -1 1077944384 1490 0 0 0 1 0 0 0 20 0 15 0 516743976 15516880896 56748 33554432000 4194304 4196468 140726144354768 140114388998672 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16536] ppid=16531 vsize=15153204 memory=1712 CPUtime=0.01 cores=0,2,4,6
/proc/16533/task/16536/stat : 16536 (java) S 16531 16531 14027 0 -1 1077944384 1157 0 0 0 1 0 0 0 20 0 15 0 516743976 15516880896 56748 33554432000 4194304 4196468 140726144354768 140114387946128 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16537] ppid=16531 vsize=15153204 memory=1398722017469774279 CPUtime=0.01 cores=0,2,4,6
/proc/16533/task/16537/stat : 16537 (java) S 16531 16531 14027 0 -1 1077944384 471 0 0 0 1 0 0 0 20 0 15 0 516743976 15516880896 56748 33554432000 4194304 4196468 140726144354768 140114386893072 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16538] ppid=16531 vsize=15153204 memory=3848 CPUtime=0.01 cores=0,2,4,6
/proc/16533/task/16538/stat : 16538 (java) S 16531 16531 14027 0 -1 1077944384 150 0 0 0 1 0 0 0 20 0 15 0 516743976 15516880896 56748 33554432000 4194304 4196468 140726144354768 140114385840528 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16539] ppid=16531 vsize=15153204 memory=2944 CPUtime=0.01 cores=0,2,4,6
/proc/16533/task/16539/stat : 16539 (java) S 16531 16531 14027 0 -1 1077944384 790 0 0 0 1 0 0 0 20 0 15 0 516743977 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113945844464 140114477353602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16540] ppid=16531 vsize=15153204 memory=2700 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16540/stat : 16540 (java) S 16531 16531 14027 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 516743978 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113944790752 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16541] ppid=16531 vsize=15153204 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16541/stat : 16541 (java) S 16531 16531 14027 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 516743978 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113943737600 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16542] ppid=16531 vsize=15153204 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16542/stat : 16542 (java) S 16531 16531 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516743980 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113942686160 140114477361051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16543] ppid=16531 vsize=15153204 memory=3304 CPUtime=2.36 cores=0,2,4,6
/proc/16533/task/16543/stat : 16543 (java) S 16531 16531 14027 0 -1 1077944384 11609 0 0 0 235 1 0 0 20 0 15 0 516743980 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113941633264 140114477353602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16544] ppid=16531 vsize=15153204 memory=1448 CPUtime=2.34 cores=0,2,4,6
/proc/16533/task/16544/stat : 16544 (java) S 16531 16531 14027 0 -1 1077944384 11649 0 0 0 232 2 0 0 20 0 15 0 516743980 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113940580720 140114477353602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16545] ppid=16531 vsize=15153204 memory=621428 CPUtime=0.8 cores=0,2,4,6
/proc/16533/task/16545/stat : 16545 (java) S 16531 16531 14027 0 -1 1077944384 7561 0 0 0 79 1 0 0 20 0 15 0 516743980 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113939527664 140114477353602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16546] ppid=16531 vsize=15153204 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16546/stat : 16546 (java) S 16531 16531 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516743980 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113938475360 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16547] ppid=16531 vsize=15153204 memory=2956 CPUtime=0.03 cores=0,2,4,6
/proc/16533/task/16547/stat : 16547 (java) S 16531 16531 14027 0 -1 1077944384 507 0 0 0 1 2 0 0 20 0 15 0 516743981 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113937423408 140114477353602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
Current children cumulated CPU time: 173.57 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 228444 KiB

[startup+168.201 s]
/proc/loadavg: 1.64 1.62 1.74 3/229 16567
/proc/meminfo: memFree=27877440/32770624 swapFree=66999256/67108860
[pid=16531] ppid=16528 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/16531/stat : 16531 (xcsp3-exec) S 16528 16531 14027 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516743974 115843072 363 33554432000 4194304 5098028 140724769286288 140724769284392 140449888285308 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32878592 140724769289083 140724769289325 140724769289325 140724769292234 0
/proc/16531/statm: 28282 363 304 221 0 87 0
[pid=16533] ppid=16531 vsize=15153204 memory=226992 CPUtime=173.76 cores=0,2,4,6
/proc/16533/stat : 16533 (java) S 16531 16531 14027 0 -1 1077944320 50638 0 0 0 17362 14 0 0 20 0 15 0 516743975 15516880896 56748 33554432000 4194304 4196468 140726144354768 140726144337312 140114477342455 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
/proc/16533/statm: 3788301 56748 3509 1 0 3749401 0
[pid=16533/tid=16534] ppid=16531 vsize=15153204 memory=288230596050944315 CPUtime=168.11 cores=0,2,4,6
/proc/16533/task/16534/stat : 16534 (java) R 16531 16531 14027 0 -1 4202560 13849 0 0 0 16805 6 0 0 20 0 15 0 516743975 15516880896 56748 33554432000 4194304 4196468 140726144354768 140114481582000 140114070036176 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16535] ppid=16531 vsize=15153204 memory=13848573129264102 CPUtime=0.01 cores=0,2,4,6
/proc/16533/task/16535/stat : 16535 (java) S 16531 16531 14027 0 -1 1077944384 1490 0 0 0 1 0 0 0 20 0 15 0 516743976 15516880896 56748 33554432000 4194304 4196468 140726144354768 140114388998672 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16536] ppid=16531 vsize=15153204 memory=776 CPUtime=0.01 cores=0,2,4,6
/proc/16533/task/16536/stat : 16536 (java) S 16531 16531 14027 0 -1 1077944384 1157 0 0 0 1 0 0 0 20 0 15 0 516743976 15516880896 56748 33554432000 4194304 4196468 140726144354768 140114387946128 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16537] ppid=16531 vsize=15153204 memory=3604 CPUtime=0.01 cores=0,2,4,6
/proc/16533/task/16537/stat : 16537 (java) S 16531 16531 14027 0 -1 1077944384 471 0 0 0 1 0 0 0 20 0 15 0 516743976 15516880896 56748 33554432000 4194304 4196468 140726144354768 140114386893072 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16538] ppid=16531 vsize=15153204 memory=2828 CPUtime=0.01 cores=0,2,4,6
/proc/16533/task/16538/stat : 16538 (java) S 16531 16531 14027 0 -1 1077944384 150 0 0 0 1 0 0 0 20 0 15 0 516743976 15516880896 56748 33554432000 4194304 4196468 140726144354768 140114385840528 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16539] ppid=16531 vsize=15153204 memory=676 CPUtime=0.01 cores=0,2,4,6
/proc/16533/task/16539/stat : 16539 (java) S 16531 16531 14027 0 -1 1077944384 790 0 0 0 1 0 0 0 20 0 15 0 516743977 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113945844464 140114477353602 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16540] ppid=16531 vsize=15153204 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16540/stat : 16540 (java) S 16531 16531 14027 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 516743978 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113944790752 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16541] ppid=16531 vsize=15153204 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16541/stat : 16541 (java) S 16531 16531 14027 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 516743978 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113943737600 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16542] ppid=16531 vsize=15153204 memory=8560 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16542/stat : 16542 (java) S 16531 16531 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516743980 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113942686160 140114477361051 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16543] ppid=16531 vsize=15153204 memory=1712 CPUtime=2.36 cores=0,2,4,6
/proc/16533/task/16543/stat : 16543 (java) S 16531 16531 14027 0 -1 1077944384 11609 0 0 0 235 1 0 0 20 0 15 0 516743980 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113941633264 140114477353602 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16544] ppid=16531 vsize=15153204 memory=1112 CPUtime=2.34 cores=0,2,4,6
/proc/16533/task/16544/stat : 16544 (java) S 16531 16531 14027 0 -1 1077944384 11649 0 0 0 232 2 0 0 20 0 15 0 516743980 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113940580720 140114477353602 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16545] ppid=16531 vsize=15153204 memory=1004 CPUtime=0.8 cores=0,2,4,6
/proc/16533/task/16545/stat : 16545 (java) S 16531 16531 14027 0 -1 1077944384 7561 0 0 0 79 1 0 0 20 0 15 0 516743980 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113939527664 140114477353602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16546] ppid=16531 vsize=15153204 memory=6088 CPUtime=0 cores=0,2,4,6
/proc/16533/task/16546/stat : 16546 (java) S 16531 16531 14027 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516743980 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113938475360 140114477352661 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
[pid=16533/tid=16547] ppid=16531 vsize=15153204 memory=226992 CPUtime=0.03 cores=0,2,4,6
/proc/16533/task/16547/stat : 16547 (java) S 16531 16531 14027 0 -1 1077944384 507 0 0 0 1 2 0 0 20 0 15 0 516743981 15516880896 56748 33554432000 4194304 4196468 140726144354768 140113937423408 140114477353602 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20230144 140726144361455 140726144361626 140726144361626 140726144364495 0
Current children cumulated CPU time: 173.76 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 228444 KiB

Child status: 0
Real time (s): 168.233
CPU time (s): 173.808
CPU user time (s): 173.657
CPU system time (s): 0.151624
CPU usage (%): 103.314
Max. virtual memory (cumulated for all children) (KiB): 15266332
Max. memory (cumulated for all children) (KiB): 228444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 173.657
system time used= 0.151624
maximum resident set size= 227132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51395
page faults= 0
swaps= 0
block input operations= 0
block output operations= 352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6475
involuntary context switches= 221


# summary of solver processes directly reported to runsolver:
#   pid: 16531
#   total CPU time (s): 173.808
#   total CPU user time (s): 173.657
#   total CPU system time (s): 0.151624

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.02901 second user time and 1.50717 second system time

The end

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

Trace number 4406615

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