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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 5a (2017-08-18)	SAT (TO)	269	260.20099	240.049

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4284541-1503210578.xml"  -tl '264s' -p 1 -x 3
0.12/0.14	c [HOME/instance-4284541-1503210578.xml, -tl, 264s, -p, 1, -x, 3]
0.12/0.20	c simple solver
0.33/0.27	c parse instance...
2.23/0.96	c solve instance...
11.81/4.22	o 251 
13.35/4.73	o 252 
18.35/6.92	o 256 
18.53/7.10	o 259 
32.86/19.91	o 267 
32.86/19.95	o 268 
33.27/20.30	o 269 
260.08/240.03	s SATISFIABLE
260.08/240.03	v <instantiation>
260.08/240.03	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>
260.08/240.04	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 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 1 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 1 1 1 1 1 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 1 0 1 1 1 0 0 0 1 1 0 1 1 0 1 0 0 1 0 1 0 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 1 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 0 1 1 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 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 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 2 1 1 1 1 2 0 0 1 0 1 0 0 0 0 1 0 0 0 2 0 0 1 1 2 1 2 2 2 1 1 2 1 1 1 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 2 1 1 2 1 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 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 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 2 0 0 2 0 2 0 0 1 1 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 2 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 2 2 2 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 1 0 1 0 0 1 1 2 2 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 1 1 0 2 2 2 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 2 2 2 1 1 2 2 2 2 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 2 2 2 2 2 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 2 2 2 2 1 1 1 0 1 1 1 1 0 1 0 0 0 1 0 0 0 1 1 1 1 0 0 1 1 2 2 2 1 0 1 0 1 2 2 0 0 0 0 0 1 1 2 0 0 1 0 1 0 0 0 0 1 1 2 2 1 0 0 1 1 2 1 1 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 1 0 2 1 1 1 1 2 2 2 0 0 1 0 1 0 1 1 0 0 1 0 1 1 1 2 0 1 0 1 1 1 1 1 1 2 2 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 2 2 2 1 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 1 2 2 1 0 0 2 1 0 0 0 1 1 0 1 1 1 1 0 0 0 1 1 1 2 0 0 0 1 2 2 1 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 1 1 0 0 1 0 14 27 32 40 43 50 72 91 98 103 116 125 130 140 151 164 177 197 214 229 250 269 284 307 330 346 366 380 269 </values>
260.08/240.04	v </instantiation>
260.08/240.04	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 (11005 MiB free)
  memory of node 1: 16384 MiB (9392 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284541-1503210578/watcher-4284541-1503210578 -o /tmp/evaluation-result-4284541-1503210578/solver-4284541-1503210578 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node114-1503208995-20020 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1262285699 HOME/instance-4284541-1503210578.xml 

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

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

solver pid=20553, runsolver pid=20550

[startup+0.100976 s]*
/proc/loadavg: 1.88 1.82 1.50 3/217 20569
/proc/meminfo: memFree=20870016/32770624 swapFree=67108860/67108860
[pid=20553] ppid=20550 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20553/stat : 20553 (xcsp3-exec) S 20550 20553 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154145411 9740288 346 33554432000 4194304 5098028 140727156000880 140727155998984 140322371388028 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27090944 140727156008052 140727156008256 140727156008256 140727156010987 0
/proc/20553/statm: 2378 346 289 221 0 87 0
[pid=20555] ppid=20553 vsize=13978596 memory=28376 CPUtime=0.12 cores=1,3,5,7
/proc/20555/stat : 20555 (java) S 20553 20553 19988 0 -1 1077944320 5468 0 0 0 11 1 0 0 20 0 15 0 154145411 14314082304 7094 33554432000 4194304 4196468 140734826177952 140734826160496 140239688408823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
/proc/20555/statm: 3494649 7094 2865 1 0 3482966 0
[pid=20555/tid=20556] ppid=20553 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/20555/task/20556/stat : 20556 (java) R 20553 20553 19988 0 -1 4202560 3466 0 0 0 8 0 0 0 20 0 15 0 154145411 14314082304 7094 33554432000 4194304 4196468 140734826177952 140239692641152 140239688420758 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20557] ppid=20553 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20557/stat : 20557 (java) S 20553 20553 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154145412 14314082304 7094 33554432000 4194304 4196468 140734826177952 140239618497296 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20558] ppid=20553 vsize=13978596 memory=139639424829056 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20558/stat : 20558 (java) S 20553 20553 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154145412 14314082304 7094 33554432000 4194304 4196468 140734826177952 140239617444752 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20559] ppid=20553 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20559/stat : 20559 (java) S 20553 20553 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154145412 14314082304 7094 33554432000 4194304 4196468 140734826177952 140239616392208 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20560] ppid=20553 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20560/stat : 20560 (java) S 20553 20553 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154145412 14314082304 7094 33554432000 4194304 4196468 140734826177952 140239615339664 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20561] ppid=20553 vsize=13978596 memory=139639424829056 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20561/stat : 20561 (java) S 20553 20553 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154145414 14314082304 7094 33554432000 4194304 4196468 140734826177952 140238801328112 140239688419970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20562] ppid=20553 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20562/stat : 20562 (java) S 20553 20553 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154145414 14314082304 7094 33554432000 4194304 4196468 140734826177952 140238800274336 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20563] ppid=20553 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20563/stat : 20563 (java) S 20553 20553 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154145414 14314082304 7094 33554432000 4194304 4196468 140734826177952 140238799221744 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20564] ppid=20553 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20564/stat : 20564 (java) S 20553 20553 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154145417 14314082304 7094 33554432000 4194304 4196468 140734826177952 140238798170320 140239688427419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20565] ppid=20553 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20565/stat : 20565 (java) S 20553 20553 19988 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 154145417 14314082304 7094 33554432000 4194304 4196468 140734826177952 140238797117936 140239688419970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20566] ppid=20553 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20566/stat : 20566 (java) S 20553 20553 19988 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 154145417 14314082304 7094 33554432000 4194304 4196468 140734826177952 140238796065392 140239688419970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20567] ppid=20553 vsize=13978596 memory=139639424829056 CPUtime=0.01 cores=1,3,5,7
/proc/20555/task/20567/stat : 20567 (java) R 20553 20553 19988 0 -1 4202560 317 0 0 0 1 0 0 0 20 0 15 0 154145417 14314082304 7094 33554432000 4194304 4196468 140734826177952 140238795012848 140239681505659 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20568] ppid=20553 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20568/stat : 20568 (java) S 20553 20553 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154145417 14314082304 7094 33554432000 4194304 4196468 140734826177952 140238793960544 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20569] ppid=20553 vsize=13978596 memory=139639424829056 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20569/stat : 20569 (java) S 20553 20553 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154145417 14314082304 7094 33554432000 4194304 4196468 140734826177952 140238792907056 140239688419970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29760 KiB

