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-09)	SAT (TO)	238	245.786	240.024

0.00/0.07	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270320-1502619212.xml"  -tl '264s' -p 1 -x 0
0.12/0.26	c [HOME/instance-4270320-1502619212.xml, -tl, 264s, -p, 1, -x, 0]
0.32/0.32	c simple solver
0.32/0.38	c parse instance...
1.80/0.99	c solve instance...
7.85/4.11	o 236 
30.96/25.63	o 238 
245.76/240.01	s SATISFIABLE
245.76/240.01	v <instantiation>
245.76/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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z </list>
245.76/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 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 1 0 1 1 1 0 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 1 1 1 1 0 1 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 1 0 1 0 1 0 1 1 1 0 0 1 1 1 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 0 0 1 1 1 1 1 1 1 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 1 0 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 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 1 0 1 1 1 0 0 1 1 0 0 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 0 1 0 2 1 0 0 1 1 0 0 0 2 2 1 1 0 0 0 1 1 2 2 1 0 0 0 0 1 1 1 0 0 1 1 1 0 1 1 2 1 0 1 0 0 0 2 2 2 1 1 1 1 1 0 0 1 0 0 2 2 1 0 0 1 0 1 0 0 0 1 1 2 1 1 1 1 2 1 0 0 0 0 0 1 1 2 0 1 0 0 1 0 1 0 1 0 2 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 0 0 1 0 1 0 0 1 1 2 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 2 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 2 1 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 2 0 2 1 1 0 0 0 0 0 1 0 1 2 1 0 1 0 0 0 0 0 0 1 0 0 0 1 2 1 0 1 0 0 0 0 0 0 1 2 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 2 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 2 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 2 2 1 1 1 1 0 0 1 2 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 1 2 1 1 1 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 2 2 1 1 0 0 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 1 0 1 0 1 1 1 2 0 1 0 0 0 1 0 1 0 0 1 1 1 0 0 2 1 1 1 2 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 2 0 1 0 2 2 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 0 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 0 14 34 53 72 87 100 109 119 129 140 149 158 164 172 178 184 193 205 220 227 234 247 260 271 285 296 238 </values>
245.76/240.01	v </instantiation>
245.76/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 (15218 MiB free)
  memory of node 1: 16384 MiB (15415 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270320-1502619212/watcher-4270320-1502619212 -o /tmp/evaluation-result-4270320-1502619212/solver-4270320-1502619212 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502615937-28320 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 861106226 HOME/instance-4270320-1502619212.xml 

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

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


[startup+0.100099 s]*
/proc/loadavg: 1.68 1.86 1.87 3/203 30243
/proc/meminfo: memFree=31360956/32770624 swapFree=67108860/67108860
[pid=30235] ppid=30232 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30235/stat : 30235 (xcsp3-exec) S 30232 30235 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64114585 9740288 345 18446744073709551615 4194304 5098028 140732426324480 140732426322584 140266043781756 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 28721152 140732426330495 140732426330698 140732426330698 140732426334187 0
/proc/30235/statm: 2378 345 289 221 0 87 0
[pid=30237] ppid=30235 vsize=13574484 memory=18712 CPUtime=0.02 cores=0,2,4,6
/proc/30237/stat : 30237 (java) S 30235 30235 17093 0 -1 1077944320 3974 0 0 0 2 0 0 0 20 0 9 0 64114593 13900271616 4678 18446744073709551615 4194304 4196468 140722582189344 140722582171888 140588682256119 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
/proc/30237/statm: 3393621 4678 2082 1 0 3383118 0
[pid=30237/tid=30238] ppid=30235 vsize=13574484 memory=-8713483618642983523 CPUtime=0.02 cores=0,2,4,6
/proc/30237/task/30238/stat : 30238 (java) R 30235 30235 17093 0 -1 4202560 2683 0 0 0 2 0 0 0 20 0 9 0 64114593 13900271616 4678 18446744073709551615 4194304 4196468 140722582189344 140588686491880 140588682278045 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30239] ppid=30235 vsize=13574484 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30239/stat : 30239 (java) S 30235 30235 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64114594 13900271616 4678 18446744073709551615 4194304 4196468 140722582189344 140588643154448 140588682266325 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30240] ppid=30235 vsize=13574484 memory=140441747711616 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30240/stat : 30240 (java) S 30235 30235 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64114594 13900271616 4678 18446744073709551615 4194304 4196468 140722582189344 140588642101904 140588682266325 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30241] ppid=30235 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30241/stat : 30241 (java) S 30235 30235 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64114594 13900271616 4678 18446744073709551615 4194304 4196468 140722582189344 140588280637712 140588682266325 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30242] ppid=30235 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30242/stat : 30242 (java) S 30235 30235 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64114594 13900271616 4678 18446744073709551615 4194304 4196468 140722582189344 140588279585168 140588682266325 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30243] ppid=30235 vsize=13574484 memory=140441747711616 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30243/stat : 30243 (java) S 30235 30235 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64114595 13900271616 4678 18446744073709551615 4194304 4196468 140722582189344 140588160600816 140588682267266 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30244] ppid=30235 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30244/stat : 30244 (java) S 30235 30235 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 64114595 13900271616 4678 18446744073709551615 4194304 4196468 140722582189344 140588159547040 140588682266325 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30245] ppid=30235 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30245/stat : 30245 (java) S 30235 30235 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 64114596 13900271616 4678 18446744073709551615 4194304 4196468 140722582189344 140588158494000 140588682266325 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20092 KiB

