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.7977	6.82111

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404014-1568991017.xml"  -tl '2400s' -p 4
0.13/0.17	c Choco 3fb4b153
0.13/0.18	c [HOME/instance-4404014-1568991017.xml, -tl, 2400s, -p, 4]
0.13/0.21	c 4 solvers in parallel
0.34/0.28	c parse instance...
3.21/1.19	c solve instance...
3.91/1.33	o 13 
3.91/1.36	o 12 
4.66/1.66	o 11 
4.66/1.67	o 10 
25.73/6.81	s OPTIMUM FOUND
25.73/6.81	v <instantiation>
25.73/6.81	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.73/6.81	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.73/6.81	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 (2619 MiB free)
  memory of node 1: 16384 MiB (6064 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404014-1568991017/watcher-4404014-1568991017 -o /tmp/evaluation-result-4404014-1568991017/solver-4404014-1568991017 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568990731-2771 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 2077129743 HOME/instance-4404014-1568991017.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
solver pid=3520, runsolver pid=3517
Current StackSize limit: 8192 KiB


[startup+0.100077 s]*
/proc/loadavg: 8.57 5.28 2.83 7/233 3536
/proc/meminfo: memFree=8873780/32770624 swapFree=67002124/67108860
[pid=3520] ppid=3517 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3520/stat : 3520 (xcsp3-exec) S 3517 3520 2739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475263219 115843072 363 33554432000 4194304 5098028 140734192568800 140734192566904 139692618060412 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25821184 140734192575354 140734192575597 140734192575597 140734192578506 0
/proc/3520/statm: 28282 363 304 221 0 87 0
[pid=3522] ppid=3520 vsize=15144776 memory=30364 CPUtime=0.13 cores=1,3,5,7
/proc/3522/stat : 3522 (java) S 3520 3520 2739 0 -1 1077944320 5535 0 0 0 12 1 0 0 20 0 15 0 475263220 15508250624 7591 33554432000 4194304 4196468 140730888123392 140730888105936 140362318995191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
/proc/3522/statm: 3786194 7591 3145 1 0 3748377 0
[pid=3522/tid=3523] ppid=3520 vsize=15144776 memory=576460756329955459 CPUtime=0.08 cores=1,3,5,7
/proc/3522/task/3523/stat : 3523 (java) R 3520 3520 2739 0 -1 4202560 3409 0 0 0 8 0 0 0 20 0 15 0 475263220 15508250624 7591 33554432000 4194304 4196468 140730888123392 140362323216464 140362311712343 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3524] ppid=3520 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3524/stat : 3524 (java) S 3520 3520 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475263221 15508250624 7591 33554432000 4194304 4196468 140730888123392 140362284276624 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3525] ppid=3520 vsize=15144776 memory=288370188282013312 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3525/stat : 3525 (java) S 3520 3520 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475263221 15508250624 7591 33554432000 4194304 4196468 140730888123392 140361910299408 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3526] ppid=3520 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3526/stat : 3526 (java) S 3520 3520 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475263221 15508250624 7591 33554432000 4194304 4196468 140730888123392 140361909247120 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3527] ppid=3520 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3527/stat : 3527 (java) S 3520 3520 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475263221 15508250624 7591 33554432000 4194304 4196468 140730888123392 140361908194320 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3528] ppid=3520 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3528/stat : 3528 (java) S 3520 3520 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475263222 15508250624 7591 33554432000 4194304 4196468 140730888123392 140361787594864 140362319006338 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3529] ppid=3520 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3529/stat : 3529 (java) S 3520 3520 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475263222 15508250624 7591 33554432000 4194304 4196468 140730888123392 140361786540832 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3530] ppid=3520 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3530/stat : 3530 (java) S 3520 3520 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475263223 15508250624 7591 33554432000 4194304 4196468 140730888123392 140361785488496 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3531] ppid=3520 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3531/stat : 3531 (java) S 3520 3520 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475263225 15508250624 7591 33554432000 4194304 4196468 140730888123392 140361784436816 140362319013787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3532] ppid=3520 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3532/stat : 3532 (java) S 3520 3520 2739 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 15 0 475263225 15508250624 7591 33554432000 4194304 4196468 140730888123392 140361783384688 140362319006338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3533] ppid=3520 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3533/stat : 3533 (java) S 3520 3520 2739 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 475263225 15508250624 7591 33554432000 4194304 4196468 140730888123392 140361782331888 140362319006338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3534] ppid=3520 vsize=15144776 memory=139812130301568 CPUtime=0.02 cores=1,3,5,7
/proc/3522/task/3534/stat : 3534 (java) R 3520 3520 2739 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 475263225 15508250624 7591 33554432000 4194304 4196468 140730888123392 140361781279600 140362319007126 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3535] ppid=3520 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3535/stat : 3535 (java) S 3520 3520 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475263225 15508250624 7591 33554432000 4194304 4196468 140730888123392 140361780227040 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3536] ppid=3520 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3536/stat : 3536 (java) S 3520 3520 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475263225 15508250624 7591 33554432000 4194304 4196468 140730888123392 140361779173808 140362319006338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31816 KiB

