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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-18)	SAT (TO)	306	2520.0801	2506.72

0.00/0.08	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4282082-1503104208.xml"  -tl '2520s' -p 1 -x 0
0.09/0.27	c [HOME/instance-4282082-1503104208.xml, -tl, 2520s, -p, 1, -x, 0]
0.28/0.33	c simple solver
0.28/0.40	c parse instance...
2.04/1.09	c solve instance...
13.38/9.79	o 277 
13.51/9.90	o 279 
20.62/15.94	o 287 
21.15/16.40	o 289 
1412.73/1405.05	o 295 
2519.23/2505.91	o 305 
2519.23/2505.92	o 306 
2520.04/2506.70	s SATISFIABLE
2520.04/2506.70	v <instantiation>
2520.04/2506.70	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z </list>
2520.04/2506.70	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 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 1 0 1 0 1 1 0 1 0 1 1 1 1 1 0 0 1 0 0 1 0 1 1 1 1 0 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 1 1 1 1 1 0 1 0 1 0 0 0 1 0 0 1 1 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 1 1 1 1 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 1 1 0 0 0 1 1 0 0 0 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 1 0 0 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 1 1 0 1 1 1 1 0 0 1 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 1 1 1 1 0 1 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 1 0 0 1 0 1 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 0 1 0 0 0 1 1 0 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 1 1 1 1 1 1 1 1 1 0 0 1 1 1 1 1 0 0 1 1 1 0 0 1 0 0 1 0 1 2 2 2 2 2 2 2 2 0 1 1 0 2 2 2 1 1 0 1 2 1 0 0 0 0 1 1 1 1 2 2 2 2 1 2 2 1 1 0 0 1 1 2 1 2 0 0 1 1 1 0 0 0 0 0 1 1 1 2 2 2 0 1 0 2 1 1 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 2 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 0 0 0 1 0 2 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 2 1 1 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 2 1 0 0 1 0 0 0 0 0 1 1 2 0 1 0 0 0 0 1 1 0 0 1 1 2 1 1 1 2 1 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 2 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 2 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 1 2 2 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 2 1 1 0 0 0 0 1 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 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 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 2 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 1 0 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 2 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 2 1 0 1 0 0 0 2 0 0 0 1 0 0 0 1 2 0 2 0 0 1 0 0 0 0 0 0 2 1 1 0 1 1 0 0 2 0 0 1 0 0 2 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 1 0 1 0 1 2 0 1 0 2 1 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 1 0 1 1 1 0 0 1 0 0 19 53 81 98 108 115 126 135 139 151 169 186 195 201 215 225 232 238 239 244 249 255 267 275 282 299 313 329 342 306 </values>
2520.04/2506.70	v </instantiation>
2520.04/2506.70	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 (15159 MiB free)
  memory of node 1: 16384 MiB (15767 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282082-1503104208/watcher-4282082-1503104208 -o /tmp/evaluation-result-4282082-1503104208/solver-4282082-1503104208 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node130-1503095856-15587 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1870185219 HOME/instance-4282082-1503104208.xml 

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

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

solver pid=16679, runsolver pid=16676

[startup+0.100119 s]*
/proc/loadavg: 1.82 1.82 1.84 3/202 16686
/proc/meminfo: memFree=31664656/32770624 swapFree=67108860/67108860
[pid=16679] ppid=16676 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16679/stat : 16679 (xcsp3-exec) S 16676 16679 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 8828871 9740288 345 18446744073709551615 4194304 5098028 140734111089184 140734111087288 140279202267772 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 13402112 140734111097209 140734111097414 140734111097414 140734111100907 0
/proc/16679/statm: 2378 345 289 221 0 87 0
[pid=16681] ppid=16679 vsize=13441356 memory=17612 CPUtime=0.01 cores=1,3,5,7
/proc/16681/stat : 16681 (java) S 16679 16679 15523 0 -1 1077944320 3673 0 0 0 1 0 0 0 20 0 7 0 8828879 13763948544 4403 18446744073709551615 4194304 4196468 140736694356592 140736694339136 139686665088759 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
/proc/16681/statm: 3360339 4403 1998 1 0 3349836 0
[pid=16681/tid=16682] ppid=16679 vsize=13441356 memory=-8713483618642589536 CPUtime=0.01 cores=1,3,5,7
/proc/16681/task/16682/stat : 16682 (java) R 16679 16679 15523 0 -1 4202560 2430 0 0 0 1 0 0 0 20 0 7 0 8828879 13763948544 4403 18446744073709551615 4194304 4196468 140736694356592 139686669331216 139686649169246 0 4 1 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16683] ppid=16679 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16683/stat : 16683 (java) S 16679 16679 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 8828880 13763948544 4403 18446744073709551615 4194304 4196468 140736694356592 139686632647696 139686665098965 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16684] ppid=16679 vsize=13441356 memory=140421397530240 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16684/stat : 16684 (java) S 16679 16679 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 8828880 13763948544 4403 18446744073709551615 4194304 4196468 140736694356592 139686263737488 139686665098965 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16685] ppid=16679 vsize=13441356 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16685/stat : 16685 (java) S 16679 16679 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 8828880 13763948544 4403 18446744073709551615 4194304 4196468 140736694356592 139686262684432 139686665098965 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16686] ppid=16679 vsize=13441356 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16686/stat : 16686 (java) S 16679 16679 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 8828880 13763948544 4403 18446744073709551615 4194304 4196468 140736694356592 139686261631888 139686665098965 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16687] ppid=16679 vsize=13441356 memory=140421397530240 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16687/stat : 16687 (java) S 16679 16679 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 8828881 13763948544 4403 18446744073709551615 4194304 4196468 140736694356592 139686143535344 139686665099906 0 0 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 18992 KiB