[startup+0.209987 s]*
/proc/loadavg: 1.68 1.86 1.87 3/211 30251
/proc/meminfo: memFree=31351932/32770624 swapFree=67108860/67108860
[pid=30235] ppid=30232 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30235/stat : 30235 (xcsp3-exec) S 30232 30235 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64114585 9740288 345 18446744073709551615 4194304 5098028 140732426324480 140732426322584 140266043781756 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 28721152 140732426330495 140732426330698 140732426330698 140732426334187 0
/proc/30235/statm: 2378 345 289 221 0 87 0
[pid=30237] ppid=30235 vsize=13974352 memory=27392 CPUtime=0.12 cores=0,2,4,6
/proc/30237/stat : 30237 (java) S 30235 30235 17093 0 -1 1077944320 5375 0 0 0 11 1 0 0 20 0 15 0 64114593 14309736448 6848 18446744073709551615 4194304 4196468 140722582189344 140722582171888 140588682256119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
/proc/30237/statm: 3493588 6848 2811 1 0 3482964 0
[pid=30237/tid=30238] ppid=30235 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=0,2,4,6
/proc/30237/task/30238/stat : 30238 (java) R 30235 30235 17093 0 -1 4202560 3373 0 0 0 8 0 0 0 20 0 15 0 64114593 14309736448 6848 18446744073709551615 4194304 4196468 140722582189344 140588686476928 140588682268054 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30239] ppid=30235 vsize=13974352 memory=13729 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30239/stat : 30239 (java) S 30235 30235 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64114594 14309736448 6848 18446744073709551615 4194304 4196468 140722582189344 140588643154448 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30240] ppid=30235 vsize=13974352 memory=140441747739227 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30240/stat : 30240 (java) S 30235 30235 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64114594 14309736448 6848 18446744073709551615 4194304 4196468 140722582189344 140588642101904 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30241] ppid=30235 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30241/stat : 30241 (java) S 30235 30235 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64114594 14309736448 6848 18446744073709551615 4194304 4196468 140722582189344 140588280637712 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30242] ppid=30235 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30242/stat : 30242 (java) S 30235 30235 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64114594 14309736448 6848 18446744073709551615 4194304 4196468 140722582189344 140588279585168 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30243] ppid=30235 vsize=13974352 memory=140441747711616 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30243/stat : 30243 (java) S 30235 30235 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64114595 14309736448 6848 18446744073709551615 4194304 4196468 140722582189344 140588160600816 140588682267266 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30244] ppid=30235 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30244/stat : 30244 (java) S 30235 30235 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64114595 14309736448 6848 18446744073709551615 4194304 4196468 140722582189344 140588159547040 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30245] ppid=30235 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30245/stat : 30245 (java) S 30235 30235 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64114596 14309736448 6848 18446744073709551615 4194304 4196468 140722582189344 140588158493936 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30246] ppid=30235 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30246/stat : 30246 (java) S 30235 30235 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64114598 14309736448 6848 18446744073709551615 4194304 4196468 140722582189344 140588157442512 140588682274715 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30247] ppid=30235 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30247/stat : 30247 (java) S 30235 30235 17093 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 64114598 14309736448 6848 18446744073709551615 4194304 4196468 140722582189344 140588156389616 140588682267266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30248] ppid=30235 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30248/stat : 30248 (java) S 30235 30235 17093 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 64114598 14309736448 6848 18446744073709551615 4194304 4196468 140722582189344 140588155337072 140588682267266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30249] ppid=30235 vsize=13974352 memory=140441747711616 CPUtime=0.01 cores=0,2,4,6
/proc/30237/task/30249/stat : 30249 (java) R 30235 30235 17093 0 -1 4202560 264 0 0 0 1 0 0 0 20 0 15 0 64114598 14309736448 6848 18446744073709551615 4194304 4196468 140722582189344 140588154284016 140588661131588 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30250] ppid=30235 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30250/stat : 30250 (java) S 30235 30235 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64114598 14309736448 6848 18446744073709551615 4194304 4196468 140722582189344 140588153231712 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30251] ppid=30235 vsize=13974352 memory=140441747711616 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30251/stat : 30251 (java) S 30235 30235 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64114602 14309736448 6848 18446744073709551615 4194304 4196468 140722582189344 140588152179760 140588682267266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28772 KiB