[startup+0.210794 s]*
/proc/loadavg: 8.57 5.28 2.83 6/233 3536
/proc/meminfo: memFree=8861556/32770624 swapFree=67002124/67108860
[pid=3520] ppid=3517 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3520/stat : 3520 (xcsp3-exec) S 3517 3520 2739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475263219 115843072 363 33554432000 4194304 5098028 140734192568800 140734192566904 139692618060412 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25821184 140734192575354 140734192575597 140734192575597 140734192578506 0
/proc/3520/statm: 28282 363 304 221 0 87 0
[pid=3522] ppid=3520 vsize=15144776 memory=41468 CPUtime=0.34 cores=1,3,5,7
/proc/3522/stat : 3522 (java) S 3520 3520 2739 0 -1 1077944320 9035 0 0 0 32 2 0 0 20 0 15 0 475263220 15508250624 10367 33554432000 4194304 4196468 140730888123392 140730888105936 140362318995191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
/proc/3522/statm: 3786194 10367 3306 1 0 3748377 0
[pid=3522/tid=3523] ppid=3520 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/3522/task/3523/stat : 3523 (java) R 3520 3520 2739 0 -1 4202560 6229 0 0 0 18 2 0 0 20 0 15 0 475263220 15508250624 10367 33554432000 4194304 4196468 140730888123392 140362323233008 140362319017117 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3524] ppid=3520 vsize=15144776 memory=14645 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3524/stat : 3524 (java) S 3520 3520 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475263221 15508250624 10367 33554432000 4194304 4196468 140730888123392 140362284276624 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3525] ppid=3520 vsize=15144776 memory=139812130319065 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3525/stat : 3525 (java) S 3520 3520 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475263221 15508250624 10367 33554432000 4194304 4196468 140730888123392 140361910299408 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3526] ppid=3520 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3526/stat : 3526 (java) S 3520 3520 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475263221 15508250624 10367 33554432000 4194304 4196468 140730888123392 140361909247120 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3527] ppid=3520 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3527/stat : 3527 (java) S 3520 3520 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475263221 15508250624 10367 33554432000 4194304 4196468 140730888123392 140361908194320 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3528] ppid=3520 vsize=15144776 memory=139812130301568 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3528/stat : 3528 (java) S 3520 3520 2739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475263222 15508250624 10367 33554432000 4194304 4196468 140730888123392 140361787594864 140362319006338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3529] ppid=3520 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3529/stat : 3529 (java) S 3520 3520 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475263222 15508250624 10367 33554432000 4194304 4196468 140730888123392 140361786540832 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3530] ppid=3520 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3530/stat : 3530 (java) S 3520 3520 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475263223 15508250624 10367 33554432000 4194304 4196468 140730888123392 140361785488496 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3531] ppid=3520 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3531/stat : 3531 (java) S 3520 3520 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475263225 15508250624 10367 33554432000 4194304 4196468 140730888123392 140361784436816 140362319013787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3532] ppid=3520 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3522/task/3532/stat : 3532 (java) S 3520 3520 2739 0 -1 1077944384 596 0 0 0 3 0 0 0 20 0 15 0 475263225 15508250624 10367 33554432000 4194304 4196468 140730888123392 140361783384688 140362319006338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3533] ppid=3520 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/3522/task/3533/stat : 3533 (java) S 3520 3520 2739 0 -1 1077944384 163 0 0 0 1 0 0 0 20 0 15 0 475263225 15508250624 10367 33554432000 4194304 4196468 140730888123392 140361782331888 140362319006338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3534] ppid=3520 vsize=15144776 memory=139812130301568 CPUtime=0.08 cores=1,3,5,7
/proc/3522/task/3534/stat : 3534 (java) S 3520 3520 2739 0 -1 1077944384 743 0 0 0 8 0 0 0 20 0 15 0 475263225 15508250624 10367 33554432000 4194304 4196468 140730888123392 140361781279600 140362319006338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3535] ppid=3520 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3535/stat : 3535 (java) S 3520 3520 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475263225 15508250624 10367 33554432000 4194304 4196468 140730888123392 140361780227040 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3536] ppid=3520 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3536/stat : 3536 (java) S 3520 3520 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475263225 15508250624 10367 33554432000 4194304 4196468 140730888123392 140361779173808 140362319006338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42920 KiB

