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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 5a (2017-08-18)	SAT (TO)	309	257.30099	240.036

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4284543-1503210606.xml"  -tl '264s' -p 1 -x 3
0.12/0.14	c [HOME/instance-4284543-1503210606.xml, -tl, 264s, -p, 1, -x, 3]
0.12/0.20	c simple solver
0.33/0.26	c parse instance...
2.29/0.99	c solve instance...
9.89/4.23	o 306 
47.24/36.27	o 309 
257.27/240.01	s SATISFIABLE
257.27/240.01	v <instantiation>
257.27/240.01	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] z </list>
257.27/240.01	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 0 1 1 1 1 0 1 1 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 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 0 0 1 1 0 1 1 0 1 1 1 1 1 0 1 0 0 0 0 1 1 0 1 1 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 1 1 1 0 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 1 0 0 0 1 0 1 0 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 1 1 1 1 1 0 0 0 1 1 0 1 0 2 1 1 0 0 0 1 0 1 0 1 1 1 0 0 0 1 1 2 2 2 2 1 0 0 0 1 1 0 1 1 2 0 0 0 0 0 2 0 0 1 1 0 1 0 0 0 2 2 2 1 1 1 1 0 0 0 0 0 0 0 2 0 0 0 0 1 2 0 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 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 1 0 1 0 0 0 0 0 0 0 2 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 2 0 1 0 2 1 1 0 1 0 0 1 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 2 1 1 2 1 2 0 1 0 0 0 0 0 0 1 0 2 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 1 1 0 0 0 0 1 0 2 1 1 0 0 1 0 1 0 0 2 0 0 1 0 0 0 0 0 0 1 1 2 1 1 0 0 1 0 1 0 1 0 0 1 1 2 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 2 2 1 0 0 2 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 0 0 1 0 1 0 1 2 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 2 0 1 0 0 0 0 1 0 2 2 1 1 1 1 2 0 2 0 1 0 0 0 0 0 0 0 0 0 2 2 2 0 0 0 0 0 0 1 1 2 1 1 1 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 2 0 1 0 0 1 0 0 0 1 0 2 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 2 0 0 1 0 1 0 1 1 0 1 0 2 2 1 1 2 1 1 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 1 1 2 2 2 1 2 1 0 1 0 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 1 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 1 2 1 1 0 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 2 2 1 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 2 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 1 2 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 0 0 0 1 0 2 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 2 1 1 1 1 0 1 0 0 0 2 1 1 0 1 1 0 1 1 0 0 1 0 1 1 2 1 0 1 1 2 2 1 0 1 0 1 1 0 0 2 2 0 0 1 1 0 0 0 0 0 0 1 1 2 1 1 0 1 2 2 2 1 0 0 1 1 1 0 1 1 1 1 0 1 1 1 0 0 0 0 0 0 1 2 1 0 1 1 2 2 2 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 1 1 0 0 1 1 1 1 2 15 38 58 70 72 83 99 113 123 133 148 162 173 185 201 220 231 247 268 289 299 311 323 330 342 356 380 403 426 444 309 </values>
257.27/240.01	v </instantiation>
257.27/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 (11150 MiB free)
  memory of node 1: 16384 MiB (11938 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284543-1503210606/watcher-4284543-1503210606 -o /tmp/evaluation-result-4284543-1503210606/solver-4284543-1503210606 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node151-1503208976-12842 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1427102598 HOME/instance-4284543-1503210606.xml 

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

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


[startup+0.100219 s]*
/proc/loadavg: 1.65 1.73 1.62 4/217 13552
/proc/meminfo: memFree=23627288/32770624 swapFree=67108860/67108860
[pid=13536] ppid=13533 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13536/stat : 13536 (xcsp3-exec) S 13533 13536 12810 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154141329 9740288 345 33554432000 4194304 5098028 140726920100880 140726920098984 140196340503164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32571392 140726920103028 140726920103232 140726920103232 140726920105963 0
/proc/13536/statm: 2378 345 289 221 0 87 0
[pid=13538] ppid=13536 vsize=13978596 memory=28032 CPUtime=0.12 cores=1,3,5,7
/proc/13538/stat : 13538 (java) S 13536 13536 12810 0 -1 1077944320 5315 0 0 0 11 1 0 0 20 0 15 0 154141329 14314082304 7008 33554432000 4194304 4196468 140730410088176 140730410070720 139855274729207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
/proc/13538/statm: 3494649 7008 2874 1 0 3482966 0
[pid=13538/tid=13539] ppid=13536 vsize=13978596 memory=8514701219881125282 CPUtime=0.09 cores=1,3,5,7
/proc/13538/task/13539/stat : 13539 (java) R 13536 13536 12810 0 -1 4202560 3329 0 0 0 8 1 0 0 20 0 15 0 154141329 14314082304 7008 33554432000 4194304 4196468 140730410088176 139855278961136 139855274741142 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13540] ppid=13536 vsize=13978596 memory=3472467972690420944 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13540/stat : 13540 (java) S 13536 13536 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154141330 14314082304 7008 33554432000 4194304 4196468 140730410088176 139855212329872 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13541] ppid=13536 vsize=13978596 memory=139843795269248 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13541/stat : 13541 (java) S 13536 13536 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154141330 14314082304 7008 33554432000 4194304 4196468 140730410088176 139855211277072 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13542] ppid=13536 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13542/stat : 13542 (java) S 13536 13536 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154141330 14314082304 7008 33554432000 4194304 4196468 140730410088176 139855210224784 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13543] ppid=13536 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13543/stat : 13543 (java) S 13536 13536 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154141330 14314082304 7008 33554432000 4194304 4196468 140730410088176 139855209171984 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13544] ppid=13536 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13544/stat : 13544 (java) S 13536 13536 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154141331 14314082304 7008 33554432000 4194304 4196468 140730410088176 139854816151664 139855274740354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13545] ppid=13536 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13545/stat : 13545 (java) S 13536 13536 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154141332 14314082304 7008 33554432000 4194304 4196468 140730410088176 139854815097632 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13546] ppid=13536 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13546/stat : 13546 (java) S 13536 13536 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154141332 14314082304 7008 33554432000 4194304 4196468 140730410088176 139854814045296 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13547] ppid=13536 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13547/stat : 13547 (java) S 13536 13536 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154141335 14314082304 7008 33554432000 4194304 4196468 140730410088176 139854812993616 139855274747803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13548] ppid=13536 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13548/stat : 13548 (java) S 13536 13536 12810 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 154141335 14314082304 7008 33554432000 4194304 4196468 140730410088176 139854811941488 139855274740354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13549] ppid=13536 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13549/stat : 13549 (java) S 13536 13536 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154141335 14314082304 7008 33554432000 4194304 4196468 140730410088176 139854810888688 139855274740354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13550] ppid=13536 vsize=13978596 memory=139843795269248 CPUtime=0.01 cores=1,3,5,7
/proc/13538/task/13550/stat : 13550 (java) R 13536 13536 12810 0 -1 4202560 255 0 0 0 1 0 0 0 20 0 15 0 154141335 14314082304 7008 33554432000 4194304 4196468 140730410088176 139854809836400 139855253329505 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13551] ppid=13536 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13551/stat : 13551 (java) S 13536 13536 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154141335 14314082304 7008 33554432000 4194304 4196468 140730410088176 139854808783840 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13552] ppid=13536 vsize=13978596 memory=139843795269248 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13552/stat : 13552 (java) S 13536 13536 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154141335 14314082304 7008 33554432000 4194304 4196468 140730410088176 139854807730608 139855274740354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29412 KiB

