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 4.0.5 seq (2017-08-18)	SAT (TO)	289	245.985	240.02299

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283072-1503210525.xml"  -tl '264s' -p 1 -x 0
0.12/0.14	c [HOME/instance-4283072-1503210525.xml, -tl, 264s, -p, 1, -x, 0]
0.12/0.19	c simple solver
0.33/0.26	c parse instance...
2.02/0.93	c solve instance...
13.17/9.46	o 277 
13.35/9.55	o 279 
20.45/15.64	o 287 
20.88/16.10	o 289 
245.96/240.01	s SATISFIABLE
245.96/240.01	v <instantiation>
245.96/240.01	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] z </list>
245.96/240.01	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 1 1 0 0 0 0 1 0 0 1 0 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 1 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 1 1 1 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 0 1 1 0 1 0 0 1 1 1 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 1 1 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 0 0 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 1 1 0 0 1 0 1 1 1 2 2 2 2 2 1 1 0 0 0 1 1 1 0 1 1 0 1 0 2 2 1 0 1 1 1 0 1 0 1 2 1 1 2 2 0 0 0 0 0 2 1 0 0 1 1 0 1 1 2 1 1 0 1 1 1 0 0 1 0 0 0 1 2 0 0 0 0 0 2 2 0 2 0 1 0 0 1 1 1 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 2 0 1 1 0 2 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 2 2 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 1 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 0 1 1 1 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 2 0 1 1 2 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 2 1 1 2 2 0 1 0 0 1 2 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 2 2 2 1 0 1 1 2 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 1 2 1 1 1 1 0 0 1 0 1 2 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 0 0 1 0 0 1 1 2 2 0 0 0 0 0 0 0 0 0 2 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 2 0 0 0 0 0 0 0 0 1 1 2 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 2 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 2 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 2 0 0 0 0 1 0 0 1 0 1 2 2 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 1 1 1 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 2 1 1 2 2 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 2 2 2 2 2 2 0 1 0 0 0 0 0 0 0 0 1 0 0 0 2 1 1 1 1 0 1 1 1 2 2 2 2 2 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 2 1 1 0 0 1 1 1 1 2 2 2 2 2 1 0 1 1 1 0 0 0 2 0 0 0 0 0 1 1 1 0 1 1 1 2 1 0 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 18 47 70 86 94 103 116 125 136 145 156 166 181 195 214 230 241 249 258 269 282 295 299 304 321 344 367 393 410 289 </values>
245.96/240.01	v </instantiation>
245.96/240.01	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 (12497 MiB free)
  memory of node 1: 16384 MiB (11595 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283072-1503210525/watcher-4283072-1503210525 -o /tmp/evaluation-result-4283072-1503210525/solver-4283072-1503210525 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node148-1503208459-17467 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1556343213 HOME/instance-4283072-1503210525.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=18353, runsolver pid=18350

[startup+0.100134 s]*
/proc/loadavg: 2.35 2.02 1.60 3/218 18369
/proc/meminfo: memFree=24653464/32770624 swapFree=67108860/67108860
[pid=18353] ppid=18350 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/18353/stat : 18353 (xcsp3-exec) S 18350 18353 17435 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154133401 9740288 346 33554432000 4194304 5098028 140723680031744 140723680029848 140244340138620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29163520 140723680040052 140723680040256 140723680040256 140723680042987 0
/proc/18353/statm: 2378 346 289 221 0 87 0
[pid=18355] ppid=18353 vsize=13978596 memory=28084 CPUtime=0.12 cores=1,3,5,7
/proc/18355/stat : 18355 (java) S 18353 18353 17435 0 -1 1077944320 5381 0 0 0 11 1 0 0 20 0 15 0 154133401 14314082304 7021 33554432000 4194304 4196468 140735673278864 140735673261408 140683997265655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
/proc/18355/statm: 3494649 7021 2875 1 0 3482966 0
[pid=18355/tid=18356] ppid=18353 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/18355/task/18356/stat : 18356 (java) S 18353 18353 17435 0 -1 1077944384 3312 0 0 0 9 0 0 0 20 0 15 0 154133401 14314082304 7021 33554432000 4194304 4196468 140735673278864 140684001502080 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18357] ppid=18353 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18357/stat : 18357 (java) S 18353 18353 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133402 14314082304 7021 33554432000 4194304 4196468 140735673278864 140683949886224 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18358] ppid=18353 vsize=13978596 memory=139737747003008 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18358/stat : 18358 (java) S 18353 18353 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154133402 14314082304 7021 33554432000 4194304 4196468 140735673278864 140683948833680 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18359] ppid=18353 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18359/stat : 18359 (java) S 18353 18353 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133402 14314082304 7021 33554432000 4194304 4196468 140735673278864 140683947781136 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18360] ppid=18353 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18360/stat : 18360 (java) S 18353 18353 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154133402 14314082304 7021 33554432000 4194304 4196468 140735673278864 140683946728592 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18361] ppid=18353 vsize=13978596 memory=139737747003008 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18361/stat : 18361 (java) S 18353 18353 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154133403 14314082304 7021 33554432000 4194304 4196468 140735673278864 140683538630640 140683997276802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18362] ppid=18353 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18362/stat : 18362 (java) S 18353 18353 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154133404 14314082304 7021 33554432000 4194304 4196468 140735673278864 140683537576864 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18363] ppid=18353 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18363/stat : 18363 (java) S 18353 18353 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154133404 14314082304 7021 33554432000 4194304 4196468 140735673278864 140683536524272 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18364] ppid=18353 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18364/stat : 18364 (java) S 18353 18353 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133406 14314082304 7021 33554432000 4194304 4196468 140735673278864 140683535472848 140683997284251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18365] ppid=18353 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18365/stat : 18365 (java) S 18353 18353 17435 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 154133406 14314082304 7021 33554432000 4194304 4196468 140735673278864 140683534420464 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18366] ppid=18353 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18366/stat : 18366 (java) S 18353 18353 17435 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 154133406 14314082304 7021 33554432000 4194304 4196468 140735673278864 140683465714288 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18367] ppid=18353 vsize=13978596 memory=139737747003008 CPUtime=0.01 cores=1,3,5,7
/proc/18355/task/18367/stat : 18367 (java) S 18353 18353 17435 0 -1 1077944384 355 0 0 0 1 0 0 0 20 0 15 0 154133406 14314082304 7021 33554432000 4194304 4196468 140735673278864 140683464661744 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18368] ppid=18353 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18368/stat : 18368 (java) S 18353 18353 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133407 14314082304 7021 33554432000 4194304 4196468 140735673278864 140683463609440 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18369] ppid=18353 vsize=13978596 memory=139737747003008 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18369/stat : 18369 (java) S 18353 18353 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133407 14314082304 7021 33554432000 4194304 4196468 140735673278864 140683462555952 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29468 KiB