[startup+0.311631 s]*
/proc/loadavg: 8.57 5.28 2.83 7/233 3536
/proc/meminfo: memFree=8854140/32770624 swapFree=67002124/67108860
[pid=3520] ppid=3517 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3520/stat : 3520 (xcsp3-exec) S 3517 3520 2739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475263219 115843072 363 33554432000 4194304 5098028 140734192568800 140734192566904 139692618060412 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25821184 140734192575354 140734192575597 140734192575597 140734192578506 0
/proc/3520/statm: 28282 363 304 221 0 87 0
[pid=3522] ppid=3520 vsize=15149032 memory=50288 CPUtime=0.52 cores=1,3,5,7
/proc/3522/stat : 3522 (java) S 3520 3520 2739 0 -1 1077944320 10451 0 0 0 49 3 0 0 20 0 15 0 475263220 15512608768 12572 33554432000 4194304 4196468 140730888123392 140730888105936 140362318995191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
/proc/3522/statm: 3787258 12572 3346 1 0 3748377 0
[pid=3522/tid=3523] ppid=3520 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/3522/task/3523/stat : 3523 (java) R 3520 3520 2739 0 -1 4202560 7431 0 0 0 28 2 0 0 20 0 15 0 475263220 15512608768 12637 33554432000 4194304 4196468 140730888123392 140362323227168 140362303075678 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3524] ppid=3520 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3524/stat : 3524 (java) S 3520 3520 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475263221 15512608768 12637 33554432000 4194304 4196468 140730888123392 140362284276624 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3525] ppid=3520 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3525/stat : 3525 (java) S 3520 3520 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475263221 15512608768 12637 33554432000 4194304 4196468 140730888123392 140361910299408 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3526] ppid=3520 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3526/stat : 3526 (java) S 3520 3520 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475263221 15512608768 12637 33554432000 4194304 4196468 140730888123392 140361909247120 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3527] ppid=3520 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3527/stat : 3527 (java) S 3520 3520 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475263221 15512608768 12637 33554432000 4194304 4196468 140730888123392 140361908194320 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3528] ppid=3520 vsize=15149032 memory=7307460107981921142 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3528/stat : 3528 (java) S 3520 3520 2739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475263222 15512608768 12637 33554432000 4194304 4196468 140730888123392 140361787594864 140362319006338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3529] ppid=3520 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3529/stat : 3529 (java) S 3520 3520 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475263222 15512608768 12637 33554432000 4194304 4196468 140730888123392 140361786540832 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3530] ppid=3520 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3530/stat : 3530 (java) S 3520 3520 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475263223 15512608768 12637 33554432000 4194304 4196468 140730888123392 140361785488496 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3531] ppid=3520 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3531/stat : 3531 (java) S 3520 3520 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475263225 15512608768 12637 33554432000 4194304 4196468 140730888123392 140361784436816 140362319013787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3532] ppid=3520 vsize=15149032 memory=-8412656567168561567 CPUtime=0.05 cores=1,3,5,7
/proc/3522/task/3532/stat : 3532 (java) S 3520 3520 2739 0 -1 1077944384 714 0 0 0 5 0 0 0 20 0 15 0 475263225 15512608768 12637 33554432000 4194304 4196468 140730888123392 140361783384688 140362319006338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3533] ppid=3520 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3522/task/3533/stat : 3533 (java) S 3520 3520 2739 0 -1 1077944384 177 0 0 0 3 0 0 0 20 0 15 0 475263225 15512608768 12637 33554432000 4194304 4196468 140730888123392 140361782331888 140362319006338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3534] ppid=3520 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/3522/task/3534/stat : 3534 (java) S 3520 3520 2739 0 -1 1077944384 832 0 0 0 12 0 0 0 20 0 15 0 475263225 15512608768 12637 33554432000 4194304 4196468 140730888123392 140361781279600 140362319006338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3535] ppid=3520 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3535/stat : 3535 (java) S 3520 3520 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475263225 15512608768 12637 33554432000 4194304 4196468 140730888123392 140361780227040 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3536] ppid=3520 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3536/stat : 3536 (java) S 3520 3520 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475263225 15512608768 12637 33554432000 4194304 4196468 140730888123392 140361779173808 140362319006338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51740 KiB

