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-09-16	OPT	14	151.006	38.3122

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399322-1568696095.xml"  -tl '2520s' -p 4
0.13/0.19	c Choco e747e1e
0.13/0.20	c [HOME/instance-4399322-1568696095.xml, -tl, 2520s, -p, 4]
0.34/0.24	c 4 solvers in parallel
0.34/0.31	c parse instance...
3.44/1.28	c solve instance...
19.63/5.31	o 15 
20.85/5.64	o 14 
150.98/38.30	s OPTIMUM FOUND
150.98/38.30	v <instantiation>
150.98/38.30	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>
150.98/38.30	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>
150.98/38.30	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: 16375 MiB (14422 MiB free)
  memory of node 1: 16384 MiB (15258 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399322-1568696095/watcher-4399322-1568696095 -o /tmp/evaluation-result-4399322-1568696095/solver-4399322-1568696095 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568694541-4847 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1686088192 HOME/instance-4399322-1568696095.xml 

running on 4 cores: 0-3

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=6392, runsolver pid=6389
Starting watchdog thread
Current StackSize limit: 8192 KiB


[startup+0.104862 s]*
/proc/loadavg: 8.14 8.35 7.06 6/233 6408
/proc/meminfo: memFree=30376904/32770688 swapFree=66961208/67108860
[pid=6392] ppid=6389 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/6392/stat : 6392 (xcsp3-exec) S 6389 6392 4816 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445551148 115843072 363 33554432000 4194304 5098028 140735042988176 140735042986280 140460207927932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28749824 140735042990970 140735042991213 140735042991213 140735042994122 0
/proc/6392/statm: 28282 363 304 221 0 87 0
[pid=6394] ppid=6392 vsize=15144776 memory=29376 CPUtime=0.13 cores=0-3
/proc/6394/stat : 6394 (java) S 6392 6392 4816 0 -1 1077944320 5808 0 0 0 11 2 0 0 20 0 15 0 445551148 15508250624 7344 33554432000 4194304 4196468 140732169858928 140732169841472 140616963436279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
/proc/6394/statm: 3786194 7344 3121 1 0 3748377 0
[pid=6394/tid=6395] ppid=6392 vsize=15144776 memory=8252428994737482315 CPUtime=0.1 cores=0-3
/proc/6394/task/6395/stat : 6395 (java) R 6392 6392 4816 0 -1 4202560 3734 0 0 0 9 1 0 0 20 0 15 0 445551148 15508250624 7344 33554432000 4194304 4196468 140732169858928 140616967668192 140616963448214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6396] ppid=6392 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0-3
/proc/6394/task/6396/stat : 6396 (java) S 6392 6392 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445551149 15508250624 7344 33554432000 4194304 4196468 140732169858928 140616899672976 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6397] ppid=6392 vsize=15144776 memory=140233726015104 CPUtime=0 cores=0-3
/proc/6394/task/6397/stat : 6397 (java) S 6392 6392 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445551149 15508250624 7344 33554432000 4194304 4196468 140732169858928 140616898620176 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6398] ppid=6392 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/6394/task/6398/stat : 6398 (java) S 6392 6392 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445551149 15508250624 7344 33554432000 4194304 4196468 140732169858928 140616897567888 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6399] ppid=6392 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/6394/task/6399/stat : 6399 (java) S 6392 6392 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445551149 15508250624 7344 33554432000 4194304 4196468 140732169858928 140616896515088 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6400] ppid=6392 vsize=15144776 memory=140233726015104 CPUtime=0 cores=0-3
/proc/6394/task/6400/stat : 6400 (java) S 6392 6392 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445551151 15508250624 7344 33554432000 4194304 4196468 140732169858928 140616038774896 140616963447426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6401] ppid=6392 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/6394/task/6401/stat : 6401 (java) S 6392 6392 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445551151 15508250624 7344 33554432000 4194304 4196468 140732169858928 140616037720864 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6402] ppid=6392 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/6394/task/6402/stat : 6402 (java) S 6392 6392 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445551151 15508250624 7344 33554432000 4194304 4196468 140732169858928 140616036668528 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6403] ppid=6392 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/6394/task/6403/stat : 6403 (java) S 6392 6392 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445551154 15508250624 7344 33554432000 4194304 4196468 140732169858928 140616035616848 140616963454875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6404] ppid=6392 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/6394/task/6404/stat : 6404 (java) S 6392 6392 4816 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 445551154 15508250624 7344 33554432000 4194304 4196468 140732169858928 140616034564720 140616963447426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6405] ppid=6392 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/6394/task/6405/stat : 6405 (java) S 6392 6392 4816 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 445551154 15508250624 7344 33554432000 4194304 4196468 140732169858928 140616033511920 140616963447426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6406] ppid=6392 vsize=15144776 memory=140233726015104 CPUtime=0.01 cores=0-3
/proc/6394/task/6406/stat : 6406 (java) R 6392 6392 4816 0 -1 4202560 355 0 0 0 1 0 0 0 20 0 15 0 445551154 15508250624 7344 33554432000 4194304 4196468 140732169858928 140616032459632 140616942396302 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6407] ppid=6392 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/6394/task/6407/stat : 6407 (java) S 6392 6392 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445551154 15508250624 7344 33554432000 4194304 4196468 140732169858928 140616031407072 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6408] ppid=6392 vsize=15144776 memory=140233726015104 CPUtime=0 cores=0-3
/proc/6394/task/6408/stat : 6408 (java) S 6392 6392 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445551155 15508250624 7344 33554432000 4194304 4196468 140732169858928 140616030353840 140616963447426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30828 KiB

