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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 5a (2017-08-18)	SAT (TO)	276	2520.04	2444.1201

0.00/0.07	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283551-1503180420.xml"  -tl '2520s' -p 1 -x 3
0.12/0.25	c [HOME/instance-4283551-1503180420.xml, -tl, 2520s, -p, 1, -x, 3]
0.12/0.31	c simple solver
0.32/0.38	c parse instance...
2.09/1.04	c solve instance...
9.20/4.00	o 251 
10.58/4.48	o 252 
15.22/6.52	o 256 
15.37/6.68	o 259 
28.29/18.30	o 267 
28.29/18.35	o 268 
28.59/18.67	o 269 
344.02/324.23	o 274 
344.02/324.27	o 275 
345.10/325.24	o 276 
2520.01/2444.11	s SATISFIABLE
2520.01/2444.11	v <instantiation>
2520.01/2444.11	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] z </list>
2520.01/2444.11	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 1 0 1 0 1 1 1 1 0 0 0 0 1 0 1 0 1 1 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 1 1 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 1 1 1 0 1 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 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 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 1 1 0 1 1 1 0 0 1 0 1 2 2 2 2 1 1 0 0 0 1 1 2 1 0 0 1 2 2 0 1 0 2 0 1 1 0 1 1 1 1 2 2 2 0 0 0 1 0 1 2 1 0 0 1 2 1 1 0 1 0 1 0 0 1 0 0 0 1 1 1 2 1 1 0 0 0 1 0 2 1 1 2 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 2 0 0 2 2 0 1 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 2 1 1 2 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 2 1 2 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 2 0 2 2 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 2 0 1 0 1 0 0 1 2 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 2 1 0 1 0 0 0 1 2 1 1 1 1 2 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 2 1 1 1 2 2 2 2 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 1 0 1 1 1 2 2 2 2 0 2 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 2 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 2 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 2 2 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 2 2 2 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 2 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 2 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 2 1 1 2 1 1 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 2 1 0 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 1 1 1 1 1 0 17 44 66 84 96 107 117 124 135 148 160 173 188 205 221 231 239 245 248 258 271 284 292 295 302 317 338 352 276 </values>
2520.01/2444.11	v </instantiation>
2520.01/2444.11	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 (14788 MiB free)
  memory of node 1: 16384 MiB (15502 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283551-1503180420/watcher-4283551-1503180420 -o /tmp/evaluation-result-4283551-1503180420/solver-4283551-1503180420 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1503172076-28737 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 162578815 HOME/instance-4283551-1503180420.xml 

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

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

solver pid=29904, runsolver pid=29901

[startup+0.100683 s]*
/proc/loadavg: 1.42 1.55 1.58 3/204 29913
/proc/meminfo: memFree=31008464/32770624 swapFree=67108860/67108860
[pid=29904] ppid=29901 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29904/stat : 29904 (xcsp3-exec) S 29901 29904 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 106382661 9740288 345 18446744073709551615 4194304 5098028 140723814618160 140723814616264 140353936781948 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 21901312 140723814621561 140723814621765 140723814621765 140723814625259 0
/proc/29904/statm: 2378 345 289 221 0 87 0
[pid=29906] ppid=29904 vsize=13574484 memory=18484 CPUtime=0.02 cores=1,3,5,7
/proc/29906/stat : 29906 (java) S 29904 29904 13977 0 -1 1077944320 3949 0 0 0 2 0 0 0 20 0 9 0 106382669 13900271616 4621 18446744073709551615 4194304 4196468 140724483737984 140724483720528 140466293141239 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
/proc/29906/statm: 3393621 4621 2086 1 0 3383118 0
[pid=29906/tid=29907] ppid=29904 vsize=13574484 memory=-6871798056524144002 CPUtime=0.02 cores=1,3,5,7
/proc/29906/task/29907/stat : 29907 (java) R 29904 29904 13977 0 -1 4202560 2652 0 0 0 2 0 0 0 20 0 9 0 106382669 13900271616 4621 18446744073709551615 4194304 4196468 140724483737984 140466297377000 140466293163165 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29908] ppid=29904 vsize=13574484 memory=7451718150676861171 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29908/stat : 29908 (java) S 29904 29904 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 106382670 13900271616 4621 18446744073709551615 4194304 4196468 140724483737984 140465893022608 140466293151445 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29909] ppid=29904 vsize=13574484 memory=139788978198144 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29909/stat : 29909 (java) S 29904 29904 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 106382670 13900271616 4621 18446744073709551615 4194304 4196468 140724483737984 140465891969808 140466293151445 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29910] ppid=29904 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29910/stat : 29910 (java) S 29904 29904 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 106382670 13900271616 4621 18446744073709551615 4194304 4196468 140724483737984 140465890917520 140466293151445 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29911] ppid=29904 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29911/stat : 29911 (java) S 29904 29904 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 106382670 13900271616 4621 18446744073709551615 4194304 4196468 140724483737984 140465889864720 140466293151445 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29912] ppid=29904 vsize=13574484 memory=139788978198144 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29912/stat : 29912 (java) S 29904 29904 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 106382671 13900271616 4621 18446744073709551615 4194304 4196468 140724483737984 140465411151984 140466293152386 0 0 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29913] ppid=29904 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29913/stat : 29913 (java) S 29904 29904 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 106382672 13900271616 4621 18446744073709551615 4194304 4196468 140724483737984 140465410097952 140466293151445 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29914] ppid=29904 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29914/stat : 29914 (java) S 29904 29904 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 106382672 13900271616 4621 18446744073709551615 4194304 4196468 140724483737984 140465409045680 140466293151445 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19864 KiB

