2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b seq (e747e1e)	SAT (TO)	266	2520.09	2508.12

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4306492-1534041185.xml"  -tl '2520s' -p 1
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4306492-1534041185.xml, -tl, 2520s, -p, 1]
0.34/0.22	c simple solver
0.34/0.28	c parse instance...
2.27/0.93	c solve instance...
9.23/5.33	o 242 
34.73/29.30	o 243 
35.74/30.27	o 244 
36.14/30.65	o 245 
36.85/31.32	o 247 
36.85/31.37	o 248 
1498.85/1489.84	o 249 
1504.76/1495.70	o 250 
1561.81/1552.70	o 251 
1876.59/1865.97	o 254 
1959.78/1948.83	o 256 
2247.03/2235.41	o 266 
2520.05/2508.10	s SATISFIABLE
2520.05/2508.10	v <instantiation>
2520.05/2508.10	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z </list>
2520.05/2508.10	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 1 1 0 1 0 0 0 1 1 0 0 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 1 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 1 1 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 1 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 1 1 0 0 1 0 1 0 1 0 1 1 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 1 1 1 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 1 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 1 0 1 1 0 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 1 0 1 1 0 1 0 0 0 1 0 1 1 1 0 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 1 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 1 1 1 1 0 0 1 0 1 1 1 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 1 2 2 2 0 1 1 0 1 1 2 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 2 2 1 1 0 0 0 0 1 1 1 2 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 0 2 0 0 1 1 2 0 0 0 1 1 0 0 1 0 1 1 1 1 0 0 1 1 2 2 2 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 2 1 0 1 0 1 2 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 2 1 1 1 1 0 1 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 2 1 1 2 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 2 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 2 1 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 2 1 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 2 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 2 1 0 1 0 1 1 1 2 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 2 1 1 0 0 1 2 2 2 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 1 2 1 1 1 1 2 2 1 1 0 1 0 0 2 0 0 1 0 1 0 1 0 0 0 0 0 1 1 2 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 2 0 0 2 0 0 0 0 1 1 1 1 0 1 1 0 1 1 0 0 0 0 0 2 1 2 2 2 2 0 0 0 0 0 1 1 2 1 0 1 0 0 1 1 0 0 1 0 0 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 0 13 30 45 66 81 95 108 116 122 126 132 139 148 154 156 158 163 167 176 190 206 225 232 238 250 271 286 266 </values>
2520.05/2508.10	v </instantiation>
2520.05/2508.10	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 (10629 MiB free)
  memory of node 1: 16384 MiB (6216 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306492-1534041185/watcher-4306492-1534041185 -o /tmp/evaluation-result-4306492-1534041185/solver-4306492-1534041185 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1534038673-26647 --watchdog 2580 HOME/xcsp3-exec -seed 1665411871 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306492-1534041185.xml 

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

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
solver pid=26949, runsolver pid=26946
Current StackSize limit: 8192 KiB


[startup+0.100149 s]*
/proc/loadavg: 1.76 1.78 1.68 4/218 26965
/proc/meminfo: memFree=17232972/32770624 swapFree=67108796/67108860
[pid=26949] ppid=26946 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26949/stat : 26949 (xcsp3-exec) S 26946 26949 25340 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 221681631 115843072 364 33554432000 4194304 5098028 140737381443664 140737381441768 139734214890108 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16441344 140737381446714 140737381446916 140737381446916 140737381449674 0
/proc/26949/statm: 28282 364 306 221 0 87 0
[pid=26951] ppid=26949 vsize=14082940 memory=29504 CPUtime=0.12 cores=0,2,4,6
/proc/26951/stat : 26951 (java) S 26949 26949 25340 0 -1 1077944320 5738 0 0 0 11 1 0 0 20 0 15 0 221681631 14420930560 7376 33554432000 4194304 4196468 140728755771136 140728755753680 140063013158647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
/proc/26951/statm: 3520735 7376 3014 1 0 3483012 0
[pid=26951/tid=26952] ppid=26949 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/26951/task/26952/stat : 26952 (java) R 26949 26949 25340 0 -1 4202560 3749 0 0 0 8 1 0 0 20 0 15 0 221681631 14420930560 7376 33554432000 4194304 4196468 140728755771136 140063017391920 140063013180573 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26953] ppid=26949 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26953/stat : 26953 (java) S 26949 26949 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221681632 14420930560 7376 33554432000 4194304 4196468 140728755771136 140062978439440 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26954] ppid=26949 vsize=14082940 memory=139941580539520 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26954/stat : 26954 (java) S 26949 26949 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221681632 14420930560 7376 33554432000 4194304 4196468 140728755771136 140062608177552 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26955] ppid=26949 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26955/stat : 26955 (java) S 26949 26949 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221681632 14420930560 7376 33554432000 4194304 4196468 140728755771136 140062607125008 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26956] ppid=26949 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26956/stat : 26956 (java) S 26949 26949 25340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221681632 14420930560 7376 33554432000 4194304 4196468 140728755771136 140062606072464 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26957] ppid=26949 vsize=14082940 memory=139941580539520 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26957/stat : 26957 (java) S 26949 26949 25340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221681633 14420930560 7376 33554432000 4194304 4196468 140728755771136 140061992626672 140063013169794 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26958] ppid=26949 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26958/stat : 26958 (java) S 26949 26949 25340 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221681634 14420930560 7376 33554432000 4194304 4196468 140728755771136 140061991572896 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26959] ppid=26949 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26959/stat : 26959 (java) S 26949 26949 25340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221681634 14420930560 7376 33554432000 4194304 4196468 140728755771136 140061990520304 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26960] ppid=26949 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26960/stat : 26960 (java) S 26949 26949 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221681636 14420930560 7376 33554432000 4194304 4196468 140728755771136 140061989468880 140063013177243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26961] ppid=26949 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26961/stat : 26961 (java) S 26949 26949 25340 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 221681636 14420930560 7376 33554432000 4194304 4196468 140728755771136 140061988415472 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26962] ppid=26949 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26962/stat : 26962 (java) S 26949 26949 25340 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 221681636 14420930560 7376 33554432000 4194304 4196468 140728755771136 140061987362928 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26963] ppid=26949 vsize=14082940 memory=139941580539520 CPUtime=0.01 cores=0,2,4,6
/proc/26951/task/26963/stat : 26963 (java) R 26949 26949 25340 0 -1 4202560 265 0 0 0 1 0 0 0 20 0 15 0 221681636 14420930560 7376 33554432000 4194304 4196468 140728755771136 140061986310384 140063013179994 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26964] ppid=26949 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26964/stat : 26964 (java) S 26949 26949 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221681637 14420930560 7376 33554432000 4194304 4196468 140728755771136 140061985258080 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26965] ppid=26949 vsize=14082940 memory=139941580539520 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26965/stat : 26965 (java) S 26949 26949 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221681637 14420930560 7376 33554432000 4194304 4196468 140728755771136 140061984205616 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30960 KiB

