2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-24	OPT	14	171.898	165.782

0.00/0.00	c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406522-1569399061.xml"  -tl '2400s' -p 1
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4406522-1569399061.xml, -tl, 2400s, -p, 1]
0.33/0.22	c simple solver
0.33/0.29	c parse instance...
2.10/0.84	c solve instance...
4.38/1.55	o 15 
6.73/2.54	o 14 
171.81/165.77	s OPTIMUM FOUND
171.81/165.77	v <instantiation>
171.81/165.77	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>
171.81/165.77	v 	<values>1 6 5 7 12 2 8 14 11 10 9 0 13 4 3 0 0 1 1 1 1 2 3 3 3 3 4 5 6 6 0 0 1 1 1 1 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 2 2 3 3 3 3 0 0 0 0 0 0 0 0 0 0 0 1 1 2 3 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 2 0 0 0 0 0 0 1 2 3 3 3 3 3 3 3 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 0 0 0 0 0 1 1 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 1 2 3 3 3 3 3 3 3 3 3 3 3 0 1 1 1 2 2 3 3 3 3 4 5 5 5 6 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 2 2 3 0 0 0 0 0 0 0 0 1 1 1 2 2 2 2 1 1 1 1 1 1 2 3 3 3 3 3 3 3 3 1 1 2 3 3 3 3 3 3 3 3 3 3 3 3 0 0 1 1 2 3 3 3 3 3 3 3 4 4 4 1 1 1 1 1 1 1 2 3 3 4 4 4 4 4 0 1 1 1 2 2 2 2 3 3 3 3 3 3 3 1 1 1 2 2 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 0 0 0 0 0 1 2 2 2 2 2 2 2 3 4 0 0 0 0 0 0 0 0 0 0 0 1 2 3 3 0 0 1 2 2 2 2 2 2 2 3 4 4 4 4 0 0 0 0 1 1 2 3 3 3 3 3 3 4 5 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 2 2 2 2 2 2 2 2 2 2 0 1 1 2 2 2 2 3 3 3 3 3 3 3 3 0 0 1 0 0 0 1 1 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 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 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 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 0 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 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 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 1 1 1 1 1 1 1 0 0 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 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 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 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 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 1 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 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 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 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 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 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 5 9 14 13 13 14 13 14 14 11 11 11 9 9 6 </values>
171.81/165.77	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 (12681 MiB free)
  memory of node 1: 16384 MiB (14033 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406522-1569399061/watcher-4406522-1569399061 -o /var/tmp/evaluation-result-4406522-1569399061/solver-4406522-1569399061 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1569396631-700 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 2000911244 HOME/instance-4406522-1569399061.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=1238, runsolver pid=1235
Current StackSize limit: 8192 KiB


[startup+0.100496 s]*
/proc/loadavg: 1.60 1.80 1.75 4/230 1254
/proc/meminfo: memFree=27341180/32770624 swapFree=66957864/67108860
[pid=1238] ppid=1235 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1238/stat : 1238 (xcsp3-exec) S 1235 1238 669 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516144670 115843072 363 33554432000 4194304 5098028 140735991267488 140735991265592 140126530962044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30609408 140735991272278 140735991272537 140735991272537 140735991275462 0
/proc/1238/statm: 28282 363 304 221 0 87 0
[pid=1240] ppid=1238 vsize=15144776 memory=28760 CPUtime=0.12 cores=0,2,4,6
/proc/1240/stat : 1240 (java) S 1238 1238 669 0 -1 1077944320 5618 0 0 0 11 1 0 0 20 0 15 0 516144670 15508250624 7190 33554432000 4194304 4196468 140721840508848 140721840491392 140422767148791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
/proc/1240/statm: 3786194 7190 3117 1 0 3748377 0
[pid=1240/tid=1241] ppid=1238 vsize=15144776 memory=7022364632946311227 CPUtime=0.08 cores=0,2,4,6
/proc/1240/task/1241/stat : 1241 (java) R 1238 1238 669 0 -1 4202560 3614 0 0 0 8 0 0 0 20 0 15 0 516144670 15508250624 7190 33554432000 4194304 4196468 140721840508848 140422771373120 140422767160726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1242] ppid=1238 vsize=15144776 memory=4296910620 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1242/stat : 1242 (java) S 1238 1238 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516144671 15508250624 7190 33554432000 4194304 4196468 140721840508848 140422695189648 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1243] ppid=1238 vsize=15144776 memory=3760702253145859744 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1243/stat : 1243 (java) S 1238 1238 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516144671 15508250624 7190 33554432000 4194304 4196468 140721840508848 140422694136848 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1244] ppid=1238 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1244/stat : 1244 (java) S 1238 1238 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516144671 15508250624 7190 33554432000 4194304 4196468 140721840508848 140422693084048 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1245] ppid=1238 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1245/stat : 1245 (java) S 1238 1238 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516144671 15508250624 7190 33554432000 4194304 4196468 140721840508848 140422692031248 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1246] ppid=1238 vsize=15144776 memory=140252152931968 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1246/stat : 1246 (java) S 1238 1238 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516144672 15508250624 7190 33554432000 4194304 4196468 140721840508848 140421842364784 140422767159938 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1247] ppid=1238 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1247/stat : 1247 (java) S 1238 1238 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516144673 15508250624 7190 33554432000 4194304 4196468 140721840508848 140421841310752 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1248] ppid=1238 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1248/stat : 1248 (java) S 1238 1238 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516144673 15508250624 7190 33554432000 4194304 4196468 140721840508848 140421840257904 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1249] ppid=1238 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1249/stat : 1249 (java) S 1238 1238 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516144675 15508250624 7190 33554432000 4194304 4196468 140721840508848 140421839206224 140422767167387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1250] ppid=1238 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1250/stat : 1250 (java) S 1238 1238 669 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 516144675 15508250624 7190 33554432000 4194304 4196468 140721840508848 140421838154608 140422767159938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1251] ppid=1238 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1251/stat : 1251 (java) S 1238 1238 669 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 516144675 15508250624 7190 33554432000 4194304 4196468 140721840508848 140421837101808 140422767159938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1252] ppid=1238 vsize=15144776 memory=140252152931968 CPUtime=0.02 cores=0,2,4,6
/proc/1240/task/1252/stat : 1252 (java) R 1238 1238 669 0 -1 4202560 326 0 0 0 2 0 0 0 20 0 15 0 516144675 15508250624 7190 33554432000 4194304 4196468 140721840508848 140421836049008 140422746284890 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1253] ppid=1238 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1253/stat : 1253 (java) S 1238 1238 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516144676 15508250624 7190 33554432000 4194304 4196468 140721840508848 140421834996448 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1254] ppid=1238 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1254/stat : 1254 (java) S 1238 1238 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516144676 15508250624 7190 33554432000 4194304 4196468 140721840508848 140421833943728 140422767159938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30212 KiB

