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-06-14	OPT	10	24.7429	6.61512

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4394154-1568330699.xml"  -tl '2400s' -p 4
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4394154-1568330699.xml, -tl, 2400s, -p, 4]
0.33/0.22	c 4 solvers in parallel
0.33/0.28	c parse instance...
3.15/1.18	c solve instance...
3.82/1.31	o 15 
3.82/1.36	o 14 
3.82/1.37	o 13 
3.82/1.39	o 12 
5.33/1.70	o 11 
5.33/1.71	o 10 
24.70/6.60	s OPTIMUM FOUND
24.70/6.60	v <instantiation>
24.70/6.60	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>
24.70/6.60	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>
24.70/6.60	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 (15050 MiB free)
  memory of node 1: 16384 MiB (14614 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394154-1568330699/watcher-4394154-1568330699 -o /tmp/evaluation-result-4394154-1568330699/solver-4394154-1568330699 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568323682-25331 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 2116261467 HOME/instance-4394154-1568330699.xml 

running on 4 cores: 0,2,4,6

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=2368, runsolver pid=2365
Current StackSize limit: 8192 KiB


[startup+0.100084 s]*
/proc/loadavg: 5.00 6.96 7.58 4/235 2384
/proc/meminfo: memFree=30359180/32770624 swapFree=66933676/67108860
[pid=2368] ppid=2365 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2368/stat : 2368 (xcsp3-exec) S 2365 2368 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409341353 115843072 362 33554432000 4194304 5098028 140722109919216 140722109917320 139762193597052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32989184 140722109924218 140722109924461 140722109924461 140722109927370 0
/proc/2368/statm: 28282 362 304 221 0 87 0
[pid=2370] ppid=2368 vsize=15144768 memory=30348 CPUtime=0.12 cores=0,2,4,6
/proc/2370/stat : 2370 (java) S 2368 2368 25300 0 -1 1077944320 5477 0 0 0 12 0 0 0 20 0 15 0 409341353 15508242432 7587 33554432000 4194304 4196468 140721861809152 140721861791696 139895646039799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
/proc/2370/statm: 3786192 7587 3155 1 0 3748377 0
[pid=2370/tid=2371] ppid=2368 vsize=15144768 memory=-6664436420846797971 CPUtime=0.09 cores=0,2,4,6
/proc/2370/task/2371/stat : 2371 (java) R 2368 2368 25300 0 -1 4202560 3396 0 0 0 9 0 0 0 20 0 15 0 409341353 15508242432 7587 33554432000 4194304 4196468 140721861809152 139895650261856 139895638276926 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2372] ppid=2368 vsize=15144768 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2372/stat : 2372 (java) S 2368 2368 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409341354 15508242432 7587 33554432000 4194304 4196468 140721861809152 139895609146256 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2373] ppid=2368 vsize=15144768 memory=140404054263424 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2373/stat : 2373 (java) S 2368 2368 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409341354 15508242432 7587 33554432000 4194304 4196468 140721861809152 139895237434128 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2374] ppid=2368 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2374/stat : 2374 (java) S 2368 2368 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409341354 15508242432 7587 33554432000 4194304 4196468 140721861809152 139895236381840 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2375] ppid=2368 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2375/stat : 2375 (java) S 2368 2368 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409341354 15508242432 7587 33554432000 4194304 4196468 140721861809152 139895235329040 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2376] ppid=2368 vsize=15144768 memory=140404054263424 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2376/stat : 2376 (java) S 2368 2368 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409341355 15508242432 7587 33554432000 4194304 4196468 140721861809152 139895114627184 139895646050946 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2377] ppid=2368 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2377/stat : 2377 (java) S 2368 2368 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409341356 15508242432 7587 33554432000 4194304 4196468 140721861809152 139895113573152 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2378] ppid=2368 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2378/stat : 2378 (java) S 2368 2368 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409341356 15508242432 7587 33554432000 4194304 4196468 140721861809152 139895112520816 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2379] ppid=2368 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2379/stat : 2379 (java) S 2368 2368 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409341359 15508242432 7587 33554432000 4194304 4196468 140721861809152 139895111469136 139895646058395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2380] ppid=2368 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2380/stat : 2380 (java) R 2368 2368 25300 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 409341359 15508242432 7587 33554432000 4194304 4196468 140721861809152 139895110417008 139895646050946 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2381] ppid=2368 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2381/stat : 2381 (java) R 2368 2368 25300 0 -1 4202560 43 0 0 0 0 0 0 0 20 0 15 0 409341359 15508242432 7587 33554432000 4194304 4196468 140721861809152 139895109364208 139895623284544 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2382] ppid=2368 vsize=15144768 memory=140404054263424 CPUtime=0.02 cores=0,2,4,6
/proc/2370/task/2382/stat : 2382 (java) S 2368 2368 25300 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 15 0 409341359 15508242432 7587 33554432000 4194304 4196468 140721861809152 139895108311920 139895646050946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2383] ppid=2368 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2383/stat : 2383 (java) S 2368 2368 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409341359 15508242432 7587 33554432000 4194304 4196468 140721861809152 139895107259360 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2384] ppid=2368 vsize=15144768 memory=140404054263424 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2384/stat : 2384 (java) S 2368 2368 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409341359 15508242432 7587 33554432000 4194304 4196468 140721861809152 139895106206128 139895646050946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31796 KiB

