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-16	OPT	14	127.17	32.3238

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400522-1568692020.xml"  -tl '2400s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4400522-1568692020.xml, -tl, 2400s, -p, 4]
0.35/0.22	c 4 solvers in parallel
0.35/0.28	c parse instance...
3.54/1.20	c solve instance...
20.22/5.50	o 15 
21.36/5.71	o 14 
127.09/32.31	s OPTIMUM FOUND
127.09/32.31	v <instantiation>
127.09/32.31	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>
127.09/32.31	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>
127.09/32.31	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 (15213 MiB free)
  memory of node 1: 16384 MiB (15510 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400522-1568692020/watcher-4400522-1568692020 -o /tmp/evaluation-result-4400522-1568692020/solver-4400522-1568692020 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568691240-24304 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 63778411 HOME/instance-4400522-1568692020.xml 

running on 4 cores: 1,3,5,7

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=25171, runsolver pid=25168
Current StackSize limit: 8192 KiB


[startup+0.100093 s]*
/proc/loadavg: 7.92 7.96 7.89 7/227 25187
/proc/meminfo: memFree=31438992/32770624 swapFree=66997372/67108860
[pid=25171] ppid=25168 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25171/stat : 25171 (xcsp3-exec) S 25168 25171 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445455075 115843072 362 33554432000 4194304 5098028 140729536458496 140729536456600 140684414112380 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39366656 140729536459644 140729536459885 140729536459885 140729536462794 0
/proc/25171/statm: 28282 362 304 221 0 87 0
[pid=25173] ppid=25171 vsize=15144776 memory=29676 CPUtime=0.13 cores=1,3,5,7
/proc/25173/stat : 25173 (java) S 25171 25171 24272 0 -1 1077944320 5836 0 0 0 12 1 0 0 20 0 15 0 445455075 15508250624 7419 33554432000 4194304 4196468 140721850008032 140721849990576 140168357019383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
/proc/25173/statm: 3786194 7419 3156 1 0 3748377 0
[pid=25173/tid=25174] ppid=25171 vsize=15144776 memory=7100839870104831090 CPUtime=0.08 cores=1,3,5,7
/proc/25173/task/25174/stat : 25174 (java) S 25171 25171 24272 0 -1 1077944384 3741 0 0 0 8 0 0 0 20 0 15 0 445455076 15508250624 7419 33554432000 4194304 4196468 140721850008032 140168361248544 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25175] ppid=25171 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25175/stat : 25175 (java) S 25171 25171 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455076 15508250624 7419 33554432000 4194304 4196468 140721850008032 140168285059600 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25176] ppid=25171 vsize=15144776 memory=139860973074048 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25176/stat : 25176 (java) S 25171 25171 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455076 15508250624 7419 33554432000 4194304 4196468 140721850008032 140168284007056 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25177] ppid=25171 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25177/stat : 25177 (java) S 25171 25171 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455076 15508250624 7419 33554432000 4194304 4196468 140721850008032 140168282954000 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25178] ppid=25171 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25178/stat : 25178 (java) S 25171 25171 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445455076 15508250624 7419 33554432000 4194304 4196468 140721850008032 140168281901456 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25179] ppid=25171 vsize=15144776 memory=139860973074048 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25179/stat : 25179 (java) S 25171 25171 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445455078 15508250624 7419 33554432000 4194304 4196468 140721850008032 140167825603312 140168357030530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25180] ppid=25171 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25180/stat : 25180 (java) S 25171 25171 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445455078 15508250624 7419 33554432000 4194304 4196468 140721850008032 140167824549536 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25181] ppid=25171 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25181/stat : 25181 (java) S 25171 25171 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445455078 15508250624 7419 33554432000 4194304 4196468 140721850008032 140167823496432 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25182] ppid=25171 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25182/stat : 25182 (java) S 25171 25171 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445455081 15508250624 7419 33554432000 4194304 4196468 140721850008032 140167822445008 140168357037979 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25183] ppid=25171 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25183/stat : 25183 (java) R 25171 25171 24272 0 -1 4202560 448 0 0 0 0 0 0 0 20 0 15 0 445455081 15508250624 7419 33554432000 4194304 4196468 140721850008032 140167821383616 140168334852240 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25184] ppid=25171 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25184/stat : 25184 (java) R 25171 25171 24272 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 445455081 15508250624 7419 33554432000 4194304 4196468 140721850008032 140167820339568 140168357030530 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25185] ppid=25171 vsize=15144776 memory=139860973074048 CPUtime=0.02 cores=1,3,5,7
/proc/25173/task/25185/stat : 25185 (java) R 25171 25171 24272 0 -1 4202560 365 0 0 0 2 0 0 0 20 0 15 0 445455081 15508250624 7419 33554432000 4194304 4196468 140721850008032 140167819286512 140168336318579 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25186] ppid=25171 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25186/stat : 25186 (java) S 25171 25171 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445455081 15508250624 7419 33554432000 4194304 4196468 140721850008032 140167818234208 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25187] ppid=25171 vsize=15144776 memory=139860973074048 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25187/stat : 25187 (java) S 25171 25171 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455081 15508250624 7419 33554432000 4194304 4196468 140721850008032 140167817182256 140168357030530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31124 KiB