[startup+0.210602 s]*
/proc/loadavg: 1.76 1.78 1.68 4/218 26965
/proc/meminfo: memFree=17219652/32770624 swapFree=67108796/67108860
[pid=26949] ppid=26946 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26949/stat : 26949 (xcsp3-exec) S 26946 26949 25340 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 221681631 115843072 364 33554432000 4194304 5098028 140737381443664 140737381441768 139734214890108 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16441344 140737381446714 140737381446916 140737381446916 140737381449674 0
/proc/26949/statm: 28282 364 306 221 0 87 0
[pid=26951] ppid=26949 vsize=14082940 memory=41016 CPUtime=0.34 cores=0,2,4,6
/proc/26951/stat : 26951 (java) S 26949 26949 25340 0 -1 1077944320 8350 0 0 0 32 2 0 0 20 0 15 0 221681631 14420930560 10254 33554432000 4194304 4196468 140728755771136 140728755753680 140063013158647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
/proc/26951/statm: 3520735 10254 3166 1 0 3483012 0
[pid=26951/tid=26952] ppid=26949 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/26951/task/26952/stat : 26952 (java) R 26949 26949 25340 0 -1 4202560 5504 0 0 0 18 1 0 0 20 0 15 0 221681631 14420930560 10254 33554432000 4194304 4196468 140728755771136 140063017393632 140062997239134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26953] ppid=26949 vsize=14082940 memory=8987 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26953/stat : 26953 (java) S 26949 26949 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221681632 14420930560 10254 33554432000 4194304 4196468 140728755771136 140062978439440 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26954] ppid=26949 vsize=14082940 memory=288370317732251264 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26954/stat : 26954 (java) S 26949 26949 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221681632 14420930560 10254 33554432000 4194304 4196468 140728755771136 140062608177552 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26955] ppid=26949 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26955/stat : 26955 (java) S 26949 26949 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221681632 14420930560 10254 33554432000 4194304 4196468 140728755771136 140062607125008 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26956] ppid=26949 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26956/stat : 26956 (java) S 26949 26949 25340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221681632 14420930560 10254 33554432000 4194304 4196468 140728755771136 140062606072464 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26957] ppid=26949 vsize=14082940 memory=139941580539520 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26957/stat : 26957 (java) S 26949 26949 25340 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 221681633 14420930560 10254 33554432000 4194304 4196468 140728755771136 140061992626672 140063013169794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26958] ppid=26949 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26958/stat : 26958 (java) S 26949 26949 25340 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221681634 14420930560 10254 33554432000 4194304 4196468 140728755771136 140061991572896 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26959] ppid=26949 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26959/stat : 26959 (java) S 26949 26949 25340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221681634 14420930560 10254 33554432000 4194304 4196468 140728755771136 140061990520304 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26960] ppid=26949 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26960/stat : 26960 (java) S 26949 26949 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221681636 14420930560 10254 33554432000 4194304 4196468 140728755771136 140061989468880 140063013177243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26961] ppid=26949 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26951/task/26961/stat : 26961 (java) S 26949 26949 25340 0 -1 1077944384 393 0 0 0 2 0 0 0 20 0 15 0 221681636 14420930560 10254 33554432000 4194304 4196468 140728755771136 140061988415472 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26962] ppid=26949 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/26951/task/26962/stat : 26962 (java) S 26949 26949 25340 0 -1 1077944384 383 0 0 0 2 0 0 0 20 0 15 0 221681636 14420930560 10254 33554432000 4194304 4196468 140728755771136 140061987362928 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26963] ppid=26949 vsize=14082940 memory=139941580539520 CPUtime=0.08 cores=0,2,4,6
/proc/26951/task/26963/stat : 26963 (java) S 26949 26949 25340 0 -1 1077944384 763 0 0 0 8 0 0 0 20 0 15 0 221681636 14420930560 10254 33554432000 4194304 4196468 140728755771136 140061986310384 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26964] ppid=26949 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26964/stat : 26964 (java) S 26949 26949 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221681637 14420930560 10254 33554432000 4194304 4196468 140728755771136 140061985258080 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26965] ppid=26949 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26965/stat : 26965 (java) S 26949 26949 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221681637 14420930560 10254 33554432000 4194304 4196468 140728755771136 140061984205616 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42472 KiB

