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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-18)	SAT (TO)	267	246.64101	240.022

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283071-1503210525.xml"  -tl '264s' -p 1 -x 0
0.12/0.14	c [HOME/instance-4283071-1503210525.xml, -tl, 264s, -p, 1, -x, 0]
0.12/0.20	c simple solver
0.33/0.26	c parse instance...
2.11/0.92	c solve instance...
14.66/10.59	o 252 
15.13/10.74	o 253 
15.72/10.95	o 255 
15.72/10.95	o 256 
56.37/50.35	o 257 
87.56/81.44	o 267 
246.62/240.01	s SATISFIABLE
246.62/240.01	v <instantiation>
246.62/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[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>
246.62/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 1 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 1 1 1 1 0 1 1 0 1 0 1 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 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 1 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 0 0 1 1 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 1 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 0 1 1 0 1 1 1 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 1 1 1 1 2 2 1 1 0 0 0 1 1 1 0 1 2 2 2 0 0 0 0 1 0 0 0 0 0 1 1 0 1 2 1 0 0 0 0 1 1 0 1 0 1 2 1 1 0 1 0 0 1 0 0 1 1 2 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 2 2 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 2 1 1 2 2 2 2 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 2 1 1 2 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 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 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 1 0 1 1 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 2 2 2 1 1 1 1 1 0 0 1 0 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 1 1 2 2 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 2 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 2 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 2 1 1 2 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 2 1 1 2 2 1 0 2 0 0 0 0 0 0 2 1 0 0 0 1 0 0 1 0 0 0 1 1 2 1 1 1 2 2 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 1 1 2 2 1 0 1 0 1 2 1 1 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 2 2 2 1 0 0 0 1 0 2 2 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 2 2 1 1 0 0 0 1 1 1 2 0 0 0 0 0 1 2 1 0 0 0 0 0 1 0 0 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 0 1 0 0 0 0 1 0 0 0 2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 2 1 1 0 1 0 0 0 0 1 0 2 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 2 2 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 1 1 2 2 2 1 0 0 1 1 1 1 1 1 0 0 0 0 0 2 0 0 0 1 1 1 0 1 2 2 2 2 2 1 0 0 0 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 0 15 36 52 64 78 94 108 113 120 135 148 163 172 181 192 204 222 241 261 276 292 301 307 319 334 349 372 388 267 </values>
246.62/240.01	v </instantiation>
246.62/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 (12404 MiB free)
  memory of node 1: 16384 MiB (13683 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283071-1503210525/watcher-4283071-1503210525 -o /tmp/evaluation-result-4283071-1503210525/solver-4283071-1503210525 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node115-1503208459-21140 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1556343213 HOME/instance-4283071-1503210525.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
Current StackSize limit: 8192 KiB

solver pid=21997, runsolver pid=21994

[startup+0.100479 s]*
/proc/loadavg: 2.20 2.04 1.57 3/197 22013
/proc/meminfo: memFree=26697484/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21997/stat : 21997 (xcsp3-exec) S 21994 21997 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154140059 9740288 345 33554432000 4194304 5098028 140732512878240 140732512876344 140161782649468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20754432 140732512879732 140732512879936 140732512879936 140732512882667 0
/proc/21997/statm: 2378 345 289 221 0 87 0
[pid=21999] ppid=21997 vsize=13978596 memory=28348 CPUtime=0.12 cores=0,2,4,6
/proc/21999/stat : 21999 (java) S 21997 21997 21109 0 -1 1077944320 5386 0 0 0 11 1 0 0 20 0 15 0 154140059 14314082304 7087 33554432000 4194304 4196468 140732846079696 140732846062240 140451190542071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
/proc/21999/statm: 3494649 7087 2898 1 0 3482966 0
[pid=21999/tid=22000] ppid=21997 vsize=13978596 memory=-8035107114841901037 CPUtime=0.09 cores=0,2,4,6
/proc/21999/task/22000/stat : 22000 (java) R 21997 21997 21109 0 -1 4202560 3394 0 0 0 8 1 0 0 20 0 15 0 154140059 14314082304 7087 33554432000 4194304 4196468 140732846079696 140451194775344 140451190554006 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22001] ppid=21997 vsize=13978596 memory=6735269665564437106 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22001/stat : 22001 (java) S 21997 21997 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140060 14314082304 7087 33554432000 4194304 4196468 140732846079696 140451143162128 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22002] ppid=21997 vsize=13978596 memory=140474685306496 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22002/stat : 22002 (java) S 21997 21997 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140060 14314082304 7087 33554432000 4194304 4196468 140732846079696 140451142109584 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22003] ppid=21997 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22003/stat : 22003 (java) S 21997 21997 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140060 14314082304 7087 33554432000 4194304 4196468 140732846079696 140451141057040 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22004] ppid=21997 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22004/stat : 22004 (java) S 21997 21997 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154140060 14314082304 7087 33554432000 4194304 4196468 140732846079696 140451140004496 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22005] ppid=21997 vsize=13978596 memory=140474685306496 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22005/stat : 22005 (java) S 21997 21997 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154140061 14314082304 7087 33554432000 4194304 4196468 140732846079696 140450169346544 140451190553218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22006] ppid=21997 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22006/stat : 22006 (java) S 21997 21997 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154140062 14314082304 7087 33554432000 4194304 4196468 140732846079696 140450168292768 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22007] ppid=21997 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22007/stat : 22007 (java) S 21997 21997 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154140062 14314082304 7087 33554432000 4194304 4196468 140732846079696 140450167240176 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22008] ppid=21997 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22008/stat : 22008 (java) S 21997 21997 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140064 14314082304 7087 33554432000 4194304 4196468 140732846079696 140450166188752 140451190560667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22009] ppid=21997 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22009/stat : 22009 (java) S 21997 21997 21109 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 154140064 14314082304 7087 33554432000 4194304 4196468 140732846079696 140450165135344 140451190553218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22010] ppid=21997 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22010/stat : 22010 (java) S 21997 21997 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140064 14314082304 7087 33554432000 4194304 4196468 140732846079696 140450164082800 140451190553218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22011] ppid=21997 vsize=13978596 memory=140474685306496 CPUtime=0.01 cores=0,2,4,6
/proc/21999/task/22011/stat : 22011 (java) R 21997 21997 21109 0 -1 4202560 298 0 0 0 1 0 0 0 20 0 15 0 154140064 14314082304 7087 33554432000 4194304 4196468 140732846079696 140450163030256 140451169467782 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22012] ppid=21997 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22012/stat : 22012 (java) S 21997 21997 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140065 14314082304 7087 33554432000 4194304 4196468 140732846079696 140450161977952 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22013] ppid=21997 vsize=13978596 memory=140474685306496 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22013/stat : 22013 (java) S 21997 21997 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140065 14314082304 7087 33554432000 4194304 4196468 140732846079696 140450160925488 140451190553218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29728 KiB

