2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14	OPT	14	156.88	39.7615

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393362-1568317548.xml"  -tl '2520s' -p 4
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4393362-1568317548.xml, -tl, 2520s, -p, 4]
0.35/0.22	c 4 solvers in parallel
0.35/0.28	c parse instance...
3.23/1.19	c solve instance...
21.80/5.85	o 15 
23.02/6.13	o 14 
156.66/39.75	s OPTIMUM FOUND
156.66/39.75	v <instantiation>
156.66/39.75	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>
156.66/39.75	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>
156.66/39.75	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 (1146 MiB free)
  memory of node 1: 16384 MiB (11452 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393362-1568317548/watcher-4393362-1568317548 -o /tmp/evaluation-result-4393362-1568317548/solver-4393362-1568317548 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568309054-15624 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1414951101 HOME/instance-4393362-1568317548.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=20436, runsolver pid=20433
Current StackSize limit: 8192 KiB


[startup+0.100059 s]*
/proc/loadavg: 7.84 8.02 7.78 7/232 20452
/proc/meminfo: memFree=12884484/32770624 swapFree=66977612/67108860
[pid=20436] ppid=20433 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20436/stat : 20436 (xcsp3-exec) S 20433 20436 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408012093 115843072 362 33554432000 4194304 5098028 140732456991936 140732456990040 140261098250876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32407552 140732456993658 140732456993901 140732456993901 140732456996810 0
/proc/20436/statm: 28282 362 304 221 0 87 0
[pid=20438] ppid=20436 vsize=15144768 memory=28980 CPUtime=0.13 cores=1,3,5,7
/proc/20438/stat : 20438 (java) S 20436 20436 15592 0 -1 1077944320 5663 0 0 0 12 1 0 0 20 0 15 0 408012093 15508242432 7245 33554432000 4194304 4196468 140720385630064 140720385612608 139653941911287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
/proc/20438/statm: 3786192 7245 3154 1 0 3748377 0
[pid=20438/tid=20439] ppid=20436 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/20438/task/20439/stat : 20439 (java) R 20436 20436 15592 0 -1 4202560 3584 0 0 0 9 0 0 0 20 0 15 0 408012094 15508242432 7245 33554432000 4194304 4196468 140720385630064 139653946144064 139653941923222 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20440] ppid=20436 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20440/stat : 20440 (java) S 20436 20436 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408012094 15508242432 7245 33554432000 4194304 4196468 140720385630064 139653894531472 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20441] ppid=20436 vsize=15144768 memory=4123246735258470048 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20441/stat : 20441 (java) S 20436 20436 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408012094 15508242432 7245 33554432000 4194304 4196468 140720385630064 139653893478672 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20442] ppid=20436 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20442/stat : 20442 (java) S 20436 20436 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408012094 15508242432 7245 33554432000 4194304 4196468 140720385630064 139653892426384 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20443] ppid=20436 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20443/stat : 20443 (java) S 20436 20436 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408012094 15508242432 7245 33554432000 4194304 4196468 140720385630064 139653891373584 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20444] ppid=20436 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20444/stat : 20444 (java) S 20436 20436 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408012096 15508242432 7245 33554432000 4194304 4196468 140720385630064 139652815112816 139653941922434 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20445] ppid=20436 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20445/stat : 20445 (java) S 20436 20436 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408012096 15508242432 7245 33554432000 4194304 4196468 140720385630064 139652814058784 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20446] ppid=20436 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20446/stat : 20446 (java) S 20436 20436 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408012097 15508242432 7245 33554432000 4194304 4196468 140720385630064 139652813006448 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20447] ppid=20436 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20447/stat : 20447 (java) S 20436 20436 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408012099 15508242432 7245 33554432000 4194304 4196468 140720385630064 139652811954768 139653941929883 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20448] ppid=20436 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20448/stat : 20448 (java) R 20436 20436 15592 0 -1 4202560 443 0 0 0 0 0 0 0 20 0 15 0 408012099 15508242432 7245 33554432000 4194304 4196468 140720385630064 139652810893120 139653922356576 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20449] ppid=20436 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20449/stat : 20449 (java) R 20436 20436 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408012099 15508242432 7245 33554432000 4194304 4196468 140720385630064 139652809848816 139653941922434 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20450] ppid=20436 vsize=15144768 memory=140574805640832 CPUtime=0.02 cores=1,3,5,7
/proc/20438/task/20450/stat : 20450 (java) R 20436 20436 15592 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 15 0 408012099 15508242432 7245 33554432000 4194304 4196468 140720385630064 139652500380016 139653920849215 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20451] ppid=20436 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20451/stat : 20451 (java) S 20436 20436 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408012099 15508242432 7245 33554432000 4194304 4196468 140720385630064 139652499327456 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20452] ppid=20436 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20452/stat : 20452 (java) S 20436 20436 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408012099 15508242432 7245 33554432000 4194304 4196468 140720385630064 139652498275248 139653941922434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30428 KiB