[startup+0.310489 s]*
/proc/loadavg: 1.68 1.86 1.87 5/211 30251
/proc/meminfo: memFree=31339884/32770624 swapFree=67108860/67108860
[pid=30235] ppid=30232 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30235/stat : 30235 (xcsp3-exec) S 30232 30235 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64114585 9740288 345 18446744073709551615 4194304 5098028 140732426324480 140732426322584 140266043781756 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 28721152 140732426330495 140732426330698 140732426330698 140732426334187 0
/proc/30235/statm: 2378 345 289 221 0 87 0
[pid=30237] ppid=30235 vsize=13974352 memory=40116 CPUtime=0.32 cores=0,2,4,6
/proc/30237/stat : 30237 (java) S 30235 30235 17093 0 -1 1077944320 9146 0 0 0 30 2 0 0 20 0 15 0 64114593 14309736448 10029 18446744073709551615 4194304 4196468 140722582189344 140722582171888 140588682256119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
/proc/30237/statm: 3493588 10029 3041 1 0 3482964 0
[pid=30237/tid=30238] ppid=30235 vsize=13974352 memory=-8774313645642428999 CPUtime=0.19 cores=0,2,4,6
/proc/30237/task/30238/stat : 30238 (java) R 30235 30235 17093 0 -1 4202560 6251 0 0 0 17 2 0 0 20 0 15 0 64114593 14309736448 10029 18446744073709551615 4194304 4196468 140722582189344 140588686490096 140588666336606 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30239] ppid=30235 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30239/stat : 30239 (java) S 30235 30235 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64114594 14309736448 10029 18446744073709551615 4194304 4196468 140722582189344 140588643154448 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30240] ppid=30235 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30240/stat : 30240 (java) S 30235 30235 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64114594 14309736448 10029 18446744073709551615 4194304 4196468 140722582189344 140588642101904 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30241] ppid=30235 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30241/stat : 30241 (java) S 30235 30235 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64114594 14309736448 10029 18446744073709551615 4194304 4196468 140722582189344 140588280637712 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30242] ppid=30235 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30242/stat : 30242 (java) S 30235 30235 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64114594 14309736448 10029 18446744073709551615 4194304 4196468 140722582189344 140588279585168 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30243] ppid=30235 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30243/stat : 30243 (java) S 30235 30235 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64114595 14309736448 10029 18446744073709551615 4194304 4196468 140722582189344 140588160600816 140588682267266 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30244] ppid=30235 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30244/stat : 30244 (java) S 30235 30235 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64114595 14309736448 10029 18446744073709551615 4194304 4196468 140722582189344 140588159547040 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30245] ppid=30235 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30245/stat : 30245 (java) S 30235 30235 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64114596 14309736448 10029 18446744073709551615 4194304 4196468 140722582189344 140588158493936 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30246] ppid=30235 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30246/stat : 30246 (java) S 30235 30235 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64114598 14309736448 10029 18446744073709551615 4194304 4196468 140722582189344 140588157442512 140588682274715 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30247] ppid=30235 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30237/task/30247/stat : 30247 (java) S 30235 30235 17093 0 -1 1077944384 397 0 0 0 2 0 0 0 20 0 15 0 64114598 14309736448 10029 18446744073709551615 4194304 4196468 140722582189344 140588156389616 140588682267266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30248] ppid=30235 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30237/task/30248/stat : 30248 (java) R 30235 30235 17093 0 -1 1077944384 401 0 0 0 2 0 0 0 20 0 15 0 64114598 14309736448 10029 18446744073709551615 4194304 4196468 140722582189344 140588155337072 140588682267266 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30249] ppid=30235 vsize=13974352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30237/task/30249/stat : 30249 (java) R 30235 30235 17093 0 -1 4202560 795 0 0 0 7 0 0 0 20 0 15 0 64114598 14309736448 10029 18446744073709551615 4194304 4196468 140722582189344 140588154284016 140588661267744 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30250] ppid=30235 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30250/stat : 30250 (java) S 30235 30235 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64114598 14309736448 10029 18446744073709551615 4194304 4196468 140722582189344 140588153231712 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30251] ppid=30235 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30251/stat : 30251 (java) S 30235 30235 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64114602 14309736448 10029 18446744073709551615 4194304 4196468 140722582189344 140588152179760 140588682267266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41496 KiB