[startup+0.215936 s]*
/proc/loadavg: 1.88 1.82 1.50 4/217 20569
/proc/meminfo: memFree=20858852/32770624 swapFree=67108860/67108860
[pid=20553] ppid=20550 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20553/stat : 20553 (xcsp3-exec) S 20550 20553 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154145411 9740288 346 33554432000 4194304 5098028 140727156000880 140727155998984 140322371388028 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27090944 140727156008052 140727156008256 140727156008256 140727156010987 0
/proc/20553/statm: 2378 346 289 221 0 87 0
[pid=20555] ppid=20553 vsize=13982884 memory=40424 CPUtime=0.33 cores=1,3,5,7
/proc/20555/stat : 20555 (java) S 20553 20553 19988 0 -1 1077944320 8185 0 0 0 31 2 0 0 20 0 15 0 154145411 14318473216 10106 33554432000 4194304 4196468 140734826177952 140734826160496 140239688408823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
/proc/20555/statm: 3495721 10106 3047 1 0 3482974 0
[pid=20555/tid=20556] ppid=20553 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/20555/task/20556/stat : 20556 (java) R 20553 20553 19988 0 -1 1077944384 5343 0 0 0 18 1 0 0 20 0 15 0 154145411 14318440448 10106 33554432000 4194304 4196468 140734826177952 140239692619616 140239681088045 0 4 0 16800975 18446744072101760548 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20557] ppid=20553 vsize=13982852 memory=9107 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20557/stat : 20557 (java) S 20553 20553 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154145412 14318440448 10106 33554432000 4194304 4196468 140734826177952 140239618497296 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20558] ppid=20553 vsize=13982852 memory=4121267757001229984 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20558/stat : 20558 (java) S 20553 20553 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154145412 14318440448 10106 33554432000 4194304 4196468 140734826177952 140239617444752 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20559] ppid=20553 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20559/stat : 20559 (java) S 20553 20553 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154145412 14318440448 10106 33554432000 4194304 4196468 140734826177952 140239616392208 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20560] ppid=20553 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20560/stat : 20560 (java) S 20553 20553 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154145412 14318440448 10106 33554432000 4194304 4196468 140734826177952 140239615339664 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20561] ppid=20553 vsize=13982884 memory=139639424829056 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20561/stat : 20561 (java) S 20553 20553 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154145414 14318473216 10106 33554432000 4194304 4196468 140734826177952 140238801328112 140239688419970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20562] ppid=20553 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20562/stat : 20562 (java) S 20553 20553 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154145414 14318473216 10106 33554432000 4194304 4196468 140734826177952 140238800274336 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20563] ppid=20553 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20563/stat : 20563 (java) S 20553 20553 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154145414 14318440448 10106 33554432000 4194304 4196468 140734826177952 140238799221744 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20564] ppid=20553 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20564/stat : 20564 (java) S 20553 20553 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154145417 14318440448 10106 33554432000 4194304 4196468 140734826177952 140238798170320 140239688427419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20565] ppid=20553 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20555/task/20565/stat : 20565 (java) S 20553 20553 19988 0 -1 1077944384 514 0 0 0 2 0 0 0 20 0 15 0 154145417 14318440448 10106 33554432000 4194304 4196468 140734826177952 140238797117936 140239688419970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20566] ppid=20553 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/20555/task/20566/stat : 20566 (java) S 20553 20553 19988 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 15 0 154145417 14318440448 10106 33554432000 4194304 4196468 140734826177952 140238796065392 140239688419970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20567] ppid=20553 vsize=13982852 memory=139639424829056 CPUtime=0.08 cores=1,3,5,7
/proc/20555/task/20567/stat : 20567 (java) S 20553 20553 19988 0 -1 1077944384 727 0 0 0 8 0 0 0 20 0 15 0 154145417 14318440448 10106 33554432000 4194304 4196468 140734826177952 140238795012848 140239688419970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20568] ppid=20553 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20568/stat : 20568 (java) S 20553 20553 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154145417 14318440448 10106 33554432000 4194304 4196468 140734826177952 140238793960544 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20569] ppid=20553 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20569/stat : 20569 (java) S 20553 20553 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154145417 14318473216 10106 33554432000 4194304 4196468 140734826177952 140238792907056 140239688419970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992396 KiB
Current children cumulated memory: 41808 KiB