[startup+0.212066 s]*
/proc/loadavg: 7.84 8.02 7.78 7/232 20452
/proc/meminfo: memFree=12871144/32770624 swapFree=66977612/67108860
[pid=20436] ppid=20433 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20436/stat : 20436 (xcsp3-exec) S 20433 20436 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408012093 115843072 362 33554432000 4194304 5098028 140732456991936 140732456990040 140261098250876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32407552 140732456993658 140732456993901 140732456993901 140732456996810 0
/proc/20436/statm: 28282 362 304 221 0 87 0
[pid=20438] ppid=20436 vsize=15144768 memory=41056 CPUtime=0.35 cores=1,3,5,7
/proc/20438/stat : 20438 (java) S 20436 20436 15592 0 -1 1077944320 9462 0 0 0 32 3 0 0 20 0 15 0 408012093 15508242432 10264 33554432000 4194304 4196468 140720385630064 140720385612608 139653941911287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
/proc/20438/statm: 3786192 10264 3316 1 0 3748377 0
[pid=20438/tid=20439] ppid=20436 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/20438/task/20439/stat : 20439 (java) R 20436 20436 15592 0 -1 4202560 6615 0 0 0 18 2 0 0 20 0 15 0 408012094 15508242432 10264 33554432000 4194304 4196468 140720385630064 139653946148048 139653941933213 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20440] ppid=20436 vsize=15144768 memory=1898157 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20440/stat : 20440 (java) S 20436 20436 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408012094 15508242432 10264 33554432000 4194304 4196468 140720385630064 139653894531472 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20441] ppid=20436 vsize=15144768 memory=140574808488867 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20441/stat : 20441 (java) S 20436 20436 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408012094 15508242432 10264 33554432000 4194304 4196468 140720385630064 139653893478672 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20442] ppid=20436 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20442/stat : 20442 (java) S 20436 20436 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408012094 15508242432 10264 33554432000 4194304 4196468 140720385630064 139653892426384 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20443] ppid=20436 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20443/stat : 20443 (java) S 20436 20436 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408012094 15508242432 10264 33554432000 4194304 4196468 140720385630064 139653891373584 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20444] ppid=20436 vsize=15144768 memory=140574805640832 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20444/stat : 20444 (java) S 20436 20436 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408012096 15508242432 10264 33554432000 4194304 4196468 140720385630064 139652815112816 139653941922434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20445] ppid=20436 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20445/stat : 20445 (java) S 20436 20436 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408012096 15508242432 10264 33554432000 4194304 4196468 140720385630064 139652814058784 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20446] ppid=20436 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20446/stat : 20446 (java) S 20436 20436 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408012097 15508242432 10264 33554432000 4194304 4196468 140720385630064 139652813006448 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20447] ppid=20436 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20447/stat : 20447 (java) S 20436 20436 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408012099 15508242432 10264 33554432000 4194304 4196468 140720385630064 139652811954768 139653941929883 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20448] ppid=20436 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/20438/task/20448/stat : 20448 (java) S 20436 20436 15592 0 -1 1077944384 669 0 0 0 3 0 0 0 20 0 15 0 408012099 15508242432 10264 33554432000 4194304 4196468 140720385630064 139652810901616 139653941922434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20449] ppid=20436 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/20438/task/20449/stat : 20449 (java) S 20436 20436 15592 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 15 0 408012099 15508242432 10264 33554432000 4194304 4196468 140720385630064 139652809848816 139653941922434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20450] ppid=20436 vsize=15144768 memory=140574805640832 CPUtime=0.08 cores=1,3,5,7
/proc/20438/task/20450/stat : 20450 (java) R 20436 20436 15592 0 -1 4202560 769 0 0 0 8 0 0 0 20 0 15 0 408012099 15508242432 10264 33554432000 4194304 4196468 140720385630064 139652500380016 139653941932634 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20451] ppid=20436 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20451/stat : 20451 (java) S 20436 20436 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408012099 15508242432 10264 33554432000 4194304 4196468 140720385630064 139652499327456 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20452] ppid=20436 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20452/stat : 20452 (java) S 20436 20436 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408012099 15508242432 10264 33554432000 4194304 4196468 140720385630064 139652498275248 139653941922434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42504 KiB