[startup+0.211615 s]*
/proc/loadavg: 8.14 8.35 7.06 6/233 6408
/proc/meminfo: memFree=30365988/32770688 swapFree=66961208/67108860
[pid=6392] ppid=6389 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/6392/stat : 6392 (xcsp3-exec) S 6389 6392 4816 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445551148 115843072 363 33554432000 4194304 5098028 140735042988176 140735042986280 140460207927932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28749824 140735042990970 140735042991213 140735042991213 140735042994122 0
/proc/6392/statm: 28282 363 304 221 0 87 0
[pid=6394] ppid=6392 vsize=15144776 memory=40496 CPUtime=0.34 cores=0-3
/proc/6394/stat : 6394 (java) S 6392 6392 4816 0 -1 1077944320 9380 0 0 0 30 4 0 0 20 0 15 0 445551148 15508250624 10124 33554432000 4194304 4196468 140732169858928 140732169841472 140616963436279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
/proc/6394/statm: 3786194 10124 3270 1 0 3748377 0
[pid=6394/tid=6395] ppid=6392 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0-3
/proc/6394/task/6395/stat : 6395 (java) R 6392 6392 4816 0 -1 4202560 6591 0 0 0 18 2 0 0 20 0 15 0 445551148 15508250624 10124 33554432000 4194304 4196468 140732169858928 140616967671760 140616963448214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6396] ppid=6392 vsize=15144776 memory=9642 CPUtime=0 cores=0-3
/proc/6394/task/6396/stat : 6396 (java) S 6392 6392 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445551149 15508250624 10124 33554432000 4194304 4196468 140732169858928 140616899672976 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6397] ppid=6392 vsize=15144776 memory=2953913 CPUtime=0 cores=0-3
/proc/6394/task/6397/stat : 6397 (java) S 6392 6392 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445551149 15508250624 10124 33554432000 4194304 4196468 140732169858928 140616898620176 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6398] ppid=6392 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/6394/task/6398/stat : 6398 (java) S 6392 6392 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445551149 15508250624 10124 33554432000 4194304 4196468 140732169858928 140616897567888 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6399] ppid=6392 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/6394/task/6399/stat : 6399 (java) S 6392 6392 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445551149 15508250624 10124 33554432000 4194304 4196468 140732169858928 140616896515088 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6400] ppid=6392 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/6394/task/6400/stat : 6400 (java) S 6392 6392 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445551151 15508250624 10124 33554432000 4194304 4196468 140732169858928 140616038774896 140616963447426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6401] ppid=6392 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/6394/task/6401/stat : 6401 (java) S 6392 6392 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445551151 15508250624 10124 33554432000 4194304 4196468 140732169858928 140616037720864 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6402] ppid=6392 vsize=15144776 memory=140233726015104 CPUtime=0 cores=0-3
/proc/6394/task/6402/stat : 6402 (java) S 6392 6392 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445551151 15508250624 10124 33554432000 4194304 4196468 140732169858928 140616036668528 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6403] ppid=6392 vsize=15144776 memory=-1 CPUtime=0 cores=0-3
/proc/6394/task/6403/stat : 6403 (java) S 6392 6392 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445551154 15508250624 10124 33554432000 4194304 4196468 140732169858928 140616035616848 140616963454875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6404] ppid=6392 vsize=15144776 memory=0 CPUtime=0.01 cores=0-3
/proc/6394/task/6404/stat : 6404 (java) S 6392 6392 4816 0 -1 1077944384 366 0 0 0 1 0 0 0 20 0 15 0 445551154 15508250624 10124 33554432000 4194304 4196468 140732169858928 140616034564720 140616963447426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6405] ppid=6392 vsize=15144776 memory=-1 CPUtime=0.03 cores=0-3
/proc/6394/task/6405/stat : 6405 (java) S 6392 6392 4816 0 -1 1077944384 366 0 0 0 3 0 0 0 20 0 15 0 445551154 15508250624 10124 33554432000 4194304 4196468 140732169858928 140616033511920 140616963447426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6406] ppid=6392 vsize=15144776 memory=0 CPUtime=0.07 cores=0-3
/proc/6394/task/6406/stat : 6406 (java) R 6392 6392 4816 0 -1 4202560 754 0 0 0 7 0 0 0 20 0 15 0 445551154 15508250624 10124 33554432000 4194304 4196468 140732169858928 140616032459632 140616947516766 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6407] ppid=6392 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/6394/task/6407/stat : 6407 (java) S 6392 6392 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445551154 15508250624 10124 33554432000 4194304 4196468 140732169858928 140616031407072 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6408] ppid=6392 vsize=15144776 memory=0 CPUtime=0 cores=0-3
/proc/6394/task/6408/stat : 6408 (java) S 6392 6392 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445551155 15508250624 10124 33554432000 4194304 4196468 140732169858928 140616030353840 140616963447426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41948 KiB