[startup+0.701589 s]
/proc/loadavg: 8.57 5.28 2.83 10/233 3536
/proc/meminfo: memFree=8831168/32770624 swapFree=67002124/67108860
[pid=3520] ppid=3517 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3520/stat : 3520 (xcsp3-exec) S 3517 3520 2739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475263219 115843072 363 33554432000 4194304 5098028 140734192568800 140734192566904 139692618060412 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25821184 140734192575354 140734192575597 140734192575597 140734192578506 0
/proc/3520/statm: 28282 363 304 221 0 87 0
[pid=3522] ppid=3520 vsize=15151156 memory=90944 CPUtime=1.8 cores=1,3,5,7
/proc/3522/stat : 3522 (java) S 3520 3520 2739 0 -1 1077944320 14904 0 0 0 175 5 0 0 20 0 15 0 475263220 15514783744 22736 33554432000 4194304 4196468 140730888123392 140730888105936 140362318995191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
/proc/3522/statm: 3787789 22736 3451 1 0 3748889 0
[pid=3522/tid=3523] ppid=3520 vsize=15151156 memory=-3704326594973231466 CPUtime=0.67 cores=1,3,5,7
/proc/3522/task/3523/stat : 3523 (java) R 3520 3520 2739 0 -1 4202560 8812 0 0 0 64 3 0 0 20 0 15 0 475263220 15514783744 22736 33554432000 4194304 4196468 140730888123392 140362323231744 140362297439992 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3524] ppid=3520 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3524/stat : 3524 (java) S 3520 3520 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475263221 15514783744 22736 33554432000 4194304 4196468 140730888123392 140362284276624 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3525] ppid=3520 vsize=15151156 memory=3617 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3525/stat : 3525 (java) S 3520 3520 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475263221 15514783744 22736 33554432000 4194304 4196468 140730888123392 140361910299408 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3526] ppid=3520 vsize=15151156 memory=740 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3526/stat : 3526 (java) S 3520 3520 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475263221 15514783744 22736 33554432000 4194304 4196468 140730888123392 140361909247120 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3527] ppid=3520 vsize=15151156 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3527/stat : 3527 (java) S 3520 3520 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475263221 15514783744 22736 33554432000 4194304 4196468 140730888123392 140361908194320 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3528] ppid=3520 vsize=15151156 memory=7548 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3528/stat : 3528 (java) S 3520 3520 2739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475263222 15514783744 22736 33554432000 4194304 4196468 140730888123392 140361787594864 140362319006338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3529] ppid=3520 vsize=15151156 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3529/stat : 3529 (java) S 3520 3520 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475263222 15514783744 22736 33554432000 4194304 4196468 140730888123392 140361786540832 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3530] ppid=3520 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3530/stat : 3530 (java) S 3520 3520 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475263223 15514783744 22736 33554432000 4194304 4196468 140730888123392 140361785488496 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3531] ppid=3520 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3531/stat : 3531 (java) S 3520 3520 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475263225 15514783744 22736 33554432000 4194304 4196468 140730888123392 140361784436816 140362319013787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3532] ppid=3520 vsize=15151156 memory=1160 CPUtime=0.39 cores=1,3,5,7
/proc/3522/task/3532/stat : 3532 (java) R 3520 3520 2739 0 -1 4202560 1664 0 0 0 39 0 0 0 20 0 15 0 475263225 15514783744 22736 33554432000 4194304 4196468 140730888123392 140361783370944 140362303917017 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3533] ppid=3520 vsize=15151156 memory=1716 CPUtime=0.3 cores=1,3,5,7
/proc/3522/task/3533/stat : 3533 (java) R 3520 3520 2739 0 -1 4202560 1050 0 0 0 30 0 0 0 20 0 15 0 475263225 15514783744 22736 33554432000 4194304 4196468 140730888123392 140361782317912 140362300539680 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3534] ppid=3520 vsize=15151156 memory=1096 CPUtime=0.41 cores=1,3,5,7
/proc/3522/task/3534/stat : 3534 (java) R 3520 3520 2739 0 -1 4202560 2073 0 0 0 41 0 0 0 20 0 15 0 475263225 15514783744 22736 33554432000 4194304 4196468 140730888123392 140361781276536 140362312092104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3535] ppid=3520 vsize=15151156 memory=6128 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3535/stat : 3535 (java) S 3520 3520 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475263225 15514783744 22736 33554432000 4194304 4196468 140730888123392 140361780227040 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3536] ppid=3520 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3536/stat : 3536 (java) S 3520 3520 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475263225 15514783744 22736 33554432000 4194304 4196468 140730888123392 140361779173808 140362319006338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 92396 KiB

[startup+1.50359 s]
/proc/loadavg: 8.57 5.28 2.83 8/233 3536
/proc/meminfo: memFree=8757324/32770624 swapFree=67002124/67108860
[pid=3520] ppid=3517 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3520/stat : 3520 (xcsp3-exec) S 3517 3520 2739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475263219 115843072 363 33554432000 4194304 5098028 140734192568800 140734192566904 139692618060412 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25821184 140734192575354 140734192575597 140734192575597 140734192578506 0
/proc/3520/statm: 28282 363 304 221 0 87 0

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

/proc/3522/task/3557/stat : 3557 (java) R 3520 3520 2739 0 -1 4202560 47 0 0 0 353 0 0 0 20 0 19 0 475263387 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361767858632 140361963690774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
Current children cumulated CPU time: 23.74 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 240328 KiB

[startup+6.82105 s]
# the end of solver process 3520 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=25.6554 s, system=0.142283 s

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