[startup+0.209945 s]*
/proc/loadavg: 1.82 1.82 1.84 3/211 16695
/proc/meminfo: memFree=31654864/32770624 swapFree=67108860/67108860
[pid=16679] ppid=16676 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16679/stat : 16679 (xcsp3-exec) S 16676 16679 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 8828871 9740288 345 18446744073709551615 4194304 5098028 140734111089184 140734111087288 140279202267772 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 13402112 140734111097209 140734111097414 140734111097414 140734111100907 0
/proc/16679/statm: 2378 345 289 221 0 87 0
[pid=16681] ppid=16679 vsize=13974352 memory=26888 CPUtime=0.09 cores=1,3,5,7
/proc/16681/stat : 16681 (java) S 16679 16679 15523 0 -1 1077944320 5119 0 0 0 8 1 0 0 20 0 15 0 8828879 14309736448 6722 18446744073709551615 4194304 4196468 140736694356592 140736694339136 139686665088759 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
/proc/16681/statm: 3493588 6722 2751 1 0 3482964 0
[pid=16681/tid=16682] ppid=16679 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=1,3,5,7
/proc/16681/task/16682/stat : 16682 (java) R 16679 16679 15523 0 -1 4202560 3277 0 0 0 6 1 0 0 20 0 15 0 8828879 14309736448 6722 18446744073709551615 4194304 4196468 140736694356592 139686669311008 139686649169246 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16683] ppid=16679 vsize=13974352 memory=8941 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16683/stat : 16683 (java) S 16679 16679 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8828880 14309736448 6722 18446744073709551615 4194304 4196468 140736694356592 139686632647696 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16684] ppid=16679 vsize=13974352 memory=4122962907850393248 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16684/stat : 16684 (java) S 16679 16679 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8828880 14309736448 6722 18446744073709551615 4194304 4196468 140736694356592 139686263737488 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16685] ppid=16679 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16685/stat : 16685 (java) S 16679 16679 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8828880 14309736448 6722 18446744073709551615 4194304 4196468 140736694356592 139686262684432 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16686] ppid=16679 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16686/stat : 16686 (java) S 16679 16679 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8828880 14309736448 6722 18446744073709551615 4194304 4196468 140736694356592 139686261631888 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16687] ppid=16679 vsize=13974352 memory=140421397530240 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16687/stat : 16687 (java) S 16679 16679 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8828881 14309736448 6722 18446744073709551615 4194304 4196468 140736694356592 139686143535344 139686665099906 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16688] ppid=16679 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16688/stat : 16688 (java) S 16679 16679 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8828882 14309736448 6722 18446744073709551615 4194304 4196468 140736694356592 139686142481568 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16689] ppid=16679 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16689/stat : 16689 (java) S 16679 16679 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8828882 14309736448 6722 18446744073709551615 4194304 4196468 140736694356592 139686141428464 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16690] ppid=16679 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16690/stat : 16690 (java) S 16679 16679 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8828884 14309736448 6722 18446744073709551615 4194304 4196468 140736694356592 139686140377040 139686665107355 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16691] ppid=16679 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16691/stat : 16691 (java) S 16679 16679 15523 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 8828884 14309736448 6722 18446744073709551615 4194304 4196468 140736694356592 139686139325168 139686665099906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16692] ppid=16679 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16692/stat : 16692 (java) S 16679 16679 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8828884 14309736448 6722 18446744073709551615 4194304 4196468 140736694356592 139686138272624 139686665099906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16693] ppid=16679 vsize=13974352 memory=140421397530240 CPUtime=0.01 cores=1,3,5,7
/proc/16681/task/16693/stat : 16693 (java) S 16679 16679 15523 0 -1 1077944384 247 0 0 0 1 0 0 0 20 0 15 0 8828884 14309736448 6722 18446744073709551615 4194304 4196468 140736694356592 139686137219568 139686665099906 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16694] ppid=16679 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16694/stat : 16694 (java) S 16679 16679 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8828885 14309736448 6722 18446744073709551615 4194304 4196468 140736694356592 139686136167264 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16695] ppid=16679 vsize=13974352 memory=140421397530240 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16695/stat : 16695 (java) S 16679 16679 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8828890 14309736448 6722 18446744073709551615 4194304 4196468 140736694356592 139686135114288 139686665099906 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28268 KiB