[startup+0.311834 s]*
/proc/loadavg: 7.84 8.02 7.78 9/232 20452
/proc/meminfo: memFree=12864356/32770624 swapFree=66977612/67108860
[pid=20436] ppid=20433 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20436/stat : 20436 (xcsp3-exec) S 20433 20436 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408012093 115843072 362 33554432000 4194304 5098028 140732456991936 140732456990040 140261098250876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32407552 140732456993658 140732456993901 140732456993901 140732456996810 0
/proc/20436/statm: 28282 362 304 221 0 87 0
[pid=20438] ppid=20436 vsize=15149024 memory=50044 CPUtime=0.53 cores=1,3,5,7
/proc/20438/stat : 20438 (java) S 20436 20436 15592 0 -1 1077944320 10867 0 0 0 49 4 0 0 20 0 15 0 408012093 15512600576 12511 33554432000 4194304 4196468 140720385630064 140720385612608 139653941911287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
/proc/20438/statm: 3787256 12511 3353 1 0 3748377 0
[pid=20438/tid=20439] ppid=20436 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/20438/task/20439/stat : 20439 (java) R 20436 20436 15592 0 -1 4202560 7797 0 0 0 27 3 0 0 20 0 15 0 408012094 15512600576 12511 33554432000 4194304 4196468 140720385630064 139653946142400 139653925991774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20440] ppid=20436 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20440/stat : 20440 (java) S 20436 20436 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408012094 15512600576 12576 33554432000 4194304 4196468 140720385630064 139653894531472 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20441] ppid=20436 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20441/stat : 20441 (java) S 20436 20436 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408012094 15512600576 12576 33554432000 4194304 4196468 140720385630064 139653893478672 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20442] ppid=20436 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20442/stat : 20442 (java) S 20436 20436 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408012094 15512600576 12576 33554432000 4194304 4196468 140720385630064 139653892426384 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20443] ppid=20436 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20443/stat : 20443 (java) S 20436 20436 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408012094 15512600576 12576 33554432000 4194304 4196468 140720385630064 139653891373584 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20444] ppid=20436 vsize=15149024 memory=-6945283279944138911 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20444/stat : 20444 (java) S 20436 20436 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408012096 15512600576 12576 33554432000 4194304 4196468 140720385630064 139652815112816 139653941922434 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20445] ppid=20436 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20445/stat : 20445 (java) S 20436 20436 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408012096 15512600576 12576 33554432000 4194304 4196468 140720385630064 139652814058784 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20446] ppid=20436 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20446/stat : 20446 (java) S 20436 20436 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408012097 15512600576 12576 33554432000 4194304 4196468 140720385630064 139652813006448 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20447] ppid=20436 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20447/stat : 20447 (java) S 20436 20436 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408012099 15512600576 12576 33554432000 4194304 4196468 140720385630064 139652811954768 139653941929883 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20448] ppid=20436 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/20438/task/20448/stat : 20448 (java) S 20436 20436 15592 0 -1 1077944384 695 0 0 0 4 0 0 0 20 0 15 0 408012099 15512600576 12576 33554432000 4194304 4196468 140720385630064 139652810901616 139653941922434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20449] ppid=20436 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/20438/task/20449/stat : 20449 (java) R 20436 20436 15592 0 -1 4202560 216 0 0 0 4 0 0 0 20 0 15 0 408012099 15512600576 12576 33554432000 4194304 4196468 140720385630064 139652809839200 139653920327602 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20450] ppid=20436 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/20438/task/20450/stat : 20450 (java) S 20436 20436 15592 0 -1 1077944384 864 0 0 0 12 0 0 0 20 0 15 0 408012099 15512600576 12576 33554432000 4194304 4196468 140720385630064 139652500380016 139653941922434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20451] ppid=20436 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20451/stat : 20451 (java) S 20436 20436 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408012099 15512600576 12576 33554432000 4194304 4196468 140720385630064 139652499327456 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20452] ppid=20436 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20452/stat : 20452 (java) S 20436 20436 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408012099 15512600576 12576 33554432000 4194304 4196468 140720385630064 139652498275248 139653941922434 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51492 KiB

