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.1729	6.46232

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404938-1569014004.xml"  -tl '2016s' -p 8
0.12/0.18	c Choco 3fb4b153
0.12/0.18	c [HOME/instance-4404938-1569014004.xml, -tl, 2016s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
4.90/1.45	c solve instance...
5.38/1.59	o 15 
6.86/1.75	o 14 
7.50/1.85	o 13 
8.06/1.92	o 12 
8.88/2.02	o 11 
8.88/2.03	o 10 
43.77/6.45	s OPTIMUM FOUND
43.77/6.45	v <instantiation>
43.77/6.45	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>
43.77/6.45	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>
43.77/6.45	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 (13266 MiB free)
  memory of node 1: 16384 MiB (11785 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404938-1569014004/watcher-4404938-1569014004 -o /tmp/evaluation-result-4404938-1569014004/solver-4404938-1569014004 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node104-1569000410-26068 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 484990048 HOME/instance-4404938-1569014004.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
solver pid=30916, runsolver pid=30913
Current StackSize limit: 8192 KiB


[startup+0.100141 s]*
/proc/loadavg: 8.63 8.50 8.32 4/211 30937
/proc/meminfo: memFree=25637352/32770624 swapFree=66986244/67108860
[pid=30916] ppid=30913 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/30916/stat : 30916 (xcsp3-exec) S 30913 30916 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477657289 115843072 362 33554432000 4194304 5098028 140733210308880 140733210306984 140031659315836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10072064 140733210317692 140733210317934 140733210317934 140733210320842 0
/proc/30916/statm: 28282 362 304 221 0 87 0
[pid=30918] ppid=30916 vsize=28227396 memory=29104 CPUtime=0.12 cores=0-7
/proc/30918/stat : 30918 (java) S 30916 30916 26041 0 -1 1077944320 5751 0 0 0 11 1 0 0 20 0 20 0 477657289 28904853504 7276 33554432000 4194304 4196468 140725704094912 140725704077456 140452344618743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
/proc/30918/statm: 7056849 7276 3119 1 0 7019032 0
[pid=30918/tid=30919] ppid=30916 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/30918/task/30919/stat : 30919 (java) R 30916 30916 26041 0 -1 4202560 3702 0 0 0 8 1 0 0 20 0 20 0 477657289 28904853504 7276 33554432000 4194304 4196468 140725704094912 140452348852016 140452344630678 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30920] ppid=30916 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30920/stat : 30920 (java) S 30916 30916 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477657290 28904853504 7276 33554432000 4194304 4196468 140725704094912 140452297238928 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30921] ppid=30916 vsize=28227396 memory=140647684037296 CPUtime=0 cores=0-7
/proc/30918/task/30921/stat : 30921 (java) S 30916 30916 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477657290 28904853504 7276 33554432000 4194304 4196468 140725704094912 140452296186128 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30922] ppid=30916 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30922/stat : 30922 (java) S 30916 30916 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477657290 28904853504 7276 33554432000 4194304 4196468 140725704094912 140452295133840 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30923] ppid=30916 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30923/stat : 30923 (java) S 30916 30916 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477657290 28904853504 7276 33554432000 4194304 4196468 140725704094912 140452294081040 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30924] ppid=30916 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30924/stat : 30924 (java) S 30916 30916 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477657290 28904853504 7276 33554432000 4194304 4196468 140725704094912 140452293028752 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30925] ppid=30916 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30918/task/30925/stat : 30925 (java) S 30916 30916 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477657290 28904853504 7276 33554432000 4194304 4196468 140725704094912 140452291975952 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30926] ppid=30916 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30926/stat : 30926 (java) S 30916 30916 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477657290 28904853504 7276 33554432000 4194304 4196468 140725704094912 140452290923664 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30927] ppid=30916 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30927/stat : 30927 (java) S 30916 30916 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477657290 28904853504 7276 33554432000 4194304 4196468 140725704094912 140452289870864 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30928] ppid=30916 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30928/stat : 30928 (java) S 30916 30916 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477657292 28904853504 7276 33554432000 4194304 4196468 140725704094912 140451528005744 140452344629890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30929] ppid=30916 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30929/stat : 30929 (java) S 30916 30916 26041 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477657292 28904853504 7276 33554432000 4194304 4196468 140725704094912 140451526951712 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30930] ppid=30916 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30930/stat : 30930 (java) S 30916 30916 26041 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477657292 28904853504 7276 33554432000 4194304 4196468 140725704094912 140451525899376 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30931] ppid=30916 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30931/stat : 30931 (java) S 30916 30916 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477657295 28904853504 7276 33554432000 4194304 4196468 140725704094912 140451524847696 140452344637339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30932] ppid=30916 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30932/stat : 30932 (java) S 30916 30916 26041 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 477657295 28904853504 7276 33554432000 4194304 4196468 140725704094912 140451523795568 140452344629890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30933] ppid=30916 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30933/stat : 30933 (java) S 30916 30916 26041 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 477657295 28904853504 7276 33554432000 4194304 4196468 140725704094912 140451522742768 140452344629890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30934] ppid=30916 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30934/stat : 30934 (java) S 30916 30916 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477657295 28904853504 7276 33554432000 4194304 4196468 140725704094912 140451521690480 140452344629890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30935] ppid=30916 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/30918/task/30935/stat : 30935 (java) R 30916 30916 26041 0 -1 4202560 319 0 0 0 1 0 0 0 20 0 20 0 477657295 28904853504 7276 33554432000 4194304 4196468 140725704094912 140451520637680 140452323544454 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30936] ppid=30916 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30936/stat : 30936 (java) S 30916 30916 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477657295 28904853504 7276 33554432000 4194304 4196468 140725704094912 140451519584608 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30937] ppid=30916 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30918/task/30937/stat : 30937 (java) S 30916 30916 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477657295 28904853504 7276 33554432000 4194304 4196468 140725704094912 140451518531888 140452344629890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30552 KiB