[startup+0.319938 s]*
/proc/loadavg: 1.88 1.82 1.50 4/217 20569
/proc/meminfo: memFree=20852152/32770624 swapFree=67108860/67108860
[pid=20553] ppid=20550 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20553/stat : 20553 (xcsp3-exec) S 20550 20553 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154145411 9740288 346 33554432000 4194304 5098028 140727156000880 140727155998984 140322371388028 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27090944 140727156008052 140727156008256 140727156008256 140727156010987 0
/proc/20553/statm: 2378 346 289 221 0 87 0
[pid=20555] ppid=20553 vsize=13982852 memory=47280 CPUtime=0.53 cores=1,3,5,7
/proc/20555/stat : 20555 (java) S 20553 20553 19988 0 -1 1077944320 8975 0 0 0 50 3 0 0 20 0 15 0 154145411 14318440448 11820 33554432000 4194304 4196468 140734826177952 140734826160496 140239688408823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
/proc/20555/statm: 3495713 11820 3129 1 0 3482966 0
[pid=20555/tid=20556] ppid=20553 vsize=13982852 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/20555/task/20556/stat : 20556 (java) R 20553 20553 19988 0 -1 4202560 5930 0 0 0 28 2 0 0 20 0 15 0 154145411 14318440448 11820 33554432000 4194304 4196468 140734826177952 140239692646640 140239688430749 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20557] ppid=20553 vsize=13982852 memory=9469 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20557/stat : 20557 (java) S 20553 20553 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154145412 14318440448 11820 33554432000 4194304 4196468 140734826177952 140239618497296 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20558] ppid=20553 vsize=13982852 memory=3761694506559471648 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20558/stat : 20558 (java) S 20553 20553 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154145412 14318440448 11820 33554432000 4194304 4196468 140734826177952 140239617444752 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20559] ppid=20553 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20559/stat : 20559 (java) S 20553 20553 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154145412 14318440448 11820 33554432000 4194304 4196468 140734826177952 140239616392208 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20560] ppid=20553 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20560/stat : 20560 (java) S 20553 20553 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154145412 14318440448 11820 33554432000 4194304 4196468 140734826177952 140239615339664 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20561] ppid=20553 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20561/stat : 20561 (java) S 20553 20553 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154145414 14318440448 11820 33554432000 4194304 4196468 140734826177952 140238801328112 140239688419970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20562] ppid=20553 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20562/stat : 20562 (java) S 20553 20553 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154145414 14318440448 11820 33554432000 4194304 4196468 140734826177952 140238800274336 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20563] ppid=20553 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20563/stat : 20563 (java) S 20553 20553 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154145414 14318440448 11820 33554432000 4194304 4196468 140734826177952 140238799221744 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20564] ppid=20553 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20564/stat : 20564 (java) S 20553 20553 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154145417 14318440448 11820 33554432000 4194304 4196468 140734826177952 140238798170320 140239688427419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20565] ppid=20553 vsize=13982852 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/20555/task/20565/stat : 20565 (java) R 20553 20553 19988 0 -1 4202560 561 0 0 0 5 0 0 0 20 0 15 0 154145417 14318440448 11820 33554432000 4194304 4196468 140734826177952 140238797107728 140239672795879 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20566] ppid=20553 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20555/task/20566/stat : 20566 (java) R 20553 20553 19988 0 -1 1077944384 334 0 0 0 2 0 0 0 20 0 15 0 154145417 14318440448 11820 33554432000 4194304 4196468 140734826177952 140238796065488 140239688419029 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20567] ppid=20553 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/20555/task/20567/stat : 20567 (java) R 20553 20553 19988 0 -1 4202560 846 0 0 0 13 0 0 0 20 0 15 0 154145417 14318440448 11820 33554432000 4194304 4196468 140734826177952 140238795009216 140239667324103 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20568] ppid=20553 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20568/stat : 20568 (java) S 20553 20553 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154145417 14318440448 11820 33554432000 4194304 4196468 140734826177952 140238793960544 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20569] ppid=20553 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20569/stat : 20569 (java) S 20553 20553 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154145417 14318440448 11820 33554432000 4194304 4196468 140734826177952 140238792907056 140239688419970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48664 KiB

