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-07-26)	SAT (TO)	269	258.59	240.02901

0.00/0.08	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4255338-1501618995.xml"  -tl '264s' -p 1 -x 3
0.00/0.26	c [HOME/instance-4255338-1501618995.xml, -tl, 264s, -p, 1, -x, 3]
0.00/0.32	c simple solver
0.00/0.38	c parse instance...
0.00/1.05	c solve instance...
10.83/4.23	o 251 
12.04/4.69	o 252 
17.37/6.82	o 256 
17.51/6.98	o 259 
30.83/18.78	o 267 
30.93/18.82	o 268 
31.23/19.15	o 269 
258.59/240.03	s SATISFIABLE
258.59/240.03	v <instantiation>
258.59/240.03	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] z </list>
258.59/240.03	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 1 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 1 1 1 1 1 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 1 0 1 1 0 1 1 1 0 0 0 1 1 0 1 1 0 1 0 0 1 0 1 0 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 0 1 1 0 1 0 1 1 0 0 1 0 0 1 0 0 0 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 0 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 1 1 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 0 1 1 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 2 1 1 1 1 2 0 0 1 0 1 0 0 0 0 1 0 0 0 2 0 0 1 1 2 1 2 2 2 1 1 2 1 1 1 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 1 0 2 1 1 2 1 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 2 0 0 2 0 2 0 0 1 1 0 1 0 0 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 2 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 2 2 2 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 1 0 1 0 0 1 1 2 2 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 2 0 1 1 0 2 2 2 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 2 2 2 1 1 2 2 2 2 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 2 2 2 2 2 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 2 2 2 2 1 1 1 0 1 1 1 1 0 1 0 0 0 1 0 0 0 1 1 1 1 0 0 1 1 2 2 2 1 0 1 0 1 2 2 0 0 0 0 0 1 1 2 0 0 1 0 1 0 0 0 0 1 1 2 2 1 0 0 1 1 2 1 1 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 1 0 2 1 1 1 1 2 2 2 0 0 1 0 1 0 1 1 0 0 1 0 1 1 1 2 0 1 0 1 1 1 1 1 1 2 2 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 2 2 2 1 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 1 2 2 1 0 0 2 1 0 0 0 1 1 0 1 1 1 1 0 0 0 1 1 1 2 0 0 0 1 2 2 1 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 1 1 0 0 1 1 1 1 0 0 1 0 14 27 32 40 43 50 72 91 98 103 116 125 130 140 151 164 177 197 214 229 250 269 284 307 330 346 366 380 269 </values>
258.59/240.03	v </instantiation>
258.59/240.03	c Unexpected resolution interruption!

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255338-1501618995/watcher-4255338-1501618995 -o /tmp/evaluation-result-4255338-1501618995/solver-4255338-1501618995 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501617193-9963 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 149572645 HOME/instance-4255338-1501618995.xml 

pid=10701
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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.79 1.86 1.82 3/195 10704
/proc/meminfo: memFree=31662552/32770624 swapFree=0/190472
[pid=10704] ppid=10701 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/10704/stat : 10704 (runsolver) D 10701 10704 5131 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10519794 24240128 108 18446744073709551615 4194304 4338465 140730895068288 140730895065928 139712318845655 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 6688768 140730895073374 140730895073862 140730895073862 140730895077322 0
/proc/10704/statm: 5918 108 54 36 0 2156 0