[startup+0.210747 s]*
/proc/loadavg: 2.35 2.02 1.60 4/218 18369
/proc/meminfo: memFree=24642564/32770624 swapFree=67108860/67108860
[pid=18353] ppid=18350 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/18353/stat : 18353 (xcsp3-exec) S 18350 18353 17435 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154133401 9740288 346 33554432000 4194304 5098028 140723680031744 140723680029848 140244340138620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29163520 140723680040052 140723680040256 140723680040256 140723680042987 0
/proc/18353/statm: 2378 346 289 221 0 87 0
[pid=18355] ppid=18353 vsize=13982852 memory=40516 CPUtime=0.33 cores=1,3,5,7
/proc/18355/stat : 18355 (java) S 18353 18353 17435 0 -1 1077944320 8259 0 0 0 31 2 0 0 20 0 15 0 154133401 14318440448 10129 33554432000 4194304 4196468 140735673278864 140735673261408 140683997265655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
/proc/18355/statm: 3495713 10129 3074 1 0 3482966 0
[pid=18355/tid=18356] ppid=18353 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/18355/task/18356/stat : 18356 (java) R 18353 18353 17435 0 -1 4202560 5355 0 0 0 18 1 0 0 20 0 15 0 154133401 14318440448 10129 33554432000 4194304 4196468 140735673278864 140684001492432 140683981346142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18357] ppid=18353 vsize=13982852 memory=13650 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18357/stat : 18357 (java) S 18353 18353 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133402 14318440448 10129 33554432000 4194304 4196468 140735673278864 140683949886224 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18358] ppid=18353 vsize=13982852 memory=139737747776861 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18358/stat : 18358 (java) S 18353 18353 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154133402 14318440448 10129 33554432000 4194304 4196468 140735673278864 140683948833680 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18359] ppid=18353 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18359/stat : 18359 (java) S 18353 18353 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133402 14318440448 10129 33554432000 4194304 4196468 140735673278864 140683947781136 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18360] ppid=18353 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18360/stat : 18360 (java) S 18353 18353 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154133402 14318440448 10129 33554432000 4194304 4196468 140735673278864 140683946728592 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18361] ppid=18353 vsize=13982852 memory=139737747003008 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18361/stat : 18361 (java) S 18353 18353 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154133403 14318440448 10129 33554432000 4194304 4196468 140735673278864 140683538630640 140683997276802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18362] ppid=18353 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18362/stat : 18362 (java) S 18353 18353 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154133404 14318440448 10129 33554432000 4194304 4196468 140735673278864 140683537576864 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18363] ppid=18353 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18363/stat : 18363 (java) S 18353 18353 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154133404 14318440448 10129 33554432000 4194304 4196468 140735673278864 140683536524272 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18364] ppid=18353 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18364/stat : 18364 (java) S 18353 18353 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133406 14318440448 10129 33554432000 4194304 4196468 140735673278864 140683535472848 140683997284251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18365] ppid=18353 vsize=13982852 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/18355/task/18365/stat : 18365 (java) S 18353 18353 17435 0 -1 1077944384 487 0 0 0 1 0 0 0 20 0 15 0 154133406 14318440448 10129 33554432000 4194304 4196468 140735673278864 140683534420464 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18366] ppid=18353 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/18355/task/18366/stat : 18366 (java) S 18353 18353 17435 0 -1 1077944384 343 0 0 0 3 0 0 0 20 0 15 0 154133406 14318440448 10129 33554432000 4194304 4196468 140735673278864 140683465714288 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18367] ppid=18353 vsize=13982852 memory=139737747003008 CPUtime=0.08 cores=1,3,5,7
/proc/18355/task/18367/stat : 18367 (java) R 18353 18353 17435 0 -1 4202560 773 0 0 0 8 0 0 0 20 0 15 0 154133406 14318440448 10129 33554432000 4194304 4196468 140735673278864 140683464661744 140683975268569 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18368] ppid=18353 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18368/stat : 18368 (java) S 18353 18353 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133407 14318440448 10129 33554432000 4194304 4196468 140735673278864 140683463609440 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18369] ppid=18353 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18369/stat : 18369 (java) S 18353 18353 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133407 14318440448 10129 33554432000 4194304 4196468 140735673278864 140683462555952 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41900 KiB