[startup+0.210203 s]*
/proc/loadavg: 8.63 8.50 8.32 2/211 30937
/proc/meminfo: memFree=25623668/32770624 swapFree=66986244/67108860
[pid=30916] ppid=30913 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/30916/stat : 30916 (xcsp3-exec) S 30913 30916 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477657289 115843072 362 33554432000 4194304 5098028 140733210308880 140733210306984 140031659315836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10072064 140733210317692 140733210317934 140733210317934 140733210320842 0
/proc/30916/statm: 28282 362 304 221 0 87 0
[pid=30918] ppid=30916 vsize=28227396 memory=41208 CPUtime=0.33 cores=0-7
/proc/30918/stat : 30918 (java) S 30916 30916 26041 0 -1 1077944320 9531 0 0 0 30 3 0 0 20 0 20 0 477657289 28904853504 10302 33554432000 4194304 4196468 140725704094912 140725704077456 140452344618743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
/proc/30918/statm: 7056849 10302 3301 1 0 7019032 0
[pid=30918/tid=30919] ppid=30916 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/30918/task/30919/stat : 30919 (java) R 30916 30916 26041 0 -1 4202560 6651 0 0 0 17 2 0 0 20 0 20 0 477657289 28904853504 10302 33554432000 4194304 4196468 140725704094912 140452348848176 140451956993302 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30920] ppid=30916 vsize=28227396 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/30918/task/30920/stat : 30920 (java) S 30916 30916 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477657290 28904853504 10302 33554432000 4194304 4196468 140725704094912 140452297238928 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30921] ppid=30916 vsize=28227396 memory=288371023835727488 CPUtime=0 cores=0-7
/proc/30918/task/30921/stat : 30921 (java) S 30916 30916 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477657290 28904853504 10302 33554432000 4194304 4196468 140725704094912 140452296186128 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30922] ppid=30916 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30918/task/30922/stat : 30922 (java) S 30916 30916 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477657290 28904853504 10302 33554432000 4194304 4196468 140725704094912 140452295133840 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30923] ppid=30916 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30923/stat : 30923 (java) S 30916 30916 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477657290 28904853504 10302 33554432000 4194304 4196468 140725704094912 140452294081040 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30924] ppid=30916 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30924/stat : 30924 (java) S 30916 30916 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477657290 28904853504 10302 33554432000 4194304 4196468 140725704094912 140452293028752 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30925] ppid=30916 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30918/task/30925/stat : 30925 (java) S 30916 30916 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477657290 28904853504 10302 33554432000 4194304 4196468 140725704094912 140452291975952 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30926] ppid=30916 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30926/stat : 30926 (java) S 30916 30916 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477657290 28904853504 10302 33554432000 4194304 4196468 140725704094912 140452290923664 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30927] ppid=30916 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30927/stat : 30927 (java) S 30916 30916 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477657290 28904853504 10302 33554432000 4194304 4196468 140725704094912 140452289870864 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30928] ppid=30916 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30928/stat : 30928 (java) S 30916 30916 26041 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477657292 28904853504 10302 33554432000 4194304 4196468 140725704094912 140451528005744 140452344629890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30929] ppid=30916 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30929/stat : 30929 (java) S 30916 30916 26041 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477657292 28904853504 10302 33554432000 4194304 4196468 140725704094912 140451526951712 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30930] ppid=30916 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30930/stat : 30930 (java) S 30916 30916 26041 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477657292 28904853504 10302 33554432000 4194304 4196468 140725704094912 140451525899376 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30931] ppid=30916 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30931/stat : 30931 (java) S 30916 30916 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477657295 28904853504 10302 33554432000 4194304 4196468 140725704094912 140451524847696 140452344637339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30932] ppid=30916 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/30918/task/30932/stat : 30932 (java) S 30916 30916 26041 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 20 0 477657295 28904853504 10302 33554432000 4194304 4196468 140725704094912 140451523795568 140452344629890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30933] ppid=30916 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/30918/task/30933/stat : 30933 (java) R 30916 30916 26041 0 -1 1077944384 154 0 0 0 2 0 0 0 20 0 20 0 477657295 28904853504 10302 33554432000 4194304 4196468 140725704094912 140451522742768 140452344629890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30934] ppid=30916 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/30918/task/30934/stat : 30934 (java) S 30916 30916 26041 0 -1 1077944384 176 0 0 0 2 0 0 0 20 0 20 0 477657295 28904853504 10302 33554432000 4194304 4196468 140725704094912 140451521690480 140452344629890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30935] ppid=30916 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/30918/task/30935/stat : 30935 (java) R 30916 30916 26041 0 -1 4202560 727 0 0 0 7 0 0 0 20 0 20 0 477657295 28904853504 10302 33554432000 4194304 4196468 140725704094912 140451520637680 140452344640090 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30936] ppid=30916 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30936/stat : 30936 (java) S 30916 30916 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477657295 28904853504 10302 33554432000 4194304 4196468 140725704094912 140451519584608 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30937] ppid=30916 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/30918/task/30937/stat : 30937 (java) S 30916 30916 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477657295 28904853504 10302 33554432000 4194304 4196468 140725704094912 140451518531888 140452344629890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42656 KiB