[startup+0.210795 s]*
/proc/loadavg: 7.92 7.96 7.89 7/227 25187
/proc/meminfo: memFree=31421160/32770624 swapFree=66997372/67108860
[pid=25171] ppid=25168 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25171/stat : 25171 (xcsp3-exec) S 25168 25171 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445455075 115843072 362 33554432000 4194304 5098028 140729536458496 140729536456600 140684414112380 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39366656 140729536459644 140729536459885 140729536459885 140729536462794 0
/proc/25171/statm: 28282 362 304 221 0 87 0
[pid=25173] ppid=25171 vsize=15144776 memory=40280 CPUtime=0.35 cores=1,3,5,7
/proc/25173/stat : 25173 (java) S 25171 25171 24272 0 -1 1077944320 9299 0 0 0 32 3 0 0 20 0 15 0 445455075 15508250624 10070 33554432000 4194304 4196468 140721850008032 140721849990576 140168357019383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
/proc/25173/statm: 3786194 10070 3308 1 0 3748377 0
[pid=25173/tid=25174] ppid=25171 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/25173/task/25174/stat : 25174 (java) R 25171 25171 24272 0 -1 4202560 6589 0 0 0 18 2 0 0 20 0 15 0 445455076 15508250624 10070 33554432000 4194304 4196468 140721850008032 140168361256992 140168341099870 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25175] ppid=25171 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25175/stat : 25175 (java) S 25171 25171 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455076 15508250624 10070 33554432000 4194304 4196468 140721850008032 140168285059600 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25176] ppid=25171 vsize=15144776 memory=288370237124785792 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25176/stat : 25176 (java) S 25171 25171 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455076 15508250624 10070 33554432000 4194304 4196468 140721850008032 140168284007056 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25177] ppid=25171 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25177/stat : 25177 (java) S 25171 25171 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455076 15508250624 10070 33554432000 4194304 4196468 140721850008032 140168282954000 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25178] ppid=25171 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25178/stat : 25178 (java) S 25171 25171 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445455076 15508250624 10070 33554432000 4194304 4196468 140721850008032 140168281901456 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25179] ppid=25171 vsize=15144776 memory=139860973074048 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25179/stat : 25179 (java) S 25171 25171 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445455078 15508250624 10070 33554432000 4194304 4196468 140721850008032 140167825603312 140168357030530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25180] ppid=25171 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25180/stat : 25180 (java) S 25171 25171 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445455078 15508250624 10070 33554432000 4194304 4196468 140721850008032 140167824549536 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25181] ppid=25171 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25181/stat : 25181 (java) S 25171 25171 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445455078 15508250624 10070 33554432000 4194304 4196468 140721850008032 140167823496432 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25182] ppid=25171 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25182/stat : 25182 (java) S 25171 25171 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445455081 15508250624 10070 33554432000 4194304 4196468 140721850008032 140167822445008 140168357037979 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25183] ppid=25171 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/25173/task/25183/stat : 25183 (java) S 25171 25171 24272 0 -1 1077944384 545 0 0 0 3 0 0 0 20 0 15 0 445455081 15508250624 10070 33554432000 4194304 4196468 140721850008032 140167821392112 140168357030530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25184] ppid=25171 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/25173/task/25184/stat : 25184 (java) S 25171 25171 24272 0 -1 1077944384 76 0 0 0 1 0 0 0 20 0 15 0 445455081 15508250624 10070 33554432000 4194304 4196468 140721850008032 140167820339568 140168357030530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25185] ppid=25171 vsize=15144776 memory=139860973074048 CPUtime=0.08 cores=1,3,5,7
/proc/25173/task/25185/stat : 25185 (java) S 25171 25171 24272 0 -1 1077944384 788 0 0 0 8 0 0 0 20 0 15 0 445455081 15508250624 10070 33554432000 4194304 4196468 140721850008032 140167819286512 140168357030530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25186] ppid=25171 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25186/stat : 25186 (java) S 25171 25171 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445455081 15508250624 10070 33554432000 4194304 4196468 140721850008032 140167818234208 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25187] ppid=25171 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25187/stat : 25187 (java) S 25171 25171 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455081 15508250624 10070 33554432000 4194304 4196468 140721850008032 140167817182256 140168357030530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41728 KiB