[startup+0.701004 s]
/proc/loadavg: 1.68 1.86 1.87 6/211 30251
/proc/meminfo: memFree=31329300/32770624 swapFree=67108860/67108860
[pid=30235] ppid=30232 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30235/stat : 30235 (xcsp3-exec) S 30232 30235 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64114585 9740288 345 18446744073709551615 4194304 5098028 140732426324480 140732426322584 140266043781756 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 28721152 140732426330495 140732426330698 140732426330698 140732426334187 0
/proc/30235/statm: 2378 345 289 221 0 87 0
[pid=30237] ppid=30235 vsize=13980732 memory=68024 CPUtime=1.29 cores=0,2,4,6
/proc/30237/stat : 30237 (java) S 30235 30235 17093 0 -1 1077944320 12189 0 0 0 125 4 0 0 20 0 15 0 64114593 14316269568 17006 18446744073709551615 4194304 4196468 140722582189344 140722582171888 140588682256119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
/proc/30237/statm: 3495183 17006 3168 1 0 3483476 0
[pid=30237/tid=30238] ppid=30235 vsize=13980732 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/30237/task/30238/stat : 30238 (java) R 30235 30235 17093 0 -1 4202560 7988 0 0 0 54 3 0 0 20 0 15 0 64114593 14316269568 17006 18446744073709551615 4194304 4196468 140722582189344 140588686494576 140588682268054 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30239] ppid=30235 vsize=13980732 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30239/stat : 30239 (java) S 30235 30235 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64114594 14316269568 17006 18446744073709551615 4194304 4196468 140722582189344 140588643154448 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30240] ppid=30235 vsize=13980732 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30240/stat : 30240 (java) S 30235 30235 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64114594 14316269568 17006 18446744073709551615 4194304 4196468 140722582189344 140588642101904 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30241] ppid=30235 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30241/stat : 30241 (java) S 30235 30235 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64114594 14316269568 17006 18446744073709551615 4194304 4196468 140722582189344 140588280637712 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30242] ppid=30235 vsize=13980732 memory=12200 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30242/stat : 30242 (java) S 30235 30235 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64114594 14316269568 17006 18446744073709551615 4194304 4196468 140722582189344 140588279585168 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30243] ppid=30235 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30243/stat : 30243 (java) S 30235 30235 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64114595 14316269568 17006 18446744073709551615 4194304 4196468 140722582189344 140588160600816 140588682267266 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30244] ppid=30235 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30244/stat : 30244 (java) S 30235 30235 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64114595 14316269568 17006 18446744073709551615 4194304 4196468 140722582189344 140588159547040 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30245] ppid=30235 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30245/stat : 30245 (java) S 30235 30235 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64114596 14316269568 17006 18446744073709551615 4194304 4196468 140722582189344 140588158493936 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30246] ppid=30235 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30246/stat : 30246 (java) S 30235 30235 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64114598 14316269568 17006 18446744073709551615 4194304 4196468 140722582189344 140588157442512 140588682274715 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30247] ppid=30235 vsize=13980732 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/30237/task/30247/stat : 30247 (java) S 30235 30235 17093 0 -1 1077944384 666 0 0 0 19 0 0 0 20 0 15 0 64114598 14316269568 17006 18446744073709551615 4194304 4196468 140722582189344 140588156389616 140588682267266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30248] ppid=30235 vsize=13980732 memory=13 CPUtime=0.19 cores=0,2,4,6
/proc/30237/task/30248/stat : 30248 (java) S 30235 30235 17093 0 -1 1077944384 810 0 0 0 19 0 0 0 20 0 15 0 64114598 14316269568 17006 18446744073709551615 4194304 4196468 140722582189344 140588155337072 140588682267266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30249] ppid=30235 vsize=13980732 memory=66 CPUtime=0.31 cores=0,2,4,6
/proc/30237/task/30249/stat : 30249 (java) R 30235 30235 17093 0 -1 4202560 1420 0 0 0 31 0 0 0 20 0 15 0 64114598 14316269568 17006 18446744073709551615 4194304 4196468 140722582189344 140588154280952 140588661052576 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30250] ppid=30235 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30250/stat : 30250 (java) S 30235 30235 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64114598 14316269568 17006 18446744073709551615 4194304 4196468 140722582189344 140588153231712 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30251] ppid=30235 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30251/stat : 30251 (java) S 30235 30235 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64114602 14316269568 17006 18446744073709551615 4194304 4196468 140722582189344 140588152179760 140588682267266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
Current children cumulated CPU time: 1.29 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 69404 KiB

[startup+1.50081 s]
/proc/loadavg: 1.68 1.86 1.87 5/211 30251
/proc/meminfo: memFree=31293072/32770624 swapFree=67108860/67108860
[pid=30235] ppid=30232 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30235/stat : 30235 (xcsp3-exec) S 30232 30235 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64114585 9740288 345 18446744073709551615 4194304 5098028 140732426324480 140732426322584 140266043781756 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 28721152 140732426330495 140732426330698 140732426330698 140732426334187 0
/proc/30235/statm: 2378 345 289 221 0 87 0
[pid=30237] ppid=30235 vsize=13980732 memory=107896 CPUtime=3.6 cores=0,2,4,6
/proc/30237/stat : 30237 (java) S 30235 30235 17093 0 -1 1077944320 20937 0 0 0 353 7 0 0 20 0 15 0 64114593 14316269568 26974 18446744073709551615 4194304 4196468 140722582189344 140722582171888 140588682256119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
/proc/30237/statm: 3495183 26974 3187 1 0 3483476 0
[pid=30237/tid=30238] ppid=30235 vsize=13980732 memory=7679927811743456362 CPUtime=1.36 cores=0,2,4,6
/proc/30237/task/30238/stat : 30238 (java) R 30235 30235 17093 0 -1 4202560 9357 0 0 0 133 3 0 0 20 0 15 0 64114593 14316269568 26974 18446744073709551615 4194304 4196468 140722582189344 140588686493184 140588327347285 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30239] ppid=30235 vsize=13980732 memory=-7101718590825193272 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30239/stat : 30239 (java) S 30235 30235 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64114594 14316269568 26974 18446744073709551615 4194304 4196468 140722582189344 140588643154448 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30240] ppid=30235 vsize=13980732 memory=280883211004416 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30240/stat : 30240 (java) S 30235 30235 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64114594 14316269568 26974 18446744073709551615 4194304 4196468 140722582189344 140588642101904 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30241] ppid=30235 vsize=13980732 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30241/stat : 30241 (java) S 30235 30235 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64114594 14316269568 26974 18446744073709551615 4194304 4196468 140722582189344 140588280637712 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30242] ppid=30235 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6

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