[startup+0.309616 s]*
/proc/loadavg: 8.63 8.50 8.32 5/211 30937
/proc/meminfo: memFree=25616264/32770624 swapFree=66986244/67108860
[pid=30916] ppid=30913 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/30916/stat : 30916 (xcsp3-exec) S 30913 30916 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477657289 115843072 362 33554432000 4194304 5098028 140733210308880 140733210306984 140031659315836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10072064 140733210317692 140733210317934 140733210317934 140733210320842 0
/proc/30916/statm: 28282 362 304 221 0 87 0
[pid=30918] ppid=30916 vsize=28231652 memory=49800 CPUtime=0.52 cores=0-7
/proc/30918/stat : 30918 (java) S 30916 30916 26041 0 -1 1077944320 10847 0 0 0 48 4 0 0 20 0 20 0 477657289 28909211648 12450 33554432000 4194304 4196468 140725704094912 140725704077456 140452344618743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
/proc/30918/statm: 7057913 12450 3345 1 0 7019032 0
[pid=30918/tid=30919] ppid=30916 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/30918/task/30919/stat : 30919 (java) R 30916 30916 26041 0 -1 4202560 7761 0 0 0 26 3 0 0 20 0 20 0 477657289 28909211648 12450 33554432000 4194304 4196468 140725704094912 140452348849856 140452344640669 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30920] ppid=30916 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30920/stat : 30920 (java) S 30916 30916 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477657290 28909211648 12450 33554432000 4194304 4196468 140725704094912 140452297238928 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30921] ppid=30916 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30921/stat : 30921 (java) S 30916 30916 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477657290 28909211648 12450 33554432000 4194304 4196468 140725704094912 140452296186128 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30922] ppid=30916 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30922/stat : 30922 (java) S 30916 30916 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477657290 28909211648 12450 33554432000 4194304 4196468 140725704094912 140452295133840 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30923] ppid=30916 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30923/stat : 30923 (java) S 30916 30916 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477657290 28909211648 12450 33554432000 4194304 4196468 140725704094912 140452294081040 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30924] ppid=30916 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30924/stat : 30924 (java) S 30916 30916 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477657290 28909211648 12450 33554432000 4194304 4196468 140725704094912 140452293028752 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30925] ppid=30916 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30925/stat : 30925 (java) S 30916 30916 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477657290 28909211648 12450 33554432000 4194304 4196468 140725704094912 140452291975952 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30926] ppid=30916 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30926/stat : 30926 (java) S 30916 30916 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477657290 28909211648 12450 33554432000 4194304 4196468 140725704094912 140452290923664 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30927] ppid=30916 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30927/stat : 30927 (java) S 30916 30916 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477657290 28909211648 12450 33554432000 4194304 4196468 140725704094912 140452289870864 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30928] ppid=30916 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30928/stat : 30928 (java) S 30916 30916 26041 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477657292 28909211648 12450 33554432000 4194304 4196468 140725704094912 140451528005744 140452344629890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30929] ppid=30916 vsize=28231652 memory=281295125159296 CPUtime=0 cores=0-7
/proc/30918/task/30929/stat : 30929 (java) S 30916 30916 26041 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477657292 28909211648 12450 33554432000 4194304 4196468 140725704094912 140451526951712 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30930] ppid=30916 vsize=28231652 memory=281295125163904 CPUtime=0 cores=0-7
/proc/30918/task/30930/stat : 30930 (java) S 30916 30916 26041 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477657292 28909211648 12450 33554432000 4194304 4196468 140725704094912 140451525899376 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30931] ppid=30916 vsize=28231652 memory=281295125168512 CPUtime=0 cores=0-7
/proc/30918/task/30931/stat : 30931 (java) S 30916 30916 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477657295 28909211648 12450 33554432000 4194304 4196468 140725704094912 140451524847696 140452344637339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30932] ppid=30916 vsize=28231652 memory=281295125173120 CPUtime=0.01 cores=0-7
/proc/30918/task/30932/stat : 30932 (java) S 30916 30916 26041 0 -1 1077944384 522 0 0 0 1 0 0 0 20 0 20 0 477657295 28909211648 12450 33554432000 4194304 4196468 140725704094912 140451523795568 140452344629890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30933] ppid=30916 vsize=28231652 memory=281295125177728 CPUtime=0.03 cores=0-7
/proc/30918/task/30933/stat : 30933 (java) S 30916 30916 26041 0 -1 1077944384 163 0 0 0 3 0 0 0 20 0 20 0 477657295 28909211648 12450 33554432000 4194304 4196468 140725704094912 140451522742768 140452344629890 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30934] ppid=30916 vsize=28231652 memory=281295125182336 CPUtime=0.04 cores=0-7
/proc/30918/task/30934/stat : 30934 (java) R 30916 30916 26041 0 -1 4202560 264 0 0 0 4 0 0 0 20 0 20 0 477657295 28909211648 12450 33554432000 4194304 4196468 140725704094912 140451521690480 140452323860775 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30935] ppid=30916 vsize=28231652 memory=281295125186944 CPUtime=0.12 cores=0-7
/proc/30918/task/30935/stat : 30935 (java) S 30916 30916 26041 0 -1 1077944384 826 0 0 0 12 0 0 0 20 0 20 0 477657295 28909211648 12450 33554432000 4194304 4196468 140725704094912 140451520637680 140452344629890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30936] ppid=30916 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30936/stat : 30936 (java) S 30916 30916 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477657295 28909211648 12450 33554432000 4194304 4196468 140725704094912 140451519584608 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30937] ppid=30916 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/30918/task/30937/stat : 30937 (java) S 30916 30916 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477657295 28909211648 12450 33554432000 4194304 4196468 140725704094912 140451518531888 140452344629890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51248 KiB

