2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14	OPT	10	28.0031	7.43779

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4393278-1568354506.xml"  -tl '2520s' -p 4
0.12/0.19	c Choco e747e1e
0.12/0.20	c [HOME/instance-4393278-1568354506.xml, -tl, 2520s, -p, 4]
0.35/0.24	c 4 solvers in parallel
0.35/0.31	c parse instance...
3.46/1.28	c solve instance...
3.78/1.39	o 15 
4.14/1.41	o 14 
4.14/1.43	o 13 
4.14/1.49	o 12 
5.72/1.85	o 11 
5.72/1.85	o 10 
27.88/7.42	s OPTIMUM FOUND
27.88/7.42	v <instantiation>
27.88/7.42	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>
27.88/7.42	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>
27.88/7.42	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: 16375 MiB (13544 MiB free)
  memory of node 1: 16384 MiB (13544 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393278-1568354506/watcher-4393278-1568354506 -o /tmp/evaluation-result-4393278-1568354506/solver-4393278-1568354506 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323867655-28200 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 687765541 HOME/instance-4393278-1568354506.xml 

running on 4 cores: 4-7

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

solver pid=28719, runsolver pid=28715

[startup+0.100059 s]*
/proc/loadavg: 8.36 8.38 6.71 4/231 28754
/proc/meminfo: memFree=27705848/32770688 swapFree=66919992/67108860
[pid=28719] ppid=28715 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/28719/stat : 28719 (xcsp3-exec) S 28715 28719 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411456969 115843072 362 33554432000 4194304 5098028 140725954076752 140725954074856 140436485771900 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40038400 140725954085755 140725954085997 140725954085997 140725954088906 0
/proc/28719/statm: 28282 362 304 221 0 87 0
[pid=28725] ppid=28719 vsize=15144768 memory=30188 CPUtime=0.12 cores=4-7
/proc/28725/stat : 28725 (java) S 28719 28719 28168 0 -1 1077944320 5929 0 0 0 11 1 0 0 20 0 15 0 411456969 15508242432 7547 33554432000 4194304 4196468 140736157128480 140736157111024 140578100752119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
/proc/28725/statm: 3786192 7547 3146 1 0 3748377 0
[pid=28725/tid=28727] ppid=28719 vsize=15144768 memory=4351193297951295120 CPUtime=0.08 cores=4-7
/proc/28725/task/28727/stat : 28727 (java) R 28719 28719 28168 0 -1 4202560 3863 0 0 0 8 0 0 0 20 0 15 0 411456969 15508242432 7547 33554432000 4194304 4196468 140736157128480 140578104974864 140577719052253 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28729] ppid=28719 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=4-7
/proc/28725/task/28729/stat : 28729 (java) S 28719 28719 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456970 15508242432 7547 33554432000 4194304 4196468 140736157128480 140578053372432 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28730] ppid=28719 vsize=15144768 memory=140338719393408 CPUtime=0 cores=4-7
/proc/28725/task/28730/stat : 28730 (java) S 28719 28719 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456970 15508242432 7547 33554432000 4194304 4196468 140736157128480 140578052319888 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28731] ppid=28719 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/28725/task/28731/stat : 28731 (java) S 28719 28719 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456970 15508242432 7547 33554432000 4194304 4196468 140736157128480 140578051266832 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28732] ppid=28719 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/28725/task/28732/stat : 28732 (java) S 28719 28719 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411456970 15508242432 7547 33554432000 4194304 4196468 140736157128480 140578050214288 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28737] ppid=28719 vsize=15144768 memory=140338719393408 CPUtime=0 cores=4-7
/proc/28725/task/28737/stat : 28737 (java) S 28719 28719 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411456971 15508242432 7547 33554432000 4194304 4196468 140736157128480 140577636571888 140578100763266 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28739] ppid=28719 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/28725/task/28739/stat : 28739 (java) S 28719 28719 28168 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411456972 15508242432 7547 33554432000 4194304 4196468 140736157128480 140577567925920 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28740] ppid=28719 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/28725/task/28740/stat : 28740 (java) S 28719 28719 28168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411456972 15508242432 7547 33554432000 4194304 4196468 140736157128480 140577566872816 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28743] ppid=28719 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/28725/task/28743/stat : 28743 (java) S 28719 28719 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411456975 15508242432 7547 33554432000 4194304 4196468 140736157128480 140577565821392 140578100770715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28744] ppid=28719 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/28725/task/28744/stat : 28744 (java) S 28719 28719 28168 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 411456975 15508242432 7547 33554432000 4194304 4196468 140736157128480 140577564768496 140578100763266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28745] ppid=28719 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/28725/task/28745/stat : 28745 (java) S 28719 28719 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456975 15508242432 7547 33554432000 4194304 4196468 140736157128480 140577563715952 140578100763266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28746] ppid=28719 vsize=15144768 memory=140338719393408 CPUtime=0.01 cores=4-7
/proc/28725/task/28746/stat : 28746 (java) R 28719 28719 28168 0 -1 4202560 341 0 0 0 1 0 0 0 20 0 15 0 411456975 15508242432 7547 33554432000 4194304 4196468 140736157128480 140577562662896 140578079555240 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28747] ppid=28719 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/28725/task/28747/stat : 28747 (java) S 28719 28719 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411456975 15508242432 7547 33554432000 4194304 4196468 140736157128480 140577561610592 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28752] ppid=28719 vsize=15144768 memory=140338719393408 CPUtime=0 cores=4-7
/proc/28725/task/28752/stat : 28752 (java) S 28719 28719 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456975 15508242432 7547 33554432000 4194304 4196468 140736157128480 140577560558640 140578100763266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31636 KiB