[startup+0.311679 s]*
/proc/loadavg: 8.14 8.35 7.06 6/233 6408
/proc/meminfo: memFree=30360484/32770688 swapFree=66961208/67108860
[pid=6392] ppid=6389 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/6392/stat : 6392 (xcsp3-exec) S 6389 6392 4816 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445551148 115843072 363 33554432000 4194304 5098028 140735042988176 140735042986280 140460207927932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28749824 140735042990970 140735042991213 140735042991213 140735042994122 0
/proc/6392/statm: 28282 363 304 221 0 87 0
[pid=6394] ppid=6392 vsize=15149032 memory=46644 CPUtime=0.51 cores=0-3
/proc/6394/stat : 6394 (java) S 6392 6392 4816 0 -1 1077944320 10501 0 0 0 47 4 0 0 20 0 15 0 445551148 15512608768 11661 33554432000 4194304 4196468 140732169858928 140732169841472 140616963436279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
/proc/6394/statm: 3787258 11661 3325 1 0 3748377 0
[pid=6394/tid=6395] ppid=6392 vsize=15149032 memory=7883960649037381690 CPUtime=0.29 cores=0-3
/proc/6394/task/6395/stat : 6395 (java) R 6392 6392 4816 0 -1 4202560 7589 0 0 0 27 2 0 0 20 0 15 0 445551148 15512608768 11661 33554432000 4194304 4196468 140732169858928 140616967648688 140616947516766 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6396] ppid=6392 vsize=15149032 memory=0 CPUtime=0 cores=0-3
/proc/6394/task/6396/stat : 6396 (java) S 6392 6392 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445551149 15512608768 11661 33554432000 4194304 4196468 140732169858928 140616899672976 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6397] ppid=6392 vsize=15149032 memory=3290924 CPUtime=0 cores=0-3
/proc/6394/task/6397/stat : 6397 (java) S 6392 6392 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445551149 15512608768 11661 33554432000 4194304 4196468 140732169858928 140616898620176 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6398] ppid=6392 vsize=15149032 memory=0 CPUtime=0 cores=0-3
/proc/6394/task/6398/stat : 6398 (java) S 6392 6392 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445551149 15512608768 11661 33554432000 4194304 4196468 140732169858928 140616897567888 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6399] ppid=6392 vsize=15149032 memory=-1 CPUtime=0 cores=0-3
/proc/6394/task/6399/stat : 6399 (java) S 6392 6392 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445551149 15512608768 11661 33554432000 4194304 4196468 140732169858928 140616896515088 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6400] ppid=6392 vsize=15149032 memory=140233726015104 CPUtime=0 cores=0-3
/proc/6394/task/6400/stat : 6400 (java) S 6392 6392 4816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445551151 15512608768 11661 33554432000 4194304 4196468 140732169858928 140616038774896 140616963447426 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6401] ppid=6392 vsize=15149032 memory=-1 CPUtime=0 cores=0-3
/proc/6394/task/6401/stat : 6401 (java) S 6392 6392 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445551151 15512608768 11661 33554432000 4194304 4196468 140732169858928 140616037720864 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6402] ppid=6392 vsize=15149032 memory=0 CPUtime=0 cores=0-3
/proc/6394/task/6402/stat : 6402 (java) S 6392 6392 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445551151 15512608768 11661 33554432000 4194304 4196468 140732169858928 140616036668528 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6403] ppid=6392 vsize=15149032 memory=0 CPUtime=0 cores=0-3
/proc/6394/task/6403/stat : 6403 (java) S 6392 6392 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445551154 15512608768 11661 33554432000 4194304 4196468 140732169858928 140616035616848 140616963454875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6404] ppid=6392 vsize=15149032 memory=0 CPUtime=0.03 cores=0-3
/proc/6394/task/6404/stat : 6404 (java) S 6392 6392 4816 0 -1 1077944384 406 0 0 0 3 0 0 0 20 0 15 0 445551154 15512608768 11661 33554432000 4194304 4196468 140732169858928 140616034564720 140616963447426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6405] ppid=6392 vsize=15149032 memory=-1 CPUtime=0.04 cores=0-3
/proc/6394/task/6405/stat : 6405 (java) S 6392 6392 4816 0 -1 1077944384 372 0 0 0 4 0 0 0 20 0 15 0 445551154 15512608768 11661 33554432000 4194304 4196468 140732169858928 140616033511920 140616963447426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6406] ppid=6392 vsize=15149032 memory=140233726015104 CPUtime=0.12 cores=0-3
/proc/6394/task/6406/stat : 6406 (java) S 6392 6392 4816 0 -1 1077944384 832 0 0 0 12 0 0 0 20 0 15 0 445551154 15512608768 11661 33554432000 4194304 4196468 140732169858928 140616032459632 140616963447426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6407] ppid=6392 vsize=15149032 memory=-1 CPUtime=0 cores=0-3
/proc/6394/task/6407/stat : 6407 (java) S 6392 6392 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445551154 15512608768 11661 33554432000 4194304 4196468 140732169858928 140616031407072 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6408] ppid=6392 vsize=15149032 memory=140233726015104 CPUtime=0 cores=0-3
/proc/6394/task/6408/stat : 6408 (java) S 6392 6392 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445551155 15512608768 11661 33554432000 4194304 4196468 140732169858928 140616030353840 140616963447426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 48096 KiB