[startup+0.210572 s]*
/proc/loadavg: 1.65 1.73 1.62 3/217 13552
/proc/meminfo: memFree=23613456/32770624 swapFree=67108860/67108860
[pid=13536] ppid=13533 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13536/stat : 13536 (xcsp3-exec) S 13533 13536 12810 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154141329 9740288 345 33554432000 4194304 5098028 140726920100880 140726920098984 140196340503164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32571392 140726920103028 140726920103232 140726920103232 140726920105963 0
/proc/13536/statm: 2378 345 289 221 0 87 0
[pid=13538] ppid=13536 vsize=13982852 memory=42656 CPUtime=0.33 cores=1,3,5,7
/proc/13538/stat : 13538 (java) S 13536 13536 12810 0 -1 1077944320 8112 0 0 0 31 2 0 0 20 0 15 0 154141329 14318440448 10664 33554432000 4194304 4196468 140730410088176 140730410070720 139855274729207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
/proc/13538/statm: 3495713 10664 3089 1 0 3482966 0
[pid=13538/tid=13539] ppid=13536 vsize=13982852 memory=5853961137533323680 CPUtime=0.19 cores=1,3,5,7
/proc/13538/task/13539/stat : 13539 (java) D 13536 13536 12810 0 -1 1077944384 5195 0 0 0 18 1 0 0 20 0 15 0 154141329 14318440448 10664 33554432000 4194304 4196468 140730410088176 139855278938832 139855267408429 0 4 0 16800975 18446744072101629476 0 0 -1 3 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13540] ppid=13536 vsize=13982852 memory=3472467972690420944 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13540/stat : 13540 (java) S 13536 13536 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154141330 14318440448 10664 33554432000 4194304 4196468 140730410088176 139855212329872 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13541] ppid=13536 vsize=13982852 memory=139843795269248 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13541/stat : 13541 (java) S 13536 13536 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154141330 14318440448 10664 33554432000 4194304 4196468 140730410088176 139855211277072 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13542] ppid=13536 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13542/stat : 13542 (java) S 13536 13536 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154141330 14318440448 10664 33554432000 4194304 4196468 140730410088176 139855210224784 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13543] ppid=13536 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13543/stat : 13543 (java) S 13536 13536 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154141330 14318473216 10664 33554432000 4194304 4196468 140730410088176 139855209171984 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13544] ppid=13536 vsize=13982852 memory=139843795269248 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13544/stat : 13544 (java) S 13536 13536 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154141331 14318440448 10664 33554432000 4194304 4196468 140730410088176 139854816151664 139855274740354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13545] ppid=13536 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13545/stat : 13545 (java) S 13536 13536 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154141332 14318440448 10664 33554432000 4194304 4196468 140730410088176 139854815097632 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13546] ppid=13536 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13546/stat : 13546 (java) S 13536 13536 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154141332 14318440448 10664 33554432000 4194304 4196468 140730410088176 139854814045296 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13547] ppid=13536 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13547/stat : 13547 (java) S 13536 13536 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154141335 14318440448 10664 33554432000 4194304 4196468 140730410088176 139854812993616 139855274747803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13548] ppid=13536 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13538/task/13548/stat : 13548 (java) S 13536 13536 12810 0 -1 1077944384 532 0 0 0 2 0 0 0 20 0 15 0 154141335 14318440448 10664 33554432000 4194304 4196468 140730410088176 139854811941488 139855274740354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13549] ppid=13536 vsize=13982884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/13538/task/13549/stat : 13549 (java) S 13536 13536 12810 0 -1 1077944384 333 0 0 0 2 0 0 0 20 0 15 0 154141335 14318473216 10664 33554432000 4194304 4196468 140730410088176 139854810888688 139855274740354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13550] ppid=13536 vsize=13982884 memory=139843795269248 CPUtime=0.08 cores=1,3,5,7
/proc/13538/task/13550/stat : 13550 (java) R 13536 13536 12810 0 -1 4202560 757 0 0 0 8 0 0 0 20 0 15 0 154141335 14318473216 10664 33554432000 4194304 4196468 140730410088176 139854809834360 139855253863703 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13551] ppid=13536 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13551/stat : 13551 (java) S 13536 13536 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154141335 14318440448 10664 33554432000 4194304 4196468 140730410088176 139854808783840 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13552] ppid=13536 vsize=13982852 memory=139843795269248 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13552/stat : 13552 (java) S 13536 13536 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154141335 14318440448 10664 33554432000 4194304 4196468 140730410088176 139854807730608 139855274740354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 44036 KiB

