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)	282	256.99301	240.026

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4284542-1503210585.xml"  -tl '264s' -p 1 -x 3
0.12/0.14	c [HOME/instance-4284542-1503210585.xml, -tl, 264s, -p, 1, -x, 3]
0.12/0.19	c simple solver
0.34/0.26	c parse instance...
2.12/0.96	c solve instance...
9.19/4.02	o 249 
10.66/4.58	o 269 
11.32/4.76	o 271 
11.92/4.97	o 272 
172.14/157.76	o 282 
256.96/240.01	s SATISFIABLE
256.96/240.01	v <instantiation>
256.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>
256.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 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 0 0 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 1 1 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 1 1 1 0 0 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 1 1 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 1 1 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 1 0 0 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 1 0 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 1 1 1 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 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 0 0 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 1 1 1 1 1 1 0 1 2 2 1 0 1 1 2 2 1 1 2 2 1 1 0 0 0 1 0 1 0 1 2 2 2 2 2 1 1 1 2 1 0 0 2 2 1 0 1 1 1 2 0 0 0 1 0 1 0 0 1 2 1 1 2 1 1 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 2 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 2 0 0 0 0 1 2 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 2 2 2 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 2 2 2 1 2 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 1 0 2 1 0 1 0 1 1 2 2 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 2 1 1 0 1 1 2 2 1 1 1 2 1 1 2 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 2 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 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 2 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 1 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 2 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 2 0 0 0 0 0 1 1 1 2 1 1 2 2 2 1 0 0 0 0 0 0 0 0 1 0 1 2 0 0 0 0 0 1 0 1 1 2 2 1 1 2 2 2 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 2 1 1 2 1 1 2 1 1 2 0 2 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 2 1 1 0 1 1 0 2 2 1 0 0 2 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 1 1 2 1 0 1 0 2 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 0 0 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 2 2 0 0 0 0 0 0 0 2 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 2 0 1 0 0 0 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 1 0 2 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 2 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 2 1 1 1 1 1 0 0 0 0 2 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 2 2 2 1 1 1 1 2 2 2 1 0 0 0 1 1 0 0 0 1 1 2 1 2 0 1 1 0 2 2 2 2 1 0 1 1 1 1 1 1 0 0 1 1 0 0 1 0 0 1 1 1 1 1 0 0 1 1 1 1 1 0 19 53 79 92 102 114 126 137 159 177 184 189 195 205 221 241 259 279 296 305 313 323 336 351 360 374 389 419 438 282 </values>
256.96/240.01	v </instantiation>
256.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 (11340 MiB free)
  memory of node 1: 16384 MiB (9136 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.10016 s]*
/proc/loadavg: 1.81 1.81 1.49 3/217 20647
/proc/meminfo: memFree=20920668/32770624 swapFree=67108860/67108860
[pid=20631] ppid=20628 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20631/stat : 20631 (xcsp3-exec) S 20628 20631 19988 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154146129 9740288 346 33554432000 4194304 5098028 140722499720256 140722499718360 139865207112316 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25772032 140722499724407 140722499724608 140722499724608 140722499727339 0
/proc/20631/statm: 2378 346 289 221 0 87 0
[pid=20633] ppid=20631 vsize=13978596 memory=28400 CPUtime=0.12 cores=0,2,4,6
/proc/20633/stat : 20633 (java) S 20631 20631 19988 0 -1 1077944320 5386 0 0 0 11 1 0 0 20 0 15 0 154146129 14314082304 7100 33554432000 4194304 4196468 140737020477312 140737020459856 139802397445879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
/proc/20633/statm: 3494649 7100 2906 1 0 3482966 0
[pid=20633/tid=20634] ppid=20631 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/20633/task/20634/stat : 20634 (java) R 20631 20631 19988 0 -1 4202560 3325 0 0 0 8 1 0 0 20 0 15 0 154146129 14314082304 7100 33554432000 4194304 4196468 140737020477312 139802401678208 139802007656946 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20635] ppid=20631 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20635/stat : 20635 (java) S 20631 20631 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154146130 14314082304 7100 33554432000 4194304 4196468 140737020477312 139802327534608 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20636] ppid=20631 vsize=13978596 memory=140283158353536 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20636/stat : 20636 (java) S 20631 20631 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146130 14314082304 7100 33554432000 4194304 4196468 140737020477312 139801992543376 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20637] ppid=20631 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20637/stat : 20637 (java) S 20631 20631 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146130 14314082304 7100 33554432000 4194304 4196468 140737020477312 139801991490320 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20638] ppid=20631 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20638/stat : 20638 (java) S 20631 20631 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154146130 14314082304 7100 33554432000 4194304 4196468 140737020477312 139801990437776 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20639] ppid=20631 vsize=13978596 memory=140283158353536 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20639/stat : 20639 (java) S 20631 20631 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154146131 14314082304 7100 33554432000 4194304 4196468 140737020477312 139801511278832 139802397457026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20640] ppid=20631 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20640/stat : 20640 (java) S 20631 20631 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154146132 14314082304 7100 33554432000 4194304 4196468 140737020477312 139801510225056 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20641] ppid=20631 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20641/stat : 20641 (java) S 20631 20631 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154146132 14314082304 7100 33554432000 4194304 4196468 140737020477312 139801509171952 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20642] ppid=20631 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20642/stat : 20642 (java) S 20631 20631 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146134 14314082304 7100 33554432000 4194304 4196468 140737020477312 139801508120528 139802397464475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20643] ppid=20631 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20643/stat : 20643 (java) S 20631 20631 19988 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 154146134 14314082304 7100 33554432000 4194304 4196468 140737020477312 139801507068656 139802397457026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20644] ppid=20631 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20644/stat : 20644 (java) S 20631 20631 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146134 14314082304 7100 33554432000 4194304 4196468 140737020477312 139801506016112 139802397457026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20645] ppid=20631 vsize=13978596 memory=140283158353536 CPUtime=0.01 cores=0,2,4,6
/proc/20633/task/20645/stat : 20645 (java) S 20631 20631 19988 0 -1 1077944384 343 0 0 0 1 0 0 0 20 0 15 0 154146134 14314082304 7100 33554432000 4194304 4196468 140737020477312 139801504963056 139802397457026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20646] ppid=20631 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20646/stat : 20646 (java) S 20631 20631 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146135 14314082304 7100 33554432000 4194304 4196468 140737020477312 139801503910752 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20647] ppid=20631 vsize=13978596 memory=140283158353536 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20647/stat : 20647 (java) S 20631 20631 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146135 14314082304 7100 33554432000 4194304 4196468 140737020477312 139801502857776 139802397457026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29784 KiB

