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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-09)	SAT (TO)	303	246.259	240.02299

0.00/0.09	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270323-1502619607.xml"  -tl '264s' -p 1 -x 0
0.10/0.27	c [HOME/instance-4270323-1502619607.xml, -tl, 264s, -p, 1, -x, 0]
0.29/0.33	c simple solver
0.29/0.39	c parse instance...
2.19/1.09	c solve instance...
15.91/12.07	o 281 
21.07/16.02	o 286 
62.03/56.22	o 288 
62.03/56.27	o 291 
203.93/197.88	o 303 
246.23/240.01	s SATISFIABLE
246.23/240.01	v <instantiation>
246.23/240.01	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] z </list>
246.23/240.01	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 1 0 1 1 1 0 1 1 0 0 0 1 0 1 0 1 1 1 0 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 0 0 1 0 0 1 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 1 0 1 0 1 1 0 1 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 0 1 1 1 0 0 1 0 0 1 0 0 0 1 1 1 0 1 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 0 1 1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 1 1 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 1 0 0 1 0 1 0 2 2 0 1 1 0 2 2 2 1 1 0 0 0 1 1 2 2 0 1 1 0 2 2 1 0 0 0 0 1 1 1 1 0 0 1 1 2 2 1 0 0 0 1 0 1 2 1 1 0 0 1 1 2 1 1 0 0 1 0 0 0 0 0 0 1 1 2 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 2 1 0 1 0 0 0 0 1 0 0 1 0 2 1 1 0 0 0 1 0 0 2 0 0 0 0 1 0 2 2 1 1 0 0 1 0 0 0 1 0 0 2 2 0 0 0 0 1 0 0 0 0 0 0 0 1 1 2 2 1 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 1 2 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 2 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 1 2 1 0 0 1 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 2 1 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 1 0 1 1 0 0 0 1 0 0 2 2 1 0 0 0 1 0 2 0 0 0 0 0 1 1 1 2 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 2 1 0 0 0 0 1 1 2 2 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 2 2 1 1 0 0 1 0 1 2 2 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 1 2 0 0 0 0 0 1 2 1 0 0 0 0 0 0 0 0 0 1 0 0 2 1 1 1 1 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 2 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 2 2 1 1 2 1 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 1 2 2 1 1 2 2 1 1 1 0 1 1 0 1 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 2 2 2 1 1 2 2 2 1 1 0 1 1 0 0 1 0 1 0 0 2 0 0 0 0 1 0 1 0 0 2 2 2 1 1 1 2 0 1 0 0 0 1 0 0 0 1 0 0 0 2 1 1 0 1 0 0 0 0 1 1 1 1 1 0 1 0 0 2 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 2 0 1 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 2 1 0 1 0 1 1 2 1 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 2 2 0 1 0 2 2 1 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 0 1 0 1 0 0 1 2 2 1 2 2 2 1 0 0 1 1 0 1 1 0 2 1 1 0 0 0 1 1 1 0 1 1 1 0 1 2 2 2 2 2 2 1 0 0 0 1 1 0 0 1 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 1 1 1 0 18 47 69 83 99 115 127 135 146 158 165 180 194 209 226 241 252 265 283 306 330 347 355 361 373 386 402 423 451 468 303 </values>
246.23/240.01	v </instantiation>
246.23/240.01	c Unexpected resolution interruption!

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 (14770 MiB free)
  memory of node 1: 16384 MiB (15429 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270323-1502619607/watcher-4270323-1502619607 -o /tmp/evaluation-result-4270323-1502619607/solver-4270323-1502619607 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502615132-20542 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 112416006 HOME/instance-4270323-1502619607.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=23244, runsolver pid=23241
Current StackSize limit: 8192 KiB


[startup+0.100232 s]*
/proc/loadavg: 1.93 1.93 1.95 3/198 23247
/proc/meminfo: memFree=30922572/32770624 swapFree=67108860/67108860
[pid=23244] ppid=23241 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23244/stat : 23244 (xcsp3-exec) S 23241 23244 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64181424 9740288 345 18446744073709551615 4194304 5098028 140723742269472 140723742267576 140323980026492 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 27607040 140723742278015 140723742278218 140723742278218 140723742281707 0
/proc/23244/statm: 2378 345 289 221 0 87 0
[pid=23246] ppid=23244 vsize=13358712 memory=12652 CPUtime=0 cores=1,3,5,7
/proc/23246/stat : 23246 (java) S 23244 23244 897 0 -1 1077944320 2924 0 0 0 0 0 0 0 20 0 6 0 64181433 13679321088 3163 18446744073709551615 4194304 4196468 140727069820240 140727069802784 139998186110711 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
/proc/23246/statm: 3339678 3163 1578 1 0 3329175 0
[pid=23246/tid=23247] ppid=23244 vsize=13358712 memory=7311146985107750967 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23247/stat : 23247 (java) R 23244 23244 897 0 -1 4202560 1762 0 0 0 0 0 0 0 20 0 6 0 64181434 13679321088 3229 18446744073709551615 4194304 4196468 140727069820240 139998190346832 139998078585810 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23248] ppid=23244 vsize=13358712 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23248/stat : 23248 (java) S 23244 23244 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 64181434 13679321088 3229 18446744073709551615 4194304 4196468 140727069820240 139998151391632 139998186120917 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23249] ppid=23244 vsize=13358712 memory=288370948426036864 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23249/stat : 23249 (java) S 23244 23244 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 64181434 13679321088 3229 18446744073709551615 4194304 4196468 140727069820240 139997785360656 139998186120917 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23250] ppid=23244 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23250/stat : 23250 (java) S 23244 23244 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 64181434 13679321088 3229 18446744073709551615 4194304 4196468 140727069820240 139997784308368 139998186120917 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23251] ppid=23244 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23251/stat : 23251 (java) S 23244 23244 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 64181434 13679321088 3229 18446744073709551615 4194304 4196468 140727069820240 139997783255568 139998186120917 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 14032 KiB