[startup+0.209826 s]*
/proc/loadavg: 1.42 1.55 1.58 3/211 29920
/proc/meminfo: memFree=31001712/32770624 swapFree=67108860/67108860
[pid=29904] ppid=29901 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29904/stat : 29904 (xcsp3-exec) S 29901 29904 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 106382661 9740288 345 18446744073709551615 4194304 5098028 140723814618160 140723814616264 140353936781948 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 21901312 140723814621561 140723814621765 140723814621765 140723814625259 0
/proc/29904/statm: 2378 345 289 221 0 87 0
[pid=29906] ppid=29904 vsize=13974352 memory=27652 CPUtime=0.12 cores=1,3,5,7
/proc/29906/stat : 29906 (java) S 29904 29904 13977 0 -1 1077944320 5386 0 0 0 11 1 0 0 20 0 15 0 106382669 14309736448 6913 18446744073709551615 4194304 4196468 140724483737984 140724483720528 140466293141239 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
/proc/29906/statm: 3493588 6913 2840 1 0 3482964 0
[pid=29906/tid=29907] ppid=29904 vsize=13974352 memory=-6728768635997884771 CPUtime=0.09 cores=1,3,5,7
/proc/29906/task/29907/stat : 29907 (java) R 29904 29904 13977 0 -1 4202560 3385 0 0 0 9 0 0 0 20 0 15 0 106382669 14309736448 6913 18446744073709551615 4194304 4196468 140724483737984 140466297373760 140466293153174 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29908] ppid=29904 vsize=13974352 memory=3461490393607882377 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29908/stat : 29908 (java) S 29904 29904 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106382670 14309736448 6913 18446744073709551615 4194304 4196468 140724483737984 140465893022608 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29909] ppid=29904 vsize=13974352 memory=139788978198144 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29909/stat : 29909 (java) S 29904 29904 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106382670 14309736448 6913 18446744073709551615 4194304 4196468 140724483737984 140465891969808 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29910] ppid=29904 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29910/stat : 29910 (java) S 29904 29904 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106382670 14309736448 6913 18446744073709551615 4194304 4196468 140724483737984 140465890917520 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29911] ppid=29904 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29911/stat : 29911 (java) S 29904 29904 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106382670 14309736448 6913 18446744073709551615 4194304 4196468 140724483737984 140465889864720 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29912] ppid=29904 vsize=13974352 memory=139788978198144 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29912/stat : 29912 (java) S 29904 29904 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106382671 14309736448 6913 18446744073709551615 4194304 4196468 140724483737984 140465411151984 140466293152386 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29913] ppid=29904 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29913/stat : 29913 (java) S 29904 29904 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106382672 14309736448 6913 18446744073709551615 4194304 4196468 140724483737984 140465410097952 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29914] ppid=29904 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29914/stat : 29914 (java) S 29904 29904 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106382672 14309736448 6913 18446744073709551615 4194304 4196468 140724483737984 140465409045616 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29915] ppid=29904 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29915/stat : 29915 (java) S 29904 29904 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106382674 14309736448 6913 18446744073709551615 4194304 4196468 140724483737984 140465407993936 140466293159835 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29916] ppid=29904 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29916/stat : 29916 (java) S 29904 29904 13977 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 106382674 14309736448 6913 18446744073709551615 4194304 4196468 140724483737984 140465406941808 140466293152386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29917] ppid=29904 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29917/stat : 29917 (java) S 29904 29904 13977 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 106382674 14309736448 6913 18446744073709551615 4194304 4196468 140724483737984 140465405889008 140466293152386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29918] ppid=29904 vsize=13974352 memory=139788978198144 CPUtime=0.01 cores=1,3,5,7
/proc/29906/task/29918/stat : 29918 (java) R 29904 29904 13977 0 -1 4202560 290 0 0 0 1 0 0 0 20 0 15 0 106382674 14309736448 6913 18446744073709551615 4194304 4196468 140724483737984 140465404836720 140466271820630 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29919] ppid=29904 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29919/stat : 29919 (java) S 29904 29904 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106382674 14309736448 6913 18446744073709551615 4194304 4196468 140724483737984 140465403784160 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29920] ppid=29904 vsize=13974352 memory=139788978198144 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29920/stat : 29920 (java) S 29904 29904 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106382679 14309736448 6913 18446744073709551615 4194304 4196468 140724483737984 140465402730928 140466293152386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29032 KiB