[startup+6.50159 s]
/proc/loadavg: 8.77 5.38 2.87 11/237 3557
/proc/meminfo: memFree=8665652/32770624 swapFree=67002124/67108860
[pid=3520] ppid=3517 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3520/stat : 3520 (xcsp3-exec) S 3517 3520 2739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475263219 115843072 363 33554432000 4194304 5098028 140734192568800 140734192566904 139692618060412 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25821184 140734192575354 140734192575597 140734192575597 140734192578506 0
/proc/3520/statm: 28282 363 304 221 0 87 0
[pid=3522] ppid=3520 vsize=15420488 memory=238876 CPUtime=24.54 cores=1,3,5,7
/proc/3522/stat : 3522 (java) S 3520 3520 2739 0 -1 1077944320 30093 0 0 0 2441 13 0 0 20 0 19 0 475263220 15790579712 59719 33554432000 4194304 4196468 140730888123392 140730888105936 140362318995191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
/proc/3522/statm: 3855122 59719 3532 1 0 3816222 0
[pid=3522/tid=3523] ppid=3520 vsize=15420488 memory=0 CPUtime=1.18 cores=1,3,5,7
/proc/3522/task/3523/stat : 3523 (java) S 3520 3520 2739 0 -1 1077944384 11253 0 0 0 113 5 0 0 20 0 19 0 475263220 15790579712 59719 33554432000 4194304 4196468 140730888123392 140362323235968 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3524] ppid=3520 vsize=15420488 memory=1977 CPUtime=0.01 cores=1,3,5,7
/proc/3522/task/3524/stat : 3524 (java) S 3520 3520 2739 0 -1 1077944384 124 0 0 0 1 0 0 0 20 0 19 0 475263221 15790579712 59719 33554432000 4194304 4196468 140730888123392 140362284276624 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3525] ppid=3520 vsize=15420488 memory=118 CPUtime=0.02 cores=1,3,5,7
/proc/3522/task/3525/stat : 3525 (java) S 3520 3520 2739 0 -1 1077944384 49 0 0 0 2 0 0 0 20 0 19 0 475263221 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361910299408 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3526] ppid=3520 vsize=15420488 memory=1 CPUtime=0.01 cores=1,3,5,7
/proc/3522/task/3526/stat : 3526 (java) S 3520 3520 2739 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 19 0 475263221 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361909247120 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3527] ppid=3520 vsize=15420488 memory=2 CPUtime=0.01 cores=1,3,5,7
/proc/3522/task/3527/stat : 3527 (java) S 3520 3520 2739 0 -1 1077944384 297 0 0 0 1 0 0 0 20 0 19 0 475263221 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361908194320 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3528] ppid=3520 vsize=15420488 memory=279623980240976 CPUtime=0.01 cores=1,3,5,7
/proc/3522/task/3528/stat : 3528 (java) S 3520 3520 2739 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 19 0 475263222 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361787594864 140362319006338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3529] ppid=3520 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3529/stat : 3529 (java) S 3520 3520 2739 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 475263222 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361786540896 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3530] ppid=3520 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3530/stat : 3530 (java) S 3520 3520 2739 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475263223 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361785488512 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3531] ppid=3520 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3531/stat : 3531 (java) S 3520 3520 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475263225 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361784436816 140362319013787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3532] ppid=3520 vsize=15420488 memory=0 CPUtime=3.17 cores=1,3,5,7
/proc/3522/task/3532/stat : 3532 (java) S 3520 3520 2739 0 -1 1077944384 6627 0 0 0 316 1 0 0 20 0 19 0 475263225 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361783384688 140362319006338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3533] ppid=3520 vsize=15420488 memory=0 CPUtime=3.2 cores=1,3,5,7
/proc/3522/task/3533/stat : 3533 (java) S 3520 3520 2739 0 -1 1077944384 5494 0 0 0 319 1 0 0 20 0 19 0 475263225 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361782331888 140362319006338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3534] ppid=3520 vsize=15420488 memory=0 CPUtime=0.98 cores=1,3,5,7
/proc/3522/task/3534/stat : 3534 (java) S 3520 3520 2739 0 -1 1077944384 3795 0 0 0 97 1 0 0 20 0 19 0 475263225 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361781279600 140362319006338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3535] ppid=3520 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3535/stat : 3535 (java) S 3520 3520 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475263225 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361780227040 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3536] ppid=3520 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3536/stat : 3536 (java) S 3520 3520 2739 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 475263225 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361779173808 140362319006338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3554] ppid=3520 vsize=15420488 memory=552 CPUtime=3.8 cores=1,3,5,7
/proc/3522/task/3554/stat : 3554 (java) R 3520 3520 2739 0 -1 4202560 51 0 0 0 380 0 0 0 20 0 19 0 475263387 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361765752024 140361962831012 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3555] ppid=3520 vsize=15420488 memory=118 CPUtime=3.64 cores=1,3,5,7
/proc/3522/task/3555/stat : 3555 (java) R 3520 3520 2739 0 -1 4202560 98 0 0 0 364 0 0 0 20 0 19 0 475263387 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361763647288 140361964881673 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3556] ppid=3520 vsize=15420488 memory=0 CPUtime=3.75 cores=1,3,5,7
/proc/3522/task/3556/stat : 3556 (java) R 3520 3520 2739 0 -1 4202560 38 0 0 0 375 0 0 0 20 0 19 0 475263387 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361766804200 140361963619584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3557] ppid=3520 vsize=15420488 memory=0 CPUtime=3.73 cores=1,3,5,7
/proc/3522/task/3557/stat : 3557 (java) R 3520 3520 2739 0 -1 4202560 50 0 0 0 373 0 0 0 20 0 19 0 475263387 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361767859144 140361963690930 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
Current children cumulated CPU time: 24.54 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 240328 KiB