[startup+0.700917 s]
/proc/loadavg: 8.63 8.50 8.32 6/211 30937
/proc/meminfo: memFree=25596332/32770624 swapFree=66986244/67108860
[pid=30916] ppid=30913 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/30916/stat : 30916 (xcsp3-exec) S 30913 30916 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477657289 115843072 362 33554432000 4194304 5098028 140733210308880 140733210306984 140031659315836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10072064 140733210317692 140733210317934 140733210317934 140733210320842 0
/proc/30916/statm: 28282 362 304 221 0 87 0
[pid=30918] ppid=30916 vsize=28233776 memory=94536 CPUtime=1.96 cores=0-7
/proc/30918/stat : 30918 (java) S 30916 30916 26041 0 -1 1077944320 16361 0 0 0 190 6 0 0 20 0 20 0 477657289 28911386624 23634 33554432000 4194304 4196468 140725704094912 140725704077456 140452344618743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
/proc/30918/statm: 7058444 23634 3450 1 0 7019544 0
[pid=30918/tid=30919] ppid=30916 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7
/proc/30918/task/30919/stat : 30919 (java) R 30916 30916 26041 0 -1 4202560 9281 0 0 0 63 4 0 0 20 0 20 0 477657289 28911386624 23634 33554432000 4194304 4196468 140725704094912 140452348854304 140452344630678 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30920] ppid=30916 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30920/stat : 30920 (java) S 30916 30916 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477657290 28911386624 23634 33554432000 4194304 4196468 140725704094912 140452297238928 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30921] ppid=30916 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30921/stat : 30921 (java) S 30916 30916 26041 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477657290 28911386624 23634 33554432000 4194304 4196468 140725704094912 140452296186128 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30922] ppid=30916 vsize=28233776 memory=1056 CPUtime=0 cores=0-7
/proc/30918/task/30922/stat : 30922 (java) S 30916 30916 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477657290 28911386624 23634 33554432000 4194304 4196468 140725704094912 140452295133840 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0

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

[pid=30918/tid=30987] ppid=30916 vsize=28769364 memory=-8458152057954561420 CPUtime=0.88 cores=0-7
/proc/30918/task/30987/stat : 30987 (java) R 30916 30916 26041 0 -1 4202560 75 0 0 0 88 0 0 0 20 0 28 0 477657492 29459828736 62832 33554432000 4194304 4196468 140725704094912 140451499847120 140451966463167 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30988] ppid=30916 vsize=28769364 memory=1448 CPUtime=0.78 cores=0-7
/proc/30918/task/30988/stat : 30988 (java) R 30916 30916 26041 0 -1 4202560 46 0 0 0 78 0 0 0 20 0 28 0 477657492 29459828736 62832 33554432000 4194304 4196468 140725704094912 140451498796688 140451966138123 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30989] ppid=30916 vsize=28769364 memory=245336 CPUtime=0.63 cores=0-7
/proc/30918/task/30989/stat : 30989 (java) R 30916 30916 26041 0 -1 4202560 144 0 0 0 63 0 0 0 20 0 28 0 477657492 29459828736 62832 33554432000 4194304 4196468 140725704094912 140451503005960 140451966138104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30990] ppid=30916 vsize=28769364 memory=7957689449132282197 CPUtime=0.79 cores=0-7
/proc/30918/task/30990/stat : 30990 (java) R 30916 30916 26041 0 -1 4202560 120 0 0 0 79 0 0 0 20 0 28 0 477657492 29459828736 62832 33554432000 4194304 4196468 140725704094912 140451505111672 140451964135360 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30991] ppid=30916 vsize=28769364 memory=1760 CPUtime=0.69 cores=0-7
/proc/30918/task/30991/stat : 30991 (java) R 30916 30916 26041 0 -1 4202560 82 0 0 0 69 0 0 0 20 0 28 0 477657492 29459828736 62832 33554432000 4194304 4196468 140725704094912 140451500901000 140451965699946 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30992] ppid=30916 vsize=28769364 memory=916 CPUtime=0.73 cores=0-7
/proc/30918/task/30992/stat : 30992 (java) R 30916 30916 26041 0 -1 4202560 166 0 0 0 73 0 0 0 20 0 28 0 477657492 29459828736 62832 33554432000 4194304 4196468 140725704094912 140451504057496 140451964135360 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30993] ppid=30916 vsize=28769364 memory=4576 CPUtime=0.69 cores=0-7
/proc/30918/task/30993/stat : 30993 (java) R 30916 30916 26041 0 -1 4202560 61 0 0 0 69 0 0 0 20 0 28 0 477657493 29459828736 62832 33554432000 4194304 4196468 140725704094912 140451507214784 140451965700366 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
Current children cumulated CPU time: 17.62 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 252776 KiB