[startup+0.310872 s]*
/proc/loadavg: 2.35 2.02 1.60 4/218 18369
/proc/meminfo: memFree=24636112/32770624 swapFree=67108860/67108860
[pid=18353] ppid=18350 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/18353/stat : 18353 (xcsp3-exec) S 18350 18353 17435 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154133401 9740288 346 33554432000 4194304 5098028 140723680031744 140723680029848 140244340138620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29163520 140723680040052 140723680040256 140723680040256 140723680042987 0
/proc/18353/statm: 2378 346 289 221 0 87 0
[pid=18355] ppid=18353 vsize=13982852 memory=47392 CPUtime=0.52 cores=1,3,5,7
/proc/18355/stat : 18355 (java) S 18353 18353 17435 0 -1 1077944320 8965 0 0 0 50 2 0 0 20 0 15 0 154133401 14318440448 11848 33554432000 4194304 4196468 140735673278864 140735673261408 140683997265655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
/proc/18355/statm: 3495713 11848 3116 1 0 3482966 0
[pid=18355/tid=18356] ppid=18353 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/18355/task/18356/stat : 18356 (java) R 18353 18353 17435 0 -1 4202560 5896 0 0 0 28 1 0 0 20 0 15 0 154133401 14318440448 11848 33554432000 4194304 4196468 140735673278864 140684001504880 140683616748290 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18357] ppid=18353 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18357/stat : 18357 (java) S 18353 18353 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133402 14318440448 11848 33554432000 4194304 4196468 140735673278864 140683949886224 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18358] ppid=18353 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18358/stat : 18358 (java) S 18353 18353 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154133402 14318440448 11848 33554432000 4194304 4196468 140735673278864 140683948833680 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18359] ppid=18353 vsize=13982852 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18359/stat : 18359 (java) S 18353 18353 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133402 14318440448 11848 33554432000 4194304 4196468 140735673278864 140683947781136 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18360] ppid=18353 vsize=13982852 memory=7593697182111006371 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18360/stat : 18360 (java) S 18353 18353 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154133402 14318440448 11848 33554432000 4194304 4196468 140735673278864 140683946728592 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18361] ppid=18353 vsize=13982852 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18361/stat : 18361 (java) S 18353 18353 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154133403 14318440448 11848 33554432000 4194304 4196468 140735673278864 140683538630640 140683997276802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18362] ppid=18353 vsize=13982852 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18362/stat : 18362 (java) S 18353 18353 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154133404 14318440448 11848 33554432000 4194304 4196468 140735673278864 140683537576864 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18363] ppid=18353 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18363/stat : 18363 (java) S 18353 18353 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154133404 14318440448 11848 33554432000 4194304 4196468 140735673278864 140683536524272 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18364] ppid=18353 vsize=13982852 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18364/stat : 18364 (java) S 18353 18353 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133406 14318440448 11848 33554432000 4194304 4196468 140735673278864 140683535472848 140683997284251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18365] ppid=18353 vsize=13982852 memory=4713750055892520310 CPUtime=0.03 cores=1,3,5,7
/proc/18355/task/18365/stat : 18365 (java) R 18353 18353 17435 0 -1 4202560 532 0 0 0 3 0 0 0 20 0 15 0 154133406 14318440448 11848 33554432000 4194304 4196468 140735673278864 140683534420464 140683980821521 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18366] ppid=18353 vsize=13982852 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/18355/task/18366/stat : 18366 (java) R 18353 18353 17435 0 -1 1077944384 345 0 0 0 4 0 0 0 20 0 15 0 154133406 14318440448 11848 33554432000 4194304 4196468 140735673278864 140683465714288 140683997276802 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18367] ppid=18353 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/18355/task/18367/stat : 18367 (java) R 18353 18353 17435 0 -1 4202560 890 0 0 0 13 0 0 0 20 0 15 0 154133406 14318440448 11848 33554432000 4194304 4196468 140735673278864 140683464661872 140683989502782 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18368] ppid=18353 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18368/stat : 18368 (java) S 18353 18353 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133407 14318440448 11848 33554432000 4194304 4196468 140735673278864 140683463609440 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18369] ppid=18353 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18369/stat : 18369 (java) S 18353 18353 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133407 14318440448 11848 33554432000 4194304 4196468 140735673278864 140683462555952 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48776 KiB