[startup+0.2107 s]*
/proc/loadavg: 1.60 1.80 1.75 3/230 1254
/proc/meminfo: memFree=27327648/32770624 swapFree=66957864/67108860
[pid=1238] ppid=1235 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1238/stat : 1238 (xcsp3-exec) S 1235 1238 669 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516144670 115843072 363 33554432000 4194304 5098028 140735991267488 140735991265592 140126530962044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30609408 140735991272278 140735991272537 140735991272537 140735991275462 0
/proc/1238/statm: 28282 363 304 221 0 87 0
[pid=1240] ppid=1238 vsize=15144776 memory=40164 CPUtime=0.33 cores=0,2,4,6
/proc/1240/stat : 1240 (java) S 1238 1238 669 0 -1 1077944320 9294 0 0 0 30 3 0 0 20 0 15 0 516144670 15508250624 10041 33554432000 4194304 4196468 140721840508848 140721840491392 140422767148791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
/proc/1240/statm: 3786194 10041 3269 1 0 3748377 0
[pid=1240/tid=1241] ppid=1238 vsize=15144776 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/1240/task/1241/stat : 1241 (java) R 1238 1238 669 0 -1 4202560 6545 0 0 0 17 2 0 0 20 0 15 0 516144670 15508250624 10041 33554432000 4194304 4196468 140721840508848 140422771386976 140422767160726 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1242] ppid=1238 vsize=15144776 memory=4296910620 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1242/stat : 1242 (java) S 1238 1238 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516144671 15508250624 10041 33554432000 4194304 4196468 140721840508848 140422695189648 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1243] ppid=1238 vsize=15144776 memory=3760702253145859744 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1243/stat : 1243 (java) S 1238 1238 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516144671 15508250624 10041 33554432000 4194304 4196468 140721840508848 140422694136848 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1244] ppid=1238 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1244/stat : 1244 (java) S 1238 1238 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516144671 15508250624 10041 33554432000 4194304 4196468 140721840508848 140422693084048 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1245] ppid=1238 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1245/stat : 1245 (java) S 1238 1238 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516144671 15508250624 10041 33554432000 4194304 4196468 140721840508848 140422692031248 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1246] ppid=1238 vsize=15144776 memory=140252152931968 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1246/stat : 1246 (java) S 1238 1238 669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516144672 15508250624 10041 33554432000 4194304 4196468 140721840508848 140421842364784 140422767159938 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1247] ppid=1238 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1247/stat : 1247 (java) S 1238 1238 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516144673 15508250624 10041 33554432000 4194304 4196468 140721840508848 140421841310752 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1248] ppid=1238 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1248/stat : 1248 (java) S 1238 1238 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516144673 15508250624 10041 33554432000 4194304 4196468 140721840508848 140421840257904 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1249] ppid=1238 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1249/stat : 1249 (java) S 1238 1238 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516144675 15508250624 10041 33554432000 4194304 4196468 140721840508848 140421839206224 140422767167387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1250] ppid=1238 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/1240/task/1250/stat : 1250 (java) S 1238 1238 669 0 -1 1077944384 389 0 0 0 2 0 0 0 20 0 15 0 516144675 15508250624 10041 33554432000 4194304 4196468 140721840508848 140421838154608 140422767159938 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1251] ppid=1238 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/1240/task/1251/stat : 1251 (java) R 1238 1238 669 0 -1 1077944384 252 0 0 0 2 0 0 0 20 0 15 0 516144675 15508250624 10041 33554432000 4194304 4196468 140721840508848 140421837101808 140422767159938 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1252] ppid=1238 vsize=15144776 memory=140252152931968 CPUtime=0.08 cores=0,2,4,6
/proc/1240/task/1252/stat : 1252 (java) R 1238 1238 669 0 -1 4202560 807 0 0 0 8 0 0 0 20 0 15 0 516144675 15508250624 10041 33554432000 4194304 4196468 140721840508848 140421836049008 140422751472132 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1253] ppid=1238 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1253/stat : 1253 (java) S 1238 1238 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516144676 15508250624 10041 33554432000 4194304 4196468 140721840508848 140421834996448 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1254] ppid=1238 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1254/stat : 1254 (java) S 1238 1238 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516144676 15508250624 10041 33554432000 4194304 4196468 140721840508848 140421833943728 140422767159938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41616 KiB

