2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7 seq (493a269)	SAT (TO)	266	2400.12	2387.82

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4292198-1532279285.xml"  -tl '2400s' -p 1 -x 0
0.11/0.17	c Choco 493a269
0.11/0.18	c [HOME/instance-4292198-1532279285.xml, -tl, 2400s, -p, 1, -x, 0]
0.32/0.23	c simple solver
0.32/0.30	c parse instance...
2.28/0.95	c solve instance...
9.52/5.16	o 242 
34.77/28.93	o 243 
35.70/29.89	o 244 
36.10/30.26	o 245 
36.81/30.92	o 247 
36.81/30.98	o 248 
1491.94/1482.68	o 249 
1497.85/1488.56	o 250 
1554.81/1545.44	o 251 
1867.38/1856.39	o 254 
1949.77/1938.48	o 256 
2234.26/2222.20	o 266 
2400.09/2387.80	s SATISFIABLE
2400.09/2387.80	v <instantiation>
2400.09/2387.80	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>
2400.09/2387.80	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>
2400.09/2387.80	v </instantiation>
2400.09/2387.80	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 (11061 MiB free)
  memory of node 1: 16384 MiB (11859 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292198-1532279285/watcher-4292198-1532279285 -o /tmp/evaluation-result-4292198-1532279285/solver-4292198-1532279285 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532279285-3429 --watchdog 2560 HOME/xcsp3-exec -seed 364688188 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292198-1532279285.xml 

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

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


[startup+0.100141 s]*
/proc/loadavg: 0.99 0.98 1.19 3/220 3492
/proc/meminfo: memFree=23436548/32770624 swapFree=67108860/67108860
[pid=3457] ppid=3453 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3457/stat : 3457 (xcsp3-exec) S 3453 3457 877 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45491670 115843072 364 33554432000 4194304 5098028 140725012907232 140725012905336 139717500068476 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13029376 140725012911163 140725012911364 140725012911364 140725012914122 0
/proc/3457/statm: 28282 364 306 221 0 87 0
[pid=3463] ppid=3457 vsize=14082840 memory=29256 CPUtime=0.11 cores=1,3,5,7
/proc/3463/stat : 3463 (java) S 3457 3457 877 0 -1 1077944320 5664 0 0 0 11 0 0 0 20 0 15 0 45491671 14420828160 7314 33554432000 4194304 4196468 140735225130240 140735225112784 140007053639415 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
/proc/3463/statm: 3520710 7314 3008 1 0 3483008 0
[pid=3463/tid=3465] ppid=3457 vsize=14082840 memory=4500115623978573208 CPUtime=0.09 cores=1,3,5,7
/proc/3463/task/3465/stat : 3465 (java) R 3457 3457 877 0 -1 4202560 3683 0 0 0 9 0 0 0 20 0 15 0 45491671 14420828160 7314 33554432000 4194304 4196468 140735225130240 140007057872688 140007053651350 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3467] ppid=3457 vsize=14082840 memory=3472468615174358224 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3467/stat : 3467 (java) S 3457 3457 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45491672 14420828160 7314 33554432000 4194304 4196468 140735225130240 140007010191632 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3468] ppid=3457 vsize=14082840 memory=140486279206528 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3468/stat : 3468 (java) S 3457 3457 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45491672 14420828160 7314 33554432000 4194304 4196468 140735225130240 140006648113552 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3469] ppid=3457 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3469/stat : 3469 (java) S 3457 3457 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45491672 14420828160 7314 33554432000 4194304 4196468 140735225130240 140006647061008 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3470] ppid=3457 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3470/stat : 3470 (java) S 3457 3457 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45491672 14420828160 7314 33554432000 4194304 4196468 140735225130240 140006646008464 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3475] ppid=3457 vsize=14082840 memory=140486279206528 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3475/stat : 3475 (java) S 3457 3457 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45491673 14420828160 7314 33554432000 4194304 4196468 140735225130240 140006234515952 140007053650562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3477] ppid=3457 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3477/stat : 3477 (java) S 3457 3457 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45491674 14420828160 7314 33554432000 4194304 4196468 140735225130240 140006233462176 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3479] ppid=3457 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3479/stat : 3479 (java) S 3457 3457 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45491674 14420828160 7314 33554432000 4194304 4196468 140735225130240 140006232409584 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3481] ppid=3457 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3481/stat : 3481 (java) S 3457 3457 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45491676 14420828160 7314 33554432000 4194304 4196468 140735225130240 140006231358160 140007053658011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3482] ppid=3457 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3482/stat : 3482 (java) S 3457 3457 877 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 45491676 14420828160 7314 33554432000 4194304 4196468 140735225130240 140006230304752 140007053650562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3483] ppid=3457 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3483/stat : 3483 (java) R 3457 3457 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45491676 14420828160 7314 33554432000 4194304 4196468 140735225130240 140006229252208 140007053650562 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3484] ppid=3457 vsize=14082840 memory=140486279206528 CPUtime=0.01 cores=1,3,5,7
/proc/3463/task/3484/stat : 3484 (java) S 3457 3457 877 0 -1 1077944384 263 0 0 0 1 0 0 0 20 0 15 0 45491676 14420828160 7314 33554432000 4194304 4196468 140735225130240 140006228199664 140007053650562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3489] ppid=3457 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3489/stat : 3489 (java) S 3457 3457 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45491677 14420828160 7314 33554432000 4194304 4196468 140735225130240 140006227147360 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3491] ppid=3457 vsize=14082840 memory=140486279206528 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3491/stat : 3491 (java) S 3457 3457 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45491677 14420828160 7314 33554432000 4194304 4196468 140735225130240 140006226094896 140007053650562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30712 KiB