[startup+0.311294 s]*
/proc/loadavg: 7.92 7.96 7.89 7/227 25187
/proc/meminfo: memFree=31384496/32770624 swapFree=66997372/67108860
[pid=25171] ppid=25168 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25171/stat : 25171 (xcsp3-exec) S 25168 25171 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445455075 115843072 362 33554432000 4194304 5098028 140729536458496 140729536456600 140684414112380 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39366656 140729536459644 140729536459885 140729536459885 140729536462794 0
/proc/25171/statm: 28282 362 304 221 0 87 0
[pid=25173] ppid=25171 vsize=15149032 memory=49780 CPUtime=0.53 cores=1,3,5,7
/proc/25173/stat : 25173 (java) S 25171 25171 24272 0 -1 1077944320 10840 0 0 0 49 4 0 0 20 0 15 0 445455075 15512608768 12445 33554432000 4194304 4196468 140721850008032 140721849990576 140168357019383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
/proc/25173/statm: 3787258 12445 3356 1 0 3748377 0
[pid=25173/tid=25174] ppid=25171 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/25173/task/25174/stat : 25174 (java) R 25171 25171 24272 0 -1 4202560 7781 0 0 0 27 3 0 0 20 0 15 0 445455076 15512608768 12445 33554432000 4194304 4196468 140721850008032 140168361250152 140168341099870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25175] ppid=25171 vsize=15149032 memory=9461 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25175/stat : 25175 (java) S 25171 25171 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455076 15512608768 12445 33554432000 4194304 4196468 140721850008032 140168285059600 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25176] ppid=25171 vsize=15149032 memory=288230376155267454 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25176/stat : 25176 (java) S 25171 25171 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455076 15512608768 12445 33554432000 4194304 4196468 140721850008032 140168284007056 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25177] ppid=25171 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25177/stat : 25177 (java) S 25171 25171 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455076 15512608768 12445 33554432000 4194304 4196468 140721850008032 140168282954000 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25178] ppid=25171 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25178/stat : 25178 (java) S 25171 25171 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445455076 15512608768 12445 33554432000 4194304 4196468 140721850008032 140168281901456 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25179] ppid=25171 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25179/stat : 25179 (java) S 25171 25171 24272 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445455078 15512608768 12445 33554432000 4194304 4196468 140721850008032 140167825603312 140168357030530 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25180] ppid=25171 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25180/stat : 25180 (java) S 25171 25171 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445455078 15512608768 12445 33554432000 4194304 4196468 140721850008032 140167824549536 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25181] ppid=25171 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25181/stat : 25181 (java) S 25171 25171 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445455078 15512608768 12445 33554432000 4194304 4196468 140721850008032 140167823496432 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25182] ppid=25171 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25182/stat : 25182 (java) S 25171 25171 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445455081 15512608768 12445 33554432000 4194304 4196468 140721850008032 140167822445008 140168357037979 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25183] ppid=25171 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/25173/task/25183/stat : 25183 (java) S 25171 25171 24272 0 -1 1077944384 594 0 0 0 5 0 0 0 20 0 15 0 445455081 15512608768 12445 33554432000 4194304 4196468 140721850008032 140167821392112 140168357030530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25184] ppid=25171 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/25173/task/25184/stat : 25184 (java) R 25171 25171 24272 0 -1 4202560 195 0 0 0 3 0 0 0 20 0 15 0 445455081 15512608768 12445 33554432000 4194304 4196468 140721850008032 140167820320584 140168334280640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25185] ppid=25171 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/25173/task/25185/stat : 25185 (java) S 25171 25171 24272 0 -1 1077944384 973 0 0 0 12 0 0 0 20 0 15 0 445455081 15512608768 12445 33554432000 4194304 4196468 140721850008032 140167819286512 140168357030530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25186] ppid=25171 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25186/stat : 25186 (java) S 25171 25171 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445455081 15512608768 12445 33554432000 4194304 4196468 140721850008032 140167818234208 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25187] ppid=25171 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25187/stat : 25187 (java) S 25171 25171 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455081 15512608768 12445 33554432000 4194304 4196468 140721850008032 140167817182256 140168357030530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51228 KiB