[pid=30237/tid=30243] ppid=30235 vsize=13980732 memory=-8774313645642428999 CPUtime=0.01 cores=0,2,4,6
/proc/30237/task/30243/stat : 30243 (java) S 30235 30235 17093 0 -1 1077944384 1095 0 0 0 1 0 0 0 20 0 15 0 64114595 14316269568 58097 18446744073709551615 4194304 4196468 140722582189344 140588160600816 140588682267266 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30244] ppid=30235 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30244/stat : 30244 (java) S 30235 30235 17093 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 64114595 14316269568 58097 18446744073709551615 4194304 4196468 140722582189344 140588159547040 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30245] ppid=30235 vsize=13980732 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30245/stat : 30245 (java) S 30235 30235 17093 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 64114596 14316269568 58097 18446744073709551615 4194304 4196468 140722582189344 140588158493936 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30246] ppid=30235 vsize=13980732 memory=36244 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30246/stat : 30246 (java) S 30235 30235 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64114598 14316269568 58097 18446744073709551615 4194304 4196468 140722582189344 140588157442512 140588682274715 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30247] ppid=30235 vsize=13980732 memory=1296 CPUtime=2.37 cores=0,2,4,6
/proc/30237/task/30247/stat : 30247 (java) S 30235 30235 17093 0 -1 1077944384 12437 0 0 0 236 1 0 0 20 0 15 0 64114598 14316269568 58097 18446744073709551615 4194304 4196468 140722582189344 140588156389616 140588682267266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30248] ppid=30235 vsize=13980732 memory=2420 CPUtime=2.5 cores=0,2,4,6
/proc/30237/task/30248/stat : 30248 (java) S 30235 30235 17093 0 -1 1077944384 12632 0 0 0 248 2 0 0 20 0 15 0 64114598 14316269568 58097 18446744073709551615 4194304 4196468 140722582189344 140588155337072 140588682267266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30249] ppid=30235 vsize=13980732 memory=250 CPUtime=0.67 cores=0,2,4,6
/proc/30237/task/30249/stat : 30249 (java) S 30235 30235 17093 0 -1 1077944384 6049 0 0 0 66 1 0 0 20 0 15 0 64114598 14316269568 58097 18446744073709551615 4194304 4196468 140722582189344 140588154284016 140588682267266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30250] ppid=30235 vsize=13980732 memory=67 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30250/stat : 30250 (java) S 30235 30235 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64114598 14316269568 58097 18446744073709551615 4194304 4196468 140722582189344 140588153231712 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30251] ppid=30235 vsize=13980732 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/30237/task/30251/stat : 30251 (java) S 30235 30235 17093 0 -1 1077944384 520 0 0 0 1 2 0 0 20 0 15 0 64114602 14316269568 58097 18446744073709551615 4194304 4196468 140722582189344 140588152179760 140588682267266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
Current children cumulated CPU time: 107.92 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 233768 KiB

[startup+162.301 s]
/proc/loadavg: 1.93 1.90 1.88 3/215 30295
/proc/meminfo: memFree=31144984/32770624 swapFree=67108860/67108860
[pid=30235] ppid=30232 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30235/stat : 30235 (xcsp3-exec) S 30232 30235 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64114585 9740288 345 18446744073709551615 4194304 5098028 140732426324480 140732426322584 140266043781756 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 28721152 140732426330495 140732426330698 140732426330698 140732426334187 0
/proc/30235/statm: 2378 345 289 221 0 87 0
[pid=30237] ppid=30235 vsize=13980732 memory=206252 CPUtime=167.96 cores=0,2,4,6
/proc/30237/stat : 30237 (java) S 30235 30235 17093 0 -1 1077944320 55695 0 0 0 16779 17 0 0 20 0 15 0 64114593 14316269568 51563 18446744073709551615 4194304 4196468 140722582189344 140722582171888 140588682256119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
/proc/30237/statm: 3495183 51563 3238 1 0 3483476 0
[pid=30237/tid=30238] ppid=30235 vsize=13980732 memory=206252 CPUtime=162.05 cores=0,2,4,6
/proc/30237/task/30238/stat : 30238 (java) R 30235 30235 17093 0 -1 4202560 14598 0 0 0 16200 5 0 0 20 0 15 0 64114593 14316269568 51563 18446744073709551615 4194304 4196468 140722582189344 140588686493160 140588327885945 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30239] ppid=30235 vsize=13980732 memory=218024 CPUtime=0.05 cores=0,2,4,6
/proc/30237/task/30239/stat : 30239 (java) S 30235 30235 17093 0 -1 1077944384 1622 0 0 0 4 1 0 0 20 0 15 0 64114594 14316269568 51563 18446744073709551615 4194304 4196468 140722582189344 140588643154448 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30240] ppid=30235 vsize=13980732 memory=208796 CPUtime=0.05 cores=0,2,4,6
/proc/30237/task/30240/stat : 30240 (java) S 30235 30235 17093 0 -1 1077944384 499 0 0 0 4 1 0 0 20 0 15 0 64114594 14316269568 51563 18446744073709551615 4194304 4196468 140722582189344 140588642101904 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30241] ppid=30235 vsize=13980732 memory=206252 CPUtime=0.05 cores=0,2,4,6
/proc/30237/task/30241/stat : 30241 (java) S 30235 30235 17093 0 -1 1077944384 1751 0 0 0 4 1 0 0 20 0 15 0 64114594 14316269568 51563 18446744073709551615 4194304 4196468 140722582189344 140588280637712 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30242] ppid=30235 vsize=13980732 memory=1380 CPUtime=0.05 cores=0,2,4,6
/proc/30237/task/30242/stat : 30242 (java) S 30235 30235 17093 0 -1 1077944384 1746 0 0 0 4 1 0 0 20 0 15 0 64114594 14316269568 51563 18446744073709551615 4194304 4196468 140722582189344 140588279585168 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30243] ppid=30235 vsize=13980732 memory=206252 CPUtime=0.02 cores=0,2,4,6
/proc/30237/task/30243/stat : 30243 (java) S 30235 30235 17093 0 -1 1077944384 1316 0 0 0 2 0 0 0 20 0 15 0 64114595 14316269568 51563 18446744073709551615 4194304 4196468 140722582189344 140588160600816 140588682267266 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30244] ppid=30235 vsize=13980732 memory=206252 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30244/stat : 30244 (java) S 30235 30235 17093 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 64114595 14316269568 51563 18446744073709551615 4194304 4196468 140722582189344 140588159547040 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30245] ppid=30235 vsize=13980732 memory=208796 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30245/stat : 30245 (java) S 30235 30235 17093 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 64114596 14316269568 51563 18446744073709551615 4194304 4196468 140722582189344 140588158493936 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30246] ppid=30235 vsize=13980732 memory=12200 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30246/stat : 30246 (java) S 30235 30235 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64114598 14316269568 51563 18446744073709551615 4194304 4196468 140722582189344 140588157442512 140588682274715 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30247] ppid=30235 vsize=13980732 memory=1992 CPUtime=2.38 cores=0,2,4,6
/proc/30237/task/30247/stat : 30247 (java) S 30235 30235 17093 0 -1 1077944384 12479 0 0 0 237 1 0 0 20 0 15 0 64114598 14316269568 51563 18446744073709551615 4194304 4196468 140722582189344 140588156389616 140588682267266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30248] ppid=30235 vsize=13980732 memory=1380 CPUtime=2.5 cores=0,2,4,6
/proc/30237/task/30248/stat : 30248 (java) S 30235 30235 17093 0 -1 1077944384 12945 0 0 0 248 2 0 0 20 0 15 0 64114598 14316269568 51563 18446744073709551615 4194304 4196468 140722582189344 140588155337072 140588682267266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30249] ppid=30235 vsize=13980732 memory=4028 CPUtime=0.68 cores=0,2,4,6
/proc/30237/task/30249/stat : 30249 (java) S 30235 30235 17093 0 -1 1077944384 6814 0 0 0 67 1 0 0 20 0 15 0 64114598 14316269568 51563 18446744073709551615 4194304 4196468 140722582189344 140588154284016 140588682267266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30250] ppid=30235 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30250/stat : 30250 (java) S 30235 30235 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64114598 14316269568 51563 18446744073709551615 4194304 4196468 140722582189344 140588153231712 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30251] ppid=30235 vsize=13980732 memory=211872 CPUtime=0.04 cores=0,2,4,6
/proc/30237/task/30251/stat : 30251 (java) S 30235 30235 17093 0 -1 1077944384 546 0 0 0 2 2 0 0 20 0 15 0 64114602 14316269568 51563 18446744073709551615 4194304 4196468 140722582189344 140588152179760 140588682267266 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
Current children cumulated CPU time: 167.96 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 207632 KiB