[startup+6.30193 s]
/proc/loadavg: 8.90 8.56 8.34 9/219 30993
/proc/meminfo: memFree=25313744/32770624 swapFree=66986244/67108860
[pid=30916] ppid=30913 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/30916/stat : 30916 (xcsp3-exec) S 30913 30916 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477657289 115843072 362 33554432000 4194304 5098028 140733210308880 140733210306984 140031659315836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10072064 140733210317692 140733210317934 140733210317934 140733210320842 0
/proc/30916/statm: 28282 362 304 221 0 87 0
[pid=30918] ppid=30916 vsize=28769364 memory=360156 CPUtime=42.97 cores=0-7
/proc/30918/stat : 30918 (java) S 30916 30916 26041 0 -1 1077944320 43104 0 0 0 4267 30 0 0 20 0 28 0 477657289 29459828736 90039 33554432000 4194304 4196468 140725704094912 140725704077456 140452344618743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
/proc/30918/statm: 7192341 90039 3539 1 0 7153441 0
[pid=30918/tid=30919] ppid=30916 vsize=28769364 memory=343716 CPUtime=1.44 cores=0-7
/proc/30918/task/30919/stat : 30919 (java) S 30916 30916 26041 0 -1 1077944384 10317 0 0 0 138 6 0 0 20 0 28 0 477657289 29459828736 90039 33554432000 4194304 4196468 140725704094912 140452348859520 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30920] ppid=30916 vsize=28769364 memory=1112 CPUtime=0.01 cores=0-7
/proc/30918/task/30920/stat : 30920 (java) S 30916 30916 26041 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 28 0 477657290 29459828736 90039 33554432000 4194304 4196468 140725704094912 140452297238928 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30921] ppid=30916 vsize=28769364 memory=56 CPUtime=0.02 cores=0-7
/proc/30918/task/30921/stat : 30921 (java) S 30916 30916 26041 0 -1 1077944384 72 0 0 0 1 1 0 0 20 0 28 0 477657290 29459828736 90039 33554432000 4194304 4196468 140725704094912 140452296186128 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30922] ppid=30916 vsize=28769364 memory=8514726395714820750 CPUtime=0.01 cores=0-7
/proc/30918/task/30922/stat : 30922 (java) S 30916 30916 26041 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 28 0 477657290 29459828736 90039 33554432000 4194304 4196468 140725704094912 140452295133840 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30923] ppid=30916 vsize=28769364 memory=7822038051842263957 CPUtime=0.01 cores=0-7
/proc/30918/task/30923/stat : 30923 (java) S 30916 30916 26041 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 28 0 477657290 29459828736 90039 33554432000 4194304 4196468 140725704094912 140452294081040 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30924] ppid=30916 vsize=28769364 memory=1448 CPUtime=0.02 cores=0-7
/proc/30918/task/30924/stat : 30924 (java) S 30916 30916 26041 0 -1 1077944384 48 0 0 0 1 1 0 0 20 0 28 0 477657290 29459828736 90039 33554432000 4194304 4196468 140725704094912 140452293028752 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30925] ppid=30916 vsize=28769364 memory=248940 CPUtime=0.01 cores=0-7
/proc/30918/task/30925/stat : 30925 (java) S 30916 30916 26041 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 28 0 477657290 29459828736 90039 33554432000 4194304 4196468 140725704094912 140452291975952 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30926] ppid=30916 vsize=28769364 memory=6944656592455097440 CPUtime=0.02 cores=0-7
/proc/30918/task/30926/stat : 30926 (java) S 30916 30916 26041 0 -1 1077944384 50 0 0 0 1 1 0 0 20 0 28 0 477657290 29459828736 90039 33554432000 4194304 4196468 140725704094912 140452290923664 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30927] ppid=30916 vsize=28769364 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/30918/task/30927/stat : 30927 (java) S 30916 30916 26041 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 477657290 29459828736 90039 33554432000 4194304 4196468 140725704094912 140452289870864 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30928] ppid=30916 vsize=28769364 memory=1448 CPUtime=0.01 cores=0-7
/proc/30918/task/30928/stat : 30928 (java) S 30916 30916 26041 0 -1 1077944384 232 0 0 0 1 0 0 0 20 0 28 0 477657292 29459828736 90039 33554432000 4194304 4196468 140725704094912 140451528005744 140452344629890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30929] ppid=30916 vsize=28769364 memory=246052 CPUtime=0 cores=0-7
/proc/30918/task/30929/stat : 30929 (java) S 30916 30916 26041 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 477657292 29459828736 90039 33554432000 4194304 4196468 140725704094912 140451526951776 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30930] ppid=30916 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30930/stat : 30930 (java) S 30916 30916 26041 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 477657292 29459828736 90039 33554432000 4194304 4196468 140725704094912 140451525899392 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30931] ppid=30916 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30931/stat : 30931 (java) S 30916 30916 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477657295 29459828736 90039 33554432000 4194304 4196468 140725704094912 140451524847696 140452344637339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30932] ppid=30916 vsize=28769364 memory=5788911507359232418 CPUtime=2.63 cores=0-7
/proc/30918/task/30932/stat : 30932 (java) S 30916 30916 26041 0 -1 1077944384 7255 0 0 0 260 3 0 0 20 0 28 0 477657295 29459828736 90039 33554432000 4194304 4196468 140725704094912 140451523795568 140452344629890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30933] ppid=30916 vsize=28769364 memory=6791534058613427641 CPUtime=2.66 cores=0-7
/proc/30918/task/30933/stat : 30933 (java) R 30916 30916 26041 0 -1 4202560 7395 0 0 0 265 1 0 0 20 0 28 0 477657295 29459828736 90039 33554432000 4194304 4196468 140725704094912 140451522743064 140452328514798 0 4 0 16800975 0 0 0 -1 1 0 0 12 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30934] ppid=30916 vsize=28769364 memory=-6664436420846797971 CPUtime=3.16 cores=0-7
/proc/30918/task/30934/stat : 30934 (java) S 30916 30916 26041 0 -1 1077944384 6703 0 0 0 315 1 0 0 20 0 28 0 477657295 29459828736 90039 33554432000 4194304 4196468 140725704094912 140451521690480 140452344629890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30935] ppid=30916 vsize=28769364 memory=7827413994055111515 CPUtime=1.05 cores=0-7
/proc/30918/task/30935/stat : 30935 (java) S 30916 30916 26041 0 -1 1077944384 6451 0 0 0 103 2 0 0 20 0 28 0 477657295 29459828736 90039 33554432000 4194304 4196468 140725704094912 140451520637680 140452344629890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30936] ppid=30916 vsize=28769364 memory=6576575808607069864 CPUtime=0 cores=0-7
/proc/30918/task/30936/stat : 30936 (java) S 30916 30916 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477657295 29459828736 90039 33554432000 4194304 4196468 140725704094912 140451519584608 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30937] ppid=30916 vsize=28769364 memory=-5703089324956351702 CPUtime=0 cores=0-7
/proc/30918/task/30937/stat : 30937 (java) S 30916 30916 26041 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 477657295 29459828736 90039 33554432000 4194304 4196468 140725704094912 140451518531888 140452344629890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30986] ppid=30916 vsize=28769364 memory=1448 CPUtime=3.78 cores=0-7
/proc/30918/task/30986/stat : 30986 (java) R 30916 30916 26041 0 -1 4202560 257 0 0 0 378 0 0 0 20 0 28 0 477657492 29459828736 90039 33554432000 4194304 4196468 140725704094912 140451506162776 140451965943547 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30987] ppid=30916 vsize=28769364 memory=3616 CPUtime=3.97 cores=0-7
/proc/30918/task/30987/stat : 30987 (java) R 30916 30916 26041 0 -1 4202560 110 0 0 0 397 0 0 0 20 0 28 0 477657492 29459828736 90039 33554432000 4194304 4196468 140725704094912 140451499847408 140451966138057 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30988] ppid=30916 vsize=28769364 memory=55808 CPUtime=3.78 cores=0-7
/proc/30918/task/30988/stat : 30988 (java) R 30916 30916 26041 0 -1 4202560 93 0 0 0 378 0 0 0 20 0 28 0 477657492 29459828736 90039 33554432000 4194304 4196468 140725704094912 140451498795480 140451968492980 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30989] ppid=30916 vsize=28769364 memory=988 CPUtime=3.6 cores=0-7
/proc/30918/task/30989/stat : 30989 (java) R 30916 30916 26041 0 -1 4202560 356 0 0 0 357 3 0 0 20 0 28 0 477657492 29459828736 90039 33554432000 4194304 4196468 140725704094912 140451503006368 140451965791546 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30990] ppid=30916 vsize=28769364 memory=2004 CPUtime=3.68 cores=0-7
/proc/30918/task/30990/stat : 30990 (java) R 30916 30916 26041 0 -1 4202560 243 0 0 0 367 1 0 0 20 0 28 0 477657492 29459828736 90039 33554432000 4194304 4196468 140725704094912 140451505111768 140451965944438 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30991] ppid=30916 vsize=28769364 memory=1416 CPUtime=3.52 cores=0-7
/proc/30918/task/30991/stat : 30991 (java) R 30916 30916 26041 0 -1 4202560 138 0 0 0 352 0 0 0 20 0 28 0 477657492 29459828736 90039 33554432000 4194304 4196468 140725704094912 140451500901016 140451968866975 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30992] ppid=30916 vsize=28769364 memory=1712 CPUtime=3.85 cores=0-7
/proc/30918/task/30992/stat : 30992 (java) R 30916 30916 26041 0 -1 4202560 421 0 0 0 385 0 0 0 20 0 28 0 477657492 29459828736 90039 33554432000 4194304 4196468 140725704094912 140451504058376 140451966463275 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30993] ppid=30916 vsize=28769364 memory=281295125587104 CPUtime=3.43 cores=0-7
/proc/30918/task/30993/stat : 30993 (java) R 30916 30916 26041 0 -1 4202560 252 0 0 0 343 0 0 0 20 0 28 0 477657493 29459828736 90039 33554432000 4194304 4196468 140725704094912 140451507215752 140451965432609 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
Current children cumulated CPU time: 42.97 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 361604 KiB

