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	OPT	10	25.3385	6.73885

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404038-1568992481.xml"  -tl '2400s' -p 4
0.13/0.17	c Choco 3fb4b153
0.13/0.18	c [HOME/instance-4404038-1568992481.xml, -tl, 2400s, -p, 4]
0.13/0.22	c 4 solvers in parallel
0.34/0.28	c parse instance...
3.14/1.18	c solve instance...
3.44/1.28	o 15 
3.81/1.34	o 14 
3.81/1.35	o 13 
3.81/1.37	o 12 
5.37/1.72	o 11 
5.37/1.73	o 10 
25.20/6.73	s OPTIMUM FOUND
25.20/6.73	v <instantiation>
25.20/6.73	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>
25.20/6.73	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>
25.20/6.73	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 (1242 MiB free)
  memory of node 1: 16384 MiB (3078 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404038-1568992481/watcher-4404038-1568992481 -o /var/tmp/evaluation-result-4404038-1568992481/solver-4404038-1568992481 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1568988386-31612 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 356120863 HOME/instance-4404038-1568992481.xml 

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

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

solver pid=8062, runsolver pid=8059

[startup+0.100719 s]*
/proc/loadavg: 8.25 8.38 8.29 6/235 8078
/proc/meminfo: memFree=4409660/32770624 swapFree=66976740/67108860
[pid=8062] ppid=8059 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8062/stat : 8062 (xcsp3-exec) S 8059 8062 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475188235 115843072 363 33554432000 4194304 5098028 140727450259600 140727450257704 140568542589564 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27746304 140727450268503 140727450268761 140727450268761 140727450271686 0
/proc/8062/statm: 28282 363 304 221 0 87 0
[pid=8064] ppid=8062 vsize=15144776 memory=29104 CPUtime=0.13 cores=1,3,5,7
/proc/8064/stat : 8064 (java) S 8062 8062 31580 0 -1 1077944320 5681 0 0 0 12 1 0 0 20 0 15 0 475188235 15508250624 7276 33554432000 4194304 4196468 140726566585728 140726566568272 140390734511863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
/proc/8064/statm: 3786194 7276 3204 1 0 3748377 0
[pid=8064/tid=8065] ppid=8062 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/8064/task/8065/stat : 8065 (java) R 8062 8062 31580 0 -1 4202560 3579 0 0 0 9 0 0 0 20 0 15 0 475188236 15508250624 7276 33554432000 4194304 4196468 140726566585728 140390738733920 140390726748990 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8066] ppid=8062 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8066/stat : 8066 (java) S 8062 8062 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475188236 15508250624 7276 33554432000 4194304 4196468 140726566585728 140390326394000 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8067] ppid=8062 vsize=15144776 memory=139907226023552 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8067/stat : 8067 (java) S 8062 8062 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475188236 15508250624 7276 33554432000 4194304 4196468 140726566585728 140390325341200 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8068] ppid=8062 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8068/stat : 8068 (java) S 8062 8062 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475188236 15508250624 7276 33554432000 4194304 4196468 140726566585728 140390324288400 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8069] ppid=8062 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8069/stat : 8069 (java) S 8062 8062 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475188236 15508250624 7276 33554432000 4194304 4196468 140726566585728 140390323235600 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8070] ppid=8062 vsize=15144776 memory=139907226023552 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8070/stat : 8070 (java) S 8062 8062 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475188238 15508250624 7276 33554432000 4194304 4196468 140726566585728 140390270331248 140390734523010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8071] ppid=8062 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8071/stat : 8071 (java) S 8062 8062 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475188238 15508250624 7276 33554432000 4194304 4196468 140726566585728 140390269277216 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8072] ppid=8062 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8072/stat : 8072 (java) S 8062 8062 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475188238 15508250624 7276 33554432000 4194304 4196468 140726566585728 140390268224368 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8073] ppid=8062 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8073/stat : 8073 (java) S 8062 8062 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475188241 15508250624 7276 33554432000 4194304 4196468 140726566585728 140390199977808 140390734530459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8074] ppid=8062 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8074/stat : 8074 (java) S 8062 8062 31580 0 -1 1077944384 471 0 0 0 0 0 0 0 20 0 15 0 475188241 15508250624 7276 33554432000 4194304 4196468 140726566585728 140390198926192 140390734523010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8075] ppid=8062 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8075/stat : 8075 (java) S 8062 8062 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475188241 15508250624 7276 33554432000 4194304 4196468 140726566585728 140390197873392 140390734523010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8076] ppid=8062 vsize=15144776 memory=139907226023552 CPUtime=0.02 cores=1,3,5,7
/proc/8064/task/8076/stat : 8076 (java) R 8062 8062 31580 0 -1 4202560 328 0 0 0 2 0 0 0 20 0 15 0 475188241 15508250624 7276 33554432000 4194304 4196468 140726566585728 140390196820592 140390713168076 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8077] ppid=8062 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8077/stat : 8077 (java) S 8062 8062 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475188241 15508250624 7276 33554432000 4194304 4196468 140726566585728 140390195768032 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8078] ppid=8062 vsize=15144776 memory=139907226023552 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8078/stat : 8078 (java) S 8062 8062 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475188241 15508250624 7276 33554432000 4194304 4196468 140726566585728 140390194715312 140390734523010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30556 KiB