[startup+0.100152 s]
/proc/loadavg: 1.79 1.86 1.82 3/195 10704
/proc/meminfo: memFree=31662552/32770624 swapFree=0/190472
[pid=10704] ppid=10701 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10704/stat : 10704 (xcsp3-exec) S 10701 10704 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10519794 9740288 345 18446744073709551615 4194304 5098028 140720595871904 140720595870008 140019049149052 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 37117952 140720595878300 140720595878503 140720595878503 140720595881963 0
/proc/10704/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200301 s]
/proc/loadavg: 1.79 1.86 1.82 3/195 10704
/proc/meminfo: memFree=31662552/32770624 swapFree=0/190472
[pid=10704] ppid=10701 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10704/stat : 10704 (xcsp3-exec) S 10701 10704 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10519794 9740288 345 18446744073709551615 4194304 5098028 140720595871904 140720595870008 140019049149052 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 37117952 140720595878300 140720595878503 140720595878503 140720595881963 0
/proc/10704/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300318 s]
/proc/loadavg: 1.79 1.86 1.82 3/195 10704
/proc/meminfo: memFree=31662552/32770624 swapFree=0/190472
[pid=10704] ppid=10701 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10704/stat : 10704 (xcsp3-exec) S 10701 10704 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10519794 9740288 345 18446744073709551615 4194304 5098028 140720595871904 140720595870008 140019049149052 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 37117952 140720595878300 140720595878503 140720595878503 140720595881963 0
/proc/10704/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.70111 s]
/proc/loadavg: 1.79 1.86 1.82 3/195 10704
/proc/meminfo: memFree=31662552/32770624 swapFree=0/190472
[pid=10704] ppid=10701 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10704/stat : 10704 (xcsp3-exec) S 10701 10704 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10519794 9740288 345 18446744073709551615 4194304 5098028 140720595871904 140720595870008 140019049149052 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 37117952 140720595878300 140720595878503 140720595878503 140720595881963 0
/proc/10704/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50068 s]
/proc/loadavg: 1.79 1.86 1.82 4/211 10720
/proc/meminfo: memFree=31578792/32770624 swapFree=0/190496
[pid=10704] ppid=10701 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10704/stat : 10704 (xcsp3-exec) S 10701 10704 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10519794 9740288 345 18446744073709551615 4194304 5098028 140720595871904 140720595870008 140019049149052 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 37117952 140720595878300 140720595878503 140720595878503 140720595881963 0
/proc/10704/statm: 2378 345 289 221 0 87 0
[pid=10706] ppid=10704 vsize=13980732 CPUtime=3.56 cores=1,3,5,7
/proc/10706/stat : 10706 (java) S 10704 10704 5131 0 -1 1077944320 22961 0 0 0 350 6 0 0 20 0 15 0 10519802 14316269568 31078 18446744073709551615 4194304 4196468 140727774953792 140727774936336 139825145220855 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
/proc/10706/statm: 3495183 31078 3183 1 0 3483484 0
[pid=10706/tid=10707] ppid=10704 vsize=13980732 CPUtime=1.35 cores=1,3,5,7
/proc/10706/task/10707/stat : 10707 (java) R 10704 10704 5131 0 -1 4202560 9971 0 0 0 132 3 0 0 20 0 15 0 10519802 14316269568 31078 18446744073709551615 4194304 4196468 140727774953792 139825149456864 139824763025935 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10708] ppid=10704 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10708/stat : 10708 (java) S 10704 10704 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10519803 14316269568 31078 18446744073709551615 4194304 4196468 140727774953792 139825079655312 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10709] ppid=10704 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10709/stat : 10709 (java) S 10704 10704 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10519803 14316269568 31078 18446744073709551615 4194304 4196468 140727774953792 139825078602512 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10710] ppid=10704 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10710/stat : 10710 (java) S 10704 10704 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10519803 14316269568 31078 18446744073709551615 4194304 4196468 140727774953792 139825077550224 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10711] ppid=10704 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10711/stat : 10711 (java) S 10704 10704 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10519803 14316269568 31144 18446744073709551615 4194304 4196468 140727774953792 139824742448144 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10712] ppid=10704 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10712/stat : 10712 (java) S 10704 10704 5131 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 10519804 14316269568 31144 18446744073709551615 4194304 4196468 140727774953792 139824061962352 139825145232002 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10713] ppid=10704 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10713/stat : 10713 (java) S 10704 10704 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10519805 14316269568 31144 18446744073709551615 4194304 4196468 140727774953792 139824060908320 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10714] ppid=10704 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10714/stat : 10714 (java) S 10704 10704 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10519805 14316269568 31144 18446744073709551615 4194304 4196468 140727774953792 139824059855984 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10715] ppid=10704 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10715/stat : 10715 (java) S 10704 10704 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10519807 14316269568 31144 18446744073709551615 4194304 4196468 140727774953792 139824058804304 139825145239451 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10716] ppid=10704 vsize=13980732 CPUtime=0.78 cores=1,3,5,7
/proc/10706/task/10716/stat : 10716 (java) R 10704 10704 5131 0 -1 4202560 4662 0 0 0 77 1 0 0 20 0 15 0 10519807 14316269568 31144 18446744073709551615 4194304 4196468 140727774953792 139824057736504 139825137457982 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10717] ppid=10704 vsize=13980732 CPUtime=0.78 cores=1,3,5,7
/proc/10706/task/10717/stat : 10717 (java) R 10704 10704 5131 0 -1 4202560 3347 0 0 0 78 0 0 0 20 0 15 0 10519807 14316269568 31144 18446744073709551615 4194304 4196468 140727774953792 139824056689168 139825125920186 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10718] ppid=10704 vsize=13980732 CPUtime=0.61 cores=1,3,5,7
/proc/10706/task/10718/stat : 10718 (java) S 10704 10704 5131 0 -1 1077944384 3751 0 0 0 60 1 0 0 20 0 15 0 10519807 14316269568 31144 18446744073709551615 4194304 4196468 140727774953792 139824055647088 139825145232002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10719] ppid=10704 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10719/stat : 10719 (java) S 10704 10704 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10519808 14316269568 31144 18446744073709551615 4194304 4196468 140727774953792 139824054594528 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10720] ppid=10704 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10720/stat : 10720 (java) S 10704 10704 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10519812 14316269568 31144 18446744073709551615 4194304 4196468 140727774953792 139824053541296 139825145232002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
Current children cumulated CPU time (s) 3.56
Current children cumulated vsize (KiB) 13990244