[startup+6.46228 s]
# the end of solver process 30916 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=43.8539 s, system=0.319072 s

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

[startup+6.40192 s]
/proc/loadavg: 8.90 8.56 8.34 9/219 30993
/proc/meminfo: memFree=25313744/32770624 swapFree=66986244/67108860
[pid=30916] ppid=30913 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/30916/stat : 30916 (xcsp3-exec) S 30913 30916 26041 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477657289 115843072 362 33554432000 4194304 5098028 140733210308880 140733210306984 140031659315836 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10072064 140733210317692 140733210317934 140733210317934 140733210320842 0
/proc/30916/statm: 28282 362 304 221 0 87 0
[pid=30918] ppid=30916 vsize=28769364 memory=364252 CPUtime=43.77 cores=0-7
/proc/30918/stat : 30918 (java) S 30916 30916 26041 0 -1 1077944320 43300 0 0 0 4347 30 0 0 20 0 28 0 477657289 29459828736 91063 33554432000 4194304 4196468 140725704094912 140725704077456 140452344618743 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
/proc/30918/statm: 7192341 91063 3539 1 0 7153441 0
[pid=30918/tid=30919] ppid=30916 vsize=28769364 memory=-3833726747341067623 CPUtime=1.44 cores=0-7
/proc/30918/task/30919/stat : 30919 (java) S 30916 30916 26041 0 -1 1077944384 10317 0 0 0 138 6 0 0 20 0 28 0 477657289 29459828736 91063 33554432000 4194304 4196468 140725704094912 140452348859520 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30920] ppid=30916 vsize=28769364 memory=-2748367524519556131 CPUtime=0.01 cores=0-7
/proc/30918/task/30920/stat : 30920 (java) S 30916 30916 26041 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 28 0 477657290 29459828736 91063 33554432000 4194304 4196468 140725704094912 140452297238928 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30921] ppid=30916 vsize=28769364 memory=-7814691523512926820 CPUtime=0.02 cores=0-7
/proc/30918/task/30921/stat : 30921 (java) S 30916 30916 26041 0 -1 1077944384 72 0 0 0 1 1 0 0 20 0 28 0 477657290 29459828736 91063 33554432000 4194304 4196468 140725704094912 140452296186128 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30922] ppid=30916 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7
/proc/30918/task/30922/stat : 30922 (java) S 30916 30916 26041 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 28 0 477657290 29459828736 91063 33554432000 4194304 4196468 140725704094912 140452295133840 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30923] ppid=30916 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7
/proc/30918/task/30923/stat : 30923 (java) S 30916 30916 26041 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 28 0 477657290 29459828736 91063 33554432000 4194304 4196468 140725704094912 140452294081040 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30924] ppid=30916 vsize=28769364 memory=692 CPUtime=0.02 cores=0-7
/proc/30918/task/30924/stat : 30924 (java) S 30916 30916 26041 0 -1 1077944384 48 0 0 0 1 1 0 0 20 0 28 0 477657290 29459828736 91063 33554432000 4194304 4196468 140725704094912 140452293028752 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30925] ppid=30916 vsize=28769364 memory=1056 CPUtime=0.01 cores=0-7
/proc/30918/task/30925/stat : 30925 (java) S 30916 30916 26041 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 28 0 477657290 29459828736 91063 33554432000 4194304 4196468 140725704094912 140452291975952 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30926] ppid=30916 vsize=28769364 memory=1556 CPUtime=0.02 cores=0-7
/proc/30918/task/30926/stat : 30926 (java) S 30916 30916 26041 0 -1 1077944384 50 0 0 0 1 1 0 0 20 0 28 0 477657290 29459828736 91063 33554432000 4194304 4196468 140725704094912 140452290923664 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30927] ppid=30916 vsize=28769364 memory=780 CPUtime=0 cores=0-7
/proc/30918/task/30927/stat : 30927 (java) S 30916 30916 26041 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 477657290 29459828736 91063 33554432000 4194304 4196468 140725704094912 140452289870864 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30928] ppid=30916 vsize=28769364 memory=3616 CPUtime=0.01 cores=0-7
/proc/30918/task/30928/stat : 30928 (java) S 30916 30916 26041 0 -1 1077944384 232 0 0 0 1 0 0 0 20 0 28 0 477657292 29459828736 91063 33554432000 4194304 4196468 140725704094912 140451528005744 140452344629890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30929] ppid=30916 vsize=28769364 memory=1112 CPUtime=0 cores=0-7
/proc/30918/task/30929/stat : 30929 (java) S 30916 30916 26041 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 477657292 29459828736 91063 33554432000 4194304 4196468 140725704094912 140451526951776 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30930] ppid=30916 vsize=28769364 memory=5916 CPUtime=0 cores=0-7
/proc/30918/task/30930/stat : 30930 (java) S 30916 30916 26041 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 477657292 29459828736 91063 33554432000 4194304 4196468 140725704094912 140451525899392 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30931] ppid=30916 vsize=28769364 memory=7552 CPUtime=0 cores=0-7
/proc/30918/task/30931/stat : 30931 (java) S 30916 30916 26041 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477657295 29459828736 91063 33554432000 4194304 4196468 140725704094912 140451524847696 140452344637339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30932] ppid=30916 vsize=28769364 memory=57 CPUtime=2.63 cores=0-7
/proc/30918/task/30932/stat : 30932 (java) S 30916 30916 26041 0 -1 1077944384 7255 0 0 0 260 3 0 0 20 0 28 0 477657295 29459828736 91063 33554432000 4194304 4196468 140725704094912 140451523795568 140452344629890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30933] ppid=30916 vsize=28769364 memory=1898397 CPUtime=2.68 cores=0-7
/proc/30918/task/30933/stat : 30933 (java) S 30916 30916 26041 0 -1 1077944384 7548 0 0 0 267 1 0 0 20 0 28 0 477657295 29459828736 91063 33554432000 4194304 4196468 140725704094912 140451522742768 140452344629890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30934] ppid=30916 vsize=28769364 memory=1900253 CPUtime=3.16 cores=0-7
/proc/30918/task/30934/stat : 30934 (java) S 30916 30916 26041 0 -1 1077944384 6741 0 0 0 315 1 0 0 20 0 28 0 477657295 29459828736 91063 33554432000 4194304 4196468 140725704094912 140451521690480 140452344629890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30935] ppid=30916 vsize=28769364 memory=281295125430496 CPUtime=1.05 cores=0-7
/proc/30918/task/30935/stat : 30935 (java) S 30916 30916 26041 0 -1 1077944384 6451 0 0 0 103 2 0 0 20 0 28 0 477657295 29459828736 91063 33554432000 4194304 4196468 140725704094912 140451520637680 140452344629890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 6 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30936] ppid=30916 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30936/stat : 30936 (java) S 30916 30916 26041 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477657295 29459828736 91063 33554432000 4194304 4196468 140725704094912 140451519584608 140452344628949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30937] ppid=30916 vsize=28769364 memory=0 CPUtime=0 cores=0-7
/proc/30918/task/30937/stat : 30937 (java) S 30916 30916 26041 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 477657295 29459828736 91063 33554432000 4194304 4196468 140725704094912 140451518531888 140452344629890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30986] ppid=30916 vsize=28769364 memory=0 CPUtime=3.88 cores=0-7
/proc/30918/task/30986/stat : 30986 (java) R 30916 30916 26041 0 -1 4202560 257 0 0 0 388 0 0 0 20 0 28 0 477657492 29459828736 91063 33554432000 4194304 4196468 140725704094912 140451506162776 140452326025007 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30987] ppid=30916 vsize=28769364 memory=0 CPUtime=4.07 cores=0-7
/proc/30918/task/30987/stat : 30987 (java) R 30916 30916 26041 0 -1 4202560 110 0 0 0 407 0 0 0 20 0 28 0 477657492 29459828736 91063 33554432000 4194304 4196468 140725704094912 140451499847408 140451965790405 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30988] ppid=30916 vsize=28769364 memory=0 CPUtime=3.88 cores=0-7
/proc/30918/task/30988/stat : 30988 (java) R 30916 30916 26041 0 -1 4202560 93 0 0 0 388 0 0 0 20 0 28 0 477657492 29459828736 91063 33554432000 4194304 4196468 140725704094912 140451498795480 140451967919893 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30989] ppid=30916 vsize=28769364 memory=0 CPUtime=3.7 cores=0-7
/proc/30918/task/30989/stat : 30989 (java) R 30916 30916 26041 0 -1 4202560 358 0 0 0 367 3 0 0 20 0 28 0 477657492 29459828736 91063 33554432000 4194304 4196468 140725704094912 140451503006368 140451965699573 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30990] ppid=30916 vsize=28769364 memory=1448 CPUtime=3.78 cores=0-7
/proc/30918/task/30990/stat : 30990 (java) R 30916 30916 26041 0 -1 4202560 243 0 0 0 377 1 0 0 20 0 28 0 477657492 29459828736 91063 33554432000 4194304 4196468 140725704094912 140451505111768 140451966137308 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30991] ppid=30916 vsize=28769364 memory=329076 CPUtime=3.62 cores=0-7
/proc/30918/task/30991/stat : 30991 (java) R 30916 30916 26041 0 -1 4202560 138 0 0 0 362 0 0 0 20 0 28 0 477657492 29459828736 91063 33554432000 4194304 4196468 140725704094912 140451500901016 140451966294278 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30992] ppid=30916 vsize=28769364 memory=0 CPUtime=3.95 cores=0-7
/proc/30918/task/30992/stat : 30992 (java) R 30916 30916 26041 0 -1 4202560 424 0 0 0 395 0 0 0 20 0 28 0 477657492 29459828736 91063 33554432000 4194304 4196468 140725704094912 140451504058376 140451965433381 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
[pid=30918/tid=30993] ppid=30916 vsize=28769364 memory=0 CPUtime=3.52 cores=0-7
/proc/30918/task/30993/stat : 30993 (java) R 30916 30916 26041 0 -1 4202560 252 0 0 0 352 0 0 0 20 0 28 0 477657493 29459828736 91063 33554432000 4194304 4196468 140725704094912 140451507215752 140451965699230 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36290560 140725704102896 140725704103067 140725704103067 140725704105935 0
Current children cumulated CPU time: 43.77 s
Current children cumulated vsize: 28882492 KiB
Current children cumulated memory: 365700 KiB

Child status: 0
Real time (s): 6.46232
CPU time (s): 44.1729
CPU user time (s): 43.8539
CPU system time (s): 0.319072
CPU usage (%): 683.546
Max. virtual memory (cumulated for all children) (KiB): 28882492
Max. memory (cumulated for all children) (KiB): 365700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.8539
system time used= 0.319072
maximum resident set size= 364676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44633
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4769
involuntary context switches= 1151


# summary of solver processes directly reported to runsolver:
#   pid: 30916
#   total CPU time (s): 44.1729
#   total CPU user time (s): 43.8539
#   total CPU system time (s): 0.319072

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.074916 second user time and 0.11103 second system time

The end

Name	OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-30-15-1.xml
MD5SUM	097039f9865a2fa48b7d42a66e75794b
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	23.1546
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 4404938

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