[startup+0.210675 s]*
/proc/loadavg: 1.81 1.81 1.49 4/217 20647
/proc/meminfo: memFree=20909852/32770624 swapFree=67108860/67108860
[pid=20631] ppid=20628 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20631/stat : 20631 (xcsp3-exec) S 20628 20631 19988 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154146129 9740288 346 33554432000 4194304 5098028 140722499720256 140722499718360 139865207112316 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25772032 140722499724407 140722499724608 140722499724608 140722499727339 0
/proc/20631/statm: 2378 346 289 221 0 87 0
[pid=20633] ppid=20631 vsize=13982852 memory=40284 CPUtime=0.34 cores=0,2,4,6
/proc/20633/stat : 20633 (java) S 20631 20631 19988 0 -1 1077944320 8184 0 0 0 32 2 0 0 20 0 15 0 154146129 14318440448 10071 33554432000 4194304 4196468 140737020477312 140737020459856 139802397445879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
/proc/20633/statm: 3495713 10071 3074 1 0 3482966 0
[pid=20633/tid=20634] ppid=20631 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/20633/task/20634/stat : 20634 (java) R 20631 20631 19988 0 -1 4202560 5361 0 0 0 18 2 0 0 20 0 15 0 154146129 14318440448 10071 33554432000 4194304 4196468 140737020477312 139802401657696 139802397467805 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20635] ppid=20631 vsize=13982852 memory=9107 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20635/stat : 20635 (java) S 20631 20631 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154146130 14318440448 10071 33554432000 4194304 4196468 140737020477312 139802327534608 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20636] ppid=20631 vsize=13982852 memory=4121268400734754464 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20636/stat : 20636 (java) S 20631 20631 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146130 14318440448 10071 33554432000 4194304 4196468 140737020477312 139801992543376 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20637] ppid=20631 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20637/stat : 20637 (java) S 20631 20631 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146130 14318440448 10071 33554432000 4194304 4196468 140737020477312 139801991490320 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20638] ppid=20631 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20638/stat : 20638 (java) S 20631 20631 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154146130 14318440448 10071 33554432000 4194304 4196468 140737020477312 139801990437776 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20639] ppid=20631 vsize=13982852 memory=140283158353536 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20639/stat : 20639 (java) S 20631 20631 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154146131 14318440448 10071 33554432000 4194304 4196468 140737020477312 139801511278832 139802397457026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20640] ppid=20631 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20640/stat : 20640 (java) S 20631 20631 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154146132 14318440448 10071 33554432000 4194304 4196468 140737020477312 139801510225056 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20641] ppid=20631 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20641/stat : 20641 (java) S 20631 20631 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154146132 14318440448 10071 33554432000 4194304 4196468 140737020477312 139801509171952 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20642] ppid=20631 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20642/stat : 20642 (java) S 20631 20631 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146134 14318440448 10071 33554432000 4194304 4196468 140737020477312 139801508120528 139802397464475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20643] ppid=20631 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/20633/task/20643/stat : 20643 (java) R 20631 20631 19988 0 -1 1077944384 601 0 0 0 2 0 0 0 20 0 15 0 154146134 14318440448 10071 33554432000 4194304 4196468 140737020477312 139801507068656 139802397457026 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20644] ppid=20631 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/20633/task/20644/stat : 20644 (java) S 20631 20631 19988 0 -1 1077944384 160 0 0 0 2 0 0 0 20 0 15 0 154146134 14318440448 10071 33554432000 4194304 4196468 140737020477312 139801506016112 139802397457026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20645] ppid=20631 vsize=13982852 memory=140283158353536 CPUtime=0.08 cores=0,2,4,6
/proc/20633/task/20645/stat : 20645 (java) R 20631 20631 19988 0 -1 4202560 762 0 0 0 8 0 0 0 20 0 15 0 154146134 14318440448 10071 33554432000 4194304 4196468 140737020477312 139801504963056 139802389683006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20646] ppid=20631 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20646/stat : 20646 (java) S 20631 20631 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146135 14318440448 10071 33554432000 4194304 4196468 140737020477312 139801503910752 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20647] ppid=20631 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20647/stat : 20647 (java) S 20631 20631 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146135 14318440448 10071 33554432000 4194304 4196468 140737020477312 139801502857776 139802397457026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41668 KiB