[startup+6.70159 s]
/proc/loadavg: 8.77 5.38 2.87 11/237 3557
/proc/meminfo: memFree=8665652/32770624 swapFree=67002124/67108860
[pid=3520] ppid=3517 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3520/stat : 3520 (xcsp3-exec) S 3517 3520 2739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475263219 115843072 363 33554432000 4194304 5098028 140734192568800 140734192566904 139692618060412 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25821184 140734192575354 140734192575597 140734192575597 140734192578506 0
/proc/3520/statm: 28282 363 304 221 0 87 0
[pid=3522] ppid=3520 vsize=15420488 memory=238876 CPUtime=25.33 cores=1,3,5,7
/proc/3522/stat : 3522 (java) S 3520 3520 2739 0 -1 1077944320 30100 0 0 0 2520 13 0 0 20 0 19 0 475263220 15790579712 59719 33554432000 4194304 4196468 140730888123392 140730888105936 140362318995191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
/proc/3522/statm: 3855122 59719 3532 1 0 3816222 0
[pid=3522/tid=3523] ppid=3520 vsize=15420488 memory=0 CPUtime=1.18 cores=1,3,5,7
/proc/3522/task/3523/stat : 3523 (java) S 3520 3520 2739 0 -1 1077944384 11253 0 0 0 113 5 0 0 20 0 19 0 475263220 15790579712 59719 33554432000 4194304 4196468 140730888123392 140362323235968 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3524] ppid=3520 vsize=15420488 memory=8112282956445269571 CPUtime=0.01 cores=1,3,5,7
/proc/3522/task/3524/stat : 3524 (java) S 3520 3520 2739 0 -1 1077944384 124 0 0 0 1 0 0 0 20 0 19 0 475263221 15790579712 59719 33554432000 4194304 4196468 140730888123392 140362284276624 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3525] ppid=3520 vsize=15420488 memory=14136666633799908 CPUtime=0.02 cores=1,3,5,7
/proc/3522/task/3525/stat : 3525 (java) S 3520 3520 2739 0 -1 1077944384 49 0 0 0 2 0 0 0 20 0 19 0 475263221 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361910299408 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3526] ppid=3520 vsize=15420488 memory=8514701219730522529 CPUtime=0.01 cores=1,3,5,7
/proc/3522/task/3526/stat : 3526 (java) S 3520 3520 2739 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 19 0 475263221 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361909247120 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3527] ppid=3520 vsize=15420488 memory=139811990186192 CPUtime=0.01 cores=1,3,5,7
/proc/3522/task/3527/stat : 3527 (java) S 3520 3520 2739 0 -1 1077944384 297 0 0 0 1 0 0 0 20 0 19 0 475263221 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361908194320 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3528] ppid=3520 vsize=15420488 memory=297237816746967340 CPUtime=0.01 cores=1,3,5,7
/proc/3522/task/3528/stat : 3528 (java) S 3520 3520 2739 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 19 0 475263222 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361787594864 140362319006338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3529] ppid=3520 vsize=15420488 memory=14417007739143609 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3529/stat : 3529 (java) S 3520 3520 2739 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 475263222 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361786540896 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3530] ppid=3520 vsize=15420488 memory=-7023579799431922829 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3530/stat : 3530 (java) S 3520 3520 2739 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475263223 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361785488512 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3531] ppid=3520 vsize=15420488 memory=4426639978525455914 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3531/stat : 3531 (java) S 3520 3520 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475263225 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361784436816 140362319013787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3532] ppid=3520 vsize=15420488 memory=0 CPUtime=3.17 cores=1,3,5,7
/proc/3522/task/3532/stat : 3532 (java) S 3520 3520 2739 0 -1 1077944384 6627 0 0 0 316 1 0 0 20 0 19 0 475263225 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361783384688 140362319006338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3533] ppid=3520 vsize=15420488 memory=0 CPUtime=3.2 cores=1,3,5,7
/proc/3522/task/3533/stat : 3533 (java) S 3520 3520 2739 0 -1 1077944384 5494 0 0 0 319 1 0 0 20 0 19 0 475263225 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361782331888 140362319006338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3534] ppid=3520 vsize=15420488 memory=4580 CPUtime=0.98 cores=1,3,5,7
/proc/3522/task/3534/stat : 3534 (java) S 3520 3520 2739 0 -1 1077944384 3798 0 0 0 97 1 0 0 20 0 19 0 475263225 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361781279600 140362319006338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3535] ppid=3520 vsize=15420488 memory=7367994820104577357 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3535/stat : 3535 (java) S 3520 3520 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475263225 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361780227040 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3536] ppid=3520 vsize=15420488 memory=5866338094439491686 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3536/stat : 3536 (java) S 3520 3520 2739 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 475263225 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361779173808 140362319006338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3554] ppid=3520 vsize=15420488 memory=1284 CPUtime=4 cores=1,3,5,7
/proc/3522/task/3554/stat : 3554 (java) R 3520 3520 2739 0 -1 4202560 51 0 0 0 400 0 0 0 20 0 19 0 475263387 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361765751288 140361963691449 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3555] ppid=3520 vsize=15420488 memory=7831439643176184225 CPUtime=3.84 cores=1,3,5,7
/proc/3522/task/3555/stat : 3555 (java) R 3520 3520 2739 0 -1 4202560 99 0 0 0 384 0 0 0 20 0 19 0 475263387 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361763647720 140361963419656 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3556] ppid=3520 vsize=15420488 memory=9122343876883897288 CPUtime=3.95 cores=1,3,5,7
/proc/3522/task/3556/stat : 3556 (java) R 3520 3520 2739 0 -1 4202560 40 0 0 0 395 0 0 0 20 0 19 0 475263387 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361766805264 140361963691044 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3557] ppid=3520 vsize=15420488 memory=3588 CPUtime=3.93 cores=1,3,5,7
/proc/3522/task/3557/stat : 3557 (java) R 3520 3520 2739 0 -1 4202560 51 0 0 0 393 0 0 0 20 0 19 0 475263387 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361767860792 140361964753573 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
Current children cumulated CPU time: 25.33 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 240328 KiB