[startup+0.313128 s]*
/proc/loadavg: 1.60 1.80 1.75 4/230 1254
/proc/meminfo: memFree=27321008/32770624 swapFree=66957864/67108860
[pid=1238] ppid=1235 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1238/stat : 1238 (xcsp3-exec) S 1235 1238 669 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516144670 115843072 363 33554432000 4194304 5098028 140735991267488 140735991265592 140126530962044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30609408 140735991272278 140735991272537 140735991272537 140735991275462 0
/proc/1238/statm: 28282 363 304 221 0 87 0
[pid=1240] ppid=1238 vsize=15149032 memory=49564 CPUtime=0.53 cores=0,2,4,6
/proc/1240/stat : 1240 (java) S 1238 1238 669 0 -1 1077944320 10691 0 0 0 49 4 0 0 20 0 15 0 516144670 15512608768 12391 33554432000 4194304 4196468 140721840508848 140721840491392 140422767148791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
/proc/1240/statm: 3787258 12391 3373 1 0 3748377 0
[pid=1240/tid=1241] ppid=1238 vsize=15149032 memory=1399051139730258233 CPUtime=0.3 cores=0,2,4,6
/proc/1240/task/1241/stat : 1241 (java) R 1238 1238 669 0 -1 4202560 7720 0 0 0 27 3 0 0 20 0 15 0 516144670 15512608768 12391 33554432000 4194304 4196468 140721840508848 140422771382256 140422751229278 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1242] ppid=1238 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1242/stat : 1242 (java) S 1238 1238 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516144671 15512608768 12391 33554432000 4194304 4196468 140721840508848 140422695189648 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1243] ppid=1238 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1243/stat : 1243 (java) S 1238 1238 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516144671 15512608768 12391 33554432000 4194304 4196468 140721840508848 140422694136848 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1244] ppid=1238 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1244/stat : 1244 (java) S 1238 1238 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516144671 15512608768 12391 33554432000 4194304 4196468 140721840508848 140422693084048 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1245] ppid=1238 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1245/stat : 1245 (java) S 1238 1238 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516144671 15512608768 12391 33554432000 4194304 4196468 140721840508848 140422692031248 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1246] ppid=1238 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1246/stat : 1246 (java) S 1238 1238 669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516144672 15512608768 12391 33554432000 4194304 4196468 140721840508848 140421842364784 140422767159938 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1247] ppid=1238 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1247/stat : 1247 (java) S 1238 1238 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516144673 15512608768 12391 33554432000 4194304 4196468 140721840508848 140421841310752 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1248] ppid=1238 vsize=15149032 memory=8693527797397837014 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1248/stat : 1248 (java) S 1238 1238 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516144673 15512608768 12391 33554432000 4194304 4196468 140721840508848 140421840257904 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1249] ppid=1238 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1249/stat : 1249 (java) S 1238 1238 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516144675 15512608768 12391 33554432000 4194304 4196468 140721840508848 140421839206224 140422767167387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1250] ppid=1238 vsize=15149032 memory=6944656592455097440 CPUtime=0.05 cores=0,2,4,6
/proc/1240/task/1250/stat : 1250 (java) R 1238 1238 669 0 -1 4202560 489 0 0 0 5 0 0 0 20 0 15 0 516144675 15512608768 12391 33554432000 4194304 4196468 140721840508848 140421838144992 140422752274625 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1251] ppid=1238 vsize=15149032 memory=6944656592455359580 CPUtime=0.04 cores=0,2,4,6
/proc/1240/task/1251/stat : 1251 (java) S 1238 1238 669 0 -1 1077944384 267 0 0 0 4 0 0 0 20 0 15 0 516144675 15512608768 12391 33554432000 4194304 4196468 140721840508848 140421837101808 140422767159938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1252] ppid=1238 vsize=15149032 memory=-6896061313178951780 CPUtime=0.12 cores=0,2,4,6
/proc/1240/task/1252/stat : 1252 (java) S 1238 1238 669 0 -1 1077944384 941 0 0 0 12 0 0 0 20 0 15 0 516144675 15512608768 12391 33554432000 4194304 4196468 140721840508848 140421836049008 140422767159938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1253] ppid=1238 vsize=15149032 memory=-6876588628787748224 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1253/stat : 1253 (java) S 1238 1238 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516144676 15512608768 12391 33554432000 4194304 4196468 140721840508848 140421834996448 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1254] ppid=1238 vsize=15149032 memory=7016714185839647644 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1254/stat : 1254 (java) S 1238 1238 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516144676 15512608768 12391 33554432000 4194304 4196468 140721840508848 140421833943728 140422767159938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51016 KiB