[startup+0.31032 s]*
/proc/loadavg: 1.82 1.82 1.84 4/211 16695
/proc/meminfo: memFree=31641260/32770624 swapFree=67108860/67108860
[pid=16679] ppid=16676 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16679/stat : 16679 (xcsp3-exec) S 16676 16679 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 8828871 9740288 345 18446744073709551615 4194304 5098028 140734111089184 140734111087288 140279202267772 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 13402112 140734111097209 140734111097414 140734111097414 140734111100907 0
/proc/16679/statm: 2378 345 289 221 0 87 0
[pid=16681] ppid=16679 vsize=13974352 memory=37552 CPUtime=0.28 cores=1,3,5,7
/proc/16681/stat : 16681 (java) S 16679 16679 15523 0 -1 1077944320 8943 0 0 0 25 3 0 0 20 0 15 0 8828879 14309736448 9388 18446744073709551615 4194304 4196468 140736694356592 140736694339136 139686665088759 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
/proc/16681/statm: 3493588 9388 2979 1 0 3482964 0
[pid=16681/tid=16682] ppid=16679 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/16681/task/16682/stat : 16682 (java) R 16679 16679 15523 0 -1 4202560 6127 0 0 0 15 2 0 0 20 0 15 0 8828879 14309736448 9388 18446744073709551615 4194304 4196468 140736694356592 139686669326272 139686649169246 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16683] ppid=16679 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16683/stat : 16683 (java) S 16679 16679 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8828880 14309736448 9388 18446744073709551615 4194304 4196468 140736694356592 139686632647696 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16684] ppid=16679 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16684/stat : 16684 (java) S 16679 16679 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8828880 14309736448 9388 18446744073709551615 4194304 4196468 140736694356592 139686263737488 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16685] ppid=16679 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16685/stat : 16685 (java) S 16679 16679 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8828880 14309736448 9388 18446744073709551615 4194304 4196468 140736694356592 139686262684432 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16686] ppid=16679 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16686/stat : 16686 (java) S 16679 16679 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8828880 14309736448 9388 18446744073709551615 4194304 4196468 140736694356592 139686261631888 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16687] ppid=16679 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16687/stat : 16687 (java) S 16679 16679 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8828881 14309736448 9388 18446744073709551615 4194304 4196468 140736694356592 139686143535344 139686665099906 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16688] ppid=16679 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16688/stat : 16688 (java) S 16679 16679 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8828882 14309736448 9388 18446744073709551615 4194304 4196468 140736694356592 139686142481568 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16689] ppid=16679 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16689/stat : 16689 (java) S 16679 16679 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8828882 14309736448 9388 18446744073709551615 4194304 4196468 140736694356592 139686141428464 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16690] ppid=16679 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16690/stat : 16690 (java) S 16679 16679 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8828884 14309736448 9388 18446744073709551615 4194304 4196468 140736694356592 139686140377040 139686665107355 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16691] ppid=16679 vsize=13974352 memory=140421271671744 CPUtime=0.01 cores=1,3,5,7
/proc/16681/task/16691/stat : 16691 (java) S 16679 16679 15523 0 -1 1077944384 547 0 0 0 1 0 0 0 20 0 15 0 8828884 14309736448 9388 18446744073709551615 4194304 4196468 140736694356592 139686139325168 139686665099906 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16692] ppid=16679 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/16681/task/16692/stat : 16692 (java) S 16679 16679 15523 0 -1 1077944384 224 0 0 0 1 0 0 0 20 0 15 0 8828884 14309736448 9388 18446744073709551615 4194304 4196468 140736694356592 139686138272624 139686665099906 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16693] ppid=16679 vsize=13974352 memory=140421397530240 CPUtime=0.06 cores=1,3,5,7
/proc/16681/task/16693/stat : 16693 (java) S 16679 16679 15523 0 -1 1077944384 742 0 0 0 6 0 0 0 20 0 15 0 8828884 14309736448 9388 18446744073709551615 4194304 4196468 140736694356592 139686137219568 139686665099906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16694] ppid=16679 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16694/stat : 16694 (java) S 16679 16679 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8828885 14309736448 9388 18446744073709551615 4194304 4196468 140736694356592 139686136167264 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16695] ppid=16679 vsize=13974352 memory=140421397530240 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16695/stat : 16695 (java) S 16679 16679 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8828890 14309736448 9388 18446744073709551615 4194304 4196468 140736694356592 139686135114288 139686665099906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38932 KiB

