2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-20 parallel	OPT	10	44.8382	6.49594

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404914-1569004251.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4404914-1569004251.xml, -tl, 2016s, -p, 8]
0.33/0.23	c 8 solvers in parallel
0.33/0.29	c parse instance...
4.83/1.42	c solve instance...
5.43/1.59	o 15 
6.14/1.69	o 14 
7.01/1.72	o 13 
7.73/1.84	o 12 
10.09/2.14	o 11 
10.09/2.15	o 10 
44.17/6.48	s OPTIMUM FOUND
44.17/6.48	v <instantiation>
44.17/6.48	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>
44.17/6.48	v 	<values>0 1 11 3 9 13 8 5 10 2 6 4 7 12 14 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 0 0 0 0 1 1 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 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 2 2 2 2 0 0 0 1 1 1 1 2 2 2 2 2 2 2 2 0 1 1 1 1 1 1 1 1 1 1 2 2 2 2 1 1 1 1 1 1 1 1 1 1 1 1 1 1 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 1 1 1 1 2 2 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 0 0 1 1 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 1 1 1 1 1 1 2 2 2 2 2 2 0 0 0 0 0 0 0 1 1 1 1 1 1 2 2 0 0 0 0 0 0 0 0 0 1 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 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 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 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 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 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 1 1 1 0 0 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 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 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 1 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 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 1 1 0 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 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 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 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 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 1 1 1 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 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 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 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 4 7 8 9 10 10 10 10 10 10 10 10 9 7 4 </values>
44.17/6.48	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 (11757 MiB free)
  memory of node 1: 16384 MiB (13058 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404914-1569004251/watcher-4404914-1569004251 -o /var/tmp/evaluation-result-4404914-1569004251/solver-4404914-1569004251 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1568994120-11888 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 365512340 HOME/instance-4404914-1569004251.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=13130, runsolver pid=13127

[startup+0.100114 s]*
/proc/loadavg: 8.05 8.01 8.08 2/212 13151
/proc/meminfo: memFree=25397080/32770624 swapFree=66989032/67108860
[pid=13130] ppid=13127 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13130/stat : 13130 (xcsp3-exec) S 13127 13130 11861 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476687716 115843072 363 33554432000 4194304 5098028 140734130003600 140734130001704 140477873934972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21282816 140734130008920 140734130009178 140734130009178 140734130012102 0
/proc/13130/statm: 28282 363 304 221 0 87 0
[pid=13132] ppid=13130 vsize=28227396 memory=27636 CPUtime=0.12 cores=0-7
/proc/13132/stat : 13132 (java) S 13130 13130 11861 0 -1 1077944320 5799 0 0 0 12 0 0 0 20 0 20 0 476687717 28904853504 6909 33554432000 4194304 4196468 140735107747072 140735107729616 139632837807863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
/proc/13132/statm: 7056849 6909 3152 1 0 7019032 0
[pid=13132/tid=13133] ppid=13130 vsize=28227396 memory=-2177352373413752899 CPUtime=0.08 cores=0-7
/proc/13132/task/13133/stat : 13133 (java) R 13130 13130 11861 0 -1 4202560 3650 0 0 0 8 0 0 0 20 0 20 0 476687717 28904853504 6909 33554432000 4194304 4196468 140735107747072 139632842041136 139632475405194 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13134] ppid=13130 vsize=28227396 memory=732370755846601701 CPUtime=0 cores=0-7
/proc/13132/task/13134/stat : 13134 (java) S 13130 13130 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476687718 28904853504 6909 33554432000 4194304 4196468 140735107747072 139632389425808 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13135] ppid=13130 vsize=28227396 memory=140617509148288 CPUtime=0 cores=0-7
/proc/13132/task/13135/stat : 13135 (java) S 13130 13130 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476687718 28904853504 6909 33554432000 4194304 4196468 140735107747072 139632388373008 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13136] ppid=13130 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13136/stat : 13136 (java) S 13130 13130 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476687718 28904853504 6909 33554432000 4194304 4196468 140735107747072 139632387320208 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13137] ppid=13130 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13137/stat : 13137 (java) S 13130 13130 11861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476687718 28904853504 6909 33554432000 4194304 4196468 140735107747072 139632386267408 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13138] ppid=13130 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13138/stat : 13138 (java) S 13130 13130 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476687718 28904853504 6909 33554432000 4194304 4196468 140735107747072 139632385215632 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13139] ppid=13130 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13132/task/13139/stat : 13139 (java) S 13130 13130 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476687718 28904853504 6909 33554432000 4194304 4196468 140735107747072 139632384162832 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13140] ppid=13130 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13140/stat : 13140 (java) S 13130 13130 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476687718 28904853504 6909 33554432000 4194304 4196468 140735107747072 139632383110032 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13141] ppid=13130 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13141/stat : 13141 (java) S 13130 13130 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476687718 28904853504 6909 33554432000 4194304 4196468 140735107747072 139632382057232 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13142] ppid=13130 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13142/stat : 13142 (java) S 13130 13130 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476687719 28904853504 6909 33554432000 4194304 4196468 140735107747072 139631953828208 139632837819010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13143] ppid=13130 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13143/stat : 13143 (java) S 13130 13130 11861 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476687720 28904853504 6909 33554432000 4194304 4196468 140735107747072 139631952774176 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13144] ppid=13130 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13144/stat : 13144 (java) S 13130 13130 11861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476687720 28904853504 6909 33554432000 4194304 4196468 140735107747072 139631951721328 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13145] ppid=13130 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13145/stat : 13145 (java) S 13130 13130 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476687722 28904853504 6909 33554432000 4194304 4196468 140735107747072 139631950669648 139632837826459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13146] ppid=13130 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13146/stat : 13146 (java) S 13130 13130 11861 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 20 0 476687722 28904853504 6909 33554432000 4194304 4196468 140735107747072 139631949618032 139632837819010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13147] ppid=13130 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13147/stat : 13147 (java) S 13130 13130 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476687722 28904853504 6909 33554432000 4194304 4196468 140735107747072 139631948565232 139632837819010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13148] ppid=13130 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13148/stat : 13148 (java) S 13130 13130 11861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476687722 28904853504 6909 33554432000 4194304 4196468 140735107747072 139631947512432 139632837819010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13149] ppid=13130 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/13132/task/13149/stat : 13149 (java) R 13130 13130 11861 0 -1 4202560 411 0 0 0 2 0 0 0 20 0 20 0 476687722 28904853504 6909 33554432000 4194304 4196468 140735107747072 139631946459632 139632830904699 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13150] ppid=13130 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13150/stat : 13150 (java) S 13130 13130 11861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476687723 28904853504 6909 33554432000 4194304 4196468 140735107747072 139631945407072 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13151] ppid=13130 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13132/task/13151/stat : 13151 (java) S 13130 13130 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476687723 28904853504 6909 33554432000 4194304 4196468 140735107747072 139631944354352 139632837819010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 29088 KiB