[startup+0.700837 s]
/proc/loadavg: 1.88 1.82 1.50 5/217 20569
/proc/meminfo: memFree=20833788/32770624 swapFree=67108860/67108860
[pid=20553] ppid=20550 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20553/stat : 20553 (xcsp3-exec) S 20550 20553 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154145411 9740288 346 33554432000 4194304 5098028 140727156000880 140727155998984 140322371388028 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27090944 140727156008052 140727156008256 140727156008256 140727156010987 0
/proc/20553/statm: 2378 346 289 221 0 87 0
[pid=20555] ppid=20553 vsize=13984976 memory=76732 CPUtime=1.72 cores=1,3,5,7
/proc/20555/stat : 20555 (java) S 20553 20553 19988 0 -1 1077944320 11757 0 0 0 168 4 0 0 20 0 15 0 154145411 14320615424 19183 33554432000 4194304 4196468 140734826177952 140734826160496 140239688408823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
/proc/20555/statm: 3496244 19183 3201 1 0 3483478 0
[pid=20555/tid=20556] ppid=20553 vsize=13984976 memory=23592 CPUtime=0.66 cores=1,3,5,7
/proc/20555/task/20556/stat : 20556 (java) R 20553 20553 19988 0 -1 4202560 6454 0 0 0 64 2 0 0 20 0 15 0 154145411 14320615424 19183 33554432000 4194304 4196468 140734826177952 140239692645520 140239293369687 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20557] ppid=20553 vsize=13984976 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20557/stat : 20557 (java) S 20553 20553 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154145412 14320615424 19183 33554432000 4194304 4196468 140734826177952 140239618497296 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20558] ppid=20553 vsize=13984976 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20558/stat : 20558 (java) S 20553 20553 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154145412 14320615424 19183 33554432000 4194304 4196468 140734826177952 140239617444752 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20559] ppid=20553 vsize=13984976 memory=640 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20559/stat : 20559 (java) S 20553 20553 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154145412 14320615424 19183 33554432000 4194304 4196468 140734826177952 140239616392208 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20560] ppid=20553 vsize=13984976 memory=956 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20560/stat : 20560 (java) S 20553 20553 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154145412 14320615424 19183 33554432000 4194304 4196468 140734826177952 140239615339664 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20561] ppid=20553 vsize=13984976 memory=2468 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20561/stat : 20561 (java) S 20553 20553 19988 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154145414 14320615424 19183 33554432000 4194304 4196468 140734826177952 140238801328112 140239688419970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20562] ppid=20553 vsize=13984976 memory=1576 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20562/stat : 20562 (java) S 20553 20553 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154145414 14320615424 19183 33554432000 4194304 4196468 140734826177952 140238800274336 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20563] ppid=20553 vsize=13984976 memory=932 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20563/stat : 20563 (java) S 20553 20553 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154145414 14320615424 19183 33554432000 4194304 4196468 140734826177952 140238799221744 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20564] ppid=20553 vsize=13984976 memory=2236 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20564/stat : 20564 (java) S 20553 20553 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154145417 14320615424 19183 33554432000 4194304 4196468 140734826177952 140238798170320 140239688427419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20565] ppid=20553 vsize=13984976 memory=4124 CPUtime=0.33 cores=1,3,5,7
/proc/20555/task/20565/stat : 20565 (java) R 20553 20553 19988 0 -1 4202560 1234 0 0 0 33 0 0 0 20 0 15 0 154145417 14320615424 19183 33554432000 4194304 4196468 140734826177952 140238797101952 140239669593446 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20566] ppid=20553 vsize=13984976 memory=2200 CPUtime=0.32 cores=1,3,5,7
/proc/20555/task/20566/stat : 20566 (java) R 20553 20553 19988 0 -1 4202560 1166 0 0 0 32 0 0 0 20 0 15 0 154145417 14320615424 19183 33554432000 4194304 4196468 140734826177952 140238796043264 140239673330626 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20567] ppid=20553 vsize=13984976 memory=7528 CPUtime=0.37 cores=1,3,5,7
/proc/20555/task/20567/stat : 20567 (java) S 20553 20553 19988 0 -1 1077944384 1595 0 0 0 37 0 0 0 20 0 15 0 154145417 14320615424 19183 33554432000 4194304 4196468 140734826177952 140238795012848 140239688419970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20568] ppid=20553 vsize=13984976 memory=840 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20568/stat : 20568 (java) S 20553 20553 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154145417 14320615424 19183 33554432000 4194304 4196468 140734826177952 140238793960544 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20569] ppid=20553 vsize=13984976 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20569/stat : 20569 (java) S 20553 20553 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154145417 14320615424 19183 33554432000 4194304 4196468 140734826177952 140238792907056 140239688419970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 78116 KiB

[startup+1.50079 s]
/proc/loadavg: 1.88 1.82 1.50 3/217 20569
/proc/meminfo: memFree=20803092/32770624 swapFree=67108860/67108860
[pid=20553] ppid=20550 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20553/stat : 20553 (xcsp3-exec) S 20550 20553 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154145411 9740288 346 33554432000 4194304 5098028 140727156000880 140727155998984 140322371388028 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27090944 140727156008052 140727156008256 140727156008256 140727156010987 0
/proc/20553/statm: 2378 346 289 221 0 87 0

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