[startup+0.217076 s]*
/proc/loadavg: 8.36 8.38 6.71 4/231 28754
/proc/meminfo: memFree=27682212/32770688 swapFree=66919992/67108860
[pid=28719] ppid=28715 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/28719/stat : 28719 (xcsp3-exec) S 28715 28719 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411456969 115843072 362 33554432000 4194304 5098028 140725954076752 140725954074856 140436485771900 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40038400 140725954085755 140725954085997 140725954085997 140725954088906 0
/proc/28719/statm: 28282 362 304 221 0 87 0
[pid=28725] ppid=28719 vsize=15144768 memory=40224 CPUtime=0.35 cores=4-7
/proc/28725/stat : 28725 (java) S 28719 28719 28168 0 -1 1077944320 9306 0 0 0 32 3 0 0 20 0 15 0 411456969 15508242432 10056 33554432000 4194304 4196468 140736157128480 140736157111024 140578100752119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
/proc/28725/statm: 3786192 10056 3260 1 0 3748377 0
[pid=28725/tid=28727] ppid=28719 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=4-7
/proc/28725/task/28727/stat : 28727 (java) R 28719 28719 28168 0 -1 4202560 6613 0 0 0 18 2 0 0 20 0 15 0 411456969 15508242432 10056 33554432000 4194304 4196468 140736157128480 140578104985984 140578100774045 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28729] ppid=28719 vsize=15144768 memory=1915596 CPUtime=0 cores=4-7
/proc/28725/task/28729/stat : 28729 (java) S 28719 28719 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456970 15508242432 10056 33554432000 4194304 4196468 140736157128480 140578053372432 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28730] ppid=28719 vsize=15144768 memory=140338722412591 CPUtime=0 cores=4-7
/proc/28725/task/28730/stat : 28730 (java) S 28719 28719 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456970 15508242432 10056 33554432000 4194304 4196468 140736157128480 140578052319888 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28731] ppid=28719 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/28725/task/28731/stat : 28731 (java) S 28719 28719 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456970 15508242432 10056 33554432000 4194304 4196468 140736157128480 140578051266832 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28732] ppid=28719 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/28725/task/28732/stat : 28732 (java) S 28719 28719 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411456970 15508242432 10056 33554432000 4194304 4196468 140736157128480 140578050214288 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28737] ppid=28719 vsize=15144768 memory=140338719393408 CPUtime=0 cores=4-7
/proc/28725/task/28737/stat : 28737 (java) S 28719 28719 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411456971 15508242432 10056 33554432000 4194304 4196468 140736157128480 140577636571888 140578100763266 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28739] ppid=28719 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/28725/task/28739/stat : 28739 (java) S 28719 28719 28168 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411456972 15508242432 10056 33554432000 4194304 4196468 140736157128480 140577567925920 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28740] ppid=28719 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/28725/task/28740/stat : 28740 (java) S 28719 28719 28168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411456972 15508242432 10056 33554432000 4194304 4196468 140736157128480 140577566872816 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28743] ppid=28719 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/28725/task/28743/stat : 28743 (java) S 28719 28719 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411456975 15508242432 10056 33554432000 4194304 4196468 140736157128480 140577565821392 140578100770715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28744] ppid=28719 vsize=15144768 memory=0 CPUtime=0.01 cores=4-7
/proc/28725/task/28744/stat : 28744 (java) S 28719 28719 28168 0 -1 1077944384 454 0 0 0 1 0 0 0 20 0 15 0 411456975 15508242432 10056 33554432000 4194304 4196468 140736157128480 140577564768496 140578100763266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28745] ppid=28719 vsize=15144768 memory=-1 CPUtime=0.03 cores=4-7
/proc/28725/task/28745/stat : 28745 (java) S 28719 28719 28168 0 -1 1077944384 173 0 0 0 3 0 0 0 20 0 15 0 411456975 15508242432 10056 33554432000 4194304 4196468 140736157128480 140577563715952 140578100763266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28746] ppid=28719 vsize=15144768 memory=140338719393408 CPUtime=0.08 cores=4-7
/proc/28725/task/28746/stat : 28746 (java) S 28719 28719 28168 0 -1 1077944384 763 0 0 0 8 0 0 0 20 0 15 0 411456975 15508242432 10056 33554432000 4194304 4196468 140736157128480 140577562662896 140578100763266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28747] ppid=28719 vsize=15144768 memory=-1 CPUtime=0 cores=4-7
/proc/28725/task/28747/stat : 28747 (java) S 28719 28719 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411456975 15508242432 10056 33554432000 4194304 4196468 140736157128480 140577561610592 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28752] ppid=28719 vsize=15144768 memory=0 CPUtime=0 cores=4-7
/proc/28725/task/28752/stat : 28752 (java) S 28719 28719 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456975 15508242432 10056 33554432000 4194304 4196468 140736157128480 140577560558640 140578100763266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41672 KiB