[startup+0.700837 s]
/proc/loadavg: 8.14 8.35 7.06 7/233 6408
/proc/meminfo: memFree=30343116/32770688 swapFree=66961208/67108860
[pid=6392] ppid=6389 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/6392/stat : 6392 (xcsp3-exec) S 6389 6392 4816 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445551148 115843072 363 33554432000 4194304 5098028 140735042988176 140735042986280 140460207927932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28749824 140735042990970 140735042991213 140735042991213 140735042994122 0
/proc/6392/statm: 28282 363 304 221 0 87 0
[pid=6394] ppid=6392 vsize=15151156 memory=88816 CPUtime=1.72 cores=0-3
/proc/6394/stat : 6394 (java) S 6392 6392 4816 0 -1 1077944320 15454 0 0 0 166 6 0 0 20 0 15 0 445551148 15514783744 22204 33554432000 4194304 4196468 140732169858928 140732169841472 140616963436279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
/proc/6394/statm: 3787789 22204 3445 1 0 3748889 0
[pid=6394/tid=6395] ppid=6392 vsize=15151156 memory=2120 CPUtime=0.67 cores=0-3
/proc/6394/task/6395/stat : 6395 (java) R 6392 6392 4816 0 -1 4202560 8823 0 0 0 64 3 0 0 20 0 15 0 445551148 15514783744 22204 33554432000 4194304 4196468 140732169858928 140616967673440 140616947543410 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6396] ppid=6392 vsize=15151156 memory=496 CPUtime=0 cores=0-3
/proc/6394/task/6396/stat : 6396 (java) S 6392 6392 4816 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445551149 15514783744 22204 33554432000 4194304 4196468 140732169858928 140616899672976 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6397] ppid=6392 vsize=15151156 memory=1556 CPUtime=0 cores=0-3
/proc/6394/task/6397/stat : 6397 (java) S 6392 6392 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445551149 15514783744 22204 33554432000 4194304 4196468 140732169858928 140616898620176 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6398] ppid=6392 vsize=15151156 memory=928 CPUtime=0 cores=0-3
/proc/6394/task/6398/stat : 6398 (java) S 6392 6392 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445551149 15514783744 22204 33554432000 4194304 4196468 140732169858928 140616897567888 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6399] ppid=6392 vsize=15151156 memory=1628 CPUtime=0 cores=0-3
/proc/6394/task/6399/stat : 6399 (java) S 6392 6392 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445551149 15514783744 22204 33554432000 4194304 4196468 140732169858928 140616896515088 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6400] ppid=6392 vsize=15151156 memory=796 CPUtime=0 cores=0-3
/proc/6394/task/6400/stat : 6400 (java) S 6392 6392 4816 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445551151 15514783744 22204 33554432000 4194304 4196468 140732169858928 140616038774896 140616963447426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6401] ppid=6392 vsize=15151156 memory=1444 CPUtime=0 cores=0-3
/proc/6394/task/6401/stat : 6401 (java) S 6392 6392 4816 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445551151 15514783744 22204 33554432000 4194304 4196468 140732169858928 140616037720864 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6402] ppid=6392 vsize=15151156 memory=1984 CPUtime=0 cores=0-3
/proc/6394/task/6402/stat : 6402 (java) S 6392 6392 4816 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445551151 15514783744 22204 33554432000 4194304 4196468 140732169858928 140616036668528 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6403] ppid=6392 vsize=15151156 memory=2424 CPUtime=0 cores=0-3
/proc/6394/task/6403/stat : 6403 (java) S 6392 6392 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445551154 15514783744 22204 33554432000 4194304 4196468 140732169858928 140616035616848 140616963454875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6404] ppid=6392 vsize=15151156 memory=7302135314614015844 CPUtime=0.27 cores=0-3
/proc/6394/task/6404/stat : 6404 (java) R 6392 6392 4816 0 -1 4202560 1593 0 0 0 27 0 0 0 20 0 15 0 445551154 15514783744 22204 33554432000 4194304 4196468 140732169858928 140616034550744 140616944981627 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6405] ppid=6392 vsize=15151156 memory=7373046156913500266 CPUtime=0.33 cores=0-3
/proc/6394/task/6405/stat : 6405 (java) R 6392 6392 4816 0 -1 4202560 1502 0 0 0 33 0 0 0 20 0 15 0 445551154 15514783744 22204 33554432000 4194304 4196468 140732169858928 140616033500512 140616946847094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6406] ppid=6392 vsize=15151156 memory=7368002589315584080 CPUtime=0.41 cores=0-3
/proc/6394/task/6406/stat : 6406 (java) R 6392 6392 4816 0 -1 4202560 2229 0 0 0 40 1 0 0 20 0 15 0 445551154 15514783744 22204 33554432000 4194304 4196468 140732169858928 140616032459632 140616941975288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6407] ppid=6392 vsize=15151156 memory=0 CPUtime=0 cores=0-3
/proc/6394/task/6407/stat : 6407 (java) S 6392 6392 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445551154 15514783744 22204 33554432000 4194304 4196468 140732169858928 140616031407072 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6408] ppid=6392 vsize=15151156 memory=5794555382653873255 CPUtime=0 cores=0-3
/proc/6394/task/6408/stat : 6408 (java) S 6392 6392 4816 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445551155 15514783744 22204 33554432000 4194304 4196468 140732169858928 140616030353840 140616963447426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 90268 KiB

[startup+1.50078 s]
/proc/loadavg: 8.14 8.35 7.06 7/233 6408
/proc/meminfo: memFree=30279516/32770688 swapFree=66961208/67108860
[pid=6392] ppid=6389 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/6392/stat : 6392 (xcsp3-exec) S 6389 6392 4816 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445551148 115843072 363 33554432000 4194304 5098028 140735042988176 140735042986280 140460207927932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28749824 140735042990970 140735042991213 140735042991213 140735042994122 0

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