[startup+0.210857 s]*
/proc/loadavg: 8.25 8.38 8.29 6/235 8078
/proc/meminfo: memFree=4395812/32770624 swapFree=66976740/67108860
[pid=8062] ppid=8059 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8062/stat : 8062 (xcsp3-exec) S 8059 8062 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475188235 115843072 363 33554432000 4194304 5098028 140727450259600 140727450257704 140568542589564 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27746304 140727450268503 140727450268761 140727450268761 140727450271686 0
/proc/8062/statm: 28282 363 304 221 0 87 0
[pid=8064] ppid=8062 vsize=15144776 memory=41000 CPUtime=0.34 cores=1,3,5,7
/proc/8064/stat : 8064 (java) S 8062 8062 31580 0 -1 1077944320 9459 0 0 0 31 3 0 0 20 0 15 0 475188235 15508250624 10250 33554432000 4194304 4196468 140726566585728 140726566568272 140390734511863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
/proc/8064/statm: 3786194 10250 3320 1 0 3748377 0
[pid=8064/tid=8065] ppid=8062 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/8064/task/8065/stat : 8065 (java) R 8062 8062 31580 0 -1 4202560 6614 0 0 0 18 2 0 0 20 0 15 0 475188236 15508250624 10250 33554432000 4194304 4196468 140726566585728 140390738742416 140390351056327 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8066] ppid=8062 vsize=15144776 memory=4296933242 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8066/stat : 8066 (java) S 8062 8062 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475188236 15508250624 10250 33554432000 4194304 4196468 140726566585728 140390326394000 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8067] ppid=8062 vsize=15144776 memory=139907227989600 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8067/stat : 8067 (java) S 8062 8062 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475188236 15508250624 10250 33554432000 4194304 4196468 140726566585728 140390325341200 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8068] ppid=8062 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8068/stat : 8068 (java) S 8062 8062 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475188236 15508250624 10250 33554432000 4194304 4196468 140726566585728 140390324288400 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8069] ppid=8062 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8069/stat : 8069 (java) S 8062 8062 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475188236 15508250624 10250 33554432000 4194304 4196468 140726566585728 140390323235600 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8070] ppid=8062 vsize=15144776 memory=139907226023552 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8070/stat : 8070 (java) S 8062 8062 31580 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475188238 15508250624 10250 33554432000 4194304 4196468 140726566585728 140390270331248 140390734523010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8071] ppid=8062 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8071/stat : 8071 (java) S 8062 8062 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475188238 15508250624 10250 33554432000 4194304 4196468 140726566585728 140390269277216 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8072] ppid=8062 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8072/stat : 8072 (java) S 8062 8062 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475188238 15508250624 10250 33554432000 4194304 4196468 140726566585728 140390268224368 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8073] ppid=8062 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8073/stat : 8073 (java) S 8062 8062 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475188241 15508250624 10250 33554432000 4194304 4196468 140726566585728 140390199977808 140390734530459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8074] ppid=8062 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8064/task/8074/stat : 8074 (java) S 8062 8062 31580 0 -1 1077944384 572 0 0 0 2 0 0 0 20 0 15 0 475188241 15508250624 10250 33554432000 4194304 4196468 140726566585728 140390198926192 140390734523010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8075] ppid=8062 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8064/task/8075/stat : 8075 (java) S 8062 8062 31580 0 -1 1077944384 199 0 0 0 2 0 0 0 20 0 15 0 475188241 15508250624 10250 33554432000 4194304 4196468 140726566585728 140390197873392 140390734523010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8076] ppid=8062 vsize=15144776 memory=139907226023552 CPUtime=0.08 cores=1,3,5,7
/proc/8064/task/8076/stat : 8076 (java) R 8062 8062 31580 0 -1 4202560 779 0 0 0 8 0 0 0 20 0 15 0 475188241 15508250624 10250 33554432000 4194304 4196468 140726566585728 140390196820592 140390713480760 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8077] ppid=8062 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8077/stat : 8077 (java) S 8062 8062 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475188241 15508250624 10250 33554432000 4194304 4196468 140726566585728 140390195768032 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8078] ppid=8062 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8078/stat : 8078 (java) S 8062 8062 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475188241 15508250624 10250 33554432000 4194304 4196468 140726566585728 140390194715312 140390734523010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42452 KiB