[startup+0.210476 s]*
/proc/loadavg: 8.05 8.01 8.08 3/212 13151
/proc/meminfo: memFree=25384100/32770624 swapFree=66989032/67108860
[pid=13130] ppid=13127 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13130/stat : 13130 (xcsp3-exec) S 13127 13130 11861 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476687716 115843072 363 33554432000 4194304 5098028 140734130003600 140734130001704 140477873934972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21282816 140734130008920 140734130009178 140734130009178 140734130012102 0
/proc/13130/statm: 28282 363 304 221 0 87 0
[pid=13132] ppid=13130 vsize=28227396 memory=39748 CPUtime=0.33 cores=0-7
/proc/13132/stat : 13132 (java) S 13130 13130 11861 0 -1 1077944320 9735 0 0 0 31 2 0 0 20 0 20 0 476687717 28904853504 9937 33554432000 4194304 4196468 140735107747072 140735107729616 139632837807863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
/proc/13132/statm: 7056849 9937 3279 1 0 7019032 0
[pid=13132/tid=13133] ppid=13130 vsize=28227396 memory=0 CPUtime=0.19 cores=0-7
/proc/13132/task/13133/stat : 13133 (java) R 13130 13130 11861 0 -1 4202560 6675 0 0 0 18 1 0 0 20 0 20 0 476687717 28904853504 9937 33554432000 4194304 4196468 140735107747072 139632842039776 139632837829789 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13134] ppid=13130 vsize=28227396 memory=732370755846601701 CPUtime=0 cores=0-7
/proc/13132/task/13134/stat : 13134 (java) S 13130 13130 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476687718 28904853504 9937 33554432000 4194304 4196468 140735107747072 139632389425808 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13135] ppid=13130 vsize=28227396 memory=140617509148288 CPUtime=0 cores=0-7
/proc/13132/task/13135/stat : 13135 (java) S 13130 13130 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476687718 28904853504 9937 33554432000 4194304 4196468 140735107747072 139632388373008 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13136] ppid=13130 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13136/stat : 13136 (java) S 13130 13130 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476687718 28904853504 10002 33554432000 4194304 4196468 140735107747072 139632387320208 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13137] ppid=13130 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13137/stat : 13137 (java) S 13130 13130 11861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476687718 28904853504 10002 33554432000 4194304 4196468 140735107747072 139632386267408 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13138] ppid=13130 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13138/stat : 13138 (java) S 13130 13130 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476687718 28904853504 10002 33554432000 4194304 4196468 140735107747072 139632385215632 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13139] ppid=13130 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13132/task/13139/stat : 13139 (java) S 13130 13130 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476687718 28904853504 10002 33554432000 4194304 4196468 140735107747072 139632384162832 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13140] ppid=13130 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13140/stat : 13140 (java) S 13130 13130 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476687718 28904853504 10002 33554432000 4194304 4196468 140735107747072 139632383110032 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13141] ppid=13130 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13141/stat : 13141 (java) S 13130 13130 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476687718 28904853504 10002 33554432000 4194304 4196468 140735107747072 139632382057232 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13142] ppid=13130 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13142/stat : 13142 (java) S 13130 13130 11861 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476687719 28904853504 10002 33554432000 4194304 4196468 140735107747072 139631953828208 139632837819010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13143] ppid=13130 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13143/stat : 13143 (java) S 13130 13130 11861 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476687720 28904853504 10002 33554432000 4194304 4196468 140735107747072 139631952774176 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13144] ppid=13130 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13144/stat : 13144 (java) S 13130 13130 11861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476687720 28904853504 10002 33554432000 4194304 4196468 140735107747072 139631951721328 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13145] ppid=13130 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13145/stat : 13145 (java) S 13130 13130 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476687722 28904853504 10002 33554432000 4194304 4196468 140735107747072 139631950669648 139632837826459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13146] ppid=13130 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13132/task/13146/stat : 13146 (java) S 13130 13130 11861 0 -1 1077944384 458 0 0 0 1 0 0 0 20 0 20 0 476687722 28904853504 10002 33554432000 4194304 4196468 140735107747072 139631949618032 139632837819010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13147] ppid=13130 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13132/task/13147/stat : 13147 (java) S 13130 13130 11861 0 -1 1077944384 146 0 0 0 1 0 0 0 20 0 20 0 476687722 28904853504 10002 33554432000 4194304 4196468 140735107747072 139631948565232 139632837819010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13148] ppid=13130 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/13132/task/13148/stat : 13148 (java) S 13130 13130 11861 0 -1 1077944384 223 0 0 0 1 0 0 0 20 0 20 0 476687722 28904853504 10002 33554432000 4194304 4196468 140735107747072 139631947512432 139632837819010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13149] ppid=13130 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/13132/task/13149/stat : 13149 (java) R 13130 13130 11861 0 -1 4202560 925 0 0 0 8 0 0 0 20 0 20 0 476687722 28904853504 10002 33554432000 4194304 4196468 140735107747072 139631946453520 139632837819798 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13150] ppid=13130 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13150/stat : 13150 (java) S 13130 13130 11861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476687723 28904853504 10002 33554432000 4194304 4196468 140735107747072 139631945407072 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13151] ppid=13130 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/13132/task/13151/stat : 13151 (java) S 13130 13130 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476687723 28904853504 10002 33554432000 4194304 4196468 140735107747072 139631944354352 139632837819010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41200 KiB