[startup+0.31043 s]*
/proc/loadavg: 1.81 1.81 1.49 5/217 20647
/proc/meminfo: memFree=20902408/32770624 swapFree=67108860/67108860
[pid=20631] ppid=20628 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20631/stat : 20631 (xcsp3-exec) S 20628 20631 19988 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154146129 9740288 346 33554432000 4194304 5098028 140722499720256 140722499718360 139865207112316 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25772032 140722499724407 140722499724608 140722499724608 140722499727339 0
/proc/20631/statm: 2378 346 289 221 0 87 0
[pid=20633] ppid=20631 vsize=13982852 memory=47392 CPUtime=0.52 cores=0,2,4,6
/proc/20633/stat : 20633 (java) S 20631 20631 19988 0 -1 1077944320 9030 0 0 0 50 2 0 0 20 0 15 0 154146129 14318440448 11848 33554432000 4194304 4196468 140737020477312 140737020459856 139802397445879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
/proc/20633/statm: 3495713 11848 3113 1 0 3482966 0
[pid=20633/tid=20634] ppid=20631 vsize=13982852 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/20633/task/20634/stat : 20634 (java) R 20631 20631 19988 0 -1 4202560 5896 0 0 0 28 2 0 0 20 0 15 0 154146129 14318440448 11848 33554432000 4194304 4196468 140737020477312 139802401683696 139802007718951 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20635] ppid=20631 vsize=13982852 memory=9469 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20635/stat : 20635 (java) S 20631 20631 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154146130 14318440448 11848 33554432000 4194304 4196468 140737020477312 139802327534608 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20636] ppid=20631 vsize=13982852 memory=3761694506559471648 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20636/stat : 20636 (java) S 20631 20631 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146130 14318440448 11848 33554432000 4194304 4196468 140737020477312 139801992543376 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20637] ppid=20631 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20637/stat : 20637 (java) S 20631 20631 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146130 14318440448 11848 33554432000 4194304 4196468 140737020477312 139801991490320 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20638] ppid=20631 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20638/stat : 20638 (java) S 20631 20631 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154146130 14318440448 11848 33554432000 4194304 4196468 140737020477312 139801990437776 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20639] ppid=20631 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20639/stat : 20639 (java) S 20631 20631 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154146131 14318440448 11848 33554432000 4194304 4196468 140737020477312 139801511278832 139802397457026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20640] ppid=20631 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20640/stat : 20640 (java) S 20631 20631 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154146132 14318440448 11848 33554432000 4194304 4196468 140737020477312 139801510225056 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20641] ppid=20631 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20641/stat : 20641 (java) S 20631 20631 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154146132 14318440448 11848 33554432000 4194304 4196468 140737020477312 139801509171952 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20642] ppid=20631 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20642/stat : 20642 (java) S 20631 20631 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146134 14318440448 11848 33554432000 4194304 4196468 140737020477312 139801508120528 139802397464475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20643] ppid=20631 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/20633/task/20643/stat : 20643 (java) R 20631 20631 19988 0 -1 4202560 754 0 0 0 4 0 0 0 20 0 15 0 154146134 14318440448 11848 33554432000 4194304 4196468 140737020477312 139801507068656 139802375296097 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20644] ppid=20631 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/20633/task/20644/stat : 20644 (java) R 20631 20631 19988 0 -1 1077944384 166 0 0 0 3 0 0 0 20 0 15 0 154146134 14318440448 11848 33554432000 4194304 4196468 140737020477312 139801506016112 139802397457026 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20645] ppid=20631 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/20633/task/20645/stat : 20645 (java) R 20631 20631 19988 0 -1 4202560 910 0 0 0 13 0 0 0 20 0 15 0 154146134 14318440448 11848 33554432000 4194304 4196468 140737020477312 139801504959424 139802376580371 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20646] ppid=20631 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20646/stat : 20646 (java) S 20631 20631 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146135 14318440448 11848 33554432000 4194304 4196468 140737020477312 139801503910752 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20647] ppid=20631 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20647/stat : 20647 (java) S 20631 20631 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146135 14318440448 11848 33554432000 4194304 4196468 140737020477312 139801502857776 139802397457026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48776 KiB