[startup+0.700838 s]
/proc/loadavg: 1.82 1.82 1.84 3/211 16695
/proc/meminfo: memFree=31630916/32770624 swapFree=67108860/67108860
[pid=16679] ppid=16676 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16679/stat : 16679 (xcsp3-exec) S 16676 16679 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 8828871 9740288 345 18446744073709551615 4194304 5098028 140734111089184 140734111087288 140279202267772 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 13402112 140734111097209 140734111097414 140734111097414 140734111100907 0
/proc/16679/statm: 2378 345 289 221 0 87 0
[pid=16681] ppid=16679 vsize=13978684 memory=66788 CPUtime=1.27 cores=1,3,5,7
/proc/16681/stat : 16681 (java) S 16679 16679 15523 0 -1 1077944320 11934 0 0 0 122 5 0 0 20 0 15 0 8828879 14314172416 16697 18446744073709551615 4194304 4196468 140736694356592 140736694339136 139686665088759 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
/proc/16681/statm: 3494671 16697 3166 1 0 3482964 0
[pid=16681/tid=16682] ppid=16679 vsize=13978684 memory=4124 CPUtime=0.55 cores=1,3,5,7
/proc/16681/task/16682/stat : 16682 (java) R 16679 16679 15523 0 -1 4202560 7969 0 0 0 51 4 0 0 20 0 15 0 8828879 14314172416 16697 18446744073709551615 4194304 4196468 140736694356592 139686669327360 139686665100694 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16683] ppid=16679 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16683/stat : 16683 (java) S 16679 16679 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8828880 14314172416 16697 18446744073709551615 4194304 4196468 140736694356592 139686632647696 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16684] ppid=16679 vsize=13978684 memory=140421271396976 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16684/stat : 16684 (java) S 16679 16679 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8828880 14314172416 16697 18446744073709551615 4194304 4196468 140736694356592 139686263737488 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16685] ppid=16679 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16685/stat : 16685 (java) S 16679 16679 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8828880 14314172416 16697 18446744073709551615 4194304 4196468 140736694356592 139686262684432 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16686] ppid=16679 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16686/stat : 16686 (java) S 16679 16679 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8828880 14314172416 16697 18446744073709551615 4194304 4196468 140736694356592 139686261631888 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16687] ppid=16679 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16687/stat : 16687 (java) S 16679 16679 15523 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8828881 14314172416 16697 18446744073709551615 4194304 4196468 140736694356592 139686143535344 139686665099906 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16688] ppid=16679 vsize=13978684 memory=7809523229951467572 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16688/stat : 16688 (java) S 16679 16679 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8828882 14314172416 16697 18446744073709551615 4194304 4196468 140736694356592 139686142481568 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16689] ppid=16679 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16689/stat : 16689 (java) S 16679 16679 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8828882 14314172416 16697 18446744073709551615 4194304 4196468 140736694356592 139686141428464 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16690] ppid=16679 vsize=13978684 memory=-7014446065631793248 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16690/stat : 16690 (java) S 16679 16679 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8828884 14314172416 16697 18446744073709551615 4194304 4196468 140736694356592 139686140377040 139686665107355 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16691] ppid=16679 vsize=13978684 memory=6944656592387989600 CPUtime=0.19 cores=1,3,5,7
/proc/16681/task/16691/stat : 16691 (java) R 16679 16679 15523 0 -1 4202560 905 0 0 0 19 0 0 0 20 0 15 0 8828884 14314172416 16697 18446744073709551615 4194304 4196468 140736694356592 139686139325168 139686665110106 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16692] ppid=16679 vsize=13978684 memory=6944656575208382560 CPUtime=0.18 cores=1,3,5,7
/proc/16681/task/16692/stat : 16692 (java) R 16679 16679 15523 0 -1 4202560 523 0 0 0 18 0 0 0 20 0 15 0 8828884 14314172416 16697 18446744073709551615 4194304 4196468 140736694356592 139686138272624 139686649998048 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16693] ppid=16679 vsize=13978684 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/16681/task/16693/stat : 16693 (java) S 16679 16679 15523 0 -1 1077944384 1230 0 0 0 31 0 0 0 20 0 15 0 8828884 14314172416 16697 18446744073709551615 4194304 4196468 140736694356592 139686137219568 139686665099906 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16694] ppid=16679 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16694/stat : 16694 (java) S 16679 16679 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8828885 14314172416 16697 18446744073709551615 4194304 4196468 140736694356592 139686136167264 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16695] ppid=16679 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16695/stat : 16695 (java) S 16679 16679 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8828890 14314172416 16697 18446744073709551615 4194304 4196468 140736694356592 139686135114288 139686665099906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 68168 KiB

[startup+1.5008 s]
/proc/loadavg: 1.82 1.82 1.84 5/211 16695
/proc/meminfo: memFree=31592868/32770624 swapFree=67108860/67108860
[pid=16679] ppid=16676 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16679/stat : 16679 (xcsp3-exec) S 16676 16679 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 8828871 9740288 345 18446744073709551615 4194304 5098028 140734111089184 140734111087288 140279202267772 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 13402112 140734111097209 140734111097414 140734111097414 140734111100907 0
/proc/16679/statm: 2378 345 289 221 0 87 0
[pid=16681] ppid=16679 vsize=13980732 memory=112484 CPUtime=3.42 cores=1,3,5,7
/proc/16681/stat : 16681 (java) S 16679 16679 15523 0 -1 1077944320 21181 0 0 0 335 7 0 0 20 0 15 0 8828879 14316269568 28121 18446744073709551615 4194304 4196468 140736694356592 140736694339136 139686665088759 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
/proc/16681/statm: 3495183 28121 3192 1 0 3483476 0
[pid=16681/tid=16682] ppid=16679 vsize=13980732 memory=56 CPUtime=1.34 cores=1,3,5,7
/proc/16681/task/16682/stat : 16682 (java) R 16679 16679 15523 0 -1 4202560 10094 0 0 0 129 5 0 0 20 0 15 0 8828879 14316269568 28121 18446744073709551615 4194304 4196468 140736694356592 139686669327440 139686665100694 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16683] ppid=16679 vsize=13980732 memory=9170 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16683/stat : 16683 (java) S 16679 16679 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8828880 14316269568 28121 18446744073709551615 4194304 4196468 140736694356592 139686632647696 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16684] ppid=16679 vsize=13980732 memory=23548 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16684/stat : 16684 (java) S 16679 16679 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8828880 14316269568 28121 18446744073709551615 4194304 4196468 140736694356592 139686263737488 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16685] ppid=16679 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16685/stat : 16685 (java) S 16679 16679 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8828880 14316269568 28121 18446744073709551615 4194304 4196468 140736694356592 139686262684432 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16686] ppid=16679 vsize=13980732 memory=8332934171225851963 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16686/stat : 16686 (java) S 16679 16679 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8828880 14316269568 28121 18446744073709551615 4194304 4196468 140736694356592 139686261631888 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16687] ppid=16679 vsize=13980732 memory=8189401651348538940 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16687/stat : 16687 (java) S 16679 16679 15523 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 8828881 14316269568 28121 18446744073709551615 4194304 4196468 140736694356592 139686143535344 139686665099906 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16688] ppid=16679 vsize=13980732 memory=7091005850925899131 CPUtime=0 cores=1,3,5,7

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