[startup+0.310178 s]*
/proc/loadavg: 8.05 8.01 8.08 3/212 13151
/proc/meminfo: memFree=25377712/32770624 swapFree=66989032/67108860
[pid=13130] ppid=13127 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13130/stat : 13130 (xcsp3-exec) S 13127 13130 11861 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476687716 115843072 363 33554432000 4194304 5098028 140734130003600 140734130001704 140477873934972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21282816 140734130008920 140734130009178 140734130009178 140734130012102 0
/proc/13130/statm: 28282 363 304 221 0 87 0
[pid=13132] ppid=13130 vsize=28231652 memory=48520 CPUtime=0.51 cores=0-7
/proc/13132/stat : 13132 (java) S 13130 13130 11861 0 -1 1077944320 10974 0 0 0 48 3 0 0 20 0 20 0 476687717 28909211648 12130 33554432000 4194304 4196468 140735107747072 140735107729616 139632837807863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
/proc/13132/statm: 7057913 12130 3354 1 0 7019032 0
[pid=13132/tid=13133] ppid=13130 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/13132/task/13133/stat : 13133 (java) R 13130 13130 11861 0 -1 4202560 7731 0 0 0 27 2 0 0 20 0 20 0 476687717 28909211648 12130 33554432000 4194304 4196468 140735107747072 139632842044480 139632837829789 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13134] ppid=13130 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13134/stat : 13134 (java) S 13130 13130 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476687718 28909211648 12130 33554432000 4194304 4196468 140735107747072 139632389425808 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13135] ppid=13130 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13135/stat : 13135 (java) S 13130 13130 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476687718 28909211648 12130 33554432000 4194304 4196468 140735107747072 139632388373008 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13136] ppid=13130 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13136/stat : 13136 (java) S 13130 13130 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476687718 28909211648 12130 33554432000 4194304 4196468 140735107747072 139632387320208 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13137] ppid=13130 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13137/stat : 13137 (java) S 13130 13130 11861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476687718 28909211648 12130 33554432000 4194304 4196468 140735107747072 139632386267408 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13138] ppid=13130 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13138/stat : 13138 (java) S 13130 13130 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476687718 28909211648 12130 33554432000 4194304 4196468 140735107747072 139632385215632 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13139] ppid=13130 vsize=28231652 memory=140617363581615 CPUtime=0 cores=0-7
/proc/13132/task/13139/stat : 13139 (java) S 13130 13130 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476687718 28909211648 12130 33554432000 4194304 4196468 140735107747072 139632384162832 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13140] ppid=13130 vsize=28231652 memory=140617363583920 CPUtime=0 cores=0-7
/proc/13132/task/13140/stat : 13140 (java) S 13130 13130 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476687718 28909211648 12130 33554432000 4194304 4196468 140735107747072 139632383110032 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13141] ppid=13130 vsize=28231652 memory=140617363586224 CPUtime=0 cores=0-7
/proc/13132/task/13141/stat : 13141 (java) S 13130 13130 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476687718 28909211648 12130 33554432000 4194304 4196468 140735107747072 139632382057232 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13142] ppid=13130 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13142/stat : 13142 (java) S 13130 13130 11861 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476687719 28909211648 12130 33554432000 4194304 4196468 140735107747072 139631953828208 139632837819010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13143] ppid=13130 vsize=28231652 memory=281234727186320 CPUtime=0 cores=0-7
/proc/13132/task/13143/stat : 13143 (java) S 13130 13130 11861 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476687720 28909211648 12130 33554432000 4194304 4196468 140735107747072 139631952774176 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13144] ppid=13130 vsize=28231652 memory=281234727184016 CPUtime=0 cores=0-7
/proc/13132/task/13144/stat : 13144 (java) S 13130 13130 11861 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476687720 28909211648 12130 33554432000 4194304 4196468 140735107747072 139631951721328 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13145] ppid=13130 vsize=28231652 memory=281234727190928 CPUtime=0 cores=0-7
/proc/13132/task/13145/stat : 13145 (java) S 13130 13130 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476687722 28909211648 12130 33554432000 4194304 4196468 140735107747072 139631950669648 139632837826459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13146] ppid=13130 vsize=28231652 memory=281234727132176 CPUtime=0.02 cores=0-7
/proc/13132/task/13146/stat : 13146 (java) S 13130 13130 11861 0 -1 1077944384 469 0 0 0 2 0 0 0 20 0 20 0 476687722 28909211648 12130 33554432000 4194304 4196468 140735107747072 139631949618032 139632837819010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13147] ppid=13130 vsize=28231652 memory=281234727204752 CPUtime=0.02 cores=0-7
/proc/13132/task/13147/stat : 13147 (java) S 13130 13130 11861 0 -1 1077944384 157 0 0 0 2 0 0 0 20 0 20 0 476687722 28909211648 12130 33554432000 4194304 4196468 140735107747072 139631948565232 139632837819010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13148] ppid=13130 vsize=28231652 memory=281234727211664 CPUtime=0.02 cores=0-7
/proc/13132/task/13148/stat : 13148 (java) S 13130 13130 11861 0 -1 1077944384 228 0 0 0 2 0 0 0 20 0 20 0 476687722 28909211648 12130 33554432000 4194304 4196468 140735107747072 139631947512432 139632837819010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13149] ppid=13130 vsize=28231652 memory=281234727209360 CPUtime=0.13 cores=0-7
/proc/13132/task/13149/stat : 13149 (java) S 13130 13130 11861 0 -1 1077944384 1081 0 0 0 13 0 0 0 20 0 20 0 476687722 28909211648 12130 33554432000 4194304 4196468 140735107747072 139631946459632 139632837819010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13150] ppid=13130 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13150/stat : 13150 (java) S 13130 13130 11861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476687723 28909211648 12130 33554432000 4194304 4196468 140735107747072 139631945407072 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13151] ppid=13130 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/13132/task/13151/stat : 13151 (java) S 13130 13130 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476687723 28909211648 12130 33554432000 4194304 4196468 140735107747072 139631944354352 139632837819010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 49972 KiB