[startup+0.710976 s]
/proc/loadavg: 1.81 1.81 1.49 5/217 20647
/proc/meminfo: memFree=20883292/32770624 swapFree=67108860/67108860
[pid=20631] ppid=20628 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20631/stat : 20631 (xcsp3-exec) S 20628 20631 19988 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154146129 9740288 346 33554432000 4194304 5098028 140722499720256 140722499718360 139865207112316 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25772032 140722499724407 140722499724608 140722499724608 140722499727339 0
/proc/20631/statm: 2378 346 289 221 0 87 0
[pid=20633] ppid=20631 vsize=13984976 memory=77360 CPUtime=1.73 cores=0,2,4,6
/proc/20633/stat : 20633 (java) S 20631 20631 19988 0 -1 1077944320 11377 0 0 0 169 4 0 0 20 0 15 0 154146129 14320615424 19340 33554432000 4194304 4196468 140737020477312 140737020459856 139802397445879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
/proc/20633/statm: 3496244 19340 3208 1 0 3483478 0
[pid=20633/tid=20634] ppid=20631 vsize=13984976 memory=23592 CPUtime=0.67 cores=0,2,4,6
/proc/20633/task/20634/stat : 20634 (java) R 20631 20631 19988 0 -1 4202560 6424 0 0 0 65 2 0 0 20 0 15 0 154146129 14320615424 19340 33554432000 4194304 4196468 140737020477312 139802401683520 139802007905438 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20635] ppid=20631 vsize=13984976 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20635/stat : 20635 (java) S 20631 20631 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154146130 14320615424 19340 33554432000 4194304 4196468 140737020477312 139802327534608 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20636] ppid=20631 vsize=13984976 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20636/stat : 20636 (java) S 20631 20631 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146130 14320615424 19340 33554432000 4194304 4196468 140737020477312 139801992543376 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20637] ppid=20631 vsize=13984976 memory=640 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20637/stat : 20637 (java) S 20631 20631 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146130 14320615424 19340 33554432000 4194304 4196468 140737020477312 139801991490320 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20638] ppid=20631 vsize=13984976 memory=956 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20638/stat : 20638 (java) S 20631 20631 19988 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154146130 14320615424 19340 33554432000 4194304 4196468 140737020477312 139801990437776 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20639] ppid=20631 vsize=13984976 memory=2468 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20639/stat : 20639 (java) S 20631 20631 19988 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154146131 14320615424 19340 33554432000 4194304 4196468 140737020477312 139801511278832 139802397457026 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20640] ppid=20631 vsize=13984976 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20640/stat : 20640 (java) S 20631 20631 19988 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154146132 14320615424 19340 33554432000 4194304 4196468 140737020477312 139801510225056 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20641] ppid=20631 vsize=13984976 memory=932 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20641/stat : 20641 (java) S 20631 20631 19988 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154146132 14320615424 19340 33554432000 4194304 4196468 140737020477312 139801509171952 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20642] ppid=20631 vsize=13984976 memory=2236 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20642/stat : 20642 (java) S 20631 20631 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146134 14320615424 19340 33554432000 4194304 4196468 140737020477312 139801508120528 139802397464475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20643] ppid=20631 vsize=13984976 memory=4124 CPUtime=0.32 cores=0,2,4,6
/proc/20633/task/20643/stat : 20643 (java) S 20631 20631 19988 0 -1 1077944384 1289 0 0 0 32 0 0 0 20 0 15 0 154146134 14320615424 19340 33554432000 4194304 4196468 140737020477312 139801507068656 139802397457026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20644] ppid=20631 vsize=13984976 memory=2200 CPUtime=0.33 cores=0,2,4,6
/proc/20633/task/20644/stat : 20644 (java) R 20631 20631 19988 0 -1 4202560 714 0 0 0 33 0 0 0 20 0 15 0 154146134 14320615424 19340 33554432000 4194304 4196468 140737020477312 139801505997456 139802378963701 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20645] ppid=20631 vsize=13984976 memory=7528 CPUtime=0.37 cores=0,2,4,6
/proc/20633/task/20645/stat : 20645 (java) R 20631 20631 19988 0 -1 4202560 1643 0 0 0 37 0 0 0 20 0 15 0 154146134 14320615424 19340 33554432000 4194304 4196468 140737020477312 139801504963056 139802381526366 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20646] ppid=20631 vsize=13984976 memory=840 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20646/stat : 20646 (java) S 20631 20631 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146135 14320615424 19340 33554432000 4194304 4196468 140737020477312 139801503910752 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20647] ppid=20631 vsize=13984976 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20647/stat : 20647 (java) S 20631 20631 19988 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154146135 14320615424 19340 33554432000 4194304 4196468 140737020477312 139801502857776 139802397457026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 78744 KiB

[startup+1.50102 s]
/proc/loadavg: 1.81 1.81 1.49 4/217 20647
/proc/meminfo: memFree=20850356/32770624 swapFree=67108860/67108860
[pid=20631] ppid=20628 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20631/stat : 20631 (xcsp3-exec) S 20628 20631 19988 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154146129 9740288 346 33554432000 4194304 5098028 140722499720256 140722499718360 139865207112316 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25772032 140722499724407 140722499724608 140722499724608 140722499727339 0
/proc/20631/statm: 2378 346 289 221 0 87 0

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