[startup+0.310317 s]*
/proc/loadavg: 1.42 1.55 1.58 4/211 29920
/proc/meminfo: memFree=30988596/32770624 swapFree=67108860/67108860
[pid=29904] ppid=29901 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29904/stat : 29904 (xcsp3-exec) S 29901 29904 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 106382661 9740288 345 18446744073709551615 4194304 5098028 140723814618160 140723814616264 140353936781948 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 21901312 140723814621561 140723814621765 140723814621765 140723814625259 0
/proc/29904/statm: 2378 345 289 221 0 87 0
[pid=29906] ppid=29904 vsize=13978608 memory=40120 CPUtime=0.32 cores=1,3,5,7
/proc/29906/stat : 29906 (java) S 29904 29904 13977 0 -1 1077944320 9228 0 0 0 30 2 0 0 20 0 15 0 106382669 14314094592 10030 18446744073709551615 4194304 4196468 140724483737984 140724483720528 140466293141239 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
/proc/29906/statm: 3494652 10030 3038 1 0 3482964 0
[pid=29906/tid=29907] ppid=29904 vsize=13978608 memory=-8774313645642428999 CPUtime=0.19 cores=1,3,5,7
/proc/29906/task/29907/stat : 29907 (java) R 29904 29904 13977 0 -1 4202560 6336 0 0 0 17 2 0 0 20 0 15 0 106382669 14314094592 10030 18446744073709551615 4194304 4196468 140724483737984 140466297362232 140466285819253 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29908] ppid=29904 vsize=13978608 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29908/stat : 29908 (java) S 29904 29904 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106382670 14314094592 10030 18446744073709551615 4194304 4196468 140724483737984 140465893022608 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29909] ppid=29904 vsize=13978608 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29909/stat : 29909 (java) S 29904 29904 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106382670 14314094592 10030 18446744073709551615 4194304 4196468 140724483737984 140465891969808 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29910] ppid=29904 vsize=13978608 memory=-7305533901252758645 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29910/stat : 29910 (java) S 29904 29904 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106382670 14314094592 10030 18446744073709551615 4194304 4196468 140724483737984 140465890917520 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29911] ppid=29904 vsize=13978608 memory=8248408006974860141 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29911/stat : 29911 (java) S 29904 29904 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106382670 14314094592 10030 18446744073709551615 4194304 4196468 140724483737984 140465889864720 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29912] ppid=29904 vsize=13978608 memory=139788978205137 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29912/stat : 29912 (java) S 29904 29904 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106382671 14314094592 10030 18446744073709551615 4194304 4196468 140724483737984 140465411151984 140466293152386 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29913] ppid=29904 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29913/stat : 29913 (java) S 29904 29904 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106382672 14314094592 10030 18446744073709551615 4194304 4196468 140724483737984 140465410097952 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29914] ppid=29904 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29914/stat : 29914 (java) S 29904 29904 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106382672 14314094592 10030 18446744073709551615 4194304 4196468 140724483737984 140465409045616 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29915] ppid=29904 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29915/stat : 29915 (java) S 29904 29904 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106382674 14314094592 10030 18446744073709551615 4194304 4196468 140724483737984 140465407993936 140466293159835 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29916] ppid=29904 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29906/task/29916/stat : 29916 (java) S 29904 29904 13977 0 -1 1077944384 541 0 0 0 2 0 0 0 20 0 15 0 106382674 14314094592 10030 18446744073709551615 4194304 4196468 140724483737984 140465406941808 140466293152386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29917] ppid=29904 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/29906/task/29917/stat : 29917 (java) S 29904 29904 13977 0 -1 1077944384 270 0 0 0 2 0 0 0 20 0 15 0 106382674 14314094592 10030 18446744073709551615 4194304 4196468 140724483737984 140465405889008 140466293152386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29918] ppid=29904 vsize=13978608 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/29906/task/29918/stat : 29918 (java) S 29904 29904 13977 0 -1 1077944384 776 0 0 0 7 0 0 0 20 0 15 0 106382674 14314094592 10030 18446744073709551615 4194304 4196468 140724483737984 140465404836720 140466293152386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29919] ppid=29904 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29919/stat : 29919 (java) S 29904 29904 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106382674 14314094592 10030 18446744073709551615 4194304 4196468 140724483737984 140465403784160 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29920] ppid=29904 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29920/stat : 29920 (java) S 29904 29904 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106382679 14314094592 10030 18446744073709551615 4194304 4196468 140724483737984 140465402730928 140466293152386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41500 KiB