[startup+0.319793 s]*
/proc/loadavg: 1.76 1.78 1.68 4/218 26965
/proc/meminfo: memFree=17210904/32770624 swapFree=67108796/67108860
[pid=26949] ppid=26946 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26949/stat : 26949 (xcsp3-exec) S 26946 26949 25340 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 221681631 115843072 364 33554432000 4194304 5098028 140737381443664 140737381441768 139734214890108 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16441344 140737381446714 140737381446916 140737381446916 140737381449674 0
/proc/26949/statm: 28282 364 306 221 0 87 0
[pid=26951] ppid=26949 vsize=14087196 memory=49056 CPUtime=0.55 cores=0,2,4,6
/proc/26951/stat : 26951 (java) S 26949 26949 25340 0 -1 1077944320 9356 0 0 0 52 3 0 0 20 0 15 0 221681631 14425288704 12264 33554432000 4194304 4196468 140728755771136 140728755753680 140063013158647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
/proc/26951/statm: 3521799 12264 3273 1 0 3483012 0
[pid=26951/tid=26952] ppid=26949 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/26951/task/26952/stat : 26952 (java) R 26949 26949 25340 0 -1 4202560 6335 0 0 0 28 2 0 0 20 0 15 0 221681631 14425288704 12264 33554432000 4194304 4196468 140728755771136 140063017389760 140062997239134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26953] ppid=26949 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26953/stat : 26953 (java) S 26949 26949 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221681632 14425288704 12264 33554432000 4194304 4196468 140728755771136 140062978439440 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26954] ppid=26949 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26954/stat : 26954 (java) S 26949 26949 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221681632 14425288704 12264 33554432000 4194304 4196468 140728755771136 140062608177552 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26955] ppid=26949 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26955/stat : 26955 (java) S 26949 26949 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221681632 14425288704 12264 33554432000 4194304 4196468 140728755771136 140062607125008 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26956] ppid=26949 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26956/stat : 26956 (java) S 26949 26949 25340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221681632 14425288704 12264 33554432000 4194304 4196468 140728755771136 140062606072464 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26957] ppid=26949 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26957/stat : 26957 (java) S 26949 26949 25340 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 221681633 14425288704 12271 33554432000 4194304 4196468 140728755771136 140061992626672 140063013169794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26958] ppid=26949 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26958/stat : 26958 (java) S 26949 26949 25340 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221681634 14425288704 12271 33554432000 4194304 4196468 140728755771136 140061991572896 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26959] ppid=26949 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26959/stat : 26959 (java) S 26949 26949 25340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221681634 14425288704 12271 33554432000 4194304 4196468 140728755771136 140061990520304 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26960] ppid=26949 vsize=14087196 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26960/stat : 26960 (java) S 26949 26949 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221681636 14425288704 12271 33554432000 4194304 4196468 140728755771136 140061989468880 140063013177243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26961] ppid=26949 vsize=14087196 memory=4426078206164241782 CPUtime=0.04 cores=0,2,4,6
/proc/26951/task/26961/stat : 26961 (java) S 26949 26949 25340 0 -1 1077944384 402 0 0 0 4 0 0 0 20 0 15 0 221681636 14425288704 12271 33554432000 4194304 4196468 140728755771136 140061988415472 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26962] ppid=26949 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/26951/task/26962/stat : 26962 (java) S 26949 26949 25340 0 -1 1077944384 485 0 0 0 5 0 0 0 20 0 15 0 221681636 14425288704 12271 33554432000 4194304 4196468 140728755771136 140061987362928 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26963] ppid=26949 vsize=14087196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/26951/task/26963/stat : 26963 (java) S 26949 26949 25340 0 -1 1077944384 829 0 0 0 13 0 0 0 20 0 15 0 221681636 14425288704 12271 33554432000 4194304 4196468 140728755771136 140061986310384 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26964] ppid=26949 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26964/stat : 26964 (java) S 26949 26949 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221681637 14425288704 12271 33554432000 4194304 4196468 140728755771136 140061985258080 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26965] ppid=26949 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26965/stat : 26965 (java) S 26949 26949 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221681637 14425288704 12271 33554432000 4194304 4196468 140728755771136 140061984205616 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 50512 KiB