[startup+0.209727 s]*
/proc/loadavg: 1.93 1.93 1.95 5/211 23260
/proc/meminfo: memFree=30907468/32770624 swapFree=67108860/67108860
[pid=23244] ppid=23241 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23244/stat : 23244 (xcsp3-exec) S 23241 23244 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64181424 9740288 345 18446744073709551615 4194304 5098028 140723742269472 140723742267576 140323980026492 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 27607040 140723742278015 140723742278218 140723742278218 140723742281707 0
/proc/23244/statm: 2378 345 289 221 0 87 0
[pid=23246] ppid=23244 vsize=13974352 memory=26804 CPUtime=0.1 cores=1,3,5,7
/proc/23246/stat : 23246 (java) S 23244 23244 897 0 -1 1077944320 5149 0 0 0 9 1 0 0 20 0 15 0 64181433 14309736448 6701 18446744073709551615 4194304 4196468 140727069820240 140727069802784 139998186110711 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
/proc/23246/statm: 3493588 6701 2753 1 0 3482964 0
[pid=23246/tid=23247] ppid=23244 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=1,3,5,7
/proc/23246/task/23247/stat : 23247 (java) R 23244 23244 897 0 -1 4202560 3290 0 0 0 7 0 0 0 20 0 15 0 64181434 14309736448 6701 18446744073709551615 4194304 4196468 140727069820240 139998190340128 139998169504048 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23248] ppid=23244 vsize=13974352 memory=12619 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23248/stat : 23248 (java) S 23244 23244 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64181434 14309736448 6701 18446744073709551615 4194304 4196468 140727069820240 139998151391632 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23249] ppid=23244 vsize=13974352 memory=288370948426036864 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23249/stat : 23249 (java) S 23244 23244 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64181434 14309736448 6701 18446744073709551615 4194304 4196468 140727069820240 139997785360656 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23250] ppid=23244 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23250/stat : 23250 (java) S 23244 23244 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64181434 14309736448 6701 18446744073709551615 4194304 4196468 140727069820240 139997784308368 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23251] ppid=23244 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23251/stat : 23251 (java) S 23244 23244 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64181434 14309736448 6701 18446744073709551615 4194304 4196468 140727069820240 139997783255568 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23252] ppid=23244 vsize=13974352 memory=140572274325120 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23252/stat : 23252 (java) S 23244 23244 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64181436 14309736448 6701 18446744073709551615 4194304 4196468 140727069820240 139997664442992 139998186121858 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23253] ppid=23244 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23253/stat : 23253 (java) S 23244 23244 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64181436 14309736448 6701 18446744073709551615 4194304 4196468 140727069820240 139997663388960 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23254] ppid=23244 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23254/stat : 23254 (java) S 23244 23244 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64181436 14309736448 6701 18446744073709551615 4194304 4196468 140727069820240 139997662336624 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23255] ppid=23244 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23255/stat : 23255 (java) S 23244 23244 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64181439 14309736448 6701 18446744073709551615 4194304 4196468 140727069820240 139997661284944 139998186129307 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23256] ppid=23244 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23256/stat : 23256 (java) S 23244 23244 897 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 64181439 14309736448 6701 18446744073709551615 4194304 4196468 140727069820240 139997660231792 139998186121858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23257] ppid=23244 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23257/stat : 23257 (java) S 23244 23244 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64181439 14309736448 6701 18446744073709551615 4194304 4196468 140727069820240 139997659178992 139998186121858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23258] ppid=23244 vsize=13974352 memory=140572274325120 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23258/stat : 23258 (java) S 23244 23244 897 0 -1 1077944384 245 0 0 0 0 0 0 0 20 0 15 0 64181439 14309736448 6701 18446744073709551615 4194304 4196468 140727069820240 139997658126704 139998186121858 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23259] ppid=23244 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23259/stat : 23259 (java) S 23244 23244 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64181439 14309736448 6701 18446744073709551615 4194304 4196468 140727069820240 139997657074144 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23260] ppid=23244 vsize=13974352 memory=140572274325120 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23260/stat : 23260 (java) S 23244 23244 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64181443 14309736448 6701 18446744073709551615 4194304 4196468 140727069820240 139997656021936 139998186121858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28184 KiB