[startup+0.310786 s]*
/proc/loadavg: 8.25 8.38 8.29 6/235 8078
/proc/meminfo: memFree=4388656/32770624 swapFree=66976740/67108860
[pid=8062] ppid=8059 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8062/stat : 8062 (xcsp3-exec) S 8059 8062 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475188235 115843072 363 33554432000 4194304 5098028 140727450259600 140727450257704 140568542589564 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27746304 140727450268503 140727450268761 140727450268761 140727450271686 0
/proc/8062/statm: 28282 363 304 221 0 87 0
[pid=8064] ppid=8062 vsize=15149032 memory=49748 CPUtime=0.52 cores=1,3,5,7
/proc/8064/stat : 8064 (java) S 8062 8062 31580 0 -1 1077944320 10769 0 0 0 48 4 0 0 20 0 15 0 475188235 15512608768 12437 33554432000 4194304 4196468 140726566585728 140726566568272 140390734511863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
/proc/8064/statm: 3787258 12437 3355 1 0 3748377 0
[pid=8064/tid=8065] ppid=8062 vsize=15149032 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/8064/task/8065/stat : 8065 (java) R 8062 8062 31580 0 -1 4202560 7826 0 0 0 28 2 0 0 20 0 15 0 475188236 15512608768 12437 33554432000 4194304 4196468 140726566585728 140390738742976 140390718592350 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8066] ppid=8062 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8066/stat : 8066 (java) S 8062 8062 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475188236 15512608768 12437 33554432000 4194304 4196468 140726566585728 140390326394000 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8067] ppid=8062 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8067/stat : 8067 (java) S 8062 8062 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475188236 15512608768 12437 33554432000 4194304 4196468 140726566585728 140390325341200 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8068] ppid=8062 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8068/stat : 8068 (java) S 8062 8062 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475188236 15512608768 12437 33554432000 4194304 4196468 140726566585728 140390324288400 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8069] ppid=8062 vsize=15149032 memory=-2893623298589923098 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8069/stat : 8069 (java) S 8062 8062 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475188236 15512608768 12437 33554432000 4194304 4196468 140726566585728 140390323235600 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8070] ppid=8062 vsize=15149032 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8070/stat : 8070 (java) S 8062 8062 31580 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475188238 15512608768 12437 33554432000 4194304 4196468 140726566585728 140390270331248 140390734523010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8071] ppid=8062 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8071/stat : 8071 (java) S 8062 8062 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475188238 15512608768 12437 33554432000 4194304 4196468 140726566585728 140390269277216 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8072] ppid=8062 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8072/stat : 8072 (java) S 8062 8062 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475188238 15512608768 12437 33554432000 4194304 4196468 140726566585728 140390268224368 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8073] ppid=8062 vsize=15149032 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8073/stat : 8073 (java) S 8062 8062 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475188241 15512608768 12437 33554432000 4194304 4196468 140726566585728 140390199977808 140390734530459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8074] ppid=8062 vsize=15149032 memory=7018948424217292952 CPUtime=0.03 cores=1,3,5,7
/proc/8064/task/8074/stat : 8074 (java) S 8062 8062 31580 0 -1 1077944384 584 0 0 0 3 0 0 0 20 0 15 0 475188241 15512608768 12437 33554432000 4194304 4196468 140726566585728 140390198926192 140390734523010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8075] ppid=8062 vsize=15149032 memory=6944656425123485561 CPUtime=0.04 cores=1,3,5,7
/proc/8064/task/8075/stat : 8075 (java) S 8062 8062 31580 0 -1 1077944384 218 0 0 0 4 0 0 0 20 0 15 0 475188241 15512608768 12437 33554432000 4194304 4196468 140726566585728 140390197873392 140390734523010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8076] ppid=8062 vsize=15149032 memory=-7739291672887926688 CPUtime=0.12 cores=1,3,5,7
/proc/8064/task/8076/stat : 8076 (java) S 8062 8062 31580 0 -1 1077944384 864 0 0 0 12 0 0 0 20 0 15 0 475188241 15512608768 12437 33554432000 4194304 4196468 140726566585728 140390196820592 140390734523010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8077] ppid=8062 vsize=15149032 memory=8514701219781834910 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8077/stat : 8077 (java) S 8062 8062 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475188241 15512608768 12437 33554432000 4194304 4196468 140726566585728 140390195768032 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8078] ppid=8062 vsize=15149032 memory=4627849528958935443 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8078/stat : 8078 (java) S 8062 8062 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475188241 15512608768 12437 33554432000 4194304 4196468 140726566585728 140390194715312 140390734523010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51200 KiB