[startup+0.210901 s]*
/proc/loadavg: 5.00 6.96 7.58 6/235 2384
/proc/meminfo: memFree=30347404/32770624 swapFree=66933676/67108860
[pid=2368] ppid=2365 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2368/stat : 2368 (xcsp3-exec) S 2365 2368 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409341353 115843072 362 33554432000 4194304 5098028 140722109919216 140722109917320 139762193597052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32989184 140722109924218 140722109924461 140722109924461 140722109927370 0
/proc/2368/statm: 28282 362 304 221 0 87 0
[pid=2370] ppid=2368 vsize=15144768 memory=41108 CPUtime=0.33 cores=0,2,4,6
/proc/2370/stat : 2370 (java) S 2368 2368 25300 0 -1 1077944320 9009 0 0 0 31 2 0 0 20 0 15 0 409341353 15508242432 10277 33554432000 4194304 4196468 140721861809152 140721861791696 139895646039799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
/proc/2370/statm: 3786192 10277 3265 1 0 3748377 0
[pid=2370/tid=2371] ppid=2368 vsize=15144768 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/2370/task/2371/stat : 2371 (java) R 2368 2368 25300 0 -1 4202560 6195 0 0 0 18 2 0 0 20 0 15 0 409341353 15508242432 10277 33554432000 4194304 4196468 140721861809152 139895650269520 139895630120286 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2372] ppid=2368 vsize=15144768 memory=364 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2372/stat : 2372 (java) S 2368 2368 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409341354 15508242432 10277 33554432000 4194304 4196468 140721861809152 139895609146256 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2373] ppid=2368 vsize=15144768 memory=140404057436382 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2373/stat : 2373 (java) S 2368 2368 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409341354 15508242432 10277 33554432000 4194304 4196468 140721861809152 139895237434128 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2374] ppid=2368 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2374/stat : 2374 (java) S 2368 2368 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409341354 15508242432 10277 33554432000 4194304 4196468 140721861809152 139895236381840 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2375] ppid=2368 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2375/stat : 2375 (java) S 2368 2368 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409341354 15508242432 10277 33554432000 4194304 4196468 140721861809152 139895235329040 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2376] ppid=2368 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2376/stat : 2376 (java) S 2368 2368 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409341355 15508242432 10277 33554432000 4194304 4196468 140721861809152 139895114627184 139895646050946 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2377] ppid=2368 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2377/stat : 2377 (java) S 2368 2368 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409341356 15508242432 10277 33554432000 4194304 4196468 140721861809152 139895113573152 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2378] ppid=2368 vsize=15144768 memory=140404054263424 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2378/stat : 2378 (java) S 2368 2368 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409341356 15508242432 10277 33554432000 4194304 4196468 140721861809152 139895112520816 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2379] ppid=2368 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2379/stat : 2379 (java) S 2368 2368 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409341359 15508242432 10277 33554432000 4194304 4196468 140721861809152 139895111469136 139895646058395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2380] ppid=2368 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2370/task/2380/stat : 2380 (java) S 2368 2368 25300 0 -1 1077944384 510 0 0 0 2 0 0 0 20 0 15 0 409341359 15508242432 10277 33554432000 4194304 4196468 140721861809152 139895110417008 139895646050946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2381] ppid=2368 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/2370/task/2381/stat : 2381 (java) S 2368 2368 25300 0 -1 1077944384 251 0 0 0 2 0 0 0 20 0 15 0 409341359 15508242432 10277 33554432000 4194304 4196468 140721861809152 139895109364208 139895646050946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2382] ppid=2368 vsize=15144768 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/2370/task/2382/stat : 2382 (java) R 2368 2368 25300 0 -1 4202560 750 0 0 0 8 0 0 0 20 0 15 0 409341359 15508242432 10277 33554432000 4194304 4196468 140721861809152 139895108311920 139895646051734 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2383] ppid=2368 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2383/stat : 2383 (java) S 2368 2368 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409341359 15508242432 10277 33554432000 4194304 4196468 140721861809152 139895107259360 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2384] ppid=2368 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2384/stat : 2384 (java) S 2368 2368 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409341359 15508242432 10277 33554432000 4194304 4196468 140721861809152 139895106206128 139895646050946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42556 KiB