[startup+0.310441 s]*
/proc/loadavg: 1.65 1.73 1.62 4/217 13552
/proc/meminfo: memFree=23606508/32770624 swapFree=67108860/67108860
[pid=13536] ppid=13533 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13536/stat : 13536 (xcsp3-exec) S 13533 13536 12810 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154141329 9740288 345 33554432000 4194304 5098028 140726920100880 140726920098984 140196340503164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32571392 140726920103028 140726920103232 140726920103232 140726920105963 0
/proc/13536/statm: 2378 345 289 221 0 87 0
[pid=13538] ppid=13536 vsize=13982852 memory=49244 CPUtime=0.51 cores=1,3,5,7
/proc/13538/stat : 13538 (java) S 13536 13536 12810 0 -1 1077944320 8947 0 0 0 48 3 0 0 20 0 15 0 154141329 14318440448 12311 33554432000 4194304 4196468 140730410088176 140730410070720 139855274729207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
/proc/13538/statm: 3495713 12311 3105 1 0 3482966 0
[pid=13538/tid=13539] ppid=13536 vsize=13982852 memory=8514701219880862117 CPUtime=0.29 cores=1,3,5,7
/proc/13538/task/13539/stat : 13539 (java) R 13536 13536 12810 0 -1 4202560 5840 0 0 0 27 2 0 0 20 0 15 0 154141329 14318440448 12311 33554432000 4194304 4196468 140730410088176 139855278963264 139854889504053 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13540] ppid=13536 vsize=13982852 memory=3472467972690420944 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13540/stat : 13540 (java) S 13536 13536 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154141330 14318440448 12311 33554432000 4194304 4196468 140730410088176 139855212329872 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13541] ppid=13536 vsize=13982852 memory=139843795269248 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13541/stat : 13541 (java) S 13536 13536 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154141330 14318440448 12311 33554432000 4194304 4196468 140730410088176 139855211277072 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13542] ppid=13536 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13542/stat : 13542 (java) S 13536 13536 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154141330 14318440448 12311 33554432000 4194304 4196468 140730410088176 139855210224784 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13543] ppid=13536 vsize=13982852 memory=139843665537055 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13543/stat : 13543 (java) S 13536 13536 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154141330 14318440448 12311 33554432000 4194304 4196468 140730410088176 139855209171984 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13544] ppid=13536 vsize=13982852 memory=279687331053344 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13544/stat : 13544 (java) S 13536 13536 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154141331 14318440448 12311 33554432000 4194304 4196468 140730410088176 139854816151664 139855274740354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13545] ppid=13536 vsize=13982852 memory=139843665513999 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13545/stat : 13545 (java) S 13536 13536 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154141332 14318440448 12311 33554432000 4194304 4196468 140730410088176 139854815097632 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13546] ppid=13536 vsize=13982852 memory=279687460792416 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13546/stat : 13546 (java) S 13536 13536 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154141332 14318440448 12311 33554432000 4194304 4196468 140730410088176 139854814045296 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13547] ppid=13536 vsize=13982852 memory=139843665518607 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13547/stat : 13547 (java) S 13536 13536 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154141335 14318440448 12311 33554432000 4194304 4196468 140730410088176 139854812993616 139855274747803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13548] ppid=13536 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/13538/task/13548/stat : 13548 (java) R 13536 13536 12810 0 -1 1077944384 592 0 0 0 3 0 0 0 20 0 15 0 154141335 14318440448 12311 33554432000 4194304 4196468 140730410088176 139854811941488 139855274740354 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13549] ppid=13536 vsize=13982852 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/13538/task/13549/stat : 13549 (java) R 13536 13536 12810 0 -1 4202560 351 0 0 0 3 0 0 0 20 0 15 0 154141335 14318440448 12311 33554432000 4194304 4196468 140730410088176 139854810888688 139855259117758 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13550] ppid=13536 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/13538/task/13550/stat : 13550 (java) R 13536 13536 12810 0 -1 4202560 862 0 0 0 13 0 0 0 20 0 15 0 154141335 14318440448 12311 33554432000 4194304 4196468 140730410088176 139854809832768 139855254444004 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13551] ppid=13536 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13551/stat : 13551 (java) S 13536 13536 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154141335 14318440448 12311 33554432000 4194304 4196468 140730410088176 139854808783840 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13552] ppid=13536 vsize=13982852 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13552/stat : 13552 (java) S 13536 13536 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154141335 14318440448 12311 33554432000 4194304 4196468 140730410088176 139854807730608 139855274740354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 50624 KiB