[startup+0.708692 s]
/proc/loadavg: 8.25 8.38 8.29 9/235 8078
/proc/meminfo: memFree=4367416/32770624 swapFree=66976740/67108860
[pid=8062] ppid=8059 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8062/stat : 8062 (xcsp3-exec) S 8059 8062 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475188235 115843072 363 33554432000 4194304 5098028 140727450259600 140727450257704 140568542589564 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27746304 140727450268503 140727450268761 140727450268761 140727450271686 0
/proc/8062/statm: 28282 363 304 221 0 87 0
[pid=8064] ppid=8062 vsize=15151156 memory=91084 CPUtime=1.8 cores=1,3,5,7
/proc/8064/stat : 8064 (java) S 8062 8062 31580 0 -1 1077944320 15326 0 0 0 174 6 0 0 20 0 15 0 475188235 15514783744 22771 33554432000 4194304 4196468 140726566585728 140726566568272 140390734511863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
/proc/8064/statm: 3787789 22771 3460 1 0 3748889 0
[pid=8064/tid=8065] ppid=8062 vsize=15151156 memory=-9110635228796802480 CPUtime=0.68 cores=1,3,5,7
/proc/8064/task/8065/stat : 8065 (java) R 8062 8062 31580 0 -1 4202560 9135 0 0 0 65 3 0 0 20 0 15 0 475188236 15514783744 22771 33554432000 4194304 4196468 140726566585728 140390738749264 140390734523798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8066] ppid=8062 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8066/stat : 8066 (java) S 8062 8062 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475188236 15514783744 22771 33554432000 4194304 4196468 140726566585728 140390326394000 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8067] ppid=8062 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8067/stat : 8067 (java) S 8062 8062 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475188236 15514783744 22771 33554432000 4194304 4196468 140726566585728 140390325341200 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8068] ppid=8062 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8068/stat : 8068 (java) S 8062 8062 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475188236 15514783744 22771 33554432000 4194304 4196468 140726566585728 140390324288400 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8069] ppid=8062 vsize=15151156 memory=56 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8069/stat : 8069 (java) S 8062 8062 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475188236 15514783744 22771 33554432000 4194304 4196468 140726566585728 140390323235600 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8070] ppid=8062 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8070/stat : 8070 (java) S 8062 8062 31580 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475188238 15514783744 22771 33554432000 4194304 4196468 140726566585728 140390270331248 140390734523010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8071] ppid=8062 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8071/stat : 8071 (java) S 8062 8062 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475188238 15514783744 22771 33554432000 4194304 4196468 140726566585728 140390269277216 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8072] ppid=8062 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8072/stat : 8072 (java) S 8062 8062 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475188238 15514783744 22771 33554432000 4194304 4196468 140726566585728 140390268224368 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8073] ppid=8062 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8073/stat : 8073 (java) S 8062 8062 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475188241 15514783744 22771 33554432000 4194304 4196468 140726566585728 140390199977808 140390734530459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8074] ppid=8062 vsize=15151156 memory=1660 CPUtime=0.36 cores=1,3,5,7
/proc/8064/task/8074/stat : 8074 (java) S 8062 8062 31580 0 -1 1077944384 1574 0 0 0 36 0 0 0 20 0 15 0 475188241 15514783744 22771 33554432000 4194304 4196468 140726566585728 140390198926192 140390734523010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8075] ppid=8062 vsize=15151156 memory=55892 CPUtime=0.32 cores=1,3,5,7
/proc/8064/task/8075/stat : 8075 (java) S 8062 8062 31580 0 -1 1077944384 1057 0 0 0 32 0 0 0 20 0 15 0 475188241 15514783744 22771 33554432000 4194304 4196468 140726566585728 140390197873392 140390734523010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8076] ppid=8062 vsize=15151156 memory=988 CPUtime=0.41 cores=1,3,5,7
/proc/8064/task/8076/stat : 8076 (java) R 8062 8062 31580 0 -1 4202560 2252 0 0 0 40 1 0 0 20 0 15 0 475188241 15514783744 22771 33554432000 4194304 4196468 140726566585728 140390196818552 140390713471747 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8077] ppid=8062 vsize=15151156 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8077/stat : 8077 (java) S 8062 8062 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475188241 15514783744 22771 33554432000 4194304 4196468 140726566585728 140390195768032 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8078] ppid=8062 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8078/stat : 8078 (java) S 8062 8062 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475188241 15514783744 22771 33554432000 4194304 4196468 140726566585728 140390194715312 140390734523010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 92536 KiB

[startup+1.5024 s]
/proc/loadavg: 8.25 8.38 8.29 9/235 8078
/proc/meminfo: memFree=4289540/32770624 swapFree=66976740/67108860
[pid=8062] ppid=8059 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8062/stat : 8062 (xcsp3-exec) S 8059 8062 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475188235 115843072 363 33554432000 4194304 5098028 140727450259600 140727450257704 140568542589564 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27746304 140727450268503 140727450268761 140727450268761 140727450271686 0
/proc/8062/statm: 28282 363 304 221 0 87 0

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

/proc/8064/task/8106/stat : 8106 (java) R 8062 8062 31580 0 -1 4202560 146 0 0 0 373 1 0 0 20 0 19 0 475188410 15790579712 60820 33554432000 4194304 4196468 140726566585728 140390180242696 140390358883829 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
Current children cumulated CPU time: 23.61 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 244732 KiB

[startup+6.73879 s]
# the end of solver process 8062 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=25.1707 s, system=0.167782 s

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