[startup+0.310121 s]*
/proc/loadavg: 1.93 1.93 1.95 4/211 23260
/proc/meminfo: memFree=30896028/32770624 swapFree=67108860/67108860
[pid=23244] ppid=23241 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23244/stat : 23244 (xcsp3-exec) S 23241 23244 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64181424 9740288 345 18446744073709551615 4194304 5098028 140723742269472 140723742267576 140323980026492 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 27607040 140723742278015 140723742278218 140723742278218 140723742281707 0
/proc/23244/statm: 2378 345 289 221 0 87 0
[pid=23246] ppid=23244 vsize=13974352 memory=39796 CPUtime=0.29 cores=1,3,5,7
/proc/23246/stat : 23246 (java) S 23244 23244 897 0 -1 1077944320 8999 0 0 0 27 2 0 0 20 0 15 0 64181433 14309736448 9949 18446744073709551615 4194304 4196468 140727069820240 140727069802784 139998186110711 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
/proc/23246/statm: 3493588 9949 3006 1 0 3482964 0
[pid=23246/tid=23247] ppid=23244 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/23246/task/23247/stat : 23247 (java) R 23244 23244 897 0 -1 4202560 6122 0 0 0 16 1 0 0 20 0 15 0 64181434 14309736448 9949 18446744073709551615 4194304 4196468 140727069820240 139998190340448 139998186132637 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23248] ppid=23244 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23248/stat : 23248 (java) S 23244 23244 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64181434 14309736448 9949 18446744073709551615 4194304 4196468 140727069820240 139998151391632 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23249] ppid=23244 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23249/stat : 23249 (java) S 23244 23244 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64181434 14309736448 9949 18446744073709551615 4194304 4196468 140727069820240 139997785360656 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23250] ppid=23244 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23250/stat : 23250 (java) S 23244 23244 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64181434 14309736448 9949 18446744073709551615 4194304 4196468 140727069820240 139997784308368 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23251] ppid=23244 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23251/stat : 23251 (java) S 23244 23244 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64181434 14309736448 9949 18446744073709551615 4194304 4196468 140727069820240 139997783255568 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23252] ppid=23244 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23252/stat : 23252 (java) S 23244 23244 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64181436 14309736448 9949 18446744073709551615 4194304 4196468 140727069820240 139997664442992 139998186121858 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23253] ppid=23244 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23253/stat : 23253 (java) S 23244 23244 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64181436 14309736448 9949 18446744073709551615 4194304 4196468 140727069820240 139997663388960 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23254] ppid=23244 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23254/stat : 23254 (java) S 23244 23244 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64181436 14309736448 9949 18446744073709551615 4194304 4196468 140727069820240 139997662336624 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23255] ppid=23244 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23255/stat : 23255 (java) S 23244 23244 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64181439 14309736448 9949 18446744073709551615 4194304 4196468 140727069820240 139997661284944 139998186129307 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23256] ppid=23244 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23246/task/23256/stat : 23256 (java) R 23244 23244 897 0 -1 4202560 540 0 0 0 1 0 0 0 20 0 15 0 64181439 14309736448 9949 18446744073709551615 4194304 4196468 140727069820240 139997660212808 139998166472288 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23257] ppid=23244 vsize=13974352 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23246/task/23257/stat : 23257 (java) R 23244 23244 897 0 -1 1077944384 290 0 0 0 2 0 0 0 20 0 15 0 64181439 14309736448 9949 18446744073709551615 4194304 4196468 140727069820240 139997659178992 139998186121858 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23258] ppid=23244 vsize=13974352 memory=140572274325120 CPUtime=0.06 cores=1,3,5,7
/proc/23246/task/23258/stat : 23258 (java) R 23244 23244 897 0 -1 4202560 757 0 0 0 6 0 0 0 20 0 15 0 64181439 14309736448 9949 18446744073709551615 4194304 4196468 140727069820240 139997658126704 139998170191198 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23259] ppid=23244 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23259/stat : 23259 (java) S 23244 23244 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64181439 14309736448 9949 18446744073709551615 4194304 4196468 140727069820240 139997657074144 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23260] ppid=23244 vsize=13974352 memory=140572274325120 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23260/stat : 23260 (java) S 23244 23244 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64181443 14309736448 9949 18446744073709551615 4194304 4196468 140727069820240 139997656021936 139998186121858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41176 KiB