[startup+0.310818 s]*
/proc/loadavg: 5.00 6.96 7.58 4/235 2384
/proc/meminfo: memFree=30340020/32770624 swapFree=66933676/67108860
[pid=2368] ppid=2365 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2368/stat : 2368 (xcsp3-exec) S 2365 2368 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409341353 115843072 362 33554432000 4194304 5098028 140722109919216 140722109917320 139762193597052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32989184 140722109924218 140722109924461 140722109924461 140722109927370 0
/proc/2368/statm: 28282 362 304 221 0 87 0
[pid=2370] ppid=2368 vsize=15149024 memory=50256 CPUtime=0.52 cores=0,2,4,6
/proc/2370/stat : 2370 (java) S 2368 2368 25300 0 -1 1077944320 10341 0 0 0 49 3 0 0 20 0 15 0 409341353 15512600576 12564 33554432000 4194304 4196468 140721861809152 140721861791696 139895646039799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
/proc/2370/statm: 3787256 12564 3370 1 0 3748377 0
[pid=2370/tid=2371] ppid=2368 vsize=15149024 memory=1398720917958146503 CPUtime=0.3 cores=0,2,4,6
/proc/2370/task/2371/stat : 2371 (java) R 2368 2368 25300 0 -1 4202560 7347 0 0 0 27 3 0 0 20 0 15 0 409341353 15512600576 12635 33554432000 4194304 4196468 140721861809152 139895650273584 139895630120286 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2372] ppid=2368 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2372/stat : 2372 (java) S 2368 2368 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409341354 15512600576 12635 33554432000 4194304 4196468 140721861809152 139895609146256 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2373] ppid=2368 vsize=15149024 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2373/stat : 2373 (java) S 2368 2368 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409341354 15512600576 12635 33554432000 4194304 4196468 140721861809152 139895237434128 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2374] ppid=2368 vsize=15149024 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2374/stat : 2374 (java) S 2368 2368 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409341354 15512600576 12635 33554432000 4194304 4196468 140721861809152 139895236381840 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2375] ppid=2368 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2375/stat : 2375 (java) S 2368 2368 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409341354 15512600576 12635 33554432000 4194304 4196468 140721861809152 139895235329040 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2376] ppid=2368 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2376/stat : 2376 (java) S 2368 2368 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409341355 15512600576 12635 33554432000 4194304 4196468 140721861809152 139895114627184 139895646050946 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2377] ppid=2368 vsize=15149024 memory=35809 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2377/stat : 2377 (java) S 2368 2368 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409341356 15512600576 12635 33554432000 4194304 4196468 140721861809152 139895113573152 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2378] ppid=2368 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2378/stat : 2378 (java) S 2368 2368 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409341356 15512600576 12635 33554432000 4194304 4196468 140721861809152 139895112520816 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2379] ppid=2368 vsize=15149024 memory=-1598831813028945288 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2379/stat : 2379 (java) S 2368 2368 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409341359 15512600576 12635 33554432000 4194304 4196468 140721861809152 139895111469136 139895646058395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2380] ppid=2368 vsize=15149024 memory=6944656592455097440 CPUtime=0.05 cores=0,2,4,6
/proc/2370/task/2380/stat : 2380 (java) S 2368 2368 25300 0 -1 1077944384 608 0 0 0 5 0 0 0 20 0 15 0 409341359 15512600576 12635 33554432000 4194304 4196468 140721861809152 139895110417008 139895646050946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2381] ppid=2368 vsize=15149024 memory=6944656592455097440 CPUtime=0.03 cores=0,2,4,6
/proc/2370/task/2381/stat : 2381 (java) S 2368 2368 25300 0 -1 1077944384 264 0 0 0 3 0 0 0 20 0 15 0 409341359 15512600576 12635 33554432000 4194304 4196468 140721861809152 139895109364208 139895646050946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2382] ppid=2368 vsize=15149024 memory=6656426216303648864 CPUtime=0.12 cores=0,2,4,6
/proc/2370/task/2382/stat : 2382 (java) S 2368 2368 25300 0 -1 1077944384 849 0 0 0 12 0 0 0 20 0 15 0 409341359 15512600576 12635 33554432000 4194304 4196468 140721861809152 139895108311920 139895646050946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2383] ppid=2368 vsize=15149024 memory=-6935123839545469842 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2383/stat : 2383 (java) S 2368 2368 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409341359 15512600576 12635 33554432000 4194304 4196468 140721861809152 139895107259360 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2384] ppid=2368 vsize=15149024 memory=7018104003582128280 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2384/stat : 2384 (java) S 2368 2368 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409341359 15512600576 12635 33554432000 4194304 4196468 140721861809152 139895106206128 139895646050946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51704 KiB