[startup+222.301 s]
/proc/loadavg: 1.88 1.89 1.88 3/212 30297
/proc/meminfo: memFree=31156988/32770624 swapFree=67108860/67108860
[pid=30235] ppid=30232 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30235/stat : 30235 (xcsp3-exec) S 30232 30235 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64114585 9740288 345 18446744073709551615 4194304 5098028 140732426324480 140732426322584 140266043781756 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 28721152 140732426330495 140732426330698 140732426330698 140732426334187 0
/proc/30235/statm: 2378 345 289 221 0 87 0
[pid=30237] ppid=30235 vsize=13980732 memory=176516 CPUtime=228.04 cores=0,2,4,6
/proc/30237/stat : 30237 (java) S 30235 30235 17093 0 -1 1077944320 57298 0 0 0 22786 18 0 0 20 0 15 0 64114593 14316269568 44129 18446744073709551615 4194304 4196468 140722582189344 140722582171888 140588682256119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
/proc/30237/statm: 3495183 44129 3238 1 0 3483476 0
[pid=30237/tid=30238] ppid=30235 vsize=13980732 memory=1380 CPUtime=222.03 cores=0,2,4,6
/proc/30237/task/30238/stat : 30238 (java) R 30235 30235 17093 0 -1 4202560 14652 0 0 0 22198 5 0 0 20 0 15 0 64114593 14316269568 44129 18446744073709551615 4194304 4196468 140722582189344 140588686495472 140588329680005 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30239] ppid=30235 vsize=13980732 memory=176516 CPUtime=0.06 cores=0,2,4,6
/proc/30237/task/30239/stat : 30239 (java) S 30235 30235 17093 0 -1 1077944384 1629 0 0 0 5 1 0 0 20 0 15 0 64114594 14316269568 44129 18446744073709551615 4194304 4196468 140722582189344 140588643154448 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30240] ppid=30235 vsize=13980732 memory=176516 CPUtime=0.06 cores=0,2,4,6
/proc/30237/task/30240/stat : 30240 (java) S 30235 30235 17093 0 -1 1077944384 503 0 0 0 5 1 0 0 20 0 15 0 64114594 14316269568 44129 18446744073709551615 4194304 4196468 140722582189344 140588642101904 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30241] ppid=30235 vsize=13980732 memory=1380 CPUtime=0.06 cores=0,2,4,6
/proc/30237/task/30241/stat : 30241 (java) S 30235 30235 17093 0 -1 1077944384 1757 0 0 0 5 1 0 0 20 0 15 0 64114594 14316269568 44129 18446744073709551615 4194304 4196468 140722582189344 140588280637712 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30242] ppid=30235 vsize=13980732 memory=176516 CPUtime=0.06 cores=0,2,4,6
/proc/30237/task/30242/stat : 30242 (java) S 30235 30235 17093 0 -1 1077944384 1753 0 0 0 5 1 0 0 20 0 15 0 64114594 14316269568 44129 18446744073709551615 4194304 4196468 140722582189344 140588279585168 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30243] ppid=30235 vsize=13980732 memory=176516 CPUtime=0.03 cores=0,2,4,6
/proc/30237/task/30243/stat : 30243 (java) S 30235 30235 17093 0 -1 1077944384 1326 0 0 0 3 0 0 0 20 0 15 0 64114595 14316269568 44129 18446744073709551615 4194304 4196468 140722582189344 140588160600816 140588682267266 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30244] ppid=30235 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30244/stat : 30244 (java) S 30235 30235 17093 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 64114595 14316269568 44129 18446744073709551615 4194304 4196468 140722582189344 140588159547040 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30245] ppid=30235 vsize=13980732 memory=185752 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30245/stat : 30245 (java) S 30235 30235 17093 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 64114596 14316269568 44129 18446744073709551615 4194304 4196468 140722582189344 140588158493936 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30246] ppid=30235 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30246/stat : 30246 (java) S 30235 30235 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64114598 14316269568 44129 18446744073709551615 4194304 4196468 140722582189344 140588157442512 140588682274715 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30247] ppid=30235 vsize=13980732 memory=1380 CPUtime=2.4 cores=0,2,4,6
/proc/30237/task/30247/stat : 30247 (java) S 30235 30235 17093 0 -1 1077944384 13384 0 0 0 239 1 0 0 20 0 15 0 64114598 14316269568 44129 18446744073709551615 4194304 4196468 140722582189344 140588156389616 140588682267266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30248] ppid=30235 vsize=13980732 memory=178568 CPUtime=2.52 cores=0,2,4,6
/proc/30237/task/30248/stat : 30248 (java) S 30235 30235 17093 0 -1 1077944384 13547 0 0 0 250 2 0 0 20 0 15 0 64114598 14316269568 44129 18446744073709551615 4194304 4196468 140722582189344 140588155337072 140588682267266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30249] ppid=30235 vsize=13980732 memory=2752 CPUtime=0.69 cores=0,2,4,6
/proc/30237/task/30249/stat : 30249 (java) S 30235 30235 17093 0 -1 1077944384 6814 0 0 0 67 2 0 0 20 0 15 0 64114598 14316269568 44129 18446744073709551615 4194304 4196468 140722582189344 140588154284016 140588682267266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30250] ppid=30235 vsize=13980732 memory=2752 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30250/stat : 30250 (java) S 30235 30235 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64114598 14316269568 44129 18446744073709551615 4194304 4196468 140722582189344 140588153231712 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30251] ppid=30235 vsize=13980732 memory=1380 CPUtime=0.06 cores=0,2,4,6
/proc/30237/task/30251/stat : 30251 (java) S 30235 30235 17093 0 -1 1077944384 554 0 0 0 4 2 0 0 20 0 15 0 64114602 14316269568 44129 18446744073709551615 4194304 4196468 140722582189344 140588152179760 140588682267266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
Current children cumulated CPU time: 228.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 177896 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.91 1.90 1.88 3/212 30375
/proc/meminfo: memFree=31224480/32770624 swapFree=67108860/67108860
[pid=30235] ppid=30232 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30235/stat : 30235 (xcsp3-exec) S 30232 30235 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64114585 9740288 345 18446744073709551615 4194304 5098028 140732426324480 140732426322584 140266043781756 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 7 0 0 7196144 7232144 28721152 140732426330495 140732426330698 140732426330698 140732426334187 0
/proc/30235/statm: 2378 345 289 221 0 87 0
[pid=30237] ppid=30235 vsize=13980732 memory=173440 CPUtime=245.76 cores=0,2,4,6
/proc/30237/stat : 30237 (java) S 30235 30235 17093 0 -1 1077944320 57301 0 0 0 24557 19 0 0 20 0 15 0 64114593 14316269568 43360 18446744073709551615 4194304 4196468 140722582189344 140722582171888 140588682256119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
/proc/30237/statm: 3495183 43360 3238 1 0 3483476 0
[pid=30237/tid=30238] ppid=30235 vsize=13980732 memory=-8774313645642428999 CPUtime=239.73 cores=0,2,4,6
/proc/30237/task/30238/stat : 30238 (java) R 30235 30235 17093 0 -1 4202560 14654 0 0 0 23968 5 0 0 20 0 15 0 64114593 14316269568 43360 18446744073709551615 4194304 4196468 140722582189344 140588686495504 140588328651402 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30239] ppid=30235 vsize=13980732 memory=4872558044660077418 CPUtime=0.06 cores=0,2,4,6
/proc/30237/task/30239/stat : 30239 (java) S 30235 30235 17093 0 -1 1077944384 1629 0 0 0 5 1 0 0 20 0 15 0 64114594 14316269568 43360 18446744073709551615 4194304 4196468 140722582189344 140588643154448 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30240] ppid=30235 vsize=13980732 memory=1000 CPUtime=0.06 cores=0,2,4,6
/proc/30237/task/30240/stat : 30240 (java) S 30235 30235 17093 0 -1 1077944384 503 0 0 0 5 1 0 0 20 0 15 0 64114594 14316269568 43360 18446744073709551615 4194304 4196468 140722582189344 140588642101904 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30241] ppid=30235 vsize=13980732 memory=796 CPUtime=0.06 cores=0,2,4,6
/proc/30237/task/30241/stat : 30241 (java) S 30235 30235 17093 0 -1 1077944384 1758 0 0 0 5 1 0 0 20 0 15 0 64114594 14316269568 43360 18446744073709551615 4194304 4196468 140722582189344 140588280637712 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30242] ppid=30235 vsize=13980732 memory=10960 CPUtime=0.06 cores=0,2,4,6
/proc/30237/task/30242/stat : 30242 (java) S 30235 30235 17093 0 -1 1077944384 1753 0 0 0 5 1 0 0 20 0 15 0 64114594 14316269568 43360 18446744073709551615 4194304 4196468 140722582189344 140588279585168 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30243] ppid=30235 vsize=13980732 memory=-8774313645642428999 CPUtime=0.04 cores=0,2,4,6
/proc/30237/task/30243/stat : 30243 (java) S 30235 30235 17093 0 -1 1077944384 1326 0 0 0 3 1 0 0 20 0 15 0 64114595 14316269568 43360 18446744073709551615 4194304 4196468 140722582189344 140588160600816 140588682267266 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30244] ppid=30235 vsize=13980732 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30244/stat : 30244 (java) S 30235 30235 17093 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 64114595 14316269568 43360 18446744073709551615 4194304 4196468 140722582189344 140588159547040 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30245] ppid=30235 vsize=13980732 memory=20456 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30245/stat : 30245 (java) S 30235 30235 17093 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 64114596 14316269568 43360 18446744073709551615 4194304 4196468 140722582189344 140588158493936 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30246] ppid=30235 vsize=13980732 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30246/stat : 30246 (java) S 30235 30235 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64114598 14316269568 43360 18446744073709551615 4194304 4196468 140722582189344 140588157442512 140588682274715 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30247] ppid=30235 vsize=13980732 memory=640 CPUtime=2.4 cores=0,2,4,6
/proc/30237/task/30247/stat : 30247 (java) S 30235 30235 17093 0 -1 1077944384 13384 0 0 0 239 1 0 0 20 0 15 0 64114598 14316269568 43360 18446744073709551615 4194304 4196468 140722582189344 140588156389616 140588682267266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30248] ppid=30235 vsize=13980732 memory=960 CPUtime=2.52 cores=0,2,4,6
/proc/30237/task/30248/stat : 30248 (java) S 30235 30235 17093 0 -1 1077944384 13547 0 0 0 250 2 0 0 20 0 15 0 64114598 14316269568 43360 18446744073709551615 4194304 4196468 140722582189344 140588155337072 140588682267266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30249] ppid=30235 vsize=13980732 memory=1232 CPUtime=0.69 cores=0,2,4,6
/proc/30237/task/30249/stat : 30249 (java) S 30235 30235 17093 0 -1 1077944384 6814 0 0 0 67 2 0 0 20 0 15 0 64114598 14316269568 43360 18446744073709551615 4194304 4196468 140722582189344 140588154284016 140588682267266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30250] ppid=30235 vsize=13980732 memory=2248 CPUtime=0 cores=0,2,4,6
/proc/30237/task/30250/stat : 30250 (java) S 30235 30235 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64114598 14316269568 43360 18446744073709551615 4194304 4196468 140722582189344 140588153231712 140588682266325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
[pid=30237/tid=30251] ppid=30235 vsize=13980732 memory=1380 CPUtime=0.06 cores=0,2,4,6
/proc/30237/task/30251/stat : 30251 (java) S 30235 30235 17093 0 -1 1077944384 554 0 0 0 4 2 0 0 20 0 15 0 64114602 14316269568 43360 18446744073709551615 4194304 4196468 140722582189344 140588152179760 140588682267266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16396288 140722582192567 140722582192742 140722582192742 140722582196175 0
Current children cumulated CPU time: 245.76 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 174820 KiB

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