[startup+0.701406 s]
/proc/loadavg: 1.93 1.93 1.95 4/211 23260
/proc/meminfo: memFree=30875212/32770624 swapFree=67108860/67108860
[pid=23244] ppid=23241 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23244/stat : 23244 (xcsp3-exec) S 23241 23244 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64181424 9740288 345 18446744073709551615 4194304 5098028 140723742269472 140723742267576 140323980026492 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 27607040 140723742278015 140723742278218 140723742278218 140723742281707 0
/proc/23244/statm: 2378 345 289 221 0 87 0
[pid=23246] ppid=23244 vsize=13978684 memory=78504 CPUtime=1.38 cores=1,3,5,7
/proc/23246/stat : 23246 (java) S 23244 23244 897 0 -1 1077944320 13296 0 0 0 133 5 0 0 20 0 15 0 64181433 14314172416 19626 18446744073709551615 4194304 4196468 140727069820240 140727069802784 139998186110711 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
/proc/23246/statm: 3494671 19626 3171 1 0 3482964 0
[pid=23246/tid=23247] ppid=23244 vsize=13978684 memory=36308 CPUtime=0.55 cores=1,3,5,7
/proc/23246/task/23247/stat : 23247 (java) R 23244 23244 897 0 -1 4202560 7943 0 0 0 52 3 0 0 20 0 15 0 64181434 14314172416 19626 18446744073709551615 4194304 4196468 140727069820240 139998190349280 139998186122646 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23248] ppid=23244 vsize=13978684 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23248/stat : 23248 (java) S 23244 23244 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64181434 14314172416 19626 18446744073709551615 4194304 4196468 140727069820240 139998151391632 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23249] ppid=23244 vsize=13978684 memory=25332 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23249/stat : 23249 (java) S 23244 23244 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64181434 14314172416 19626 18446744073709551615 4194304 4196468 140727069820240 139997785360656 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23250] ppid=23244 vsize=13978684 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23250/stat : 23250 (java) S 23244 23244 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64181434 14314172416 19626 18446744073709551615 4194304 4196468 140727069820240 139997784308368 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23251] ppid=23244 vsize=13978684 memory=6657 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23251/stat : 23251 (java) S 23244 23244 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64181434 14314172416 19626 18446744073709551615 4194304 4196468 140727069820240 139997783255568 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23252] ppid=23244 vsize=13978684 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23252/stat : 23252 (java) S 23244 23244 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64181436 14314172416 19626 18446744073709551615 4194304 4196468 140727069820240 139997664442992 139998186121858 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23253] ppid=23244 vsize=13978684 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23253/stat : 23253 (java) S 23244 23244 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64181436 14314172416 19626 18446744073709551615 4194304 4196468 140727069820240 139997663388960 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23254] ppid=23244 vsize=13978684 memory=6660 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23254/stat : 23254 (java) S 23244 23244 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64181436 14314172416 19626 18446744073709551615 4194304 4196468 140727069820240 139997662336624 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23255] ppid=23244 vsize=13978684 memory=294 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23255/stat : 23255 (java) S 23244 23244 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64181439 14314172416 19626 18446744073709551615 4194304 4196468 140727069820240 139997661284944 139998186129307 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23256] ppid=23244 vsize=13978684 memory=242 CPUtime=0.22 cores=1,3,5,7
/proc/23246/task/23256/stat : 23256 (java) R 23244 23244 897 0 -1 4202560 1275 0 0 0 22 0 0 0 20 0 15 0 64181439 14314172416 19626 18446744073709551615 4194304 4196468 140727069820240 139997660220288 139998166484731 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23257] ppid=23244 vsize=13978684 memory=830 CPUtime=0.26 cores=1,3,5,7
/proc/23246/task/23257/stat : 23257 (java) R 23244 23244 897 0 -1 4202560 1262 0 0 0 26 0 0 0 20 0 15 0 64181439 14314172416 19626 18446744073709551615 4194304 4196468 140727069820240 139997659165088 139998165349184 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23258] ppid=23244 vsize=13978684 memory=221 CPUtime=0.31 cores=1,3,5,7
/proc/23246/task/23258/stat : 23258 (java) S 23244 23244 897 0 -1 1077944384 1509 0 0 0 31 0 0 0 20 0 15 0 64181439 14314172416 19626 18446744073709551615 4194304 4196468 140727069820240 139997658126704 139998186121858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23259] ppid=23244 vsize=13978684 memory=52 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23259/stat : 23259 (java) S 23244 23244 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64181439 14314172416 19626 18446744073709551615 4194304 4196468 140727069820240 139997657074144 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23260] ppid=23244 vsize=13978684 memory=4 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23260/stat : 23260 (java) S 23244 23244 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64181443 14314172416 19626 18446744073709551615 4194304 4196468 140727069820240 139997656021936 139998186121858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 79884 KiB

[startup+1.50087 s]
/proc/loadavg: 1.93 1.93 1.95 6/211 23260
/proc/meminfo: memFree=30833640/32770624 swapFree=67108860/67108860
[pid=23244] ppid=23241 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23244/stat : 23244 (xcsp3-exec) S 23241 23244 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64181424 9740288 345 18446744073709551615 4194304 5098028 140723742269472 140723742267576 140323980026492 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 27607040 140723742278015 140723742278218 140723742278218 140723742281707 0
/proc/23244/statm: 2378 345 289 221 0 87 0
[pid=23246] ppid=23244 vsize=13980732 memory=118492 CPUtime=3.64 cores=1,3,5,7
/proc/23246/stat : 23246 (java) S 23244 23244 897 0 -1 1077944320 22256 0 0 0 358 6 0 0 20 0 15 0 64181433 14316269568 29623 18446744073709551615 4194304 4196468 140727069820240 140727069802784 139998186110711 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
/proc/23246/statm: 3495183 29623 3192 1 0 3483476 0
[pid=23246/tid=23247] ppid=23244 vsize=13980732 memory=109144 CPUtime=1.35 cores=1,3,5,7
/proc/23246/task/23247/stat : 23247 (java) R 23244 23244 897 0 -1 4202560 10101 0 0 0 131 4 0 0 20 0 15 0 64181434 14316269568 29623 18446744073709551615 4194304 4196468 140727069820240 139998190350344 139997832445967 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23248] ppid=23244 vsize=13980732 memory=2372 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23248/stat : 23248 (java) S 23244 23244 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64181434 14316269568 29623 18446744073709551615 4194304 4196468 140727069820240 139998151391632 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23249] ppid=23244 vsize=13980732 memory=25332 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23249/stat : 23249 (java) S 23244 23244 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64181434 14316269568 29623 18446744073709551615 4194304 4196468 140727069820240 139997785360656 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23250] ppid=23244 vsize=13980732 memory=281144264232656 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23250/stat : 23250 (java) S 23244 23244 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64181434 14316269568 29623 18446744073709551615 4194304 4196468 140727069820240 139997784308368 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23251] ppid=23244 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23251/stat : 23251 (java) S 23244 23244 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64181434 14316269568 29623 18446744073709551615 4194304 4196468 140727069820240 139997783255568 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23252] ppid=23244 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23252/stat : 23252 (java) S 23244 23244 897 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 64181436 14316269568 29623 18446744073709551615 4194304 4196468 140727069820240 139997664442992 139998186121858 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23253] ppid=23244 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23253/stat : 23253 (java) S 23244 23244 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64181436 14316269568 29623 18446744073709551615 4194304 4196468 140727069820240 139997663388960 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23254] ppid=23244 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7

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