[startup+0.701111 s]
/proc/loadavg: 5.00 6.96 7.58 6/235 2384
/proc/meminfo: memFree=30319860/32770624 swapFree=66933676/67108860
[pid=2368] ppid=2365 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2368/stat : 2368 (xcsp3-exec) S 2365 2368 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409341353 115843072 362 33554432000 4194304 5098028 140722109919216 140722109917320 139762193597052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32989184 140722109924218 140722109924461 140722109924461 140722109927370 0
/proc/2368/statm: 28282 362 304 221 0 87 0
[pid=2370] ppid=2368 vsize=15151148 memory=90228 CPUtime=1.75 cores=0,2,4,6
/proc/2370/stat : 2370 (java) S 2368 2368 25300 0 -1 1077944320 14724 0 0 0 169 6 0 0 20 0 15 0 409341353 15514775552 22557 33554432000 4194304 4196468 140721861809152 140721861791696 139895646039799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
/proc/2370/statm: 3787787 22557 3443 1 0 3748889 0
[pid=2370/tid=2371] ppid=2368 vsize=15151148 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/2370/task/2371/stat : 2371 (java) R 2368 2368 25300 0 -1 4202560 8725 0 0 0 63 4 0 0 20 0 15 0 409341353 15514775552 22557 33554432000 4194304 4196468 140721861809152 139895650275456 139895630120286 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2372] ppid=2368 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2372/stat : 2372 (java) S 2368 2368 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409341354 15514775552 22557 33554432000 4194304 4196468 140721861809152 139895609146256 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2373] ppid=2368 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2373/stat : 2373 (java) S 2368 2368 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409341354 15514775552 22557 33554432000 4194304 4196468 140721861809152 139895237434128 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2374] ppid=2368 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2374/stat : 2374 (java) S 2368 2368 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409341354 15514775552 22557 33554432000 4194304 4196468 140721861809152 139895236381840 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2375] ppid=2368 vsize=15151148 memory=70 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2375/stat : 2375 (java) S 2368 2368 25300 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409341354 15514775552 22557 33554432000 4194304 4196468 140721861809152 139895235329040 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2376] ppid=2368 vsize=15151148 memory=1 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2376/stat : 2376 (java) S 2368 2368 25300 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409341355 15514775552 22557 33554432000 4194304 4196468 140721861809152 139895114627184 139895646050946 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2377] ppid=2368 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2377/stat : 2377 (java) S 2368 2368 25300 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409341356 15514775552 22557 33554432000 4194304 4196468 140721861809152 139895113573152 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2378] ppid=2368 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2378/stat : 2378 (java) S 2368 2368 25300 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409341356 15514775552 22557 33554432000 4194304 4196468 140721861809152 139895112520816 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2379] ppid=2368 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2379/stat : 2379 (java) S 2368 2368 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409341359 15514775552 22557 33554432000 4194304 4196468 140721861809152 139895111469136 139895646058395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2380] ppid=2368 vsize=15151148 memory=8296 CPUtime=0.3 cores=0,2,4,6
/proc/2370/task/2380/stat : 2380 (java) R 2368 2368 25300 0 -1 4202560 1365 0 0 0 30 0 0 0 20 0 15 0 409341359 15514775552 22557 33554432000 4194304 4196468 140721861809152 139895110403072 139895627564696 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2381] ppid=2368 vsize=15151148 memory=5952 CPUtime=0.33 cores=0,2,4,6
/proc/2370/task/2381/stat : 2381 (java) R 2368 2368 25300 0 -1 4202560 1407 0 0 0 33 0 0 0 20 0 15 0 409341359 15514775552 22557 33554432000 4194304 4196468 140721861809152 139895109342848 139895627561073 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2382] ppid=2368 vsize=15151148 memory=1124 CPUtime=0.4 cores=0,2,4,6
/proc/2370/task/2382/stat : 2382 (java) R 2368 2368 25300 0 -1 4202560 1940 0 0 0 40 0 0 0 20 0 15 0 409341359 15514775552 22557 33554432000 4194304 4196468 140721861809152 139895108311920 139895624553389 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2383] ppid=2368 vsize=15151148 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2383/stat : 2383 (java) S 2368 2368 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409341359 15514775552 22557 33554432000 4194304 4196468 140721861809152 139895107259360 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2384] ppid=2368 vsize=15151148 memory=11928 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2384/stat : 2384 (java) S 2368 2368 25300 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409341359 15514775552 22597 33554432000 4194304 4196468 140721861809152 139895106206128 139895646050946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 91676 KiB

[startup+1.50076 s]
/proc/loadavg: 5.00 6.96 7.58 5/235 2384
/proc/meminfo: memFree=30245396/32770624 swapFree=66933676/67108860
[pid=2368] ppid=2365 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2368/stat : 2368 (xcsp3-exec) S 2365 2368 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409341353 115843072 362 33554432000 4194304 5098028 140722109919216 140722109917320 139762193597052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32989184 140722109924218 140722109924461 140722109924461 140722109927370 0
/proc/2368/statm: 28282 362 304 221 0 87 0

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

/proc/2370/task/2412/stat : 2412 (java) R 2368 2368 25300 0 -1 4202560 50 0 0 0 96 0 0 0 20 0 19 0 409341524 15858733056 54296 33554432000 4194304 4196468 140721861809152 139895093846048 139895291039705 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
Current children cumulated CPU time: 10.92 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 218632 KiB