/proc/16681/task/16689/stat : 16689 (java) S 16679 16679 15523 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 8828882 14316269568 530728 18446744073709551615 4194304 4196468 140736694356592 139686141428464 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16690] ppid=16679 vsize=13980732 memory=2122912 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16690/stat : 16690 (java) S 16679 16679 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8828884 14316269568 530728 18446744073709551615 4194304 4196468 140736694356592 139686140377040 139686665107355 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16691] ppid=16679 vsize=13980732 memory=2122912 CPUtime=2.68 cores=1,3,5,7
/proc/16681/task/16691/stat : 16691 (java) S 16679 16679 15523 0 -1 1077944384 16195 0 0 0 265 3 0 0 20 0 15 0 8828884 14316269568 530728 18446744073709551615 4194304 4196468 140736694356592 139686139325168 139686665099906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16692] ppid=16679 vsize=13980732 memory=2122912 CPUtime=2.45 cores=1,3,5,7
/proc/16681/task/16692/stat : 16692 (java) S 16679 16679 15523 0 -1 1077944384 18785 0 0 0 243 2 0 0 20 0 15 0 8828884 14316269568 530728 18446744073709551615 4194304 4196468 140736694356592 139686138272624 139686665099906 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16693] ppid=16679 vsize=13980732 memory=1380 CPUtime=0.74 cores=1,3,5,7
/proc/16681/task/16693/stat : 16693 (java) S 16679 16679 15523 0 -1 1077944384 9336 0 0 0 73 1 0 0 20 0 15 0 8828884 14316269568 530728 18446744073709551615 4194304 4196468 140736694356592 139686137219568 139686665099906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16694] ppid=16679 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16694/stat : 16694 (java) S 16679 16679 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8828885 14316269568 530728 18446744073709551615 4194304 4196468 140736694356592 139686136167264 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16695] ppid=16679 vsize=13980732 memory=1380 CPUtime=0.63 cores=1,3,5,7
/proc/16681/task/16695/stat : 16695 (java) S 16679 16679 15523 0 -1 1077944384 1527 0 0 0 27 36 0 0 20 0 15 0 8828890 14316269568 530728 18446744073709551615 4194304 4196468 140736694356592 139686135114288 139686665099906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
Current children cumulated CPU time: 2455.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2124292 KiB