/proc/23246/task/23254/stat : 23254 (java) S 23244 23244 897 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 64181436 14316269568 60426 18446744073709551615 4194304 4196468 140727069820240 139997662336624 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23255] ppid=23244 vsize=13980732 memory=503 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23255/stat : 23255 (java) S 23244 23244 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64181439 14316269568 60426 18446744073709551615 4194304 4196468 140727069820240 139997661284944 139998186129307 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23256] ppid=23244 vsize=13980732 memory=1292 CPUtime=2.79 cores=1,3,5,7
/proc/23246/task/23256/stat : 23256 (java) S 23244 23244 897 0 -1 1077944384 13353 0 0 0 278 1 0 0 20 0 15 0 64181439 14316269568 60426 18446744073709551615 4194304 4196468 140727069820240 139997660231792 139998186121858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23257] ppid=23244 vsize=13980732 memory=2316 CPUtime=2.4 cores=1,3,5,7
/proc/23246/task/23257/stat : 23257 (java) S 23244 23244 897 0 -1 1077944384 14340 0 0 0 238 2 0 0 20 0 15 0 64181439 14316269568 60426 18446744073709551615 4194304 4196468 140727069820240 139997659178992 139998186121858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23258] ppid=23244 vsize=13980732 memory=796 CPUtime=0.7 cores=1,3,5,7
/proc/23246/task/23258/stat : 23258 (java) S 23244 23244 897 0 -1 1077944384 7851 0 0 0 69 1 0 0 20 0 15 0 64181439 14316269568 60426 18446744073709551615 4194304 4196468 140727069820240 139997658126704 139998186121858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23259] ppid=23244 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23259/stat : 23259 (java) S 23244 23244 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64181439 14316269568 60426 18446744073709551615 4194304 4196468 140727069820240 139997657074144 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23260] ppid=23244 vsize=13980732 memory=4116 CPUtime=0.02 cores=1,3,5,7
/proc/23246/task/23260/stat : 23260 (java) S 23244 23244 897 0 -1 1077944384 739 0 0 0 1 1 0 0 20 0 15 0 64181443 14316269568 60426 18446744073709551615 4194304 4196468 140727069820240 139997656021936 139998186121858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
Current children cumulated CPU time: 108.28 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 243084 KiB

[startup+162.301 s]
/proc/loadavg: 1.89 1.92 1.95 3/211 23265
/proc/meminfo: memFree=30708328/32770624 swapFree=67108860/67108860
[pid=23244] ppid=23241 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23244/stat : 23244 (xcsp3-exec) S 23241 23244 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64181424 9740288 345 18446744073709551615 4194304 5098028 140723742269472 140723742267576 140323980026492 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 27607040 140723742278015 140723742278218 140723742278218 140723742281707 0
/proc/23244/statm: 2378 345 289 221 0 87 0
[pid=23246] ppid=23244 vsize=13980732 memory=236092 CPUtime=168.37 cores=1,3,5,7
/proc/23246/stat : 23246 (java) S 23244 23244 897 0 -1 1077944320 63423 0 0 0 16818 19 0 0 20 0 15 0 64181433 14316269568 59023 18446744073709551615 4194304 4196468 140727069820240 140727069802784 139998186110711 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
/proc/23246/statm: 3495183 59023 3234 1 0 3483476 0
[pid=23246/tid=23247] ppid=23244 vsize=13980732 memory=236092 CPUtime=162.05 cores=1,3,5,7
/proc/23246/task/23247/stat : 23247 (java) R 23244 23244 897 0 -1 4202560 15694 0 0 0 16200 5 0 0 20 0 15 0 64181434 14316269568 59023 18446744073709551615 4194304 4196468 140727069820240 139998190349312 139997833444796 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23248] ppid=23244 vsize=13980732 memory=236096 CPUtime=0.06 cores=1,3,5,7
/proc/23246/task/23248/stat : 23248 (java) S 23244 23244 897 0 -1 1077944384 1147 0 0 0 5 1 0 0 20 0 15 0 64181434 14316269568 59023 18446744073709551615 4194304 4196468 140727069820240 139998151391632 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23249] ppid=23244 vsize=13980732 memory=236096 CPUtime=0.05 cores=1,3,5,7
/proc/23246/task/23249/stat : 23249 (java) S 23244 23244 897 0 -1 1077944384 1992 0 0 0 4 1 0 0 20 0 15 0 64181434 14316269568 59023 18446744073709551615 4194304 4196468 140727069820240 139997785360656 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23250] ppid=23244 vsize=13980732 memory=236092 CPUtime=0.06 cores=1,3,5,7
/proc/23246/task/23250/stat : 23250 (java) S 23244 23244 897 0 -1 1077944384 1872 0 0 0 5 1 0 0 20 0 15 0 64181434 14316269568 59023 18446744073709551615 4194304 4196468 140727069820240 139997784308368 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23251] ppid=23244 vsize=13980732 memory=236096 CPUtime=0.06 cores=1,3,5,7
/proc/23246/task/23251/stat : 23251 (java) S 23244 23244 897 0 -1 1077944384 1025 0 0 0 5 1 0 0 20 0 15 0 64181434 14316269568 59023 18446744073709551615 4194304 4196468 140727069820240 139997783255568 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23252] ppid=23244 vsize=13980732 memory=1380 CPUtime=0.02 cores=1,3,5,7
/proc/23246/task/23252/stat : 23252 (java) S 23244 23244 897 0 -1 1077944384 1154 0 0 0 2 0 0 0 20 0 15 0 64181436 14316269568 59023 18446744073709551615 4194304 4196468 140727069820240 139997664442992 139998186121858 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23253] ppid=23244 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23253/stat : 23253 (java) S 23244 23244 897 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 64181436 14316269568 59023 18446744073709551615 4194304 4196468 140727069820240 139997663388960 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23254] ppid=23244 vsize=13980732 memory=236096 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23254/stat : 23254 (java) S 23244 23244 897 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 64181436 14316269568 59023 18446744073709551615 4194304 4196468 140727069820240 139997662336624 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23255] ppid=23244 vsize=13980732 memory=56 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23255/stat : 23255 (java) S 23244 23244 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64181439 14316269568 59023 18446744073709551615 4194304 4196468 140727069820240 139997661284944 139998186129307 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23256] ppid=23244 vsize=13980732 memory=8027787704792667750 CPUtime=2.8 cores=1,3,5,7
/proc/23246/task/23256/stat : 23256 (java) S 23244 23244 897 0 -1 1077944384 13810 0 0 0 279 1 0 0 20 0 15 0 64181439 14316269568 59023 18446744073709551615 4194304 4196468 140727069820240 139997660231792 139998186121858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23257] ppid=23244 vsize=13980732 memory=0 CPUtime=2.42 cores=1,3,5,7
/proc/23246/task/23257/stat : 23257 (java) S 23244 23244 897 0 -1 1077944384 15424 0 0 0 240 2 0 0 20 0 15 0 64181439 14316269568 59023 18446744073709551615 4194304 4196468 140727069820240 139997659178992 139998186121858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23258] ppid=23244 vsize=13980732 memory=3977860657260549383 CPUtime=0.71 cores=1,3,5,7
/proc/23246/task/23258/stat : 23258 (java) S 23244 23244 897 0 -1 1077944384 9206 0 0 0 70 1 0 0 20 0 15 0 64181439 14316269568 59023 18446744073709551615 4194304 4196468 140727069820240 139997658126704 139998186121858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23259] ppid=23244 vsize=13980732 memory=236096 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23259/stat : 23259 (java) S 23244 23244 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64181439 14316269568 59023 18446744073709551615 4194304 4196468 140727069820240 139997657074144 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23260] ppid=23244 vsize=13980732 memory=239168 CPUtime=0.03 cores=1,3,5,7
/proc/23246/task/23260/stat : 23260 (java) S 23244 23244 897 0 -1 1077944384 750 0 0 0 1 2 0 0 20 0 15 0 64181443 14316269568 59023 18446744073709551615 4194304 4196468 140727069820240 139997656021936 139998186121858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
Current children cumulated CPU time: 168.37 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 237472 KiB