[startup+0.311678 s]*
/proc/loadavg: 8.36 8.38 6.71 5/231 28754
/proc/meminfo: memFree=27672356/32770688 swapFree=66919992/67108860
[pid=28719] ppid=28715 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/28719/stat : 28719 (xcsp3-exec) S 28715 28719 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411456969 115843072 362 33554432000 4194304 5098028 140725954076752 140725954074856 140436485771900 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40038400 140725954085755 140725954085997 140725954085997 140725954088906 0
/proc/28719/statm: 28282 362 304 221 0 87 0
[pid=28725] ppid=28719 vsize=15149024 memory=46344 CPUtime=0.51 cores=4-7
/proc/28725/stat : 28725 (java) S 28719 28719 28168 0 -1 1077944320 10417 0 0 0 48 3 0 0 20 0 15 0 411456969 15512600576 11586 33554432000 4194304 4196468 140736157128480 140736157111024 140578100752119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
/proc/28725/statm: 3787256 11586 3318 1 0 3748377 0
[pid=28725/tid=28727] ppid=28719 vsize=15149024 memory=6791534058613427641 CPUtime=0.29 cores=4-7
/proc/28725/task/28727/stat : 28727 (java) R 28719 28719 28168 0 -1 4202560 7547 0 0 0 27 2 0 0 20 0 15 0 411456969 15512600576 11586 33554432000 4194304 4196468 140736157128480 140578104974624 140578100764054 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28729] ppid=28719 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=4-7
/proc/28725/task/28729/stat : 28729 (java) S 28719 28719 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456970 15512600576 11586 33554432000 4194304 4196468 140736157128480 140578053372432 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28730] ppid=28719 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=4-7
/proc/28725/task/28730/stat : 28730 (java) S 28719 28719 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456970 15512600576 11586 33554432000 4194304 4196468 140736157128480 140578052319888 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28731] ppid=28719 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=4-7
/proc/28725/task/28731/stat : 28731 (java) S 28719 28719 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456970 15512600576 11586 33554432000 4194304 4196468 140736157128480 140578051266832 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28732] ppid=28719 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=4-7
/proc/28725/task/28732/stat : 28732 (java) S 28719 28719 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411456970 15512600576 11586 33554432000 4194304 4196468 140736157128480 140578050214288 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28737] ppid=28719 vsize=15149024 memory=7976406965554101975 CPUtime=0 cores=4-7
/proc/28725/task/28737/stat : 28737 (java) S 28719 28719 28168 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411456971 15512600576 11586 33554432000 4194304 4196468 140736157128480 140577636571888 140578100763266 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28739] ppid=28719 vsize=15149024 memory=7161331908245094050 CPUtime=0 cores=4-7
/proc/28725/task/28739/stat : 28739 (java) S 28719 28719 28168 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411456972 15512600576 11586 33554432000 4194304 4196468 140736157128480 140577567925920 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28740] ppid=28719 vsize=15149024 memory=6944656591801720471 CPUtime=0 cores=4-7
/proc/28725/task/28740/stat : 28740 (java) S 28719 28719 28168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411456972 15512600576 11586 33554432000 4194304 4196468 140736157128480 140577566872816 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28743] ppid=28719 vsize=15149024 memory=-8458152057954561420 CPUtime=0 cores=4-7
/proc/28725/task/28743/stat : 28743 (java) S 28719 28719 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411456975 15512600576 11586 33554432000 4194304 4196468 140736157128480 140577565821392 140578100770715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28744] ppid=28719 vsize=15149024 memory=-8813974798734826869 CPUtime=0.02 cores=4-7
/proc/28725/task/28744/stat : 28744 (java) S 28719 28719 28168 0 -1 1077944384 484 0 0 0 2 0 0 0 20 0 15 0 411456975 15512600576 11586 33554432000 4194304 4196468 140736157128480 140577564768496 140578100763266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28745] ppid=28719 vsize=15149024 memory=7031125463459224206 CPUtime=0.05 cores=4-7
/proc/28725/task/28745/stat : 28745 (java) S 28719 28719 28168 0 -1 1077944384 182 0 0 0 5 0 0 0 20 0 15 0 411456975 15512600576 11586 33554432000 4194304 4196468 140736157128480 140577563715952 140578100763266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28746] ppid=28719 vsize=15149024 memory=4426078206164241782 CPUtime=0.12 cores=4-7
/proc/28725/task/28746/stat : 28746 (java) S 28719 28719 28168 0 -1 1077944384 898 0 0 0 12 0 0 0 20 0 15 0 411456975 15512600576 11586 33554432000 4194304 4196468 140736157128480 140577562662896 140578100763266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28747] ppid=28719 vsize=15149024 memory=0 CPUtime=0 cores=4-7
/proc/28725/task/28747/stat : 28747 (java) S 28719 28719 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411456975 15512600576 11586 33554432000 4194304 4196468 140736157128480 140577561610592 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28752] ppid=28719 vsize=15149024 memory=0 CPUtime=0 cores=4-7
/proc/28725/task/28752/stat : 28752 (java) S 28719 28719 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456975 15512600576 11586 33554432000 4194304 4196468 140736157128480 140577560558640 140578100763266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 47792 KiB