[startup+0.701237 s]
/proc/loadavg: 1.65 1.73 1.62 6/217 13552
/proc/meminfo: memFree=23578832/32770624 swapFree=67108860/67108860
[pid=13536] ppid=13533 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13536/stat : 13536 (xcsp3-exec) S 13533 13536 12810 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154141329 9740288 345 33554432000 4194304 5098028 140726920100880 140726920098984 140196340503164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32571392 140726920103028 140726920103232 140726920103232 140726920105963 0
/proc/13536/statm: 2378 345 289 221 0 87 0
[pid=13538] ppid=13536 vsize=13984976 memory=85832 CPUtime=1.78 cores=1,3,5,7
/proc/13538/stat : 13538 (java) S 13536 13536 12810 0 -1 1077944320 11981 0 0 0 174 4 0 0 20 0 15 0 154141329 14320615424 21458 33554432000 4194304 4196468 140730410088176 140730410070720 139855274729207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
/proc/13538/statm: 3496244 21458 3201 1 0 3483478 0
[pid=13538/tid=13539] ppid=13536 vsize=13984976 memory=6154820267226784105 CPUtime=0.67 cores=1,3,5,7
/proc/13538/task/13539/stat : 13539 (java) R 13536 13536 12810 0 -1 4202560 6363 0 0 0 65 2 0 0 20 0 15 0 154141329 14320615424 21458 33554432000 4194304 4196468 140730410088176 139855278963824 139854893308167 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13540] ppid=13536 vsize=13984976 memory=5795117241467496816 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13540/stat : 13540 (java) S 13536 13536 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154141330 14320615424 21458 33554432000 4194304 4196468 140730410088176 139855212329872 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13541] ppid=13536 vsize=13984976 memory=4638778398333223008 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13541/stat : 13541 (java) S 13536 13536 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154141330 14320615424 21458 33554432000 4194304 4196468 140730410088176 139855211277072 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13542] ppid=13536 vsize=13984976 memory=-7242455096852575424 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13542/stat : 13542 (java) S 13536 13536 12810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154141330 14320615424 21458 33554432000 4194304 4196468 140730410088176 139855210224784 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13543] ppid=13536 vsize=13984976 memory=4132774494331964790 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13543/stat : 13543 (java) S 13536 13536 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154141330 14320615424 21458 33554432000 4194304 4196468 140730410088176 139855209171984 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13544] ppid=13536 vsize=13984976 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13544/stat : 13544 (java) S 13536 13536 12810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154141331 14320615424 21458 33554432000 4194304 4196468 140730410088176 139854816151664 139855274740354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13545] ppid=13536 vsize=13984976 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13545/stat : 13545 (java) S 13536 13536 12810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154141332 14320615424 21458 33554432000 4194304 4196468 140730410088176 139854815097632 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13546] ppid=13536 vsize=13984976 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13546/stat : 13546 (java) S 13536 13536 12810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154141332 14320615424 21458 33554432000 4194304 4196468 140730410088176 139854814045296 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13547] ppid=13536 vsize=13984976 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13547/stat : 13547 (java) S 13536 13536 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154141335 14320615424 21458 33554432000 4194304 4196468 140730410088176 139854812993616 139855274747803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13548] ppid=13536 vsize=13984976 memory=42928 CPUtime=0.33 cores=1,3,5,7
/proc/13538/task/13548/stat : 13548 (java) R 13536 13536 12810 0 -1 4202560 1325 0 0 0 33 0 0 0 20 0 15 0 154141335 14320615424 21458 33554432000 4194304 4196468 140730410088176 139854811932352 139855256273383 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13549] ppid=13536 vsize=13984976 memory=1292 CPUtime=0.38 cores=1,3,5,7
/proc/13538/task/13549/stat : 13549 (java) R 13536 13536 12810 0 -1 4202560 1247 0 0 0 38 0 0 0 20 0 15 0 154141335 14320615424 21458 33554432000 4194304 4196468 140730410088176 139854810880016 139855254422311 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13550] ppid=13536 vsize=13984976 memory=2428 CPUtime=0.37 cores=1,3,5,7
/proc/13538/task/13550/stat : 13550 (java) S 13536 13536 12810 0 -1 1077944384 1739 0 0 0 37 0 0 0 20 0 15 0 154141335 14320615424 21458 33554432000 4194304 4196468 140730410088176 139854809836400 139855274740354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13551] ppid=13536 vsize=13984976 memory=7091832833820811856 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13551/stat : 13551 (java) S 13536 13536 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154141335 14320615424 21458 33554432000 4194304 4196468 140730410088176 139854808783840 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13552] ppid=13536 vsize=13984976 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13552/stat : 13552 (java) S 13536 13536 12810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154141335 14320615424 21458 33554432000 4194304 4196468 140730410088176 139854807730608 139855274740354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 87212 KiB