[startup+0.701463 s]
/proc/loadavg: 1.63 1.81 1.76 5/230 1254
/proc/meminfo: memFree=27298968/32770624 swapFree=66957864/67108860
[pid=1238] ppid=1235 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1238/stat : 1238 (xcsp3-exec) S 1235 1238 669 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516144670 115843072 363 33554432000 4194304 5098028 140735991267488 140735991265592 140126530962044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30609408 140735991272278 140735991272537 140735991272537 140735991275462 0
/proc/1238/statm: 28282 363 304 221 0 87 0
[pid=1240] ppid=1238 vsize=15151156 memory=93632 CPUtime=1.75 cores=0,2,4,6
/proc/1240/stat : 1240 (java) S 1238 1238 669 0 -1 1077944320 15713 0 0 0 169 6 0 0 20 0 15 0 516144670 15514783744 23408 33554432000 4194304 4196468 140721840508848 140721840491392 140422767148791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
/proc/1240/statm: 3787789 23408 3447 1 0 3748889 0
[pid=1240/tid=1241] ppid=1238 vsize=15151156 memory=8049867166153220215 CPUtime=0.66 cores=0,2,4,6
/proc/1240/task/1241/stat : 1241 (java) R 1238 1238 669 0 -1 4202560 8856 0 0 0 62 4 0 0 20 0 15 0 516144670 15514783744 23408 33554432000 4194304 4196468 140721840508848 140422771367296 140422365468824 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1242] ppid=1238 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1242/stat : 1242 (java) S 1238 1238 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516144671 15514783744 23408 33554432000 4194304 4196468 140721840508848 140422695189648 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1243] ppid=1238 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1243/stat : 1243 (java) S 1238 1238 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516144671 15514783744 23408 33554432000 4194304 4196468 140721840508848 140422694136848 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1244] ppid=1238 vsize=15151156 memory=6168 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1244/stat : 1244 (java) S 1238 1238 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516144671 15514783744 23408 33554432000 4194304 4196468 140721840508848 140422693084048 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1245] ppid=1238 vsize=15151156 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1245/stat : 1245 (java) S 1238 1238 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516144671 15514783744 23408 33554432000 4194304 4196468 140721840508848 140422692031248 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1246] ppid=1238 vsize=15151156 memory=624 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1246/stat : 1246 (java) S 1238 1238 669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516144672 15514783744 23408 33554432000 4194304 4196468 140721840508848 140421842364784 140422767159938 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1247] ppid=1238 vsize=15151156 memory=3636 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1247/stat : 1247 (java) S 1238 1238 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516144673 15514783744 23408 33554432000 4194304 4196468 140721840508848 140421841310752 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1248] ppid=1238 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1248/stat : 1248 (java) S 1238 1238 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516144673 15514783744 23408 33554432000 4194304 4196468 140721840508848 140421840257904 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1249] ppid=1238 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1249/stat : 1249 (java) S 1238 1238 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516144675 15514783744 23408 33554432000 4194304 4196468 140721840508848 140421839206224 140422767167387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1250] ppid=1238 vsize=15151156 memory=1808 CPUtime=0.35 cores=0,2,4,6
/proc/1240/task/1250/stat : 1250 (java) R 1238 1238 669 0 -1 4202560 1809 0 0 0 35 0 0 0 20 0 15 0 516144675 15514783744 23408 33554432000 4194304 4196468 140721840508848 140421838145936 140422746657866 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1251] ppid=1238 vsize=15151156 memory=924 CPUtime=0.29 cores=0,2,4,6
/proc/1240/task/1251/stat : 1251 (java) R 1238 1238 669 0 -1 4202560 1287 0 0 0 29 0 0 0 20 0 15 0 516144675 15514783744 23408 33554432000 4194304 4196468 140721840508848 140421837087904 140422746841868 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1252] ppid=1238 vsize=15151156 memory=3848 CPUtime=0.41 cores=0,2,4,6
/proc/1240/task/1252/stat : 1252 (java) R 1238 1238 669 0 -1 4202560 2450 0 0 0 40 1 0 0 20 0 15 0 516144675 15514783744 23408 33554432000 4194304 4196468 140721840508848 140421836043360 140422752314379 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1253] ppid=1238 vsize=15151156 memory=2592 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1253/stat : 1253 (java) S 1238 1238 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516144676 15514783744 23408 33554432000 4194304 4196468 140721840508848 140421834996448 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1254] ppid=1238 vsize=15151156 memory=2624 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1254/stat : 1254 (java) S 1238 1238 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516144676 15514783744 23408 33554432000 4194304 4196468 140721840508848 140421833943728 140422767159938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 95084 KiB

[startup+1.50151 s]
/proc/loadavg: 1.63 1.81 1.76 7/230 1254
/proc/meminfo: memFree=27257524/32770624 swapFree=66957864/67108860
[pid=1238] ppid=1235 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1238/stat : 1238 (xcsp3-exec) S 1235 1238 669 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516144670 115843072 363 33554432000 4194304 5098028 140735991267488 140735991265592 140126530962044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30609408 140735991272278 140735991272537 140735991272537 140735991275462 0
/proc/1238/statm: 28282 363 304 221 0 87 0

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