[startup+0.213316 s]*
/proc/loadavg: 2.20 2.04 1.57 3/197 22013
/proc/meminfo: memFree=26687164/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21997/stat : 21997 (xcsp3-exec) S 21994 21997 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154140059 9740288 345 33554432000 4194304 5098028 140732512878240 140732512876344 140161782649468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20754432 140732512879732 140732512879936 140732512879936 140732512882667 0
/proc/21997/statm: 2378 345 289 221 0 87 0
[pid=21999] ppid=21997 vsize=13982852 memory=40416 CPUtime=0.33 cores=0,2,4,6
/proc/21999/stat : 21999 (java) S 21997 21997 21109 0 -1 1077944320 8182 0 0 0 31 2 0 0 20 0 15 0 154140059 14318440448 10104 33554432000 4194304 4196468 140732846079696 140732846062240 140451190542071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
/proc/21999/statm: 3495713 10104 3060 1 0 3482966 0
[pid=21999/tid=22000] ppid=21997 vsize=13982852 memory=8390339637985935414 CPUtime=0.2 cores=0,2,4,6
/proc/21999/task/22000/stat : 22000 (java) D 21997 21997 21109 0 -1 1077944384 5334 0 0 0 18 2 0 0 20 0 15 0 154140059 14318440448 10104 33554432000 4194304 4196468 140732846079696 140451194752864 140451183221293 0 4 0 16800975 18446744072101580324 0 0 -1 2 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22001] ppid=21997 vsize=13982852 memory=288230609019731991 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22001/stat : 22001 (java) S 21997 21997 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140060 14318440448 10104 33554432000 4194304 4196468 140732846079696 140451143162128 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22002] ppid=21997 vsize=13982852 memory=140474686049028 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22002/stat : 22002 (java) S 21997 21997 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140060 14318440448 10104 33554432000 4194304 4196468 140732846079696 140451142109584 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22003] ppid=21997 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22003/stat : 22003 (java) S 21997 21997 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140060 14318473216 10104 33554432000 4194304 4196468 140732846079696 140451141057040 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22004] ppid=21997 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22004/stat : 22004 (java) S 21997 21997 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154140060 14318473216 10104 33554432000 4194304 4196468 140732846079696 140451140004496 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22005] ppid=21997 vsize=13982852 memory=140474685306496 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22005/stat : 22005 (java) S 21997 21997 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154140061 14318440448 10104 33554432000 4194304 4196468 140732846079696 140450169346544 140451190553218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22006] ppid=21997 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22006/stat : 22006 (java) S 21997 21997 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154140062 14318440448 10104 33554432000 4194304 4196468 140732846079696 140450168292768 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22007] ppid=21997 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22007/stat : 22007 (java) S 21997 21997 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154140062 14318440448 10104 33554432000 4194304 4196468 140732846079696 140450167240176 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22008] ppid=21997 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22008/stat : 22008 (java) S 21997 21997 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140064 14318440448 10104 33554432000 4194304 4196468 140732846079696 140450166188752 140451190560667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22009] ppid=21997 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/21999/task/22009/stat : 22009 (java) S 21997 21997 21109 0 -1 1077944384 680 0 0 0 2 0 0 0 20 0 15 0 154140064 14318440448 10104 33554432000 4194304 4196468 140732846079696 140450165135344 140451190553218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22010] ppid=21997 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/21999/task/22010/stat : 22010 (java) S 21997 21997 21109 0 -1 1077944384 97 0 0 0 2 0 0 0 20 0 15 0 154140064 14318440448 10104 33554432000 4194304 4196468 140732846079696 140450164082800 140451190553218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22011] ppid=21997 vsize=13982884 memory=140474685306496 CPUtime=0.08 cores=0,2,4,6
/proc/21999/task/22011/stat : 22011 (java) S 21997 21997 21109 0 -1 1077944384 776 0 0 0 8 0 0 0 20 0 15 0 154140064 14318473216 10104 33554432000 4194304 4196468 140732846079696 140450163030256 140451190553218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22012] ppid=21997 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22012/stat : 22012 (java) S 21997 21997 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140065 14318440448 10104 33554432000 4194304 4196468 140732846079696 140450161977952 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22013] ppid=21997 vsize=13982852 memory=140474685306496 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22013/stat : 22013 (java) S 21997 21997 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140065 14318440448 10104 33554432000 4194304 4196468 140732846079696 140450160925488 140451190553218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41796 KiB