[startup+0.868927 s]*
/proc/loadavg: 7.92 7.96 7.89 6/211 25187
/proc/meminfo: memFree=31394112/32770624 swapFree=66997372/67108860
[pid=25171] ppid=25168 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25171/stat : 25171 (xcsp3-exec) S 25168 25171 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445455075 115843072 362 33554432000 4194304 5098028 140729536458496 140729536456600 140684414112380 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39366656 140729536459644 140729536459885 140729536459885 140729536462794 0
/proc/25171/statm: 28282 362 304 221 0 87 0
[pid=25173] ppid=25171 vsize=15151156 memory=114640 CPUtime=2.45 cores=1,3,5,7
/proc/25173/stat : 25173 (java) S 25171 25171 24272 0 -1 1077944320 16236 0 0 0 237 8 0 0 20 0 15 0 445455075 15514783744 28660 33554432000 4194304 4196468 140721850008032 140721849990576 140168357019383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
/proc/25173/statm: 3787789 28660 3465 1 0 3748889 0
[pid=25173/tid=25174] ppid=25171 vsize=15151156 memory=8390339637985935414 CPUtime=0.85 cores=1,3,5,7
/proc/25173/task/25174/stat : 25174 (java) R 25171 25171 24272 0 -1 4202560 9340 0 0 0 80 5 0 0 20 0 15 0 445455076 15514783744 28660 33554432000 4194304 4196468 140721850008032 140168361256000 140167956003752 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25175] ppid=25171 vsize=15151156 memory=288230609019731991 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25175/stat : 25175 (java) S 25171 25171 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455076 15514783744 28660 33554432000 4194304 4196468 140721850008032 140168285059600 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25176] ppid=25171 vsize=15151156 memory=288370237124785792 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25176/stat : 25176 (java) S 25171 25171 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455076 15514783744 28660 33554432000 4194304 4196468 140721850008032 140168284007056 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25177] ppid=25171 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25177/stat : 25177 (java) S 25171 25171 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455076 15514783744 28660 33554432000 4194304 4196468 140721850008032 140168282954000 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25178] ppid=25171 vsize=15151156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25178/stat : 25178 (java) S 25171 25171 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445455076 15514783744 28660 33554432000 4194304 4196468 140721850008032 140168281901456 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25179] ppid=25171 vsize=15151156 memory=139860973074048 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25179/stat : 25179 (java) S 25171 25171 24272 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445455078 15514783744 28660 33554432000 4194304 4196468 140721850008032 140167825603312 140168357030530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25180] ppid=25171 vsize=15151156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25180/stat : 25180 (java) S 25171 25171 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445455078 15514783744 28660 33554432000 4194304 4196468 140721850008032 140167824549536 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25181] ppid=25171 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25181/stat : 25181 (java) S 25171 25171 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445455078 15514783744 28660 33554432000 4194304 4196468 140721850008032 140167823496432 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25182] ppid=25171 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25182/stat : 25182 (java) S 25171 25171 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445455081 15514783744 28660 33554432000 4194304 4196468 140721850008032 140167822445008 140168357037979 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25183] ppid=25171 vsize=15151156 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/25173/task/25183/stat : 25183 (java) R 25171 25171 24272 0 -1 4202560 1894 0 0 0 48 0 0 0 20 0 15 0 445455081 15514783744 28660 33554432000 4194304 4196468 140721850008032 140167821385136 140168340407402 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25184] ppid=25171 vsize=15151156 memory=-1 CPUtime=0.53 cores=1,3,5,7
/proc/25173/task/25184/stat : 25184 (java) R 25171 25171 24272 0 -1 4202560 1285 0 0 0 53 0 0 0 20 0 15 0 445455081 15514783744 28660 33554432000 4194304 4196468 140721850008032 140167820329952 140168341914097 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25185] ppid=25171 vsize=15151156 memory=139860973074048 CPUtime=0.55 cores=1,3,5,7
/proc/25173/task/25185/stat : 25185 (java) R 25171 25171 24272 0 -1 1077944384 2410 0 0 0 54 1 0 0 20 0 15 0 445455081 15514783744 28660 33554432000 4194304 4196468 140721850008032 140167819286512 140168357030530 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25186] ppid=25171 vsize=15151156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25186/stat : 25186 (java) S 25171 25171 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445455081 15514783744 28660 33554432000 4194304 4196468 140721850008032 140167818234208 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25187] ppid=25171 vsize=15151156 memory=139860973074048 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25187/stat : 25187 (java) S 25171 25171 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455081 15514783744 28660 33554432000 4194304 4196468 140721850008032 140167817182256 140168357030530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 116088 KiB

[startup+1.51337 s]
/proc/loadavg: 7.92 7.96 7.89 11/233 25238
/proc/meminfo: memFree=31259452/32770624 swapFree=66997372/67108860
[pid=25171] ppid=25168 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25171/stat : 25171 (xcsp3-exec) S 25168 25171 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445455075 115843072 362 33554432000 4194304 5098028 140729536458496 140729536456600 140684414112380 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39366656 140729536459644 140729536459885 140729536459885 140729536462794 0
/proc/25171/statm: 28282 362 304 221 0 87 0

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

/proc/25173/task/25187/stat : 25187 (java) S 25171 25171 24272 0 -1 1077944384 549 0 0 0 0 1 0 0 20 0 19 0 445455081 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167817182256 140168357030530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25271] ppid=25171 vsize=15419460 memory=348476 CPUtime=25.53 cores=1,3,5,7
/proc/25173/task/25271/stat : 25271 (java) R 25171 25171 24272 0 -1 4202560 510 0 0 0 2553 0 0 0 20 0 19 0 445455647 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167803759992 140167959674096 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25272] ppid=25171 vsize=15419460 memory=676 CPUtime=25.47 cores=1,3,5,7
/proc/25173/task/25272/stat : 25272 (java) R 25171 25171 24272 0 -1 4202560 1084 0 0 0 2547 0 0 0 20 0 19 0 445455647 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167805866216 140167960512648 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25273] ppid=25171 vsize=15419460 memory=1060 CPUtime=25.16 cores=1,3,5,7
/proc/25173/task/25273/stat : 25273 (java) R 25171 25171 24272 0 -1 4202560 1947 0 0 0 2515 1 0 0 20 0 19 0 445455647 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167802710024 140167953353752 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25274] ppid=25171 vsize=15419460 memory=1548 CPUtime=25.16 cores=1,3,5,7
/proc/25173/task/25274/stat : 25274 (java) R 25171 25171 24272 0 -1 4202560 862 0 0 0 2516 0 0 0 20 0 19 0 445455647 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167804812800 140167961660556 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
Current children cumulated CPU time: 124.3 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 349924 KiB