/proc/1238/stat : 1238 (xcsp3-exec) S 1235 1238 669 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516144670 115843072 363 33554432000 4194304 5098028 140735991267488 140735991265592 140126530962044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30609408 140735991272278 140735991272537 140735991272537 140735991275462 0
/proc/1238/statm: 28282 363 304 221 0 87 0
[pid=1240] ppid=1238 vsize=15153204 memory=220324 CPUtime=170.91 cores=0,2,4,6
/proc/1240/stat : 1240 (java) S 1238 1238 669 0 -1 1077944320 57284 0 0 0 17075 16 0 0 20 0 15 0 516144670 15516880896 55081 33554432000 4194304 4196468 140721840508848 140721840491392 140422767148791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
/proc/1240/statm: 3788301 55081 3514 1 0 3749401 0
[pid=1240/tid=1241] ppid=1238 vsize=15153204 memory=220324 CPUtime=164.72 cores=0,2,4,6
/proc/1240/task/1241/stat : 1241 (java) R 1238 1238 669 0 -1 4202560 14121 0 0 0 16465 7 0 0 20 0 15 0 516144670 15516880896 55081 33554432000 4194304 4196468 140721840508848 140422771388432 140422368149356 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1242] ppid=1238 vsize=15153204 memory=1988 CPUtime=0.01 cores=0,2,4,6
/proc/1240/task/1242/stat : 1242 (java) S 1238 1238 669 0 -1 1077944384 794 0 0 0 1 0 0 0 20 0 15 0 516144671 15516880896 55081 33554432000 4194304 4196468 140721840508848 140422695189648 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1243] ppid=1238 vsize=15153204 memory=8112282956445269571 CPUtime=0.01 cores=0,2,4,6
/proc/1240/task/1243/stat : 1243 (java) S 1238 1238 669 0 -1 1077944384 944 0 0 0 1 0 0 0 20 0 15 0 516144671 15516880896 55081 33554432000 4194304 4196468 140721840508848 140422694136848 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1244] ppid=1238 vsize=15153204 memory=220324 CPUtime=0.01 cores=0,2,4,6
/proc/1240/task/1244/stat : 1244 (java) S 1238 1238 669 0 -1 1077944384 449 0 0 0 1 0 0 0 20 0 15 0 516144671 15516880896 55081 33554432000 4194304 4196468 140721840508848 140422693084048 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1245] ppid=1238 vsize=15153204 memory=1556 CPUtime=0.01 cores=0,2,4,6
/proc/1240/task/1245/stat : 1245 (java) S 1238 1238 669 0 -1 1077944384 1334 0 0 0 1 0 0 0 20 0 15 0 516144671 15516880896 55081 33554432000 4194304 4196468 140721840508848 140422692031248 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1246] ppid=1238 vsize=15153204 memory=532 CPUtime=0.01 cores=0,2,4,6
/proc/1240/task/1246/stat : 1246 (java) S 1238 1238 669 0 -1 1077944384 890 0 0 0 1 0 0 0 20 0 15 0 516144672 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421842364784 140422767159938 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1247] ppid=1238 vsize=15153204 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1247/stat : 1247 (java) S 1238 1238 669 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 516144673 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421841310816 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1248] ppid=1238 vsize=15153204 memory=220324 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1248/stat : 1248 (java) S 1238 1238 669 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 516144673 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421840257920 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1249] ppid=1238 vsize=15153204 memory=1988 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1249/stat : 1249 (java) S 1238 1238 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516144675 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421839206224 140422767167387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1250] ppid=1238 vsize=15153204 memory=988 CPUtime=2.74 cores=0,2,4,6
/proc/1240/task/1250/stat : 1250 (java) S 1238 1238 669 0 -1 1077944384 14608 0 0 0 273 1 0 0 20 0 15 0 516144675 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421838154608 140422767159938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1251] ppid=1238 vsize=15153204 memory=1428 CPUtime=2.47 cores=0,2,4,6
/proc/1240/task/1251/stat : 1251 (java) S 1238 1238 669 0 -1 1077944384 13600 0 0 0 246 1 0 0 20 0 15 0 516144675 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421837101808 140422767159938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1252] ppid=1238 vsize=15153204 memory=3636 CPUtime=0.82 cores=0,2,4,6
/proc/1240/task/1252/stat : 1252 (java) S 1238 1238 669 0 -1 1077944384 8574 0 0 0 80 2 0 0 20 0 15 0 516144675 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421836049008 140422767159938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1253] ppid=1238 vsize=15153204 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1253/stat : 1253 (java) S 1238 1238 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516144676 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421834996448 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1254] ppid=1238 vsize=15153204 memory=14012 CPUtime=0.02 cores=0,2,4,6
/proc/1240/task/1254/stat : 1254 (java) S 1238 1238 669 0 -1 1077944384 548 0 0 0 1 1 0 0 20 0 15 0 516144676 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421833943728 140422767159938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
Current children cumulated CPU time: 170.91 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 221776 KiB