[startup+240.024 s]
# the end of solver process 30235 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=245.589 s, system=0.197039 s

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.024
CPU time (s): 245.786
CPU user time (s): 245.589
CPU system time (s): 0.197039
CPU usage (%): 102.401
Max. virtual memory (cumulated for all children) (KiB): 13992276
Max. memory (cumulated for all children) (KiB): 234740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.589
system time used= 0.197039
maximum resident set size= 234896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58158
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= 8639
involuntary context switches= 321


# summary of solver processes directly reported to runsolver:
#   pid: 30235
#   total CPU time (s): 245.786
#   total CPU user time (s): 245.589
#   total CPU system time (s): 0.197039

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.78659 second user time and 1.88207 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml
MD5SUM	e0f1e7fd363778103a4292aa9d177ae8
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	289
Best CPU time to get the best result obtained on this benchmark	251.842
Satisfiable
(Un)Satisfiability was proved
Number of variables	1379
Number of constraints	824
Number of domains	4
Minimum domain size	2
Maximum domain size	1353
Distribution of domain sizes	[{"size":2,"count":676},{"size":3,"count":676},{"size":577,"count":1},{"size":1353,"count":26}]
Minimum variable degree	1
Maximum variable degree	27
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":673},{"degree":3,"count":29},{"degree":4,"count":96},{"degree":8,"count":92},{"degree":9,"count":484},{"degree":27,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	28
Distribution of constraint arities	[{"arity":2,"count":122},{"arity":3,"count":96},{"arity":10,"count":576},{"arity":26,"count":4},{"arity":27,"count":1},{"arity":28,"count":25}]
Number of extensional constraints	672
Number of intensional constraints	121
Distribution of constraint types	[{"type":"extension","count":672},{"type":"intension","count":121},{"type":"sum","count":27},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4270320

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