[startup+0.210811 s]*
/proc/loadavg: 0.99 0.98 1.19 6/220 3492
/proc/meminfo: memFree=23412976/32770624 swapFree=67108860/67108860
[pid=3457] ppid=3453 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3457/stat : 3457 (xcsp3-exec) S 3453 3457 877 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45491670 115843072 364 33554432000 4194304 5098028 140725012907232 140725012905336 139717500068476 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13029376 140725012911163 140725012911364 140725012911364 140725012914122 0
/proc/3457/statm: 28282 364 306 221 0 87 0
[pid=3463] ppid=3457 vsize=14082840 memory=40448 CPUtime=0.32 cores=1,3,5,7
/proc/3463/stat : 3463 (java) S 3457 3457 877 0 -1 1077944320 8205 0 0 0 30 2 0 0 20 0 15 0 45491671 14420828160 10112 33554432000 4194304 4196468 140735225130240 140735225112784 140007053639415 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
/proc/3463/statm: 3520710 10112 3144 1 0 3483008 0
[pid=3463/tid=3465] ppid=3457 vsize=14082840 memory=4500115623978573208 CPUtime=0.19 cores=1,3,5,7
/proc/3463/task/3465/stat : 3465 (java) R 3457 3457 877 0 -1 4202560 5365 0 0 0 18 1 0 0 20 0 15 0 45491671 14420828160 10112 33554432000 4194304 4196468 140735225130240 140007057869120 140007053651350 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3467] ppid=3457 vsize=14082840 memory=3472468615174358224 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3467/stat : 3467 (java) S 3457 3457 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45491672 14420828160 10112 33554432000 4194304 4196468 140735225130240 140007010191632 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3468] ppid=3457 vsize=14082840 memory=140486279206528 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3468/stat : 3468 (java) S 3457 3457 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45491672 14420828160 10112 33554432000 4194304 4196468 140735225130240 140006648113552 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3469] ppid=3457 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3469/stat : 3469 (java) S 3457 3457 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45491672 14420828160 10112 33554432000 4194304 4196468 140735225130240 140006647061008 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3470] ppid=3457 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3470/stat : 3470 (java) S 3457 3457 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45491672 14420828160 10112 33554432000 4194304 4196468 140735225130240 140006646008464 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3475] ppid=3457 vsize=14082840 memory=140486279206528 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3475/stat : 3475 (java) S 3457 3457 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45491673 14420828160 10112 33554432000 4194304 4196468 140735225130240 140006234515952 140007053650562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3477] ppid=3457 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3477/stat : 3477 (java) S 3457 3457 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45491674 14420828160 10112 33554432000 4194304 4196468 140735225130240 140006233462176 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3479] ppid=3457 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3479/stat : 3479 (java) S 3457 3457 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45491674 14420828160 10112 33554432000 4194304 4196468 140735225130240 140006232409584 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3481] ppid=3457 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3481/stat : 3481 (java) S 3457 3457 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45491676 14420828160 10112 33554432000 4194304 4196468 140735225130240 140006231358160 140007053658011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3482] ppid=3457 vsize=14082840 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3463/task/3482/stat : 3482 (java) S 3457 3457 877 0 -1 1077944384 724 0 0 0 3 0 0 0 20 0 15 0 45491676 14420828160 10112 33554432000 4194304 4196468 140735225130240 140006230304752 140007053650562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3483] ppid=3457 vsize=14082840 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/3463/task/3483/stat : 3483 (java) S 3457 3457 877 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 15 0 45491676 14420828160 10112 33554432000 4194304 4196468 140735225130240 140006229252208 140007053650562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3484] ppid=3457 vsize=14082840 memory=140486279206528 CPUtime=0.06 cores=1,3,5,7
/proc/3463/task/3484/stat : 3484 (java) R 3457 3457 877 0 -1 4202560 773 0 0 0 6 0 0 0 20 0 15 0 45491676 14420828160 10112 33554432000 4194304 4196468 140735225130240 140006228199664 140007037719902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3489] ppid=3457 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3489/stat : 3489 (java) S 3457 3457 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45491677 14420828160 10112 33554432000 4194304 4196468 140735225130240 140006227147360 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3491] ppid=3457 vsize=14082840 memory=140486279206528 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3491/stat : 3491 (java) S 3457 3457 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45491677 14420828160 10112 33554432000 4194304 4196468 140735225130240 140006226094896 140007053650562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 41904 KiB