[startup+3.10077 s]
/proc/loadavg: 1.79 1.86 1.82 5/211 10720
/proc/meminfo: memFree=31525964/32770624 swapFree=0/190496
[pid=10704] ppid=10701 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10704/stat : 10704 (xcsp3-exec) S 10701 10704 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10519794 9740288 345 18446744073709551615 4194304 5098028 140720595871904 140720595870008 140019049149052 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 37117952 140720595878300 140720595878503 140720595878503 140720595881963 0
/proc/10704/statm: 2378 345 289 221 0 87 0
[pid=10706] ppid=10704 vsize=13980732 CPUtime=8.46 cores=1,3,5,7
/proc/10706/stat : 10706 (java) S 10704 10704 5131 0 -1 1077944320 38548 0 0 0 837 9 0 0 20 0 15 0 10519802 14316269568 45315 18446744073709551615 4194304 4196468 140727774953792 140727774936336 139825145220855 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
/proc/10706/statm: 3495183 45315 3186 1 0 3483484 0
[pid=10706/tid=10707] ppid=10704 vsize=13980732 CPUtime=2.95 cores=1,3,5,7
/proc/10706/task/10707/stat : 10707 (java) R 10704 10704 5131 0 -1 4202560 10687 0 0 0 291 4 0 0 20 0 15 0 10519802 14316269568 45315 18446744073709551615 4194304 4196468 140727774953792 139825149459456 139824763025889 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10708] ppid=10704 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10708/stat : 10708 (java) S 10704 10704 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10519803 14316269568 45315 18446744073709551615 4194304 4196468 140727774953792 139825079655312 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10709] ppid=10704 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10709/stat : 10709 (java) S 10704 10704 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10519803 14316269568 45315 18446744073709551615 4194304 4196468 140727774953792 139825078602512 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10710] ppid=10704 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10710/stat : 10710 (java) S 10704 10704 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10519803 14316269568 45315 18446744073709551615 4194304 4196468 140727774953792 139825077550224 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10711] ppid=10704 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10711/stat : 10711 (java) S 10704 10704 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10519803 14316269568 45315 18446744073709551615 4194304 4196468 140727774953792 139824742448144 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10712] ppid=10704 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10712/stat : 10712 (java) S 10704 10704 5131 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 10519804 14316269568 45315 18446744073709551615 4194304 4196468 140727774953792 139824061962352 139825145232002 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10713] ppid=10704 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10713/stat : 10713 (java) S 10704 10704 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10519805 14316269568 45315 18446744073709551615 4194304 4196468 140727774953792 139824060908320 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10714] ppid=10704 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10714/stat : 10714 (java) S 10704 10704 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10519805 14316269568 45315 18446744073709551615 4194304 4196468 140727774953792 139824059855984 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10715] ppid=10704 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10715/stat : 10715 (java) S 10704 10704 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10519807 14316269568 45315 18446744073709551615 4194304 4196468 140727774953792 139824058804304 139825145239451 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10716] ppid=10704 vsize=13980732 CPUtime=2.38 cores=1,3,5,7
/proc/10706/task/10716/stat : 10716 (java) R 10704 10704 5131 0 -1 4202560 9083 0 0 0 237 1 0 0 20 0 15 0 10519807 14316269568 45315 18446744073709551615 4194304 4196468 140727774953792 139824057736760 139825130328533 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10717] ppid=10704 vsize=13980732 CPUtime=2.38 cores=1,3,5,7
/proc/10706/task/10717/stat : 10717 (java) R 10704 10704 5131 0 -1 4202560 12417 0 0 0 237 1 0 0 20 0 15 0 10519807 14316269568 45315 18446744073709551615 4194304 4196468 140727774953792 139824056685400 139825124445156 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10718] ppid=10704 vsize=13980732 CPUtime=0.71 cores=1,3,5,7
/proc/10706/task/10718/stat : 10718 (java) S 10704 10704 5131 0 -1 1077944384 4998 0 0 0 70 1 0 0 20 0 15 0 10519807 14316269568 45315 18446744073709551615 4194304 4196468 140727774953792 139824055647088 139825145232002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10719] ppid=10704 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10719/stat : 10719 (java) S 10704 10704 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10519808 14316269568 45315 18446744073709551615 4194304 4196468 140727774953792 139824054594528 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10720] ppid=10704 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10720/stat : 10720 (java) S 10704 10704 5131 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 10519812 14316269568 45315 18446744073709551615 4194304 4196468 140727774953792 139824053541296 139825145232002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
Current children cumulated CPU time (s) 8.46
Current children cumulated vsize (KiB) 13990244