[startup+0.703122 s]
/proc/loadavg: 7.84 8.02 7.78 9/232 20452
/proc/meminfo: memFree=12843296/32770624 swapFree=66977612/67108860
[pid=20436] ppid=20433 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20436/stat : 20436 (xcsp3-exec) S 20433 20436 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408012093 115843072 362 33554432000 4194304 5098028 140732456991936 140732456990040 140261098250876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32407552 140732456993658 140732456993901 140732456993901 140732456996810 0
/proc/20436/statm: 28282 362 304 221 0 87 0
[pid=20438] ppid=20436 vsize=15151148 memory=93656 CPUtime=1.8 cores=1,3,5,7
/proc/20438/stat : 20438 (java) S 20436 20436 15592 0 -1 1077944320 15692 0 0 0 173 7 0 0 20 0 15 0 408012093 15514775552 23414 33554432000 4194304 4196468 140720385630064 140720385612608 139653941911287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
/proc/20438/statm: 3787787 23414 3445 1 0 3748889 0
[pid=20438/tid=20439] ppid=20436 vsize=15151148 memory=-3704326594973231466 CPUtime=0.68 cores=1,3,5,7
/proc/20438/task/20439/stat : 20439 (java) R 20436 20436 15592 0 -1 4202560 8899 0 0 0 64 4 0 0 20 0 15 0 408012094 15514775552 23414 33554432000 4194304 4196468 140720385630064 139653946136624 139653925991774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20440] ppid=20436 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20440/stat : 20440 (java) S 20436 20436 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408012094 15514775552 23414 33554432000 4194304 4196468 140720385630064 139653894531472 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20441] ppid=20436 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20441/stat : 20441 (java) S 20436 20436 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408012094 15514775552 23414 33554432000 4194304 4196468 140720385630064 139653893478672 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20442] ppid=20436 vsize=15151148 memory=704 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20442/stat : 20442 (java) S 20436 20436 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408012094 15514775552 23414 33554432000 4194304 4196468 140720385630064 139653892426384 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20443] ppid=20436 vsize=15151148 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20443/stat : 20443 (java) S 20436 20436 15592 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408012094 15514775552 23414 33554432000 4194304 4196468 140720385630064 139653891373584 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20444] ppid=20436 vsize=15151148 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20444/stat : 20444 (java) S 20436 20436 15592 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408012096 15514775552 23414 33554432000 4194304 4196468 140720385630064 139652815112816 139653941922434 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20445] ppid=20436 vsize=15151148 memory=780 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20445/stat : 20445 (java) S 20436 20436 15592 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408012096 15514775552 23414 33554432000 4194304 4196468 140720385630064 139652814058784 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20446] ppid=20436 vsize=15151148 memory=3252 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20446/stat : 20446 (java) S 20436 20436 15592 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408012097 15514775552 23414 33554432000 4194304 4196468 140720385630064 139652813006448 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20447] ppid=20436 vsize=15151148 memory=1112 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20447/stat : 20447 (java) S 20436 20436 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408012099 15514775552 23414 33554432000 4194304 4196468 140720385630064 139652811954768 139653941929883 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20448] ppid=20436 vsize=15151148 memory=5952 CPUtime=0.35 cores=1,3,5,7
/proc/20438/task/20448/stat : 20448 (java) R 20436 20436 15592 0 -1 4202560 1895 0 0 0 35 0 0 0 20 0 15 0 408012099 15514775552 23414 33554432000 4194304 4196468 140720385630064 139652810881648 139653921604350 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20449] ppid=20436 vsize=15151148 memory=7552 CPUtime=0.32 cores=1,3,5,7
/proc/20438/task/20449/stat : 20449 (java) R 20436 20436 15592 0 -1 4202560 1135 0 0 0 32 0 0 0 20 0 15 0 408012099 15514775552 23414 33554432000 4194304 4196468 140720385630064 139652809847216 139653923428827 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20450] ppid=20436 vsize=15151148 memory=2832 CPUtime=0.41 cores=1,3,5,7
/proc/20438/task/20450/stat : 20450 (java) R 20436 20436 15592 0 -1 4202560 2457 0 0 0 41 0 0 0 20 0 15 0 408012099 15514775552 23414 33554432000 4194304 4196468 140720385630064 139652500377976 139653921321280 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20451] ppid=20436 vsize=15151148 memory=1084 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20451/stat : 20451 (java) S 20436 20436 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408012099 15514775552 23414 33554432000 4194304 4196468 140720385630064 139652499327456 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20452] ppid=20436 vsize=15151148 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20452/stat : 20452 (java) S 20436 20436 15592 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408012099 15514775552 23414 33554432000 4194304 4196468 140720385630064 139652498275248 139653941922434 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 95104 KiB

[startup+1.50762 s]
/proc/loadavg: 7.84 8.02 7.78 8/232 20452
/proc/meminfo: memFree=12770108/32770624 swapFree=66977612/67108860
[pid=20436] ppid=20433 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20436/stat : 20436 (xcsp3-exec) S 20433 20436 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408012093 115843072 362 33554432000 4194304 5098028 140732456991936 140732456990040 140261098250876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32407552 140732456993658 140732456993901 140732456993901 140732456996810 0
/proc/20436/statm: 28282 362 304 221 0 87 0

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

/proc/20438/task/20452/stat : 20452 (java) S 20436 20436 15592 0 -1 1077944384 415 0 0 0 0 1 0 0 20 0 19 0 408012099 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652498275248 139653941922434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20461] ppid=20436 vsize=15419452 memory=704 CPUtime=31.95 cores=1,3,5,7
/proc/20438/task/20461/stat : 20461 (java) R 20436 20436 15592 0 -1 4202560 301 0 0 0 3195 0 0 0 20 0 19 0 408012707 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652486151512 139653571542814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20462] ppid=20436 vsize=15419452 memory=1056 CPUtime=32.14 cores=1,3,5,7
/proc/20438/task/20462/stat : 20462 (java) R 20436 20436 15592 0 -1 4202560 1201 0 0 0 3214 0 0 0 20 0 19 0 408012707 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652487205432 139653570569923 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20463] ppid=20436 vsize=15419452 memory=248172 CPUtime=31.95 cores=1,3,5,7
/proc/20438/task/20463/stat : 20463 (java) R 20436 20436 15592 0 -1 4202560 257 0 0 0 3195 0 0 0 20 0 19 0 408012707 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652485100568 139653563781472 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20464] ppid=20436 vsize=15419452 memory=1448 CPUtime=31.87 cores=1,3,5,7
/proc/20438/task/20464/stat : 20464 (java) R 20436 20436 15592 0 -1 4202560 585 0 0 0 3187 0 0 0 20 0 19 0 408012707 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652484046520 139653570884592 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
Current children cumulated CPU time: 151.49 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 249620 KiB