[startup+0.31027 s]*
/proc/loadavg: 2.20 2.04 1.57 3/197 22013
/proc/meminfo: memFree=26680588/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21997/stat : 21997 (xcsp3-exec) S 21994 21997 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154140059 9740288 345 33554432000 4194304 5098028 140732512878240 140732512876344 140161782649468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20754432 140732512879732 140732512879936 140732512879936 140732512882667 0
/proc/21997/statm: 2378 345 289 221 0 87 0
[pid=21999] ppid=21997 vsize=13982852 memory=47304 CPUtime=0.5 cores=0,2,4,6
/proc/21999/stat : 21999 (java) S 21997 21997 21109 0 -1 1077944320 9005 0 0 0 47 3 0 0 20 0 15 0 154140059 14318440448 11826 33554432000 4194304 4196468 140732846079696 140732846062240 140451190542071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
/proc/21999/statm: 3495713 11826 3100 1 0 3482966 0
[pid=21999/tid=22000] ppid=21997 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/21999/task/22000/stat : 22000 (java) R 21997 21997 21109 0 -1 4202560 5928 0 0 0 27 2 0 0 20 0 15 0 154140059 14318440448 11826 33554432000 4194304 4196468 140732846079696 140451194781024 140450818179906 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22001] ppid=21997 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22001/stat : 22001 (java) S 21997 21997 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140060 14318440448 11826 33554432000 4194304 4196468 140732846079696 140451143162128 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22002] ppid=21997 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22002/stat : 22002 (java) S 21997 21997 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140060 14318440448 11826 33554432000 4194304 4196468 140732846079696 140451142109584 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22003] ppid=21997 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22003/stat : 22003 (java) S 21997 21997 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140060 14318440448 11826 33554432000 4194304 4196468 140732846079696 140451141057040 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22004] ppid=21997 vsize=13982852 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22004/stat : 22004 (java) S 21997 21997 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154140060 14318440448 11826 33554432000 4194304 4196468 140732846079696 140451140004496 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22005] ppid=21997 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22005/stat : 22005 (java) S 21997 21997 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154140061 14318440448 11826 33554432000 4194304 4196468 140732846079696 140450169346544 140451190553218 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22006] ppid=21997 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22006/stat : 22006 (java) S 21997 21997 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154140062 14318440448 11826 33554432000 4194304 4196468 140732846079696 140450168292768 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22007] ppid=21997 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22007/stat : 22007 (java) S 21997 21997 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154140062 14318440448 11826 33554432000 4194304 4196468 140732846079696 140450167240176 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22008] ppid=21997 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22008/stat : 22008 (java) S 21997 21997 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140064 14318440448 11826 33554432000 4194304 4196468 140732846079696 140450166188752 140451190560667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22009] ppid=21997 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/21999/task/22009/stat : 22009 (java) R 21997 21997 21109 0 -1 1077944384 758 0 0 0 4 0 0 0 20 0 15 0 154140064 14318440448 11826 33554432000 4194304 4196468 140732846079696 140450165135344 140451190553218 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22010] ppid=21997 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/21999/task/22010/stat : 22010 (java) R 21997 21997 21109 0 -1 4202560 115 0 0 0 3 0 0 0 20 0 15 0 154140064 14318440448 11826 33554432000 4194304 4196468 140732846079696 140450164082800 140451190563418 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22011] ppid=21997 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/21999/task/22011/stat : 22011 (java) R 21997 21997 21109 0 -1 4202560 902 0 0 0 13 0 0 0 20 0 15 0 154140064 14318440448 11826 33554432000 4194304 4196468 140732846079696 140450163027432 140451170256860 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22012] ppid=21997 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22012/stat : 22012 (java) S 21997 21997 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140065 14318440448 11826 33554432000 4194304 4196468 140732846079696 140450161977952 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22013] ppid=21997 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22013/stat : 22013 (java) S 21997 21997 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140065 14318440448 11826 33554432000 4194304 4196468 140732846079696 140450160925488 140451190553218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48684 KiB