[startup+0.310644 s]*
/proc/loadavg: 0.99 0.98 1.19 3/220 3492
/proc/meminfo: memFree=23400724/32770624 swapFree=67108860/67108860
[pid=3457] ppid=3453 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3457/stat : 3457 (xcsp3-exec) S 3453 3457 877 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45491670 115843072 364 33554432000 4194304 5098028 140725012907232 140725012905336 139717500068476 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13029376 140725012911163 140725012911364 140725012911364 140725012914122 0
/proc/3457/statm: 28282 364 306 221 0 87 0
[pid=3463] ppid=3457 vsize=14087096 memory=46768 CPUtime=0.48 cores=1,3,5,7
/proc/3463/stat : 3463 (java) S 3457 3457 877 0 -1 1077944320 8864 0 0 0 45 3 0 0 20 0 15 0 45491671 14425186304 11692 33554432000 4194304 4196468 140735225130240 140735225112784 140007053639415 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
/proc/3463/statm: 3521774 11692 3226 1 0 3483008 0
[pid=3463/tid=3465] ppid=3457 vsize=14087096 memory=4570757190422524827 CPUtime=0.27 cores=1,3,5,7
/proc/3463/task/3465/stat : 3465 (java) R 3457 3457 877 0 -1 4202560 5917 0 0 0 26 1 0 0 20 0 15 0 45491671 14425186304 11757 33554432000 4194304 4196468 140735225130240 140007057875072 140007037683045 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3467] ppid=3457 vsize=14087096 memory=5793855737289099705 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3467/stat : 3467 (java) S 3457 3457 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45491672 14425186304 11757 33554432000 4194304 4196468 140735225130240 140007010191632 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3468] ppid=3457 vsize=14087096 memory=140486279208691 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3468/stat : 3468 (java) S 3457 3457 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45491672 14425186304 11757 33554432000 4194304 4196468 140735225130240 140006648113552 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3469] ppid=3457 vsize=14087096 memory=140486165768628 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3469/stat : 3469 (java) S 3457 3457 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45491672 14425186304 11757 33554432000 4194304 4196468 140735225130240 140006647061008 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3470] ppid=3457 vsize=14087096 memory=140486165773295 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3470/stat : 3470 (java) S 3457 3457 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45491672 14425186304 11757 33554432000 4194304 4196468 140735225130240 140006646008464 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3475] ppid=3457 vsize=14087096 memory=140486279208887 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3475/stat : 3475 (java) S 3457 3457 877 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45491673 14425186304 11757 33554432000 4194304 4196468 140735225130240 140006234515952 140007053650562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3477] ppid=3457 vsize=14087096 memory=140486165773295 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3477/stat : 3477 (java) S 3457 3457 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45491674 14425186304 11757 33554432000 4194304 4196468 140735225130240 140006233462176 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3479] ppid=3457 vsize=14087096 memory=280972331567312 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3479/stat : 3479 (java) S 3457 3457 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45491674 14425186304 11757 33554432000 4194304 4196468 140735225130240 140006232409584 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3481] ppid=3457 vsize=14087096 memory=280972331565008 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3481/stat : 3481 (java) S 3457 3457 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45491676 14425186304 11757 33554432000 4194304 4196468 140735225130240 140006231358160 140007053658011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3482] ppid=3457 vsize=14087096 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/3463/task/3482/stat : 3482 (java) S 3457 3457 877 0 -1 1077944384 728 0 0 0 4 0 0 0 20 0 15 0 45491676 14425186304 11757 33554432000 4194304 4196468 140735225130240 140006230304752 140007053650562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3483] ppid=3457 vsize=14087096 memory=2240 CPUtime=0.02 cores=1,3,5,7
/proc/3463/task/3483/stat : 3483 (java) S 3457 3457 877 0 -1 1077944384 52 0 0 0 2 0 0 0 20 0 15 0 45491676 14425186304 11757 33554432000 4194304 4196468 140735225130240 140006229252208 140007053650562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3484] ppid=3457 vsize=14087096 memory=140486279206528 CPUtime=0.11 cores=1,3,5,7
/proc/3463/task/3484/stat : 3484 (java) R 3457 3457 877 0 -1 4202560 870 0 0 0 11 0 0 0 20 0 15 0 45491676 14425186304 11757 33554432000 4194304 4196468 140735225130240 140006228199664 140007037719902 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3489] ppid=3457 vsize=14087096 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3489/stat : 3489 (java) S 3457 3457 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45491677 14425186304 11757 33554432000 4194304 4196468 140735225130240 140006227147360 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3491] ppid=3457 vsize=14087096 memory=140486279206528 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3491/stat : 3491 (java) S 3457 3457 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45491677 14425186304 11757 33554432000 4194304 4196468 140735225130240 140006226094896 140007053650562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 48224 KiB