[startup+39.2061 s]
/proc/loadavg: 8.11 8.06 7.80 9/236 20467
/proc/meminfo: memFree=12665904/32770624 swapFree=66977612/67108860
[pid=20436] ppid=20433 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20436/stat : 20436 (xcsp3-exec) S 20433 20436 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408012093 115843072 362 33554432000 4194304 5098028 140732456991936 140732456990040 140261098250876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32407552 140732456993658 140732456993901 140732456993901 140732456996810 0
/proc/20436/statm: 28282 362 304 221 0 87 0
[pid=20438] ppid=20436 vsize=15419452 memory=248172 CPUtime=154.68 cores=1,3,5,7
/proc/20438/stat : 20438 (java) S 20436 20436 15592 0 -1 1077944320 42706 0 0 0 15448 20 0 0 20 0 19 0 408012093 15789518848 62043 33554432000 4194304 4196468 140720385630064 140720385612608 139653941911287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
/proc/20438/statm: 3854863 62043 3537 1 0 3815965 0
[pid=20438/tid=20439] ppid=20436 vsize=15419452 memory=1 CPUtime=1.17 cores=1,3,5,7
/proc/20438/task/20439/stat : 20439 (java) S 20436 20436 15592 0 -1 1077944384 10171 0 0 0 111 6 0 0 20 0 19 0 408012094 15789518848 62043 33554432000 4194304 4196468 140720385630064 139653946152064 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20440] ppid=20436 vsize=15419452 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/20438/task/20440/stat : 20440 (java) S 20436 20436 15592 0 -1 1077944384 1958 0 0 0 4 1 0 0 20 0 19 0 408012094 15789518848 62043 33554432000 4194304 4196468 140720385630064 139653894531472 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20441] ppid=20436 vsize=15419452 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/20438/task/20441/stat : 20441 (java) S 20436 20436 15592 0 -1 1077944384 263 0 0 0 3 1 0 0 20 0 19 0 408012094 15789518848 62043 33554432000 4194304 4196468 140720385630064 139653893478672 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20442] ppid=20436 vsize=15419452 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/20438/task/20442/stat : 20442 (java) S 20436 20436 15592 0 -1 1077944384 2288 0 0 0 3 2 0 0 20 0 19 0 408012094 15789518848 62043 33554432000 4194304 4196468 140720385630064 139653892426384 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20443] ppid=20436 vsize=15419452 memory=2308 CPUtime=0.04 cores=1,3,5,7
/proc/20438/task/20443/stat : 20443 (java) S 20436 20436 15592 0 -1 1077944384 224 0 0 0 3 1 0 0 20 0 19 0 408012094 15789518848 62043 33554432000 4194304 4196468 140720385630064 139653891373584 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20444] ppid=20436 vsize=15419452 memory=4516 CPUtime=0.01 cores=1,3,5,7
/proc/20438/task/20444/stat : 20444 (java) S 20436 20436 15592 0 -1 1077944384 754 0 0 0 1 0 0 0 20 0 19 0 408012096 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652815112816 139653941922434 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20445] ppid=20436 vsize=15419452 memory=6724 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20445/stat : 20445 (java) S 20436 20436 15592 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 408012096 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652814058848 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20446] ppid=20436 vsize=15419452 memory=8932 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20446/stat : 20446 (java) S 20436 20436 15592 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 408012097 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652813006464 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20447] ppid=20436 vsize=15419452 memory=11140 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20447/stat : 20447 (java) S 20436 20436 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408012099 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652811954768 139653941929883 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20448] ppid=20436 vsize=15419452 memory=13348 CPUtime=2.68 cores=1,3,5,7
/proc/20438/task/20448/stat : 20448 (java) S 20436 20436 15592 0 -1 1077944384 7371 0 0 0 267 1 0 0 20 0 19 0 408012099 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652810901616 139653941922434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20449] ppid=20436 vsize=15419452 memory=15556 CPUtime=2.92 cores=1,3,5,7
/proc/20438/task/20449/stat : 20449 (java) S 20436 20436 15592 0 -1 1077944384 6819 0 0 0 291 1 0 0 20 0 19 0 408012099 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652809848816 139653941922434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20450] ppid=20436 vsize=15419452 memory=248172 CPUtime=1.01 cores=1,3,5,7
/proc/20438/task/20450/stat : 20450 (java) S 20436 20436 15592 0 -1 1077944384 7778 0 0 0 99 2 0 0 20 0 19 0 408012099 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652500380016 139653941922434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20451] ppid=20436 vsize=15419452 memory=8317482817917895235 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20451/stat : 20451 (java) S 20436 20436 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408012099 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652499327456 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20452] ppid=20436 vsize=15419452 memory=8317482817917895235 CPUtime=0.01 cores=1,3,5,7
/proc/20438/task/20452/stat : 20452 (java) S 20436 20436 15592 0 -1 1077944384 415 0 0 0 0 1 0 0 20 0 19 0 408012099 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652498275248 139653941922434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20461] ppid=20436 vsize=15419452 memory=1448 CPUtime=32.76 cores=1,3,5,7
/proc/20438/task/20461/stat : 20461 (java) R 20436 20436 15592 0 -1 4202560 301 0 0 0 3276 0 0 0 20 0 19 0 408012707 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652486151512 139653570262554 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20462] ppid=20436 vsize=15419452 memory=3616 CPUtime=32.94 cores=1,3,5,7
/proc/20438/task/20462/stat : 20462 (java) R 20436 20436 15592 0 -1 4202560 1204 0 0 0 3294 0 0 0 20 0 19 0 408012707 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652487205432 139653566503111 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20463] ppid=20436 vsize=15419452 memory=38128 CPUtime=32.75 cores=1,3,5,7
/proc/20438/task/20463/stat : 20463 (java) R 20436 20436 15592 0 -1 4202560 258 0 0 0 3275 0 0 0 20 0 19 0 408012707 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652485100568 139653570474976 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20464] ppid=20436 vsize=15419452 memory=988 CPUtime=32.66 cores=1,3,5,7
/proc/20438/task/20464/stat : 20464 (java) R 20436 20436 15592 0 -1 4202560 587 0 0 0 3266 0 0 0 20 0 19 0 408012707 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652484046520 139653566503198 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
Current children cumulated CPU time: 154.68 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 249620 KiB