[startup+0.701051 s]
/proc/loadavg: 2.35 2.02 1.60 4/218 18369
/proc/meminfo: memFree=24616880/32770624 swapFree=67108860/67108860
[pid=18353] ppid=18350 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/18353/stat : 18353 (xcsp3-exec) S 18350 18353 17435 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154133401 9740288 346 33554432000 4194304 5098028 140723680031744 140723680029848 140244340138620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29163520 140723680040052 140723680040256 140723680040256 140723680042987 0
/proc/18353/statm: 2378 346 289 221 0 87 0
[pid=18355] ppid=18353 vsize=13984976 memory=76152 CPUtime=1.61 cores=1,3,5,7
/proc/18355/stat : 18355 (java) S 18353 18353 17435 0 -1 1077944320 11125 0 0 0 157 4 0 0 20 0 15 0 154133401 14320615424 19038 33554432000 4194304 4196468 140735673278864 140735673261408 140683997265655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
/proc/18355/statm: 3496244 19038 3204 1 0 3483478 0
[pid=18355/tid=18356] ppid=18353 vsize=13984976 memory=1728 CPUtime=0.68 cores=1,3,5,7
/proc/18355/task/18356/stat : 18356 (java) R 18353 18353 17435 0 -1 4202560 6417 0 0 0 65 3 0 0 20 0 15 0 154133401 14320615424 19038 33554432000 4194304 4196468 140735673278864 140684001503832 140683621218055 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18357] ppid=18353 vsize=13984976 memory=12136 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18357/stat : 18357 (java) S 18353 18353 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133402 14320615424 19038 33554432000 4194304 4196468 140735673278864 140683949886224 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18358] ppid=18353 vsize=13984976 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18358/stat : 18358 (java) S 18353 18353 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154133402 14320615424 19038 33554432000 4194304 4196468 140735673278864 140683948833680 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18359] ppid=18353 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18359/stat : 18359 (java) S 18353 18353 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133402 14320615424 19038 33554432000 4194304 4196468 140735673278864 140683947781136 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18360] ppid=18353 vsize=13984976 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18360/stat : 18360 (java) S 18353 18353 17435 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154133402 14320615424 19038 33554432000 4194304 4196468 140735673278864 140683946728592 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18361] ppid=18353 vsize=13984976 memory=5796 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18361/stat : 18361 (java) S 18353 18353 17435 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154133403 14320615424 19038 33554432000 4194304 4196468 140735673278864 140683538630640 140683997276802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18362] ppid=18353 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18362/stat : 18362 (java) S 18353 18353 17435 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154133404 14320615424 19038 33554432000 4194304 4196468 140735673278864 140683537576864 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18363] ppid=18353 vsize=13984976 memory=8624 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18363/stat : 18363 (java) S 18353 18353 17435 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154133404 14320615424 19038 33554432000 4194304 4196468 140735673278864 140683536524272 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18364] ppid=18353 vsize=13984976 memory=792 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18364/stat : 18364 (java) S 18353 18353 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133406 14320615424 19038 33554432000 4194304 4196468 140735673278864 140683535472848 140683997284251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18365] ppid=18353 vsize=13984976 memory=1204 CPUtime=0.29 cores=1,3,5,7
/proc/18355/task/18365/stat : 18365 (java) S 18353 18353 17435 0 -1 1077944384 1044 0 0 0 29 0 0 0 20 0 15 0 154133406 14320615424 19038 33554432000 4194304 4196468 140735673278864 140683534420464 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18366] ppid=18353 vsize=13984976 memory=1728 CPUtime=0.25 cores=1,3,5,7
/proc/18355/task/18366/stat : 18366 (java) S 18353 18353 17435 0 -1 1077944384 780 0 0 0 25 0 0 0 20 0 15 0 154133406 14320615424 19038 33554432000 4194304 4196468 140735673278864 140683465714288 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18367] ppid=18353 vsize=13984976 memory=1440 CPUtime=0.37 cores=1,3,5,7
/proc/18355/task/18367/stat : 18367 (java) S 18353 18353 17435 0 -1 1077944384 1576 0 0 0 37 0 0 0 20 0 15 0 154133406 14320615424 19038 33554432000 4194304 4196468 140735673278864 140683464661744 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18368] ppid=18353 vsize=13984976 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18368/stat : 18368 (java) S 18353 18353 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133407 14320615424 19038 33554432000 4194304 4196468 140735673278864 140683463609440 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18369] ppid=18353 vsize=13984976 memory=16432 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18369/stat : 18369 (java) S 18353 18353 17435 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154133407 14320615424 19038 33554432000 4194304 4196468 140735673278864 140683462555952 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 77536 KiB

[startup+1.50088 s]
/proc/loadavg: 2.35 2.02 1.60 5/218 18369
/proc/meminfo: memFree=24587352/32770624 swapFree=67108860/67108860
[pid=18353] ppid=18350 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/18353/stat : 18353 (xcsp3-exec) S 18350 18353 17435 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154133401 9740288 346 33554432000 4194304 5098028 140723680031744 140723680029848 140244340138620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29163520 140723680040052 140723680040256 140723680040256 140723680042987 0
/proc/18353/statm: 2378 346 289 221 0 87 0

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