[startup+0.700732 s]
/proc/loadavg: 1.76 1.78 1.68 6/218 26965
/proc/meminfo: memFree=17192568/32770624 swapFree=67108796/67108860
[pid=26949] ppid=26946 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26949/stat : 26949 (xcsp3-exec) S 26946 26949 25340 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 221681631 115843072 364 33554432000 4194304 5098028 140737381443664 140737381441768 139734214890108 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16441344 140737381446714 140737381446916 140737381446916 140737381449674 0
/proc/26949/statm: 28282 364 306 221 0 87 0
[pid=26951] ppid=26949 vsize=14089320 memory=85628 CPUtime=1.7 cores=0,2,4,6
/proc/26951/stat : 26951 (java) S 26949 26949 25340 0 -1 1077944320 12549 0 0 0 166 4 0 0 20 0 15 0 221681631 14427463680 21407 33554432000 4194304 4196468 140728755771136 140728755753680 140063013158647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
/proc/26951/statm: 3522330 21407 3355 1 0 3483524 0
[pid=26951/tid=26952] ppid=26949 vsize=14089320 memory=3472328296227679313 CPUtime=0.67 cores=0,2,4,6
/proc/26951/task/26952/stat : 26952 (java) R 26949 26949 25340 0 -1 4202560 6983 0 0 0 64 3 0 0 20 0 15 0 221681631 14427463680 21407 33554432000 4194304 4196468 140728755771136 140063017394112 140062649767015 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26953] ppid=26949 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26953/stat : 26953 (java) S 26949 26949 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221681632 14427463680 21407 33554432000 4194304 4196468 140728755771136 140062978439440 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26954] ppid=26949 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26954/stat : 26954 (java) S 26949 26949 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221681632 14427463680 21407 33554432000 4194304 4196468 140728755771136 140062608177552 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26955] ppid=26949 vsize=14089320 memory=60224 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26955/stat : 26955 (java) S 26949 26949 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221681632 14427463680 21407 33554432000 4194304 4196468 140728755771136 140062607125008 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26956] ppid=26949 vsize=14089320 memory=2056 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26956/stat : 26956 (java) S 26949 26949 25340 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 221681632 14427463680 21407 33554432000 4194304 4196468 140728755771136 140062606072464 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26957] ppid=26949 vsize=14089320 memory=932 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26957/stat : 26957 (java) S 26949 26949 25340 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 221681633 14427463680 21407 33554432000 4194304 4196468 140728755771136 140061992626672 140063013169794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26958] ppid=26949 vsize=14089320 memory=1608 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26958/stat : 26958 (java) S 26949 26949 25340 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 221681634 14427463680 21407 33554432000 4194304 4196468 140728755771136 140061991572896 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26959] ppid=26949 vsize=14089320 memory=8628 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26959/stat : 26959 (java) S 26949 26949 25340 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 221681634 14427463680 21407 33554432000 4194304 4196468 140728755771136 140061990520304 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26960] ppid=26949 vsize=14089320 memory=1080 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26960/stat : 26960 (java) S 26949 26949 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221681636 14427463680 21407 33554432000 4194304 4196468 140728755771136 140061989468880 140063013177243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26961] ppid=26949 vsize=14089320 memory=752 CPUtime=0.29 cores=0,2,4,6
/proc/26951/task/26961/stat : 26961 (java) R 26949 26949 25340 0 -1 4202560 1174 0 0 0 29 0 0 0 20 0 15 0 221681636 14427463680 21407 33554432000 4194304 4196468 140728755771136 140061988405072 140062991012064 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26962] ppid=26949 vsize=14089320 memory=820 CPUtime=0.32 cores=0,2,4,6
/proc/26951/task/26962/stat : 26962 (java) S 26949 26949 25340 0 -1 1077944384 1135 0 0 0 32 0 0 0 20 0 15 0 221681636 14427463680 21407 33554432000 4194304 4196468 140728755771136 140061987362928 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26963] ppid=26949 vsize=14089320 memory=1592 CPUtime=0.4 cores=0,2,4,6
/proc/26951/task/26963/stat : 26963 (java) S 26949 26949 25340 0 -1 1077944384 1948 0 0 0 40 0 0 0 20 0 15 0 221681636 14427463680 21407 33554432000 4194304 4196468 140728755771136 140061986310384 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26964] ppid=26949 vsize=14089320 memory=3804 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26964/stat : 26964 (java) S 26949 26949 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221681637 14427463680 21407 33554432000 4194304 4196468 140728755771136 140061985258080 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26965] ppid=26949 vsize=14089320 memory=3164 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26965/stat : 26965 (java) S 26949 26949 25340 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 221681637 14427463680 21407 33554432000 4194304 4196468 140728755771136 140061984205616 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 87084 KiB

[startup+1.50088 s]
/proc/loadavg: 1.76 1.78 1.68 4/218 26965
/proc/meminfo: memFree=17126732/32770624 swapFree=67108796/67108860
[pid=26949] ppid=26946 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26949/stat : 26949 (xcsp3-exec) S 26946 26949 25340 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 221681631 115843072 364 33554432000 4194304 5098028 140737381443664 140737381441768 139734214890108 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16441344 140737381446714 140737381446916 140737381446916 140737381449674 0
/proc/26949/statm: 28282 364 306 221 0 87 0

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