[startup+0.700724 s]
/proc/loadavg: 1.42 1.55 1.58 6/211 29920
/proc/meminfo: memFree=30978824/32770624 swapFree=67108860/67108860
[pid=29904] ppid=29901 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29904/stat : 29904 (xcsp3-exec) S 29901 29904 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 106382661 9740288 345 18446744073709551615 4194304 5098028 140723814618160 140723814616264 140353936781948 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 21901312 140723814621561 140723814621765 140723814621765 140723814625259 0
/proc/29904/statm: 2378 345 289 221 0 87 0
[pid=29906] ppid=29904 vsize=13980732 memory=68920 CPUtime=1.31 cores=1,3,5,7
/proc/29906/stat : 29906 (java) S 29904 29904 13977 0 -1 1077944320 12471 0 0 0 126 5 0 0 20 0 15 0 106382669 14316269568 17230 18446744073709551615 4194304 4196468 140724483737984 140724483720528 140466293141239 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
/proc/29906/statm: 3495183 17230 3168 1 0 3483476 0
[pid=29906/tid=29907] ppid=29904 vsize=13980732 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/29906/task/29907/stat : 29907 (java) R 29904 29904 13977 0 -1 4202560 7977 0 0 0 54 3 0 0 20 0 15 0 106382669 14316269568 17230 18446744073709551615 4194304 4196468 140724483737984 140466297378960 140466278512208 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29908] ppid=29904 vsize=13980732 memory=4716829293082202711 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29908/stat : 29908 (java) S 29904 29904 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106382670 14316269568 17230 18446744073709551615 4194304 4196468 140724483737984 140465893022608 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29909] ppid=29904 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29909/stat : 29909 (java) S 29904 29904 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106382670 14316269568 17230 18446744073709551615 4194304 4196468 140724483737984 140465891969808 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29910] ppid=29904 vsize=13980732 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29910/stat : 29910 (java) S 29904 29904 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106382670 14316269568 17230 18446744073709551615 4194304 4196468 140724483737984 140465890917520 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29911] ppid=29904 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29911/stat : 29911 (java) S 29904 29904 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106382670 14316269568 17230 18446744073709551615 4194304 4196468 140724483737984 140465889864720 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29912] ppid=29904 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29912/stat : 29912 (java) S 29904 29904 13977 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106382671 14316269568 17230 18446744073709551615 4194304 4196468 140724483737984 140465411151984 140466293152386 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29913] ppid=29904 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29913/stat : 29913 (java) S 29904 29904 13977 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106382672 14316269568 17230 18446744073709551615 4194304 4196468 140724483737984 140465410097952 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29914] ppid=29904 vsize=13980732 memory=2 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29914/stat : 29914 (java) S 29904 29904 13977 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106382672 14316269568 17230 18446744073709551615 4194304 4196468 140724483737984 140465409045616 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29915] ppid=29904 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29915/stat : 29915 (java) S 29904 29904 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106382674 14316269568 17230 18446744073709551615 4194304 4196468 140724483737984 140465407993936 140466293159835 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29916] ppid=29904 vsize=13980732 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/29906/task/29916/stat : 29916 (java) R 29904 29904 13977 0 -1 1077944384 1118 0 0 0 20 0 0 0 20 0 15 0 106382674 14316269568 17230 18446744073709551615 4194304 4196468 140724483737984 140465406941808 140466293152386 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29917] ppid=29904 vsize=13980732 memory=23 CPUtime=0.18 cores=1,3,5,7
/proc/29906/task/29917/stat : 29917 (java) R 29904 29904 13977 0 -1 1077944384 580 0 0 0 18 0 0 0 20 0 15 0 106382674 14316269568 17230 18446744073709551615 4194304 4196468 140724483737984 140465405889008 140466293152386 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29918] ppid=29904 vsize=13980732 memory=3 CPUtime=0.31 cores=1,3,5,7
/proc/29906/task/29918/stat : 29918 (java) R 29904 29904 13977 0 -1 4202560 1488 0 0 0 31 0 0 0 20 0 15 0 106382674 14316269568 17230 18446744073709551615 4194304 4196468 140724483737984 140465404832448 140466271690544 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29919] ppid=29904 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29919/stat : 29919 (java) S 29904 29904 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106382674 14316269568 17230 18446744073709551615 4194304 4196468 140724483737984 140465403784160 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29920] ppid=29904 vsize=13980732 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29920/stat : 29920 (java) S 29904 29904 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106382679 14316269568 17230 18446744073709551615 4194304 4196468 140724483737984 140465402730928 140466293152386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 70300 KiB

[startup+1.50154 s]
/proc/loadavg: 1.42 1.55 1.58 5/211 29920
/proc/meminfo: memFree=30940044/32770624 swapFree=67108860/67108860
[pid=29904] ppid=29901 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29904/stat : 29904 (xcsp3-exec) S 29901 29904 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 106382661 9740288 345 18446744073709551615 4194304 5098028 140723814618160 140723814616264 140353936781948 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 21901312 140723814621561 140723814621765 140723814621765 140723814625259 0
/proc/29904/statm: 2378 345 289 221 0 87 0
[pid=29906] ppid=29904 vsize=13982380 memory=120108 CPUtime=3.56 cores=1,3,5,7
/proc/29906/stat : 29906 (java) S 29904 29904 13977 0 -1 1077944320 22719 0 0 0 348 8 0 0 20 0 15 0 106382669 14317957120 30027 18446744073709551615 4194304 4196468 140724483737984 140724483720528 140466293141239 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
/proc/29906/statm: 3495595 30027 3194 1 0 3483888 0
[pid=29906/tid=29907] ppid=29904 vsize=13982380 memory=57812 CPUtime=1.37 cores=1,3,5,7
/proc/29906/task/29907/stat : 29907 (java) R 29904 29904 13977 0 -1 4202560 9941 0 0 0 133 4 0 0 20 0 15 0 106382669 14317957120 30027 18446744073709551615 4194304 4196468 140724483737984 140466297379856 140465921019069 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29908] ppid=29904 vsize=13982380 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29908/stat : 29908 (java) S 29904 29904 13977 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106382670 14317957120 30027 18446744073709551615 4194304 4196468 140724483737984 140465893022608 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29909] ppid=29904 vsize=13982380 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29909/stat : 29909 (java) S 29904 29904 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106382670 14317957120 30027 18446744073709551615 4194304 4196468 140724483737984 140465891969808 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29910] ppid=29904 vsize=13982380 memory=85072 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29910/stat : 29910 (java) S 29904 29904 13977 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106382670 14317957120 30027 18446744073709551615 4194304 4196468 140724483737984 140465890917520 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29911] ppid=29904 vsize=13982380 memory=68920 CPUtime=0 cores=1,3,5,7

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