[startup+6.80159 s]
/proc/loadavg: 8.77 5.38 2.87 11/237 3557
/proc/meminfo: memFree=8665652/32770624 swapFree=67002124/67108860
[pid=3520] ppid=3517 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/3520/stat : 3520 (xcsp3-exec) S 3517 3520 2739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475263219 115843072 363 33554432000 4194304 5098028 140734192568800 140734192566904 139692618060412 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25821184 140734192575354 140734192575597 140734192575597 140734192578506 0
/proc/3520/statm: 28282 363 304 221 0 87 0
[pid=3522] ppid=3520 vsize=15420488 memory=238876 CPUtime=25.73 cores=1,3,5,7
/proc/3522/stat : 3522 (java) S 3520 3520 2739 0 -1 1077944320 30102 0 0 0 2560 13 0 0 20 0 19 0 475263220 15790579712 59719 33554432000 4194304 4196468 140730888123392 140730888105936 140362318995191 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
/proc/3522/statm: 3855122 59719 3532 1 0 3816222 0
[pid=3522/tid=3523] ppid=3520 vsize=15420488 memory=118 CPUtime=1.18 cores=1,3,5,7
/proc/3522/task/3523/stat : 3523 (java) S 3520 3520 2739 0 -1 1077944384 11253 0 0 0 113 5 0 0 20 0 19 0 475263220 15790579712 59719 33554432000 4194304 4196468 140730888123392 140362323235968 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3524] ppid=3520 vsize=15420488 memory=7526543333052958534 CPUtime=0.01 cores=1,3,5,7
/proc/3522/task/3524/stat : 3524 (java) S 3520 3520 2739 0 -1 1077944384 124 0 0 0 1 0 0 0 20 0 19 0 475263221 15790579712 59719 33554432000 4194304 4196468 140730888123392 140362284276624 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3525] ppid=3520 vsize=15420488 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3522/task/3525/stat : 3525 (java) S 3520 3520 2739 0 -1 1077944384 49 0 0 0 2 0 0 0 20 0 19 0 475263221 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361910299408 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3526] ppid=3520 vsize=15420488 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3522/task/3526/stat : 3526 (java) S 3520 3520 2739 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 19 0 475263221 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361909247120 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3527] ppid=3520 vsize=15420488 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3522/task/3527/stat : 3527 (java) S 3520 3520 2739 0 -1 1077944384 297 0 0 0 1 0 0 0 20 0 19 0 475263221 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361908194320 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3528] ppid=3520 vsize=15420488 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3522/task/3528/stat : 3528 (java) S 3520 3520 2739 0 -1 1077944384 269 0 0 0 1 0 0 0 20 0 19 0 475263222 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361787594864 140362319006338 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3529] ppid=3520 vsize=15420488 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3529/stat : 3529 (java) S 3520 3520 2739 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 475263222 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361786540896 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3530] ppid=3520 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3530/stat : 3530 (java) S 3520 3520 2739 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475263223 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361785488512 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3531] ppid=3520 vsize=15420488 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3531/stat : 3531 (java) S 3520 3520 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475263225 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361784436816 140362319013787 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3532] ppid=3520 vsize=15420488 memory=0 CPUtime=3.17 cores=1,3,5,7
/proc/3522/task/3532/stat : 3532 (java) S 3520 3520 2739 0 -1 1077944384 6627 0 0 0 316 1 0 0 20 0 19 0 475263225 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361783384688 140362319006338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3533] ppid=3520 vsize=15420488 memory=322 CPUtime=3.2 cores=1,3,5,7
/proc/3522/task/3533/stat : 3533 (java) S 3520 3520 2739 0 -1 1077944384 5494 0 0 0 319 1 0 0 20 0 19 0 475263225 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361782331888 140362319006338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3534] ppid=3520 vsize=15420488 memory=309 CPUtime=0.98 cores=1,3,5,7
/proc/3522/task/3534/stat : 3534 (java) S 3520 3520 2739 0 -1 1077944384 3798 0 0 0 97 1 0 0 20 0 19 0 475263225 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361781279600 140362319006338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3535] ppid=3520 vsize=15420488 memory=317 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3535/stat : 3535 (java) S 3520 3520 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475263225 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361780227040 140362319005397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3536] ppid=3520 vsize=15420488 memory=313 CPUtime=0 cores=1,3,5,7
/proc/3522/task/3536/stat : 3536 (java) S 3520 3520 2739 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 475263225 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361779173808 140362319006338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3554] ppid=3520 vsize=15420488 memory=193 CPUtime=4.1 cores=1,3,5,7
/proc/3522/task/3554/stat : 3554 (java) R 3520 3520 2739 0 -1 4202560 51 0 0 0 410 0 0 0 20 0 19 0 475263387 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361765751288 140361963691113 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3555] ppid=3520 vsize=15420488 memory=590024329612652458 CPUtime=3.94 cores=1,3,5,7
/proc/3522/task/3555/stat : 3555 (java) R 3520 3520 2739 0 -1 4202560 99 0 0 0 394 0 0 0 20 0 19 0 475263387 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361763649704 140361962464784 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3556] ppid=3520 vsize=15420488 memory=-7816663703405220396 CPUtime=4.05 cores=1,3,5,7
/proc/3522/task/3556/stat : 3556 (java) R 3520 3520 2739 0 -1 4202560 41 0 0 0 405 0 0 0 20 0 19 0 475263387 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361766807384 140361963418494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
[pid=3522/tid=3557] ppid=3520 vsize=15420488 memory=301794158562352619 CPUtime=4.03 cores=1,3,5,7
/proc/3522/task/3557/stat : 3557 (java) R 3520 3520 2739 0 -1 4202560 52 0 0 0 403 0 0 0 20 0 19 0 475263387 15790579712 59719 33554432000 4194304 4196468 140730888123392 140361767860792 140361964753660 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140730888127471 140730888127642 140730888127642 140730888130511 0
Current children cumulated CPU time: 25.73 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 240328 KiB