[startup+32.0015 s]
/proc/loadavg: 8.17 8.02 7.91 10/237 25529
/proc/meminfo: memFree=30926336/32770624 swapFree=66997372/67108860
[pid=25171] ppid=25168 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25171/stat : 25171 (xcsp3-exec) S 25168 25171 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445455075 115843072 362 33554432000 4194304 5098028 140729536458496 140729536456600 140684414112380 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39366656 140729536459644 140729536459885 140729536459885 140729536462794 0
/proc/25171/statm: 28282 362 304 221 0 87 0
[pid=25173] ppid=25171 vsize=15419460 memory=348476 CPUtime=125.9 cores=1,3,5,7
/proc/25173/stat : 25173 (java) S 25171 25171 24272 0 -1 1077944320 55372 0 0 0 12568 22 0 0 20 0 19 0 445455075 15789527040 87119 33554432000 4194304 4196468 140721850008032 140721849990576 140168357019383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
/proc/25173/statm: 3854865 87119 3536 1 0 3815965 0
[pid=25173/tid=25174] ppid=25171 vsize=15419460 memory=14008 CPUtime=1.18 cores=1,3,5,7
/proc/25173/task/25174/stat : 25174 (java) S 25171 25171 24272 0 -1 1077944384 12019 0 0 0 111 7 0 0 20 0 19 0 445455076 15789527040 87119 33554432000 4194304 4196468 140721850008032 140168361260160 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25175] ppid=25171 vsize=15419460 memory=2124 CPUtime=0.03 cores=1,3,5,7
/proc/25173/task/25175/stat : 25175 (java) S 25171 25171 24272 0 -1 1077944384 1127 0 0 0 3 0 0 0 20 0 19 0 445455076 15789527040 87119 33554432000 4194304 4196468 140721850008032 140168285059600 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25176] ppid=25171 vsize=15419460 memory=26164 CPUtime=0.05 cores=1,3,5,7
/proc/25173/task/25176/stat : 25176 (java) S 25171 25171 24272 0 -1 1077944384 233 0 0 0 4 1 0 0 20 0 19 0 445455076 15789527040 87119 33554432000 4194304 4196468 140721850008032 140168284007056 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25177] ppid=25171 vsize=15419460 memory=12024 CPUtime=0.05 cores=1,3,5,7
/proc/25173/task/25177/stat : 25177 (java) S 25171 25171 24272 0 -1 1077944384 183 0 0 0 4 1 0 0 20 0 19 0 445455076 15789527040 87119 33554432000 4194304 4196468 140721850008032 140168282954000 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25178] ppid=25171 vsize=15419460 memory=500 CPUtime=0.05 cores=1,3,5,7
/proc/25173/task/25178/stat : 25178 (java) S 25171 25171 24272 0 -1 1077944384 1374 0 0 0 4 1 0 0 20 0 19 0 445455076 15789527040 87119 33554432000 4194304 4196468 140721850008032 140168281901456 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25179] ppid=25171 vsize=15419460 memory=3504 CPUtime=0.02 cores=1,3,5,7
/proc/25173/task/25179/stat : 25179 (java) S 25171 25171 24272 0 -1 1077944384 874 0 0 0 1 1 0 0 20 0 19 0 445455078 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167825603312 140168357030530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25180] ppid=25171 vsize=15419460 memory=48196 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25180/stat : 25180 (java) S 25171 25171 24272 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 445455078 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167824549600 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25181] ppid=25171 vsize=15419460 memory=3028 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25181/stat : 25181 (java) S 25171 25171 24272 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 445455078 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167823496448 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25182] ppid=25171 vsize=15419460 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25182/stat : 25182 (java) S 25171 25171 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445455081 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167822445008 140168357037979 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25183] ppid=25171 vsize=15419460 memory=1388 CPUtime=3.57 cores=1,3,5,7
/proc/25173/task/25183/stat : 25183 (java) S 25171 25171 24272 0 -1 1077944384 12475 0 0 0 356 1 0 0 20 0 19 0 445455081 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167821392112 140168357030530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25184] ppid=25171 vsize=15419460 memory=776 CPUtime=3.38 cores=1,3,5,7
/proc/25173/task/25184/stat : 25184 (java) S 25171 25171 24272 0 -1 1077944384 8713 0 0 0 337 1 0 0 20 0 19 0 445455081 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167820339568 140168357030530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25185] ppid=25171 vsize=15419460 memory=3992 CPUtime=1.1 cores=1,3,5,7
/proc/25173/task/25185/stat : 25185 (java) S 25171 25171 24272 0 -1 1077944384 11653 0 0 0 108 2 0 0 20 0 19 0 445455081 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167819286512 140168357030530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25186] ppid=25171 vsize=15419460 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25186/stat : 25186 (java) S 25171 25171 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445455081 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167818234208 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25187] ppid=25171 vsize=15419460 memory=676 CPUtime=0.01 cores=1,3,5,7
/proc/25173/task/25187/stat : 25187 (java) S 25171 25171 24272 0 -1 1077944384 549 0 0 0 0 1 0 0 20 0 19 0 445455081 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167817182256 140168357030530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25271] ppid=25171 vsize=15419460 memory=20036 CPUtime=25.92 cores=1,3,5,7
/proc/25173/task/25271/stat : 25271 (java) R 25171 25171 24272 0 -1 4202560 510 0 0 0 2592 0 0 0 20 0 19 0 445455647 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167803759992 140167959674198 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25272] ppid=25171 vsize=15419460 memory=4864 CPUtime=25.87 cores=1,3,5,7
/proc/25173/task/25272/stat : 25272 (java) R 25171 25171 24272 0 -1 4202560 1087 0 0 0 2587 0 0 0 20 0 19 0 445455647 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167805866216 140167959674476 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25273] ppid=25171 vsize=15419460 memory=0 CPUtime=25.56 cores=1,3,5,7
/proc/25173/task/25273/stat : 25273 (java) R 25171 25171 24272 0 -1 4202560 1951 0 0 0 2555 1 0 0 20 0 19 0 445455647 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167802710024 140167961243683 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25274] ppid=25171 vsize=15419460 memory=1560 CPUtime=25.56 cores=1,3,5,7
/proc/25173/task/25274/stat : 25274 (java) R 25171 25171 24272 0 -1 4202560 862 0 0 0 2556 0 0 0 20 0 19 0 445455647 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167804812800 140167961243683 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
Current children cumulated CPU time: 125.9 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 349924 KiB