[startup+0.701054 s]
/proc/loadavg: 8.05 8.01 8.08 4/212 13151
/proc/meminfo: memFree=25353348/32770624 swapFree=66989032/67108860
[pid=13130] ppid=13127 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13130/stat : 13130 (xcsp3-exec) S 13127 13130 11861 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476687716 115843072 363 33554432000 4194304 5098028 140734130003600 140734130001704 140477873934972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21282816 140734130008920 140734130009178 140734130009178 140734130012102 0
/proc/13130/statm: 28282 363 304 221 0 87 0
[pid=13132] ppid=13130 vsize=28233776 memory=92444 CPUtime=1.88 cores=0-7
/proc/13132/stat : 13132 (java) S 13130 13130 11861 0 -1 1077944320 16335 0 0 0 183 5 0 0 20 0 20 0 476687717 28911386624 23111 33554432000 4194304 4196468 140735107747072 140735107729616 139632837807863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
/proc/13132/statm: 7058444 23111 3455 1 0 7019544 0
[pid=13132/tid=13133] ppid=13130 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7
/proc/13132/task/13133/stat : 13133 (java) R 13130 13130 11861 0 -1 4202560 9317 0 0 0 63 4 0 0 20 0 20 0 476687717 28911386624 23111 33554432000 4194304 4196468 140735107747072 139632842044800 139632475364480 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13134] ppid=13130 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13134/stat : 13134 (java) S 13130 13130 11861 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476687718 28911386624 23111 33554432000 4194304 4196468 140735107747072 139632389425808 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13135] ppid=13130 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13135/stat : 13135 (java) S 13130 13130 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476687718 28911386624 23111 33554432000 4194304 4196468 140735107747072 139632388373008 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13136] ppid=13130 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13136/stat : 13136 (java) S 13130 13130 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476687718 28911386624 23111 33554432000 4194304 4196468 140735107747072 139632387320208 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0

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

[pid=13132/tid=13201] ppid=13130 vsize=28769364 memory=13848568834296442 CPUtime=0.64 cores=0-7
/proc/13132/task/13201/stat : 13201 (java) R 13130 13130 11861 0 -1 4202560 62 0 0 0 64 0 0 0 20 0 28 0 476687932 29459828736 62881 33554432000 4194304 4196468 140735107747072 139631073918776 139632484458639 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13202] ppid=13130 vsize=28769364 memory=0 CPUtime=0.55 cores=0-7
/proc/13132/task/13202/stat : 13202 (java) R 13130 13130 11861 0 -1 4202560 96 0 0 0 55 0 0 0 20 0 28 0 476687932 29459828736 62881 33554432000 4194304 4196468 140735107747072 139631077077928 139632484220619 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13203] ppid=13130 vsize=28769364 memory=0 CPUtime=0.69 cores=0-7
/proc/13132/task/13203/stat : 13203 (java) R 13130 13130 11861 0 -1 4202560 68 0 0 0 69 0 0 0 20 0 28 0 476687932 29459828736 62881 33554432000 4194304 4196468 140735107747072 139631074972184 139632484451143 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13204] ppid=13130 vsize=28769364 memory=0 CPUtime=0.64 cores=0-7
/proc/13132/task/13204/stat : 13204 (java) R 13130 13130 11861 0 -1 4202560 129 0 0 0 64 0 0 0 20 0 28 0 476687932 29459828736 62881 33554432000 4194304 4196468 140735107747072 139631078132128 139632484220027 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13205] ppid=13130 vsize=28769364 memory=140617363826769 CPUtime=0.76 cores=0-7
/proc/13132/task/13205/stat : 13205 (java) R 13130 13130 11861 0 -1 4202560 100 0 0 0 76 0 0 0 20 0 28 0 476687932 29459828736 62881 33554432000 4194304 4196468 140735107747072 139631072865672 139632484147591 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13206] ppid=13130 vsize=28769364 memory=0 CPUtime=0.65 cores=0-7
/proc/13132/task/13206/stat : 13206 (java) R 13130 13130 11861 0 -1 4202560 51 0 0 0 65 0 0 0 20 0 28 0 476687932 29459828736 62881 33554432000 4194304 4196468 140735107747072 139631070761544 139632486059231 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13207] ppid=13130 vsize=28769364 memory=0 CPUtime=0.8 cores=0-7
/proc/13132/task/13207/stat : 13207 (java) R 13130 13130 11861 0 -1 4202560 116 0 0 0 80 0 0 0 20 0 28 0 476687933 29459828736 62881 33554432000 4194304 4196468 140735107747072 139631071814560 139632484458452 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
Current children cumulated CPU time: 17.96 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 252976 KiB