[startup+6.30073 s]
/proc/loadavg: 1.97 1.89 1.83 5/211 10720
/proc/meminfo: memFree=31406764/32770624 swapFree=0/190500
[pid=10704] ppid=10701 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10704/stat : 10704 (xcsp3-exec) S 10701 10704 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10519794 9740288 345 18446744073709551615 4194304 5098028 140720595871904 140720595870008 140019049149052 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 37117952 140720595878300 140720595878503 140720595878503 140720595881963 0
/proc/10704/statm: 2378 345 289 221 0 87 0
[pid=10706] ppid=10704 vsize=13980732 CPUtime=16.7 cores=1,3,5,7
/proc/10706/stat : 10706 (java) S 10704 10704 5131 0 -1 1077944320 55202 0 0 0 1654 16 0 0 20 0 15 0 10519802 14316269568 66895 18446744073709551615 4194304 4196468 140727774953792 140727774936336 139825145220855 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
/proc/10706/statm: 3495183 66895 3222 1 0 3483484 0
[pid=10706/tid=10707] ppid=10704 vsize=13980732 CPUtime=6.12 cores=1,3,5,7
/proc/10706/task/10707/stat : 10707 (java) R 10704 10704 5131 0 -1 4202560 11546 0 0 0 607 5 0 0 20 0 15 0 10519802 14316269568 66895 18446744073709551615 4194304 4196468 140727774953792 139825149457624 139824767200468 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10708] ppid=10704 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/10706/task/10708/stat : 10708 (java) S 10704 10704 5131 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 15 0 10519803 14316269568 66895 18446744073709551615 4194304 4196468 140727774953792 139825079655312 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10709] ppid=10704 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/10706/task/10709/stat : 10709 (java) S 10704 10704 5131 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 15 0 10519803 14316269568 66895 18446744073709551615 4194304 4196468 140727774953792 139825078602512 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10710] ppid=10704 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/10706/task/10710/stat : 10710 (java) S 10704 10704 5131 0 -1 1077944384 165 0 0 0 1 0 0 0 20 0 15 0 10519803 14316269568 66895 18446744073709551615 4194304 4196468 140727774953792 139825077550224 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10711] ppid=10704 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/10706/task/10711/stat : 10711 (java) S 10704 10704 5131 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 15 0 10519803 14316269568 66895 18446744073709551615 4194304 4196468 140727774953792 139824742448144 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10712] ppid=10704 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10712/stat : 10712 (java) S 10704 10704 5131 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 15 0 10519804 14316269568 66895 18446744073709551615 4194304 4196468 140727774953792 139824061962352 139825145232002 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10713] ppid=10704 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10713/stat : 10713 (java) S 10704 10704 5131 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10519805 14316269568 66895 18446744073709551615 4194304 4196468 140727774953792 139824060908320 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10714] ppid=10704 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10714/stat : 10714 (java) S 10704 10704 5131 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 10519805 14316269568 66895 18446744073709551615 4194304 4196468 140727774953792 139824059855984 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10715] ppid=10704 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10715/stat : 10715 (java) S 10704 10704 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10519807 14316269568 66895 18446744073709551615 4194304 4196468 140727774953792 139824058804304 139825145239451 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10716] ppid=10704 vsize=13980732 CPUtime=4.7 cores=1,3,5,7
/proc/10706/task/10716/stat : 10716 (java) R 10704 10704 5131 0 -1 4202560 15790 0 0 0 468 2 0 0 20 0 15 0 10519807 14316269568 66895 18446744073709551615 4194304 4196468 140727774953792 139824057752176 139825126742091 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10717] ppid=10704 vsize=13980732 CPUtime=4.84 cores=1,3,5,7
/proc/10706/task/10717/stat : 10717 (java) R 10704 10704 5131 0 -1 4202560 18483 0 0 0 482 2 0 0 20 0 15 0 10519807 14316269568 66895 18446744073709551615 4194304 4196468 140727774953792 139824056699376 139825125049102 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10718] ppid=10704 vsize=13980732 CPUtime=0.9 cores=1,3,5,7
/proc/10706/task/10718/stat : 10718 (java) S 10704 10704 5131 0 -1 1077944384 6650 0 0 0 88 2 0 0 20 0 15 0 10519807 14316269568 66895 18446744073709551615 4194304 4196468 140727774953792 139824055647088 139825145232002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10719] ppid=10704 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10719/stat : 10719 (java) S 10704 10704 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10519808 14316269568 66895 18446744073709551615 4194304 4196468 140727774953792 139824054594528 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10720] ppid=10704 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10720/stat : 10720 (java) S 10704 10704 5131 0 -1 1077944384 695 0 0 0 0 0 0 0 20 0 15 0 10519812 14316269568 66895 18446744073709551615 4194304 4196468 140727774953792 139824053541296 139825145232002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
Current children cumulated CPU time (s) 16.7
Current children cumulated vsize (KiB) 13990244

[startup+12.7007 s]
/proc/loadavg: 1.97 1.89 1.83 2/192 10766
/proc/meminfo: memFree=31670720/32770624 swapFree=0/190524
[pid=10704] ppid=10701 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10704/stat : 10704 (xcsp3-exec) S 10701 10704 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10519794 9740288 345 18446744073709551615 4194304 5098028 140720595871904 140720595870008 140019049149052 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 37117952 140720595878300 140720595878503 140720595878503 140720595881963 0
/proc/10704/statm: 2378 345 289 221 0 87 0
[pid=10706] ppid=10704 vsize=13980732 CPUtime=23.97 cores=1,3,5,7
/proc/10706/stat : 10706 (java) S 10704 10704 5131 0 -1 1077944320 58280 0 0 0 2375 22 0 0 20 0 15 0 10519802 14316269568 78251 18446744073709551615 4194304 4196468 140727774953792 140727774936336 139825145220855 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
/proc/10706/statm: 3495183 78251 3231 1 0 3483484 0
[pid=10706/tid=10707] ppid=10704 vsize=13980732 CPUtime=12.42 cores=1,3,5,7
/proc/10706/task/10707/stat : 10707 (java) R 10704 10704 5131 0 -1 4202560 12103 0 0 0 1237 5 0 0 20 0 15 0 10519802 14316269568 78251 18446744073709551615 4194304 4196468 140727774953792 139825149460352 139824764967368 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10708] ppid=10704 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/10706/task/10708/stat : 10708 (java) S 10704 10704 5131 0 -1 1077944384 155 0 0 0 8 2 0 0 20 0 15 0 10519803 14316269568 78251 18446744073709551615 4194304 4196468 140727774953792 139825079655312 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10709] ppid=10704 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/10706/task/10709/stat : 10709 (java) S 10704 10704 5131 0 -1 1077944384 188 0 0 0 8 2 0 0 20 0 15 0 10519803 14316269568 78251 18446744073709551615 4194304 4196468 140727774953792 139825078602512 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0

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