[startup+165.201 s]
/proc/loadavg: 1.63 1.74 1.74 3/230 1267
/proc/meminfo: memFree=27141488/32770624 swapFree=66957864/67108860
[pid=1238] ppid=1235 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1238/stat : 1238 (xcsp3-exec) S 1235 1238 669 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516144670 115843072 363 33554432000 4194304 5098028 140735991267488 140735991265592 140126530962044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30609408 140735991272278 140735991272537 140735991272537 140735991275462 0
/proc/1238/statm: 28282 363 304 221 0 87 0
[pid=1240] ppid=1238 vsize=15153204 memory=220324 CPUtime=171.31 cores=0,2,4,6
/proc/1240/stat : 1240 (java) S 1238 1238 669 0 -1 1077944320 57285 0 0 0 17115 16 0 0 20 0 15 0 516144670 15516880896 55081 33554432000 4194304 4196468 140721840508848 140721840491392 140422767148791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
/proc/1240/statm: 3788301 55081 3514 1 0 3749401 0
[pid=1240/tid=1241] ppid=1238 vsize=15153204 memory=988 CPUtime=165.12 cores=0,2,4,6
/proc/1240/task/1241/stat : 1241 (java) R 1238 1238 669 0 -1 4202560 14122 0 0 0 16505 7 0 0 20 0 15 0 516144670 15516880896 55081 33554432000 4194304 4196468 140721840508848 140422771388432 140422747990986 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1242] ppid=1238 vsize=15153204 memory=1428 CPUtime=0.01 cores=0,2,4,6
/proc/1240/task/1242/stat : 1242 (java) S 1238 1238 669 0 -1 1077944384 794 0 0 0 1 0 0 0 20 0 15 0 516144671 15516880896 55081 33554432000 4194304 4196468 140721840508848 140422695189648 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1243] ppid=1238 vsize=15153204 memory=1728 CPUtime=0.01 cores=0,2,4,6
/proc/1240/task/1243/stat : 1243 (java) S 1238 1238 669 0 -1 1077944384 944 0 0 0 1 0 0 0 20 0 15 0 516144671 15516880896 55081 33554432000 4194304 4196468 140721840508848 140422694136848 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1244] ppid=1238 vsize=15153204 memory=1056 CPUtime=0.01 cores=0,2,4,6
/proc/1240/task/1244/stat : 1244 (java) S 1238 1238 669 0 -1 1077944384 449 0 0 0 1 0 0 0 20 0 15 0 516144671 15516880896 55081 33554432000 4194304 4196468 140721840508848 140422693084048 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1245] ppid=1238 vsize=15153204 memory=1556 CPUtime=0.01 cores=0,2,4,6
/proc/1240/task/1245/stat : 1245 (java) S 1238 1238 669 0 -1 1077944384 1334 0 0 0 1 0 0 0 20 0 15 0 516144671 15516880896 55081 33554432000 4194304 4196468 140721840508848 140422692031248 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1246] ppid=1238 vsize=15153204 memory=11632 CPUtime=0.01 cores=0,2,4,6
/proc/1240/task/1246/stat : 1246 (java) S 1238 1238 669 0 -1 1077944384 890 0 0 0 1 0 0 0 20 0 15 0 516144672 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421842364784 140422767159938 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1247] ppid=1238 vsize=15153204 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1247/stat : 1247 (java) S 1238 1238 669 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 516144673 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421841310816 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1248] ppid=1238 vsize=15153204 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1248/stat : 1248 (java) S 1238 1238 669 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 516144673 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421840257920 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1249] ppid=1238 vsize=15153204 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1249/stat : 1249 (java) S 1238 1238 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516144675 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421839206224 140422767167387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1250] ppid=1238 vsize=15153204 memory=3905668441703345008 CPUtime=2.74 cores=0,2,4,6
/proc/1240/task/1250/stat : 1250 (java) S 1238 1238 669 0 -1 1077944384 14608 0 0 0 273 1 0 0 20 0 15 0 516144675 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421838154608 140422767159938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1251] ppid=1238 vsize=15153204 memory=3691044270228584056 CPUtime=2.47 cores=0,2,4,6
/proc/1240/task/1251/stat : 1251 (java) S 1238 1238 669 0 -1 1077944384 13600 0 0 0 246 1 0 0 20 0 15 0 516144675 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421837101808 140422767159938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1252] ppid=1238 vsize=15153204 memory=280504047540352 CPUtime=0.82 cores=0,2,4,6
/proc/1240/task/1252/stat : 1252 (java) S 1238 1238 669 0 -1 1077944384 8574 0 0 0 80 2 0 0 20 0 15 0 516144675 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421836049008 140422767159938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1253] ppid=1238 vsize=15153204 memory=140252023774672 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1253/stat : 1253 (java) S 1238 1238 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516144676 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421834996448 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1254] ppid=1238 vsize=15153204 memory=140252022833305 CPUtime=0.02 cores=0,2,4,6
/proc/1240/task/1254/stat : 1254 (java) S 1238 1238 669 0 -1 1077944384 548 0 0 0 1 1 0 0 20 0 15 0 516144676 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421833943728 140422767159938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
Current children cumulated CPU time: 171.31 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 221776 KiB