[startup+0.701111 s]
/proc/loadavg: 8.36 8.38 6.71 7/231 28754
/proc/meminfo: memFree=27633012/32770688 swapFree=66919992/67108860
[pid=28719] ppid=28715 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/28719/stat : 28719 (xcsp3-exec) S 28715 28719 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411456969 115843072 362 33554432000 4194304 5098028 140725954076752 140725954074856 140436485771900 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40038400 140725954085755 140725954085997 140725954085997 140725954088906 0
/proc/28719/statm: 28282 362 304 221 0 87 0
[pid=28725] ppid=28719 vsize=15151148 memory=88308 CPUtime=1.74 cores=4-7
/proc/28725/stat : 28725 (java) S 28719 28719 28168 0 -1 1077944320 15237 0 0 0 168 6 0 0 20 0 15 0 411456969 15514775552 22077 33554432000 4194304 4196468 140736157128480 140736157111024 140578100752119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
/proc/28725/statm: 3787787 22077 3445 1 0 3748889 0
[pid=28725/tid=28727] ppid=28719 vsize=15151148 memory=0 CPUtime=0.67 cores=4-7
/proc/28725/task/28727/stat : 28727 (java) R 28719 28719 28168 0 -1 4202560 9153 0 0 0 64 3 0 0 20 0 15 0 411456969 15514775552 22077 33554432000 4194304 4196468 140736157128480 140578104988176 140577722200966 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28729] ppid=28719 vsize=15151148 memory=0 CPUtime=0 cores=4-7
/proc/28725/task/28729/stat : 28729 (java) S 28719 28719 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456970 15514775552 22077 33554432000 4194304 4196468 140736157128480 140578053372432 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28730] ppid=28719 vsize=15151148 memory=45436 CPUtime=0 cores=4-7
/proc/28725/task/28730/stat : 28730 (java) S 28719 28719 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456970 15514775552 22077 33554432000 4194304 4196468 140736157128480 140578052319888 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28731] ppid=28719 vsize=15151148 memory=984 CPUtime=0 cores=4-7
/proc/28725/task/28731/stat : 28731 (java) S 28719 28719 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456970 15514775552 22077 33554432000 4194304 4196468 140736157128480 140578051266832 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28732] ppid=28719 vsize=15151148 memory=2020 CPUtime=0 cores=4-7
/proc/28725/task/28732/stat : 28732 (java) S 28719 28719 28168 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 411456970 15514775552 22077 33554432000 4194304 4196468 140736157128480 140578050214288 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28737] ppid=28719 vsize=15151148 memory=1432 CPUtime=0 cores=4-7
/proc/28725/task/28737/stat : 28737 (java) S 28719 28719 28168 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 411456971 15514775552 22077 33554432000 4194304 4196468 140736157128480 140577636571888 140578100763266 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28739] ppid=28719 vsize=15151148 memory=776 CPUtime=0 cores=4-7
/proc/28725/task/28739/stat : 28739 (java) S 28719 28719 28168 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 411456972 15514775552 22077 33554432000 4194304 4196468 140736157128480 140577567925920 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28740] ppid=28719 vsize=15151148 memory=660 CPUtime=0 cores=4-7
/proc/28725/task/28740/stat : 28740 (java) S 28719 28719 28168 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 411456972 15514775552 22077 33554432000 4194304 4196468 140736157128480 140577566872816 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28743] ppid=28719 vsize=15151148 memory=1556 CPUtime=0 cores=4-7
/proc/28725/task/28743/stat : 28743 (java) S 28719 28719 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411456975 15514775552 22077 33554432000 4194304 4196468 140736157128480 140577565821392 140578100770715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28744] ppid=28719 vsize=15151148 memory=9588 CPUtime=0.34 cores=4-7
/proc/28725/task/28744/stat : 28744 (java) R 28719 28719 28168 0 -1 4202560 1647 0 0 0 34 0 0 0 20 0 15 0 411456975 15514775552 22077 33554432000 4194304 4196468 140736157128480 140577564755064 140578083956436 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28745] ppid=28719 vsize=15151148 memory=1712 CPUtime=0.3 cores=4-7
/proc/28725/task/28745/stat : 28745 (java) R 28719 28719 28168 0 -1 4202560 1066 0 0 0 30 0 0 0 20 0 15 0 411456975 15514775552 22077 33554432000 4194304 4196468 140736157128480 140577563701832 140578078945865 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28746] ppid=28719 vsize=15151148 memory=5972 CPUtime=0.39 cores=4-7
/proc/28725/task/28746/stat : 28746 (java) R 28719 28719 28168 0 -1 4202560 2066 0 0 0 39 0 0 0 20 0 15 0 411456975 15514775552 22077 33554432000 4194304 4196468 140736157128480 140577562654384 140578079736956 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28747] ppid=28719 vsize=15151148 memory=4164 CPUtime=0 cores=4-7
/proc/28725/task/28747/stat : 28747 (java) S 28719 28719 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 411456975 15514775552 22077 33554432000 4194304 4196468 140736157128480 140577561610592 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28752] ppid=28719 vsize=15151148 memory=1056 CPUtime=0 cores=4-7
/proc/28725/task/28752/stat : 28752 (java) S 28719 28719 28168 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 411456975 15514775552 22077 33554432000 4194304 4196468 140736157128480 140577560558640 140578100763266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 89756 KiB

[startup+1.50908 s]
/proc/loadavg: 8.36 8.38 6.71 12/231 28754
/proc/meminfo: memFree=27506364/32770688 swapFree=66919992/67108860
[pid=28719] ppid=28715 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/28719/stat : 28719 (xcsp3-exec) S 28715 28719 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411456969 115843072 362 33554432000 4194304 5098028 140725954076752 140725954074856 140436485771900 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40038400 140725954085755 140725954085997 140725954085997 140725954088906 0
/proc/28719/statm: 28282 362 304 221 0 87 0

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

/proc/28725/task/28801/stat : 28801 (java) R 28719 28719 28168 0 -1 4202560 26 0 0 0 324 0 0 0 20 0 19 0 411457156 15790571520 57302 33554432000 4194304 4196468 140736157128480 140577546329672 140577726951209 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
Current children cumulated CPU time: 23.5 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 230656 KiB

[startup+7.43775 s]
# the end of solver process 28719 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=27.8501 s, system=0.153007 s

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