[startup+6.30153 s]
/proc/loadavg: 7.73 7.95 8.06 9/221 13209
/proc/meminfo: memFree=25088484/32770624 swapFree=66989032/67108860
[pid=13130] ppid=13127 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13130/stat : 13130 (xcsp3-exec) S 13127 13130 11861 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476687716 115843072 363 33554432000 4194304 5098028 140734130003600 140734130001704 140477873934972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21282816 140734130008920 140734130009178 140734130009178 140734130012102 0
/proc/13130/statm: 28282 363 304 221 0 87 0
[pid=13132] ppid=13130 vsize=28769364 memory=336956 CPUtime=43.37 cores=0-7
/proc/13132/stat : 13132 (java) S 13130 13130 11861 0 -1 1077944320 35795 0 0 0 4310 27 0 0 20 0 28 0 476687717 29459828736 84239 33554432000 4194304 4196468 140735107747072 140735107729616 139632837807863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
/proc/13132/statm: 7192341 84239 3542 1 0 7153441 0
[pid=13132/tid=13133] ppid=13130 vsize=28769364 memory=215 CPUtime=1.41 cores=0-7
/proc/13132/task/13133/stat : 13133 (java) S 13130 13130 11861 0 -1 1077944384 10208 0 0 0 136 5 0 0 20 0 28 0 476687717 29459828736 84239 33554432000 4194304 4196468 140735107747072 139632842048640 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13134] ppid=13130 vsize=28769364 memory=56 CPUtime=0.02 cores=0-7
/proc/13132/task/13134/stat : 13134 (java) S 13130 13130 11861 0 -1 1077944384 94 0 0 0 1 1 0 0 20 0 28 0 476687718 29459828736 84239 33554432000 4194304 4196468 140735107747072 139632389425808 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13135] ppid=13130 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7
/proc/13132/task/13135/stat : 13135 (java) S 13130 13130 11861 0 -1 1077944384 72 0 0 0 1 1 0 0 20 0 28 0 476687718 29459828736 84239 33554432000 4194304 4196468 140735107747072 139632388373008 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13136] ppid=13130 vsize=28769364 memory=1452 CPUtime=0.02 cores=0-7
/proc/13132/task/13136/stat : 13136 (java) S 13130 13130 11861 0 -1 1077944384 71 0 0 0 1 1 0 0 20 0 28 0 476687718 29459828736 84239 33554432000 4194304 4196468 140735107747072 139632387320208 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13137] ppid=13130 vsize=28769364 memory=250676 CPUtime=0.02 cores=0-7
/proc/13132/task/13137/stat : 13137 (java) S 13130 13130 11861 0 -1 1077944384 113 0 0 0 1 1 0 0 20 0 28 0 476687718 29459828736 84239 33554432000 4194304 4196468 140735107747072 139632386267408 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13138] ppid=13130 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7
/proc/13132/task/13138/stat : 13138 (java) S 13130 13130 11861 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 28 0 476687718 29459828736 84239 33554432000 4194304 4196468 140735107747072 139632385215632 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13139] ppid=13130 vsize=28769364 memory=1452 CPUtime=0.02 cores=0-7
/proc/13132/task/13139/stat : 13139 (java) S 13130 13130 11861 0 -1 1077944384 78 0 0 0 1 1 0 0 20 0 28 0 476687718 29459828736 84239 33554432000 4194304 4196468 140735107747072 139632384162832 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13140] ppid=13130 vsize=28769364 memory=332676 CPUtime=0.02 cores=0-7
/proc/13132/task/13140/stat : 13140 (java) S 13130 13130 11861 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 28 0 476687718 29459828736 84239 33554432000 4194304 4196468 140735107747072 139632383110032 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13141] ppid=13130 vsize=28769364 memory=113412906444580 CPUtime=0.02 cores=0-7
/proc/13132/task/13141/stat : 13141 (java) S 13130 13130 11861 0 -1 1077944384 78 0 0 0 1 1 0 0 20 0 28 0 476687718 29459828736 84239 33554432000 4194304 4196468 140735107747072 139632382057232 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13142] ppid=13130 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13142/stat : 13142 (java) S 13130 13130 11861 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 28 0 476687719 29459828736 84239 33554432000 4194304 4196468 140735107747072 139631953828208 139632837819010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13143] ppid=13130 vsize=28769364 memory=140617363765952 CPUtime=0 cores=0-7
/proc/13132/task/13143/stat : 13143 (java) S 13130 13130 11861 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 476687720 29459828736 84239 33554432000 4194304 4196468 140735107747072 139631952774240 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13144] ppid=13130 vsize=28769364 memory=140617363765984 CPUtime=0 cores=0-7
/proc/13132/task/13144/stat : 13144 (java) S 13130 13130 11861 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 476687720 29459828736 84239 33554432000 4194304 4196468 140735107747072 139631951721344 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13145] ppid=13130 vsize=28769364 memory=140617363766016 CPUtime=0 cores=0-7
/proc/13132/task/13145/stat : 13145 (java) S 13130 13130 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476687722 29459828736 84239 33554432000 4194304 4196468 140735107747072 139631950669648 139632837826459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13146] ppid=13130 vsize=28769364 memory=140621804115583 CPUtime=2.36 cores=0-7
/proc/13132/task/13146/stat : 13146 (java) S 13130 13130 11861 0 -1 1077944384 4716 0 0 0 234 2 0 0 20 0 28 0 476687722 29459828736 84239 33554432000 4194304 4196468 140735107747072 139631949618032 139632837819010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13147] ppid=13130 vsize=28769364 memory=140617509154065 CPUtime=2.6 cores=0-7
/proc/13132/task/13147/stat : 13147 (java) S 13130 13130 11861 0 -1 1077944384 5348 0 0 0 259 1 0 0 20 0 28 0 476687722 29459828736 84239 33554432000 4194304 4196468 140735107747072 139631948565232 139632837819010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13148] ppid=13130 vsize=28769364 memory=140617509151857 CPUtime=2.17 cores=0-7
/proc/13132/task/13148/stat : 13148 (java) S 13130 13130 11861 0 -1 1077944384 4096 0 0 0 216 1 0 0 20 0 28 0 476687722 29459828736 84239 33554432000 4194304 4196468 140735107747072 139631947512432 139632837819010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13149] ppid=13130 vsize=28769364 memory=140617509149649 CPUtime=1.04 cores=0-7
/proc/13132/task/13149/stat : 13149 (java) S 13130 13130 11861 0 -1 1077944384 6462 0 0 0 103 1 0 0 20 0 28 0 476687722 29459828736 84239 33554432000 4194304 4196468 140735107747072 139631946459632 139632837819010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13150] ppid=13130 vsize=28769364 memory=56 CPUtime=0 cores=0-7
/proc/13132/task/13150/stat : 13150 (java) S 13130 13130 11861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476687723 29459828736 84239 33554432000 4194304 4196468 140735107747072 139631945407072 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13151] ppid=13130 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/13132/task/13151/stat : 13151 (java) S 13130 13130 11861 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 476687723 29459828736 84239 33554432000 4194304 4196468 140735107747072 139631944354352 139632837819010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13200] ppid=13130 vsize=28769364 memory=2241 CPUtime=3.73 cores=0-7
/proc/13132/task/13200/stat : 13200 (java) R 13130 13130 11861 0 -1 4202560 139 0 0 0 373 0 0 0 20 0 28 0 476687932 29459828736 84239 33554432000 4194304 4196468 140735107747072 139631079181488 139632483519704 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13201] ppid=13130 vsize=28769364 memory=2244 CPUtime=3.74 cores=0-7
/proc/13132/task/13201/stat : 13201 (java) R 13130 13130 11861 0 -1 4202560 100 0 0 0 374 0 0 0 20 0 28 0 476687932 29459828736 84239 33554432000 4194304 4196468 140735107747072 139631073918624 139632484220608 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13202] ppid=13130 vsize=28769364 memory=1452 CPUtime=3.52 cores=0-7
/proc/13132/task/13202/stat : 13202 (java) R 13130 13130 11861 0 -1 4202560 197 0 0 0 352 0 0 0 20 0 28 0 476687932 29459828736 84239 33554432000 4194304 4196468 140735107747072 139631077078072 139632486709196 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13203] ppid=13130 vsize=28769364 memory=3620 CPUtime=3.82 cores=0-7
/proc/13132/task/13203/stat : 13203 (java) R 13130 13130 11861 0 -1 4202560 213 0 0 0 382 0 0 0 20 0 28 0 476687932 29459828736 84239 33554432000 4194304 4196468 140735107747072 139631074972088 139632486007144 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13204] ppid=13130 vsize=28769364 memory=39364 CPUtime=3.66 cores=0-7
/proc/13132/task/13204/stat : 13204 (java) R 13130 13130 11861 0 -1 4202560 632 0 0 0 364 2 0 0 20 0 28 0 476687932 29459828736 84239 33554432000 4194304 4196468 140735107747072 139631078131784 139632479141788 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13205] ppid=13130 vsize=28769364 memory=2004 CPUtime=3.95 cores=0-7
/proc/13132/task/13205/stat : 13205 (java) R 13130 13130 11861 0 -1 4202560 180 0 0 0 395 0 0 0 20 0 28 0 476687932 29459828736 84239 33554432000 4194304 4196468 140735107747072 139631072866296 139632484458921 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13206] ppid=13130 vsize=28769364 memory=984 CPUtime=3.65 cores=0-7
/proc/13132/task/13206/stat : 13206 (java) R 13130 13130 11861 0 -1 4202560 101 0 0 0 365 0 0 0 20 0 28 0 476687932 29459828736 84239 33554432000 4194304 4196468 140735107747072 139631070760832 139632484870780 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13207] ppid=13130 vsize=28769364 memory=1324 CPUtime=3.86 cores=0-7
/proc/13132/task/13207/stat : 13207 (java) R 13130 13130 11861 0 -1 4202560 146 0 0 0 386 0 0 0 20 0 28 0 476687933 29459828736 84239 33554432000 4194304 4196468 140735107747072 139631071813672 139632484768199 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
Current children cumulated CPU time: 43.37 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 338408 KiB