[startup+1.50088 s]
/proc/loadavg: 1.65 1.73 1.62 4/217 13552
/proc/meminfo: memFree=23543316/32770624 swapFree=67108860/67108860
[pid=13536] ppid=13533 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13536/stat : 13536 (xcsp3-exec) S 13533 13536 12810 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154141329 9740288 345 33554432000 4194304 5098028 140726920100880 140726920098984 140196340503164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32571392 140726920103028 140726920103232 140726920103232 140726920105963 0
/proc/13536/statm: 2378 345 289 221 0 87 0

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

/proc/13538/task/13546/stat : 13546 (java) S 13536 13536 12810 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 154141332 14320615424 126199 33554432000 4194304 4196468 140730410088176 139854814045296 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13547] ppid=13536 vsize=13984976 memory=517580 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13547/stat : 13547 (java) S 13536 13536 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154141335 14320615424 126199 33554432000 4194304 4196468 140730410088176 139854812993616 139855274747803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13548] ppid=13536 vsize=13984976 memory=640 CPUtime=5.03 cores=1,3,5,7
/proc/13538/task/13548/stat : 13548 (java) S 13536 13536 12810 0 -1 1077944384 19590 0 0 0 500 3 0 0 20 0 15 0 154141335 14320615424 126199 33554432000 4194304 4196468 140730410088176 139854811941488 139855274740354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13549] ppid=13536 vsize=13984976 memory=1380 CPUtime=4.71 cores=1,3,5,7
/proc/13538/task/13549/stat : 13549 (java) S 13536 13536 12810 0 -1 1077944384 21692 0 0 0 468 3 0 0 20 0 15 0 154141335 14320615424 126199 33554432000 4194304 4196468 140730410088176 139854810888688 139855274740354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13550] ppid=13536 vsize=13984976 memory=482940 CPUtime=0.94 cores=1,3,5,7
/proc/13538/task/13550/stat : 13550 (java) S 13536 13536 12810 0 -1 1077944384 9680 0 0 0 93 1 0 0 20 0 15 0 154141335 14320615424 126199 33554432000 4194304 4196468 140730410088176 139854809836400 139855274740354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13551] ppid=13536 vsize=13984976 memory=18472 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13551/stat : 13551 (java) S 13536 13536 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154141335 14320615424 126199 33554432000 4194304 4196468 140730410088176 139854808783840 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13552] ppid=13536 vsize=13984976 memory=1380 CPUtime=0.04 cores=1,3,5,7
/proc/13538/task/13552/stat : 13552 (java) S 13536 13536 12810 0 -1 1077944384 466 0 0 0 2 2 0 0 20 0 15 0 154141335 14320615424 126199 33554432000 4194304 4196468 140730410088176 139854807730608 139855274740354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
Current children cumulated CPU time: 115.37 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 506176 KiB

[startup+162.301 s]
/proc/loadavg: 1.55 1.66 1.60 3/217 13554
/proc/meminfo: memFree=22927056/32770624 swapFree=67108860/67108860
[pid=13536] ppid=13533 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13536/stat : 13536 (xcsp3-exec) S 13533 13536 12810 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154141329 9740288 345 33554432000 4194304 5098028 140726920100880 140726920098984 140196340503164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32571392 140726920103028 140726920103232 140726920103232 140726920105963 0
/proc/13536/statm: 2378 345 289 221 0 87 0
[pid=13538] ppid=13536 vsize=13984976 memory=530268 CPUtime=177.4 cores=1,3,5,7
/proc/13538/stat : 13538 (java) S 13536 13536 12810 0 -1 1077944320 85930 0 0 0 17639 101 0 0 20 0 15 0 154141329 14320615424 132567 33554432000 4194304 4196468 140730410088176 140730410070720 139855274729207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
/proc/13538/statm: 3496244 132567 3282 1 0 3483478 0
[pid=13538/tid=13539] ppid=13536 vsize=13984976 memory=537964 CPUtime=160.67 cores=1,3,5,7
/proc/13538/task/13539/stat : 13539 (java) R 13536 13536 12810 0 -1 4202560 17838 0 0 0 16061 6 0 0 20 0 15 0 154141329 14320615424 132567 33554432000 4194304 4196468 140730410088176 139855278968720 139854899338397 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13540] ppid=13536 vsize=13984976 memory=505 CPUtime=1.41 cores=1,3,5,7
/proc/13538/task/13540/stat : 13540 (java) S 13536 13536 12810 0 -1 1077944384 4195 0 0 0 121 20 0 0 20 0 15 0 154141330 14320615424 132567 33554432000 4194304 4196468 140730410088176 139855212329872 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13541] ppid=13536 vsize=13984976 memory=537964 CPUtime=1.43 cores=1,3,5,7
/proc/13538/task/13541/stat : 13541 (java) S 13536 13536 12810 0 -1 1077944384 1773 0 0 0 123 20 0 0 20 0 15 0 154141330 14320615424 132567 33554432000 4194304 4196468 140730410088176 139855211277072 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13542] ppid=13536 vsize=13984976 memory=586652 CPUtime=1.44 cores=1,3,5,7
/proc/13538/task/13542/stat : 13542 (java) S 13536 13536 12810 0 -1 1077944384 1993 0 0 0 124 20 0 0 20 0 15 0 154141330 14320615424 132567 33554432000 4194304 4196468 140730410088176 139855210224784 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13543] ppid=13536 vsize=13984976 memory=537964 CPUtime=1.45 cores=1,3,5,7
/proc/13538/task/13543/stat : 13543 (java) S 13536 13536 12810 0 -1 1077944384 1997 0 0 0 125 20 0 0 20 0 15 0 154141330 14320615424 132567 33554432000 4194304 4196468 140730410088176 139855209171984 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13544] ppid=13536 vsize=13984976 memory=577084 CPUtime=0.11 cores=1,3,5,7
/proc/13538/task/13544/stat : 13544 (java) S 13536 13536 12810 0 -1 1077944384 4478 0 0 0 10 1 0 0 20 0 15 0 154141331 14320615424 132567 33554432000 4194304 4196468 140730410088176 139854816151664 139855274740354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13545] ppid=13536 vsize=13984976 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13545/stat : 13545 (java) S 13536 13536 12810 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154141332 14320615424 132567 33554432000 4194304 4196468 140730410088176 139854815097632 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13546] ppid=13536 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13546/stat : 13546 (java) S 13536 13536 12810 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 154141332 14320615424 132567 33554432000 4194304 4196468 140730410088176 139854814045296 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13547] ppid=13536 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13547/stat : 13547 (java) S 13536 13536 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154141335 14320615424 132567 33554432000 4194304 4196468 140730410088176 139854812993616 139855274747803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13548] ppid=13536 vsize=13984976 memory=553868 CPUtime=5.05 cores=1,3,5,7
/proc/13538/task/13548/stat : 13548 (java) S 13536 13536 12810 0 -1 1077944384 19822 0 0 0 502 3 0 0 20 0 15 0 154141335 14320615424 132567 33554432000 4194304 4196468 140730410088176 139854811941488 139855274740354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13549] ppid=13536 vsize=13984976 memory=4144 CPUtime=4.72 cores=1,3,5,7
/proc/13538/task/13549/stat : 13549 (java) S 13536 13536 12810 0 -1 1077944384 22152 0 0 0 469 3 0 0 20 0 15 0 154141335 14320615424 132567 33554432000 4194304 4196468 140730410088176 139854810888688 139855274740354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13550] ppid=13536 vsize=13984976 memory=42928 CPUtime=0.94 cores=1,3,5,7
/proc/13538/task/13550/stat : 13550 (java) S 13536 13536 12810 0 -1 1077944384 9864 0 0 0 93 1 0 0 20 0 15 0 154141335 14320615424 132567 33554432000 4194304 4196468 140730410088176 139854809836400 139855274740354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13551] ppid=13536 vsize=13984976 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13551/stat : 13551 (java) S 13536 13536 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154141335 14320615424 132567 33554432000 4194304 4196468 140730410088176 139854808783840 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13552] ppid=13536 vsize=13984976 memory=1380 CPUtime=0.08 cores=1,3,5,7
/proc/13538/task/13552/stat : 13552 (java) S 13536 13536 12810 0 -1 1077944384 471 0 0 0 4 4 0 0 20 0 15 0 154141335 14320615424 132567 33554432000 4194304 4196468 140730410088176 139854807730608 139855274740354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
Current children cumulated CPU time: 177.4 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 531648 KiB