[startup+0.700809 s]
/proc/loadavg: 2.20 2.04 1.57 4/218 22043
/proc/meminfo: memFree=26637148/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21997/stat : 21997 (xcsp3-exec) S 21994 21997 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154140059 9740288 345 33554432000 4194304 5098028 140732512878240 140732512876344 140161782649468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20754432 140732512879732 140732512879936 140732512879936 140732512882667 0
/proc/21997/statm: 2378 345 289 221 0 87 0
[pid=21999] ppid=21997 vsize=13984976 memory=74972 CPUtime=1.66 cores=0,2,4,6
/proc/21999/stat : 21999 (java) S 21997 21997 21109 0 -1 1077944320 11278 0 0 0 161 5 0 0 20 0 15 0 154140059 14320615424 18743 33554432000 4194304 4196468 140732846079696 140732846062240 140451190542071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
/proc/21999/statm: 3496244 18743 3204 1 0 3483478 0
[pid=21999/tid=22000] ppid=21997 vsize=13984976 memory=1296 CPUtime=0.67 cores=0,2,4,6
/proc/21999/task/22000/stat : 22000 (java) R 21997 21997 21109 0 -1 4202560 6457 0 0 0 64 3 0 0 20 0 15 0 154140059 14320615424 18743 33554432000 4194304 4196468 140732846079696 140451194778200 140451175622817 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22001] ppid=21997 vsize=13984976 memory=2408 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22001/stat : 22001 (java) S 21997 21997 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140060 14320615424 18743 33554432000 4194304 4196468 140732846079696 140451143162128 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22002] ppid=21997 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22002/stat : 22002 (java) S 21997 21997 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140060 14320615424 18743 33554432000 4194304 4196468 140732846079696 140451142109584 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22003] ppid=21997 vsize=13984976 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22003/stat : 22003 (java) S 21997 21997 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140060 14320615424 18743 33554432000 4194304 4196468 140732846079696 140451141057040 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22004] ppid=21997 vsize=13984976 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22004/stat : 22004 (java) S 21997 21997 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154140060 14320615424 18743 33554432000 4194304 4196468 140732846079696 140451140004496 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22005] ppid=21997 vsize=13984976 memory=1928 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22005/stat : 22005 (java) S 21997 21997 21109 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154140061 14320615424 18743 33554432000 4194304 4196468 140732846079696 140450169346544 140451190553218 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22006] ppid=21997 vsize=13984976 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22006/stat : 22006 (java) S 21997 21997 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154140062 14320615424 18743 33554432000 4194304 4196468 140732846079696 140450168292768 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22007] ppid=21997 vsize=13984976 memory=8664 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22007/stat : 22007 (java) S 21997 21997 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154140062 14320615424 18743 33554432000 4194304 4196468 140732846079696 140450167240176 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22008] ppid=21997 vsize=13984976 memory=5784 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22008/stat : 22008 (java) S 21997 21997 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140064 14320615424 18743 33554432000 4194304 4196468 140732846079696 140450166188752 140451190560667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22009] ppid=21997 vsize=13984976 memory=4616 CPUtime=0.3 cores=0,2,4,6
/proc/21999/task/22009/stat : 22009 (java) S 21997 21997 21109 0 -1 1077944384 1198 0 0 0 30 0 0 0 20 0 15 0 154140064 14320615424 18743 33554432000 4194304 4196468 140732846079696 140450165135344 140451190553218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22010] ppid=21997 vsize=13984976 memory=1228 CPUtime=0.29 cores=0,2,4,6
/proc/21999/task/22010/stat : 22010 (java) R 21997 21997 21109 0 -1 4202560 626 0 0 0 29 0 0 0 20 0 15 0 154140064 14320615424 18743 33554432000 4194304 4196468 140732846079696 140450164082800 140451174438231 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22011] ppid=21997 vsize=13984976 memory=11108 CPUtime=0.37 cores=0,2,4,6
/proc/21999/task/22011/stat : 22011 (java) S 21997 21997 21109 0 -1 1077944384 1691 0 0 0 37 0 0 0 20 0 15 0 154140064 14320615424 18743 33554432000 4194304 4196468 140732846079696 140450163030256 140451190553218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22012] ppid=21997 vsize=13984976 memory=796 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22012/stat : 22012 (java) S 21997 21997 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140065 14320615424 18743 33554432000 4194304 4196468 140732846079696 140450161977952 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22013] ppid=21997 vsize=13984976 memory=280949111855168 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22013/stat : 22013 (java) S 21997 21997 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154140065 14320615424 18743 33554432000 4194304 4196468 140732846079696 140450160925488 140451190553218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 76352 KiB

[startup+1.50083 s]
/proc/loadavg: 2.20 2.04 1.57 7/218 22043
/proc/meminfo: memFree=26562328/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21997/stat : 21997 (xcsp3-exec) S 21994 21997 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154140059 9740288 345 33554432000 4194304 5098028 140732512878240 140732512876344 140161782649468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20754432 140732512879732 140732512879936 140732512879936 140732512882667 0
/proc/21997/statm: 2378 345 289 221 0 87 0

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