/proc/26951/task/26959/stat : 26959 (java) S 26949 26949 25340 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 221681634 14429560832 198795 33554432000 4194304 4196468 140728755771136 140061990520304 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26960] ppid=26949 vsize=14091368 memory=3332 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26960/stat : 26960 (java) S 26949 26949 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221681636 14429560832 198795 33554432000 4194304 4196468 140728755771136 140061989468880 140063013177243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26961] ppid=26949 vsize=14091368 memory=1456 CPUtime=2.59 cores=0,2,4,6
/proc/26951/task/26961/stat : 26961 (java) S 26949 26949 25340 0 -1 1077944384 14160 0 0 0 257 2 0 0 20 0 15 0 221681636 14429560832 198795 33554432000 4194304 4196468 140728755771136 140061988415472 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26962] ppid=26949 vsize=14091368 memory=795180 CPUtime=2.94 cores=0,2,4,6
/proc/26951/task/26962/stat : 26962 (java) S 26949 26949 25340 0 -1 1077944384 22784 0 0 0 292 2 0 0 20 0 15 0 221681636 14429560832 198795 33554432000 4194304 4196468 140728755771136 140061987362928 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26963] ppid=26949 vsize=14091368 memory=6791534058613427641 CPUtime=0.78 cores=0,2,4,6
/proc/26951/task/26963/stat : 26963 (java) S 26949 26949 25340 0 -1 1077944384 10064 0 0 0 77 1 0 0 20 0 15 0 221681636 14429560832 198795 33554432000 4194304 4196468 140728755771136 140061986310384 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26964] ppid=26949 vsize=14091368 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26964/stat : 26964 (java) S 26949 26949 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221681637 14429560832 198795 33554432000 4194304 4196468 140728755771136 140061985258080 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26965] ppid=26949 vsize=14091368 memory=1408 CPUtime=0.79 cores=0,2,4,6
/proc/26951/task/26965/stat : 26965 (java) S 26949 26949 25340 0 -1 1077944384 1137 0 0 0 39 40 0 0 20 0 15 0 221681637 14429560832 198795 33554432000 4194304 4196468 140728755771136 140061984205616 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
Current children cumulated CPU time: 2394.11 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 796636 KiB

[startup+2442.3 s]*
/proc/loadavg: 1.73 1.75 1.73 3/217 27082
/proc/meminfo: memFree=12860600/32770624 swapFree=67108796/67108860
[pid=26949] ppid=26946 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26949/stat : 26949 (xcsp3-exec) S 26946 26949 25340 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 221681631 115843072 364 33554432000 4194304 5098028 140737381443664 140737381441768 139734214890108 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16441344 140737381446714 140737381446916 140737381446916 140737381449674 0
/proc/26949/statm: 28282 364 306 221 0 87 0
[pid=26951] ppid=26949 vsize=14091368 memory=805932 CPUtime=2454.19 cores=0,2,4,6
/proc/26951/stat : 26951 (java) S 26949 26949 25340 0 -1 1077944320 274964 0 0 0 245260 159 0 0 20 0 15 0 221681631 14429560832 201483 33554432000 4194304 4196468 140728755771136 140728755753680 140063013158647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
/proc/26951/statm: 3522842 201483 3441 1 0 3484036 0
[pid=26951/tid=26952] ppid=26949 vsize=14091368 memory=6791534058613427641 CPUtime=2438.92 cores=0,2,4,6
/proc/26951/task/26952/stat : 26952 (java) R 26949 26949 25340 0 -1 4202560 183721 0 0 0 243833 59 0 0 20 0 15 0 221681631 14429560832 201483 33554432000 4194304 4196468 140728755771136 140063017398080 140062656455948 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26953] ppid=26949 vsize=14091368 memory=4126316290023845779 CPUtime=1.81 cores=0,2,4,6
/proc/26951/task/26953/stat : 26953 (java) S 26949 26949 25340 0 -1 1077944384 6934 0 0 0 165 16 0 0 20 0 15 0 221681632 14429560832 201483 33554432000 4194304 4196468 140728755771136 140062978439440 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26954] ppid=26949 vsize=14091368 memory=804 CPUtime=1.81 cores=0,2,4,6
/proc/26951/task/26954/stat : 26954 (java) S 26949 26949 25340 0 -1 1077944384 9181 0 0 0 167 14 0 0 20 0 15 0 221681632 14429560832 201483 33554432000 4194304 4196468 140728755771136 140062608177552 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26955] ppid=26949 vsize=14091368 memory=1692 CPUtime=1.82 cores=0,2,4,6
/proc/26951/task/26955/stat : 26955 (java) S 26949 26949 25340 0 -1 1077944384 8805 0 0 0 166 16 0 0 20 0 15 0 221681632 14429560832 201483 33554432000 4194304 4196468 140728755771136 140062607125008 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26956] ppid=26949 vsize=14091368 memory=916 CPUtime=1.81 cores=0,2,4,6
/proc/26951/task/26956/stat : 26956 (java) S 26949 26949 25340 0 -1 1077944384 10123 0 0 0 167 14 0 0 20 0 15 0 221681632 14429560832 201483 33554432000 4194304 4196468 140728755771136 140062606072464 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26957] ppid=26949 vsize=14091368 memory=3848 CPUtime=0.81 cores=0,2,4,6
/proc/26951/task/26957/stat : 26957 (java) S 26949 26949 25340 0 -1 1077944384 6670 0 0 0 71 10 0 0 20 0 15 0 221681633 14429560832 201483 33554432000 4194304 4196468 140728755771136 140061992626672 140063013169794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26958] ppid=26949 vsize=14091368 memory=2580 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26958/stat : 26958 (java) S 26949 26949 25340 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 221681634 14429560832 201483 33554432000 4194304 4196468 140728755771136 140061991572896 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26959] ppid=26949 vsize=14091368 memory=2580 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26959/stat : 26959 (java) S 26949 26949 25340 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 221681634 14429560832 201483 33554432000 4194304 4196468 140728755771136 140061990520304 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26960] ppid=26949 vsize=14091368 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26960/stat : 26960 (java) S 26949 26949 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221681636 14429560832 201483 33554432000 4194304 4196468 140728755771136 140061989468880 140063013177243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26961] ppid=26949 vsize=14091368 memory=1408 CPUtime=2.59 cores=0,2,4,6
/proc/26951/task/26961/stat : 26961 (java) S 26949 26949 25340 0 -1 1077944384 14160 0 0 0 257 2 0 0 20 0 15 0 221681636 14429560832 201483 33554432000 4194304 4196468 140728755771136 140061988415472 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26962] ppid=26949 vsize=14091368 memory=3292 CPUtime=2.94 cores=0,2,4,6
/proc/26951/task/26962/stat : 26962 (java) S 26949 26949 25340 0 -1 1077944384 22784 0 0 0 292 2 0 0 20 0 15 0 221681636 14429560832 201483 33554432000 4194304 4196468 140728755771136 140061987362928 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26963] ppid=26949 vsize=14091368 memory=1452 CPUtime=0.78 cores=0,2,4,6
/proc/26951/task/26963/stat : 26963 (java) S 26949 26949 25340 0 -1 1077944384 10066 0 0 0 77 1 0 0 20 0 15 0 221681636 14429560832 201483 33554432000 4194304 4196468 140728755771136 140061986310384 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 40 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26964] ppid=26949 vsize=14091368 memory=3759588 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26964/stat : 26964 (java) S 26949 26949 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221681637 14429560832 201483 33554432000 4194304 4196468 140728755771136 140061985258080 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26965] ppid=26949 vsize=14091368 memory=1408 CPUtime=0.82 cores=0,2,4,6
/proc/26951/task/26965/stat : 26965 (java) S 26949 26949 25340 0 -1 1077944384 1154 0 0 0 40 42 0 0 20 0 15 0 221681637 14429560832 201483 33554432000 4194304 4196468 140728755771136 140061984205616 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
Current children cumulated CPU time: 2454.19 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 807388 KiB