[pid=18355/tid=18361] ppid=18353 vsize=13984976 memory=56 CPUtime=0.01 cores=1,3,5,7
/proc/18355/task/18361/stat : 18361 (java) S 18353 18353 17435 0 -1 1077944384 879 0 0 0 1 0 0 0 20 0 15 0 154133403 14320615424 57336 33554432000 4194304 4196468 140735673278864 140683538630640 140683997276802 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18362] ppid=18353 vsize=13984976 memory=5788908277929698645 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18362/stat : 18362 (java) S 18353 18353 17435 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154133404 14320615424 57336 33554432000 4194304 4196468 140735673278864 140683537576864 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18363] ppid=18353 vsize=13984976 memory=139737633732841 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18363/stat : 18363 (java) S 18353 18353 17435 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154133404 14320615424 57336 33554432000 4194304 4196468 140735673278864 140683536524272 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18364] ppid=18353 vsize=13984976 memory=576460756337256219 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18364/stat : 18364 (java) S 18353 18353 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133406 14320615424 57336 33554432000 4194304 4196468 140735673278864 140683535472848 140683997284251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18365] ppid=18353 vsize=13984976 memory=164 CPUtime=2.21 cores=1,3,5,7
/proc/18355/task/18365/stat : 18365 (java) S 18353 18353 17435 0 -1 1077944384 11477 0 0 0 220 1 0 0 20 0 15 0 154133406 14320615424 57336 33554432000 4194304 4196468 140735673278864 140683534420464 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18366] ppid=18353 vsize=13984976 memory=-9174445032661854264 CPUtime=2.4 cores=1,3,5,7
/proc/18355/task/18366/stat : 18366 (java) S 18353 18353 17435 0 -1 1077944384 12777 0 0 0 238 2 0 0 20 0 15 0 154133406 14320615424 57336 33554432000 4194304 4196468 140735673278864 140683465714288 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18367] ppid=18353 vsize=13984976 memory=6791534058613427641 CPUtime=0.68 cores=1,3,5,7
/proc/18355/task/18367/stat : 18367 (java) S 18353 18353 17435 0 -1 1077944384 6476 0 0 0 68 0 0 0 20 0 15 0 154133406 14320615424 57336 33554432000 4194304 4196468 140735673278864 140683464661744 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 3 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18368] ppid=18353 vsize=13984976 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18368/stat : 18368 (java) S 18353 18353 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133407 14320615424 57336 33554432000 4194304 4196468 140735673278864 140683463609440 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18369] ppid=18353 vsize=13984976 memory=2688 CPUtime=0.02 cores=1,3,5,7
/proc/18355/task/18369/stat : 18369 (java) S 18353 18353 17435 0 -1 1077944384 1325 0 0 0 1 1 0 0 20 0 15 0 154133407 14320615424 57336 33554432000 4194304 4196468 140735673278864 140683462555952 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
Current children cumulated CPU time: 107.77 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 230728 KiB