/proc/29906/task/29914/stat : 29914 (java) S 29904 29904 13977 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 106382672 14318366720 164895 18446744073709551615 4194304 4196468 140724483737984 140465409045616 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29915] ppid=29904 vsize=13982780 memory=4120 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29915/stat : 29915 (java) S 29904 29904 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106382674 14318366720 164895 18446744073709551615 4194304 4196468 140724483737984 140465407993936 140466293159835 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29916] ppid=29904 vsize=13982780 memory=57976 CPUtime=5.81 cores=1,3,5,7
/proc/29906/task/29916/stat : 29916 (java) S 29904 29904 13977 0 -1 1077944384 26522 0 0 0 578 3 0 0 20 0 15 0 106382674 14318366720 164895 18446744073709551615 4194304 4196468 140724483737984 140465406941808 140466293152386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29917] ppid=29904 vsize=13982780 memory=0 CPUtime=5.41 cores=1,3,5,7
/proc/29906/task/29917/stat : 29917 (java) S 29904 29904 13977 0 -1 1077944384 28558 0 0 0 538 3 0 0 20 0 15 0 106382674 14318366720 164895 18446744073709551615 4194304 4196468 140724483737984 140465405889008 140466293152386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29918] ppid=29904 vsize=13982780 memory=0 CPUtime=1.02 cores=1,3,5,7
/proc/29906/task/29918/stat : 29918 (java) S 29904 29904 13977 0 -1 1077944384 12708 0 0 0 99 3 0 0 20 0 15 0 106382674 14318366720 164895 18446744073709551615 4194304 4196468 140724483737984 140465404836720 140466293152386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29919] ppid=29904 vsize=13982780 memory=659568 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29919/stat : 29919 (java) S 29904 29904 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106382674 14318366720 164895 18446744073709551615 4194304 4196468 140724483737984 140465403784160 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29920] ppid=29904 vsize=13982780 memory=4120 CPUtime=1.25 cores=1,3,5,7
/proc/29906/task/29920/stat : 29920 (java) S 29904 29904 13977 0 -1 1077944384 1110 0 0 0 57 68 0 0 20 0 15 0 106382679 14318366720 164895 18446744073709551615 4194304 4196468 140724483737984 140465402730928 140466293152386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
Current children cumulated CPU time: 2456.88 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 660960 KiB