[startup+39.6011 s]
/proc/loadavg: 8.11 8.06 7.80 9/236 20467
/proc/meminfo: memFree=12665904/32770624 swapFree=66977612/67108860
[pid=20436] ppid=20433 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20436/stat : 20436 (xcsp3-exec) S 20433 20436 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408012093 115843072 362 33554432000 4194304 5098028 140732456991936 140732456990040 140261098250876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32407552 140732456993658 140732456993901 140732456993901 140732456996810 0
/proc/20436/statm: 28282 362 304 221 0 87 0
[pid=20438] ppid=20436 vsize=15419452 memory=248172 CPUtime=156.26 cores=1,3,5,7
/proc/20438/stat : 20438 (java) S 20436 20436 15592 0 -1 1077944320 42708 0 0 0 15606 20 0 0 20 0 19 0 408012093 15789518848 62043 33554432000 4194304 4196468 140720385630064 140720385612608 139653941911287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
/proc/20438/statm: 3854863 62043 3537 1 0 3815965 0
[pid=20438/tid=20439] ppid=20436 vsize=15419452 memory=6791534058613427641 CPUtime=1.17 cores=1,3,5,7
/proc/20438/task/20439/stat : 20439 (java) S 20436 20436 15592 0 -1 1077944384 10171 0 0 0 111 6 0 0 20 0 19 0 408012094 15789518848 62043 33554432000 4194304 4196468 140720385630064 139653946152064 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20440] ppid=20436 vsize=15419452 memory=38128 CPUtime=0.05 cores=1,3,5,7
/proc/20438/task/20440/stat : 20440 (java) S 20436 20436 15592 0 -1 1077944384 1958 0 0 0 4 1 0 0 20 0 19 0 408012094 15789518848 62043 33554432000 4194304 4196468 140720385630064 139653894531472 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20441] ppid=20436 vsize=15419452 memory=988 CPUtime=0.04 cores=1,3,5,7
/proc/20438/task/20441/stat : 20441 (java) S 20436 20436 15592 0 -1 1077944384 263 0 0 0 3 1 0 0 20 0 19 0 408012094 15789518848 62043 33554432000 4194304 4196468 140720385630064 139653893478672 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20442] ppid=20436 vsize=15419452 memory=2004 CPUtime=0.05 cores=1,3,5,7
/proc/20438/task/20442/stat : 20442 (java) S 20436 20436 15592 0 -1 1077944384 2288 0 0 0 3 2 0 0 20 0 19 0 408012094 15789518848 62043 33554432000 4194304 4196468 140720385630064 139653892426384 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20443] ppid=20436 vsize=15419452 memory=1428 CPUtime=0.04 cores=1,3,5,7
/proc/20438/task/20443/stat : 20443 (java) S 20436 20436 15592 0 -1 1077944384 224 0 0 0 3 1 0 0 20 0 19 0 408012094 15789518848 62043 33554432000 4194304 4196468 140720385630064 139653891373584 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20444] ppid=20436 vsize=15419452 memory=1724 CPUtime=0.01 cores=1,3,5,7
/proc/20438/task/20444/stat : 20444 (java) S 20436 20436 15592 0 -1 1077944384 754 0 0 0 1 0 0 0 20 0 19 0 408012096 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652815112816 139653941922434 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20445] ppid=20436 vsize=15419452 memory=704 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20445/stat : 20445 (java) S 20436 20436 15592 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 408012096 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652814058848 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20446] ppid=20436 vsize=15419452 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20446/stat : 20446 (java) S 20436 20436 15592 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 408012097 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652813006464 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20447] ppid=20436 vsize=15419452 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20447/stat : 20447 (java) S 20436 20436 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408012099 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652811954768 139653941929883 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20448] ppid=20436 vsize=15419452 memory=780 CPUtime=2.68 cores=1,3,5,7
/proc/20438/task/20448/stat : 20448 (java) S 20436 20436 15592 0 -1 1077944384 7371 0 0 0 267 1 0 0 20 0 19 0 408012099 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652810901616 139653941922434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20449] ppid=20436 vsize=15419452 memory=3252 CPUtime=2.92 cores=1,3,5,7
/proc/20438/task/20449/stat : 20449 (java) S 20436 20436 15592 0 -1 1077944384 6819 0 0 0 291 1 0 0 20 0 19 0 408012099 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652809848816 139653941922434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20450] ppid=20436 vsize=15419452 memory=1112 CPUtime=1.01 cores=1,3,5,7
/proc/20438/task/20450/stat : 20450 (java) S 20436 20436 15592 0 -1 1077944384 7778 0 0 0 99 2 0 0 20 0 19 0 408012099 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652500380016 139653941922434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20451] ppid=20436 vsize=15419452 memory=5952 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20451/stat : 20451 (java) S 20436 20436 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408012099 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652499327456 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20452] ppid=20436 vsize=15419452 memory=7552 CPUtime=0.01 cores=1,3,5,7
/proc/20438/task/20452/stat : 20452 (java) S 20436 20436 15592 0 -1 1077944384 415 0 0 0 0 1 0 0 20 0 19 0 408012099 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652498275248 139653941922434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20461] ppid=20436 vsize=15419452 memory=2832 CPUtime=33.15 cores=1,3,5,7
/proc/20438/task/20461/stat : 20461 (java) R 20436 20436 15592 0 -1 4202560 302 0 0 0 3315 0 0 0 20 0 19 0 408012707 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652486151512 139653569871072 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20462] ppid=20436 vsize=15419452 memory=1084 CPUtime=33.34 cores=1,3,5,7
/proc/20438/task/20462/stat : 20462 (java) R 20436 20436 15592 0 -1 4202560 1204 0 0 0 3334 0 0 0 20 0 19 0 408012707 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652487205432 139653569864680 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20463] ppid=20436 vsize=15419452 memory=140574805639777 CPUtime=33.14 cores=1,3,5,7
/proc/20438/task/20463/stat : 20463 (java) R 20436 20436 15592 0 -1 4202560 258 0 0 0 3314 0 0 0 20 0 19 0 408012707 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652485100568 139653570473521 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20464] ppid=20436 vsize=15419452 memory=1898393 CPUtime=33.05 cores=1,3,5,7
/proc/20438/task/20464/stat : 20464 (java) R 20436 20436 15592 0 -1 4202560 588 0 0 0 3305 0 0 0 20 0 19 0 408012707 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652484046520 139653570262938 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
Current children cumulated CPU time: 156.26 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 249620 KiB