[startup+6.40169 s]
/proc/loadavg: 8.55 8.44 8.31 9/239 8107
/proc/meminfo: memFree=4177472/32770624 swapFree=66976740/67108860
[pid=8062] ppid=8059 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8062/stat : 8062 (xcsp3-exec) S 8059 8062 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475188235 115843072 363 33554432000 4194304 5098028 140727450259600 140727450257704 140568542589564 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27746304 140727450268503 140727450268761 140727450268761 140727450271686 0
/proc/8062/statm: 28282 363 304 221 0 87 0
[pid=8064] ppid=8062 vsize=15420488 memory=247376 CPUtime=24 cores=1,3,5,7
/proc/8064/stat : 8064 (java) S 8062 8062 31580 0 -1 1077944320 30370 0 0 0 2385 15 0 0 20 0 19 0 475188235 15790579712 61844 33554432000 4194304 4196468 140726566585728 140726566568272 140390734511863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
/proc/8064/statm: 3855122 61844 3532 1 0 3816222 0
[pid=8064/tid=8065] ppid=8062 vsize=15420488 memory=1564 CPUtime=1.17 cores=1,3,5,7
/proc/8064/task/8065/stat : 8065 (java) S 8062 8062 31580 0 -1 1077944384 11958 0 0 0 112 5 0 0 20 0 19 0 475188236 15790579712 61844 33554432000 4194304 4196468 140726566585728 140390738752640 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8066] ppid=8062 vsize=15420488 memory=8112282956445269571 CPUtime=0.02 cores=1,3,5,7
/proc/8064/task/8066/stat : 8066 (java) S 8062 8062 31580 0 -1 1077944384 341 0 0 0 2 0 0 0 20 0 19 0 475188236 15790579712 61844 33554432000 4194304 4196468 140726566585728 140390326394000 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8067] ppid=8062 vsize=15420488 memory=-3252517613199061085 CPUtime=0.02 cores=1,3,5,7
/proc/8064/task/8067/stat : 8067 (java) S 8062 8062 31580 0 -1 1077944384 60 0 0 0 2 0 0 0 20 0 19 0 475188236 15790579712 61844 33554432000 4194304 4196468 140726566585728 140390325341200 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8068] ppid=8062 vsize=15420488 memory=9023629670928638048 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8068/stat : 8068 (java) S 8062 8062 31580 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 475188236 15790579712 61844 33554432000 4194304 4196468 140726566585728 140390324288400 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8069] ppid=8062 vsize=15420488 memory=9023629670928638048 CPUtime=0.01 cores=1,3,5,7
/proc/8064/task/8069/stat : 8069 (java) S 8062 8062 31580 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 19 0 475188236 15790579712 61844 33554432000 4194304 4196468 140726566585728 140390323235600 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8070] ppid=8062 vsize=15420488 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8070/stat : 8070 (java) S 8062 8062 31580 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 19 0 475188238 15790579712 61844 33554432000 4194304 4196468 140726566585728 140390270331248 140390734523010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8071] ppid=8062 vsize=15420488 memory=69363721846548 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8071/stat : 8071 (java) S 8062 8062 31580 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 475188238 15790579712 61844 33554432000 4194304 4196468 140726566585728 140390269277280 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8072] ppid=8062 vsize=15420488 memory=297237808158998381 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8072/stat : 8072 (java) S 8062 8062 31580 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475188238 15790579712 61844 33554432000 4194304 4196468 140726566585728 140390268224384 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8073] ppid=8062 vsize=15420488 memory=14127844772937675 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8073/stat : 8073 (java) S 8062 8062 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475188241 15790579712 61844 33554432000 4194304 4196468 140726566585728 140390199977808 140390734530459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8074] ppid=8062 vsize=15420488 memory=6944656425122961013 CPUtime=2.85 cores=1,3,5,7
/proc/8064/task/8074/stat : 8074 (java) S 8062 8062 31580 0 -1 1077944384 5404 0 0 0 284 1 0 0 20 0 19 0 475188241 15790579712 61844 33554432000 4194304 4196468 140726566585728 140390198926192 140390734523010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8075] ppid=8062 vsize=15420488 memory=-6237260532469557610 CPUtime=2.62 cores=1,3,5,7
/proc/8064/task/8075/stat : 8075 (java) S 8062 8062 31580 0 -1 1077944384 4773 0 0 0 262 0 0 0 20 0 19 0 475188241 15790579712 61844 33554432000 4194304 4196468 140726566585728 140390197873392 140390734523010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8076] ppid=8062 vsize=15420488 memory=0 CPUtime=0.97 cores=1,3,5,7
/proc/8064/task/8076/stat : 8076 (java) S 8062 8062 31580 0 -1 1077944384 4379 0 0 0 95 2 0 0 20 0 19 0 475188241 15790579712 61844 33554432000 4194304 4196468 140726566585728 140390196820592 140390734523010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8077] ppid=8062 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8077/stat : 8077 (java) S 8062 8062 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475188241 15790579712 61844 33554432000 4194304 4196468 140726566585728 140390195768032 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8078] ppid=8062 vsize=15420488 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8078/stat : 8078 (java) S 8062 8062 31580 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 475188241 15790579712 61844 33554432000 4194304 4196468 140726566585728 140390194715312 140390734523010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8103] ppid=8062 vsize=15420488 memory=7230645025961766505 CPUtime=3.81 cores=1,3,5,7
/proc/8064/task/8103/stat : 8103 (java) R 8062 8062 31580 0 -1 4202560 74 0 0 0 381 0 0 0 20 0 19 0 475188409 15790579712 61844 33554432000 4194304 4196468 140726566585728 140390182345576 140390359414542 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8104] ppid=8062 vsize=15420488 memory=7665813109468653398 CPUtime=3.55 cores=1,3,5,7
/proc/8064/task/8104/stat : 8104 (java) R 8062 8062 31580 0 -1 4202560 373 0 0 0 355 0 0 0 20 0 19 0 475188409 15790579712 61844 33554432000 4194304 4196468 140726566585728 140390179188128 140390360144953 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8105] ppid=8062 vsize=15420488 memory=3618993484337802342 CPUtime=4.06 cores=1,3,5,7
/proc/8064/task/8105/stat : 8105 (java) R 8062 8062 31580 0 -1 4202560 407 0 0 0 406 0 0 0 20 0 19 0 475188409 15790579712 61844 33554432000 4194304 4196468 140726566585728 140390181294568 140390360164734 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8106] ppid=8062 vsize=15420488 memory=2320257830834749286 CPUtime=3.84 cores=1,3,5,7
/proc/8064/task/8106/stat : 8106 (java) R 8062 8062 31580 0 -1 4202560 147 0 0 0 383 1 0 0 20 0 19 0 475188410 15790579712 61844 33554432000 4194304 4196468 140726566585728 140390180242696 140390359413466 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
Current children cumulated CPU time: 24 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 248828 KiB