/proc/21999/task/22007/stat : 22007 (java) S 21997 21997 21109 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154140062 14320615424 61165 33554432000 4194304 4196468 140732846079696 140450167240176 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22008] ppid=21997 vsize=13984976 memory=96653004507370 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22008/stat : 22008 (java) S 21997 21997 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140064 14320615424 61165 33554432000 4194304 4196468 140732846079696 140450166188752 140451190560667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22009] ppid=21997 vsize=13984976 memory=280949112886240 CPUtime=2.71 cores=0,2,4,6
/proc/21999/task/22009/stat : 22009 (java) S 21997 21997 21109 0 -1 1077944384 13419 0 0 0 271 0 0 0 20 0 15 0 154140064 14320615424 61165 33554432000 4194304 4196468 140732846079696 140450165135344 140451190553218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22010] ppid=21997 vsize=13984976 memory=193 CPUtime=2.72 cores=0,2,4,6
/proc/21999/task/22010/stat : 22010 (java) S 21997 21997 21109 0 -1 1077944384 17776 0 0 0 270 2 0 0 20 0 15 0 154140064 14320615424 61165 33554432000 4194304 4196468 140732846079696 140450164082800 140451190553218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22011] ppid=21997 vsize=13984976 memory=3184238393824169434 CPUtime=0.7 cores=0,2,4,6
/proc/21999/task/22011/stat : 22011 (java) S 21997 21997 21109 0 -1 1077944384 6990 0 0 0 69 1 0 0 20 0 15 0 154140064 14320615424 61165 33554432000 4194304 4196468 140732846079696 140450163030256 140451190553218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22012] ppid=21997 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22012/stat : 22012 (java) S 21997 21997 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140065 14320615424 61165 33554432000 4194304 4196468 140732846079696 140450161977952 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22013] ppid=21997 vsize=13984976 memory=2408 CPUtime=0.02 cores=0,2,4,6
/proc/21999/task/22013/stat : 22013 (java) S 21997 21997 21109 0 -1 1077944384 841 0 0 0 2 0 0 0 20 0 15 0 154140065 14320615424 61165 33554432000 4194304 4196468 140732846079696 140450160925488 140451190553218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
Current children cumulated CPU time: 108.63 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 246040 KiB