[startup+6.40207 s]
/proc/loadavg: 8.25 8.35 6.71 13/239 28838
/proc/meminfo: memFree=27164580/32770688 swapFree=66919992/67108860
[pid=28719] ppid=28715 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/28719/stat : 28719 (xcsp3-exec) S 28715 28719 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411456969 115843072 362 33554432000 4194304 5098028 140725954076752 140725954074856 140436485771900 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40038400 140725954085755 140725954085997 140725954085997 140725954088906 0
/proc/28719/statm: 28282 362 304 221 0 87 0
[pid=28725] ppid=28719 vsize=15420480 memory=229208 CPUtime=23.91 cores=4-7
/proc/28725/stat : 28725 (java) S 28719 28719 28168 0 -1 1077944320 30386 0 0 0 2377 14 0 0 20 0 19 0 411456969 15790571520 57302 33554432000 4194304 4196468 140736157128480 140736157111024 140578100752119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
/proc/28725/statm: 3855120 57302 3528 1 0 3816222 0
[pid=28725/tid=28727] ppid=28719 vsize=15420480 memory=14008 CPUtime=1.25 cores=4-7
/proc/28725/task/28727/stat : 28727 (java) S 28719 28719 28168 0 -1 1077944384 12176 0 0 0 120 5 0 0 20 0 19 0 411456969 15790571520 57302 33554432000 4194304 4196468 140736157128480 140578104992896 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28729] ppid=28719 vsize=15420480 memory=12028 CPUtime=0.01 cores=4-7
/proc/28725/task/28729/stat : 28729 (java) S 28719 28719 28168 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 19 0 411456970 15790571520 57302 33554432000 4194304 4196468 140736157128480 140578053372432 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28730] ppid=28719 vsize=15420480 memory=24768 CPUtime=0.01 cores=4-7
/proc/28725/task/28730/stat : 28730 (java) S 28719 28719 28168 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 19 0 411456970 15790571520 57302 33554432000 4194304 4196468 140736157128480 140578052319888 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28731] ppid=28719 vsize=15420480 memory=229208 CPUtime=0 cores=4-7
/proc/28725/task/28731/stat : 28731 (java) S 28719 28719 28168 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 411456970 15790571520 57302 33554432000 4194304 4196468 140736157128480 140578051266832 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28732] ppid=28719 vsize=15420480 memory=0 CPUtime=0.02 cores=4-7
/proc/28725/task/28732/stat : 28732 (java) S 28719 28719 28168 0 -1 1077944384 144 0 0 0 2 0 0 0 20 0 19 0 411456970 15790571520 57302 33554432000 4194304 4196468 140736157128480 140578050214288 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28737] ppid=28719 vsize=15420480 memory=280677187039152 CPUtime=0.01 cores=4-7
/proc/28725/task/28737/stat : 28737 (java) S 28719 28719 28168 0 -1 1077944384 225 0 0 0 1 0 0 0 20 0 19 0 411456971 15790571520 57302 33554432000 4194304 4196468 140736157128480 140577636571888 140578100763266 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28739] ppid=28719 vsize=15420480 memory=7451718700277958688 CPUtime=0 cores=4-7
/proc/28725/task/28739/stat : 28739 (java) S 28719 28719 28168 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 411456972 15790571520 57302 33554432000 4194304 4196468 140736157128480 140577567925984 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28740] ppid=28719 vsize=15420480 memory=6944656592455360608 CPUtime=0 cores=4-7
/proc/28725/task/28740/stat : 28740 (java) S 28719 28719 28168 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 411456972 15790571520 57302 33554432000 4194304 4196468 140736157128480 140577566872832 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28743] ppid=28719 vsize=15420480 memory=6154538792250073449 CPUtime=0 cores=4-7
/proc/28725/task/28743/stat : 28743 (java) S 28719 28719 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411456975 15790571520 57302 33554432000 4194304 4196468 140736157128480 140577565821392 140578100770715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28744] ppid=28719 vsize=15420480 memory=7307491044492531305 CPUtime=3.21 cores=4-7
/proc/28725/task/28744/stat : 28744 (java) S 28719 28719 28168 0 -1 1077944384 6528 0 0 0 320 1 0 0 20 0 19 0 411456975 15790571520 57302 33554432000 4194304 4196468 140736157128480 140577564768496 140578100763266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28745] ppid=28719 vsize=15420480 memory=34485017 CPUtime=3.22 cores=4-7
/proc/28725/task/28745/stat : 28745 (java) S 28719 28719 28168 0 -1 1077944384 4471 0 0 0 321 1 0 0 20 0 19 0 411456975 15790571520 57302 33554432000 4194304 4196468 140736157128480 140577563715952 140578100763266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28746] ppid=28719 vsize=15420480 memory=0 CPUtime=1.04 cores=4-7
/proc/28725/task/28746/stat : 28746 (java) S 28719 28719 28168 0 -1 1077944384 4293 0 0 0 102 2 0 0 20 0 19 0 411456975 15790571520 57302 33554432000 4194304 4196468 140736157128480 140577562662896 140578100763266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28747] ppid=28719 vsize=15420480 memory=0 CPUtime=0 cores=4-7
/proc/28725/task/28747/stat : 28747 (java) S 28719 28719 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411456975 15790571520 57302 33554432000 4194304 4196468 140736157128480 140577561610592 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28752] ppid=28719 vsize=15420480 memory=0 CPUtime=0 cores=4-7
/proc/28725/task/28752/stat : 28752 (java) S 28719 28719 28168 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 411456975 15790571520 57302 33554432000 4194304 4196468 140736157128480 140577560558640 140578100763266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28794] ppid=28719 vsize=15420480 memory=-7595761213635136096 CPUtime=3.42 cores=4-7
/proc/28725/task/28794/stat : 28794 (java) R 28719 28719 28168 0 -1 4202560 24 0 0 0 342 0 0 0 20 0 19 0 411457155 15790571520 57302 33554432000 4194304 4196468 140736157128480 140577549487328 140577729240693 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28795] ppid=28719 vsize=15420480 memory=-7966001734536614954 CPUtime=3.67 cores=4-7
/proc/28725/task/28795/stat : 28795 (java) R 28719 28719 28168 0 -1 4202560 45 0 0 0 367 0 0 0 20 0 19 0 411457155 15790571520 57302 33554432000 4194304 4196468 140736157128480 140577545278296 140577726578080 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28796] ppid=28719 vsize=15420480 memory=-6876588461455809440 CPUtime=3.6 cores=4-7
/proc/28725/task/28796/stat : 28796 (java) R 28719 28719 28168 0 -1 4202560 53 0 0 0 360 0 0 0 20 0 19 0 411457155 15790571520 57302 33554432000 4194304 4196468 140736157128480 140577547381568 140577727753367 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28801] ppid=28719 vsize=15420480 memory=-7966001734536614954 CPUtime=3.34 cores=4-7
/proc/28725/task/28801/stat : 28801 (java) R 28719 28719 28168 0 -1 4202560 26 0 0 0 334 0 0 0 20 0 19 0 411457156 15790571520 57302 33554432000 4194304 4196468 140736157128480 140577546332456 140577727753417 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
Current children cumulated CPU time: 23.91 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 230656 KiB