[startup+222.301 s]
/proc/loadavg: 1.76 1.70 1.62 3/217 13715
/proc/meminfo: memFree=23328444/32770624 swapFree=67108860/67108860
[pid=13536] ppid=13533 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13536/stat : 13536 (xcsp3-exec) S 13533 13536 12810 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154141329 9740288 345 33554432000 4194304 5098028 140726920100880 140726920098984 140196340503164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32571392 140726920103028 140726920103232 140726920103232 140726920105963 0
/proc/13536/statm: 2378 345 289 221 0 87 0
[pid=13538] ppid=13536 vsize=13984976 memory=647580 CPUtime=239.28 cores=1,3,5,7
/proc/13538/stat : 13538 (java) S 13536 13536 12810 0 -1 1077944320 96134 0 0 0 23812 116 0 0 20 0 15 0 154141329 14320615424 161895 33554432000 4194304 4196468 140730410088176 140730410070720 139855274729207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
/proc/13538/statm: 3496244 161895 3282 1 0 3483478 0
[pid=13538/tid=13539] ppid=13536 vsize=13984976 memory=627040 CPUtime=220.07 cores=1,3,5,7
/proc/13538/task/13539/stat : 13539 (java) R 13536 13536 12810 0 -1 4202560 19558 0 0 0 22000 7 0 0 20 0 15 0 154141329 14320615424 161895 33554432000 4194304 4196468 140730410088176 139855278968944 139854892301027 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13540] ppid=13536 vsize=13984976 memory=627040 CPUtime=1.98 cores=1,3,5,7
/proc/13538/task/13540/stat : 13540 (java) S 13536 13536 12810 0 -1 1077944384 4489 0 0 0 174 24 0 0 20 0 15 0 154141330 14320615424 161895 33554432000 4194304 4196468 140730410088176 139855212329872 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13541] ppid=13536 vsize=13984976 memory=627040 CPUtime=2 cores=1,3,5,7
/proc/13538/task/13541/stat : 13541 (java) S 13536 13536 12810 0 -1 1077944384 2582 0 0 0 177 23 0 0 20 0 15 0 154141330 14320615424 161895 33554432000 4194304 4196468 140730410088176 139855211277072 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13542] ppid=13536 vsize=13984976 memory=627040 CPUtime=2.01 cores=1,3,5,7
/proc/13538/task/13542/stat : 13542 (java) S 13536 13536 12810 0 -1 1077944384 2340 0 0 0 178 23 0 0 20 0 15 0 154141330 14320615424 161895 33554432000 4194304 4196468 140730410088176 139855210224784 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13543] ppid=13536 vsize=13984976 memory=631136 CPUtime=2.02 cores=1,3,5,7
/proc/13538/task/13543/stat : 13543 (java) S 13536 13536 12810 0 -1 1077944384 2397 0 0 0 179 23 0 0 20 0 15 0 154141330 14320615424 161895 33554432000 4194304 4196468 140730410088176 139855209171984 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13544] ppid=13536 vsize=13984976 memory=4420 CPUtime=0.14 cores=1,3,5,7
/proc/13538/task/13544/stat : 13544 (java) S 13536 13536 12810 0 -1 1077944384 7581 0 0 0 12 2 0 0 20 0 15 0 154141331 14320615424 161895 33554432000 4194304 4196468 140730410088176 139854816151664 139855274740354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13545] ppid=13536 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13545/stat : 13545 (java) S 13536 13536 12810 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154141332 14320615424 161895 33554432000 4194304 4196468 140730410088176 139854815097632 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13546] ppid=13536 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13546/stat : 13546 (java) S 13536 13536 12810 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 154141332 14320615424 161895 33554432000 4194304 4196468 140730410088176 139854814045296 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13547] ppid=13536 vsize=13984976 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13547/stat : 13547 (java) S 13536 13536 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154141335 14320615424 161895 33554432000 4194304 4196468 140730410088176 139854812993616 139855274747803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13548] ppid=13536 vsize=13984976 memory=1380 CPUtime=5.13 cores=1,3,5,7
/proc/13538/task/13548/stat : 13548 (java) S 13536 13536 12810 0 -1 1077944384 20665 0 0 0 510 3 0 0 20 0 15 0 154141335 14320615424 161895 33554432000 4194304 4196468 140730410088176 139854811941488 139855274740354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13549] ppid=13536 vsize=13984976 memory=1380 CPUtime=4.78 cores=1,3,5,7
/proc/13538/task/13549/stat : 13549 (java) S 13536 13536 12810 0 -1 1077944384 23110 0 0 0 475 3 0 0 20 0 15 0 154141335 14320615424 161895 33554432000 4194304 4196468 140730410088176 139854810888688 139855274740354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13550] ppid=13536 vsize=13984976 memory=627040 CPUtime=0.95 cores=1,3,5,7
/proc/13538/task/13550/stat : 13550 (java) S 13536 13536 12810 0 -1 1077944384 11560 0 0 0 94 1 0 0 20 0 15 0 154141335 14320615424 161895 33554432000 4194304 4196468 140730410088176 139854809836400 139855274740354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13551] ppid=13536 vsize=13984976 memory=627040 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13551/stat : 13551 (java) S 13536 13536 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154141335 14320615424 161895 33554432000 4194304 4196468 140730410088176 139854808783840 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13552] ppid=13536 vsize=13984976 memory=1380 CPUtime=0.1 cores=1,3,5,7
/proc/13538/task/13552/stat : 13552 (java) S 13536 13536 12810 0 -1 1077944384 505 0 0 0 5 5 0 0 20 0 15 0 154141335 14320615424 161895 33554432000 4194304 4196468 140730410088176 139854807730608 139855274740354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
Current children cumulated CPU time: 239.28 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 648960 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.76 1.71 1.62 3/217 13715
/proc/meminfo: memFree=23350544/32770624 swapFree=67108860/67108860
[pid=13536] ppid=13533 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/13536/stat : 13536 (xcsp3-exec) S 13533 13536 12810 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154141329 9740288 345 33554432000 4194304 5098028 140726920100880 140726920098984 140196340503164 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32571392 140726920103028 140726920103232 140726920103232 140726920105963 0
/proc/13536/statm: 2378 345 289 221 0 87 0
[pid=13538] ppid=13536 vsize=13984976 memory=619880 CPUtime=257.27 cores=1,3,5,7
/proc/13538/stat : 13538 (java) S 13536 13536 12810 0 -1 1077944320 96229 0 0 0 25610 117 0 0 20 0 15 0 154141329 14320615424 154970 33554432000 4194304 4196468 140730410088176 140730410070720 139855274729207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
/proc/13538/statm: 3496244 154970 3282 1 0 3483478 0
[pid=13538/tid=13539] ppid=13536 vsize=13984976 memory=1232 CPUtime=237.69 cores=1,3,5,7
/proc/13538/task/13539/stat : 13539 (java) R 13536 13536 12810 0 -1 4202560 19564 0 0 0 23762 7 0 0 20 0 15 0 154141329 14320615424 154970 33554432000 4194304 4196468 140730410088176 139855278968864 139854898261322 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13540] ppid=13536 vsize=13984976 memory=-7003737579269690708 CPUtime=2.07 cores=1,3,5,7
/proc/13538/task/13540/stat : 13540 (java) S 13536 13536 12810 0 -1 1077944384 4495 0 0 0 183 24 0 0 20 0 15 0 154141330 14320615424 154970 33554432000 4194304 4196468 140730410088176 139855212329872 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13541] ppid=13536 vsize=13984976 memory=1008 CPUtime=2.09 cores=1,3,5,7
/proc/13538/task/13541/stat : 13541 (java) S 13536 13536 12810 0 -1 1077944384 2596 0 0 0 186 23 0 0 20 0 15 0 154141330 14320615424 154970 33554432000 4194304 4196468 140730410088176 139855211277072 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13542] ppid=13536 vsize=13984976 memory=1944 CPUtime=2.1 cores=1,3,5,7
/proc/13538/task/13542/stat : 13542 (java) S 13536 13536 12810 0 -1 1077944384 2349 0 0 0 187 23 0 0 20 0 15 0 154141330 14320615424 154970 33554432000 4194304 4196468 140730410088176 139855210224784 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13543] ppid=13536 vsize=13984976 memory=1200 CPUtime=2.11 cores=1,3,5,7
/proc/13538/task/13543/stat : 13543 (java) S 13536 13536 12810 0 -1 1077944384 2452 0 0 0 188 23 0 0 20 0 15 0 154141330 14320615424 154970 33554432000 4194304 4196468 140730410088176 139855209171984 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13544] ppid=13536 vsize=13984976 memory=1424 CPUtime=0.14 cores=1,3,5,7
/proc/13538/task/13544/stat : 13544 (java) S 13536 13536 12810 0 -1 1077944384 7586 0 0 0 12 2 0 0 20 0 15 0 154141331 14320615424 154970 33554432000 4194304 4196468 140730410088176 139854816151664 139855274740354 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13545] ppid=13536 vsize=13984976 memory=4144 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13545/stat : 13545 (java) S 13536 13536 12810 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154141332 14320615424 154970 33554432000 4194304 4196468 140730410088176 139854815097632 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13546] ppid=13536 vsize=13984976 memory=42928 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13546/stat : 13546 (java) S 13536 13536 12810 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 154141332 14320615424 154970 33554432000 4194304 4196468 140730410088176 139854814045296 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13547] ppid=13536 vsize=13984976 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13547/stat : 13547 (java) S 13536 13536 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154141335 14320615424 154970 33554432000 4194304 4196468 140730410088176 139854812993616 139855274747803 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13548] ppid=13536 vsize=13984976 memory=932 CPUtime=5.13 cores=1,3,5,7
/proc/13538/task/13548/stat : 13548 (java) S 13536 13536 12810 0 -1 1077944384 20665 0 0 0 510 3 0 0 20 0 15 0 154141335 14320615424 154970 33554432000 4194304 4196468 140730410088176 139854811941488 139855274740354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13549] ppid=13536 vsize=13984976 memory=1580 CPUtime=4.78 cores=1,3,5,7
/proc/13538/task/13549/stat : 13549 (java) S 13536 13536 12810 0 -1 1077944384 23110 0 0 0 475 3 0 0 20 0 15 0 154141335 14320615424 154970 33554432000 4194304 4196468 140730410088176 139854810888688 139855274740354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13550] ppid=13536 vsize=13984976 memory=2244 CPUtime=0.95 cores=1,3,5,7
/proc/13538/task/13550/stat : 13550 (java) S 13536 13536 12810 0 -1 1077944384 11560 0 0 0 94 1 0 0 20 0 15 0 154141335 14320615424 154970 33554432000 4194304 4196468 140730410088176 139854809836400 139855274740354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13551] ppid=13536 vsize=13984976 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/13538/task/13551/stat : 13551 (java) S 13536 13536 12810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154141335 14320615424 154970 33554432000 4194304 4196468 140730410088176 139854808783840 139855274739413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
[pid=13538/tid=13552] ppid=13536 vsize=13984976 memory=2204 CPUtime=0.11 cores=1,3,5,7
/proc/13538/task/13552/stat : 13552 (java) S 13536 13536 12810 0 -1 1077944384 505 0 0 0 6 5 0 0 20 0 15 0 154141335 14320615424 154970 33554432000 4194304 4196468 140730410088176 139854807730608 139855274740354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20066304 140730410095773 140730410095948 140730410095948 140730410098639 0
Current children cumulated CPU time: 257.27 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 621260 KiB

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

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