/proc/6394/task/6408/stat : 6408 (java) S 6392 6392 4816 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 19 0 445551155 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616030353840 140616963447426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6417] ppid=6392 vsize=15685716 memory=1564 CPUtime=31.86 cores=0-3
/proc/6394/task/6417/stat : 6417 (java) R 6392 6392 4816 0 -1 4202560 485 0 0 0 3186 0 0 0 20 0 19 0 445551713 16062173184 89948 33554432000 4194304 4196468 140732169858928 140615946836416 140616582791803 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6418] ppid=6392 vsize=15685716 memory=8560 CPUtime=31.84 cores=0-3
/proc/6394/task/6418/stat : 6418 (java) R 6392 6392 4816 0 -1 4202560 1824 0 0 0 3183 1 0 0 20 0 19 0 445551713 16062173184 89948 33554432000 4194304 4196468 140732169858928 140615945785400 140616583657159 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6419] ppid=6392 vsize=15685716 memory=14008 CPUtime=31.33 cores=0-3
/proc/6394/task/6419/stat : 6419 (java) R 6392 6392 4816 0 -1 4202560 612 0 0 0 3133 0 0 0 20 0 19 0 445551713 16062173184 89948 33554432000 4194304 4196468 140732169858928 140615944732600 140616583658692 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6420] ppid=6392 vsize=15685716 memory=22932 CPUtime=31.82 cores=0-3
/proc/6394/task/6420/stat : 6420 (java) R 6392 6392 4816 0 -1 4202560 888 0 0 0 3182 0 0 0 20 0 19 0 445551713 16062173184 89948 33554432000 4194304 4196468 140732169858928 140615943680232 140616583741379 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
Current children cumulated CPU time: 148.2 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 361244 KiB

[startup+38.0008 s]*
/proc/loadavg: 8.20 8.34 7.11 9/237 6423
/proc/meminfo: memFree=30043388/32770688 swapFree=66961208/67108860
[pid=6392] ppid=6389 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/6392/stat : 6392 (xcsp3-exec) S 6389 6392 4816 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445551148 115843072 363 33554432000 4194304 5098028 140735042988176 140735042986280 140460207927932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28749824 140735042990970 140735042991213 140735042991213 140735042994122 0
/proc/6392/statm: 28282 363 304 221 0 87 0
[pid=6394] ppid=6392 vsize=15685716 memory=359792 CPUtime=149.82 cores=0-3
/proc/6394/stat : 6394 (java) S 6392 6392 4816 0 -1 1077944320 41679 0 0 0 14962 20 0 0 20 0 19 0 445551148 16062173184 89948 33554432000 4194304 4196468 140732169858928 140732169841472 140616963436279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
/proc/6394/statm: 3921429 89948 3537 1 0 3882529 0
[pid=6394/tid=6395] ppid=6392 vsize=15685716 memory=1398722017469774279 CPUtime=1.25 cores=0-3
/proc/6394/task/6395/stat : 6395 (java) S 6392 6392 4816 0 -1 1077944384 11094 0 0 0 119 6 0 0 20 0 19 0 445551148 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616967677056 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6396] ppid=6392 vsize=15685716 memory=4126316290023845779 CPUtime=0.04 cores=0-3
/proc/6394/task/6396/stat : 6396 (java) S 6392 6392 4816 0 -1 1077944384 1569 0 0 0 3 1 0 0 20 0 19 0 445551149 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616899672976 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6397] ppid=6392 vsize=15685716 memory=0 CPUtime=0.03 cores=0-3
/proc/6394/task/6397/stat : 6397 (java) S 6392 6392 4816 0 -1 1077944384 221 0 0 0 2 1 0 0 20 0 19 0 445551149 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616898620176 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6398] ppid=6392 vsize=15685716 memory=0 CPUtime=0.03 cores=0-3
/proc/6394/task/6398/stat : 6398 (java) S 6392 6392 4816 0 -1 1077944384 140 0 0 0 2 1 0 0 20 0 19 0 445551149 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616897567888 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6399] ppid=6392 vsize=15685716 memory=-7674914008656224160 CPUtime=0.03 cores=0-3
/proc/6394/task/6399/stat : 6399 (java) S 6392 6392 4816 0 -1 1077944384 448 0 0 0 2 1 0 0 20 0 19 0 445551149 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616896515088 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6400] ppid=6392 vsize=15685716 memory=0 CPUtime=0.01 cores=0-3
/proc/6394/task/6400/stat : 6400 (java) S 6392 6392 4816 0 -1 1077944384 619 0 0 0 1 0 0 0 20 0 19 0 445551151 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616038774896 140616963447426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6401] ppid=6392 vsize=15685716 memory=0 CPUtime=0 cores=0-3
/proc/6394/task/6401/stat : 6401 (java) S 6392 6392 4816 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 445551151 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616037720928 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6402] ppid=6392 vsize=15685716 memory=0 CPUtime=0 cores=0-3
/proc/6394/task/6402/stat : 6402 (java) S 6392 6392 4816 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 445551151 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616036668544 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6403] ppid=6392 vsize=15685716 memory=0 CPUtime=0 cores=0-3
/proc/6394/task/6403/stat : 6403 (java) S 6392 6392 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445551154 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616035616848 140616963454875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6404] ppid=6392 vsize=15685716 memory=0 CPUtime=2.87 cores=0-3
/proc/6394/task/6404/stat : 6404 (java) S 6392 6392 4816 0 -1 1077944384 7097 0 0 0 287 0 0 0 20 0 19 0 445551154 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616034564720 140616963447426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6405] ppid=6392 vsize=15685716 memory=0 CPUtime=2.87 cores=0-3
/proc/6394/task/6405/stat : 6405 (java) S 6392 6392 4816 0 -1 1077944384 5963 0 0 0 286 1 0 0 20 0 19 0 445551154 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616033511920 140616963447426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6406] ppid=6392 vsize=15685716 memory=0 CPUtime=1.05 cores=0-3
/proc/6394/task/6406/stat : 6406 (java) S 6392 6392 4816 0 -1 1077944384 8027 0 0 0 103 2 0 0 20 0 19 0 445551154 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616032459632 140616963447426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6407] ppid=6392 vsize=15685716 memory=0 CPUtime=0 cores=0-3
/proc/6394/task/6407/stat : 6407 (java) S 6392 6392 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445551154 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616031407072 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6408] ppid=6392 vsize=15685716 memory=0 CPUtime=0.01 cores=0-3
/proc/6394/task/6408/stat : 6408 (java) S 6392 6392 4816 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 19 0 445551155 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616030353840 140616963447426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6417] ppid=6392 vsize=15685716 memory=0 CPUtime=32.27 cores=0-3
/proc/6394/task/6417/stat : 6417 (java) R 6392 6392 4816 0 -1 4202560 485 0 0 0 3227 0 0 0 20 0 19 0 445551713 16062173184 89948 33554432000 4194304 4196468 140732169858928 140615946836416 140616582790934 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6418] ppid=6392 vsize=15685716 memory=0 CPUtime=32.25 cores=0-3
/proc/6394/task/6418/stat : 6418 (java) R 6392 6392 4816 0 -1 4202560 1829 0 0 0 3224 1 0 0 20 0 19 0 445551713 16062173184 89948 33554432000 4194304 4196468 140732169858928 140615945785400 140616583284871 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6419] ppid=6392 vsize=15685716 memory=0 CPUtime=31.73 cores=0-3
/proc/6394/task/6419/stat : 6419 (java) R 6392 6392 4816 0 -1 4202560 612 0 0 0 3173 0 0 0 20 0 19 0 445551713 16062173184 89948 33554432000 4194304 4196468 140732169858928 140615944732600 140616583546266 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6420] ppid=6392 vsize=15685716 memory=0 CPUtime=32.23 cores=0-3
/proc/6394/task/6420/stat : 6420 (java) R 6392 6392 4816 0 -1 4202560 1009 0 0 0 3223 0 0 0 20 0 19 0 445551713 16062173184 89948 33554432000 4194304 4196468 140732169858928 140615943680232 140616582694334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
Current children cumulated CPU time: 149.82 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 361244 KiB