[startup+162.301 s]
/proc/loadavg: 1.91 2.05 1.68 3/217 18371
/proc/meminfo: memFree=24511628/32770624 swapFree=67108860/67108860
[pid=18353] ppid=18350 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/18353/stat : 18353 (xcsp3-exec) S 18350 18353 17435 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154133401 9740288 346 33554432000 4194304 5098028 140723680031744 140723680029848 140244340138620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29163520 140723680040052 140723680040256 140723680040256 140723680042987 0
/proc/18353/statm: 2378 346 289 221 0 87 0
[pid=18355] ppid=18353 vsize=13984976 memory=240280 CPUtime=167.88 cores=1,3,5,7
/proc/18355/stat : 18355 (java) S 18353 18353 17435 0 -1 1077944320 57170 0 0 0 16769 19 0 0 20 0 15 0 154133401 14320615424 60070 33554432000 4194304 4196468 140735673278864 140735673261408 140683997265655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
/proc/18355/statm: 3496244 60070 3259 1 0 3483478 0
[pid=18355/tid=18356] ppid=18353 vsize=13984976 memory=240280 CPUtime=162.19 cores=1,3,5,7
/proc/18355/task/18356/stat : 18356 (java) R 18353 18353 17435 0 -1 4202560 13235 0 0 0 16214 5 0 0 20 0 15 0 154133401 14320615424 60070 33554432000 4194304 4196468 140735673278864 140684001505200 140683622860272 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18357] ppid=18353 vsize=13984976 memory=240280 CPUtime=0.05 cores=1,3,5,7
/proc/18355/task/18357/stat : 18357 (java) S 18353 18353 17435 0 -1 1077944384 2369 0 0 0 4 1 0 0 20 0 15 0 154133402 14320615424 60070 33554432000 4194304 4196468 140735673278864 140683949886224 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18358] ppid=18353 vsize=13984976 memory=240280 CPUtime=0.05 cores=1,3,5,7
/proc/18355/task/18358/stat : 18358 (java) S 18353 18353 17435 0 -1 1077944384 630 0 0 0 4 1 0 0 20 0 15 0 154133402 14320615424 60070 33554432000 4194304 4196468 140735673278864 140683948833680 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18359] ppid=18353 vsize=13984976 memory=1384 CPUtime=0.06 cores=1,3,5,7
/proc/18355/task/18359/stat : 18359 (java) S 18353 18353 17435 0 -1 1077944384 1434 0 0 0 4 2 0 0 20 0 15 0 154133402 14320615424 60070 33554432000 4194304 4196468 140735673278864 140683947781136 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18360] ppid=18353 vsize=13984976 memory=1384 CPUtime=0.05 cores=1,3,5,7
/proc/18355/task/18360/stat : 18360 (java) S 18353 18353 17435 0 -1 1077944384 1126 0 0 0 4 1 0 0 20 0 15 0 154133402 14320615424 60070 33554432000 4194304 4196468 140735673278864 140683946728592 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18361] ppid=18353 vsize=13984976 memory=241752 CPUtime=0.02 cores=1,3,5,7
/proc/18355/task/18361/stat : 18361 (java) S 18353 18353 17435 0 -1 1077944384 1287 0 0 0 2 0 0 0 20 0 15 0 154133403 14320615424 60070 33554432000 4194304 4196468 140735673278864 140683538630640 140683997276802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18362] ppid=18353 vsize=13984976 memory=43248 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18362/stat : 18362 (java) S 18353 18353 17435 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154133404 14320615424 60070 33554432000 4194304 4196468 140735673278864 140683537576864 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18363] ppid=18353 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18363/stat : 18363 (java) S 18353 18353 17435 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154133404 14320615424 60070 33554432000 4194304 4196468 140735673278864 140683536524272 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18364] ppid=18353 vsize=13984976 memory=240280 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18364/stat : 18364 (java) S 18353 18353 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133406 14320615424 60070 33554432000 4194304 4196468 140735673278864 140683535472848 140683997284251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18365] ppid=18353 vsize=13984976 memory=43248 CPUtime=2.24 cores=1,3,5,7
/proc/18355/task/18365/stat : 18365 (java) S 18353 18353 17435 0 -1 1077944384 13120 0 0 0 223 1 0 0 20 0 15 0 154133406 14320615424 60070 33554432000 4194304 4196468 140735673278864 140683534420464 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18366] ppid=18353 vsize=13984976 memory=6791534058613427641 CPUtime=2.42 cores=1,3,5,7
/proc/18355/task/18366/stat : 18366 (java) S 18353 18353 17435 0 -1 1077944384 13716 0 0 0 240 2 0 0 20 0 15 0 154133406 14320615424 60070 33554432000 4194304 4196468 140735673278864 140683465714288 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18367] ppid=18353 vsize=13984976 memory=241752 CPUtime=0.68 cores=1,3,5,7
/proc/18355/task/18367/stat : 18367 (java) S 18353 18353 17435 0 -1 1077944384 7539 0 0 0 68 0 0 0 20 0 15 0 154133406 14320615424 60070 33554432000 4194304 4196468 140735673278864 140683464661744 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18368] ppid=18353 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18368/stat : 18368 (java) S 18353 18353 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133407 14320615424 60070 33554432000 4194304 4196468 140735673278864 140683463609440 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18369] ppid=18353 vsize=13984976 memory=4096 CPUtime=0.03 cores=1,3,5,7
/proc/18355/task/18369/stat : 18369 (java) S 18353 18353 17435 0 -1 1077944384 1370 0 0 0 1 2 0 0 20 0 15 0 154133407 14320615424 60070 33554432000 4194304 4196468 140735673278864 140683462555952 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
Current children cumulated CPU time: 167.88 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 241664 KiB