/proc/20633/task/20641/stat : 20641 (java) S 20631 20631 19988 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154146132 14322712576 150121 33554432000 4194304 4196468 140737020477312 139801509171952 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20642] ppid=20631 vsize=13987024 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20642/stat : 20642 (java) S 20631 20631 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146134 14322712576 150121 33554432000 4194304 4196468 140737020477312 139801508120528 139802397464475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20643] ppid=20631 vsize=13987024 memory=1384 CPUtime=4.44 cores=0,2,4,6
/proc/20633/task/20643/stat : 20643 (java) S 20631 20631 19988 0 -1 1077944384 15791 0 0 0 442 2 0 0 20 0 15 0 154146134 14322712576 150121 33554432000 4194304 4196468 140737020477312 139801507068656 139802397457026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20644] ppid=20631 vsize=13987024 memory=506412 CPUtime=4.61 cores=0,2,4,6
/proc/20633/task/20644/stat : 20644 (java) S 20631 20631 19988 0 -1 1077944384 15625 0 0 0 459 2 0 0 20 0 15 0 154146134 14322712576 150121 33554432000 4194304 4196468 140737020477312 139801506016112 139802397457026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20645] ppid=20631 vsize=13987024 memory=600456 CPUtime=0.96 cores=0,2,4,6
/proc/20633/task/20645/stat : 20645 (java) S 20631 20631 19988 0 -1 1077944384 10104 0 0 0 94 2 0 0 20 0 15 0 154146134 14322712576 150121 33554432000 4194304 4196468 140737020477312 139801504963056 139802397457026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20646] ppid=20631 vsize=13987024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20646/stat : 20646 (java) S 20631 20631 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146135 14322712576 150121 33554432000 4194304 4196468 140737020477312 139801503910752 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20647] ppid=20631 vsize=13987024 memory=228891692146997 CPUtime=0.05 cores=0,2,4,6
/proc/20633/task/20647/stat : 20647 (java) S 20631 20631 19988 0 -1 1077944384 349 0 0 0 3 2 0 0 20 0 15 0 154146135 14322712576 150121 33554432000 4194304 4196468 140737020477312 139801502857776 139802397457026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
Current children cumulated CPU time: 114.91 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 601868 KiB

[startup+162.301 s]
/proc/loadavg: 1.58 1.75 1.52 3/217 20649
/proc/meminfo: memFree=20237608/32770624 swapFree=67108860/67108860
[pid=20631] ppid=20628 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20631/stat : 20631 (xcsp3-exec) S 20628 20631 19988 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154146129 9740288 346 33554432000 4194304 5098028 140722499720256 140722499718360 139865207112316 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25772032 140722499724407 140722499724608 140722499724608 140722499727339 0
/proc/20631/statm: 2378 346 289 221 0 87 0
[pid=20633] ppid=20631 vsize=13987024 memory=530228 CPUtime=176.92 cores=0,2,4,6
/proc/20633/stat : 20633 (java) S 20631 20631 19988 0 -1 1077944320 81441 0 0 0 17590 102 0 0 20 0 15 0 154146129 14322712576 132557 33554432000 4194304 4196468 140737020477312 140737020459856 139802397445879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
/proc/20633/statm: 3496756 132557 3283 1 0 3483990 0
[pid=20633/tid=20634] ppid=20631 vsize=13987024 memory=535872 CPUtime=160.63 cores=0,2,4,6
/proc/20633/task/20634/stat : 20634 (java) R 20631 20631 19988 0 -1 4202560 18134 0 0 0 16056 7 0 0 20 0 15 0 154146129 14322712576 132557 33554432000 4194304 4196468 140737020477312 139802401682544 139802017785098 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20635] ppid=20631 vsize=13987024 memory=551480 CPUtime=1.46 cores=0,2,4,6
/proc/20633/task/20635/stat : 20635 (java) S 20631 20631 19988 0 -1 1077944384 1968 0 0 0 125 21 0 0 20 0 15 0 154146130 14322712576 132557 33554432000 4194304 4196468 140737020477312 139802327534608 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20636] ppid=20631 vsize=13987024 memory=535872 CPUtime=1.46 cores=0,2,4,6
/proc/20633/task/20636/stat : 20636 (java) S 20631 20631 19988 0 -1 1077944384 1412 0 0 0 126 20 0 0 20 0 15 0 154146130 14322712576 132557 33554432000 4194304 4196468 140737020477312 139801992543376 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20637] ppid=20631 vsize=13987024 memory=530228 CPUtime=1.47 cores=0,2,4,6
/proc/20633/task/20637/stat : 20637 (java) S 20631 20631 19988 0 -1 1077944384 3801 0 0 0 127 20 0 0 20 0 15 0 154146130 14322712576 132557 33554432000 4194304 4196468 140737020477312 139801991490320 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20638] ppid=20631 vsize=13987024 memory=1384 CPUtime=1.46 cores=0,2,4,6
/proc/20633/task/20638/stat : 20638 (java) S 20631 20631 19988 0 -1 1077944384 3468 0 0 0 126 20 0 0 20 0 15 0 154146130 14322712576 132557 33554432000 4194304 4196468 140737020477312 139801990437776 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20639] ppid=20631 vsize=13987024 memory=540480 CPUtime=0.14 cores=0,2,4,6
/proc/20633/task/20639/stat : 20639 (java) S 20631 20631 19988 0 -1 1077944384 4945 0 0 0 13 1 0 0 20 0 15 0 154146131 14322712576 132557 33554432000 4194304 4196468 140737020477312 139801511278832 139802397457026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20640] ppid=20631 vsize=13987024 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20640/stat : 20640 (java) S 20631 20631 19988 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154146132 14322712576 132557 33554432000 4194304 4196468 140737020477312 139801510225056 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20641] ppid=20631 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20641/stat : 20641 (java) S 20631 20631 19988 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154146132 14322712576 132557 33554432000 4194304 4196468 140737020477312 139801509171952 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20642] ppid=20631 vsize=13987024 memory=535872 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20642/stat : 20642 (java) S 20631 20631 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146134 14322712576 132557 33554432000 4194304 4196468 140737020477312 139801508120528 139802397464475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20643] ppid=20631 vsize=13987024 memory=1384 CPUtime=4.48 cores=0,2,4,6
/proc/20633/task/20643/stat : 20643 (java) S 20631 20631 19988 0 -1 1077944384 17460 0 0 0 446 2 0 0 20 0 15 0 154146134 14322712576 132557 33554432000 4194304 4196468 140737020477312 139801507068656 139802397457026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20644] ppid=20631 vsize=13987024 memory=540488 CPUtime=4.67 cores=0,2,4,6
/proc/20633/task/20644/stat : 20644 (java) S 20631 20631 19988 0 -1 1077944384 16805 0 0 0 465 2 0 0 20 0 15 0 154146134 14322712576 132557 33554432000 4194304 4196468 140737020477312 139801506016112 139802397457026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20645] ppid=20631 vsize=13987024 memory=14722 CPUtime=0.99 cores=0,2,4,6
/proc/20633/task/20645/stat : 20645 (java) S 20631 20631 19988 0 -1 1077944384 11669 0 0 0 96 3 0 0 20 0 15 0 154146134 14322712576 132557 33554432000 4194304 4196468 140737020477312 139801504963056 139802397457026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20646] ppid=20631 vsize=13987024 memory=137 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20646/stat : 20646 (java) S 20631 20631 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146135 14322712576 132557 33554432000 4194304 4196468 140737020477312 139801503910752 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20647] ppid=20631 vsize=13987024 memory=530228 CPUtime=0.08 cores=0,2,4,6
/proc/20633/task/20647/stat : 20647 (java) S 20631 20631 19988 0 -1 1077944384 436 0 0 0 4 4 0 0 20 0 15 0 154146135 14322712576 132557 33554432000 4194304 4196468 140737020477312 139801502857776 139802397457026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
Current children cumulated CPU time: 176.92 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 531612 KiB