[startup+2442.3 s]
/proc/loadavg: 1.73 1.68 1.57 3/212 30210
/proc/meminfo: memFree=29689404/32770624 swapFree=67108860/67108860
[pid=29904] ppid=29901 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29904/stat : 29904 (xcsp3-exec) S 29901 29904 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 106382661 9740288 345 18446744073709551615 4194304 5098028 140723814618160 140723814616264 140353936781948 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 21901312 140723814621561 140723814621765 140723814621765 140723814625259 0
/proc/29904/statm: 2378 345 289 221 0 87 0
[pid=29906] ppid=29904 vsize=13982780 memory=761172 CPUtime=2518.14 cores=1,3,5,7
/proc/29906/stat : 29906 (java) S 29904 29904 13977 0 -1 1077944320 235826 0 0 0 251364 450 0 0 20 0 15 0 106382669 14318366720 190293 18446744073709551615 4194304 4196468 140724483737984 140724483720528 140466293141239 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
/proc/29906/statm: 3495695 190293 3257 1 0 3483988 0
[pid=29906/tid=29907] ppid=29904 vsize=13982780 memory=768868 CPUtime=2419.56 cores=1,3,5,7
/proc/29906/task/29907/stat : 29907 (java) R 29904 29904 13977 0 -1 4202560 73011 0 0 0 241924 32 0 0 20 0 15 0 106382669 14318366720 190293 18446744073709551615 4194304 4196468 140724483737984 140466297380688 140465923270775 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29908] ppid=29904 vsize=13982780 memory=768868 CPUtime=20.95 cores=1,3,5,7
/proc/29906/task/29908/stat : 29908 (java) S 29904 29904 13977 0 -1 1077944384 12135 0 0 0 2009 86 0 0 20 0 15 0 106382670 14318366720 190293 18446744073709551615 4194304 4196468 140724483737984 140465893022608 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29909] ppid=29904 vsize=13982780 memory=768868 CPUtime=20.95 cores=1,3,5,7
/proc/29906/task/29909/stat : 29909 (java) S 29904 29904 13977 0 -1 1077944384 12309 0 0 0 2012 83 0 0 20 0 15 0 106382670 14318366720 190293 18446744073709551615 4194304 4196468 140724483737984 140465891969808 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29910] ppid=29904 vsize=13982780 memory=768868 CPUtime=20.98 cores=1,3,5,7
/proc/29906/task/29910/stat : 29910 (java) S 29904 29904 13977 0 -1 1077944384 13202 0 0 0 2015 83 0 0 20 0 15 0 106382670 14318366720 190293 18446744073709551615 4194304 4196468 140724483737984 140465890917520 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29911] ppid=29904 vsize=13982780 memory=761172 CPUtime=20.96 cores=1,3,5,7
/proc/29906/task/29911/stat : 29911 (java) S 29904 29904 13977 0 -1 1077944384 12208 0 0 0 2013 83 0 0 20 0 15 0 106382670 14318366720 190293 18446744073709551615 4194304 4196468 140724483737984 140465889864720 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29912] ppid=29904 vsize=13982780 memory=761172 CPUtime=1.13 cores=1,3,5,7
/proc/29906/task/29912/stat : 29912 (java) S 29904 29904 13977 0 -1 1077944384 42679 0 0 0 92 21 0 0 20 0 15 0 106382671 14318366720 190293 18446744073709551615 4194304 4196468 140724483737984 140465411151984 140466293152386 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29913] ppid=29904 vsize=13982780 memory=541 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29913/stat : 29913 (java) S 29904 29904 13977 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 106382672 14318366720 190293 18446744073709551615 4194304 4196468 140724483737984 140465410097952 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29914] ppid=29904 vsize=13982780 memory=737552 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29914/stat : 29914 (java) S 29904 29904 13977 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 106382672 14318366720 190293 18446744073709551615 4194304 4196468 140724483737984 140465409045616 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29915] ppid=29904 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29915/stat : 29915 (java) S 29904 29904 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106382674 14318366720 190293 18446744073709551615 4194304 4196468 140724483737984 140465407993936 140466293159835 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29916] ppid=29904 vsize=13982780 memory=1380 CPUtime=5.81 cores=1,3,5,7
/proc/29906/task/29916/stat : 29916 (java) S 29904 29904 13977 0 -1 1077944384 26524 0 0 0 578 3 0 0 20 0 15 0 106382674 14318366720 190293 18446744073709551615 4194304 4196468 140724483737984 140465406941808 140466293152386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29917] ppid=29904 vsize=13982780 memory=1380 CPUtime=5.41 cores=1,3,5,7
/proc/29906/task/29917/stat : 29917 (java) S 29904 29904 13977 0 -1 1077944384 28561 0 0 0 538 3 0 0 20 0 15 0 106382674 14318366720 190293 18446744073709551615 4194304 4196468 140724483737984 140465405889008 140466293152386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29918] ppid=29904 vsize=13982780 memory=761172 CPUtime=1.02 cores=1,3,5,7
/proc/29906/task/29918/stat : 29918 (java) S 29904 29904 13977 0 -1 1077944384 12710 0 0 0 99 3 0 0 20 0 15 0 106382674 14318366720 190293 18446744073709551615 4194304 4196468 140724483737984 140465404836720 140466293152386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29919] ppid=29904 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29919/stat : 29919 (java) S 29904 29904 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106382674 14318366720 190293 18446744073709551615 4194304 4196468 140724483737984 140465403784160 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29920] ppid=29904 vsize=13982780 memory=1380 CPUtime=1.28 cores=1,3,5,7
/proc/29906/task/29920/stat : 29920 (java) S 29904 29904 13977 0 -1 1077944384 1140 0 0 0 58 70 0 0 20 0 15 0 106382679 14318366720 190293 18446744073709551615 4194304 4196468 140724483737984 140465402730928 140466293152386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
Current children cumulated CPU time: 2518.14 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 762552 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2444.11 s]
/proc/loadavg: 1.73 1.68 1.57 3/212 30210
/proc/meminfo: memFree=29699424/32770624 swapFree=67108860/67108860
[pid=29904] ppid=29901 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29904/stat : 29904 (xcsp3-exec) S 29901 29904 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 106382661 9740288 345 18446744073709551615 4194304 5098028 140723814618160 140723814616264 140353936781948 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 21901312 140723814621561 140723814621765 140723814621765 140723814625259 0
/proc/29904/statm: 2378 345 289 221 0 87 0
[pid=29906] ppid=29904 vsize=13982780 memory=759120 CPUtime=2520.01 cores=1,3,5,7
/proc/29906/stat : 29906 (java) S 29904 29904 13977 0 -1 1077944320 235841 0 0 0 251551 450 0 0 20 0 15 0 106382669 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140724483720528 140466293141239 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
/proc/29906/statm: 3495695 189780 3257 1 0 3483988 0
[pid=29906/tid=29907] ppid=29904 vsize=13982780 memory=1380 CPUtime=2421.35 cores=1,3,5,7
/proc/29906/task/29907/stat : 29907 (java) R 29904 29904 13977 0 -1 4202560 73012 0 0 0 242103 32 0 0 20 0 15 0 106382669 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140466297380464 140465923270899 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29908] ppid=29904 vsize=13982780 memory=761172 CPUtime=20.97 cores=1,3,5,7
/proc/29906/task/29908/stat : 29908 (java) S 29904 29904 13977 0 -1 1077944384 12137 0 0 0 2011 86 0 0 20 0 15 0 106382670 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140465893022608 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29909] ppid=29904 vsize=13982780 memory=768868 CPUtime=20.98 cores=1,3,5,7
/proc/29906/task/29909/stat : 29909 (java) S 29904 29904 13977 0 -1 1077944384 12311 0 0 0 2015 83 0 0 20 0 15 0 106382670 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140465891969808 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29910] ppid=29904 vsize=13982780 memory=768868 CPUtime=21 cores=1,3,5,7
/proc/29906/task/29910/stat : 29910 (java) S 29904 29904 13977 0 -1 1077944384 13207 0 0 0 2017 83 0 0 20 0 15 0 106382670 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140465890917520 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29911] ppid=29904 vsize=13982780 memory=768868 CPUtime=20.98 cores=1,3,5,7
/proc/29906/task/29911/stat : 29911 (java) S 29904 29904 13977 0 -1 1077944384 12213 0 0 0 2015 83 0 0 20 0 15 0 106382670 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140465889864720 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29912] ppid=29904 vsize=13982780 memory=768868 CPUtime=1.13 cores=1,3,5,7
/proc/29906/task/29912/stat : 29912 (java) S 29904 29904 13977 0 -1 1077944384 42679 0 0 0 92 21 0 0 20 0 15 0 106382671 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140465411151984 140466293152386 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29913] ppid=29904 vsize=13982780 memory=759120 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29913/stat : 29913 (java) S 29904 29904 13977 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 106382672 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140465410097952 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29914] ppid=29904 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29914/stat : 29914 (java) S 29904 29904 13977 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 106382672 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140465409045616 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29915] ppid=29904 vsize=13982780 memory=541 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29915/stat : 29915 (java) S 29904 29904 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106382674 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140465407993936 140466293159835 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29916] ppid=29904 vsize=13982780 memory=737552 CPUtime=5.81 cores=1,3,5,7
/proc/29906/task/29916/stat : 29916 (java) S 29904 29904 13977 0 -1 1077944384 26524 0 0 0 578 3 0 0 20 0 15 0 106382674 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140465406941808 140466293152386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29917] ppid=29904 vsize=13982780 memory=4120 CPUtime=5.41 cores=1,3,5,7
/proc/29906/task/29917/stat : 29917 (java) S 29904 29904 13977 0 -1 1077944384 28561 0 0 0 538 3 0 0 20 0 15 0 106382674 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140465405889008 140466293152386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29918] ppid=29904 vsize=13982780 memory=57976 CPUtime=1.02 cores=1,3,5,7
/proc/29906/task/29918/stat : 29918 (java) S 29904 29904 13977 0 -1 1077944384 12710 0 0 0 99 3 0 0 20 0 15 0 106382674 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140465404836720 140466293152386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29919] ppid=29904 vsize=13982780 memory=761172 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29919/stat : 29919 (java) S 29904 29904 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106382674 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140465403784160 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29920] ppid=29904 vsize=13982780 memory=1380 CPUtime=1.28 cores=1,3,5,7
/proc/29906/task/29920/stat : 29920 (java) S 29904 29904 13977 0 -1 1077944384 1140 0 0 0 58 70 0 0 20 0 15 0 106382679 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140465402730928 140466293152386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 760500 KiB

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

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

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

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