[startup+2502.3 s]*
/proc/loadavg: 2.06 1.83 1.76 3/217 27164
/proc/meminfo: memFree=16366464/32770624 swapFree=67108796/67108860
[pid=26949] ppid=26946 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26949/stat : 26949 (xcsp3-exec) S 26946 26949 25340 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 221681631 115843072 364 33554432000 4194304 5098028 140737381443664 140737381441768 139734214890108 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16441344 140737381446714 140737381446916 140737381446916 140737381449674 0
/proc/26949/statm: 28282 364 306 221 0 87 0
[pid=26951] ppid=26949 vsize=14091368 memory=817596 CPUtime=2514.26 cores=0,2,4,6
/proc/26951/stat : 26951 (java) S 26949 26949 25340 0 -1 1077944320 293005 0 0 0 251263 163 0 0 20 0 15 0 221681631 14429560832 204399 33554432000 4194304 4196468 140728755771136 140728755753680 140063013158647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
/proc/26951/statm: 3522842 204399 3441 1 0 3484036 0
[pid=26951/tid=26952] ppid=26949 vsize=14091368 memory=6791534058613427641 CPUtime=2498.9 cores=0,2,4,6
/proc/26951/task/26952/stat : 26952 (java) R 26949 26949 25340 0 -1 4202560 200689 0 0 0 249830 60 0 0 20 0 15 0 221681631 14429560832 204399 33554432000 4194304 4196468 140728755771136 140063017398192 140062658772346 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26953] ppid=26949 vsize=14091368 memory=4126316290023845779 CPUtime=1.83 cores=0,2,4,6
/proc/26951/task/26953/stat : 26953 (java) S 26949 26949 25340 0 -1 1077944384 7374 0 0 0 166 17 0 0 20 0 15 0 221681632 14429560832 204399 33554432000 4194304 4196468 140728755771136 140062978439440 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26954] ppid=26949 vsize=14091368 memory=1456 CPUtime=1.83 cores=0,2,4,6
/proc/26951/task/26954/stat : 26954 (java) S 26949 26949 25340 0 -1 1077944384 9294 0 0 0 168 15 0 0 20 0 15 0 221681632 14429560832 204399 33554432000 4194304 4196468 140728755771136 140062608177552 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26955] ppid=26949 vsize=14091368 memory=815284 CPUtime=1.83 cores=0,2,4,6
/proc/26951/task/26955/stat : 26955 (java) S 26949 26949 25340 0 -1 1077944384 8970 0 0 0 167 16 0 0 20 0 15 0 221681632 14429560832 204399 33554432000 4194304 4196468 140728755771136 140062607125008 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26956] ppid=26949 vsize=14091368 memory=7524 CPUtime=1.83 cores=0,2,4,6
/proc/26951/task/26956/stat : 26956 (java) S 26949 26949 25340 0 -1 1077944384 10269 0 0 0 168 15 0 0 20 0 15 0 221681632 14429560832 204399 33554432000 4194304 4196468 140728755771136 140062606072464 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26957] ppid=26949 vsize=14091368 memory=804 CPUtime=0.82 cores=0,2,4,6
/proc/26951/task/26957/stat : 26957 (java) S 26949 26949 25340 0 -1 1077944384 6854 0 0 0 72 10 0 0 20 0 15 0 221681633 14429560832 204399 33554432000 4194304 4196468 140728755771136 140061992626672 140063013169794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26958] ppid=26949 vsize=14091368 memory=231567456785050 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26958/stat : 26958 (java) S 26949 26949 25340 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 221681634 14429560832 204399 33554432000 4194304 4196468 140728755771136 140061991572896 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26959] ppid=26949 vsize=14091368 memory=603764324844923420 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26959/stat : 26959 (java) S 26949 26949 25340 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 221681634 14429560832 204399 33554432000 4194304 4196468 140728755771136 140061990520304 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26960] ppid=26949 vsize=14091368 memory=288285597435706900 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26960/stat : 26960 (java) S 26949 26949 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221681636 14429560832 204399 33554432000 4194304 4196468 140728755771136 140061989468880 140063013177243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26961] ppid=26949 vsize=14091368 memory=3474017176183401628 CPUtime=2.59 cores=0,2,4,6
/proc/26951/task/26961/stat : 26961 (java) S 26949 26949 25340 0 -1 1077944384 14162 0 0 0 257 2 0 0 20 0 15 0 221681636 14429560832 204399 33554432000 4194304 4196468 140728755771136 140061988415472 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26962] ppid=26949 vsize=14091368 memory=279882886826176 CPUtime=2.94 cores=0,2,4,6
/proc/26951/task/26962/stat : 26962 (java) S 26949 26949 25340 0 -1 1077944384 22786 0 0 0 292 2 0 0 20 0 15 0 221681636 14429560832 204399 33554432000 4194304 4196468 140728755771136 140061987362928 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26963] ppid=26949 vsize=14091368 memory=288230596034167089 CPUtime=0.78 cores=0,2,4,6
/proc/26951/task/26963/stat : 26963 (java) S 26949 26949 25340 0 -1 1077944384 10068 0 0 0 77 1 0 0 20 0 15 0 221681636 14429560832 204399 33554432000 4194304 4196468 140728755771136 140061986310384 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 40 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26964] ppid=26949 vsize=14091368 memory=14417003460954513 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26964/stat : 26964 (java) S 26949 26949 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221681637 14429560832 204399 33554432000 4194304 4196468 140728755771136 140061985258080 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26965] ppid=26949 vsize=14091368 memory=7661013642345213544 CPUtime=0.83 cores=0,2,4,6
/proc/26951/task/26965/stat : 26965 (java) S 26949 26949 25340 0 -1 1077944384 1173 0 0 0 41 42 0 0 20 0 15 0 221681637 14429560832 204399 33554432000 4194304 4196468 140728755771136 140061984205616 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
Current children cumulated CPU time: 2514.26 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 819052 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2508.1 s]
/proc/loadavg: 2.06 1.83 1.76 4/217 27164
/proc/meminfo: memFree=16343928/32770624 swapFree=67108796/67108860
[pid=26949] ppid=26946 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/26949/stat : 26949 (xcsp3-exec) S 26946 26949 25340 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 221681631 115843072 364 33554432000 4194304 5098028 140737381443664 140737381441768 139734214890108 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 16441344 140737381446714 140737381446916 140737381446916 140737381449674 0
/proc/26949/statm: 28282 364 306 221 0 87 0
[pid=26951] ppid=26949 vsize=14091368 memory=816572 CPUtime=2520.05 cores=0,2,4,6
/proc/26951/stat : 26951 (java) S 26949 26949 25340 0 -1 1077944320 305407 0 0 0 251842 163 0 0 20 0 15 0 221681631 14429560832 204143 33554432000 4194304 4196468 140728755771136 140728755753680 140063013158647 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
/proc/26951/statm: 3522842 204143 3441 1 0 3484036 0
[pid=26951/tid=26952] ppid=26949 vsize=14091368 memory=932 CPUtime=2504.69 cores=0,2,4,6
/proc/26951/task/26952/stat : 26952 (java) R 26949 26949 25340 0 -1 4202560 212640 0 0 0 250409 60 0 0 20 0 15 0 221681631 14429560832 204143 33554432000 4194304 4196468 140728755771136 140063017398080 140062657022301 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26953] ppid=26949 vsize=14091368 memory=1608 CPUtime=1.83 cores=0,2,4,6
/proc/26951/task/26953/stat : 26953 (java) S 26949 26949 25340 0 -1 1077944384 7410 0 0 0 166 17 0 0 20 0 15 0 221681632 14429560832 204143 33554432000 4194304 4196468 140728755771136 140062978439440 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26954] ppid=26949 vsize=14091368 memory=8628 CPUtime=1.83 cores=0,2,4,6
/proc/26951/task/26954/stat : 26954 (java) S 26949 26949 25340 0 -1 1077944384 9596 0 0 0 168 15 0 0 20 0 15 0 221681632 14429560832 204143 33554432000 4194304 4196468 140728755771136 140062608177552 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26955] ppid=26949 vsize=14091368 memory=1080 CPUtime=1.83 cores=0,2,4,6
/proc/26951/task/26955/stat : 26955 (java) S 26949 26949 25340 0 -1 1077944384 9028 0 0 0 167 16 0 0 20 0 15 0 221681632 14429560832 204143 33554432000 4194304 4196468 140728755771136 140062607125008 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26956] ppid=26949 vsize=14091368 memory=752 CPUtime=1.83 cores=0,2,4,6
/proc/26951/task/26956/stat : 26956 (java) S 26949 26949 25340 0 -1 1077944384 10304 0 0 0 168 15 0 0 20 0 15 0 221681632 14429560832 204143 33554432000 4194304 4196468 140728755771136 140062606072464 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26957] ppid=26949 vsize=14091368 memory=820 CPUtime=0.82 cores=0,2,4,6
/proc/26951/task/26957/stat : 26957 (java) S 26949 26949 25340 0 -1 1077944384 6872 0 0 0 72 10 0 0 20 0 15 0 221681633 14429560832 204143 33554432000 4194304 4196468 140728755771136 140061992626672 140063013169794 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26958] ppid=26949 vsize=14091368 memory=1592 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26958/stat : 26958 (java) S 26949 26949 25340 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 221681634 14429560832 204143 33554432000 4194304 4196468 140728755771136 140061991572896 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26959] ppid=26949 vsize=14091368 memory=3160 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26959/stat : 26959 (java) S 26949 26949 25340 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 221681634 14429560832 204143 33554432000 4194304 4196468 140728755771136 140061990520304 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26960] ppid=26949 vsize=14091368 memory=496 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26960/stat : 26960 (java) S 26949 26949 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221681636 14429560832 204143 33554432000 4194304 4196468 140728755771136 140061989468880 140063013177243 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26961] ppid=26949 vsize=14091368 memory=1600 CPUtime=2.59 cores=0,2,4,6
/proc/26951/task/26961/stat : 26961 (java) S 26949 26949 25340 0 -1 1077944384 14162 0 0 0 257 2 0 0 20 0 15 0 221681636 14429560832 204143 33554432000 4194304 4196468 140728755771136 140061988415472 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26962] ppid=26949 vsize=14091368 memory=932 CPUtime=2.94 cores=0,2,4,6
/proc/26951/task/26962/stat : 26962 (java) S 26949 26949 25340 0 -1 1077944384 22786 0 0 0 292 2 0 0 20 0 15 0 221681636 14429560832 204143 33554432000 4194304 4196468 140728755771136 140061987362928 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26963] ppid=26949 vsize=14091368 memory=1168 CPUtime=0.78 cores=0,2,4,6
/proc/26951/task/26963/stat : 26963 (java) S 26949 26949 25340 0 -1 1077944384 10068 0 0 0 77 1 0 0 20 0 15 0 221681636 14429560832 204143 33554432000 4194304 4196468 140728755771136 140061986310384 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 40 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26964] ppid=26949 vsize=14091368 memory=3884 CPUtime=0 cores=0,2,4,6
/proc/26951/task/26964/stat : 26964 (java) S 26949 26949 25340 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 221681637 14429560832 204143 33554432000 4194304 4196468 140728755771136 140061985258080 140063013168853 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
[pid=26951/tid=26965] ppid=26949 vsize=14091368 memory=2180 CPUtime=0.83 cores=0,2,4,6
/proc/26951/task/26965/stat : 26965 (java) S 26949 26949 25340 0 -1 1077944384 1175 0 0 0 41 42 0 0 20 0 15 0 221681637 14429560832 204143 33554432000 4194304 4196468 140728755771136 140061984205616 140063013169794 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30437376 140728755774598 140728755774769 140728755774769 140728755777487 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 818028 KiB

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

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