[startup+6.6017 s]
/proc/loadavg: 8.55 8.44 8.31 9/239 8107
/proc/meminfo: memFree=4177472/32770624 swapFree=66976740/67108860
[pid=8062] ppid=8059 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8062/stat : 8062 (xcsp3-exec) S 8059 8062 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475188235 115843072 363 33554432000 4194304 5098028 140727450259600 140727450257704 140568542589564 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27746304 140727450268503 140727450268761 140727450268761 140727450271686 0
/proc/8062/statm: 28282 363 304 221 0 87 0
[pid=8064] ppid=8062 vsize=15420488 memory=253520 CPUtime=24.8 cores=1,3,5,7
/proc/8064/stat : 8064 (java) S 8062 8062 31580 0 -1 1077944320 30384 0 0 0 2465 15 0 0 20 0 19 0 475188235 15790579712 63380 33554432000 4194304 4196468 140726566585728 140726566568272 140390734511863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
/proc/8064/statm: 3855122 63380 3532 1 0 3816222 0
[pid=8064/tid=8065] ppid=8062 vsize=15420488 memory=0 CPUtime=1.17 cores=1,3,5,7
/proc/8064/task/8065/stat : 8065 (java) S 8062 8062 31580 0 -1 1077944384 11958 0 0 0 112 5 0 0 20 0 19 0 475188236 15790579712 63380 33554432000 4194304 4196468 140726566585728 140390738752640 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8066] ppid=8062 vsize=15420488 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8064/task/8066/stat : 8066 (java) S 8062 8062 31580 0 -1 1077944384 341 0 0 0 2 0 0 0 20 0 19 0 475188236 15790579712 63380 33554432000 4194304 4196468 140726566585728 140390326394000 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8067] ppid=8062 vsize=15420488 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8064/task/8067/stat : 8067 (java) S 8062 8062 31580 0 -1 1077944384 60 0 0 0 2 0 0 0 20 0 19 0 475188236 15790579712 63380 33554432000 4194304 4196468 140726566585728 140390325341200 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8068] ppid=8062 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8068/stat : 8068 (java) S 8062 8062 31580 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 475188236 15790579712 63380 33554432000 4194304 4196468 140726566585728 140390324288400 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8069] ppid=8062 vsize=15420488 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8064/task/8069/stat : 8069 (java) S 8062 8062 31580 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 19 0 475188236 15790579712 63380 33554432000 4194304 4196468 140726566585728 140390323235600 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8070] ppid=8062 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8070/stat : 8070 (java) S 8062 8062 31580 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 19 0 475188238 15790579712 63380 33554432000 4194304 4196468 140726566585728 140390270331248 140390734523010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8071] ppid=8062 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8071/stat : 8071 (java) S 8062 8062 31580 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 475188238 15790579712 63380 33554432000 4194304 4196468 140726566585728 140390269277280 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8072] ppid=8062 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8072/stat : 8072 (java) S 8062 8062 31580 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475188238 15790579712 63380 33554432000 4194304 4196468 140726566585728 140390268224384 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8073] ppid=8062 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8073/stat : 8073 (java) S 8062 8062 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475188241 15790579712 63380 33554432000 4194304 4196468 140726566585728 140390199977808 140390734530459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8074] ppid=8062 vsize=15420488 memory=279814166639512 CPUtime=2.85 cores=1,3,5,7
/proc/8064/task/8074/stat : 8074 (java) S 8062 8062 31580 0 -1 1077944384 5404 0 0 0 284 1 0 0 20 0 19 0 475188241 15790579712 63380 33554432000 4194304 4196468 140726566585728 140390198926192 140390734523010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8075] ppid=8062 vsize=15420488 memory=0 CPUtime=2.62 cores=1,3,5,7
/proc/8064/task/8075/stat : 8075 (java) S 8062 8062 31580 0 -1 1077944384 4773 0 0 0 262 0 0 0 20 0 19 0 475188241 15790579712 63380 33554432000 4194304 4196468 140726566585728 140390197873392 140390734523010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8076] ppid=8062 vsize=15420488 memory=1 CPUtime=0.97 cores=1,3,5,7
/proc/8064/task/8076/stat : 8076 (java) S 8062 8062 31580 0 -1 1077944384 4379 0 0 0 95 2 0 0 20 0 19 0 475188241 15790579712 63380 33554432000 4194304 4196468 140726566585728 140390196820592 140390734523010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8077] ppid=8062 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8077/stat : 8077 (java) S 8062 8062 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475188241 15790579712 63380 33554432000 4194304 4196468 140726566585728 140390195768032 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8078] ppid=8062 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8078/stat : 8078 (java) S 8062 8062 31580 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 475188241 15790579712 63380 33554432000 4194304 4196468 140726566585728 140390194715312 140390734523010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8103] ppid=8062 vsize=15420488 memory=0 CPUtime=4.01 cores=1,3,5,7
/proc/8064/task/8103/stat : 8103 (java) R 8062 8062 31580 0 -1 4202560 77 0 0 0 401 0 0 0 20 0 19 0 475188409 15790579712 63380 33554432000 4194304 4196468 140726566585728 140390182345576 140390358530047 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8104] ppid=8062 vsize=15420488 memory=0 CPUtime=3.75 cores=1,3,5,7
/proc/8064/task/8104/stat : 8104 (java) R 8062 8062 31580 0 -1 4202560 376 0 0 0 375 0 0 0 20 0 19 0 475188409 15790579712 63380 33554432000 4194304 4196468 140726566585728 140390179188128 140390361153856 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8105] ppid=8062 vsize=15420488 memory=273 CPUtime=4.26 cores=1,3,5,7
/proc/8064/task/8105/stat : 8105 (java) R 8062 8062 31580 0 -1 4202560 411 0 0 0 426 0 0 0 20 0 19 0 475188409 15790579712 63380 33554432000 4194304 4196468 140726566585728 140390181294568 140390359413306 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8106] ppid=8062 vsize=15420488 memory=247 CPUtime=4.04 cores=1,3,5,7
/proc/8064/task/8106/stat : 8106 (java) R 8062 8062 31580 0 -1 4202560 151 0 0 0 403 1 0 0 20 0 19 0 475188410 15790579712 63380 33554432000 4194304 4196468 140726566585728 140390180242696 140390361508798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
Current children cumulated CPU time: 24.8 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 254972 KiB