[startup+32.2015 s]
/proc/loadavg: 8.17 8.02 7.91 10/237 25529
/proc/meminfo: memFree=30926336/32770624 swapFree=66997372/67108860
[pid=25171] ppid=25168 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25171/stat : 25171 (xcsp3-exec) S 25168 25171 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445455075 115843072 362 33554432000 4194304 5098028 140729536458496 140729536456600 140684414112380 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39366656 140729536459644 140729536459885 140729536459885 140729536462794 0
/proc/25171/statm: 28282 362 304 221 0 87 0
[pid=25173] ppid=25171 vsize=15419460 memory=348476 CPUtime=126.69 cores=1,3,5,7
/proc/25173/stat : 25173 (java) S 25171 25171 24272 0 -1 1077944320 55376 0 0 0 12647 22 0 0 20 0 19 0 445455075 15789527040 87119 33554432000 4194304 4196468 140721850008032 140721849990576 140168357019383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
/proc/25173/statm: 3854865 87119 3536 1 0 3815965 0
[pid=25173/tid=25174] ppid=25171 vsize=15419460 memory=1980 CPUtime=1.18 cores=1,3,5,7
/proc/25173/task/25174/stat : 25174 (java) S 25171 25171 24272 0 -1 1077944384 12019 0 0 0 111 7 0 0 20 0 19 0 445455076 15789527040 87119 33554432000 4194304 4196468 140721850008032 140168361260160 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25175] ppid=25171 vsize=15419460 memory=2512 CPUtime=0.03 cores=1,3,5,7
/proc/25173/task/25175/stat : 25175 (java) S 25171 25171 24272 0 -1 1077944384 1127 0 0 0 3 0 0 0 20 0 19 0 445455076 15789527040 87119 33554432000 4194304 4196468 140721850008032 140168285059600 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25176] ppid=25171 vsize=15419460 memory=1436 CPUtime=0.05 cores=1,3,5,7
/proc/25173/task/25176/stat : 25176 (java) S 25171 25171 24272 0 -1 1077944384 233 0 0 0 4 1 0 0 20 0 19 0 445455076 15789527040 87119 33554432000 4194304 4196468 140721850008032 140168284007056 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25177] ppid=25171 vsize=15419460 memory=812 CPUtime=0.05 cores=1,3,5,7
/proc/25173/task/25177/stat : 25177 (java) S 25171 25171 24272 0 -1 1077944384 183 0 0 0 4 1 0 0 20 0 19 0 445455076 15789527040 87119 33554432000 4194304 4196468 140721850008032 140168282954000 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25178] ppid=25171 vsize=15419460 memory=1764 CPUtime=0.05 cores=1,3,5,7
/proc/25173/task/25178/stat : 25178 (java) S 25171 25171 24272 0 -1 1077944384 1374 0 0 0 4 1 0 0 20 0 19 0 445455076 15789527040 87119 33554432000 4194304 4196468 140721850008032 140168281901456 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25179] ppid=25171 vsize=15419460 memory=111628 CPUtime=0.02 cores=1,3,5,7
/proc/25173/task/25179/stat : 25179 (java) S 25171 25171 24272 0 -1 1077944384 874 0 0 0 1 1 0 0 20 0 19 0 445455078 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167825603312 140168357030530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25180] ppid=25171 vsize=15419460 memory=796 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25180/stat : 25180 (java) S 25171 25171 24272 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 445455078 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167824549600 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25181] ppid=25171 vsize=15419460 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25181/stat : 25181 (java) S 25171 25171 24272 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 445455078 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167823496448 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25182] ppid=25171 vsize=15419460 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25182/stat : 25182 (java) S 25171 25171 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445455081 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167822445008 140168357037979 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25183] ppid=25171 vsize=15419460 memory=916 CPUtime=3.57 cores=1,3,5,7
/proc/25173/task/25183/stat : 25183 (java) S 25171 25171 24272 0 -1 1077944384 12475 0 0 0 356 1 0 0 20 0 19 0 445455081 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167821392112 140168357030530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25184] ppid=25171 vsize=15419460 memory=3848 CPUtime=3.38 cores=1,3,5,7
/proc/25173/task/25184/stat : 25184 (java) S 25171 25171 24272 0 -1 1077944384 8713 0 0 0 337 1 0 0 20 0 19 0 445455081 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167820339568 140168357030530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25185] ppid=25171 vsize=15419460 memory=1448 CPUtime=1.1 cores=1,3,5,7
/proc/25173/task/25185/stat : 25185 (java) S 25171 25171 24272 0 -1 1077944384 11653 0 0 0 108 2 0 0 20 0 19 0 445455081 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167819286512 140168357030530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25186] ppid=25171 vsize=15419460 memory=2760 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25186/stat : 25186 (java) S 25171 25171 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445455081 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167818234208 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25187] ppid=25171 vsize=15419460 memory=2748 CPUtime=0.01 cores=1,3,5,7
/proc/25173/task/25187/stat : 25187 (java) S 25171 25171 24272 0 -1 1077944384 549 0 0 0 0 1 0 0 20 0 19 0 445455081 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167817182256 140168357030530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25271] ppid=25171 vsize=15419460 memory=1408 CPUtime=26.12 cores=1,3,5,7
/proc/25173/task/25271/stat : 25271 (java) R 25171 25171 24272 0 -1 4202560 510 0 0 0 2612 0 0 0 20 0 19 0 445455647 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167803759992 140167961205549 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25272] ppid=25171 vsize=15419460 memory=2928 CPUtime=26.07 cores=1,3,5,7
/proc/25173/task/25272/stat : 25272 (java) R 25171 25171 24272 0 -1 4202560 1089 0 0 0 2607 0 0 0 20 0 19 0 445455647 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167805866216 140167959645472 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25273] ppid=25171 vsize=15419460 memory=1448 CPUtime=25.76 cores=1,3,5,7
/proc/25173/task/25273/stat : 25273 (java) R 25171 25171 24272 0 -1 4202560 1953 0 0 0 2575 1 0 0 20 0 19 0 445455647 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167802710024 140167963641337 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25274] ppid=25171 vsize=15419460 memory=348476 CPUtime=25.76 cores=1,3,5,7
/proc/25173/task/25274/stat : 25274 (java) R 25171 25171 24272 0 -1 4202560 862 0 0 0 2576 0 0 0 20 0 19 0 445455647 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167804812800 140167956033910 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
Current children cumulated CPU time: 126.69 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 349924 KiB