[startup+2508.12 s]
# the end of solver process 26951 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.44 s, system=1.6506 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): 2508.12
CPU time (s): 2520.09
CPU user time (s): 2518.44
CPU system time (s): 1.6506
CPU usage (%): 100.477
Max. virtual memory (cumulated for all children) (KiB): 14206524
Max. memory (cumulated for all children) (KiB): 1618864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.44
system time used= 1.65061
maximum resident set size= 1627648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 306194
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75873
involuntary context switches= 3176


# summary of solver processes directly reported to runsolver:
#   pid: 26949,26951
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2518.44
#   total CPU system time (s): 1.6506

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.819 second user time and 19.8142 second system time

The end

Name	StillLife/ StillLife-wastage-25_c18.xml
MD5SUM	633a0f5b4e603fff9205bbaeb6c03cff
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	326
Best CPU time to get the best result obtained on this benchmark	300.557
Satisfiable
(Un)Satisfiability was proved
Number of variables	1486
Number of constraints	883
Number of domains	4
Minimum domain size	2
Maximum domain size	1459
Distribution of domain sizes	[{"size":2,"count":729},{"size":3,"count":729},{"size":626,"count":1},{"size":1459,"count":27}]
Minimum variable degree	1
Maximum variable degree	28
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":726},{"degree":3,"count":30},{"degree":4,"count":100},{"degree":8,"count":96},{"degree":9,"count":529},{"degree":28,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	29
Distribution of constraint arities	[{"arity":2,"count":127},{"arity":3,"count":100},{"arity":10,"count":625},{"arity":27,"count":4},{"arity":28,"count":1},{"arity":29,"count":26}]
Number of extensional constraints	725
Number of intensional constraints	126
Distribution of constraint types	[{"type":"extension","count":725},{"type":"intension","count":126},{"type":"sum","count":28},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4306492

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