[startup+6.30111 s]
/proc/loadavg: 5.08 6.94 7.57 6/238 2412
/proc/meminfo: memFree=30156228/32770624 swapFree=66933676/67108860
[pid=2368] ppid=2365 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2368/stat : 2368 (xcsp3-exec) S 2365 2368 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409341353 115843072 362 33554432000 4194304 5098028 140722109919216 140722109917320 139762193597052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32989184 140722109924218 140722109924461 140722109924461 140722109927370 0
/proc/2368/statm: 28282 362 304 221 0 87 0
[pid=2370] ppid=2368 vsize=15487044 memory=233444 CPUtime=23.5 cores=0,2,4,6
/proc/2370/stat : 2370 (java) S 2368 2368 25300 0 -1 1077944320 28776 0 0 0 2337 13 0 0 20 0 19 0 409341353 15858733056 58361 33554432000 4194304 4196468 140721861809152 140721861791696 139895646039799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
/proc/2370/statm: 3871761 58361 3528 1 0 3832863 0
[pid=2370/tid=2371] ppid=2368 vsize=15487044 memory=233340 CPUtime=1.16 cores=0,2,4,6
/proc/2370/task/2371/stat : 2371 (java) S 2368 2368 25300 0 -1 1077944384 11328 0 0 0 111 5 0 0 20 0 19 0 409341353 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895650280576 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2372] ppid=2368 vsize=15487044 memory=280807915126656 CPUtime=0.01 cores=0,2,4,6
/proc/2370/task/2372/stat : 2372 (java) S 2368 2368 25300 0 -1 1077944384 141 0 0 0 1 0 0 0 20 0 19 0 409341354 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895609146256 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2373] ppid=2368 vsize=15487044 memory=2958606 CPUtime=0.01 cores=0,2,4,6
/proc/2370/task/2373/stat : 2373 (java) S 2368 2368 25300 0 -1 1077944384 291 0 0 0 1 0 0 0 20 0 19 0 409341354 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895237434128 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2374] ppid=2368 vsize=15487044 memory=1448 CPUtime=0.02 cores=0,2,4,6
/proc/2370/task/2374/stat : 2374 (java) S 2368 2368 25300 0 -1 1077944384 41 0 0 0 2 0 0 0 20 0 19 0 409341354 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895236381840 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2375] ppid=2368 vsize=15487044 memory=232900 CPUtime=0.02 cores=0,2,4,6
/proc/2370/task/2375/stat : 2375 (java) S 2368 2368 25300 0 -1 1077944384 86 0 0 0 2 0 0 0 20 0 19 0 409341354 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895235329040 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2376] ppid=2368 vsize=15487044 memory=4580 CPUtime=0.01 cores=0,2,4,6
/proc/2370/task/2376/stat : 2376 (java) S 2368 2368 25300 0 -1 1077944384 241 0 0 0 0 1 0 0 20 0 19 0 409341355 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895114627184 139895646050946 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2377] ppid=2368 vsize=15487044 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2377/stat : 2377 (java) S 2368 2368 25300 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 409341356 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895113573216 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2378] ppid=2368 vsize=15487044 memory=2032 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2378/stat : 2378 (java) S 2368 2368 25300 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 409341356 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895112520832 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2379] ppid=2368 vsize=15487044 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2379/stat : 2379 (java) S 2368 2368 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409341359 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895111469136 139895646058395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2380] ppid=2368 vsize=15487044 memory=1564 CPUtime=3.13 cores=0,2,4,6
/proc/2370/task/2380/stat : 2380 (java) S 2368 2368 25300 0 -1 1077944384 5308 0 0 0 312 1 0 0 20 0 19 0 409341359 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895110417008 139895646050946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2381] ppid=2368 vsize=15487044 memory=0 CPUtime=2.92 cores=0,2,4,6
/proc/2370/task/2381/stat : 2381 (java) S 2368 2368 25300 0 -1 1077944384 4960 0 0 0 291 1 0 0 20 0 19 0 409341359 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895109364208 139895646050946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2382] ppid=2368 vsize=15487044 memory=0 CPUtime=0.98 cores=0,2,4,6
/proc/2370/task/2382/stat : 2382 (java) S 2368 2368 25300 0 -1 1077944384 4090 0 0 0 97 1 0 0 20 0 19 0 409341359 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895108311920 139895646050946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2383] ppid=2368 vsize=15487044 memory=233340 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2383/stat : 2383 (java) S 2368 2368 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409341359 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895107259360 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2384] ppid=2368 vsize=15487044 memory=233208 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2384/stat : 2384 (java) S 2368 2368 25300 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 409341359 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895106206128 139895646050946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2409] ppid=2368 vsize=15487044 memory=0 CPUtime=3.78 cores=0,2,4,6
/proc/2370/task/2409/stat : 2409 (java) R 2368 2368 25300 0 -1 4202560 48 0 0 0 378 0 0 0 20 0 19 0 409341524 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895090686224 139895290176796 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2410] ppid=2368 vsize=15487044 memory=1448 CPUtime=3.47 cores=0,2,4,6
/proc/2370/task/2410/stat : 2410 (java) R 2368 2368 25300 0 -1 4202560 75 0 0 0 347 0 0 0 20 0 19 0 409341524 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895089635400 139895290823525 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2411] ppid=2368 vsize=15487044 memory=232996 CPUtime=3.47 cores=0,2,4,6
/proc/2370/task/2411/stat : 2411 (java) R 2368 2368 25300 0 -1 4202560 54 0 0 0 347 0 0 0 20 0 19 0 409341524 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895092792376 139895290123946 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2412] ppid=2368 vsize=15487044 memory=7809899744635285089 CPUtime=3.58 cores=0,2,4,6
/proc/2370/task/2412/stat : 2412 (java) R 2368 2368 25300 0 -1 4202560 57 0 0 0 358 0 0 0 20 0 19 0 409341524 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895093845776 139895291039761 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
Current children cumulated CPU time: 23.5 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 234892 KiB