[startup+32.3015 s]
/proc/loadavg: 8.17 8.02 7.91 10/237 25529
/proc/meminfo: memFree=30926336/32770624 swapFree=66997372/67108860
[pid=25171] ppid=25168 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/25171/stat : 25171 (xcsp3-exec) S 25168 25171 24272 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445455075 115843072 362 33554432000 4194304 5098028 140729536458496 140729536456600 140684414112380 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 39366656 140729536459644 140729536459885 140729536459885 140729536462794 0
/proc/25171/statm: 28282 362 304 221 0 87 0
[pid=25173] ppid=25171 vsize=15419460 memory=348476 CPUtime=127.09 cores=1,3,5,7
/proc/25173/stat : 25173 (java) S 25171 25171 24272 0 -1 1077944320 55377 0 0 0 12687 22 0 0 20 0 19 0 445455075 15789527040 87119 33554432000 4194304 4196468 140721850008032 140721849990576 140168357019383 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
/proc/25173/statm: 3854865 87119 3536 1 0 3815965 0
[pid=25173/tid=25174] ppid=25171 vsize=15419460 memory=0 CPUtime=1.18 cores=1,3,5,7
/proc/25173/task/25174/stat : 25174 (java) S 25171 25171 24272 0 -1 1077944384 12019 0 0 0 111 7 0 0 20 0 19 0 445455076 15789527040 87119 33554432000 4194304 4196468 140721850008032 140168361260160 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25175] ppid=25171 vsize=15419460 memory=348476 CPUtime=0.03 cores=1,3,5,7
/proc/25173/task/25175/stat : 25175 (java) S 25171 25171 24272 0 -1 1077944384 1127 0 0 0 3 0 0 0 20 0 19 0 445455076 15789527040 87119 33554432000 4194304 4196468 140721850008032 140168285059600 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25176] ppid=25171 vsize=15419460 memory=363872 CPUtime=0.05 cores=1,3,5,7
/proc/25173/task/25176/stat : 25176 (java) S 25171 25171 24272 0 -1 1077944384 233 0 0 0 4 1 0 0 20 0 19 0 445455076 15789527040 87119 33554432000 4194304 4196468 140721850008032 140168284007056 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25177] ppid=25171 vsize=15419460 memory=232256 CPUtime=0.05 cores=1,3,5,7
/proc/25173/task/25177/stat : 25177 (java) S 25171 25171 24272 0 -1 1077944384 183 0 0 0 4 1 0 0 20 0 19 0 445455076 15789527040 87119 33554432000 4194304 4196468 140721850008032 140168282954000 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25178] ppid=25171 vsize=15419460 memory=1448 CPUtime=0.05 cores=1,3,5,7
/proc/25173/task/25178/stat : 25178 (java) S 25171 25171 24272 0 -1 1077944384 1374 0 0 0 4 1 0 0 20 0 19 0 445455076 15789527040 87119 33554432000 4194304 4196468 140721850008032 140168281901456 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25179] ppid=25171 vsize=15419460 memory=363868 CPUtime=0.02 cores=1,3,5,7
/proc/25173/task/25179/stat : 25179 (java) S 25171 25171 24272 0 -1 1077944384 874 0 0 0 1 1 0 0 20 0 19 0 445455078 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167825603312 140168357030530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25180] ppid=25171 vsize=15419460 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25180/stat : 25180 (java) S 25171 25171 24272 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 445455078 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167824549600 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25181] ppid=25171 vsize=15419460 memory=2748 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25181/stat : 25181 (java) S 25171 25171 24272 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 445455078 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167823496448 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25182] ppid=25171 vsize=15419460 memory=3504 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25182/stat : 25182 (java) S 25171 25171 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445455081 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167822445008 140168357037979 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25183] ppid=25171 vsize=15419460 memory=48196 CPUtime=3.57 cores=1,3,5,7
/proc/25173/task/25183/stat : 25183 (java) S 25171 25171 24272 0 -1 1077944384 12475 0 0 0 356 1 0 0 20 0 19 0 445455081 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167821392112 140168357030530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25184] ppid=25171 vsize=15419460 memory=363868 CPUtime=3.38 cores=1,3,5,7
/proc/25173/task/25184/stat : 25184 (java) S 25171 25171 24272 0 -1 1077944384 8713 0 0 0 337 1 0 0 20 0 19 0 445455081 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167820339568 140168357030530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25185] ppid=25171 vsize=15419460 memory=3 CPUtime=1.1 cores=1,3,5,7
/proc/25173/task/25185/stat : 25185 (java) S 25171 25171 24272 0 -1 1077944384 11653 0 0 0 108 2 0 0 20 0 19 0 445455081 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167819286512 140168357030530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25186] ppid=25171 vsize=15419460 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/25173/task/25186/stat : 25186 (java) S 25171 25171 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445455081 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167818234208 140168357029589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25187] ppid=25171 vsize=15419460 memory=6645459911560372124 CPUtime=0.01 cores=1,3,5,7
/proc/25173/task/25187/stat : 25187 (java) S 25171 25171 24272 0 -1 1077944384 549 0 0 0 0 1 0 0 20 0 19 0 445455081 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167817182256 140168357030530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25271] ppid=25171 vsize=15419460 memory=-7175753904026764170 CPUtime=26.22 cores=1,3,5,7
/proc/25173/task/25271/stat : 25271 (java) R 25171 25171 24272 0 -1 4202560 510 0 0 0 2622 0 0 0 20 0 19 0 445455647 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167803759992 140167959673985 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25272] ppid=25171 vsize=15419460 memory=279721691351072 CPUtime=26.17 cores=1,3,5,7
/proc/25173/task/25272/stat : 25272 (java) R 25171 25171 24272 0 -1 4202560 1089 0 0 0 2617 0 0 0 20 0 19 0 445455647 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167805866216 140167960514077 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25273] ppid=25171 vsize=15419460 memory=7651961427303688808 CPUtime=25.86 cores=1,3,5,7
/proc/25173/task/25273/stat : 25273 (java) R 25171 25171 24272 0 -1 4202560 1954 0 0 0 2585 1 0 0 20 0 19 0 445455647 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167802710024 140167960634817 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
[pid=25173/tid=25274] ppid=25171 vsize=15419460 memory=3547253576531863660 CPUtime=25.86 cores=1,3,5,7
/proc/25173/task/25274/stat : 25274 (java) R 25171 25171 24272 0 -1 4202560 862 0 0 0 2586 0 0 0 20 0 19 0 445455647 15789527040 87119 33554432000 4194304 4196468 140721850008032 140167804812800 140167960468324 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30044160 140721850012655 140721850012826 140721850012826 140721850015695 0
Current children cumulated CPU time: 127.09 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 349924 KiB

Child status: 0
Real time (s): 32.3238
CPU time (s): 127.17
CPU user time (s): 126.935
CPU system time (s): 0.234606
CPU usage (%): 393.425
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 365320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 126.935
system time used= 0.234606
maximum resident set size= 363876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56412
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3817
involuntary context switches= 3249


# summary of solver processes directly reported to runsolver:
#   pid: 25171
#   total CPU time (s): 127.17
#   total CPU user time (s): 126.935
#   total CPU system time (s): 0.234606

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.212593 second user time and 0.428313 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 4400522

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