[startup+222.301 s]
/proc/loadavg: 1.96 1.93 1.95 3/211 23348
/proc/meminfo: memFree=30745472/32770624 swapFree=67108860/67108860
[pid=23244] ppid=23241 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23244/stat : 23244 (xcsp3-exec) S 23241 23244 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64181424 9740288 345 18446744073709551615 4194304 5098028 140723742269472 140723742267576 140323980026492 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 27607040 140723742278015 140723742278218 140723742278218 140723742281707 0
/proc/23244/statm: 2378 345 289 221 0 87 0
[pid=23246] ppid=23244 vsize=13980732 memory=202268 CPUtime=228.49 cores=1,3,5,7
/proc/23246/stat : 23246 (java) S 23244 23244 897 0 -1 1077944320 64788 0 0 0 22829 20 0 0 20 0 15 0 64181433 14316269568 50567 18446744073709551615 4194304 4196468 140727069820240 140727069802784 139998186110711 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
/proc/23246/statm: 3495183 50567 3234 1 0 3483476 0
[pid=23246/tid=23247] ppid=23244 vsize=13980732 memory=1380 CPUtime=222.03 cores=1,3,5,7
/proc/23246/task/23247/stat : 23247 (java) R 23244 23244 897 0 -1 4202560 15973 0 0 0 22198 5 0 0 20 0 15 0 64181434 14316269568 50567 18446744073709551615 4194304 4196468 140727069820240 139998190350224 139997832642387 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23248] ppid=23244 vsize=13980732 memory=1380 CPUtime=0.07 cores=1,3,5,7
/proc/23246/task/23248/stat : 23248 (java) S 23244 23244 897 0 -1 1077944384 1164 0 0 0 6 1 0 0 20 0 15 0 64181434 14316269568 50567 18446744073709551615 4194304 4196468 140727069820240 139998151391632 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23249] ppid=23244 vsize=13980732 memory=202268 CPUtime=0.06 cores=1,3,5,7
/proc/23246/task/23249/stat : 23249 (java) S 23244 23244 897 0 -1 1077944384 1997 0 0 0 5 1 0 0 20 0 15 0 64181434 14316269568 50567 18446744073709551615 4194304 4196468 140727069820240 139997785360656 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23250] ppid=23244 vsize=13980732 memory=1012 CPUtime=0.07 cores=1,3,5,7
/proc/23246/task/23250/stat : 23250 (java) S 23244 23244 897 0 -1 1077944384 1875 0 0 0 6 1 0 0 20 0 15 0 64181434 14316269568 50567 18446744073709551615 4194304 4196468 140727069820240 139997784308368 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23251] ppid=23244 vsize=13980732 memory=65 CPUtime=0.07 cores=1,3,5,7
/proc/23246/task/23251/stat : 23251 (java) S 23244 23244 897 0 -1 1077944384 1150 0 0 0 6 1 0 0 20 0 15 0 64181434 14316269568 50567 18446744073709551615 4194304 4196468 140727069820240 139997783255568 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23252] ppid=23244 vsize=13980732 memory=4116 CPUtime=0.03 cores=1,3,5,7
/proc/23246/task/23252/stat : 23252 (java) S 23244 23244 897 0 -1 1077944384 1241 0 0 0 3 0 0 0 20 0 15 0 64181436 14316269568 50567 18446744073709551615 4194304 4196468 140727069820240 139997664442992 139998186121858 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23253] ppid=23244 vsize=13980732 memory=202268 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23253/stat : 23253 (java) S 23244 23244 897 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 64181436 14316269568 50567 18446744073709551615 4194304 4196468 140727069820240 139997663388960 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23254] ppid=23244 vsize=13980732 memory=202268 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23254/stat : 23254 (java) S 23244 23244 897 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 64181436 14316269568 50567 18446744073709551615 4194304 4196468 140727069820240 139997662336624 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23255] ppid=23244 vsize=13980732 memory=202268 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23255/stat : 23255 (java) S 23244 23244 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64181439 14316269568 50567 18446744073709551615 4194304 4196468 140727069820240 139997661284944 139998186129307 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23256] ppid=23244 vsize=13980732 memory=202268 CPUtime=2.81 cores=1,3,5,7
/proc/23246/task/23256/stat : 23256 (java) S 23244 23244 897 0 -1 1077944384 13898 0 0 0 280 1 0 0 20 0 15 0 64181439 14316269568 50567 18446744073709551615 4194304 4196468 140727069820240 139997660231792 139998186121858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23257] ppid=23244 vsize=13980732 memory=1380 CPUtime=2.49 cores=1,3,5,7
/proc/23246/task/23257/stat : 23257 (java) S 23244 23244 897 0 -1 1077944384 15972 0 0 0 247 2 0 0 20 0 15 0 64181439 14316269568 50567 18446744073709551615 4194304 4196468 140727069820240 139997659178992 139998186121858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23258] ppid=23244 vsize=13980732 memory=202268 CPUtime=0.71 cores=1,3,5,7
/proc/23246/task/23258/stat : 23258 (java) S 23244 23244 897 0 -1 1077944384 9398 0 0 0 70 1 0 0 20 0 15 0 64181439 14316269568 50567 18446744073709551615 4194304 4196468 140727069820240 139997658126704 139998186121858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23259] ppid=23244 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23259/stat : 23259 (java) S 23244 23244 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64181439 14316269568 50567 18446744073709551615 4194304 4196468 140727069820240 139997657074144 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23260] ppid=23244 vsize=13980732 memory=1380 CPUtime=0.05 cores=1,3,5,7
/proc/23246/task/23260/stat : 23260 (java) S 23244 23244 897 0 -1 1077944384 771 0 0 0 2 3 0 0 20 0 15 0 64181443 14316269568 50567 18446744073709551615 4194304 4196468 140727069820240 139997656021936 139998186121858 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 10 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
Current children cumulated CPU time: 228.49 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 203648 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.89 1.92 1.95 3/214 23362
/proc/meminfo: memFree=30721436/32770624 swapFree=67108860/67108860
[pid=23244] ppid=23241 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/23244/stat : 23244 (xcsp3-exec) S 23241 23244 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64181424 9740288 345 18446744073709551615 4194304 5098028 140723742269472 140723742267576 140323980026492 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 27607040 140723742278015 140723742278218 140723742278218 140723742281707 0
/proc/23244/statm: 2378 345 289 221 0 87 0
[pid=23246] ppid=23244 vsize=13980732 memory=192004 CPUtime=246.23 cores=1,3,5,7
/proc/23246/stat : 23246 (java) S 23244 23244 897 0 -1 1077944320 65490 0 0 0 24602 21 0 0 20 0 15 0 64181433 14316269568 48001 18446744073709551615 4194304 4196468 140727069820240 140727069802784 139998186110711 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
/proc/23246/statm: 3495183 48001 3234 1 0 3483476 0
[pid=23246/tid=23247] ppid=23244 vsize=13980732 memory=-8195925453750481479 CPUtime=239.73 cores=1,3,5,7
/proc/23246/task/23247/stat : 23247 (java) R 23244 23244 897 0 -1 4202560 16172 0 0 0 23968 5 0 0 20 0 15 0 64181434 14316269568 48001 18446744073709551615 4194304 4196468 140727069820240 139998190350240 139997832671318 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23248] ppid=23244 vsize=13980732 memory=2000 CPUtime=0.07 cores=1,3,5,7
/proc/23246/task/23248/stat : 23248 (java) S 23244 23244 897 0 -1 1077944384 1167 0 0 0 6 1 0 0 20 0 15 0 64181434 14316269568 48001 18446744073709551615 4194304 4196468 140727069820240 139998151391632 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23249] ppid=23244 vsize=13980732 memory=10976 CPUtime=0.06 cores=1,3,5,7
/proc/23246/task/23249/stat : 23249 (java) S 23244 23244 897 0 -1 1077944384 2000 0 0 0 5 1 0 0 20 0 15 0 64181434 14316269568 48001 18446744073709551615 4194304 4196468 140727069820240 139997785360656 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23250] ppid=23244 vsize=13980732 memory=1200 CPUtime=0.07 cores=1,3,5,7
/proc/23246/task/23250/stat : 23250 (java) S 23244 23244 897 0 -1 1077944384 1881 0 0 0 6 1 0 0 20 0 15 0 64181434 14316269568 48001 18446744073709551615 4194304 4196468 140727069820240 139997784308368 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23251] ppid=23244 vsize=13980732 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/23246/task/23251/stat : 23251 (java) S 23244 23244 897 0 -1 1077944384 1151 0 0 0 7 1 0 0 20 0 15 0 64181434 14316269568 48001 18446744073709551615 4194304 4196468 140727069820240 139997783255568 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23252] ppid=23244 vsize=13980732 memory=4304 CPUtime=0.03 cores=1,3,5,7
/proc/23246/task/23252/stat : 23252 (java) S 23244 23244 897 0 -1 1077944384 1241 0 0 0 3 0 0 0 20 0 15 0 64181436 14316269568 48001 18446744073709551615 4194304 4196468 140727069820240 139997664442992 139998186121858 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23253] ppid=23244 vsize=13980732 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23253/stat : 23253 (java) S 23244 23244 897 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 64181436 14316269568 48001 18446744073709551615 4194304 4196468 140727069820240 139997663388960 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23254] ppid=23244 vsize=13980732 memory=928 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23254/stat : 23254 (java) S 23244 23244 897 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 64181436 14316269568 48001 18446744073709551615 4194304 4196468 140727069820240 139997662336624 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23255] ppid=23244 vsize=13980732 memory=2164 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23255/stat : 23255 (java) S 23244 23244 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64181439 14316269568 48001 18446744073709551615 4194304 4196468 140727069820240 139997661284944 139998186129307 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23256] ppid=23244 vsize=13980732 memory=840 CPUtime=2.83 cores=1,3,5,7
/proc/23246/task/23256/stat : 23256 (java) S 23244 23244 897 0 -1 1077944384 14364 0 0 0 281 2 0 0 20 0 15 0 64181439 14316269568 48001 18446744073709551615 4194304 4196468 140727069820240 139997660231792 139998186121858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23257] ppid=23244 vsize=13980732 memory=16436 CPUtime=2.49 cores=1,3,5,7
/proc/23246/task/23257/stat : 23257 (java) S 23244 23244 897 0 -1 1077944384 15972 0 0 0 247 2 0 0 20 0 15 0 64181439 14316269568 48001 18446744073709551615 4194304 4196468 140727069820240 139997659178992 139998186121858 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23258] ppid=23244 vsize=13980732 memory=2912 CPUtime=0.71 cores=1,3,5,7
/proc/23246/task/23258/stat : 23258 (java) S 23244 23244 897 0 -1 1077944384 9398 0 0 0 70 1 0 0 20 0 15 0 64181439 14316269568 48001 18446744073709551615 4194304 4196468 140727069820240 139997658126704 139998186121858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23259] ppid=23244 vsize=13980732 memory=2752 CPUtime=0 cores=1,3,5,7
/proc/23246/task/23259/stat : 23259 (java) S 23244 23244 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64181439 14316269568 48001 18446744073709551615 4194304 4196468 140727069820240 139997657074144 139998186120917 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
[pid=23246/tid=23260] ppid=23244 vsize=13980732 memory=4072 CPUtime=0.05 cores=1,3,5,7
/proc/23246/task/23260/stat : 23260 (java) S 23244 23244 897 0 -1 1077944384 795 0 0 0 2 3 0 0 20 0 15 0 64181443 14316269568 48001 18446744073709551615 4194304 4196468 140727069820240 139997656021936 139998186121858 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 35151872 140727069827511 140727069827686 140727069827686 140727069831119 0
Current children cumulated CPU time: 246.23 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 193384 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+240.02 s]
# the end of solver process 23244 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0 s, system=0.001837 s