/proc/20555/task/20563/stat : 20563 (java) S 20553 20553 19988 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154145414 14322712576 121518 33554432000 4194304 4196468 140734826177952 140238799221744 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20564] ppid=20553 vsize=13987024 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20564/stat : 20564 (java) S 20553 20553 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154145417 14322712576 121518 33554432000 4194304 4196468 140734826177952 140238798170320 140239688427419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20565] ppid=20553 vsize=13987024 memory=1944 CPUtime=6.32 cores=1,3,5,7
/proc/20555/task/20565/stat : 20565 (java) S 20553 20553 19988 0 -1 1077944384 29903 0 0 0 627 5 0 0 20 0 15 0 154145417 14322712576 121518 33554432000 4194304 4196468 140734826177952 140238797117936 140239688419970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20566] ppid=20553 vsize=13987024 memory=1700 CPUtime=6.27 cores=1,3,5,7
/proc/20555/task/20566/stat : 20566 (java) S 20553 20553 19988 0 -1 1077944384 27016 0 0 0 625 2 0 0 20 0 15 0 154145417 14322712576 121518 33554432000 4194304 4196468 140734826177952 140238796065392 140239688419970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20567] ppid=20553 vsize=13987024 memory=42752 CPUtime=1.01 cores=1,3,5,7
/proc/20555/task/20567/stat : 20567 (java) S 20553 20553 19988 0 -1 1077944384 11363 0 0 0 100 1 0 0 20 0 15 0 154145417 14322712576 121518 33554432000 4194304 4196468 140734826177952 140238795012848 140239688419970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20568] ppid=20553 vsize=13987024 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20568/stat : 20568 (java) S 20553 20553 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154145417 14322712576 121518 33554432000 4194304 4196468 140734826177952 140238793960544 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20569] ppid=20553 vsize=13987024 memory=2428 CPUtime=0.05 cores=1,3,5,7
/proc/20555/task/20569/stat : 20569 (java) S 20553 20553 19988 0 -1 1077944384 1393 0 0 0 2 3 0 0 20 0 15 0 154145417 14322712576 121518 33554432000 4194304 4196468 140734826177952 140238792907056 140239688419970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
Current children cumulated CPU time: 118.03 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 487456 KiB

[startup+162.301 s]
/proc/loadavg: 1.77 1.79 1.53 3/217 20649
/proc/meminfo: memFree=20211804/32770624 swapFree=67108860/67108860
[pid=20553] ppid=20550 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20553/stat : 20553 (xcsp3-exec) S 20550 20553 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154145411 9740288 346 33554432000 4194304 5098028 140727156000880 140727155998984 140322371388028 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27090944 140727156008052 140727156008256 140727156008256 140727156010987 0
/proc/20553/statm: 2378 346 289 221 0 87 0
[pid=20555] ppid=20553 vsize=13987024 memory=488264 CPUtime=180.27 cores=1,3,5,7
/proc/20555/stat : 20555 (java) S 20553 20553 19988 0 -1 1077944320 105923 0 0 0 17943 84 0 0 20 0 15 0 154145411 14322712576 122066 33554432000 4194304 4196468 140734826177952 140734826160496 140239688408823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
/proc/20555/statm: 3496756 122066 3284 1 0 3483990 0
[pid=20555/tid=20556] ppid=20553 vsize=13987024 memory=1384 CPUtime=160.79 cores=1,3,5,7
/proc/20555/task/20556/stat : 20556 (java) R 20553 20553 19988 0 -1 4202560 17145 0 0 0 16071 8 0 0 20 0 15 0 154145411 14322712576 122066 33554432000 4194304 4196468 140734826177952 140239692648512 140239297340534 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20557] ppid=20553 vsize=13987024 memory=496416 CPUtime=1.33 cores=1,3,5,7
/proc/20555/task/20557/stat : 20557 (java) S 20553 20553 19988 0 -1 1077944384 1614 0 0 0 118 15 0 0 20 0 15 0 154145412 14322712576 122066 33554432000 4194304 4196468 140734826177952 140239618497296 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20558] ppid=20553 vsize=13987024 memory=1384 CPUtime=1.32 cores=1,3,5,7
/proc/20555/task/20558/stat : 20558 (java) S 20553 20553 19988 0 -1 1077944384 1602 0 0 0 117 15 0 0 20 0 15 0 154145412 14322712576 122066 33554432000 4194304 4196468 140734826177952 140239617444752 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20559] ppid=20553 vsize=13987024 memory=1384 CPUtime=1.33 cores=1,3,5,7
/proc/20555/task/20559/stat : 20559 (java) S 20553 20553 19988 0 -1 1077944384 3402 0 0 0 118 15 0 0 20 0 15 0 154145412 14322712576 122066 33554432000 4194304 4196468 140734826177952 140239616392208 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20560] ppid=20553 vsize=13987024 memory=498468 CPUtime=1.31 cores=1,3,5,7
/proc/20555/task/20560/stat : 20560 (java) S 20553 20553 19988 0 -1 1077944384 2155 0 0 0 116 15 0 0 20 0 15 0 154145412 14322712576 122066 33554432000 4194304 4196468 140734826177952 140239615339664 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20561] ppid=20553 vsize=13987024 memory=1384 CPUtime=0.11 cores=1,3,5,7
/proc/20555/task/20561/stat : 20561 (java) S 20553 20553 19988 0 -1 1077944384 5685 0 0 0 10 1 0 0 20 0 15 0 154145414 14322712576 122066 33554432000 4194304 4196468 140734826177952 140238801328112 140239688419970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20562] ppid=20553 vsize=13987024 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20562/stat : 20562 (java) S 20553 20553 19988 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154145414 14322712576 122066 33554432000 4194304 4196468 140734826177952 140238800274336 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20563] ppid=20553 vsize=13987024 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20563/stat : 20563 (java) S 20553 20553 19988 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154145414 14322712576 122066 33554432000 4194304 4196468 140734826177952 140238799221744 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20564] ppid=20553 vsize=13987024 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20564/stat : 20564 (java) S 20553 20553 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154145417 14322712576 122066 33554432000 4194304 4196468 140734826177952 140238798170320 140239688427419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20565] ppid=20553 vsize=13987024 memory=488264 CPUtime=6.47 cores=1,3,5,7
/proc/20555/task/20565/stat : 20565 (java) S 20553 20553 19988 0 -1 1077944384 31917 0 0 0 642 5 0 0 20 0 15 0 154145417 14322712576 122066 33554432000 4194304 4196468 140734826177952 140238797117936 140239688419970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20566] ppid=20553 vsize=13987024 memory=4140 CPUtime=6.44 cores=1,3,5,7
/proc/20555/task/20566/stat : 20566 (java) S 20553 20553 19988 0 -1 1077944384 28195 0 0 0 641 3 0 0 20 0 15 0 154145417 14322712576 122066 33554432000 4194304 4196468 140734826177952 140238796065392 140239688419970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20567] ppid=20553 vsize=13987024 memory=42752 CPUtime=1.02 cores=1,3,5,7
/proc/20555/task/20567/stat : 20567 (java) S 20553 20553 19988 0 -1 1077944384 11408 0 0 0 101 1 0 0 20 0 15 0 154145417 14322712576 122066 33554432000 4194304 4196468 140734826177952 140238795012848 140239688419970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20568] ppid=20553 vsize=13987024 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20568/stat : 20568 (java) S 20553 20553 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154145417 14322712576 122066 33554432000 4194304 4196468 140734826177952 140238793960544 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20569] ppid=20553 vsize=13987024 memory=42752 CPUtime=0.07 cores=1,3,5,7
/proc/20555/task/20569/stat : 20569 (java) S 20553 20553 19988 0 -1 1077944384 1452 0 0 0 3 4 0 0 20 0 15 0 154145417 14322712576 122066 33554432000 4194304 4196468 140734826177952 140238792907056 140239688419970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
Current children cumulated CPU time: 180.27 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 489648 KiB