[pid=10706/tid=10713] ppid=10704 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10713/stat : 10713 (java) S 10704 10704 5131 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10519805 14318366720 158779 18446744073709551615 4194304 4196468 140727774953792 139824060908320 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10714] ppid=10704 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10714/stat : 10714 (java) S 10704 10704 5131 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 10519805 14318366720 158779 18446744073709551615 4194304 4196468 140727774953792 139824059855984 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10715] ppid=10704 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10715/stat : 10715 (java) S 10704 10704 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10519807 14318366720 158779 18446744073709551615 4194304 4196468 140727774953792 139824058804304 139825145239451 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10716] ppid=10704 vsize=13982780 CPUtime=5.95 cores=1,3,5,7
/proc/10706/task/10716/stat : 10716 (java) S 10704 10704 5131 0 -1 1077944384 21683 0 0 0 593 2 0 0 20 0 15 0 10519807 14318366720 158779 18446744073709551615 4194304 4196468 140727774953792 139824057752176 139825145232002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10717] ppid=10704 vsize=13982780 CPUtime=6.23 cores=1,3,5,7
/proc/10706/task/10717/stat : 10717 (java) S 10704 10704 5131 0 -1 1077944384 28549 0 0 0 620 3 0 0 20 0 15 0 10519807 14318366720 158779 18446744073709551615 4194304 4196468 140727774953792 139824056699376 139825145232002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10718] ppid=10704 vsize=13982780 CPUtime=1 cores=1,3,5,7
/proc/10706/task/10718/stat : 10718 (java) S 10704 10704 5131 0 -1 1077944384 10551 0 0 0 97 3 0 0 20 0 15 0 10519807 14318366720 158779 18446744073709551615 4194304 4196468 140727774953792 139824055647088 139825145232002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10719] ppid=10704 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10719/stat : 10719 (java) S 10704 10704 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10519808 14318366720 158779 18446744073709551615 4194304 4196468 140727774953792 139824054594528 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10720] ppid=10704 vsize=13982780 CPUtime=0.04 cores=1,3,5,7
/proc/10706/task/10720/stat : 10720 (java) S 10704 10704 5131 0 -1 1077944384 1003 0 0 0 1 3 0 0 20 0 15 0 10519812 14318366720 158779 18446744073709551615 4194304 4196468 140727774953792 139824053541296 139825145232002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
Current children cumulated CPU time (s) 116.95
Current children cumulated vsize (KiB) 13992292