[startup+38.2018 s]
/proc/loadavg: 8.20 8.34 7.11 9/237 6423
/proc/meminfo: memFree=30043388/32770688 swapFree=66961208/67108860
[pid=6392] ppid=6389 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/6392/stat : 6392 (xcsp3-exec) S 6389 6392 4816 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445551148 115843072 363 33554432000 4194304 5098028 140735042988176 140735042986280 140460207927932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28749824 140735042990970 140735042991213 140735042991213 140735042994122 0
/proc/6392/statm: 28282 363 304 221 0 87 0
[pid=6394] ppid=6392 vsize=15685716 memory=359792 CPUtime=150.58 cores=0-3
/proc/6394/stat : 6394 (java) S 6392 6392 4816 0 -1 1077944320 41686 0 0 0 15038 20 0 0 20 0 19 0 445551148 16062173184 89948 33554432000 4194304 4196468 140732169858928 140732169841472 140616963436279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
/proc/6394/statm: 3921429 89948 3537 1 0 3882529 0
[pid=6394/tid=6395] ppid=6392 vsize=15685716 memory=15260354666041440 CPUtime=1.25 cores=0-3
/proc/6394/task/6395/stat : 6395 (java) S 6392 6392 4816 0 -1 1077944384 11094 0 0 0 119 6 0 0 20 0 19 0 445551148 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616967677056 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6396] ppid=6392 vsize=15685716 memory=7450474848157587041 CPUtime=0.04 cores=0-3
/proc/6394/task/6396/stat : 6396 (java) S 6392 6392 4816 0 -1 1077944384 1569 0 0 0 3 1 0 0 20 0 19 0 445551149 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616899672976 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6397] ppid=6392 vsize=15685716 memory=7018690039054625366 CPUtime=0.03 cores=0-3
/proc/6394/task/6397/stat : 6397 (java) S 6392 6392 4816 0 -1 1077944384 221 0 0 0 2 1 0 0 20 0 19 0 445551149 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616898620176 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6398] ppid=6392 vsize=15685716 memory=7018690039054625366 CPUtime=0.03 cores=0-3
/proc/6394/task/6398/stat : 6398 (java) S 6392 6392 4816 0 -1 1077944384 140 0 0 0 2 1 0 0 20 0 19 0 445551149 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616897567888 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6399] ppid=6392 vsize=15685716 memory=6944656592455360569 CPUtime=0.03 cores=0-3
/proc/6394/task/6399/stat : 6399 (java) S 6392 6392 4816 0 -1 1077944384 448 0 0 0 2 1 0 0 20 0 19 0 445551149 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616896515088 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6400] ppid=6392 vsize=15685716 memory=6944656592387989600 CPUtime=0.01 cores=0-3
/proc/6394/task/6400/stat : 6400 (java) S 6392 6392 4816 0 -1 1077944384 619 0 0 0 1 0 0 0 20 0 19 0 445551151 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616038774896 140616963447426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6401] ppid=6392 vsize=15685716 memory=6805124639032654198 CPUtime=0 cores=0-3
/proc/6394/task/6401/stat : 6401 (java) S 6392 6392 4816 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 445551151 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616037720928 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6402] ppid=6392 vsize=15685716 memory=-7399350170322123884 CPUtime=0 cores=0-3
/proc/6394/task/6402/stat : 6402 (java) S 6392 6392 4816 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 445551151 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616036668544 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6403] ppid=6392 vsize=15685716 memory=-3415244161483719305 CPUtime=0 cores=0-3
/proc/6394/task/6403/stat : 6403 (java) S 6392 6392 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445551154 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616035616848 140616963454875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6404] ppid=6392 vsize=15685716 memory=-2026666227646606628 CPUtime=2.87 cores=0-3
/proc/6394/task/6404/stat : 6404 (java) S 6392 6392 4816 0 -1 1077944384 7097 0 0 0 287 0 0 0 20 0 19 0 445551154 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616034564720 140616963447426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6405] ppid=6392 vsize=15685716 memory=7517440543632224106 CPUtime=2.87 cores=0-3
/proc/6394/task/6405/stat : 6405 (java) S 6392 6392 4816 0 -1 1077944384 5963 0 0 0 286 1 0 0 20 0 19 0 445551154 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616033511920 140616963447426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6406] ppid=6392 vsize=15685716 memory=280467137507760 CPUtime=1.05 cores=0-3
/proc/6394/task/6406/stat : 6406 (java) S 6392 6392 4816 0 -1 1077944384 8027 0 0 0 103 2 0 0 20 0 19 0 445551154 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616032459632 140616963447426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6407] ppid=6392 vsize=15685716 memory=0 CPUtime=0 cores=0-3
/proc/6394/task/6407/stat : 6407 (java) S 6392 6392 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445551154 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616031407072 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6408] ppid=6392 vsize=15685716 memory=0 CPUtime=0.01 cores=0-3
/proc/6394/task/6408/stat : 6408 (java) S 6392 6392 4816 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 19 0 445551155 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616030353840 140616963447426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6417] ppid=6392 vsize=15685716 memory=0 CPUtime=32.46 cores=0-3
/proc/6394/task/6417/stat : 6417 (java) R 6392 6392 4816 0 -1 4202560 485 0 0 0 3246 0 0 0 20 0 19 0 445551713 16062173184 89948 33554432000 4194304 4196468 140732169858928 140615946836416 140616582791933 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6418] ppid=6392 vsize=15685716 memory=0 CPUtime=32.44 cores=0-3
/proc/6394/task/6418/stat : 6418 (java) R 6392 6392 4816 0 -1 4202560 1836 0 0 0 3243 1 0 0 20 0 19 0 445551713 16062173184 89948 33554432000 4194304 4196468 140732169858928 140615945785400 140616583546266 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6419] ppid=6392 vsize=15685716 memory=0 CPUtime=31.92 cores=0-3
/proc/6394/task/6419/stat : 6419 (java) R 6392 6392 4816 0 -1 4202560 612 0 0 0 3192 0 0 0 20 0 19 0 445551713 16062173184 89948 33554432000 4194304 4196468 140732169858928 140615944732600 140616581831520 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6420] ppid=6392 vsize=15685716 memory=0 CPUtime=32.42 cores=0-3
/proc/6394/task/6420/stat : 6420 (java) R 6392 6392 4816 0 -1 4202560 1009 0 0 0 3242 0 0 0 20 0 19 0 445551713 16062173184 89948 33554432000 4194304 4196468 140732169858928 140615943680232 140616583546616 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
Current children cumulated CPU time: 150.58 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 361244 KiB