[startup+222.301 s]
/proc/loadavg: 1.50 1.70 1.51 3/217 20650
/proc/meminfo: memFree=19969240/32770624 swapFree=67108860/67108860
[pid=20553] ppid=20550 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20553/stat : 20553 (xcsp3-exec) S 20550 20553 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154145411 9740288 346 33554432000 4194304 5098028 140727156000880 140727155998984 140322371388028 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27090944 140727156008052 140727156008256 140727156008256 140727156010987 0
/proc/20553/statm: 2378 346 289 221 0 87 0
[pid=20555] ppid=20553 vsize=13987024 memory=555896 CPUtime=241.97 cores=1,3,5,7
/proc/20555/stat : 20555 (java) S 20553 20553 19988 0 -1 1077944320 112802 0 0 0 24099 98 0 0 20 0 15 0 154145411 14322712576 138974 33554432000 4194304 4196468 140734826177952 140734826160496 140239688408823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
/proc/20555/statm: 3496756 138974 3285 1 0 3483990 0
[pid=20555/tid=20556] ppid=20553 vsize=13987024 memory=569240 CPUtime=220.17 cores=1,3,5,7
/proc/20555/task/20556/stat : 20556 (java) R 20553 20553 19988 0 -1 4202560 18507 0 0 0 22009 8 0 0 20 0 15 0 154145411 14322712576 138974 33554432000 4194304 4196468 140734826177952 140239692648480 140239297338182 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20557] ppid=20553 vsize=13987024 memory=569236 CPUtime=1.88 cores=1,3,5,7
/proc/20555/task/20557/stat : 20557 (java) S 20553 20553 19988 0 -1 1077944384 2371 0 0 0 171 17 0 0 20 0 15 0 154145412 14322712576 138974 33554432000 4194304 4196468 140734826177952 140239618497296 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20558] ppid=20553 vsize=13987024 memory=1384 CPUtime=1.87 cores=1,3,5,7
/proc/20555/task/20558/stat : 20558 (java) S 20553 20553 19988 0 -1 1077944384 2407 0 0 0 170 17 0 0 20 0 15 0 154145412 14322712576 138974 33554432000 4194304 4196468 140734826177952 140239617444752 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20559] ppid=20553 vsize=13987024 memory=1384 CPUtime=1.88 cores=1,3,5,7
/proc/20555/task/20559/stat : 20559 (java) S 20553 20553 19988 0 -1 1077944384 4168 0 0 0 171 17 0 0 20 0 15 0 154145412 14322712576 138974 33554432000 4194304 4196468 140734826177952 140239616392208 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20560] ppid=20553 vsize=13987024 memory=555896 CPUtime=1.87 cores=1,3,5,7
/proc/20555/task/20560/stat : 20560 (java) S 20553 20553 19988 0 -1 1077944384 3150 0 0 0 169 18 0 0 20 0 15 0 154145412 14322712576 138974 33554432000 4194304 4196468 140734826177952 140239615339664 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20561] ppid=20553 vsize=13987024 memory=1384 CPUtime=0.15 cores=1,3,5,7
/proc/20555/task/20561/stat : 20561 (java) S 20553 20553 19988 0 -1 1077944384 7862 0 0 0 13 2 0 0 20 0 15 0 154145414 14322712576 138974 33554432000 4194304 4196468 140734826177952 140238801328112 140239688419970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20562] ppid=20553 vsize=13987024 memory=279278638259144 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20562/stat : 20562 (java) S 20553 20553 19988 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154145414 14322712576 138974 33554432000 4194304 4196468 140734826177952 140238800274336 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20563] ppid=20553 vsize=13987024 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20563/stat : 20563 (java) S 20553 20553 19988 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154145414 14322712576 138974 33554432000 4194304 4196468 140734826177952 140238799221744 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20564] ppid=20553 vsize=13987024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20564/stat : 20564 (java) S 20553 20553 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154145417 14322712576 138974 33554432000 4194304 4196468 140734826177952 140238798170320 140239688427419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20565] ppid=20553 vsize=13987024 memory=5933607302419928165 CPUtime=6.47 cores=1,3,5,7
/proc/20555/task/20565/stat : 20565 (java) S 20553 20553 19988 0 -1 1077944384 31919 0 0 0 642 5 0 0 20 0 15 0 154145417 14322712576 138974 33554432000 4194304 4196468 140734826177952 140238797117936 140239688419970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20566] ppid=20553 vsize=13987024 memory=8171897334845433449 CPUtime=6.44 cores=1,3,5,7
/proc/20555/task/20566/stat : 20566 (java) S 20553 20553 19988 0 -1 1077944384 28197 0 0 0 641 3 0 0 20 0 15 0 154145417 14322712576 138974 33554432000 4194304 4196468 140734826177952 140238796065392 140239688419970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20567] ppid=20553 vsize=13987024 memory=4140 CPUtime=1.02 cores=1,3,5,7
/proc/20555/task/20567/stat : 20567 (java) S 20553 20553 19988 0 -1 1077944384 11410 0 0 0 101 1 0 0 20 0 15 0 154145417 14322712576 138974 33554432000 4194304 4196468 140734826177952 140238795012848 140239688419970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20568] ppid=20553 vsize=13987024 memory=42752 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20568/stat : 20568 (java) S 20553 20553 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154145417 14322712576 138974 33554432000 4194304 4196468 140734826177952 140238793960544 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20569] ppid=20553 vsize=13987024 memory=1384 CPUtime=0.11 cores=1,3,5,7
/proc/20555/task/20569/stat : 20569 (java) S 20553 20553 19988 0 -1 1077944384 1463 0 0 0 5 6 0 0 20 0 15 0 154145417 14322712576 138974 33554432000 4194304 4196468 140734826177952 140238792907056 140239688419970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
Current children cumulated CPU time: 241.97 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 557280 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.44 1.67 1.51 3/217 20650
/proc/meminfo: memFree=19946144/32770624 swapFree=67108860/67108860
[pid=20553] ppid=20550 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/20553/stat : 20553 (xcsp3-exec) S 20550 20553 19988 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154145411 9740288 346 33554432000 4194304 5098028 140727156000880 140727155998984 140322371388028 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27090944 140727156008052 140727156008256 140727156008256 140727156010987 0
/proc/20553/statm: 2378 346 289 221 0 87 0
[pid=20555] ppid=20553 vsize=13987024 memory=542244 CPUtime=260.08 cores=1,3,5,7
/proc/20555/stat : 20555 (java) S 20553 20553 19988 0 -1 1077944320 115030 0 0 0 25907 101 0 0 20 0 15 0 154145411 14322712576 135561 33554432000 4194304 4196468 140734826177952 140734826160496 140239688408823 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
/proc/20555/statm: 3496756 135561 3285 1 0 3483990 0
[pid=20555/tid=20556] ppid=20553 vsize=13987024 memory=6791534058613427641 CPUtime=237.73 cores=1,3,5,7
/proc/20555/task/20556/stat : 20556 (java) R 20553 20553 19988 0 -1 4202560 19139 0 0 0 23765 8 0 0 20 0 15 0 154145411 14322712576 135561 33554432000 4194304 4196468 140734826177952 140239692648256 140239297340579 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20557] ppid=20553 vsize=13987024 memory=1228 CPUtime=2.02 cores=1,3,5,7
/proc/20555/task/20557/stat : 20557 (java) S 20553 20553 19988 0 -1 1077944384 2435 0 0 0 184 18 0 0 20 0 15 0 154145412 14322712576 135561 33554432000 4194304 4196468 140734826177952 140239618497296 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20558] ppid=20553 vsize=13987024 memory=5428 CPUtime=2.01 cores=1,3,5,7
/proc/20555/task/20558/stat : 20558 (java) S 20553 20553 19988 0 -1 1077944384 2483 0 0 0 183 18 0 0 20 0 15 0 154145412 14322712576 135561 33554432000 4194304 4196468 140734826177952 140239617444752 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20559] ppid=20553 vsize=13987024 memory=4624 CPUtime=2.02 cores=1,3,5,7
/proc/20555/task/20559/stat : 20559 (java) S 20553 20553 19988 0 -1 1077944384 4208 0 0 0 184 18 0 0 20 0 15 0 154145412 14322712576 135561 33554432000 4194304 4196468 140734826177952 140239616392208 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20560] ppid=20553 vsize=13987024 memory=4872558044660077418 CPUtime=2.01 cores=1,3,5,7
/proc/20555/task/20560/stat : 20560 (java) S 20553 20553 19988 0 -1 1077944384 3456 0 0 0 182 19 0 0 20 0 15 0 154145412 14322712576 135561 33554432000 4194304 4196468 140734826177952 140239615339664 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20561] ppid=20553 vsize=13987024 memory=916 CPUtime=0.16 cores=1,3,5,7
/proc/20555/task/20561/stat : 20561 (java) S 20553 20553 19988 0 -1 1077944384 8103 0 0 0 14 2 0 0 20 0 15 0 154145414 14322712576 135561 33554432000 4194304 4196468 140734826177952 140238801328112 140239688419970 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20562] ppid=20553 vsize=13987024 memory=3832 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20562/stat : 20562 (java) S 20553 20553 19988 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154145414 14322712576 135561 33554432000 4194304 4196468 140734826177952 140238800274336 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20563] ppid=20553 vsize=13987024 memory=2548 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20563/stat : 20563 (java) S 20553 20553 19988 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 154145414 14322712576 135561 33554432000 4194304 4196468 140734826177952 140238799221744 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20564] ppid=20553 vsize=13987024 memory=2544 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20564/stat : 20564 (java) S 20553 20553 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154145417 14322712576 135561 33554432000 4194304 4196468 140734826177952 140238798170320 140239688427419 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20565] ppid=20553 vsize=13987024 memory=1156 CPUtime=6.47 cores=1,3,5,7
/proc/20555/task/20565/stat : 20565 (java) S 20553 20553 19988 0 -1 1077944384 31919 0 0 0 642 5 0 0 20 0 15 0 154145417 14322712576 135561 33554432000 4194304 4196468 140734826177952 140238797117936 140239688419970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20566] ppid=20553 vsize=13987024 memory=2992 CPUtime=6.44 cores=1,3,5,7
/proc/20555/task/20566/stat : 20566 (java) S 20553 20553 19988 0 -1 1077944384 28198 0 0 0 641 3 0 0 20 0 15 0 154145417 14322712576 135561 33554432000 4194304 4196468 140734826177952 140238796065392 140239688419970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20567] ppid=20553 vsize=13987024 memory=1384 CPUtime=1.02 cores=1,3,5,7
/proc/20555/task/20567/stat : 20567 (java) S 20553 20553 19988 0 -1 1077944384 12260 0 0 0 101 1 0 0 20 0 15 0 154145417 14322712576 135561 33554432000 4194304 4196468 140734826177952 140238795012848 140239688419970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20568] ppid=20553 vsize=13987024 memory=533776 CPUtime=0 cores=1,3,5,7
/proc/20555/task/20568/stat : 20568 (java) S 20553 20553 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154145417 14322712576 135561 33554432000 4194304 4196468 140734826177952 140238793960544 140239688419029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
[pid=20555/tid=20569] ppid=20553 vsize=13987024 memory=1156 CPUtime=0.12 cores=1,3,5,7
/proc/20555/task/20569/stat : 20569 (java) S 20553 20553 19988 0 -1 1077944384 1481 0 0 0 5 7 0 0 20 0 15 0 154145417 14322712576 135561 33554432000 4194304 4196468 140734826177952 140238792907056 140239688419970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16158720 140734826181789 140734826181964 140734826181964 140734826184655 0
Current children cumulated CPU time: 260.08 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 543628 KiB

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

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

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

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

Child status: 143
Real time (s): 240.049
CPU time (s): 260.201
CPU user time (s): 259.159
CPU system time (s): 1.04272
CPU usage (%): 108.395
Max. virtual memory (cumulated for all children) (KiB): 13996536
Max. memory (cumulated for all children) (KiB): 607564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 259.159
system time used= 1.04272
maximum resident set size= 606180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 115951
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10416
involuntary context switches= 625


# summary of solver processes directly reported to runsolver:
#   pid: 20553,20555
#   total CPU time (s): 260.201
#   total CPU user time (s): 259.159
#   total CPU system time (s): 1.04272

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.34251 second user time and 2.57802 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	338
Best CPU time to get the best result obtained on this benchmark	251.815
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 4284541

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