[startup+162.301 s]
/proc/loadavg: 1.83 1.89 1.85 3/211 10812
/proc/meminfo: memFree=30831632/32770624 swapFree=0/190664
[pid=10704] ppid=10701 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10704/stat : 10704 (xcsp3-exec) S 10701 10704 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10519794 9740288 345 18446744073709551615 4194304 5098028 140720595871904 140720595870008 140019049149052 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 37117952 140720595878300 140720595878503 140720595878503 140720595881963 0
/proc/10704/statm: 2378 345 289 221 0 87 0
[pid=10706] ppid=10704 vsize=13982780 CPUtime=178.08 cores=1,3,5,7
/proc/10706/stat : 10706 (java) S 10704 10704 5131 0 -1 1077944320 96342 0 0 0 17741 67 0 0 20 0 15 0 10519802 14318366720 149920 18446744073709551615 4194304 4196468 140727774953792 140727774936336 139825145220855 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
/proc/10706/statm: 3495695 149920 3234 1 0 3483996 0
[pid=10706/tid=10707] ppid=10704 vsize=13982780 CPUtime=161.23 cores=1,3,5,7
/proc/10706/task/10707/stat : 10707 (java) R 10704 10704 5131 0 -1 4202560 20517 0 0 0 16112 11 0 0 20 0 15 0 10519802 14318366720 149920 18446744073709551615 4194304 4196468 140727774953792 139825149460560 139824765687666 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10708] ppid=10704 vsize=13982780 CPUtime=0.83 cores=1,3,5,7
/proc/10706/task/10708/stat : 10708 (java) S 10704 10704 5131 0 -1 1077944384 2082 0 0 0 73 10 0 0 20 0 15 0 10519803 14318366720 149920 18446744073709551615 4194304 4196468 140727774953792 139825079655312 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10709] ppid=10704 vsize=13982780 CPUtime=0.83 cores=1,3,5,7
/proc/10706/task/10709/stat : 10709 (java) S 10704 10704 5131 0 -1 1077944384 1103 0 0 0 72 11 0 0 20 0 15 0 10519803 14318366720 149920 18446744073709551615 4194304 4196468 140727774953792 139825078602512 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10710] ppid=10704 vsize=13982780 CPUtime=0.85 cores=1,3,5,7
/proc/10706/task/10710/stat : 10710 (java) S 10704 10704 5131 0 -1 1077944384 1275 0 0 0 74 11 0 0 20 0 15 0 10519803 14318366720 149920 18446744073709551615 4194304 4196468 140727774953792 139825077550224 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10711] ppid=10704 vsize=13982780 CPUtime=0.83 cores=1,3,5,7
/proc/10706/task/10711/stat : 10711 (java) S 10704 10704 5131 0 -1 1077944384 2540 0 0 0 73 10 0 0 20 0 15 0 10519803 14318366720 149920 18446744073709551615 4194304 4196468 140727774953792 139824742448144 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10712] ppid=10704 vsize=13982780 CPUtime=0.04 cores=1,3,5,7
/proc/10706/task/10712/stat : 10712 (java) S 10704 10704 5131 0 -1 1077944384 1525 0 0 0 4 0 0 0 20 0 15 0 10519804 14318366720 149920 18446744073709551615 4194304 4196468 140727774953792 139824061962352 139825145232002 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10713] ppid=10704 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10713/stat : 10713 (java) S 10704 10704 5131 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10519805 14318366720 149920 18446744073709551615 4194304 4196468 140727774953792 139824060908320 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10714] ppid=10704 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10714/stat : 10714 (java) S 10704 10704 5131 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 10519805 14318366720 149920 18446744073709551615 4194304 4196468 140727774953792 139824059855984 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10715] ppid=10704 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10715/stat : 10715 (java) S 10704 10704 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10519807 14318366720 149920 18446744073709551615 4194304 4196468 140727774953792 139824058804304 139825145239451 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10716] ppid=10704 vsize=13982780 CPUtime=6 cores=1,3,5,7
/proc/10706/task/10716/stat : 10716 (java) S 10704 10704 5131 0 -1 1077944384 23665 0 0 0 598 2 0 0 20 0 15 0 10519807 14318366720 149920 18446744073709551615 4194304 4196468 140727774953792 139824057752176 139825145232002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10717] ppid=10704 vsize=13982780 CPUtime=6.34 cores=1,3,5,7
/proc/10706/task/10717/stat : 10717 (java) S 10704 10704 5131 0 -1 1077944384 30554 0 0 0 631 3 0 0 20 0 15 0 10519807 14318366720 149920 18446744073709551615 4194304 4196468 140727774953792 139824056699376 139825145232002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10718] ppid=10704 vsize=13982780 CPUtime=1 cores=1,3,5,7
/proc/10706/task/10718/stat : 10718 (java) S 10704 10704 5131 0 -1 1077944384 10566 0 0 0 97 3 0 0 20 0 15 0 10519807 14318366720 149920 18446744073709551615 4194304 4196468 140727774953792 139824055647088 139825145232002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10719] ppid=10704 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10719/stat : 10719 (java) S 10704 10704 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10519808 14318366720 149920 18446744073709551615 4194304 4196468 140727774953792 139824054594528 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10720] ppid=10704 vsize=13982780 CPUtime=0.07 cores=1,3,5,7
/proc/10706/task/10720/stat : 10720 (java) S 10704 10704 5131 0 -1 1077944384 1170 0 0 0 2 5 0 0 20 0 15 0 10519812 14318366720 149920 18446744073709551615 4194304 4196468 140727774953792 139824053541296 139825145232002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
Current children cumulated CPU time (s) 178.08
Current children cumulated vsize (KiB) 13992292