[startup+39.7011 s]
/proc/loadavg: 8.11 8.06 7.80 9/236 20467
/proc/meminfo: memFree=12665904/32770624 swapFree=66977612/67108860
[pid=20436] ppid=20433 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20436/stat : 20436 (xcsp3-exec) S 20433 20436 15592 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408012093 115843072 362 33554432000 4194304 5098028 140732456991936 140732456990040 140261098250876 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32407552 140732456993658 140732456993901 140732456993901 140732456996810 0
/proc/20436/statm: 28282 362 304 221 0 87 0
[pid=20438] ppid=20436 vsize=15419452 memory=248172 CPUtime=156.66 cores=1,3,5,7
/proc/20438/stat : 20438 (java) S 20436 20436 15592 0 -1 1077944320 42709 0 0 0 15646 20 0 0 20 0 19 0 408012093 15789518848 62043 33554432000 4194304 4196468 140720385630064 140720385612608 139653941911287 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
/proc/20438/statm: 3854863 62043 3537 1 0 3815965 0
[pid=20438/tid=20439] ppid=20436 vsize=15419452 memory=248172 CPUtime=1.17 cores=1,3,5,7
/proc/20438/task/20439/stat : 20439 (java) S 20436 20436 15592 0 -1 1077944384 10171 0 0 0 111 6 0 0 20 0 19 0 408012094 15789518848 62043 33554432000 4194304 4196468 140720385630064 139653946152064 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20440] ppid=20436 vsize=15419452 memory=1448 CPUtime=0.05 cores=1,3,5,7
/proc/20438/task/20440/stat : 20440 (java) S 20436 20436 15592 0 -1 1077944384 1958 0 0 0 4 1 0 0 20 0 19 0 408012094 15789518848 62043 33554432000 4194304 4196468 140720385630064 139653894531472 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20441] ppid=20436 vsize=15419452 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/20438/task/20441/stat : 20441 (java) S 20436 20436 15592 0 -1 1077944384 263 0 0 0 3 1 0 0 20 0 19 0 408012094 15789518848 62043 33554432000 4194304 4196468 140720385630064 139653893478672 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20442] ppid=20436 vsize=15419452 memory=1448 CPUtime=0.05 cores=1,3,5,7
/proc/20438/task/20442/stat : 20442 (java) S 20436 20436 15592 0 -1 1077944384 2288 0 0 0 3 2 0 0 20 0 19 0 408012094 15789518848 62043 33554432000 4194304 4196468 140720385630064 139653892426384 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20443] ppid=20436 vsize=15419452 memory=1448 CPUtime=0.04 cores=1,3,5,7
/proc/20438/task/20443/stat : 20443 (java) S 20436 20436 15592 0 -1 1077944384 224 0 0 0 3 1 0 0 20 0 19 0 408012094 15789518848 62043 33554432000 4194304 4196468 140720385630064 139653891373584 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20444] ppid=20436 vsize=15419452 memory=1448 CPUtime=0.01 cores=1,3,5,7
/proc/20438/task/20444/stat : 20444 (java) S 20436 20436 15592 0 -1 1077944384 754 0 0 0 1 0 0 0 20 0 19 0 408012096 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652815112816 139653941922434 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20445] ppid=20436 vsize=15419452 memory=235836 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20445/stat : 20445 (java) S 20436 20436 15592 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 408012096 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652814058848 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20446] ppid=20436 vsize=15419452 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20446/stat : 20446 (java) S 20436 20436 15592 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 408012097 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652813006464 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20447] ppid=20436 vsize=15419452 memory=248172 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20447/stat : 20447 (java) S 20436 20436 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408012099 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652811954768 139653941929883 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20448] ppid=20436 vsize=15419452 memory=14012 CPUtime=2.68 cores=1,3,5,7
/proc/20438/task/20448/stat : 20448 (java) S 20436 20436 15592 0 -1 1077944384 7371 0 0 0 267 1 0 0 20 0 19 0 408012099 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652810901616 139653941922434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20449] ppid=20436 vsize=15419452 memory=14048 CPUtime=2.92 cores=1,3,5,7
/proc/20438/task/20449/stat : 20449 (java) S 20436 20436 15592 0 -1 1077944384 6819 0 0 0 291 1 0 0 20 0 19 0 408012099 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652809848816 139653941922434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20450] ppid=20436 vsize=15419452 memory=0 CPUtime=1.01 cores=1,3,5,7
/proc/20438/task/20450/stat : 20450 (java) S 20436 20436 15592 0 -1 1077944384 7778 0 0 0 99 2 0 0 20 0 19 0 408012099 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652500380016 139653941922434 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20451] ppid=20436 vsize=15419452 memory=7163650687197799784 CPUtime=0 cores=1,3,5,7
/proc/20438/task/20451/stat : 20451 (java) S 20436 20436 15592 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408012099 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652499327456 139653941921493 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20452] ppid=20436 vsize=15419452 memory=796 CPUtime=0.01 cores=1,3,5,7
/proc/20438/task/20452/stat : 20452 (java) R 20436 20436 15592 0 -1 1077944384 415 0 0 0 0 1 0 0 20 0 19 0 408012099 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652498275248 139653941922434 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20461] ppid=20436 vsize=15419452 memory=1804 CPUtime=33.25 cores=1,3,5,7
/proc/20438/task/20461/stat : 20461 (java) R 20436 20436 15592 0 -1 4202560 302 0 0 0 3325 0 0 0 20 0 19 0 408012707 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652486151512 139653571544359 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20462] ppid=20436 vsize=15419452 memory=1448 CPUtime=33.44 cores=1,3,5,7
/proc/20438/task/20462/stat : 20462 (java) R 20436 20436 15592 0 -1 4202560 1204 0 0 0 3344 0 0 0 20 0 19 0 408012707 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652487205432 139653570263343 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20463] ppid=20436 vsize=15419452 memory=1448 CPUtime=33.24 cores=1,3,5,7
/proc/20438/task/20463/stat : 20463 (java) R 20436 20436 15592 0 -1 4202560 258 0 0 0 3324 0 0 0 20 0 19 0 408012707 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652485100568 139653570568259 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
[pid=20438/tid=20464] ppid=20436 vsize=15419452 memory=248172 CPUtime=33.15 cores=1,3,5,7
/proc/20438/task/20464/stat : 20464 (java) R 20436 20436 15592 0 -1 4202560 589 0 0 0 3315 0 0 0 20 0 19 0 408012707 15789518848 62043 33554432000 4194304 4196468 140720385630064 139652484046520 139653570884737 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14413824 140720385631215 140720385631386 140720385631386 140720385634255 0
Current children cumulated CPU time: 156.66 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 249620 KiB

Child status: 0
Real time (s): 39.7615
CPU time (s): 156.88
CPU user time (s): 156.67
CPU system time (s): 0.209859
CPU usage (%): 394.553
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 249620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 156.67
system time used= 0.209859
maximum resident set size= 249636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43869
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3542
involuntary context switches= 4263


# summary of solver processes directly reported to runsolver:
#   pid: 20436
#   total CPU time (s): 156.88
#   total CPU user time (s): 156.67
#   total CPU system time (s): 0.209859

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.252514 second user time and 0.517734 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.5267
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 4393362

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