[startup+2502.3 s]
/proc/loadavg: 1.49 1.54 1.59 3/212 17057
/proc/meminfo: memFree=29490844/32770624 swapFree=67108860/67108860
[pid=16679] ppid=16676 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16679/stat : 16679 (xcsp3-exec) S 16676 16679 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 8828871 9740288 345 18446744073709551615 4194304 5098028 140734111089184 140734111087288 140279202267772 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 13402112 140734111097209 140734111097414 140734111097414 140734111100907 0
/proc/16679/statm: 2378 345 289 221 0 87 0
[pid=16681] ppid=16679 vsize=13980732 memory=2170204 CPUtime=2515.61 cores=1,3,5,7
/proc/16681/stat : 16681 (java) S 16679 16679 15523 0 -1 1077944320 171901 0 0 0 251393 168 0 0 20 0 15 0 8828879 14316269568 542551 18446744073709551615 4194304 4196468 140736694356592 140736694339136 139686665088759 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
/proc/16681/statm: 3495183 542551 3249 1 0 3483476 0
[pid=16681/tid=16682] ppid=16679 vsize=13980732 memory=2170204 CPUtime=2498.07 cores=1,3,5,7
/proc/16681/task/16682/stat : 16682 (java) R 16679 16679 15523 0 -1 4202560 84587 0 0 0 249729 78 0 0 20 0 15 0 8828879 14316269568 542551 18446744073709551615 4194304 4196468 140736694356592 139686669328320 139686313900828 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16683] ppid=16679 vsize=13980732 memory=2164728 CPUtime=2.51 cores=1,3,5,7
/proc/16681/task/16683/stat : 16683 (java) S 16679 16679 15523 0 -1 1077944384 8997 0 0 0 240 11 0 0 20 0 15 0 8828880 14316269568 542551 18446744073709551615 4194304 4196468 140736694356592 139686632647696 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16684] ppid=16679 vsize=13980732 memory=2164340 CPUtime=2.53 cores=1,3,5,7
/proc/16681/task/16684/stat : 16684 (java) S 16679 16679 15523 0 -1 1077944384 7885 0 0 0 242 11 0 0 20 0 15 0 8828880 14316269568 542551 18446744073709551615 4194304 4196468 140736694356592 139686263737488 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16685] ppid=16679 vsize=13980732 memory=2170204 CPUtime=2.52 cores=1,3,5,7
/proc/16681/task/16685/stat : 16685 (java) S 16679 16679 15523 0 -1 1077944384 6824 0 0 0 239 13 0 0 20 0 15 0 8828880 14316269568 542551 18446744073709551615 4194304 4196468 140736694356592 139686262684432 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16686] ppid=16679 vsize=13980732 memory=1380 CPUtime=2.5 cores=1,3,5,7
/proc/16681/task/16686/stat : 16686 (java) S 16679 16679 15523 0 -1 1077944384 9830 0 0 0 237 13 0 0 20 0 15 0 8828880 14316269568 542551 18446744073709551615 4194304 4196468 140736694356592 139686261631888 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16687] ppid=16679 vsize=13980732 memory=2164216 CPUtime=0.86 cores=1,3,5,7
/proc/16681/task/16687/stat : 16687 (java) S 16679 16679 15523 0 -1 1077944384 6551 0 0 0 77 9 0 0 20 0 15 0 8828881 14316269568 542551 18446744073709551615 4194304 4196468 140736694356592 139686143535344 139686665099906 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16688] ppid=16679 vsize=13980732 memory=2120856 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16688/stat : 16688 (java) S 16679 16679 15523 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 8828882 14316269568 542551 18446744073709551615 4194304 4196468 140736694356592 139686142481632 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16689] ppid=16679 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16689/stat : 16689 (java) S 16679 16679 15523 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 8828882 14316269568 542551 18446744073709551615 4194304 4196468 140736694356592 139686141428464 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16690] ppid=16679 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16690/stat : 16690 (java) S 16679 16679 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8828884 14316269568 542551 18446744073709551615 4194304 4196468 140736694356592 139686140377040 139686665107355 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16691] ppid=16679 vsize=13980732 memory=2170204 CPUtime=2.68 cores=1,3,5,7
/proc/16681/task/16691/stat : 16691 (java) S 16679 16679 15523 0 -1 1077944384 16197 0 0 0 265 3 0 0 20 0 15 0 8828884 14316269568 542551 18446744073709551615 4194304 4196468 140736694356592 139686139325168 139686665099906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16692] ppid=16679 vsize=13980732 memory=1380 CPUtime=2.46 cores=1,3,5,7
/proc/16681/task/16692/stat : 16692 (java) S 16679 16679 15523 0 -1 1077944384 18787 0 0 0 244 2 0 0 20 0 15 0 8828884 14316269568 542551 18446744073709551615 4194304 4196468 140736694356592 139686138272624 139686665099906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16693] ppid=16679 vsize=13980732 memory=1380 CPUtime=0.74 cores=1,3,5,7
/proc/16681/task/16693/stat : 16693 (java) S 16679 16679 15523 0 -1 1077944384 9339 0 0 0 73 1 0 0 20 0 15 0 8828884 14316269568 542551 18446744073709551615 4194304 4196468 140736694356592 139686137219568 139686665099906 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16694] ppid=16679 vsize=13980732 memory=2164728 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16694/stat : 16694 (java) S 16679 16679 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8828885 14316269568 542551 18446744073709551615 4194304 4196468 140736694356592 139686136167264 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16695] ppid=16679 vsize=13980732 memory=4124 CPUtime=0.65 cores=1,3,5,7
/proc/16681/task/16695/stat : 16695 (java) S 16679 16679 15523 0 -1 1077944384 1546 0 0 0 28 37 0 0 20 0 15 0 8828890 14316269568 542551 18446744073709551615 4194304 4196468 140736694356592 139686135114288 139686665099906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
Current children cumulated CPU time: 2515.61 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2171584 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.7 s]
/proc/loadavg: 1.53 1.55 1.60 3/212 17058
/proc/meminfo: memFree=29491240/32770624 swapFree=67108860/67108860
[pid=16679] ppid=16676 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16679/stat : 16679 (xcsp3-exec) S 16676 16679 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 8828871 9740288 345 18446744073709551615 4194304 5098028 140734111089184 140734111087288 140279202267772 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 13402112 140734111097209 140734111097414 140734111097414 140734111100907 0
/proc/16679/statm: 2378 345 289 221 0 87 0
[pid=16681] ppid=16679 vsize=13980732 memory=2169816 CPUtime=2520.04 cores=1,3,5,7
/proc/16681/stat : 16681 (java) S 16679 16679 15523 0 -1 1077944320 172174 0 0 0 251836 168 0 0 20 0 15 0 8828879 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 140736694339136 139686665088759 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
/proc/16681/statm: 3495183 542454 3250 1 0 3483476 0
[pid=16681/tid=16682] ppid=16679 vsize=13980732 memory=2169688 CPUtime=2502.46 cores=1,3,5,7
/proc/16681/task/16682/stat : 16682 (java) R 16679 16679 15523 0 -1 4202560 84677 0 0 0 250168 78 0 0 20 0 15 0 8828879 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686669325248 139686313797924 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16683] ppid=16679 vsize=13980732 memory=2164728 CPUtime=2.52 cores=1,3,5,7
/proc/16681/task/16683/stat : 16683 (java) S 16679 16679 15523 0 -1 1077944384 8997 0 0 0 241 11 0 0 20 0 15 0 8828880 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686632647696 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16684] ppid=16679 vsize=13980732 memory=2164340 CPUtime=2.54 cores=1,3,5,7
/proc/16681/task/16684/stat : 16684 (java) S 16679 16679 15523 0 -1 1077944384 7888 0 0 0 243 11 0 0 20 0 15 0 8828880 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686263737488 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16685] ppid=16679 vsize=13980732 memory=2170204 CPUtime=2.53 cores=1,3,5,7
/proc/16681/task/16685/stat : 16685 (java) S 16679 16679 15523 0 -1 1077944384 6828 0 0 0 240 13 0 0 20 0 15 0 8828880 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686262684432 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16686] ppid=16679 vsize=13980732 memory=2170204 CPUtime=2.51 cores=1,3,5,7
/proc/16681/task/16686/stat : 16686 (java) S 16679 16679 15523 0 -1 1077944384 9833 0 0 0 238 13 0 0 20 0 15 0 8828880 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686261631888 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16687] ppid=16679 vsize=13980732 memory=2169688 CPUtime=0.87 cores=1,3,5,7
/proc/16681/task/16687/stat : 16687 (java) S 16679 16679 15523 0 -1 1077944384 6553 0 0 0 77 10 0 0 20 0 15 0 8828881 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686143535344 139686665099906 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16688] ppid=16679 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16688/stat : 16688 (java) S 16679 16679 15523 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 8828882 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686142481632 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16689] ppid=16679 vsize=13980732 memory=2169816 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16689/stat : 16689 (java) S 16679 16679 15523 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 8828882 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686141428464 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16690] ppid=16679 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16690/stat : 16690 (java) S 16679 16679 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8828884 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686140377040 139686665107355 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16691] ppid=16679 vsize=13980732 memory=2169816 CPUtime=2.69 cores=1,3,5,7
/proc/16681/task/16691/stat : 16691 (java) S 16679 16679 15523 0 -1 1077944384 16325 0 0 0 266 3 0 0 20 0 15 0 8828884 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686139325168 139686665099906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16692] ppid=16679 vsize=13980732 memory=1380 CPUtime=2.46 cores=1,3,5,7
/proc/16681/task/16692/stat : 16692 (java) S 16679 16679 15523 0 -1 1077944384 18787 0 0 0 244 2 0 0 20 0 15 0 8828884 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686138272624 139686665099906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16693] ppid=16679 vsize=13980732 memory=1380 CPUtime=0.74 cores=1,3,5,7
/proc/16681/task/16693/stat : 16693 (java) S 16679 16679 15523 0 -1 1077944384 9382 0 0 0 73 1 0 0 20 0 15 0 8828884 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686137219568 139686665099906 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16694] ppid=16679 vsize=13980732 memory=2120856 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16694/stat : 16694 (java) S 16679 16679 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8828885 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686136167264 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16695] ppid=16679 vsize=13980732 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/16681/task/16695/stat : 16695 (java) S 16679 16679 15523 0 -1 1077944384 1546 0 0 0 28 37 0 0 20 0 15 0 8828890 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686135114288 139686665099906 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2171196 KiB

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