[startup+7.20108 s]
/proc/loadavg: 8.25 8.35 6.71 9/238 28838
/proc/meminfo: memFree=27164472/32770688 swapFree=66919992/67108860
[pid=28719] ppid=28715 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/28719/stat : 28719 (xcsp3-exec) S 28715 28719 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411456969 115843072 362 33554432000 4194304 5098028 140725954076752 140725954074856 140436485771900 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40038400 140725954085755 140725954085997 140725954085997 140725954088906 0
/proc/28719/statm: 28282 362 304 221 0 87 0
[pid=28725] ppid=28719 vsize=15420480 memory=229276 CPUtime=27.08 cores=4-7
/proc/28725/stat : 28725 (java) S 28719 28719 28168 0 -1 1077944320 30423 0 0 0 2694 14 0 0 20 0 19 0 411456969 15790571520 57319 33554432000 4194304 4196468 140736157128480 140736157111024 140578100752119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
/proc/28725/statm: 3855120 57319 3528 1 0 3816222 0
[pid=28725/tid=28727] ppid=28719 vsize=15420480 memory=590024537935931163 CPUtime=1.25 cores=4-7
/proc/28725/task/28727/stat : 28727 (java) S 28719 28719 28168 0 -1 1077944384 12176 0 0 0 120 5 0 0 20 0 19 0 411456969 15790571520 57319 33554432000 4194304 4196468 140736157128480 140578104992896 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28729] ppid=28719 vsize=15420480 memory=1916407 CPUtime=0.01 cores=4-7
/proc/28725/task/28729/stat : 28729 (java) S 28719 28719 28168 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 19 0 411456970 15790571520 57319 33554432000 4194304 4196468 140736157128480 140578053372432 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28730] ppid=28719 vsize=15420480 memory=4429182861118420512 CPUtime=0.01 cores=4-7
/proc/28725/task/28730/stat : 28730 (java) S 28719 28719 28168 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 19 0 411456970 15790571520 57319 33554432000 4194304 4196468 140736157128480 140578052319888 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28731] ppid=28719 vsize=15420480 memory=288230574492221466 CPUtime=0 cores=4-7
/proc/28725/task/28731/stat : 28731 (java) S 28719 28719 28168 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 411456970 15790571520 57319 33554432000 4194304 4196468 140736157128480 140578051266832 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28732] ppid=28719 vsize=15420480 memory=0 CPUtime=0.02 cores=4-7
/proc/28725/task/28732/stat : 28732 (java) S 28719 28719 28168 0 -1 1077944384 144 0 0 0 2 0 0 0 20 0 19 0 411456970 15790571520 57319 33554432000 4194304 4196468 140736157128480 140578050214288 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28737] ppid=28719 vsize=15420480 memory=1556 CPUtime=0.01 cores=4-7
/proc/28725/task/28737/stat : 28737 (java) S 28719 28719 28168 0 -1 1077944384 225 0 0 0 1 0 0 0 20 0 19 0 411456971 15790571520 57319 33554432000 4194304 4196468 140736157128480 140577636571888 140578100763266 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28739] ppid=28719 vsize=15420480 memory=9588 CPUtime=0 cores=4-7
/proc/28725/task/28739/stat : 28739 (java) S 28719 28719 28168 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 411456972 15790571520 57319 33554432000 4194304 4196468 140736157128480 140577567925984 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28740] ppid=28719 vsize=15420480 memory=1712 CPUtime=0 cores=4-7
/proc/28725/task/28740/stat : 28740 (java) S 28719 28719 28168 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 411456972 15790571520 57319 33554432000 4194304 4196468 140736157128480 140577566872832 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28743] ppid=28719 vsize=15420480 memory=6656426216303648864 CPUtime=0 cores=4-7
/proc/28725/task/28743/stat : 28743 (java) S 28719 28719 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411456975 15790571520 57319 33554432000 4194304 4196468 140736157128480 140577565821392 140578100770715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28744] ppid=28719 vsize=15420480 memory=4164 CPUtime=3.25 cores=4-7
/proc/28725/task/28744/stat : 28744 (java) S 28719 28719 28168 0 -1 1077944384 6531 0 0 0 324 1 0 0 20 0 19 0 411456975 15790571520 57319 33554432000 4194304 4196468 140736157128480 140577564768496 140578100763266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28745] ppid=28719 vsize=15420480 memory=1056 CPUtime=3.23 cores=4-7
/proc/28725/task/28745/stat : 28745 (java) S 28719 28719 28168 0 -1 1077944384 4471 0 0 0 322 1 0 0 20 0 19 0 411456975 15790571520 57319 33554432000 4194304 4196468 140736157128480 140577563715952 140578100763266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28746] ppid=28719 vsize=15420480 memory=2241 CPUtime=1.04 cores=4-7
/proc/28725/task/28746/stat : 28746 (java) S 28719 28719 28168 0 -1 1077944384 4293 0 0 0 102 2 0 0 20 0 19 0 411456975 15790571520 57319 33554432000 4194304 4196468 140736157128480 140577562662896 140578100763266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28747] ppid=28719 vsize=15420480 memory=2244 CPUtime=0 cores=4-7
/proc/28725/task/28747/stat : 28747 (java) S 28719 28719 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411456975 15790571520 57319 33554432000 4194304 4196468 140736157128480 140577561610592 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28752] ppid=28719 vsize=15420480 memory=280677186747264 CPUtime=0 cores=4-7
/proc/28725/task/28752/stat : 28752 (java) S 28719 28719 28168 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 411456975 15790571520 57319 33554432000 4194304 4196468 140736157128480 140577560558640 140578100763266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28794] ppid=28719 vsize=15420480 memory=-7737621075815351712 CPUtime=4.19 cores=4-7
/proc/28725/task/28794/stat : 28794 (java) R 28719 28719 28168 0 -1 4202560 25 0 0 0 419 0 0 0 20 0 19 0 411457155 15790571520 57319 33554432000 4194304 4196468 140736157128480 140577549487312 140577727212851 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28795] ppid=28719 vsize=15420480 memory=0 CPUtime=4.47 cores=4-7
/proc/28725/task/28795/stat : 28795 (java) R 28719 28719 28168 0 -1 4202560 67 0 0 0 447 0 0 0 20 0 19 0 411457155 15790571520 57319 33554432000 4194304 4196468 140736157128480 140577545279672 140577727212851 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28796] ppid=28719 vsize=15420480 memory=0 CPUtime=4.38 cores=4-7
/proc/28725/task/28796/stat : 28796 (java) R 28719 28719 28168 0 -1 4202560 62 0 0 0 438 0 0 0 20 0 19 0 411457155 15790571520 57319 33554432000 4194304 4196468 140736157128480 140577547382584 140577727407951 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28801] ppid=28719 vsize=15420480 memory=1448 CPUtime=4.13 cores=4-7
/proc/28725/task/28801/stat : 28801 (java) R 28719 28719 28168 0 -1 4202560 28 0 0 0 413 0 0 0 20 0 19 0 411457156 15790571520 57319 33554432000 4194304 4196468 140736157128480 140577546329480 140577727819204 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
Current children cumulated CPU time: 27.08 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 230724 KiB