[startup+165.601 s]
/proc/loadavg: 1.63 1.74 1.74 3/230 1267
/proc/meminfo: memFree=27141488/32770624 swapFree=66957864/67108860
[pid=1238] ppid=1235 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1238/stat : 1238 (xcsp3-exec) S 1235 1238 669 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516144670 115843072 363 33554432000 4194304 5098028 140735991267488 140735991265592 140126530962044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30609408 140735991272278 140735991272537 140735991272537 140735991275462 0
/proc/1238/statm: 28282 363 304 221 0 87 0
[pid=1240] ppid=1238 vsize=15153204 memory=220324 CPUtime=171.71 cores=0,2,4,6
/proc/1240/stat : 1240 (java) S 1238 1238 669 0 -1 1077944320 57285 0 0 0 17155 16 0 0 20 0 15 0 516144670 15516880896 55081 33554432000 4194304 4196468 140721840508848 140721840491392 140422767148791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
/proc/1240/statm: 3788301 55081 3514 1 0 3749401 0
[pid=1240/tid=1241] ppid=1238 vsize=15153204 memory=1988 CPUtime=165.52 cores=0,2,4,6
/proc/1240/task/1241/stat : 1241 (java) R 1238 1238 669 0 -1 4202560 14122 0 0 0 16545 7 0 0 20 0 15 0 516144670 15516880896 55081 33554432000 4194304 4196468 140721840508848 140422771388432 140422369214081 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1242] ppid=1238 vsize=15153204 memory=988 CPUtime=0.01 cores=0,2,4,6
/proc/1240/task/1242/stat : 1242 (java) S 1238 1238 669 0 -1 1077944384 794 0 0 0 1 0 0 0 20 0 15 0 516144671 15516880896 55081 33554432000 4194304 4196468 140721840508848 140422695189648 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1243] ppid=1238 vsize=15153204 memory=1428 CPUtime=0.01 cores=0,2,4,6
/proc/1240/task/1243/stat : 1243 (java) S 1238 1238 669 0 -1 1077944384 944 0 0 0 1 0 0 0 20 0 15 0 516144671 15516880896 55081 33554432000 4194304 4196468 140721840508848 140422694136848 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1244] ppid=1238 vsize=15153204 memory=1728 CPUtime=0.01 cores=0,2,4,6
/proc/1240/task/1244/stat : 1244 (java) S 1238 1238 669 0 -1 1077944384 449 0 0 0 1 0 0 0 20 0 15 0 516144671 15516880896 55081 33554432000 4194304 4196468 140721840508848 140422693084048 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1245] ppid=1238 vsize=15153204 memory=1456 CPUtime=0.01 cores=0,2,4,6
/proc/1240/task/1245/stat : 1245 (java) S 1238 1238 669 0 -1 1077944384 1334 0 0 0 1 0 0 0 20 0 15 0 516144671 15516880896 55081 33554432000 4194304 4196468 140721840508848 140422692031248 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1246] ppid=1238 vsize=15153204 memory=179288 CPUtime=0.01 cores=0,2,4,6
/proc/1240/task/1246/stat : 1246 (java) S 1238 1238 669 0 -1 1077944384 890 0 0 0 1 0 0 0 20 0 15 0 516144672 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421842364784 140422767159938 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1247] ppid=1238 vsize=15153204 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1247/stat : 1247 (java) S 1238 1238 669 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 516144673 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421841310816 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1248] ppid=1238 vsize=15153204 memory=3072 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1248/stat : 1248 (java) S 1238 1238 669 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 516144673 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421840257920 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1249] ppid=1238 vsize=15153204 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1249/stat : 1249 (java) S 1238 1238 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516144675 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421839206224 140422767167387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1250] ppid=1238 vsize=15153204 memory=220324 CPUtime=2.74 cores=0,2,4,6
/proc/1240/task/1250/stat : 1250 (java) S 1238 1238 669 0 -1 1077944384 14608 0 0 0 273 1 0 0 20 0 15 0 516144675 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421838154608 140422767159938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1251] ppid=1238 vsize=15153204 memory=1720 CPUtime=2.47 cores=0,2,4,6
/proc/1240/task/1251/stat : 1251 (java) S 1238 1238 669 0 -1 1077944384 13600 0 0 0 246 1 0 0 20 0 15 0 516144675 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421837101808 140422767159938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1252] ppid=1238 vsize=15153204 memory=1976 CPUtime=0.82 cores=0,2,4,6
/proc/1240/task/1252/stat : 1252 (java) S 1238 1238 669 0 -1 1077944384 8574 0 0 0 80 2 0 0 20 0 15 0 516144675 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421836049008 140422767159938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1253] ppid=1238 vsize=15153204 memory=2432 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1253/stat : 1253 (java) S 1238 1238 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516144676 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421834996448 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1254] ppid=1238 vsize=15153204 memory=1436 CPUtime=0.02 cores=0,2,4,6
/proc/1240/task/1254/stat : 1254 (java) S 1238 1238 669 0 -1 1077944384 548 0 0 0 1 1 0 0 20 0 15 0 516144676 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421833943728 140422767159938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
Current children cumulated CPU time: 171.71 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 221776 KiB