[startup+162.301 s]
/proc/loadavg: 1.90 2.00 1.63 3/217 22045
/proc/meminfo: memFree=26252468/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21997/stat : 21997 (xcsp3-exec) S 21994 21997 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154140059 9740288 345 33554432000 4194304 5098028 140732512878240 140732512876344 140161782649468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20754432 140732512879732 140732512879936 140732512879936 140732512882667 0
/proc/21997/statm: 2378 345 289 221 0 87 0
[pid=21999] ppid=21997 vsize=13984976 memory=235556 CPUtime=168.81 cores=0,2,4,6
/proc/21999/stat : 21999 (java) S 21997 21997 21109 0 -1 1077944320 60105 0 0 0 16863 18 0 0 20 0 15 0 154140059 14320615424 58889 33554432000 4194304 4196468 140732846079696 140732846062240 140451190542071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
/proc/21999/statm: 3496244 58889 3259 1 0 3483478 0
[pid=21999/tid=22000] ppid=21997 vsize=13984976 memory=1380 CPUtime=162.16 cores=0,2,4,6
/proc/21999/task/22000/stat : 22000 (java) R 21997 21997 21109 0 -1 4202560 12650 0 0 0 16211 5 0 0 20 0 15 0 154140059 14320615424 58889 33554432000 4194304 4196468 140732846079696 140451194781552 140450821698975 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22001] ppid=21997 vsize=13984976 memory=235548 CPUtime=0.05 cores=0,2,4,6
/proc/21999/task/22001/stat : 22001 (java) S 21997 21997 21109 0 -1 1077944384 1494 0 0 0 4 1 0 0 20 0 15 0 154140060 14320615424 58889 33554432000 4194304 4196468 140732846079696 140451143162128 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22002] ppid=21997 vsize=13984976 memory=1380 CPUtime=0.05 cores=0,2,4,6
/proc/21999/task/22002/stat : 22002 (java) S 21997 21997 21109 0 -1 1077944384 1923 0 0 0 4 1 0 0 20 0 15 0 154140060 14320615424 58889 33554432000 4194304 4196468 140732846079696 140451142109584 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22003] ppid=21997 vsize=13984976 memory=235548 CPUtime=0.05 cores=0,2,4,6
/proc/21999/task/22003/stat : 22003 (java) S 21997 21997 21109 0 -1 1077944384 724 0 0 0 4 1 0 0 20 0 15 0 154140060 14320615424 58889 33554432000 4194304 4196468 140732846079696 140451141057040 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22004] ppid=21997 vsize=13984976 memory=235548 CPUtime=0.05 cores=0,2,4,6
/proc/21999/task/22004/stat : 22004 (java) S 21997 21997 21109 0 -1 1077944384 941 0 0 0 4 1 0 0 20 0 15 0 154140060 14320615424 58889 33554432000 4194304 4196468 140732846079696 140451140004496 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22005] ppid=21997 vsize=13984976 memory=235548 CPUtime=0.02 cores=0,2,4,6
/proc/21999/task/22005/stat : 22005 (java) S 21997 21997 21109 0 -1 1077944384 1207 0 0 0 2 0 0 0 20 0 15 0 154140061 14320615424 58889 33554432000 4194304 4196468 140732846079696 140450169346544 140451190553218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22006] ppid=21997 vsize=13984976 memory=235556 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22006/stat : 22006 (java) S 21997 21997 21109 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 154140062 14320615424 58889 33554432000 4194304 4196468 140732846079696 140450168292768 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22007] ppid=21997 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22007/stat : 22007 (java) S 21997 21997 21109 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154140062 14320615424 58889 33554432000 4194304 4196468 140732846079696 140450167240176 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22008] ppid=21997 vsize=13984976 memory=235556 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22008/stat : 22008 (java) S 21997 21997 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140064 14320615424 58889 33554432000 4194304 4196468 140732846079696 140450166188752 140451190560667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22009] ppid=21997 vsize=13984976 memory=235548 CPUtime=2.81 cores=0,2,4,6
/proc/21999/task/22009/stat : 22009 (java) S 21997 21997 21109 0 -1 1077944384 13661 0 0 0 281 0 0 0 20 0 15 0 154140064 14320615424 58889 33554432000 4194304 4196468 140732846079696 140450165135344 140451190553218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22010] ppid=21997 vsize=13984976 memory=1380 CPUtime=2.77 cores=0,2,4,6
/proc/21999/task/22010/stat : 22010 (java) S 21997 21997 21109 0 -1 1077944384 17994 0 0 0 275 2 0 0 20 0 15 0 154140064 14320615424 58889 33554432000 4194304 4196468 140732846079696 140450164082800 140451190553218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22011] ppid=21997 vsize=13984976 memory=1380 CPUtime=0.71 cores=0,2,4,6
/proc/21999/task/22011/stat : 22011 (java) S 21997 21997 21109 0 -1 1077944384 7305 0 0 0 70 1 0 0 20 0 15 0 154140064 14320615424 58889 33554432000 4194304 4196468 140732846079696 140450163030256 140451190553218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22012] ppid=21997 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22012/stat : 22012 (java) S 21997 21997 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140065 14320615424 58889 33554432000 4194304 4196468 140732846079696 140450161977952 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22013] ppid=21997 vsize=13984976 memory=24664 CPUtime=0.04 cores=0,2,4,6
/proc/21999/task/22013/stat : 22013 (java) S 21997 21997 21109 0 -1 1077944384 847 0 0 0 3 1 0 0 20 0 15 0 154140065 14320615424 58889 33554432000 4194304 4196468 140732846079696 140450160925488 140451190553218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
Current children cumulated CPU time: 168.81 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 236936 KiB