[startup+240.036 s]
# the end of solver process 13538 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=256.12 s, system=1.18161 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.036
CPU time (s): 257.301
CPU user time (s): 256.12
CPU system time (s): 1.18161
CPU usage (%): 107.193
Max. virtual memory (cumulated for all children) (KiB): 13996536
Max. memory (cumulated for all children) (KiB): 694848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 256.12
system time used= 1.18161
maximum resident set size= 693552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97095
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10167
involuntary context switches= 369


# summary of solver processes directly reported to runsolver:
#   pid: 13536,13538
#   total CPU time (s): 257.301
#   total CPU user time (s): 256.12
#   total CPU system time (s): 1.18161

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.52781 second user time and 2.37666 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml
MD5SUM	f7605bb50abdbd05cc6d9fedf17196d1
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	386
Best CPU time to get the best result obtained on this benchmark	251.79601
Satisfiable
(Un)Satisfiability was proved
Number of variables	1831
Number of constraints	1072
Number of domains	4
Minimum domain size	2
Maximum domain size	1801
Distribution of domain sizes	[{"size":2,"count":900},{"size":3,"count":900},{"size":785,"count":1},{"size":1801,"count":30}]
Minimum variable degree	1
Maximum variable degree	31
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":897},{"degree":3,"count":33},{"degree":4,"count":112},{"degree":8,"count":108},{"degree":9,"count":676},{"degree":31,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":2,"count":142},{"arity":3,"count":112},{"arity":10,"count":784},{"arity":30,"count":4},{"arity":31,"count":1},{"arity":32,"count":29}]
Number of extensional constraints	896
Number of intensional constraints	141
Distribution of constraint types	[{"type":"extension","count":896},{"type":"intension","count":141},{"type":"sum","count":31},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4284543

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