[startup+222.301 s]
/proc/loadavg: 1.42 1.67 1.51 3/217 20650
/proc/meminfo: memFree=19946704/32770624 swapFree=67108860/67108860
[pid=20631] ppid=20628 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20631/stat : 20631 (xcsp3-exec) S 20628 20631 19988 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154146129 9740288 346 33554432000 4194304 5098028 140722499720256 140722499718360 139865207112316 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25772032 140722499724407 140722499724608 140722499724608 140722499727339 0
/proc/20631/statm: 2378 346 289 221 0 87 0
[pid=20633] ppid=20631 vsize=13987024 memory=770512 CPUtime=239 cores=0,2,4,6
/proc/20633/stat : 20633 (java) S 20631 20631 19988 0 -1 1077944320 89691 0 0 0 23775 125 0 0 20 0 15 0 154146129 14322712576 192628 33554432000 4194304 4196468 140737020477312 140737020459856 139802397445879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
/proc/20633/statm: 3496756 192628 3283 1 0 3483990 0
[pid=20633/tid=20634] ppid=20631 vsize=13987024 memory=1384 CPUtime=220.01 cores=0,2,4,6
/proc/20633/task/20634/stat : 20634 (java) R 20631 20631 19988 0 -1 4202560 21154 0 0 0 21993 8 0 0 20 0 15 0 154146129 14322712576 192628 33554432000 4194304 4196468 140737020477312 139802401685216 139802017326796 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20635] ppid=20631 vsize=13987024 memory=743912 CPUtime=2.06 cores=0,2,4,6
/proc/20633/task/20635/stat : 20635 (java) S 20631 20631 19988 0 -1 1077944384 2377 0 0 0 180 26 0 0 20 0 15 0 154146130 14322712576 192628 33554432000 4194304 4196468 140737020477312 139802327534608 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20636] ppid=20631 vsize=13987024 memory=745960 CPUtime=2.03 cores=0,2,4,6
/proc/20633/task/20636/stat : 20636 (java) S 20631 20631 19988 0 -1 1077944384 2172 0 0 0 178 25 0 0 20 0 15 0 154146130 14322712576 192628 33554432000 4194304 4196468 140737020477312 139801992543376 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20637] ppid=20631 vsize=13987024 memory=1384 CPUtime=2.06 cores=0,2,4,6
/proc/20633/task/20637/stat : 20637 (java) S 20631 20631 19988 0 -1 1077944384 4238 0 0 0 181 25 0 0 20 0 15 0 154146130 14322712576 192628 33554432000 4194304 4196468 140737020477312 139801991490320 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20638] ppid=20631 vsize=13987024 memory=1384 CPUtime=2.05 cores=0,2,4,6
/proc/20633/task/20638/stat : 20638 (java) S 20631 20631 19988 0 -1 1077944384 3870 0 0 0 180 25 0 0 20 0 15 0 154146130 14322712576 192628 33554432000 4194304 4196468 140737020477312 139801990437776 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20639] ppid=20631 vsize=13987024 memory=723252 CPUtime=0.16 cores=0,2,4,6
/proc/20633/task/20639/stat : 20639 (java) S 20631 20631 19988 0 -1 1077944384 5950 0 0 0 15 1 0 0 20 0 15 0 154146131 14322712576 192628 33554432000 4194304 4196468 140737020477312 139801511278832 139802397457026 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20640] ppid=20631 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20640/stat : 20640 (java) S 20631 20631 19988 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154146132 14322712576 192628 33554432000 4194304 4196468 140737020477312 139801510225056 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20641] ppid=20631 vsize=13987024 memory=770512 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20641/stat : 20641 (java) S 20631 20631 19988 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154146132 14322712576 192628 33554432000 4194304 4196468 140737020477312 139801509171952 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20642] ppid=20631 vsize=13987024 memory=88609470325043 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20642/stat : 20642 (java) S 20631 20631 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146134 14322712576 192628 33554432000 4194304 4196468 140737020477312 139801508120528 139802397464475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20643] ppid=20631 vsize=13987024 memory=228891692146996 CPUtime=4.61 cores=0,2,4,6
/proc/20633/task/20643/stat : 20643 (java) S 20631 20631 19988 0 -1 1077944384 18669 0 0 0 459 2 0 0 20 0 15 0 154146134 14322712576 192628 33554432000 4194304 4196468 140737020477312 139801507068656 139802397457026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20644] ppid=20631 vsize=13987024 memory=1384 CPUtime=4.82 cores=0,2,4,6
/proc/20633/task/20644/stat : 20644 (java) S 20631 20631 19988 0 -1 1077944384 17668 0 0 0 480 2 0 0 20 0 15 0 154146134 14322712576 192628 33554432000 4194304 4196468 140737020477312 139801506016112 139802397457026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20645] ppid=20631 vsize=13987024 memory=770512 CPUtime=1 cores=0,2,4,6
/proc/20633/task/20645/stat : 20645 (java) S 20631 20631 19988 0 -1 1077944384 11741 0 0 0 97 3 0 0 20 0 15 0 154146134 14322712576 192628 33554432000 4194304 4196468 140737020477312 139801504963056 139802397457026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20646] ppid=20631 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20646/stat : 20646 (java) S 20631 20631 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146135 14322712576 192628 33554432000 4194304 4196468 140737020477312 139801503910752 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20647] ppid=20631 vsize=13987024 memory=280566056122912 CPUtime=0.1 cores=0,2,4,6
/proc/20633/task/20647/stat : 20647 (java) S 20631 20631 19988 0 -1 1077944384 509 0 0 0 5 5 0 0 20 0 15 0 154146135 14322712576 192628 33554432000 4194304 4196468 140737020477312 139801502857776 139802397457026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
Current children cumulated CPU time: 239 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 771896 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.48 1.67 1.51 5/217 20731
/proc/meminfo: memFree=20266208/32770624 swapFree=67108860/67108860
[pid=20631] ppid=20628 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/20631/stat : 20631 (xcsp3-exec) S 20628 20631 19988 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154146129 9740288 346 33554432000 4194304 5098028 140722499720256 140722499718360 139865207112316 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 25772032 140722499724407 140722499724608 140722499724608 140722499727339 0
/proc/20631/statm: 2378 346 289 221 0 87 0
[pid=20633] ppid=20631 vsize=13987024 memory=751528 CPUtime=256.96 cores=0,2,4,6
/proc/20633/stat : 20633 (java) S 20631 20631 19988 0 -1 1077944320 89844 0 0 0 25570 126 0 0 20 0 15 0 154146129 14322712576 187882 33554432000 4194304 4196468 140737020477312 140737020459856 139802397445879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
/proc/20633/statm: 3496756 187882 3283 1 0 3483990 0
[pid=20633/tid=20634] ppid=20631 vsize=13987024 memory=6791534058613427641 CPUtime=237.63 cores=0,2,4,6
/proc/20633/task/20634/stat : 20634 (java) R 20631 20631 19988 0 -1 4202560 21158 0 0 0 23755 8 0 0 20 0 15 0 154146129 14322712576 187882 33554432000 4194304 4196468 140737020477312 139802401685120 139802015613573 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20635] ppid=20631 vsize=13987024 memory=4872558044660077418 CPUtime=2.14 cores=0,2,4,6
/proc/20633/task/20635/stat : 20635 (java) S 20631 20631 19988 0 -1 1077944384 2380 0 0 0 188 26 0 0 20 0 15 0 154146130 14322712576 187882 33554432000 4194304 4196468 140737020477312 139802327534608 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20636] ppid=20631 vsize=13987024 memory=15876 CPUtime=2.12 cores=0,2,4,6
/proc/20633/task/20636/stat : 20636 (java) S 20631 20631 19988 0 -1 1077944384 2174 0 0 0 187 25 0 0 20 0 15 0 154146130 14322712576 187882 33554432000 4194304 4196468 140737020477312 139801992543376 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20637] ppid=20631 vsize=13987024 memory=16444 CPUtime=2.14 cores=0,2,4,6
/proc/20633/task/20637/stat : 20637 (java) S 20631 20631 19988 0 -1 1077944384 4258 0 0 0 189 25 0 0 20 0 15 0 154146130 14322712576 187882 33554432000 4194304 4196468 140737020477312 139801991490320 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20638] ppid=20631 vsize=13987024 memory=4052 CPUtime=2.13 cores=0,2,4,6
/proc/20633/task/20638/stat : 20638 (java) S 20631 20631 19988 0 -1 1077944384 3983 0 0 0 188 25 0 0 20 0 15 0 154146130 14322712576 187882 33554432000 4194304 4196468 140737020477312 139801990437776 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20639] ppid=20631 vsize=13987024 memory=1384 CPUtime=0.17 cores=0,2,4,6
/proc/20633/task/20639/stat : 20639 (java) S 20631 20631 19988 0 -1 1077944384 5959 0 0 0 15 2 0 0 20 0 15 0 154146131 14322712576 187882 33554432000 4194304 4196468 140737020477312 139801511278832 139802397457026 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20640] ppid=20631 vsize=13987024 memory=751528 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20640/stat : 20640 (java) S 20631 20631 19988 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154146132 14322712576 187882 33554432000 4194304 4196468 140737020477312 139801510225056 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20641] ppid=20631 vsize=13987024 memory=4624 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20641/stat : 20641 (java) S 20631 20631 19988 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154146132 14322712576 187882 33554432000 4194304 4196468 140737020477312 139801509171952 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20642] ppid=20631 vsize=13987024 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20642/stat : 20642 (java) S 20631 20631 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146134 14322712576 187882 33554432000 4194304 4196468 140737020477312 139801508120528 139802397464475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20643] ppid=20631 vsize=13987024 memory=13160 CPUtime=4.61 cores=0,2,4,6
/proc/20633/task/20643/stat : 20643 (java) S 20631 20631 19988 0 -1 1077944384 18669 0 0 0 459 2 0 0 20 0 15 0 154146134 14322712576 187882 33554432000 4194304 4196468 140737020477312 139801507068656 139802397457026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20644] ppid=20631 vsize=13987024 memory=42752 CPUtime=4.82 cores=0,2,4,6
/proc/20633/task/20644/stat : 20644 (java) S 20631 20631 19988 0 -1 1077944384 17668 0 0 0 480 2 0 0 20 0 15 0 154146134 14322712576 187882 33554432000 4194304 4196468 140737020477312 139801506016112 139802397457026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20645] ppid=20631 vsize=13987024 memory=1292 CPUtime=1 cores=0,2,4,6
/proc/20633/task/20645/stat : 20645 (java) S 20631 20631 19988 0 -1 1077944384 11741 0 0 0 97 3 0 0 20 0 15 0 154146134 14322712576 187882 33554432000 4194304 4196468 140737020477312 139801504963056 139802397457026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20646] ppid=20631 vsize=13987024 memory=2428 CPUtime=0 cores=0,2,4,6
/proc/20633/task/20646/stat : 20646 (java) S 20631 20631 19988 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154146135 14322712576 187882 33554432000 4194304 4196468 140737020477312 139801503910752 139802397456085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
[pid=20633/tid=20647] ppid=20631 vsize=13987024 memory=1384 CPUtime=0.12 cores=0,2,4,6
/proc/20633/task/20647/stat : 20647 (java) S 20631 20631 19988 0 -1 1077944384 511 0 0 0 6 6 0 0 20 0 15 0 154146135 14322712576 187882 33554432000 4194304 4196468 140737020477312 139801502857776 139802397457026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35835904 140737020478621 140737020478796 140737020478796 140737020481487 0
Current children cumulated CPU time: 256.96 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 752912 KiB

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

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

[startup+240.026 s]
# the end of solver process 20633 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=255.716 s, system=1.27692 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.026
CPU time (s): 256.993
CPU user time (s): 255.716
CPU system time (s): 1.27692
CPU usage (%): 107.069
Max. virtual memory (cumulated for all children) (KiB): 13996564
Max. memory (cumulated for all children) (KiB): 773944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.716
system time used= 1.27692
maximum resident set size= 780776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90842
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= 9936
involuntary context switches= 438


# summary of solver processes directly reported to runsolver:
#   pid: 20631,20633
#   total CPU time (s): 256.993
#   total CPU user time (s): 255.716
#   total CPU system time (s): 1.27692

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.34557 second user time and 2.56865 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 4284542

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