[startup+38.3018 s]
/proc/loadavg: 8.20 8.34 7.11 9/237 6423
/proc/meminfo: memFree=30043388/32770688 swapFree=66961208/67108860
[pid=6392] ppid=6389 vsize=113128 memory=1452 CPUtime=0 cores=0-3
/proc/6392/stat : 6392 (xcsp3-exec) S 6389 6392 4816 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445551148 115843072 363 33554432000 4194304 5098028 140735042988176 140735042986280 140460207927932 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28749824 140735042990970 140735042991213 140735042991213 140735042994122 0
/proc/6392/statm: 28282 363 304 221 0 87 0
[pid=6394] ppid=6392 vsize=15685716 memory=359792 CPUtime=150.98 cores=0-3
/proc/6394/stat : 6394 (java) S 6392 6392 4816 0 -1 1077944320 41686 0 0 0 15078 20 0 0 20 0 19 0 445551148 16062173184 89948 33554432000 4194304 4196468 140732169858928 140732169841472 140616963436279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
/proc/6394/statm: 3921429 89948 3537 1 0 3882529 0
[pid=6394/tid=6395] ppid=6392 vsize=15685716 memory=280467136338432 CPUtime=1.25 cores=0-3
/proc/6394/task/6395/stat : 6395 (java) S 6392 6392 4816 0 -1 1077944384 11094 0 0 0 119 6 0 0 20 0 19 0 445551148 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616967677056 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6396] ppid=6392 vsize=15685716 memory=0 CPUtime=0.04 cores=0-3
/proc/6394/task/6396/stat : 6396 (java) S 6392 6392 4816 0 -1 1077944384 1569 0 0 0 3 1 0 0 20 0 19 0 445551149 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616899672976 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6397] ppid=6392 vsize=15685716 memory=359792 CPUtime=0.03 cores=0-3
/proc/6394/task/6397/stat : 6397 (java) S 6392 6392 4816 0 -1 1077944384 221 0 0 0 2 1 0 0 20 0 19 0 445551149 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616898620176 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6398] ppid=6392 vsize=15685716 memory=1452 CPUtime=0.03 cores=0-3
/proc/6394/task/6398/stat : 6398 (java) S 6392 6392 4816 0 -1 1077944384 140 0 0 0 2 1 0 0 20 0 19 0 445551149 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616897567888 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6399] ppid=6392 vsize=15685716 memory=337152 CPUtime=0.03 cores=0-3
/proc/6394/task/6399/stat : 6399 (java) S 6392 6392 4816 0 -1 1077944384 448 0 0 0 2 1 0 0 20 0 19 0 445551149 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616896515088 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6400] ppid=6392 vsize=15685716 memory=56 CPUtime=0.01 cores=0-3
/proc/6394/task/6400/stat : 6400 (java) S 6392 6392 4816 0 -1 1077944384 619 0 0 0 1 0 0 0 20 0 19 0 445551151 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616038774896 140616963447426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6401] ppid=6392 vsize=15685716 memory=280467136570896 CPUtime=0 cores=0-3
/proc/6394/task/6401/stat : 6401 (java) S 6392 6392 4816 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 445551151 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616037720928 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6402] ppid=6392 vsize=15685716 memory=359768 CPUtime=0 cores=0-3
/proc/6394/task/6402/stat : 6402 (java) S 6392 6392 4816 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 19 0 445551151 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616036668544 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6403] ppid=6392 vsize=15685716 memory=1452 CPUtime=0 cores=0-3
/proc/6394/task/6403/stat : 6403 (java) S 6392 6392 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445551154 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616035616848 140616963454875 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6404] ppid=6392 vsize=15685716 memory=359768 CPUtime=2.87 cores=0-3
/proc/6394/task/6404/stat : 6404 (java) S 6392 6392 4816 0 -1 1077944384 7097 0 0 0 287 0 0 0 20 0 19 0 445551154 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616034564720 140616963447426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6405] ppid=6392 vsize=15685716 memory=1452 CPUtime=2.87 cores=0-3
/proc/6394/task/6405/stat : 6405 (java) S 6392 6392 4816 0 -1 1077944384 5963 0 0 0 286 1 0 0 20 0 19 0 445551154 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616033511920 140616963447426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6406] ppid=6392 vsize=15685716 memory=1452 CPUtime=1.05 cores=0-3
/proc/6394/task/6406/stat : 6406 (java) S 6392 6392 4816 0 -1 1077944384 8027 0 0 0 103 2 0 0 20 0 19 0 445551154 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616032459632 140616963447426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6407] ppid=6392 vsize=15685716 memory=230504 CPUtime=0 cores=0-3
/proc/6394/task/6407/stat : 6407 (java) S 6392 6392 4816 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445551154 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616031407072 140616963446485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6408] ppid=6392 vsize=15685716 memory=1452 CPUtime=0.01 cores=0-3
/proc/6394/task/6408/stat : 6408 (java) S 6392 6392 4816 0 -1 1077944384 281 0 0 0 1 0 0 0 20 0 19 0 445551155 16062173184 89948 33554432000 4194304 4196468 140732169858928 140616030353840 140616963447426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6417] ppid=6392 vsize=15685716 memory=230508 CPUtime=32.56 cores=0-3
/proc/6394/task/6417/stat : 6417 (java) R 6392 6392 4816 0 -1 4202560 485 0 0 0 3256 0 0 0 20 0 19 0 445551713 16062173184 89948 33554432000 4194304 4196468 140732169858928 140615946836416 140616578766871 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6418] ppid=6392 vsize=15685716 memory=8112282956445269571 CPUtime=32.54 cores=0-3
/proc/6394/task/6418/stat : 6418 (java) R 6392 6392 4816 0 -1 4202560 1836 0 0 0 3253 1 0 0 20 0 19 0 445551713 16062173184 89948 33554432000 4194304 4196468 140732169858928 140615945785400 140616584081910 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6419] ppid=6392 vsize=15685716 memory=984 CPUtime=32.02 cores=0-3
/proc/6394/task/6419/stat : 6419 (java) R 6392 6392 4816 0 -1 4202560 612 0 0 0 3202 0 0 0 20 0 19 0 445551713 16062173184 89948 33554432000 4194304 4196468 140732169858928 140615944732600 140616582606860 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
[pid=6394/tid=6420] ppid=6392 vsize=15685716 memory=2044 CPUtime=32.52 cores=0-3
/proc/6394/task/6420/stat : 6420 (java) R 6392 6392 4816 0 -1 4202560 1009 0 0 0 3252 0 0 0 20 0 19 0 445551713 16062173184 89948 33554432000 4194304 4196468 140732169858928 140615943680232 140616583545727 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732169860079 140732169860250 140732169860250 140732169863119 0
Current children cumulated CPU time: 150.98 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 361244 KiB

Child status: 0
Real time (s): 38.3122
CPU time (s): 151.006
CPU user time (s): 150.797
CPU system time (s): 0.208993
CPU usage (%): 394.145
Max. virtual memory (cumulated for all children) (KiB): 15798844
Max. memory (cumulated for all children) (KiB): 361244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 150.797
system time used= 0.208993
maximum resident set size= 359836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43834
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= 3652
involuntary context switches= 2676


# summary of solver processes directly reported to runsolver:
#   pid: 6392
#   total CPU time (s): 151.006
#   total CPU user time (s): 150.797
#   total CPU system time (s): 0.208993

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.29195 second user time and 0.492573 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 4399322

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