[startup+0.700804 s]
/proc/loadavg: 0.99 0.98 1.19 10/220 3492
/proc/meminfo: memFree=23368700/32770624 swapFree=67108860/67108860
[pid=3457] ppid=3453 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3457/stat : 3457 (xcsp3-exec) S 3453 3457 877 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45491670 115843072 364 33554432000 4194304 5098028 140725012907232 140725012905336 139717500068476 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13029376 140725012911163 140725012911364 140725012911364 140725012914122 0
/proc/3457/statm: 28282 364 306 221 0 87 0
[pid=3463] ppid=3457 vsize=14089220 memory=84612 CPUtime=1.62 cores=1,3,5,7
/proc/3463/stat : 3463 (java) S 3457 3457 877 0 -1 1077944320 12309 0 0 0 158 4 0 0 20 0 15 0 45491671 14427361280 21153 33554432000 4194304 4196468 140735225130240 140735225112784 140007053639415 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
/proc/3463/statm: 3522305 21153 3335 1 0 3483520 0
[pid=3463/tid=3465] ppid=3457 vsize=14089220 memory=4639059877604708710 CPUtime=0.65 cores=1,3,5,7
/proc/3463/task/3465/stat : 3465 (java) R 3457 3457 877 0 -1 4202560 6872 0 0 0 63 2 0 0 20 0 15 0 45491671 14427361280 21153 33554432000 4194304 4196468 140735225130240 140007057875776 140006689636479 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3467] ppid=3457 vsize=14089220 memory=15296 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3467/stat : 3467 (java) S 3457 3457 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45491672 14427361280 21153 33554432000 4194304 4196468 140735225130240 140007010191632 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3468] ppid=3457 vsize=14089220 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3468/stat : 3468 (java) S 3457 3457 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45491672 14427361280 21153 33554432000 4194304 4196468 140735225130240 140006648113552 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3469] ppid=3457 vsize=14089220 memory=2412 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3469/stat : 3469 (java) S 3457 3457 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45491672 14427361280 21153 33554432000 4194304 4196468 140735225130240 140006647061008 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3470] ppid=3457 vsize=14089220 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3470/stat : 3470 (java) S 3457 3457 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45491672 14427361280 21153 33554432000 4194304 4196468 140735225130240 140006646008464 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3475] ppid=3457 vsize=14089220 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3475/stat : 3475 (java) S 3457 3457 877 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45491673 14427361280 21153 33554432000 4194304 4196468 140735225130240 140006234515952 140007053650562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3477] ppid=3457 vsize=14089220 memory=7302135314614015842 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3477/stat : 3477 (java) S 3457 3457 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45491674 14427361280 21153 33554432000 4194304 4196468 140735225130240 140006233462176 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3479] ppid=3457 vsize=14089220 memory=7595725831727968097 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3479/stat : 3479 (java) S 3457 3457 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45491674 14427361280 21153 33554432000 4194304 4196468 140735225130240 140006232409584 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3481] ppid=3457 vsize=14089220 memory=5859271421084128616 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3481/stat : 3481 (java) S 3457 3457 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45491676 14427361280 21153 33554432000 4194304 4196468 140735225130240 140006231358160 140007053658011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3482] ppid=3457 vsize=14089220 memory=5450909908396308010 CPUtime=0.29 cores=1,3,5,7
/proc/3463/task/3482/stat : 3482 (java) R 3457 3457 877 0 -1 4202560 1458 0 0 0 29 0 0 0 20 0 15 0 45491676 14427361280 21153 33554432000 4194304 4196468 140735225130240 140006230304752 140007035183591 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3483] ppid=3457 vsize=14089220 memory=-9102473451428748661 CPUtime=0.28 cores=1,3,5,7
/proc/3463/task/3483/stat : 3483 (java) R 3457 3457 877 0 -1 4202560 833 0 0 0 28 0 0 0 20 0 15 0 45491676 14427361280 21153 33554432000 4194304 4196468 140735225130240 140006229252208 140007053651350 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3484] ppid=3457 vsize=14089220 memory=-7385037593950845031 CPUtime=0.37 cores=1,3,5,7
/proc/3463/task/3484/stat : 3484 (java) R 3457 3457 877 0 -1 1077944384 1837 0 0 0 37 0 0 0 20 0 15 0 45491676 14427361280 21153 33554432000 4194304 4196468 140735225130240 140006228199664 140007053650562 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3489] ppid=3457 vsize=14089220 memory=7016714190785702558 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3489/stat : 3489 (java) S 3457 3457 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45491677 14427361280 21153 33554432000 4194304 4196468 140735225130240 140006227147360 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3491] ppid=3457 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3491/stat : 3491 (java) S 3457 3457 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45491677 14427361280 21153 33554432000 4194304 4196468 140735225130240 140006226094896 140007053650562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
Current children cumulated CPU time: 1.62 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 86068 KiB

[startup+1.50119 s]
/proc/loadavg: 0.99 0.98 1.19 7/220 3492
/proc/meminfo: memFree=23266872/32770624 swapFree=67108860/67108860
[pid=3457] ppid=3453 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3457/stat : 3457 (xcsp3-exec) S 3453 3457 877 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45491670 115843072 364 33554432000 4194304 5098028 140725012907232 140725012905336 139717500068476 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13029376 140725012911163 140725012911364 140725012911364 140725012914122 0
/proc/3457/statm: 28282 364 306 221 0 87 0

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