[startup+6.61507 s]
# the end of solver process 2368 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=24.6046 s, system=0.138289 s

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

[startup+6.40111 s]
/proc/loadavg: 5.08 6.94 7.57 6/238 2412
/proc/meminfo: memFree=30156228/32770624 swapFree=66933676/67108860
[pid=2368] ppid=2365 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2368/stat : 2368 (xcsp3-exec) S 2365 2368 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409341353 115843072 362 33554432000 4194304 5098028 140722109919216 140722109917320 139762193597052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32989184 140722109924218 140722109924461 140722109924461 140722109927370 0
/proc/2368/statm: 28282 362 304 221 0 87 0
[pid=2370] ppid=2368 vsize=15487044 memory=233444 CPUtime=23.9 cores=0,2,4,6
/proc/2370/stat : 2370 (java) S 2368 2368 25300 0 -1 1077944320 28781 0 0 0 2377 13 0 0 20 0 19 0 409341353 15858733056 58361 33554432000 4194304 4196468 140721861809152 140721861791696 139895646039799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
/proc/2370/statm: 3871761 58361 3528 1 0 3832863 0
[pid=2370/tid=2371] ppid=2368 vsize=15487044 memory=6010711787585509804 CPUtime=1.16 cores=0,2,4,6
/proc/2370/task/2371/stat : 2371 (java) S 2368 2368 25300 0 -1 1077944384 11328 0 0 0 111 5 0 0 20 0 19 0 409341353 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895650280576 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2372] ppid=2368 vsize=15487044 memory=8112282956445269571 CPUtime=0.01 cores=0,2,4,6
/proc/2370/task/2372/stat : 2372 (java) S 2368 2368 25300 0 -1 1077944384 141 0 0 0 1 0 0 0 20 0 19 0 409341354 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895609146256 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2373] ppid=2368 vsize=15487044 memory=288230617509003574 CPUtime=0.01 cores=0,2,4,6
/proc/2370/task/2373/stat : 2373 (java) S 2368 2368 25300 0 -1 1077944384 291 0 0 0 1 0 0 0 20 0 19 0 409341354 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895237434128 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2374] ppid=2368 vsize=15487044 memory=15260333157648136 CPUtime=0.02 cores=0,2,4,6
/proc/2370/task/2374/stat : 2374 (java) S 2368 2368 25300 0 -1 1077944384 41 0 0 0 2 0 0 0 20 0 19 0 409341354 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895236381840 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2375] ppid=2368 vsize=15487044 memory=2471082592001 CPUtime=0.02 cores=0,2,4,6
/proc/2370/task/2375/stat : 2375 (java) S 2368 2368 25300 0 -1 1077944384 86 0 0 0 2 0 0 0 20 0 19 0 409341354 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895235329040 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2376] ppid=2368 vsize=15487044 memory=2479672526593 CPUtime=0.01 cores=0,2,4,6
/proc/2370/task/2376/stat : 2376 (java) S 2368 2368 25300 0 -1 1077944384 241 0 0 0 0 1 0 0 20 0 19 0 409341355 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895114627184 139895646050946 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2377] ppid=2368 vsize=15487044 memory=2496852395777 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2377/stat : 2377 (java) S 2368 2368 25300 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 409341356 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895113573216 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2378] ppid=2368 vsize=15487044 memory=2509737297665 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2378/stat : 2378 (java) S 2368 2368 25300 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 409341356 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895112520832 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2379] ppid=2368 vsize=15487044 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2379/stat : 2379 (java) S 2368 2368 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409341359 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895111469136 139895646058395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2380] ppid=2368 vsize=15487044 memory=280807915477472 CPUtime=3.13 cores=0,2,4,6
/proc/2370/task/2380/stat : 2380 (java) S 2368 2368 25300 0 -1 1077944384 5308 0 0 0 312 1 0 0 20 0 19 0 409341359 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895110417008 139895646050946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2381] ppid=2368 vsize=15487044 memory=0 CPUtime=2.92 cores=0,2,4,6
/proc/2370/task/2381/stat : 2381 (java) S 2368 2368 25300 0 -1 1077944384 4960 0 0 0 291 1 0 0 20 0 19 0 409341359 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895109364208 139895646050946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2382] ppid=2368 vsize=15487044 memory=4495807647175764544 CPUtime=0.98 cores=0,2,4,6
/proc/2370/task/2382/stat : 2382 (java) S 2368 2368 25300 0 -1 1077944384 4090 0 0 0 97 1 0 0 20 0 19 0 409341359 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895108311920 139895646050946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2383] ppid=2368 vsize=15487044 memory=2320258844701834094 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2383/stat : 2383 (java) S 2368 2368 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409341359 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895107259360 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2384] ppid=2368 vsize=15487044 memory=4049053009470712740 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2384/stat : 2384 (java) S 2368 2368 25300 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 409341359 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895106206128 139895646050946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2409] ppid=2368 vsize=15487044 memory=-6441967611270944860 CPUtime=3.88 cores=0,2,4,6
/proc/2370/task/2409/stat : 2409 (java) R 2368 2368 25300 0 -1 4202560 48 0 0 0 388 0 0 0 20 0 19 0 409341524 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895090686224 139895292003837 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2410] ppid=2368 vsize=15487044 memory=3836029216032661151 CPUtime=3.57 cores=0,2,4,6
/proc/2370/task/2410/stat : 2410 (java) R 2368 2368 25300 0 -1 4202560 76 0 0 0 357 0 0 0 20 0 19 0 409341524 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895089635400 139895293367905 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2411] ppid=2368 vsize=15487044 memory=3833161624490490732 CPUtime=3.57 cores=0,2,4,6
/proc/2370/task/2411/stat : 2411 (java) R 2368 2368 25300 0 -1 4202560 57 0 0 0 357 0 0 0 20 0 19 0 409341524 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895092792376 139895291039633 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2412] ppid=2368 vsize=15487044 memory=8261437486948392105 CPUtime=3.68 cores=0,2,4,6
/proc/2370/task/2412/stat : 2412 (java) R 2368 2368 25300 0 -1 4202560 58 0 0 0 368 0 0 0 20 0 19 0 409341524 15858733056 58361 33554432000 4194304 4196468 140721861809152 139895093845776 139895290176061 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
Current children cumulated CPU time: 23.9 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 234892 KiB