[startup+6.49589 s]
# the end of solver process 13130 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=44.5527 s, system=0.285515 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.40153 s]
/proc/loadavg: 7.73 7.95 8.06 9/221 13209
/proc/meminfo: memFree=25088484/32770624 swapFree=66989032/67108860
[pid=13130] ppid=13127 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/13130/stat : 13130 (xcsp3-exec) S 13127 13130 11861 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476687716 115843072 363 33554432000 4194304 5098028 140734130003600 140734130001704 140477873934972 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 21282816 140734130008920 140734130009178 140734130009178 140734130012102 0
/proc/13130/statm: 28282 363 304 221 0 87 0
[pid=13132] ppid=13130 vsize=28769364 memory=339004 CPUtime=44.17 cores=0-7
/proc/13132/stat : 13132 (java) S 13130 13130 11861 0 -1 1077944320 35797 0 0 0 4390 27 0 0 20 0 28 0 476687717 29459828736 84751 33554432000 4194304 4196468 140735107747072 140735107729616 139632837807863 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
/proc/13132/statm: 7192341 84751 3542 1 0 7153441 0
[pid=13132/tid=13133] ppid=13130 vsize=28769364 memory=0 CPUtime=1.41 cores=0-7
/proc/13132/task/13133/stat : 13133 (java) S 13130 13130 11861 0 -1 1077944384 10208 0 0 0 136 5 0 0 20 0 28 0 476687717 29459828736 84751 33554432000 4194304 4196468 140735107747072 139632842048640 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13134] ppid=13130 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7
/proc/13132/task/13134/stat : 13134 (java) S 13130 13130 11861 0 -1 1077944384 94 0 0 0 1 1 0 0 20 0 28 0 476687718 29459828736 84751 33554432000 4194304 4196468 140735107747072 139632389425808 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13135] ppid=13130 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7
/proc/13132/task/13135/stat : 13135 (java) S 13130 13130 11861 0 -1 1077944384 72 0 0 0 1 1 0 0 20 0 28 0 476687718 29459828736 84751 33554432000 4194304 4196468 140735107747072 139632388373008 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13136] ppid=13130 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7
/proc/13132/task/13136/stat : 13136 (java) S 13130 13130 11861 0 -1 1077944384 71 0 0 0 1 1 0 0 20 0 28 0 476687718 29459828736 84751 33554432000 4194304 4196468 140735107747072 139632387320208 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13137] ppid=13130 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7
/proc/13132/task/13137/stat : 13137 (java) S 13130 13130 11861 0 -1 1077944384 113 0 0 0 1 1 0 0 20 0 28 0 476687718 29459828736 84751 33554432000 4194304 4196468 140735107747072 139632386267408 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13138] ppid=13130 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7
/proc/13132/task/13138/stat : 13138 (java) S 13130 13130 11861 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 28 0 476687718 29459828736 84751 33554432000 4194304 4196468 140735107747072 139632385215632 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13139] ppid=13130 vsize=28769364 memory=0 CPUtime=0.02 cores=0-7
/proc/13132/task/13139/stat : 13139 (java) S 13130 13130 11861 0 -1 1077944384 78 0 0 0 1 1 0 0 20 0 28 0 476687718 29459828736 84751 33554432000 4194304 4196468 140735107747072 139632384162832 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13140] ppid=13130 vsize=28769364 memory=780 CPUtime=0.02 cores=0-7
/proc/13132/task/13140/stat : 13140 (java) S 13130 13130 11861 0 -1 1077944384 30 0 0 0 1 1 0 0 20 0 28 0 476687718 29459828736 84751 33554432000 4194304 4196468 140735107747072 139632383110032 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13141] ppid=13130 vsize=28769364 memory=3620 CPUtime=0.02 cores=0-7
/proc/13132/task/13141/stat : 13141 (java) S 13130 13130 11861 0 -1 1077944384 78 0 0 0 1 1 0 0 20 0 28 0 476687718 29459828736 84751 33554432000 4194304 4196468 140735107747072 139632382057232 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13142] ppid=13130 vsize=28769364 memory=1576 CPUtime=0 cores=0-7
/proc/13132/task/13142/stat : 13142 (java) S 13130 13130 11861 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 28 0 476687719 29459828736 84751 33554432000 4194304 4196468 140735107747072 139631953828208 139632837819010 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13143] ppid=13130 vsize=28769364 memory=1028 CPUtime=0 cores=0-7
/proc/13132/task/13143/stat : 13143 (java) S 13130 13130 11861 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 476687720 29459828736 84751 33554432000 4194304 4196468 140735107747072 139631952774240 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13144] ppid=13130 vsize=28769364 memory=1060 CPUtime=0 cores=0-7
/proc/13132/task/13144/stat : 13144 (java) S 13130 13130 11861 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 476687720 29459828736 84751 33554432000 4194304 4196468 140735107747072 139631951721344 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13145] ppid=13130 vsize=28769364 memory=2828 CPUtime=0 cores=0-7
/proc/13132/task/13145/stat : 13145 (java) S 13130 13130 11861 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476687722 29459828736 84751 33554432000 4194304 4196468 140735107747072 139631950669648 139632837826459 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13146] ppid=13130 vsize=28769364 memory=756 CPUtime=2.36 cores=0-7
/proc/13132/task/13146/stat : 13146 (java) S 13130 13130 11861 0 -1 1077944384 4716 0 0 0 234 2 0 0 20 0 28 0 476687722 29459828736 84751 33554432000 4194304 4196468 140735107747072 139631949618032 139632837819010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13147] ppid=13130 vsize=28769364 memory=1548 CPUtime=2.6 cores=0-7
/proc/13132/task/13147/stat : 13147 (java) S 13130 13130 11861 0 -1 1077944384 5348 0 0 0 259 1 0 0 20 0 28 0 476687722 29459828736 84751 33554432000 4194304 4196468 140735107747072 139631948565232 139632837819010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13148] ppid=13130 vsize=28769364 memory=7976 CPUtime=2.17 cores=0-7
/proc/13132/task/13148/stat : 13148 (java) S 13130 13130 11861 0 -1 1077944384 4096 0 0 0 216 1 0 0 20 0 28 0 476687722 29459828736 84751 33554432000 4194304 4196468 140735107747072 139631947512432 139632837819010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13149] ppid=13130 vsize=28769364 memory=1 CPUtime=1.04 cores=0-7
/proc/13132/task/13149/stat : 13149 (java) S 13130 13130 11861 0 -1 1077944384 6462 0 0 0 103 1 0 0 20 0 28 0 476687722 29459828736 84751 33554432000 4194304 4196468 140735107747072 139631946459632 139632837819010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13150] ppid=13130 vsize=28769364 memory=2 CPUtime=0 cores=0-7
/proc/13132/task/13150/stat : 13150 (java) S 13130 13130 11861 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476687723 29459828736 84751 33554432000 4194304 4196468 140735107747072 139631945407072 139632837818069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13151] ppid=13130 vsize=28769364 memory=2 CPUtime=0 cores=0-7
/proc/13132/task/13151/stat : 13151 (java) S 13130 13130 11861 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 476687723 29459828736 84751 33554432000 4194304 4196468 140735107747072 139631944354352 139632837819010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13200] ppid=13130 vsize=28769364 memory=2 CPUtime=3.83 cores=0-7
/proc/13132/task/13200/stat : 13200 (java) R 13130 13130 11861 0 -1 4202560 139 0 0 0 383 0 0 0 20 0 28 0 476687932 29459828736 84751 33554432000 4194304 4196468 140735107747072 139631079181488 139632484220417 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13201] ppid=13130 vsize=28769364 memory=0 CPUtime=3.84 cores=0-7
/proc/13132/task/13201/stat : 13201 (java) R 13130 13130 11861 0 -1 4202560 100 0 0 0 384 0 0 0 20 0 28 0 476687932 29459828736 84751 33554432000 4194304 4196468 140735107747072 139631073918624 139632484150569 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13202] ppid=13130 vsize=28769364 memory=0 CPUtime=3.62 cores=0-7
/proc/13132/task/13202/stat : 13202 (java) R 13130 13130 11861 0 -1 4202560 197 0 0 0 362 0 0 0 20 0 28 0 476687932 29459828736 84751 33554432000 4194304 4196468 140735107747072 139631077078072 139632484220689 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13203] ppid=13130 vsize=28769364 memory=0 CPUtime=3.92 cores=0-7
/proc/13132/task/13203/stat : 13203 (java) R 13130 13130 11861 0 -1 4202560 213 0 0 0 392 0 0 0 20 0 28 0 476687932 29459828736 84751 33554432000 4194304 4196468 140735107747072 139631074972088 139632484220432 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13204] ppid=13130 vsize=28769364 memory=0 CPUtime=3.76 cores=0-7
/proc/13132/task/13204/stat : 13204 (java) R 13130 13130 11861 0 -1 4202560 634 0 0 0 374 2 0 0 20 0 28 0 476687932 29459828736 84751 33554432000 4194304 4196468 140735107747072 139631078131784 139632486297423 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13205] ppid=13130 vsize=28769364 memory=107 CPUtime=4.05 cores=0-7
/proc/13132/task/13205/stat : 13205 (java) R 13130 13130 11861 0 -1 4202560 180 0 0 0 405 0 0 0 20 0 28 0 476687932 29459828736 84751 33554432000 4194304 4196468 140735107747072 139631072866296 139632486936704 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13206] ppid=13130 vsize=28769364 memory=104 CPUtime=3.75 cores=0-7
/proc/13132/task/13206/stat : 13206 (java) R 13130 13130 11861 0 -1 4202560 101 0 0 0 375 0 0 0 20 0 28 0 476687932 29459828736 84751 33554432000 4194304 4196468 140735107747072 139631070760832 139632484459189 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
[pid=13132/tid=13207] ppid=13130 vsize=28769364 memory=0 CPUtime=3.96 cores=0-7
/proc/13132/task/13207/stat : 13207 (java) R 13130 13130 11861 0 -1 4202560 146 0 0 0 396 0 0 0 20 0 28 0 476687933 29459828736 84751 33554432000 4194304 4196468 140735107747072 139631071813672 139632483819253 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11915264 140735107748828 140735107749003 140735107749003 140735107751887 0
Current children cumulated CPU time: 44.17 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 340456 KiB

Child status: 0
Real time (s): 6.49594
CPU time (s): 44.8382
CPU user time (s): 44.5527
CPU system time (s): 0.285515
CPU usage (%): 690.25
Max. virtual memory (cumulated for all children) (KiB): 28882492
Max. memory (cumulated for all children) (KiB): 340456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.5527
system time used= 0.285515
maximum resident set size= 343628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38273
page faults= 0
swaps= 0
block input operations= 0
block output operations= 168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4867
involuntary context switches= 1075


# summary of solver processes directly reported to runsolver:
#   pid: 13130
#   total CPU time (s): 44.8382
#   total CPU user time (s): 44.5527
#   total CPU system time (s): 0.285515

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.084587 second user time and 0.103999 second system time

The end

Name	OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbop-30-15-1.xml
MD5SUM	b5169c90aef0d626aba0e990e84095c1
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	10
Best CPU time to get the best result obtained on this benchmark	24.2857
Satisfiable
(Un)Satisfiability was proved
Number of variables	1380
Number of constraints	1366
Number of domains	4
Minimum domain size	2
Maximum domain size	16
Distribution of domain sizes	[{"size":2,"count":900},{"size":3,"count":450},{"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 4404914

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