[startup+7.40112 s]
/proc/loadavg: 8.25 8.35 6.71 9/238 28838
/proc/meminfo: memFree=27164472/32770688 swapFree=66919992/67108860
[pid=28719] ppid=28715 vsize=113128 memory=1448 CPUtime=0 cores=4-7
/proc/28719/stat : 28719 (xcsp3-exec) S 28715 28719 28168 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 411456969 115843072 362 33554432000 4194304 5098028 140725954076752 140725954074856 140436485771900 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40038400 140725954085755 140725954085997 140725954085997 140725954088906 0
/proc/28719/statm: 28282 362 304 221 0 87 0
[pid=28725] ppid=28719 vsize=15420480 memory=229276 CPUtime=27.88 cores=4-7
/proc/28725/stat : 28725 (java) S 28719 28719 28168 0 -1 1077944320 30425 0 0 0 2774 14 0 0 20 0 19 0 411456969 15790571520 57319 33554432000 4194304 4196468 140736157128480 140736157111024 140578100752119 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
/proc/28725/statm: 3855120 57319 3528 1 0 3816222 0
[pid=28725/tid=28727] ppid=28719 vsize=15420480 memory=660 CPUtime=1.25 cores=4-7
/proc/28725/task/28727/stat : 28727 (java) S 28719 28719 28168 0 -1 1077944384 12176 0 0 0 120 5 0 0 20 0 19 0 411456969 15790571520 57319 33554432000 4194304 4196468 140736157128480 140578104992896 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28729] ppid=28719 vsize=15420480 memory=1556 CPUtime=0.01 cores=4-7
/proc/28725/task/28729/stat : 28729 (java) S 28719 28719 28168 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 19 0 411456970 15790571520 57319 33554432000 4194304 4196468 140736157128480 140578053372432 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28730] ppid=28719 vsize=15420480 memory=9588 CPUtime=0.01 cores=4-7
/proc/28725/task/28730/stat : 28730 (java) S 28719 28719 28168 0 -1 1077944384 46 0 0 0 1 0 0 0 20 0 19 0 411456970 15790571520 57319 33554432000 4194304 4196468 140736157128480 140578052319888 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28731] ppid=28719 vsize=15420480 memory=1712 CPUtime=0 cores=4-7
/proc/28725/task/28731/stat : 28731 (java) S 28719 28719 28168 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 19 0 411456970 15790571520 57319 33554432000 4194304 4196468 140736157128480 140578051266832 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28732] ppid=28719 vsize=15420480 memory=5972 CPUtime=0.02 cores=4-7
/proc/28725/task/28732/stat : 28732 (java) S 28719 28719 28168 0 -1 1077944384 144 0 0 0 2 0 0 0 20 0 19 0 411456970 15790571520 57319 33554432000 4194304 4196468 140736157128480 140578050214288 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28737] ppid=28719 vsize=15420480 memory=4164 CPUtime=0.01 cores=4-7
/proc/28725/task/28737/stat : 28737 (java) S 28719 28719 28168 0 -1 1077944384 225 0 0 0 1 0 0 0 20 0 19 0 411456971 15790571520 57319 33554432000 4194304 4196468 140736157128480 140577636571888 140578100763266 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28739] ppid=28719 vsize=15420480 memory=1056 CPUtime=0 cores=4-7
/proc/28725/task/28739/stat : 28739 (java) S 28719 28719 28168 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 411456972 15790571520 57319 33554432000 4194304 4196468 140736157128480 140577567925984 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28740] ppid=28719 vsize=15420480 memory=2828 CPUtime=0 cores=4-7
/proc/28725/task/28740/stat : 28740 (java) S 28719 28719 28168 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 411456972 15790571520 57319 33554432000 4194304 4196468 140736157128480 140577566872832 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28743] ppid=28719 vsize=15420480 memory=1176 CPUtime=0 cores=4-7
/proc/28725/task/28743/stat : 28743 (java) S 28719 28719 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411456975 15790571520 57319 33554432000 4194304 4196468 140736157128480 140577565821392 140578100770715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28744] ppid=28719 vsize=15420480 memory=980 CPUtime=3.25 cores=4-7
/proc/28725/task/28744/stat : 28744 (java) S 28719 28719 28168 0 -1 1077944384 6531 0 0 0 324 1 0 0 20 0 19 0 411456975 15790571520 57319 33554432000 4194304 4196468 140736157128480 140577564768496 140578100763266 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28745] ppid=28719 vsize=15420480 memory=14008 CPUtime=3.24 cores=4-7
/proc/28725/task/28745/stat : 28745 (java) S 28719 28719 28168 0 -1 1077944384 4471 0 0 0 323 1 0 0 20 0 19 0 411456975 15790571520 57319 33554432000 4194304 4196468 140736157128480 140577563715952 140578100763266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28746] ppid=28719 vsize=15420480 memory=12028 CPUtime=1.04 cores=4-7
/proc/28725/task/28746/stat : 28746 (java) S 28719 28719 28168 0 -1 1077944384 4293 0 0 0 102 2 0 0 20 0 19 0 411456975 15790571520 57319 33554432000 4194304 4196468 140736157128480 140577562662896 140578100763266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28747] ppid=28719 vsize=15420480 memory=24768 CPUtime=0 cores=4-7
/proc/28725/task/28747/stat : 28747 (java) S 28719 28719 28168 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 411456975 15790571520 57319 33554432000 4194304 4196468 140736157128480 140577561610592 140578100762325 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28752] ppid=28719 vsize=15420480 memory=2120 CPUtime=0 cores=4-7
/proc/28725/task/28752/stat : 28752 (java) S 28719 28719 28168 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 411456975 15790571520 57319 33554432000 4194304 4196468 140736157128480 140577560558640 140578100763266 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28794] ppid=28719 vsize=15420480 memory=5972 CPUtime=4.38 cores=4-7
/proc/28725/task/28794/stat : 28794 (java) R 28719 28719 28168 0 -1 4202560 25 0 0 0 438 0 0 0 20 0 19 0 411457155 15790571520 57319 33554432000 4194304 4196468 140736157128480 140577549488216 140577727213249 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28795] ppid=28719 vsize=15420480 memory=4164 CPUtime=4.67 cores=4-7
/proc/28725/task/28795/stat : 28795 (java) R 28719 28719 28168 0 -1 4202560 67 0 0 0 467 0 0 0 20 0 19 0 411457155 15790571520 57319 33554432000 4194304 4196468 140736157128480 140577545279672 140577727753394 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28796] ppid=28719 vsize=15420480 memory=1056 CPUtime=4.58 cores=4-7
/proc/28725/task/28796/stat : 28796 (java) R 28719 28719 28168 0 -1 4202560 64 0 0 0 458 0 0 0 20 0 19 0 411457155 15790571520 57319 33554432000 4194304 4196468 140736157128480 140577547383288 140577727212289 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
[pid=28725/tid=28801] ppid=28719 vsize=15420480 memory=2828 CPUtime=4.32 cores=4-7
/proc/28725/task/28801/stat : 28801 (java) R 28719 28719 28168 0 -1 4202560 28 0 0 0 432 0 0 0 20 0 19 0 411457156 15790571520 57319 33554432000 4194304 4196468 140736157128480 140577546330328 140577727212870 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17743872 140736157131759 140736157131930 140736157131930 140736157134799 0
Current children cumulated CPU time: 27.88 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 230724 KiB

Child status: 0
Real time (s): 7.43779
CPU time (s): 28.0031
CPU user time (s): 27.8501
CPU system time (s): 0.153007
CPU usage (%): 376.498
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 233908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.8501
system time used= 0.153007
maximum resident set size= 232460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31078
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= 2875
involuntary context switches= 1075


# summary of solver processes directly reported to runsolver:
#   pid: 28719
#   total CPU time (s): 28.0031
#   total CPU user time (s): 27.8501
#   total CPU system time (s): 0.153007

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.078469 second user time and 0.136244 second system time

The end

Name	OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-30-15-1.xml
MD5SUM	097039f9865a2fa48b7d42a66e75794b
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	10
Best CPU time to get the best result obtained on this benchmark	23.5768
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 4393278

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