/proc/3463/task/3479/stat : 3479 (java) S 3457 3457 877 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 45491674 14429458432 194744 33554432000 4194304 4196468 140735225130240 140006232409584 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3481] ppid=3457 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3481/stat : 3481 (java) S 3457 3457 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45491676 14429458432 194744 33554432000 4194304 4196468 140735225130240 140006231358160 140007053658011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3482] ppid=3457 vsize=14091268 memory=1456 CPUtime=2.98 cores=1,3,5,7
/proc/3463/task/3482/stat : 3482 (java) S 3457 3457 877 0 -1 1077944384 17419 0 0 0 296 2 0 0 20 0 15 0 45491676 14429458432 194744 33554432000 4194304 4196468 140735225130240 140006230304752 140007053650562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3483] ppid=3457 vsize=14091268 memory=280972332622672 CPUtime=2.83 cores=1,3,5,7
/proc/3463/task/3483/stat : 3483 (java) S 3457 3457 877 0 -1 1077944384 13626 0 0 0 281 2 0 0 20 0 15 0 45491676 14429458432 194744 33554432000 4194304 4196468 140735225130240 140006229252208 140007053650562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3484] ppid=3457 vsize=14091268 memory=280972333094160 CPUtime=0.78 cores=1,3,5,7
/proc/3463/task/3484/stat : 3484 (java) S 3457 3457 877 0 -1 1077944384 8879 0 0 0 76 2 0 0 20 0 15 0 45491676 14429458432 194744 33554432000 4194304 4196468 140735225130240 140006228199664 140007053650562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3489] ppid=3457 vsize=14091268 memory=774620 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3489/stat : 3489 (java) S 3457 3457 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45491677 14429458432 194744 33554432000 4194304 4196468 140735225130240 140006227147360 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3491] ppid=3457 vsize=14091268 memory=1456 CPUtime=0.58 cores=1,3,5,7
/proc/3463/task/3491/stat : 3491 (java) S 3457 3457 877 0 -1 1077944384 1369 0 0 0 24 34 0 0 20 0 15 0 45491677 14429458432 194744 33554432000 4194304 4196468 140735225130240 140006226094896 140007053650562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
Current children cumulated CPU time: 2274.43 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 780432 KiB

[startup+2322.3 s]
/proc/loadavg: 1.83 1.71 1.61 3/217 3566
/proc/meminfo: memFree=18241232/32770624 swapFree=67108860/67108860
[pid=3457] ppid=3453 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3457/stat : 3457 (xcsp3-exec) S 3453 3457 877 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45491670 115843072 364 33554432000 4194304 5098028 140725012907232 140725012905336 139717500068476 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13029376 140725012911163 140725012911364 140725012911364 140725012914122 0
/proc/3457/statm: 28282 364 306 221 0 87 0
[pid=3463] ppid=3457 vsize=14091268 memory=796284 CPUtime=2334.53 cores=1,3,5,7
/proc/3463/stat : 3463 (java) S 3457 3457 877 0 -1 1077944320 214795 0 0 0 233308 145 0 0 20 0 15 0 45491671 14429458432 199071 33554432000 4194304 4196468 140735225130240 140735225112784 140007053639415 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
/proc/3463/statm: 3522817 199071 3409 1 0 3484032 0
[pid=3463/tid=3465] ppid=3457 vsize=14091268 memory=796284 CPUtime=2319.41 cores=1,3,5,7
/proc/3463/task/3465/stat : 3465 (java) R 3457 3457 877 0 -1 4202560 133417 0 0 0 231887 54 0 0 20 0 15 0 45491671 14429458432 199071 33554432000 4194304 4196468 140735225130240 140007057878848 140006695803318 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3467] ppid=3457 vsize=14091268 memory=796284 CPUtime=1.75 cores=1,3,5,7
/proc/3463/task/3467/stat : 3467 (java) S 3457 3457 877 0 -1 1077944384 6865 0 0 0 162 13 0 0 20 0 15 0 45491672 14429458432 199071 33554432000 4194304 4196468 140735225130240 140007010191632 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3468] ppid=3457 vsize=14091268 memory=796284 CPUtime=1.77 cores=1,3,5,7
/proc/3463/task/3468/stat : 3468 (java) S 3457 3457 877 0 -1 1077944384 9852 0 0 0 164 13 0 0 20 0 15 0 45491672 14429458432 199071 33554432000 4194304 4196468 140735225130240 140006648113552 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3469] ppid=3457 vsize=14091268 memory=796284 CPUtime=1.76 cores=1,3,5,7
/proc/3463/task/3469/stat : 3469 (java) S 3457 3457 877 0 -1 1077944384 9472 0 0 0 163 13 0 0 20 0 15 0 45491672 14429458432 199071 33554432000 4194304 4196468 140735225130240 140006647061008 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3470] ppid=3457 vsize=14091268 memory=1456 CPUtime=1.76 cores=1,3,5,7
/proc/3463/task/3470/stat : 3470 (java) S 3457 3457 877 0 -1 1077944384 7193 0 0 0 165 11 0 0 20 0 15 0 45491672 14429458432 199071 33554432000 4194304 4196468 140735225130240 140006646008464 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3475] ppid=3457 vsize=14091268 memory=796284 CPUtime=0.8 cores=1,3,5,7
/proc/3463/task/3475/stat : 3475 (java) S 3457 3457 877 0 -1 1077944384 5314 0 0 0 73 7 0 0 20 0 15 0 45491673 14429458432 199071 33554432000 4194304 4196468 140735225130240 140006234515952 140007053650562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3477] ppid=3457 vsize=14091268 memory=796284 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3477/stat : 3477 (java) S 3457 3457 877 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 45491674 14429458432 199071 33554432000 4194304 4196468 140735225130240 140006233462176 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3479] ppid=3457 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3479/stat : 3479 (java) S 3457 3457 877 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 45491674 14429458432 199071 33554432000 4194304 4196468 140735225130240 140006232409584 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3481] ppid=3457 vsize=14091268 memory=2257 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3481/stat : 3481 (java) S 3457 3457 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45491676 14429458432 199071 33554432000 4194304 4196468 140735225130240 140006231358160 140007053658011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3482] ppid=3457 vsize=14091268 memory=1456 CPUtime=2.98 cores=1,3,5,7
/proc/3463/task/3482/stat : 3482 (java) S 3457 3457 877 0 -1 1077944384 17421 0 0 0 296 2 0 0 20 0 15 0 45491676 14429458432 199071 33554432000 4194304 4196468 140735225130240 140006230304752 140007053650562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3483] ppid=3457 vsize=14091268 memory=796284 CPUtime=2.83 cores=1,3,5,7
/proc/3463/task/3483/stat : 3483 (java) S 3457 3457 877 0 -1 1077944384 13628 0 0 0 281 2 0 0 20 0 15 0 45491676 14429458432 199071 33554432000 4194304 4196468 140735225130240 140006229252208 140007053650562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3484] ppid=3457 vsize=14091268 memory=1456 CPUtime=0.78 cores=1,3,5,7
/proc/3463/task/3484/stat : 3484 (java) S 3457 3457 877 0 -1 1077944384 8881 0 0 0 76 2 0 0 20 0 15 0 45491676 14429458432 199071 33554432000 4194304 4196468 140735225130240 140006228199664 140007053650562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3489] ppid=3457 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3489/stat : 3489 (java) S 3457 3457 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45491677 14429458432 199071 33554432000 4194304 4196468 140735225130240 140006227147360 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3491] ppid=3457 vsize=14091268 memory=796284 CPUtime=0.59 cores=1,3,5,7
/proc/3463/task/3491/stat : 3491 (java) S 3457 3457 877 0 -1 1077944384 1384 0 0 0 24 35 0 0 20 0 15 0 45491677 14429458432 199071 33554432000 4194304 4196468 140735225130240 140006226094896 140007053650562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
Current children cumulated CPU time: 2334.53 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 797740 KiB