[startup+6.70169 s]
/proc/loadavg: 8.55 8.44 8.31 9/239 8107
/proc/meminfo: memFree=4177472/32770624 swapFree=66976740/67108860
[pid=8062] ppid=8059 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8062/stat : 8062 (xcsp3-exec) S 8059 8062 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475188235 115843072 363 33554432000 4194304 5098028 140727450259600 140727450257704 140568542589564 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27746304 140727450268503 140727450268761 140727450268761 140727450271686 0
/proc/8062/statm: 28282 363 304 221 0 87 0
[pid=8064] ppid=8062 vsize=15420488 memory=257636 CPUtime=25.2 cores=1,3,5,7
/proc/8064/stat : 8064 (java) S 8062 8062 31580 0 -1 1077944320 31002 0 0 0 2505 15 0 0 20 0 19 0 475188235 15790579712 64409 33554432000 4194304 4196468 140726566585728 140726566568272 140390734511863 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
/proc/8064/statm: 3855122 64409 3532 1 0 3816222 0
[pid=8064/tid=8065] ppid=8062 vsize=15420488 memory=8112282956445269571 CPUtime=1.17 cores=1,3,5,7
/proc/8064/task/8065/stat : 8065 (java) S 8062 8062 31580 0 -1 1077944384 11958 0 0 0 112 5 0 0 20 0 19 0 475188236 15790579712 64409 33554432000 4194304 4196468 140726566585728 140390738752640 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8066] ppid=8062 vsize=15420488 memory=10604 CPUtime=0.02 cores=1,3,5,7
/proc/8064/task/8066/stat : 8066 (java) S 8062 8062 31580 0 -1 1077944384 341 0 0 0 2 0 0 0 20 0 19 0 475188236 15790579712 64409 33554432000 4194304 4196468 140726566585728 140390326394000 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8067] ppid=8062 vsize=15420488 memory=249424 CPUtime=0.02 cores=1,3,5,7
/proc/8064/task/8067/stat : 8067 (java) S 8062 8062 31580 0 -1 1077944384 60 0 0 0 2 0 0 0 20 0 19 0 475188236 15790579712 64409 33554432000 4194304 4196468 140726566585728 140390325341200 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8068] ppid=8062 vsize=15420488 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8068/stat : 8068 (java) S 8062 8062 31580 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 19 0 475188236 15790579712 64409 33554432000 4194304 4196468 140726566585728 140390324288400 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8069] ppid=8062 vsize=15420488 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8064/task/8069/stat : 8069 (java) S 8062 8062 31580 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 19 0 475188236 15790579712 64409 33554432000 4194304 4196468 140726566585728 140390323235600 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8070] ppid=8062 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8070/stat : 8070 (java) S 8062 8062 31580 0 -1 1077944384 254 0 0 0 0 0 0 0 20 0 19 0 475188238 15790579712 64409 33554432000 4194304 4196468 140726566585728 140390270331248 140390734523010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8071] ppid=8062 vsize=15420488 memory=139907083371681 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8071/stat : 8071 (java) S 8062 8062 31580 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 475188238 15790579712 64409 33554432000 4194304 4196468 140726566585728 140390269277280 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8072] ppid=8062 vsize=15420488 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8072/stat : 8072 (java) S 8062 8062 31580 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475188238 15790579712 64409 33554432000 4194304 4196468 140726566585728 140390268224384 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8073] ppid=8062 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8073/stat : 8073 (java) S 8062 8062 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475188241 15790579712 64409 33554432000 4194304 4196468 140726566585728 140390199977808 140390734530459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8074] ppid=8062 vsize=15420488 memory=7245577201579234449 CPUtime=2.86 cores=1,3,5,7
/proc/8064/task/8074/stat : 8074 (java) S 8062 8062 31580 0 -1 1077944384 5818 0 0 0 285 1 0 0 20 0 19 0 475188241 15790579712 64409 33554432000 4194304 4196468 140726566585728 140390198926192 140390734523010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8075] ppid=8062 vsize=15420488 memory=0 CPUtime=2.62 cores=1,3,5,7
/proc/8064/task/8075/stat : 8075 (java) S 8062 8062 31580 0 -1 1077944384 4903 0 0 0 262 0 0 0 20 0 19 0 475188241 15790579712 64409 33554432000 4194304 4196468 140726566585728 140390197873392 140390734523010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8076] ppid=8062 vsize=15420488 memory=1 CPUtime=0.97 cores=1,3,5,7
/proc/8064/task/8076/stat : 8076 (java) S 8062 8062 31580 0 -1 1077944384 4383 0 0 0 95 2 0 0 20 0 19 0 475188241 15790579712 64409 33554432000 4194304 4196468 140726566585728 140390196820592 140390734523010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8077] ppid=8062 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8077/stat : 8077 (java) S 8062 8062 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475188241 15790579712 64409 33554432000 4194304 4196468 140726566585728 140390195768032 140390734522069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8078] ppid=8062 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8064/task/8078/stat : 8078 (java) S 8062 8062 31580 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 475188241 15790579712 64409 33554432000 4194304 4196468 140726566585728 140390194715312 140390734523010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8103] ppid=8062 vsize=15420488 memory=0 CPUtime=4.11 cores=1,3,5,7
/proc/8064/task/8103/stat : 8103 (java) R 8062 8062 31580 0 -1 4202560 77 0 0 0 411 0 0 0 20 0 19 0 475188409 15790579712 64409 33554432000 4194304 4196468 140726566585728 140390182345576 140390359818919 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8104] ppid=8062 vsize=15420488 memory=8112282956445269571 CPUtime=3.85 cores=1,3,5,7
/proc/8064/task/8104/stat : 8104 (java) R 8062 8062 31580 0 -1 4202560 400 0 0 0 385 0 0 0 20 0 19 0 475188409 15790579712 64409 33554432000 4194304 4196468 140726566585728 140390179189336 140390359413592 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8105] ppid=8062 vsize=15420488 memory=0 CPUtime=4.35 cores=1,3,5,7
/proc/8064/task/8105/stat : 8105 (java) R 8062 8062 31580 0 -1 4202560 426 0 0 0 435 0 0 0 20 0 19 0 475188409 15790579712 64409 33554432000 4194304 4196468 140726566585728 140390181293432 140390360789767 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
[pid=8064/tid=8106] ppid=8062 vsize=15420488 memory=0 CPUtime=4.14 cores=1,3,5,7
/proc/8064/task/8106/stat : 8106 (java) R 8062 8062 31580 0 -1 4202560 182 0 0 0 413 1 0 0 20 0 19 0 475188410 15790579712 64409 33554432000 4194304 4196468 140726566585728 140390180242696 140390360451001 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12414976 140726566589403 140726566589578 140726566589578 140726566592463 0
Current children cumulated CPU time: 25.2 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 259088 KiB

Child status: 0
Real time (s): 6.73885
CPU time (s): 25.3385
CPU user time (s): 25.1707
CPU system time (s): 0.167782
CPU usage (%): 376.006
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 259088

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.1707
system time used= 0.167782
maximum resident set size= 264068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32597
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2971
involuntary context switches= 1029


# summary of solver processes directly reported to runsolver:
#   pid: 8062
#   total CPU time (s): 25.3385
#   total CPU user time (s): 25.1707
#   total CPU system time (s): 0.167782

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.057501 second user time and 0.126765 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 4404038

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