[startup+222.301 s]
/proc/loadavg: 1.80 1.95 1.63 3/217 22046
/proc/meminfo: memFree=26311732/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21997/stat : 21997 (xcsp3-exec) S 21994 21997 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154140059 9740288 345 33554432000 4194304 5098028 140732512878240 140732512876344 140161782649468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20754432 140732512879732 140732512879936 140732512879936 140732512882667 0
/proc/21997/statm: 2378 345 289 221 0 87 0
[pid=21999] ppid=21997 vsize=13984976 memory=209908 CPUtime=228.89 cores=0,2,4,6
/proc/21999/stat : 21999 (java) S 21997 21997 21109 0 -1 1077944320 61997 0 0 0 22869 20 0 0 20 0 15 0 154140059 14320615424 52477 33554432000 4194304 4196468 140732846079696 140732846062240 140451190542071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
/proc/21999/statm: 3496244 52477 3259 1 0 3483478 0
[pid=21999/tid=22000] ppid=21997 vsize=13984976 memory=1788 CPUtime=222.15 cores=0,2,4,6
/proc/21999/task/22000/stat : 22000 (java) R 21997 21997 21109 0 -1 4202560 13042 0 0 0 22210 5 0 0 20 0 15 0 154140059 14320615424 52477 33554432000 4194304 4196468 140732846079696 140451194781488 140450821584021 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22001] ppid=21997 vsize=13984976 memory=209908 CPUtime=0.06 cores=0,2,4,6
/proc/21999/task/22001/stat : 22001 (java) S 21997 21997 21109 0 -1 1077944384 1503 0 0 0 5 1 0 0 20 0 15 0 154140060 14320615424 52477 33554432000 4194304 4196468 140732846079696 140451143162128 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22002] ppid=21997 vsize=13984976 memory=209908 CPUtime=0.06 cores=0,2,4,6
/proc/21999/task/22002/stat : 22002 (java) S 21997 21997 21109 0 -1 1077944384 1936 0 0 0 4 2 0 0 20 0 15 0 154140060 14320615424 52477 33554432000 4194304 4196468 140732846079696 140451142109584 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22003] ppid=21997 vsize=13984976 memory=213500 CPUtime=0.06 cores=0,2,4,6
/proc/21999/task/22003/stat : 22003 (java) S 21997 21997 21109 0 -1 1077944384 731 0 0 0 5 1 0 0 20 0 15 0 154140060 14320615424 52477 33554432000 4194304 4196468 140732846079696 140451141057040 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22004] ppid=21997 vsize=13984976 memory=1380 CPUtime=0.06 cores=0,2,4,6
/proc/21999/task/22004/stat : 22004 (java) S 21997 21997 21109 0 -1 1077944384 1096 0 0 0 5 1 0 0 20 0 15 0 154140060 14320615424 52477 33554432000 4194304 4196468 140732846079696 140451140004496 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22005] ppid=21997 vsize=13984976 memory=213500 CPUtime=0.02 cores=0,2,4,6
/proc/21999/task/22005/stat : 22005 (java) S 21997 21997 21109 0 -1 1077944384 1391 0 0 0 2 0 0 0 20 0 15 0 154140061 14320615424 52477 33554432000 4194304 4196468 140732846079696 140450169346544 140451190553218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22006] ppid=21997 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22006/stat : 22006 (java) S 21997 21997 21109 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 154140062 14320615424 52477 33554432000 4194304 4196468 140732846079696 140450168292768 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22007] ppid=21997 vsize=13984976 memory=209908 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22007/stat : 22007 (java) S 21997 21997 21109 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154140062 14320615424 52477 33554432000 4194304 4196468 140732846079696 140450167240176 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22008] ppid=21997 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22008/stat : 22008 (java) S 21997 21997 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140064 14320615424 52477 33554432000 4194304 4196468 140732846079696 140450166188752 140451190560667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22009] ppid=21997 vsize=13984976 memory=209908 CPUtime=2.83 cores=0,2,4,6
/proc/21999/task/22009/stat : 22009 (java) S 21997 21997 21109 0 -1 1077944384 14458 0 0 0 283 0 0 0 20 0 15 0 154140064 14320615424 52477 33554432000 4194304 4196468 140732846079696 140450165135344 140451190553218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22010] ppid=21997 vsize=13984976 memory=216064 CPUtime=2.78 cores=0,2,4,6
/proc/21999/task/22010/stat : 22010 (java) S 21997 21997 21109 0 -1 1077944384 18286 0 0 0 276 2 0 0 20 0 15 0 154140064 14320615424 52477 33554432000 4194304 4196468 140732846079696 140450164082800 140451190553218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22011] ppid=21997 vsize=13984976 memory=213500 CPUtime=0.71 cores=0,2,4,6
/proc/21999/task/22011/stat : 22011 (java) S 21997 21997 21109 0 -1 1077944384 7323 0 0 0 70 1 0 0 20 0 15 0 154140064 14320615424 52477 33554432000 4194304 4196468 140732846079696 140450163030256 140451190553218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22012] ppid=21997 vsize=13984976 memory=8328453600958622283 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22012/stat : 22012 (java) S 21997 21997 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140065 14320615424 52477 33554432000 4194304 4196468 140732846079696 140450161977952 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22013] ppid=21997 vsize=13984976 memory=1380 CPUtime=0.05 cores=0,2,4,6
/proc/21999/task/22013/stat : 22013 (java) S 21997 21997 21109 0 -1 1077944384 872 0 0 0 3 2 0 0 20 0 15 0 154140065 14320615424 52477 33554432000 4194304 4196468 140732846079696 140450160925488 140451190553218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
Current children cumulated CPU time: 228.89 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 211288 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.70 1.92 1.63 3/217 22046
/proc/meminfo: memFree=26328396/32770624 swapFree=67108860/67108860
[pid=21997] ppid=21994 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/21997/stat : 21997 (xcsp3-exec) S 21994 21997 21109 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 154140059 9740288 345 33554432000 4194304 5098028 140732512878240 140732512876344 140161782649468 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20754432 140732512879732 140732512879936 140732512879936 140732512882667 0
/proc/21997/statm: 2378 345 289 221 0 87 0
[pid=21999] ppid=21997 vsize=13984976 memory=201188 CPUtime=246.62 cores=0,2,4,6
/proc/21999/stat : 21999 (java) S 21997 21997 21109 0 -1 1077944320 62004 0 0 0 24641 21 0 0 20 0 15 0 154140059 14320615424 50297 33554432000 4194304 4196468 140732846079696 140732846062240 140451190542071 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
/proc/21999/statm: 3496244 50297 3259 1 0 3483478 0
[pid=21999/tid=22000] ppid=21997 vsize=13984976 memory=1384 CPUtime=239.85 cores=0,2,4,6
/proc/21999/task/22000/stat : 22000 (java) R 21997 21997 21109 0 -1 4202560 13045 0 0 0 23980 5 0 0 20 0 15 0 154140059 14320615424 50297 33554432000 4194304 4196468 140732846079696 140451194781488 140450824823748 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22001] ppid=21997 vsize=13984976 memory=4872558044660077418 CPUtime=0.06 cores=0,2,4,6
/proc/21999/task/22001/stat : 22001 (java) S 21997 21997 21109 0 -1 1077944384 1505 0 0 0 5 1 0 0 20 0 15 0 154140060 14320615424 50297 33554432000 4194304 4196468 140732846079696 140451143162128 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22002] ppid=21997 vsize=13984976 memory=1228 CPUtime=0.07 cores=0,2,4,6
/proc/21999/task/22002/stat : 22002 (java) S 21997 21997 21109 0 -1 1077944384 1936 0 0 0 5 2 0 0 20 0 15 0 154140060 14320615424 50297 33554432000 4194304 4196468 140732846079696 140451142109584 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22003] ppid=21997 vsize=13984976 memory=11108 CPUtime=0.06 cores=0,2,4,6
/proc/21999/task/22003/stat : 22003 (java) S 21997 21997 21109 0 -1 1077944384 732 0 0 0 5 1 0 0 20 0 15 0 154140060 14320615424 50297 33554432000 4194304 4196468 140732846079696 140451141057040 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22004] ppid=21997 vsize=13984976 memory=796 CPUtime=0.06 cores=0,2,4,6
/proc/21999/task/22004/stat : 22004 (java) S 21997 21997 21109 0 -1 1077944384 1097 0 0 0 5 1 0 0 20 0 15 0 154140060 14320615424 50297 33554432000 4194304 4196468 140732846079696 140451140004496 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22005] ppid=21997 vsize=13984976 memory=1424 CPUtime=0.03 cores=0,2,4,6
/proc/21999/task/22005/stat : 22005 (java) S 21997 21997 21109 0 -1 1077944384 1391 0 0 0 2 1 0 0 20 0 15 0 154140061 14320615424 50297 33554432000 4194304 4196468 140732846079696 140450169346544 140451190553218 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22006] ppid=21997 vsize=13984976 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22006/stat : 22006 (java) S 21997 21997 21109 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 154140062 14320615424 50297 33554432000 4194304 4196468 140732846079696 140450168292768 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22007] ppid=21997 vsize=13984976 memory=4052 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22007/stat : 22007 (java) S 21997 21997 21109 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 154140062 14320615424 50297 33554432000 4194304 4196468 140732846079696 140450167240176 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22008] ppid=21997 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22008/stat : 22008 (java) S 21997 21997 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140064 14320615424 50297 33554432000 4194304 4196468 140732846079696 140450166188752 140451190560667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22009] ppid=21997 vsize=13984976 memory=1008 CPUtime=2.83 cores=0,2,4,6
/proc/21999/task/22009/stat : 22009 (java) S 21997 21997 21109 0 -1 1077944384 14458 0 0 0 283 0 0 0 20 0 15 0 154140064 14320615424 50297 33554432000 4194304 4196468 140732846079696 140450165135344 140451190553218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22010] ppid=21997 vsize=13984976 memory=1928 CPUtime=2.78 cores=0,2,4,6
/proc/21999/task/22010/stat : 22010 (java) S 21997 21997 21109 0 -1 1077944384 18286 0 0 0 276 2 0 0 20 0 15 0 154140064 14320615424 50297 33554432000 4194304 4196468 140732846079696 140450164082800 140451190553218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22011] ppid=21997 vsize=13984976 memory=1200 CPUtime=0.71 cores=0,2,4,6
/proc/21999/task/22011/stat : 22011 (java) S 21997 21997 21109 0 -1 1077944384 7323 0 0 0 70 1 0 0 20 0 15 0 154140064 14320615424 50297 33554432000 4194304 4196468 140732846079696 140450163030256 140451190553218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22012] ppid=21997 vsize=13984976 memory=8664 CPUtime=0 cores=0,2,4,6
/proc/21999/task/22012/stat : 22012 (java) S 21997 21997 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154140065 14320615424 50297 33554432000 4194304 4196468 140732846079696 140450161977952 140451190552277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
[pid=21999/tid=22013] ppid=21997 vsize=13984976 memory=5784 CPUtime=0.06 cores=0,2,4,6
/proc/21999/task/22013/stat : 22013 (java) S 21997 21997 21109 0 -1 1077944384 872 0 0 0 4 2 0 0 20 0 15 0 154140065 14320615424 50297 33554432000 4194304 4196468 140732846079696 140450160925488 140451190553218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12742656 140732846081181 140732846081356 140732846081356 140732846084047 0
Current children cumulated CPU time: 246.62 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 202568 KiB

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

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

[startup+240.022 s]
# the end of solver process 21999 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=246.422 s, system=0.219099 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.022
CPU time (s): 246.641
CPU user time (s): 246.422
CPU system time (s): 0.219099
CPU usage (%): 102.757
Max. virtual memory (cumulated for all children) (KiB): 13996560
Max. memory (cumulated for all children) (KiB): 246044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.422
system time used= 0.219099
maximum resident set size= 245056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62910
page faults= 0
swaps= 0
block input operations= 0
block output operations= 416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8630
involuntary context switches= 327


# summary of solver processes directly reported to runsolver:
#   pid: 21997,21999
#   total CPU time (s): 246.641
#   total CPU user time (s): 246.422
#   total CPU system time (s): 0.219099

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.60038 second user time and 2.07678 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 4283071

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