[startup+2506.71 s]
# the end of solver process 16679 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000925 s, system=0.000925 s

[startup+2506.72 s]
# the end of solver process 16681 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.38 s, system=1.70149 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

[startup+2506.7 s]
/proc/loadavg: 1.53 1.55 1.60 3/212 17058
/proc/meminfo: memFree=29491240/32770624 swapFree=67108860/67108860
[pid=16679] ppid=16676 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16679/stat : 16679 (xcsp3-exec) S 16676 16679 15523 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 8828871 9740288 345 18446744073709551615 4194304 5098028 140734111089184 140734111087288 140279202267772 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 13402112 140734111097209 140734111097414 140734111097414 140734111100907 0
/proc/16679/statm: 2378 345 289 221 0 87 0
[pid=16681] ppid=16679 vsize=13980732 memory=2169816 CPUtime=2520.04 cores=1,3,5,7
/proc/16681/stat : 16681 (java) S 16679 16679 15523 0 -1 1077944320 172174 0 0 0 251836 168 0 0 20 0 15 0 8828879 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 140736694339136 139686665088759 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
/proc/16681/statm: 3495183 542454 3250 1 0 3483476 0
[pid=16681/tid=16682] ppid=16679 vsize=13980732 memory=2169688 CPUtime=2502.46 cores=1,3,5,7
/proc/16681/task/16682/stat : 16682 (java) R 16679 16679 15523 0 -1 4202560 84677 0 0 0 250168 78 0 0 20 0 15 0 8828879 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686669325248 139686313797924 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16683] ppid=16679 vsize=13980732 memory=2164728 CPUtime=2.52 cores=1,3,5,7
/proc/16681/task/16683/stat : 16683 (java) S 16679 16679 15523 0 -1 1077944384 8997 0 0 0 241 11 0 0 20 0 15 0 8828880 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686632647696 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16684] ppid=16679 vsize=13980732 memory=2164340 CPUtime=2.54 cores=1,3,5,7
/proc/16681/task/16684/stat : 16684 (java) S 16679 16679 15523 0 -1 1077944384 7888 0 0 0 243 11 0 0 20 0 15 0 8828880 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686263737488 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16685] ppid=16679 vsize=13980732 memory=2170204 CPUtime=2.53 cores=1,3,5,7
/proc/16681/task/16685/stat : 16685 (java) S 16679 16679 15523 0 -1 1077944384 6828 0 0 0 240 13 0 0 20 0 15 0 8828880 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686262684432 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16686] ppid=16679 vsize=13980732 memory=2170204 CPUtime=2.51 cores=1,3,5,7
/proc/16681/task/16686/stat : 16686 (java) S 16679 16679 15523 0 -1 1077944384 9833 0 0 0 238 13 0 0 20 0 15 0 8828880 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686261631888 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16687] ppid=16679 vsize=13980732 memory=2169688 CPUtime=0.87 cores=1,3,5,7
/proc/16681/task/16687/stat : 16687 (java) S 16679 16679 15523 0 -1 1077944384 6553 0 0 0 77 10 0 0 20 0 15 0 8828881 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686143535344 139686665099906 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16688] ppid=16679 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16688/stat : 16688 (java) S 16679 16679 15523 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 8828882 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686142481632 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16689] ppid=16679 vsize=13980732 memory=2169816 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16689/stat : 16689 (java) S 16679 16679 15523 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 8828882 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686141428464 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16690] ppid=16679 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16690/stat : 16690 (java) S 16679 16679 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8828884 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686140377040 139686665107355 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16691] ppid=16679 vsize=13980732 memory=2169816 CPUtime=2.69 cores=1,3,5,7
/proc/16681/task/16691/stat : 16691 (java) S 16679 16679 15523 0 -1 1077944384 16325 0 0 0 266 3 0 0 20 0 15 0 8828884 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686139325168 139686665099906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16692] ppid=16679 vsize=13980732 memory=1380 CPUtime=2.46 cores=1,3,5,7
/proc/16681/task/16692/stat : 16692 (java) S 16679 16679 15523 0 -1 1077944384 18787 0 0 0 244 2 0 0 20 0 15 0 8828884 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686138272624 139686665099906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16693] ppid=16679 vsize=13980732 memory=1380 CPUtime=0.74 cores=1,3,5,7
/proc/16681/task/16693/stat : 16693 (java) S 16679 16679 15523 0 -1 1077944384 9382 0 0 0 73 1 0 0 20 0 15 0 8828884 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686137219568 139686665099906 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16694] ppid=16679 vsize=13980732 memory=2120856 CPUtime=0 cores=1,3,5,7
/proc/16681/task/16694/stat : 16694 (java) S 16679 16679 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8828885 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686136167264 139686665098965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
[pid=16681/tid=16695] ppid=16679 vsize=13980732 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/16681/task/16695/stat : 16695 (java) S 16679 16679 15523 0 -1 1077944384 1546 0 0 0 28 37 0 0 20 0 15 0 8828890 14316269568 542454 18446744073709551615 4194304 4196468 140736694356592 139686135114288 139686665099906 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38887424 140736694362546 140736694362722 140736694362722 140736694366159 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 2171196 KiB