[startup+222.307 s]
/proc/loadavg: 1.41 1.76 1.80 3/211 10814
/proc/meminfo: memFree=30821684/32770624 swapFree=0/190704
[pid=10704] ppid=10701 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10704/stat : 10704 (xcsp3-exec) S 10701 10704 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10519794 9740288 345 18446744073709551615 4194304 5098028 140720595871904 140720595870008 140019049149052 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 37117952 140720595878300 140720595878503 140720595878503 140720595881963 0
/proc/10704/statm: 2378 345 289 221 0 87 0
[pid=10706] ppid=10704 vsize=13982780 CPUtime=240.52 cores=1,3,5,7
/proc/10706/stat : 10706 (java) S 10704 10704 5131 0 -1 1077944320 105882 0 0 0 23964 88 0 0 20 0 15 0 10519802 14318366720 153259 18446744073709551615 4194304 4196468 140727774953792 140727774936336 139825145220855 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
/proc/10706/statm: 3495695 153259 3249 1 0 3483996 0
[pid=10706/tid=10707] ppid=10704 vsize=13982780 CPUtime=220.34 cores=1,3,5,7
/proc/10706/task/10707/stat : 10707 (java) R 10704 10704 5131 0 -1 4202560 21671 0 0 0 22023 11 0 0 20 0 15 0 10519802 14318366720 153259 18446744073709551615 4194304 4196468 140727774953792 139825149457504 139824765724872 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10708] ppid=10704 vsize=13982780 CPUtime=1.59 cores=1,3,5,7
/proc/10706/task/10708/stat : 10708 (java) S 10704 10704 5131 0 -1 1077944384 2502 0 0 0 144 15 0 0 20 0 15 0 10519803 14318366720 153259 18446744073709551615 4194304 4196468 140727774953792 139825079655312 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10709] ppid=10704 vsize=13982780 CPUtime=1.58 cores=1,3,5,7
/proc/10706/task/10709/stat : 10709 (java) S 10704 10704 5131 0 -1 1077944384 1596 0 0 0 143 15 0 0 20 0 15 0 10519803 14318366720 153259 18446744073709551615 4194304 4196468 140727774953792 139825078602512 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10710] ppid=10704 vsize=13982780 CPUtime=1.62 cores=1,3,5,7
/proc/10706/task/10710/stat : 10710 (java) S 10704 10704 5131 0 -1 1077944384 1774 0 0 0 146 16 0 0 20 0 15 0 10519803 14318366720 153259 18446744073709551615 4194304 4196468 140727774953792 139825077550224 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10711] ppid=10704 vsize=13982780 CPUtime=1.59 cores=1,3,5,7
/proc/10706/task/10711/stat : 10711 (java) S 10704 10704 5131 0 -1 1077944384 3134 0 0 0 145 14 0 0 20 0 15 0 10519803 14318366720 153259 18446744073709551615 4194304 4196468 140727774953792 139824742448144 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10712] ppid=10704 vsize=13982780 CPUtime=0.15 cores=1,3,5,7
/proc/10706/task/10712/stat : 10712 (java) S 10704 10704 5131 0 -1 1077944384 4925 0 0 0 14 1 0 0 20 0 15 0 10519804 14318366720 153259 18446744073709551615 4194304 4196468 140727774953792 139824061962352 139825145232002 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10713] ppid=10704 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10713/stat : 10713 (java) S 10704 10704 5131 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10519805 14318366720 153259 18446744073709551615 4194304 4196468 140727774953792 139824060908320 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10714] ppid=10704 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10714/stat : 10714 (java) S 10704 10704 5131 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 10519805 14318366720 153259 18446744073709551615 4194304 4196468 140727774953792 139824059855984 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10715] ppid=10704 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10715/stat : 10715 (java) S 10704 10704 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10519807 14318366720 153259 18446744073709551615 4194304 4196468 140727774953792 139824058804304 139825145239451 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10716] ppid=10704 vsize=13982780 CPUtime=6 cores=1,3,5,7
/proc/10706/task/10716/stat : 10716 (java) S 10704 10704 5131 0 -1 1077944384 23667 0 0 0 598 2 0 0 20 0 15 0 10519807 14318366720 153259 18446744073709551615 4194304 4196468 140727774953792 139824057752176 139825145232002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10717] ppid=10704 vsize=13982780 CPUtime=6.47 cores=1,3,5,7
/proc/10706/task/10717/stat : 10717 (java) S 10704 10704 5131 0 -1 1077944384 32690 0 0 0 644 3 0 0 20 0 15 0 10519807 14318366720 153259 18446744073709551615 4194304 4196468 140727774953792 139824056699376 139825145232002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10718] ppid=10704 vsize=13982780 CPUtime=1 cores=1,3,5,7
/proc/10706/task/10718/stat : 10718 (java) S 10704 10704 5131 0 -1 1077944384 11382 0 0 0 97 3 0 0 20 0 15 0 10519807 14318366720 153259 18446744073709551615 4194304 4196468 140727774953792 139824055647088 139825145232002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10719] ppid=10704 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10719/stat : 10719 (java) S 10704 10704 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10519808 14318366720 153259 18446744073709551615 4194304 4196468 140727774953792 139824054594528 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10720] ppid=10704 vsize=13982780 CPUtime=0.1 cores=1,3,5,7
/proc/10706/task/10720/stat : 10720 (java) S 10704 10704 5131 0 -1 1077944384 1196 0 0 0 3 7 0 0 20 0 15 0 10519812 14318366720 153259 18446744073709551615 4194304 4196468 140727774953792 139824053541296 139825145232002 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
Current children cumulated CPU time (s) 240.52
Current children cumulated vsize (KiB) 13992292



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.63 1.79 1.81 3/211 10814
/proc/meminfo: memFree=30684652/32770624 swapFree=0/190712
[pid=10704] ppid=10701 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/10704/stat : 10704 (xcsp3-exec) S 10701 10704 5131 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 10519794 9740288 345 18446744073709551615 4194304 5098028 140720595871904 140720595870008 140019049149052 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 37117952 140720595878300 140720595878503 140720595878503 140720595881963 0
/proc/10704/statm: 2378 345 289 221 0 87 0
[pid=10706] ppid=10704 vsize=13982780 CPUtime=258.59 cores=1,3,5,7
/proc/10706/stat : 10706 (java) S 10704 10704 5131 0 -1 1077944320 106908 0 0 0 25763 96 0 0 20 0 15 0 10519802 14318366720 173410 18446744073709551615 4194304 4196468 140727774953792 140727774936336 139825145220855 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
/proc/10706/statm: 3495695 173410 3249 1 0 3483996 0
[pid=10706/tid=10707] ppid=10704 vsize=13982780 CPUtime=237.91 cores=1,3,5,7
/proc/10706/task/10707/stat : 10707 (java) R 10704 10704 5131 0 -1 4202560 22362 0 0 0 23779 12 0 0 20 0 15 0 10519802 14318366720 173410 18446744073709551615 4194304 4196468 140727774953792 139825149460240 139824765595105 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10708] ppid=10704 vsize=13982780 CPUtime=1.72 cores=1,3,5,7
/proc/10706/task/10708/stat : 10708 (java) S 10704 10704 5131 0 -1 1077944384 2547 0 0 0 155 17 0 0 20 0 15 0 10519803 14318366720 173410 18446744073709551615 4194304 4196468 140727774953792 139825079655312 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10709] ppid=10704 vsize=13982780 CPUtime=1.71 cores=1,3,5,7
/proc/10706/task/10709/stat : 10709 (java) S 10704 10704 5131 0 -1 1077944384 1658 0 0 0 154 17 0 0 20 0 15 0 10519803 14318366720 173410 18446744073709551615 4194304 4196468 140727774953792 139825078602512 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10710] ppid=10704 vsize=13982780 CPUtime=1.73 cores=1,3,5,7
/proc/10706/task/10710/stat : 10710 (java) S 10704 10704 5131 0 -1 1077944384 1879 0 0 0 156 17 0 0 20 0 15 0 10519803 14318366720 173410 18446744073709551615 4194304 4196468 140727774953792 139825077550224 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10711] ppid=10704 vsize=13982780 CPUtime=1.71 cores=1,3,5,7
/proc/10706/task/10711/stat : 10711 (java) S 10704 10704 5131 0 -1 1077944384 3212 0 0 0 155 16 0 0 20 0 15 0 10519803 14318366720 173410 18446744073709551615 4194304 4196468 140727774953792 139824742448144 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10712] ppid=10704 vsize=13982780 CPUtime=0.15 cores=1,3,5,7
/proc/10706/task/10712/stat : 10712 (java) S 10704 10704 5131 0 -1 1077944384 4970 0 0 0 14 1 0 0 20 0 15 0 10519804 14318366720 173410 18446744073709551615 4194304 4196468 140727774953792 139824061962352 139825145232002 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10713] ppid=10704 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10713/stat : 10713 (java) S 10704 10704 5131 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 10519805 14318366720 173410 18446744073709551615 4194304 4196468 140727774953792 139824060908320 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10714] ppid=10704 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10714/stat : 10714 (java) S 10704 10704 5131 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 10519805 14318366720 173410 18446744073709551615 4194304 4196468 140727774953792 139824059855984 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10715] ppid=10704 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10715/stat : 10715 (java) S 10704 10704 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10519807 14318366720 173410 18446744073709551615 4194304 4196468 140727774953792 139824058804304 139825145239451 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10716] ppid=10704 vsize=13982780 CPUtime=6 cores=1,3,5,7
/proc/10706/task/10716/stat : 10716 (java) S 10704 10704 5131 0 -1 1077944384 23667 0 0 0 598 2 0 0 20 0 15 0 10519807 14318366720 173410 18446744073709551615 4194304 4196468 140727774953792 139824057752176 139825145232002 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10717] ppid=10704 vsize=13982780 CPUtime=6.47 cores=1,3,5,7
/proc/10706/task/10717/stat : 10717 (java) S 10704 10704 5131 0 -1 1077944384 32690 0 0 0 644 3 0 0 20 0 15 0 10519807 14318366720 173410 18446744073709551615 4194304 4196468 140727774953792 139824056699376 139825145232002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10718] ppid=10704 vsize=13982780 CPUtime=1 cores=1,3,5,7
/proc/10706/task/10718/stat : 10718 (java) S 10704 10704 5131 0 -1 1077944384 11382 0 0 0 97 3 0 0 20 0 15 0 10519807 14318366720 173410 18446744073709551615 4194304 4196468 140727774953792 139824055647088 139825145232002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10719] ppid=10704 vsize=13982780 CPUtime=0 cores=1,3,5,7
/proc/10706/task/10719/stat : 10719 (java) S 10704 10704 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10519808 14318366720 173410 18446744073709551615 4194304 4196468 140727774953792 139824054594528 139825145231061 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
[pid=10706/tid=10720] ppid=10704 vsize=13982780 CPUtime=0.11 cores=1,3,5,7
/proc/10706/task/10720/stat : 10720 (java) S 10704 10704 5131 0 -1 1077944384 1196 0 0 0 4 7 0 0 20 0 15 0 10519812 14318366720 173410 18446744073709551615 4194304 4196468 140727774953792 139824053541296 139825145232002 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17739776 140727774958036 140727774958211 140727774958211 140727774961615 0
Current children cumulated CPU time (s) 258.59
Current children cumulated vsize (KiB) 13992292

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10706 sig 9
??? kill 10704 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10704 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1844
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=116
# CPU time returned by wait4() is 0.00196
# while last known CPU time is 258.59
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 240.029
CPU time (s): 258.59
CPU user time (s): 257.63
CPU system time (s): 0.96
CPU usage (%): 107.733
Max. virtual memory (cumulated for all children) (KiB): 13992972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001844
system time used= 0.000116
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.23125 second user time and 1.4357 second system time

The end

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

Trace number 4255338

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