Child status: 0
Real time (s): 6.82111
CPU time (s): 25.7977
CPU user time (s): 25.6554
CPU system time (s): 0.142283
CPU usage (%): 378.204
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 240328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.6554
system time used= 0.142283
maximum resident set size= 239400
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30749
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= 2735
involuntary context switches= 1110


# summary of solver processes directly reported to runsolver:
#   pid: 3520
#   total CPU time (s): 25.7977
#   total CPU user time (s): 25.6554
#   total CPU system time (s): 0.142283

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.057936 second user time and 0.123597 second system time

The end

Name	OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbop-30-15-1.xml
MD5SUM	b5169c90aef0d626aba0e990e84095c1
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	10
Best CPU time to get the best result obtained on this benchmark	24.2857
Satisfiable
(Un)Satisfiability was proved
Number of variables	1380
Number of constraints	1366
Number of domains	4
Minimum domain size	2
Maximum domain size	16
Distribution of domain sizes	[{"size":2,"count":900},{"size":3,"count":450},{"size":15,"count":15},{"size":16,"count":15}]
Minimum variable degree	2
Maximum variable degree	31
Distribution of variable degrees	[{"degree":2,"count":495},{"degree":3,"count":870},{"degree":31,"count":15}]
Minimum constraint arity	2
Maximum constraint arity	31
Distribution of constraint arities	[{"arity":2,"count":480},{"arity":3,"count":870},{"arity":15,"count":1},{"arity":31,"count":15}]
Number of extensional constraints	450
Number of intensional constraints	450
Distribution of constraint types	[{"type":"extension","count":450},{"type":"intension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":15},{"type":"element","count":450}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4404014

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