Child status: 143
Real time (s): 2506.72
CPU time (s): 2520.08
CPU user time (s): 2518.38
CPU system time (s): 1.70149
CPU usage (%): 100.533
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 2171864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.38
system time used= 1.70149
maximum resident set size= 2170716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 172878
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77496
involuntary context switches= 2143


# summary of solver processes directly reported to runsolver:
#   pid: 16679,16681
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2518.38
#   total CPU system time (s): 1.70149

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7927 second user time and 24.5289 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml
MD5SUM	7effaf54e6298c2e2ce7b82787858117
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	373
Best CPU time to get the best result obtained on this benchmark	2400.03
Satisfiable
(Un)Satisfiability was proved
Number of variables	1712
Number of constraints	1007
Number of domains	4
Minimum domain size	2
Maximum domain size	1683
Distribution of domain sizes	[{"size":2,"count":841},{"size":3,"count":841},{"size":730,"count":1},{"size":1683,"count":29}]
Minimum variable degree	1
Maximum variable degree	30
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":838},{"degree":3,"count":32},{"degree":4,"count":108},{"degree":8,"count":104},{"degree":9,"count":625},{"degree":30,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	31
Distribution of constraint arities	[{"arity":2,"count":137},{"arity":3,"count":108},{"arity":10,"count":729},{"arity":29,"count":4},{"arity":30,"count":1},{"arity":31,"count":28}]
Number of extensional constraints	837
Number of intensional constraints	136
Distribution of constraint types	[{"type":"extension","count":837},{"type":"intension","count":136},{"type":"sum","count":30},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4282082

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