[startup+222.301 s]
/proc/loadavg: 2.07 2.07 1.71 3/217 18453
/proc/meminfo: memFree=24485996/32770624 swapFree=67108860/67108860
[pid=18353] ppid=18350 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/18353/stat : 18353 (xcsp3-exec) S 18350 18353 17435 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154133401 9740288 346 33554432000 4194304 5098028 140723680031744 140723680029848 140244340138620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29163520 140723680040052 140723680040256 140723680040256 140723680042987 0
/proc/18353/statm: 2378 346 289 221 0 87 0
[pid=18355] ppid=18353 vsize=13984976 memory=212736 CPUtime=228.19 cores=1,3,5,7
/proc/18355/stat : 18355 (java) S 18353 18353 17435 0 -1 1077944320 60788 0 0 0 22798 21 0 0 20 0 15 0 154133401 14320615424 53184 33554432000 4194304 4196468 140735673278864 140735673261408 140683997265655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
/proc/18355/statm: 3496244 53184 3259 1 0 3483478 0
[pid=18355/tid=18356] ppid=18353 vsize=13984976 memory=212680 CPUtime=222.18 cores=1,3,5,7
/proc/18355/task/18356/stat : 18356 (java) R 18353 18353 17435 0 -1 4202560 13329 0 0 0 22213 5 0 0 20 0 15 0 154133401 14320615424 53184 33554432000 4194304 4196468 140735673278864 140684001502808 140683622596009 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18357] ppid=18353 vsize=13984976 memory=1384 CPUtime=0.06 cores=1,3,5,7
/proc/18355/task/18357/stat : 18357 (java) S 18353 18353 17435 0 -1 1077944384 2382 0 0 0 5 1 0 0 20 0 15 0 154133402 14320615424 53184 33554432000 4194304 4196468 140735673278864 140683949886224 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18358] ppid=18353 vsize=13984976 memory=1384 CPUtime=0.05 cores=1,3,5,7
/proc/18355/task/18358/stat : 18358 (java) S 18353 18353 17435 0 -1 1077944384 632 0 0 0 4 1 0 0 20 0 15 0 154133402 14320615424 53184 33554432000 4194304 4196468 140735673278864 140683948833680 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18359] ppid=18353 vsize=13984976 memory=33 CPUtime=0.06 cores=1,3,5,7
/proc/18355/task/18359/stat : 18359 (java) S 18353 18353 17435 0 -1 1077944384 1436 0 0 0 4 2 0 0 20 0 15 0 154133402 14320615424 53184 33554432000 4194304 4196468 140735673278864 140683947781136 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18360] ppid=18353 vsize=13984976 memory=216272 CPUtime=0.06 cores=1,3,5,7
/proc/18355/task/18360/stat : 18360 (java) S 18353 18353 17435 0 -1 1077944384 1127 0 0 0 5 1 0 0 20 0 15 0 154133402 14320615424 53184 33554432000 4194304 4196468 140735673278864 140683946728592 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18361] ppid=18353 vsize=13984976 memory=59 CPUtime=0.02 cores=1,3,5,7
/proc/18355/task/18361/stat : 18361 (java) S 18353 18353 17435 0 -1 1077944384 1303 0 0 0 2 0 0 0 20 0 15 0 154133403 14320615424 53184 33554432000 4194304 4196468 140735673278864 140683538630640 140683997276802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18362] ppid=18353 vsize=13984976 memory=216272 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18362/stat : 18362 (java) S 18353 18353 17435 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154133404 14320615424 53184 33554432000 4194304 4196468 140735673278864 140683537576864 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18363] ppid=18353 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18363/stat : 18363 (java) S 18353 18353 17435 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154133404 14320615424 53184 33554432000 4194304 4196468 140735673278864 140683536524272 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18364] ppid=18353 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18364/stat : 18364 (java) S 18353 18353 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133406 14320615424 53184 33554432000 4194304 4196468 140735673278864 140683535472848 140683997284251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18365] ppid=18353 vsize=13984976 memory=1384 CPUtime=2.33 cores=1,3,5,7
/proc/18355/task/18365/stat : 18365 (java) S 18353 18353 17435 0 -1 1077944384 13808 0 0 0 232 1 0 0 20 0 15 0 154133406 14320615424 53184 33554432000 4194304 4196468 140735673278864 140683534420464 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18366] ppid=18353 vsize=13984976 memory=1384 CPUtime=2.58 cores=1,3,5,7
/proc/18355/task/18366/stat : 18366 (java) S 18353 18353 17435 0 -1 1077944384 15917 0 0 0 256 2 0 0 20 0 15 0 154133406 14320615424 53184 33554432000 4194304 4196468 140735673278864 140683465714288 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18367] ppid=18353 vsize=13984976 memory=4096 CPUtime=0.7 cores=1,3,5,7
/proc/18355/task/18367/stat : 18367 (java) S 18353 18353 17435 0 -1 1077944384 8134 0 0 0 69 1 0 0 20 0 15 0 154133406 14320615424 53184 33554432000 4194304 4196468 140735673278864 140683464661744 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18368] ppid=18353 vsize=13984976 memory=43248 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18368/stat : 18368 (java) S 18353 18353 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133407 14320615424 53184 33554432000 4194304 4196468 140735673278864 140683463609440 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18369] ppid=18353 vsize=13984976 memory=2428 CPUtime=0.05 cores=1,3,5,7
/proc/18355/task/18369/stat : 18369 (java) S 18353 18353 17435 0 -1 1077944384 1376 0 0 0 2 3 0 0 20 0 15 0 154133407 14320615424 53184 33554432000 4194304 4196468 140735673278864 140683462555952 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
Current children cumulated CPU time: 228.19 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 214120 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 2.05 2.07 1.72 3/217 18453
/proc/meminfo: memFree=24486308/32770624 swapFree=67108860/67108860
[pid=18353] ppid=18350 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/18353/stat : 18353 (xcsp3-exec) S 18350 18353 17435 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154133401 9740288 346 33554432000 4194304 5098028 140723680031744 140723680029848 140244340138620 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29163520 140723680040052 140723680040256 140723680040256 140723680042987 0
/proc/18353/statm: 2378 346 289 221 0 87 0
[pid=18355] ppid=18353 vsize=13984976 memory=206596 CPUtime=245.96 cores=1,3,5,7
/proc/18355/stat : 18355 (java) S 18353 18353 17435 0 -1 1077944320 65021 0 0 0 24574 22 0 0 20 0 15 0 154133401 14320615424 51649 33554432000 4194304 4196468 140735673278864 140735673261408 140683997265655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
/proc/18355/statm: 3496244 51649 3259 1 0 3483478 0
[pid=18355/tid=18356] ppid=18353 vsize=13984976 memory=1728 CPUtime=239.89 cores=1,3,5,7
/proc/18355/task/18356/stat : 18356 (java) R 18353 18353 17435 0 -1 4202560 14013 0 0 0 23984 5 0 0 20 0 15 0 154133401 14320615424 51649 33554432000 4194304 4196468 140735673278864 140684001505120 140683622299087 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18357] ppid=18353 vsize=13984976 memory=1440 CPUtime=0.06 cores=1,3,5,7
/proc/18355/task/18357/stat : 18357 (java) S 18353 18353 17435 0 -1 1077944384 2763 0 0 0 5 1 0 0 20 0 15 0 154133402 14320615424 51649 33554432000 4194304 4196468 140735673278864 140683949886224 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18358] ppid=18353 vsize=13984976 memory=1384 CPUtime=0.05 cores=1,3,5,7
/proc/18355/task/18358/stat : 18358 (java) S 18353 18353 17435 0 -1 1077944384 642 0 0 0 4 1 0 0 20 0 15 0 154133402 14320615424 51649 33554432000 4194304 4196468 140735673278864 140683948833680 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18359] ppid=18353 vsize=13984976 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/18355/task/18359/stat : 18359 (java) S 18353 18353 17435 0 -1 1077944384 1453 0 0 0 5 2 0 0 20 0 15 0 154133402 14320615424 51649 33554432000 4194304 4196468 140735673278864 140683947781136 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18360] ppid=18353 vsize=13984976 memory=43248 CPUtime=0.06 cores=1,3,5,7
/proc/18355/task/18360/stat : 18360 (java) S 18353 18353 17435 0 -1 1077944384 1143 0 0 0 5 1 0 0 20 0 15 0 154133402 14320615424 51649 33554432000 4194304 4196468 140735673278864 140683946728592 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18361] ppid=18353 vsize=13984976 memory=2428 CPUtime=0.03 cores=1,3,5,7
/proc/18355/task/18361/stat : 18361 (java) S 18353 18353 17435 0 -1 1077944384 1502 0 0 0 3 0 0 0 20 0 15 0 154133403 14320615424 51649 33554432000 4194304 4196468 140735673278864 140683538630640 140683997276802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18362] ppid=18353 vsize=13984976 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18362/stat : 18362 (java) S 18353 18353 17435 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154133404 14320615424 51649 33554432000 4194304 4196468 140735673278864 140683537576864 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18363] ppid=18353 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18363/stat : 18363 (java) S 18353 18353 17435 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154133404 14320615424 51649 33554432000 4194304 4196468 140735673278864 140683536524272 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18364] ppid=18353 vsize=13984976 memory=12136 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18364/stat : 18364 (java) S 18353 18353 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133406 14320615424 51649 33554432000 4194304 4196468 140735673278864 140683535472848 140683997284251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18365] ppid=18353 vsize=13984976 memory=1004 CPUtime=2.37 cores=1,3,5,7
/proc/18355/task/18365/stat : 18365 (java) S 18353 18353 17435 0 -1 1077944384 15249 0 0 0 236 1 0 0 20 0 15 0 154133406 14320615424 51649 33554432000 4194304 4196468 140735673278864 140683534420464 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18366] ppid=18353 vsize=13984976 memory=1228 CPUtime=2.58 cores=1,3,5,7
/proc/18355/task/18366/stat : 18366 (java) S 18353 18353 17435 0 -1 1077944384 16283 0 0 0 256 2 0 0 20 0 15 0 154133406 14320615424 51649 33554432000 4194304 4196468 140735673278864 140683465714288 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18367] ppid=18353 vsize=13984976 memory=210188 CPUtime=0.7 cores=1,3,5,7
/proc/18355/task/18367/stat : 18367 (java) S 18353 18353 17435 0 -1 1077944384 9222 0 0 0 69 1 0 0 20 0 15 0 154133406 14320615424 51649 33554432000 4194304 4196468 140735673278864 140683464661744 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18368] ppid=18353 vsize=13984976 memory=916 CPUtime=0 cores=1,3,5,7
/proc/18355/task/18368/stat : 18368 (java) S 18353 18353 17435 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154133407 14320615424 51649 33554432000 4194304 4196468 140735673278864 140683463609440 140683997275861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
[pid=18355/tid=18369] ppid=18353 vsize=13984976 memory=3828 CPUtime=0.05 cores=1,3,5,7
/proc/18355/task/18369/stat : 18369 (java) S 18353 18353 17435 0 -1 1077944384 1407 0 0 0 2 3 0 0 20 0 15 0 154133407 14320615424 51649 33554432000 4194304 4196468 140735673278864 140683462555952 140683997276802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 30085120 140735673283741 140735673283916 140735673283916 140735673286607 0
Current children cumulated CPU time: 245.96 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 207980 KiB

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

[startup+240.023 s]
# the end of solver process 18353 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=245.755 s, system=0.230121 s

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.023
CPU time (s): 245.985
CPU user time (s): 245.755
CPU system time (s): 0.230121
CPU usage (%): 102.484
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 243136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.755
system time used= 0.230121
maximum resident set size= 243248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65904
page faults= 0
swaps= 0
block input operations= 0
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8645
involuntary context switches= 133


# summary of solver processes directly reported to runsolver:
#   pid: 18353
#   total CPU time (s): 245.985
#   total CPU user time (s): 245.755
#   total CPU system time (s): 0.230121

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.67948 second user time and 1.97452 second system time

The end

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

Trace number 4283072

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