[startup+6.60108 s]
/proc/loadavg: 5.08 6.94 7.57 6/238 2412
/proc/meminfo: memFree=30156228/32770624 swapFree=66933676/67108860
[pid=2368] ppid=2365 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2368/stat : 2368 (xcsp3-exec) S 2365 2368 25300 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409341353 115843072 362 33554432000 4194304 5098028 140722109919216 140722109917320 139762193597052 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 32989184 140722109924218 140722109924461 140722109924461 140722109927370 0
/proc/2368/statm: 28282 362 304 221 0 87 0
[pid=2370] ppid=2368 vsize=15487044 memory=239588 CPUtime=24.7 cores=0,2,4,6
/proc/2370/stat : 2370 (java) S 2368 2368 25300 0 -1 1077944320 28809 0 0 0 2457 13 0 0 20 0 19 0 409341353 15858733056 59897 33554432000 4194304 4196468 140721861809152 140721861791696 139895646039799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
/proc/2370/statm: 3871761 59897 3528 1 0 3832863 0
[pid=2370/tid=2371] ppid=2368 vsize=15487044 memory=7809899744635285089 CPUtime=1.16 cores=0,2,4,6
/proc/2370/task/2371/stat : 2371 (java) S 2368 2368 25300 0 -1 1077944384 11328 0 0 0 111 5 0 0 20 0 19 0 409341353 15858733056 59897 33554432000 4194304 4196468 140721861809152 139895650280576 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2372] ppid=2368 vsize=15487044 memory=8112282956445269571 CPUtime=0.01 cores=0,2,4,6
/proc/2370/task/2372/stat : 2372 (java) S 2368 2368 25300 0 -1 1077944384 141 0 0 0 1 0 0 0 20 0 19 0 409341354 15858733056 59897 33554432000 4194304 4196468 140721861809152 139895609146256 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2373] ppid=2368 vsize=15487044 memory=4096 CPUtime=0.01 cores=0,2,4,6
/proc/2370/task/2373/stat : 2373 (java) S 2368 2368 25300 0 -1 1077944384 291 0 0 0 1 0 0 0 20 0 19 0 409341354 15858733056 59897 33554432000 4194304 4196468 140721861809152 139895237434128 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2374] ppid=2368 vsize=15487044 memory=1398720917958146503 CPUtime=0.02 cores=0,2,4,6
/proc/2370/task/2374/stat : 2374 (java) S 2368 2368 25300 0 -1 1077944384 41 0 0 0 2 0 0 0 20 0 19 0 409341354 15858733056 59897 33554432000 4194304 4196468 140721861809152 139895236381840 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2375] ppid=2368 vsize=15487044 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2370/task/2375/stat : 2375 (java) S 2368 2368 25300 0 -1 1077944384 86 0 0 0 2 0 0 0 20 0 19 0 409341354 15858733056 59897 33554432000 4194304 4196468 140721861809152 139895235329040 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2376] ppid=2368 vsize=15487044 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2370/task/2376/stat : 2376 (java) S 2368 2368 25300 0 -1 1077944384 241 0 0 0 0 1 0 0 20 0 19 0 409341355 15858733056 59897 33554432000 4194304 4196468 140721861809152 139895114627184 139895646050946 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2377] ppid=2368 vsize=15487044 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2377/stat : 2377 (java) S 2368 2368 25300 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 409341356 15858733056 59897 33554432000 4194304 4196468 140721861809152 139895113573216 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2378] ppid=2368 vsize=15487044 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2378/stat : 2378 (java) S 2368 2368 25300 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 409341356 15858733056 59897 33554432000 4194304 4196468 140721861809152 139895112520832 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2379] ppid=2368 vsize=15487044 memory=15620 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2379/stat : 2379 (java) S 2368 2368 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409341359 15858733056 59897 33554432000 4194304 4196468 140721861809152 139895111469136 139895646058395 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2380] ppid=2368 vsize=15487044 memory=1124 CPUtime=3.13 cores=0,2,4,6
/proc/2370/task/2380/stat : 2380 (java) S 2368 2368 25300 0 -1 1077944384 5311 0 0 0 312 1 0 0 20 0 19 0 409341359 15858733056 59897 33554432000 4194304 4196468 140721861809152 139895110417008 139895646050946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2381] ppid=2368 vsize=15487044 memory=14008 CPUtime=2.93 cores=0,2,4,6
/proc/2370/task/2381/stat : 2381 (java) S 2368 2368 25300 0 -1 1077944384 4970 0 0 0 292 1 0 0 20 0 19 0 409341359 15858733056 59897 33554432000 4194304 4196468 140721861809152 139895109364208 139895646050946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2382] ppid=2368 vsize=15487044 memory=11928 CPUtime=0.98 cores=0,2,4,6
/proc/2370/task/2382/stat : 2382 (java) S 2368 2368 25300 0 -1 1077944384 4099 0 0 0 97 1 0 0 20 0 19 0 409341359 15858733056 59897 33554432000 4194304 4196468 140721861809152 139895108311920 139895646050946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2383] ppid=2368 vsize=15487044 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2383/stat : 2383 (java) S 2368 2368 25300 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409341359 15858733056 59897 33554432000 4194304 4196468 140721861809152 139895107259360 139895646050005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2384] ppid=2368 vsize=15487044 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2370/task/2384/stat : 2384 (java) S 2368 2368 25300 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 409341359 15858733056 59897 33554432000 4194304 4196468 140721861809152 139895106206128 139895646050946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2409] ppid=2368 vsize=15487044 memory=4580 CPUtime=4.08 cores=0,2,4,6
/proc/2370/task/2409/stat : 2409 (java) R 2368 2368 25300 0 -1 4202560 48 0 0 0 408 0 0 0 20 0 19 0 409341524 15858733056 59897 33554432000 4194304 4196468 140721861809152 139895090686224 139895290825466 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2410] ppid=2368 vsize=15487044 memory=7681421203011431829 CPUtime=3.76 cores=0,2,4,6
/proc/2370/task/2410/stat : 2410 (java) R 2368 2368 25300 0 -1 4202560 76 0 0 0 376 0 0 0 20 0 19 0 409341524 15858733056 59897 33554432000 4194304 4196468 140721861809152 139895089637816 139895290821915 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2411] ppid=2368 vsize=15487044 memory=-7684191407570971757 CPUtime=3.76 cores=0,2,4,6
/proc/2370/task/2411/stat : 2411 (java) R 2368 2368 25300 0 -1 4202560 63 0 0 0 376 0 0 0 20 0 19 0 409341524 15858733056 59897 33554432000 4194304 4196468 140721861809152 139895092793096 139895292004166 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
[pid=2370/tid=2412] ppid=2368 vsize=15487044 memory=-2025810976467231676 CPUtime=3.88 cores=0,2,4,6
/proc/2370/task/2412/stat : 2412 (java) R 2368 2368 25300 0 -1 4202560 58 0 0 0 388 0 0 0 20 0 19 0 409341524 15858733056 59897 33554432000 4194304 4196468 140721861809152 139895093845912 139895290698417 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30003200 140721861817327 140721861817498 140721861817498 140721861820367 0
Current children cumulated CPU time: 24.7 s
Current children cumulated vsize: 15600172 KiB
Current children cumulated memory: 241036 KiB

Child status: 0
Real time (s): 6.61512
CPU time (s): 24.7429
CPU user time (s): 24.6046
CPU system time (s): 0.138289
CPU usage (%): 374.036
Max. virtual memory (cumulated for all children) (KiB): 15600172
Max. memory (cumulated for all children) (KiB): 241036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.6046
system time used= 0.138289
maximum resident set size= 242392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29448
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= 2994
involuntary context switches= 899


# summary of solver processes directly reported to runsolver:
#   pid: 2368
#   total CPU time (s): 24.7429
#   total CPU user time (s): 24.6046
#   total CPU system time (s): 0.138289

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.078009 second user time and 0.104412 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 4394154

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