[startup+240.023 s]
# the end of solver process 23246 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=246.039 s, system=0.219946 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 240.023
CPU time (s): 246.259
CPU user time (s): 246.039
CPU system time (s): 0.219946
CPU usage (%): 102.598
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 245132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.039
system time used= 0.219946
maximum resident set size= 243752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66923
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8551
involuntary context switches= 193


# summary of solver processes directly reported to runsolver:
#   pid: 23244,23246
#   total CPU time (s): 246.259
#   total CPU user time (s): 246.039
#   total CPU system time (s): 0.219946

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.38912 second user time and 2.17189 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml
MD5SUM	f7605bb50abdbd05cc6d9fedf17196d1
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	386
Best CPU time to get the best result obtained on this benchmark	251.79601
Satisfiable
(Un)Satisfiability was proved
Number of variables	1831
Number of constraints	1072
Number of domains	4
Minimum domain size	2
Maximum domain size	1801
Distribution of domain sizes	[{"size":2,"count":900},{"size":3,"count":900},{"size":785,"count":1},{"size":1801,"count":30}]
Minimum variable degree	1
Maximum variable degree	31
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":897},{"degree":3,"count":33},{"degree":4,"count":112},{"degree":8,"count":108},{"degree":9,"count":676},{"degree":31,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":2,"count":142},{"arity":3,"count":112},{"arity":10,"count":784},{"arity":30,"count":4},{"arity":31,"count":1},{"arity":32,"count":29}]
Number of extensional constraints	896
Number of intensional constraints	141
Distribution of constraint types	[{"type":"extension","count":896},{"type":"intension","count":141},{"type":"sum","count":31},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4270323

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