[startup+2444.11 s]
/proc/loadavg: 1.73 1.68 1.57 3/212 30210
/proc/meminfo: memFree=29699424/32770624 swapFree=67108860/67108860
[pid=29904] ppid=29901 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29904/stat : 29904 (xcsp3-exec) S 29901 29904 13977 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 106382661 9740288 345 18446744073709551615 4194304 5098028 140723814618160 140723814616264 140353936781948 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 21901312 140723814621561 140723814621765 140723814621765 140723814625259 0
/proc/29904/statm: 2378 345 289 221 0 87 0
[pid=29906] ppid=29904 vsize=13982780 memory=759120 CPUtime=2520.01 cores=1,3,5,7
/proc/29906/stat : 29906 (java) S 29904 29904 13977 0 -1 1077944320 235841 0 0 0 251551 450 0 0 20 0 15 0 106382669 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140724483720528 140466293141239 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
/proc/29906/statm: 3495695 189780 3257 1 0 3483988 0
[pid=29906/tid=29907] ppid=29904 vsize=13982780 memory=1380 CPUtime=2421.35 cores=1,3,5,7
/proc/29906/task/29907/stat : 29907 (java) R 29904 29904 13977 0 -1 4202560 73012 0 0 0 242103 32 0 0 20 0 15 0 106382669 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140466297380464 140465923270899 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29908] ppid=29904 vsize=13982780 memory=761172 CPUtime=20.97 cores=1,3,5,7
/proc/29906/task/29908/stat : 29908 (java) S 29904 29904 13977 0 -1 1077944384 12137 0 0 0 2011 86 0 0 20 0 15 0 106382670 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140465893022608 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29909] ppid=29904 vsize=13982780 memory=768868 CPUtime=20.98 cores=1,3,5,7
/proc/29906/task/29909/stat : 29909 (java) S 29904 29904 13977 0 -1 1077944384 12311 0 0 0 2015 83 0 0 20 0 15 0 106382670 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140465891969808 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29910] ppid=29904 vsize=13982780 memory=768868 CPUtime=21 cores=1,3,5,7
/proc/29906/task/29910/stat : 29910 (java) S 29904 29904 13977 0 -1 1077944384 13207 0 0 0 2017 83 0 0 20 0 15 0 106382670 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140465890917520 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29911] ppid=29904 vsize=13982780 memory=768868 CPUtime=20.98 cores=1,3,5,7
/proc/29906/task/29911/stat : 29911 (java) S 29904 29904 13977 0 -1 1077944384 12213 0 0 0 2015 83 0 0 20 0 15 0 106382670 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140465889864720 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29912] ppid=29904 vsize=13982780 memory=768868 CPUtime=1.13 cores=1,3,5,7
/proc/29906/task/29912/stat : 29912 (java) S 29904 29904 13977 0 -1 1077944384 42679 0 0 0 92 21 0 0 20 0 15 0 106382671 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140465411151984 140466293152386 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29913] ppid=29904 vsize=13982780 memory=759120 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29913/stat : 29913 (java) S 29904 29904 13977 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 106382672 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140465410097952 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29914] ppid=29904 vsize=13982780 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29914/stat : 29914 (java) S 29904 29904 13977 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 106382672 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140465409045616 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29915] ppid=29904 vsize=13982780 memory=541 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29915/stat : 29915 (java) S 29904 29904 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106382674 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140465407993936 140466293159835 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29916] ppid=29904 vsize=13982780 memory=737552 CPUtime=5.81 cores=1,3,5,7
/proc/29906/task/29916/stat : 29916 (java) S 29904 29904 13977 0 -1 1077944384 26524 0 0 0 578 3 0 0 20 0 15 0 106382674 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140465406941808 140466293152386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29917] ppid=29904 vsize=13982780 memory=4120 CPUtime=5.41 cores=1,3,5,7
/proc/29906/task/29917/stat : 29917 (java) S 29904 29904 13977 0 -1 1077944384 28561 0 0 0 538 3 0 0 20 0 15 0 106382674 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140465405889008 140466293152386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29918] ppid=29904 vsize=13982780 memory=57976 CPUtime=1.02 cores=1,3,5,7
/proc/29906/task/29918/stat : 29918 (java) S 29904 29904 13977 0 -1 1077944384 12710 0 0 0 99 3 0 0 20 0 15 0 106382674 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140465404836720 140466293152386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29919] ppid=29904 vsize=13982780 memory=761172 CPUtime=0 cores=1,3,5,7
/proc/29906/task/29919/stat : 29919 (java) S 29904 29904 13977 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106382674 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140465403784160 140466293151445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
[pid=29906/tid=29920] ppid=29904 vsize=13982780 memory=1380 CPUtime=1.28 cores=1,3,5,7
/proc/29906/task/29920/stat : 29920 (java) S 29904 29904 13977 0 -1 1077944384 1140 0 0 0 58 70 0 0 20 0 15 0 106382679 14318366720 189780 18446744073709551615 4194304 4196468 140724483737984 140465402730928 140466293152386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20135936 140724483744177 140724483744353 140724483744353 140724483747791 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 760500 KiB