[startup+165.701 s]
/proc/loadavg: 1.63 1.74 1.74 3/230 1267
/proc/meminfo: memFree=27141488/32770624 swapFree=66957864/67108860
[pid=1238] ppid=1235 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1238/stat : 1238 (xcsp3-exec) S 1235 1238 669 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516144670 115843072 363 33554432000 4194304 5098028 140735991267488 140735991265592 140126530962044 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30609408 140735991272278 140735991272537 140735991272537 140735991275462 0
/proc/1238/statm: 28282 363 304 221 0 87 0
[pid=1240] ppid=1238 vsize=15153204 memory=220324 CPUtime=171.81 cores=0,2,4,6
/proc/1240/stat : 1240 (java) S 1238 1238 669 0 -1 1077944320 57285 0 0 0 17165 16 0 0 20 0 15 0 516144670 15516880896 55081 33554432000 4194304 4196468 140721840508848 140721840491392 140422767148791 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
/proc/1240/statm: 3788301 55081 3514 1 0 3749401 0
[pid=1240/tid=1241] ppid=1238 vsize=15153204 memory=1452 CPUtime=165.62 cores=0,2,4,6
/proc/1240/task/1241/stat : 1241 (java) R 1238 1238 669 0 -1 4202560 14122 0 0 0 16555 7 0 0 20 0 15 0 516144670 15516880896 55081 33554432000 4194304 4196468 140721840508848 140422771388432 140422369737023 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1242] ppid=1238 vsize=15153204 memory=220324 CPUtime=0.01 cores=0,2,4,6
/proc/1240/task/1242/stat : 1242 (java) S 1238 1238 669 0 -1 1077944384 794 0 0 0 1 0 0 0 20 0 15 0 516144671 15516880896 55081 33554432000 4194304 4196468 140721840508848 140422695189648 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1243] ppid=1238 vsize=15153204 memory=220324 CPUtime=0.01 cores=0,2,4,6
/proc/1240/task/1243/stat : 1243 (java) S 1238 1238 669 0 -1 1077944384 944 0 0 0 1 0 0 0 20 0 15 0 516144671 15516880896 55081 33554432000 4194304 4196468 140721840508848 140422694136848 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1244] ppid=1238 vsize=15153204 memory=220324 CPUtime=0.01 cores=0,2,4,6
/proc/1240/task/1244/stat : 1244 (java) S 1238 1238 669 0 -1 1077944384 449 0 0 0 1 0 0 0 20 0 15 0 516144671 15516880896 55081 33554432000 4194304 4196468 140721840508848 140422693084048 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1245] ppid=1238 vsize=15153204 memory=220320 CPUtime=0.01 cores=0,2,4,6
/proc/1240/task/1245/stat : 1245 (java) S 1238 1238 669 0 -1 1077944384 1334 0 0 0 1 0 0 0 20 0 15 0 516144671 15516880896 55081 33554432000 4194304 4196468 140721840508848 140422692031248 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1246] ppid=1238 vsize=15153204 memory=220324 CPUtime=0.01 cores=0,2,4,6
/proc/1240/task/1246/stat : 1246 (java) S 1238 1238 669 0 -1 1077944384 890 0 0 0 1 0 0 0 20 0 15 0 516144672 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421842364784 140422767159938 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1247] ppid=1238 vsize=15153204 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1247/stat : 1247 (java) S 1238 1238 669 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 516144673 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421841310816 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1248] ppid=1238 vsize=15153204 memory=280504047503584 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1248/stat : 1248 (java) S 1238 1238 669 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 516144673 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421840257920 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1249] ppid=1238 vsize=15153204 memory=220324 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1249/stat : 1249 (java) S 1238 1238 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516144675 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421839206224 140422767167387 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1250] ppid=1238 vsize=15153204 memory=1452 CPUtime=2.74 cores=0,2,4,6
/proc/1240/task/1250/stat : 1250 (java) S 1238 1238 669 0 -1 1077944384 14608 0 0 0 273 1 0 0 20 0 15 0 516144675 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421838154608 140422767159938 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1251] ppid=1238 vsize=15153204 memory=220324 CPUtime=2.47 cores=0,2,4,6
/proc/1240/task/1251/stat : 1251 (java) S 1238 1238 669 0 -1 1077944384 13600 0 0 0 246 1 0 0 20 0 15 0 516144675 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421837101808 140422767159938 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1252] ppid=1238 vsize=15153204 memory=1452 CPUtime=0.82 cores=0,2,4,6
/proc/1240/task/1252/stat : 1252 (java) S 1238 1238 669 0 -1 1077944384 8574 0 0 0 80 2 0 0 20 0 15 0 516144675 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421836049008 140422767159938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1253] ppid=1238 vsize=15153204 memory=-7374189738844825120 CPUtime=0 cores=0,2,4,6
/proc/1240/task/1253/stat : 1253 (java) S 1238 1238 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516144676 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421834996448 140422767158997 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
[pid=1240/tid=1254] ppid=1238 vsize=15153204 memory=3620 CPUtime=0.02 cores=0,2,4,6
/proc/1240/task/1254/stat : 1254 (java) S 1238 1238 669 0 -1 1077944384 548 0 0 0 1 1 0 0 20 0 15 0 516144676 15516880896 55081 33554432000 4194304 4196468 140721840508848 140421833943728 140422767159938 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24735744 140721840509915 140721840510090 140721840510090 140721840512975 0
Current children cumulated CPU time: 171.81 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 221776 KiB

Child status: 0
Real time (s): 165.782
CPU time (s): 171.898
CPU user time (s): 171.732
CPU system time (s): 0.166054
CPU usage (%): 103.689
Max. virtual memory (cumulated for all children) (KiB): 15266332
Max. memory (cumulated for all children) (KiB): 221776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 171.732
system time used= 0.166054
maximum resident set size= 220424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58385
page faults= 0
swaps= 0
block input operations= 0
block output operations= 296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6435
involuntary context switches= 207


# summary of solver processes directly reported to runsolver:
#   pid: 1238
#   total CPU time (s): 171.898
#   total CPU user time (s): 171.732
#   total CPU system time (s): 0.166054

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.922428 second user time and 1.59073 second system time

The end

Name	OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-pb-30-15-1.xml
MD5SUM	1892dc6bbe7f4411da75bff22067cf15
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	14
Best CPU time to get the best result obtained on this benchmark	69.789
Satisfiable
(Un)Satisfiability was proved
Number of variables	1380
Number of constraints	1366
Number of domains	8
Minimum domain size	2
Maximum domain size	16
Distribution of domain sizes	[{"size":2,"count":960},{"size":3,"count":120},{"size":4,"count":165},{"size":5,"count":60},{"size":6,"count":15},{"size":7,"count":30},{"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 4406522

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