[startup+2382.3 s]
/proc/loadavg: 2.09 1.77 1.63 6/217 3648
/proc/meminfo: memFree=22492568/32770624 swapFree=67108860/67108860
[pid=3457] ppid=3453 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3457/stat : 3457 (xcsp3-exec) S 3453 3457 877 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45491670 115843072 364 33554432000 4194304 5098028 140725012907232 140725012905336 139717500068476 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13029376 140725012911163 140725012911364 140725012911364 140725012914122 0
/proc/3457/statm: 28282 364 306 221 0 87 0
[pid=3463] ppid=3457 vsize=14091268 memory=805420 CPUtime=2394.58 cores=1,3,5,7
/proc/3463/stat : 3463 (java) S 3457 3457 877 0 -1 1077944320 243898 0 0 0 239310 148 0 0 20 0 15 0 45491671 14429458432 201355 33554432000 4194304 4196468 140735225130240 140735225112784 140007053639415 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
/proc/3463/statm: 3522817 201355 3409 1 0 3484032 0
[pid=3463/tid=3465] ppid=3457 vsize=14091268 memory=805420 CPUtime=2379.39 cores=1,3,5,7
/proc/3463/task/3465/stat : 3465 (java) R 3457 3457 877 0 -1 4202560 161365 0 0 0 237883 56 0 0 20 0 15 0 45491671 14429458432 201355 33554432000 4194304 4196468 140735225130240 140007057878960 140006696736608 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3467] ppid=3457 vsize=14091268 memory=799800 CPUtime=1.77 cores=1,3,5,7
/proc/3463/task/3467/stat : 3467 (java) S 3457 3457 877 0 -1 1077944384 7081 0 0 0 163 14 0 0 20 0 15 0 45491672 14429458432 201355 33554432000 4194304 4196468 140735225130240 140007010191632 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3468] ppid=3457 vsize=14091268 memory=805420 CPUtime=1.78 cores=1,3,5,7
/proc/3463/task/3468/stat : 3468 (java) S 3457 3457 877 0 -1 1077944384 10035 0 0 0 165 13 0 0 20 0 15 0 45491672 14429458432 201355 33554432000 4194304 4196468 140735225130240 140006648113552 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3469] ppid=3457 vsize=14091268 memory=1456 CPUtime=1.78 cores=1,3,5,7
/proc/3463/task/3469/stat : 3469 (java) S 3457 3457 877 0 -1 1077944384 9912 0 0 0 164 14 0 0 20 0 15 0 45491672 14429458432 201355 33554432000 4194304 4196468 140735225130240 140006647061008 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3470] ppid=3457 vsize=14091268 memory=805420 CPUtime=1.78 cores=1,3,5,7
/proc/3463/task/3470/stat : 3470 (java) S 3457 3457 877 0 -1 1077944384 7354 0 0 0 166 12 0 0 20 0 15 0 45491672 14429458432 201355 33554432000 4194304 4196468 140735225130240 140006646008464 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3475] ppid=3457 vsize=14091268 memory=1456 CPUtime=0.8 cores=1,3,5,7
/proc/3463/task/3475/stat : 3475 (java) S 3457 3457 877 0 -1 1077944384 5444 0 0 0 73 7 0 0 20 0 15 0 45491673 14429458432 201355 33554432000 4194304 4196468 140735225130240 140006234515952 140007053650562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3477] ppid=3457 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3477/stat : 3477 (java) S 3457 3457 877 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 45491674 14429458432 201355 33554432000 4194304 4196468 140735225130240 140006233462176 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3479] ppid=3457 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3479/stat : 3479 (java) S 3457 3457 877 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 45491674 14429458432 201355 33554432000 4194304 4196468 140735225130240 140006232409584 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3481] ppid=3457 vsize=14091268 memory=805420 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3481/stat : 3481 (java) S 3457 3457 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45491676 14429458432 201355 33554432000 4194304 4196468 140735225130240 140006231358160 140007053658011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3482] ppid=3457 vsize=14091268 memory=805420 CPUtime=2.98 cores=1,3,5,7
/proc/3463/task/3482/stat : 3482 (java) S 3457 3457 877 0 -1 1077944384 17423 0 0 0 296 2 0 0 20 0 15 0 45491676 14429458432 201355 33554432000 4194304 4196468 140735225130240 140006230304752 140007053650562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3483] ppid=3457 vsize=14091268 memory=1456 CPUtime=2.83 cores=1,3,5,7
/proc/3463/task/3483/stat : 3483 (java) S 3457 3457 877 0 -1 1077944384 13630 0 0 0 281 2 0 0 20 0 15 0 45491676 14429458432 201355 33554432000 4194304 4196468 140735225130240 140006229252208 140007053650562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3484] ppid=3457 vsize=14091268 memory=4140 CPUtime=0.78 cores=1,3,5,7
/proc/3463/task/3484/stat : 3484 (java) S 3457 3457 877 0 -1 1077944384 8883 0 0 0 76 2 0 0 20 0 15 0 45491676 14429458432 201355 33554432000 4194304 4196468 140735225130240 140006228199664 140007053650562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3489] ppid=3457 vsize=14091268 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3489/stat : 3489 (java) S 3457 3457 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45491677 14429458432 201355 33554432000 4194304 4196468 140735225130240 140006227147360 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3491] ppid=3457 vsize=14091268 memory=15336 CPUtime=0.61 cores=1,3,5,7
/proc/3463/task/3491/stat : 3491 (java) S 3457 3457 877 0 -1 1077944384 1403 0 0 0 25 36 0 0 20 0 15 0 45491677 14429458432 201355 33554432000 4194304 4196468 140735225130240 140006226094896 140007053650562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
Current children cumulated CPU time: 2394.58 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 806876 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2387.8 s]
/proc/loadavg: 2.17 1.79 1.64 4/217 3648
/proc/meminfo: memFree=22437088/32770624 swapFree=67108860/67108860
[pid=3457] ppid=3453 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3457/stat : 3457 (xcsp3-exec) S 3453 3457 877 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 45491670 115843072 364 33554432000 4194304 5098028 140725012907232 140725012905336 139717500068476 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 13029376 140725012911163 140725012911364 140725012911364 140725012914122 0
/proc/3457/statm: 28282 364 306 221 0 87 0
[pid=3463] ppid=3457 vsize=14091268 memory=807468 CPUtime=2400.09 cores=1,3,5,7
/proc/3463/stat : 3463 (java) S 3457 3457 877 0 -1 1077944320 243957 0 0 0 239860 149 0 0 20 0 15 0 45491671 14429458432 201867 33554432000 4194304 4196468 140735225130240 140735225112784 140007053639415 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
/proc/3463/statm: 3522817 201867 3409 1 0 3484032 0
[pid=3463/tid=3465] ppid=3457 vsize=14091268 memory=4616 CPUtime=2384.89 cores=1,3,5,7
/proc/3463/task/3465/stat : 3465 (java) R 3457 3457 877 0 -1 4202560 161420 0 0 0 238433 56 0 0 20 0 15 0 45491671 14429458432 201867 33554432000 4194304 4196468 140735225130240 140007057878848 140006698172767 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3467] ppid=3457 vsize=14091268 memory=11960 CPUtime=1.77 cores=1,3,5,7
/proc/3463/task/3467/stat : 3467 (java) S 3457 3457 877 0 -1 1077944384 7082 0 0 0 163 14 0 0 20 0 15 0 45491672 14429458432 201867 33554432000 4194304 4196468 140735225130240 140007010191632 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3468] ppid=3457 vsize=14091268 memory=1008 CPUtime=1.78 cores=1,3,5,7
/proc/3463/task/3468/stat : 3468 (java) S 3457 3457 877 0 -1 1077944384 10036 0 0 0 165 13 0 0 20 0 15 0 45491672 14429458432 201867 33554432000 4194304 4196468 140735225130240 140006648113552 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3469] ppid=3457 vsize=14091268 memory=792 CPUtime=1.78 cores=1,3,5,7
/proc/3463/task/3469/stat : 3469 (java) S 3457 3457 877 0 -1 1077944384 9913 0 0 0 164 14 0 0 20 0 15 0 45491672 14429458432 201867 33554432000 4194304 4196468 140735225130240 140006647061008 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3470] ppid=3457 vsize=14091268 memory=1716 CPUtime=1.78 cores=1,3,5,7
/proc/3463/task/3470/stat : 3470 (java) S 3457 3457 877 0 -1 1077944384 7355 0 0 0 166 12 0 0 20 0 15 0 45491672 14429458432 201867 33554432000 4194304 4196468 140735225130240 140006646008464 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3475] ppid=3457 vsize=14091268 memory=1952 CPUtime=0.8 cores=1,3,5,7
/proc/3463/task/3475/stat : 3475 (java) S 3457 3457 877 0 -1 1077944384 5444 0 0 0 73 7 0 0 20 0 15 0 45491673 14429458432 201867 33554432000 4194304 4196468 140735225130240 140006234515952 140007053650562 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3477] ppid=3457 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3477/stat : 3477 (java) S 3457 3457 877 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 45491674 14429458432 201867 33554432000 4194304 4196468 140735225130240 140006233462176 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3479] ppid=3457 vsize=14091268 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3479/stat : 3479 (java) S 3457 3457 877 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 45491674 14429458432 201867 33554432000 4194304 4196468 140735225130240 140006232409584 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3481] ppid=3457 vsize=14091268 memory=805420 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3481/stat : 3481 (java) S 3457 3457 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45491676 14429458432 201867 33554432000 4194304 4196468 140735225130240 140006231358160 140007053658011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3482] ppid=3457 vsize=14091268 memory=8112282956445269571 CPUtime=2.98 cores=1,3,5,7
/proc/3463/task/3482/stat : 3482 (java) S 3457 3457 877 0 -1 1077944384 17423 0 0 0 296 2 0 0 20 0 15 0 45491676 14429458432 201867 33554432000 4194304 4196468 140735225130240 140006230304752 140007053650562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3483] ppid=3457 vsize=14091268 memory=15336 CPUtime=2.83 cores=1,3,5,7
/proc/3463/task/3483/stat : 3483 (java) S 3457 3457 877 0 -1 1077944384 13630 0 0 0 281 2 0 0 20 0 15 0 45491676 14429458432 201867 33554432000 4194304 4196468 140735225130240 140006229252208 140007053650562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3484] ppid=3457 vsize=14091268 memory=1296 CPUtime=0.78 cores=1,3,5,7
/proc/3463/task/3484/stat : 3484 (java) S 3457 3457 877 0 -1 1077944384 8883 0 0 0 76 2 0 0 20 0 15 0 45491676 14429458432 201867 33554432000 4194304 4196468 140735225130240 140006228199664 140007053650562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3489] ppid=3457 vsize=14091268 memory=2412 CPUtime=0 cores=1,3,5,7
/proc/3463/task/3489/stat : 3489 (java) S 3457 3457 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45491677 14429458432 201867 33554432000 4194304 4196468 140735225130240 140006227147360 140007053649621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
[pid=3463/tid=3491] ppid=3457 vsize=14091268 memory=1724 CPUtime=0.61 cores=1,3,5,7
/proc/3463/task/3491/stat : 3491 (java) S 3457 3457 877 0 -1 1077944384 1403 0 0 0 25 36 0 0 20 0 15 0 45491677 14429458432 201867 33554432000 4194304 4196468 140735225130240 140006226094896 140007053650562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19075072 140735225136257 140735225136433 140735225136433 140735225139151 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 14204396 KiB
Current children cumulated memory: 808924 KiB

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

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

[startup+2387.82 s]
# the end of solver process 3463 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.62 s, system=1.50574 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): 2387.82
CPU time (s): 2400.12
CPU user time (s): 2398.62
CPU system time (s): 1.50574
CPU usage (%): 100.515
Max. virtual memory (cumulated for all children) (KiB): 14204396
Max. memory (cumulated for all children) (KiB): 1617728

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.62
system time used= 1.50574
maximum resident set size= 1624464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 244753
page faults= 0
swaps= 0
block input operations= 2568
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73252
involuntary context switches= 2083


# summary of solver processes directly reported to runsolver:
#   pid: 3457,3463
#   total CPU time (s): 2400.12
#   total CPU user time (s): 2398.62
#   total CPU system time (s): 1.50574

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3454 second user time and 21.6262 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 4292198

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