Child status: 143
Real time (s): 2444.12
CPU time (s): 2520.04
CPU user time (s): 2515.53
CPU system time (s): 4.50933
CPU usage (%): 103.106
Max. virtual memory (cumulated for all children) (KiB): 13992292
Max. memory (cumulated for all children) (KiB): 845620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.53
system time used= 4.50933
maximum resident set size= 848352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236647
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70613
involuntary context switches= 3361


# summary of solver processes directly reported to runsolver:
#   pid: 29904,29906
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2515.53
#   total CPU system time (s): 4.50933

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7098 second user time and 23.2431 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml
MD5SUM	a21a0b86f7fa853bf556b3925b3cd061
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	345
Best CPU time to get the best result obtained on this benchmark	2400.02
Satisfiable
(Un)Satisfiability was proved
Number of variables	1597
Number of constraints	944
Number of domains	4
Minimum domain size	2
Maximum domain size	1569
Distribution of domain sizes	[{"size":2,"count":784},{"size":3,"count":784},{"size":677,"count":1},{"size":1569,"count":28}]
Minimum variable degree	1
Maximum variable degree	29
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":781},{"degree":3,"count":31},{"degree":4,"count":104},{"degree":8,"count":100},{"degree":9,"count":576},{"degree":29,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	30
Distribution of constraint arities	[{"arity":2,"count":132},{"arity":3,"count":104},{"arity":10,"count":676},{"arity":28,"count":4},{"arity":29,"count":1},{"arity":30,"count":27}]
Number of extensional constraints	780
Number of intensional constraints	131
Distribution of constraint types	[{"type":"extension","count":780},{"type":"intension","count":131},{"type":"sum","count":29},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4283551

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