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)	231	255.616	240.02299

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4284540-1503210542.xml"  -tl '264s' -p 1 -x 3
0.13/0.14	c [HOME/instance-4284540-1503210542.xml, -tl, 264s, -p, 1, -x, 3]
0.13/0.20	c simple solver
0.34/0.27	c parse instance...
2.30/0.95	c solve instance...
7.25/2.87	o 202 
14.43/6.14	o 219 
57.38/46.87	o 230 
57.50/46.99	o 231 
255.59/240.01	s SATISFIABLE
255.59/240.01	v <instantiation>
255.59/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>
255.59/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 1 0 1 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 1 0 1 0 1 1 1 1 1 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 1 0 1 1 1 1 1 0 1 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 1 1 0 0 1 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 0 1 1 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 1 2 1 0 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 2 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 0 1 0 0 0 0 0 0 1 0 0 1 2 0 0 0 0 0 1 0 1 0 0 2 2 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 2 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 2 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 2 2 1 1 2 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 1 2 2 2 2 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 2 2 1 1 2 2 2 1 0 0 0 1 0 0 1 1 2 1 0 1 0 0 0 0 0 2 1 1 1 1 2 2 0 1 0 0 0 0 0 0 1 0 2 2 1 1 0 1 0 0 1 0 0 0 0 1 2 1 1 0 0 0 1 1 0 0 0 1 0 1 2 0 1 0 1 0 0 1 0 1 0 1 1 2 0 1 0 0 0 0 0 0 0 0 0 1 0 2 1 2 0 0 0 0 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1 2 1 1 0 0 0 0 2 1 0 0 0 0 1 0 2 0 1 0 2 1 0 0 1 0 2 2 1 1 0 0 0 1 0 1 1 0 0 1 0 1 1 2 1 2 2 0 1 0 0 1 2 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 2 2 2 2 1 0 0 1 0 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 2 2 2 1 0 1 0 1 0 1 2 1 1 2 0 1 1 0 1 0 0 0 1 0 0 1 1 1 1 1 0 0 1 0 0 1 1 1 1 1 1 0 0 1 0 12 22 31 40 50 63 70 71 79 91 101 110 117 126 142 161 181 196 211 225 240 256 274 289 310 324 231 </values>
255.59/240.01	v </instantiation>
255.59/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 (11292 MiB free)
  memory of node 1: 16384 MiB (11317 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284540-1503210542/watcher-4284540-1503210542 -o /tmp/evaluation-result-4284540-1503210542/solver-4284540-1503210542 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node105-1503209199-23685 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 438847150 HOME/instance-4284540-1503210542.xml 

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

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

solver pid=24028, runsolver pid=24025

[startup+0.104788 s]*
/proc/loadavg: 1.91 1.74 1.63 3/196 24044
/proc/meminfo: memFree=23136500/32770624 swapFree=67108860/67108860
[pid=24028] ppid=24025 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24028/stat : 24028 (xcsp3-exec) S 24025 24028 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154125598 9740288 346 33554432000 4194304 5098028 140722521380352 140722521378456 139731352908412 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34996224 140722521388149 140722521388352 140722521388352 140722521391083 0
/proc/24028/statm: 2378 346 289 221 0 87 0
[pid=24030] ppid=24028 vsize=13978596 memory=28280 CPUtime=0.13 cores=0,2,4,6
/proc/24030/stat : 24030 (java) S 24028 24028 23654 0 -1 1077944320 5454 0 0 0 12 1 0 0 20 0 15 0 154125599 14314082304 7070 33554432000 4194304 4196468 140728720672384 140728720654928 140631080435447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
/proc/24030/statm: 3494649 7070 2872 1 0 3482966 0
[pid=24030/tid=24031] ppid=24028 vsize=13978596 memory=-8035107114841901037 CPUtime=0.1 cores=0,2,4,6
/proc/24030/task/24031/stat : 24031 (java) R 24028 24028 23654 0 -1 4202560 3379 0 0 0 9 1 0 0 20 0 15 0 154125599 14314082304 7070 33554432000 4194304 4196468 140728720672384 140631084667784 140631080447382 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24032] ppid=24028 vsize=13978596 memory=6735269665564437106 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24032/stat : 24032 (java) S 24028 24028 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154125600 14314082304 7070 33554432000 4194304 4196468 140728720672384 140630995503504 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24033] ppid=24028 vsize=13978596 memory=140112165897856 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24033/stat : 24033 (java) S 24028 24028 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154125600 14314082304 7070 33554432000 4194304 4196468 140728720672384 140630994450704 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24034] ppid=24028 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24034/stat : 24034 (java) S 24028 24028 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154125600 14314082304 7070 33554432000 4194304 4196468 140728720672384 140630993398416 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24035] ppid=24028 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24035/stat : 24035 (java) S 24028 24028 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154125600 14314082304 7070 33554432000 4194304 4196468 140728720672384 140630992345616 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24036] ppid=24028 vsize=13978596 memory=140112165897856 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24036/stat : 24036 (java) S 24028 24028 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154125601 14314082304 7070 33554432000 4194304 4196468 140728720672384 140630261308016 140631080446594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24037] ppid=24028 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24037/stat : 24037 (java) S 24028 24028 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154125602 14314082304 7070 33554432000 4194304 4196468 140728720672384 140630260253984 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24038] ppid=24028 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24038/stat : 24038 (java) S 24028 24028 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154125602 14314082304 7070 33554432000 4194304 4196468 140728720672384 140630259201648 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24039] ppid=24028 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24039/stat : 24039 (java) S 24028 24028 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154125604 14314082304 7070 33554432000 4194304 4196468 140728720672384 140630258149968 140631080454043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24040] ppid=24028 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24040/stat : 24040 (java) R 24028 24028 23654 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 154125604 14314082304 7070 33554432000 4194304 4196468 140728720672384 140630257096816 140631080456794 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24041] ppid=24028 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24041/stat : 24041 (java) S 24028 24028 23654 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 15 0 154125604 14314082304 7070 33554432000 4194304 4196468 140728720672384 140630256044016 140631080446594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24042] ppid=24028 vsize=13978596 memory=140112165897856 CPUtime=0.01 cores=0,2,4,6
/proc/24030/task/24042/stat : 24042 (java) R 24028 24028 23654 0 -1 4202560 336 0 0 0 1 0 0 0 20 0 15 0 154125604 14314082304 7070 33554432000 4194304 4196468 140728720672384 140630254991728 140631080447382 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24043] ppid=24028 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24043/stat : 24043 (java) S 24028 24028 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154125605 14314082304 7070 33554432000 4194304 4196468 140728720672384 140630253939168 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24044] ppid=24028 vsize=13978596 memory=140112165897856 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24044/stat : 24044 (java) S 24028 24028 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154125605 14314082304 7070 33554432000 4194304 4196468 140728720672384 140630252886960 140631080446594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29664 KiB

[startup+0.210562 s]*
/proc/loadavg: 1.91 1.74 1.63 3/196 24044
/proc/meminfo: memFree=23125900/32770624 swapFree=67108860/67108860
[pid=24028] ppid=24025 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24028/stat : 24028 (xcsp3-exec) S 24025 24028 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154125598 9740288 346 33554432000 4194304 5098028 140722521380352 140722521378456 139731352908412 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34996224 140722521388149 140722521388352 140722521388352 140722521391083 0
/proc/24028/statm: 2378 346 289 221 0 87 0
[pid=24030] ppid=24028 vsize=13982852 memory=40312 CPUtime=0.34 cores=0,2,4,6
/proc/24030/stat : 24030 (java) S 24028 24028 23654 0 -1 1077944320 8143 0 0 0 32 2 0 0 20 0 15 0 154125599 14318440448 10078 33554432000 4194304 4196468 140728720672384 140728720654928 140631080435447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
/proc/24030/statm: 3495713 10078 3052 1 0 3482966 0
[pid=24030/tid=24031] ppid=24028 vsize=13982852 memory=8390339637985935414 CPUtime=0.19 cores=0,2,4,6
/proc/24030/task/24031/stat : 24031 (java) R 24028 24028 23654 0 -1 4202560 5251 0 0 0 18 1 0 0 20 0 15 0 154125599 14318440448 10078 33554432000 4194304 4196468 140728720672384 140631084656256 140631080457373 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24032] ppid=24028 vsize=13982852 memory=288230596134830103 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24032/stat : 24032 (java) S 24028 24028 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154125600 14318440448 10078 33554432000 4194304 4196468 140728720672384 140630995503504 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24033] ppid=24028 vsize=13982852 memory=288370488317609600 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24033/stat : 24033 (java) S 24028 24028 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154125600 14318440448 10078 33554432000 4194304 4196468 140728720672384 140630994450704 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24034] ppid=24028 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24034/stat : 24034 (java) S 24028 24028 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154125600 14318440448 10078 33554432000 4194304 4196468 140728720672384 140630993398416 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24035] ppid=24028 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24035/stat : 24035 (java) S 24028 24028 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154125600 14318440448 10078 33554432000 4194304 4196468 140728720672384 140630992345616 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24036] ppid=24028 vsize=13982852 memory=140112165897856 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24036/stat : 24036 (java) S 24028 24028 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154125601 14318440448 10078 33554432000 4194304 4196468 140728720672384 140630261308016 140631080446594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24037] ppid=24028 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24037/stat : 24037 (java) S 24028 24028 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154125602 14318440448 10078 33554432000 4194304 4196468 140728720672384 140630260253984 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24038] ppid=24028 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24038/stat : 24038 (java) S 24028 24028 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154125602 14318440448 10078 33554432000 4194304 4196468 140728720672384 140630259201648 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24039] ppid=24028 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24039/stat : 24039 (java) S 24028 24028 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154125604 14318440448 10078 33554432000 4194304 4196468 140728720672384 140630258149968 140631080454043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24040] ppid=24028 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/24030/task/24040/stat : 24040 (java) S 24028 24028 23654 0 -1 1077944384 476 0 0 0 2 0 0 0 20 0 15 0 154125604 14318440448 10078 33554432000 4194304 4196468 140728720672384 140630257096816 140631080446594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24041] ppid=24028 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/24030/task/24041/stat : 24041 (java) S 24028 24028 23654 0 -1 1077944384 388 0 0 0 2 0 0 0 20 0 15 0 154125604 14318440448 10078 33554432000 4194304 4196468 140728720672384 140630256044016 140631080446594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24042] ppid=24028 vsize=13982852 memory=140112165897856 CPUtime=0.08 cores=0,2,4,6
/proc/24030/task/24042/stat : 24042 (java) R 24028 24028 23654 0 -1 4202560 723 0 0 0 8 0 0 0 20 0 15 0 154125604 14318440448 10078 33554432000 4194304 4196468 140728720672384 140630254991728 140631080447382 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24043] ppid=24028 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24043/stat : 24043 (java) S 24028 24028 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154125605 14318440448 10078 33554432000 4194304 4196468 140728720672384 140630253939168 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24044] ppid=24028 vsize=13982852 memory=140112165897856 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24044/stat : 24044 (java) S 24028 24028 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154125605 14318440448 10078 33554432000 4194304 4196468 140728720672384 140630252886960 140631080446594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41696 KiB

[startup+0.318105 s]*
/proc/loadavg: 1.91 1.74 1.63 3/204 24061
/proc/meminfo: memFree=23109444/32770624 swapFree=67108860/67108860
[pid=24028] ppid=24025 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24028/stat : 24028 (xcsp3-exec) S 24025 24028 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154125598 9740288 346 33554432000 4194304 5098028 140722521380352 140722521378456 139731352908412 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34996224 140722521388149 140722521388352 140722521388352 140722521391083 0
/proc/24028/statm: 2378 346 289 221 0 87 0
[pid=24030] ppid=24028 vsize=13982852 memory=47536 CPUtime=0.51 cores=0,2,4,6
/proc/24030/stat : 24030 (java) S 24028 24028 23654 0 -1 1077944320 9041 0 0 0 49 2 0 0 20 0 15 0 154125599 14318440448 11884 33554432000 4194304 4196468 140728720672384 140728720654928 140631080435447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
/proc/24030/statm: 3495713 11884 3105 1 0 3482966 0
[pid=24030/tid=24031] ppid=24028 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/24030/task/24031/stat : 24031 (java) S 24028 24028 23654 0 -1 1077944384 5923 0 0 0 28 1 0 0 20 0 15 0 154125599 14318440448 11884 33554432000 4194304 4196468 140728720672384 140631084672912 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24032] ppid=24028 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24032/stat : 24032 (java) S 24028 24028 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154125600 14318440448 11884 33554432000 4194304 4196468 140728720672384 140630995503504 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24033] ppid=24028 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24033/stat : 24033 (java) S 24028 24028 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154125600 14318440448 11884 33554432000 4194304 4196468 140728720672384 140630994450704 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24034] ppid=24028 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24034/stat : 24034 (java) S 24028 24028 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154125600 14318440448 11884 33554432000 4194304 4196468 140728720672384 140630993398416 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24035] ppid=24028 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24035/stat : 24035 (java) S 24028 24028 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154125600 14318440448 11884 33554432000 4194304 4196468 140728720672384 140630992345616 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24036] ppid=24028 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24036/stat : 24036 (java) S 24028 24028 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154125601 14318440448 11884 33554432000 4194304 4196468 140728720672384 140630261308016 140631080446594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24037] ppid=24028 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24037/stat : 24037 (java) S 24028 24028 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154125602 14318440448 11884 33554432000 4194304 4196468 140728720672384 140630260253984 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24038] ppid=24028 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24038/stat : 24038 (java) S 24028 24028 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154125602 14318440448 11884 33554432000 4194304 4196468 140728720672384 140630259201648 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24039] ppid=24028 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24039/stat : 24039 (java) S 24028 24028 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154125604 14318440448 11884 33554432000 4194304 4196468 140728720672384 140630258149968 140631080454043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24040] ppid=24028 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/24030/task/24040/stat : 24040 (java) R 24028 24028 23654 0 -1 1077944384 491 0 0 0 4 0 0 0 20 0 15 0 154125604 14318440448 11884 33554432000 4194304 4196468 140728720672384 140630257096816 140631080446594 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24041] ppid=24028 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/24030/task/24041/stat : 24041 (java) R 24028 24028 23654 0 -1 4202560 471 0 0 0 4 0 0 0 20 0 15 0 154125604 14318440448 11884 33554432000 4194304 4196468 140728720672384 140630256044016 140631061071265 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24042] ppid=24028 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/24030/task/24042/stat : 24042 (java) R 24028 24028 23654 0 -1 4202560 853 0 0 0 13 0 0 0 20 0 15 0 154125604 14318440448 11884 33554432000 4194304 4196468 140728720672384 140630254989408 140631059139088 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24043] ppid=24028 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24043/stat : 24043 (java) S 24028 24028 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154125605 14318440448 11884 33554432000 4194304 4196468 140728720672384 140630253939168 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24044] ppid=24028 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24044/stat : 24044 (java) S 24028 24028 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154125605 14318440448 11884 33554432000 4194304 4196468 140728720672384 140630252886960 140631080446594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48920 KiB

[startup+0.700827 s]
/proc/loadavg: 1.91 1.74 1.63 6/217 24074
/proc/meminfo: memFree=23066492/32770624 swapFree=67108860/67108860
[pid=24028] ppid=24025 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24028/stat : 24028 (xcsp3-exec) S 24025 24028 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154125598 9740288 346 33554432000 4194304 5098028 140722521380352 140722521378456 139731352908412 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34996224 140722521388149 140722521388352 140722521388352 140722521391083 0
/proc/24028/statm: 2378 346 289 221 0 87 0
[pid=24030] ppid=24028 vsize=13984976 memory=75804 CPUtime=1.7 cores=0,2,4,6
/proc/24030/stat : 24030 (java) S 24028 24028 23654 0 -1 1077944320 12038 0 0 0 167 3 0 0 20 0 15 0 154125599 14320615424 18951 33554432000 4194304 4196468 140728720672384 140728720654928 140631080435447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
/proc/24030/statm: 3496244 18951 3200 1 0 3483478 0
[pid=24030/tid=24031] ppid=24028 vsize=13984976 memory=-7082918105078917253 CPUtime=0.66 cores=0,2,4,6
/proc/24030/task/24031/stat : 24031 (java) R 24028 24028 23654 0 -1 4202560 6450 0 0 0 64 2 0 0 20 0 15 0 154125599 14320615424 18951 33554432000 4194304 4196468 140728720672384 140631084672992 140630672124741 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24032] ppid=24028 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24032/stat : 24032 (java) S 24028 24028 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154125600 14320615424 18951 33554432000 4194304 4196468 140728720672384 140630995503504 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24033] ppid=24028 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24033/stat : 24033 (java) S 24028 24028 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154125600 14320615424 18951 33554432000 4194304 4196468 140728720672384 140630994450704 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24034] ppid=24028 vsize=13984976 memory=42680 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24034/stat : 24034 (java) S 24028 24028 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154125600 14320615424 18951 33554432000 4194304 4196468 140728720672384 140630993398416 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24035] ppid=24028 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24035/stat : 24035 (java) S 24028 24028 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154125600 14320615424 18951 33554432000 4194304 4196468 140728720672384 140630992345616 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24036] ppid=24028 vsize=13984976 memory=2400 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24036/stat : 24036 (java) S 24028 24028 23654 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154125601 14320615424 18951 33554432000 4194304 4196468 140728720672384 140630261308016 140631080446594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24037] ppid=24028 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24037/stat : 24037 (java) S 24028 24028 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154125602 14320615424 18951 33554432000 4194304 4196468 140728720672384 140630260253984 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24038] ppid=24028 vsize=13984976 memory=12136 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24038/stat : 24038 (java) S 24028 24028 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154125602 14320615424 18951 33554432000 4194304 4196468 140728720672384 140630259201648 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24039] ppid=24028 vsize=13984976 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24039/stat : 24039 (java) S 24028 24028 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154125604 14320615424 18951 33554432000 4194304 4196468 140728720672384 140630258149968 140631080454043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24040] ppid=24028 vsize=13984976 memory=1012 CPUtime=0.32 cores=0,2,4,6
/proc/24030/task/24040/stat : 24040 (java) R 24028 24028 23654 0 -1 4202560 1271 0 0 0 32 0 0 0 20 0 15 0 154125604 14320615424 18951 33554432000 4194304 4196468 140728720672384 140630257081808 140631058852084 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24041] ppid=24028 vsize=13984976 memory=796 CPUtime=0.33 cores=0,2,4,6
/proc/24030/task/24041/stat : 24041 (java) R 24028 24028 23654 0 -1 4202560 1210 0 0 0 33 0 0 0 20 0 15 0 154125604 14320615424 18951 33554432000 4194304 4196468 140728720672384 140630256026288 140631065356525 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24042] ppid=24028 vsize=13984976 memory=1228 CPUtime=0.37 cores=0,2,4,6
/proc/24030/task/24042/stat : 24042 (java) S 24028 24028 23654 0 -1 1077944384 1798 0 0 0 37 0 0 0 20 0 15 0 154125604 14320615424 18951 33554432000 4194304 4196468 140728720672384 140630254991728 140631080446594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24043] ppid=24028 vsize=13984976 memory=5784 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24043/stat : 24043 (java) S 24028 24028 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154125605 14320615424 18951 33554432000 4194304 4196468 140728720672384 140630253939168 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24044] ppid=24028 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24044/stat : 24044 (java) S 24028 24028 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154125605 14320615424 18951 33554432000 4194304 4196468 140728720672384 140630252886960 140631080446594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 77188 KiB

[startup+1.50115 s]
/proc/loadavg: 1.91 1.74 1.63 5/217 24074
/proc/meminfo: memFree=23003664/32770624 swapFree=67108860/67108860
[pid=24028] ppid=24025 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24028/stat : 24028 (xcsp3-exec) S 24025 24028 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154125598 9740288 346 33554432000 4194304 5098028 140722521380352 140722521378456 139731352908412 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34996224 140722521388149 140722521388352 140722521388352 140722521391083 0
/proc/24028/statm: 2378 346 289 221 0 87 0

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

/proc/24030/task/24038/stat : 24038 (java) S 24028 24028 23654 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154125602 14322712576 148560 33554432000 4194304 4196468 140728720672384 140630259201648 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24039] ppid=24028 vsize=13987024 memory=280224068928576 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24039/stat : 24039 (java) S 24028 24028 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154125604 14322712576 148560 33554432000 4194304 4196468 140728720672384 140630258149968 140631080454043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24040] ppid=24028 vsize=13987024 memory=1384 CPUtime=4.6 cores=0,2,4,6
/proc/24030/task/24040/stat : 24040 (java) S 24028 24028 23654 0 -1 1077944384 14979 0 0 0 458 2 0 0 20 0 15 0 154125604 14322712576 148560 33554432000 4194304 4196468 140728720672384 140630257096816 140631080446594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24041] ppid=24028 vsize=13987024 memory=1384 CPUtime=4.55 cores=0,2,4,6
/proc/24030/task/24041/stat : 24041 (java) S 24028 24028 23654 0 -1 1077944384 19038 0 0 0 453 2 0 0 20 0 15 0 154125604 14322712576 148560 33554432000 4194304 4196468 140728720672384 140630256044016 140631080446594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24042] ppid=24028 vsize=13987024 memory=42680 CPUtime=0.92 cores=0,2,4,6
/proc/24030/task/24042/stat : 24042 (java) S 24028 24028 23654 0 -1 1077944384 8769 0 0 0 91 1 0 0 20 0 15 0 154125604 14322712576 148560 33554432000 4194304 4196468 140728720672384 140630254991728 140631080446594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24043] ppid=24028 vsize=13987024 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24043/stat : 24043 (java) S 24028 24028 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154125605 14322712576 148560 33554432000 4194304 4196468 140728720672384 140630253939168 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24044] ppid=24028 vsize=13987024 memory=597844 CPUtime=0.04 cores=0,2,4,6
/proc/24030/task/24044/stat : 24044 (java) S 24028 24028 23654 0 -1 1077944384 457 0 0 0 2 2 0 0 20 0 15 0 154125605 14322712576 148560 33554432000 4194304 4196468 140728720672384 140630252886960 140631080446594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
Current children cumulated CPU time: 113.93 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 595624 KiB

[startup+162.301 s]
/proc/loadavg: 1.64 1.75 1.66 3/217 24076
/proc/meminfo: memFree=22223836/32770624 swapFree=67108860/67108860
[pid=24028] ppid=24025 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24028/stat : 24028 (xcsp3-exec) S 24025 24028 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154125598 9740288 346 33554432000 4194304 5098028 140722521380352 140722521378456 139731352908412 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34996224 140722521388149 140722521388352 140722521388352 140722521391083 0
/proc/24028/statm: 2378 346 289 221 0 87 0
[pid=24030] ppid=24028 vsize=13987024 memory=545384 CPUtime=175.28 cores=0,2,4,6
/proc/24030/stat : 24030 (java) S 24028 24028 23654 0 -1 1077944320 76036 0 0 0 17465 63 0 0 20 0 15 0 154125599 14322712576 136346 33554432000 4194304 4196468 140728720672384 140728720654928 140631080435447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
/proc/24030/statm: 3496756 136346 3267 1 0 3483990 0
[pid=24030/tid=24031] ppid=24028 vsize=13987024 memory=546924 CPUtime=161.28 cores=0,2,4,6
/proc/24030/task/24031/stat : 24031 (java) R 24028 24028 23654 0 -1 4202560 18795 0 0 0 16117 11 0 0 20 0 15 0 154125599 14322712576 136346 33554432000 4194304 4196468 140728720672384 140631084674848 140630674490849 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24032] ppid=24028 vsize=13987024 memory=1384 CPUtime=0.9 cores=0,2,4,6
/proc/24030/task/24032/stat : 24032 (java) S 24028 24028 23654 0 -1 1077944384 1295 0 0 0 80 10 0 0 20 0 15 0 154125600 14322712576 136346 33554432000 4194304 4196468 140728720672384 140630995503504 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24033] ppid=24028 vsize=13987024 memory=544876 CPUtime=0.88 cores=0,2,4,6
/proc/24030/task/24033/stat : 24033 (java) S 24028 24028 23654 0 -1 1077944384 1212 0 0 0 79 9 0 0 20 0 15 0 154125600 14322712576 136346 33554432000 4194304 4196468 140728720672384 140630994450704 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24034] ppid=24028 vsize=13987024 memory=544876 CPUtime=0.91 cores=0,2,4,6
/proc/24030/task/24034/stat : 24034 (java) S 24028 24028 23654 0 -1 1077944384 3360 0 0 0 81 10 0 0 20 0 15 0 154125600 14322712576 136346 33554432000 4194304 4196468 140728720672384 140630993398416 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24035] ppid=24028 vsize=13987024 memory=1384 CPUtime=0.9 cores=0,2,4,6
/proc/24030/task/24035/stat : 24035 (java) S 24028 24028 23654 0 -1 1077944384 1949 0 0 0 79 11 0 0 20 0 15 0 154125600 14322712576 136346 33554432000 4194304 4196468 140728720672384 140630992345616 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24036] ppid=24028 vsize=13987024 memory=1384 CPUtime=0.05 cores=0,2,4,6
/proc/24030/task/24036/stat : 24036 (java) S 24028 24028 23654 0 -1 1077944384 1539 0 0 0 4 1 0 0 20 0 15 0 154125601 14322712576 136346 33554432000 4194304 4196468 140728720672384 140630261308016 140631080446594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24037] ppid=24028 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24037/stat : 24037 (java) S 24028 24028 23654 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154125602 14322712576 136346 33554432000 4194304 4196468 140728720672384 140630260253984 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24038] ppid=24028 vsize=13987024 memory=132 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24038/stat : 24038 (java) S 24028 24028 23654 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154125602 14322712576 136346 33554432000 4194304 4196468 140728720672384 140630259201648 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24039] ppid=24028 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24039/stat : 24039 (java) S 24028 24028 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154125604 14322712576 136346 33554432000 4194304 4196468 140728720672384 140630258149968 140631080454043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24040] ppid=24028 vsize=13987024 memory=547964 CPUtime=4.73 cores=0,2,4,6
/proc/24030/task/24040/stat : 24040 (java) S 24028 24028 23654 0 -1 1077944384 17649 0 0 0 471 2 0 0 20 0 15 0 154125604 14322712576 136346 33554432000 4194304 4196468 140728720672384 140630257096816 140631080446594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24041] ppid=24028 vsize=13987024 memory=4012 CPUtime=4.56 cores=0,2,4,6
/proc/24030/task/24041/stat : 24041 (java) S 24028 24028 23654 0 -1 1077944384 19587 0 0 0 454 2 0 0 20 0 15 0 154125604 14322712576 136346 33554432000 4194304 4196468 140728720672384 140630256044016 140631080446594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24042] ppid=24028 vsize=13987024 memory=42680 CPUtime=0.93 cores=0,2,4,6
/proc/24030/task/24042/stat : 24042 (java) S 24028 24028 23654 0 -1 1077944384 8811 0 0 0 92 1 0 0 20 0 15 0 154125604 14322712576 136346 33554432000 4194304 4196468 140728720672384 140630254991728 140631080446594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24043] ppid=24028 vsize=13987024 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24043/stat : 24043 (java) S 24028 24028 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154125605 14322712576 136346 33554432000 4194304 4196468 140728720672384 140630253939168 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24044] ppid=24028 vsize=13987024 memory=544876 CPUtime=0.07 cores=0,2,4,6
/proc/24030/task/24044/stat : 24044 (java) S 24028 24028 23654 0 -1 1077944384 490 0 0 0 4 3 0 0 20 0 15 0 154125605 14322712576 136346 33554432000 4194304 4196468 140728720672384 140630252886960 140631080446594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
Current children cumulated CPU time: 175.28 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 546768 KiB

[startup+222.301 s]
/proc/loadavg: 1.42 1.65 1.63 3/217 24077
/proc/meminfo: memFree=22230836/32770624 swapFree=67108860/67108860
[pid=24028] ppid=24025 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24028/stat : 24028 (xcsp3-exec) S 24025 24028 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154125598 9740288 346 33554432000 4194304 5098028 140722521380352 140722521378456 139731352908412 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34996224 140722521388149 140722521388352 140722521388352 140722521391083 0
/proc/24028/statm: 2378 346 289 221 0 87 0
[pid=24030] ppid=24028 vsize=13987024 memory=528664 CPUtime=237.44 cores=0,2,4,6
/proc/24030/stat : 24030 (java) S 24028 24028 23654 0 -1 1077944320 79466 0 0 0 23659 85 0 0 20 0 15 0 154125599 14322712576 132166 33554432000 4194304 4196468 140728720672384 140728720654928 140631080435447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
/proc/24030/statm: 3496756 132166 3280 1 0 3483990 0
[pid=24030/tid=24031] ppid=24028 vsize=13987024 memory=528664 CPUtime=220.46 cores=0,2,4,6
/proc/24030/task/24031/stat : 24031 (java) R 24028 24028 23654 0 -1 4202560 19427 0 0 0 22035 11 0 0 20 0 15 0 154125599 14322712576 132166 33554432000 4194304 4196468 140728720672384 140631084674496 140630675488869 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24032] ppid=24028 vsize=13987024 memory=531220 CPUtime=1.59 cores=0,2,4,6
/proc/24030/task/24032/stat : 24032 (java) S 24028 24028 23654 0 -1 1077944384 1738 0 0 0 145 14 0 0 20 0 15 0 154125600 14322712576 132166 33554432000 4194304 4196468 140728720672384 140630995503504 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24033] ppid=24028 vsize=13987024 memory=4012 CPUtime=1.6 cores=0,2,4,6
/proc/24030/task/24033/stat : 24033 (java) S 24028 24028 23654 0 -1 1077944384 1413 0 0 0 145 15 0 0 20 0 15 0 154125600 14322712576 132166 33554432000 4194304 4196468 140728720672384 140630994450704 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24034] ppid=24028 vsize=13987024 memory=1576 CPUtime=1.62 cores=0,2,4,6
/proc/24030/task/24034/stat : 24034 (java) S 24028 24028 23654 0 -1 1077944384 3562 0 0 0 147 15 0 0 20 0 15 0 154125600 14322712576 132166 33554432000 4194304 4196468 140728720672384 140630993398416 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24035] ppid=24028 vsize=13987024 memory=928 CPUtime=1.62 cores=0,2,4,6
/proc/24030/task/24035/stat : 24035 (java) S 24028 24028 23654 0 -1 1077944384 2109 0 0 0 146 16 0 0 20 0 15 0 154125600 14322712576 132166 33554432000 4194304 4196468 140728720672384 140630992345616 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24036] ppid=24028 vsize=13987024 memory=6791534058613427641 CPUtime=0.13 cores=0,2,4,6
/proc/24030/task/24036/stat : 24036 (java) S 24028 24028 23654 0 -1 1077944384 3265 0 0 0 12 1 0 0 20 0 15 0 154125601 14322712576 132166 33554432000 4194304 4196468 140728720672384 140630261308016 140631080446594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24037] ppid=24028 vsize=13987024 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24037/stat : 24037 (java) S 24028 24028 23654 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154125602 14322712576 132166 33554432000 4194304 4196468 140728720672384 140630260253984 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24038] ppid=24028 vsize=13987024 memory=540976 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24038/stat : 24038 (java) S 24028 24028 23654 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154125602 14322712576 132166 33554432000 4194304 4196468 140728720672384 140630259201648 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24039] ppid=24028 vsize=13987024 memory=4012 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24039/stat : 24039 (java) S 24028 24028 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154125604 14322712576 132166 33554432000 4194304 4196468 140728720672384 140630258149968 140631080454043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24040] ppid=24028 vsize=13987024 memory=534308 CPUtime=4.73 cores=0,2,4,6
/proc/24030/task/24040/stat : 24040 (java) S 24028 24028 23654 0 -1 1077944384 17705 0 0 0 471 2 0 0 20 0 15 0 154125604 14322712576 132166 33554432000 4194304 4196468 140728720672384 140630257096816 140631080446594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24041] ppid=24028 vsize=13987024 memory=42680 CPUtime=4.56 cores=0,2,4,6
/proc/24030/task/24041/stat : 24041 (java) S 24028 24028 23654 0 -1 1077944384 19589 0 0 0 454 2 0 0 20 0 15 0 154125604 14322712576 132166 33554432000 4194304 4196468 140728720672384 140630256044016 140631080446594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24042] ppid=24028 vsize=13987024 memory=1384 CPUtime=0.93 cores=0,2,4,6
/proc/24030/task/24042/stat : 24042 (java) S 24028 24028 23654 0 -1 1077944384 8813 0 0 0 92 1 0 0 20 0 15 0 154125604 14322712576 132166 33554432000 4194304 4196468 140728720672384 140630254991728 140631080446594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24043] ppid=24028 vsize=13987024 memory=528664 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24043/stat : 24043 (java) S 24028 24028 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154125605 14322712576 132166 33554432000 4194304 4196468 140728720672384 140630253939168 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24044] ppid=24028 vsize=13987024 memory=2544 CPUtime=0.11 cores=0,2,4,6
/proc/24030/task/24044/stat : 24044 (java) S 24028 24028 23654 0 -1 1077944384 496 0 0 0 6 5 0 0 20 0 15 0 154125605 14322712576 132166 33554432000 4194304 4196468 140728720672384 140630252886960 140631080446594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
Current children cumulated CPU time: 237.44 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 530048 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.44 1.64 1.63 3/217 24077
/proc/meminfo: memFree=22304648/32770624 swapFree=67108860/67108860
[pid=24028] ppid=24025 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/24028/stat : 24028 (xcsp3-exec) S 24025 24028 23654 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154125598 9740288 346 33554432000 4194304 5098028 140722521380352 140722521378456 139731352908412 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34996224 140722521388149 140722521388352 140722521388352 140722521391083 0
/proc/24028/statm: 2378 346 289 221 0 87 0
[pid=24030] ppid=24028 vsize=13987024 memory=487420 CPUtime=255.59 cores=0,2,4,6
/proc/24030/stat : 24030 (java) S 24028 24028 23654 0 -1 1077944320 80472 0 0 0 25472 87 0 0 20 0 15 0 154125599 14322712576 121855 33554432000 4194304 4196468 140728720672384 140728720654928 140631080435447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
/proc/24030/statm: 3496756 121855 3282 1 0 3483990 0
[pid=24030/tid=24031] ppid=24028 vsize=13987024 memory=6791534058613427641 CPUtime=238.02 cores=0,2,4,6
/proc/24030/task/24031/stat : 24031 (java) R 24028 24028 23654 0 -1 4202560 19883 0 0 0 23790 12 0 0 20 0 15 0 154125599 14322712576 121855 33554432000 4194304 4196468 140728720672384 140631084674880 140630675488667 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24032] ppid=24028 vsize=13987024 memory=4872558044660077418 CPUtime=1.74 cores=0,2,4,6
/proc/24030/task/24032/stat : 24032 (java) S 24028 24028 23654 0 -1 1077944384 1767 0 0 0 159 15 0 0 20 0 15 0 154125600 14322712576 121855 33554432000 4194304 4196468 140728720672384 140630995503504 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24033] ppid=24028 vsize=13987024 memory=4012 CPUtime=1.75 cores=0,2,4,6
/proc/24030/task/24033/stat : 24033 (java) S 24028 24028 23654 0 -1 1077944384 1428 0 0 0 160 15 0 0 20 0 15 0 154125600 14322712576 121855 33554432000 4194304 4196468 140728720672384 140630994450704 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24034] ppid=24028 vsize=13987024 memory=42680 CPUtime=1.77 cores=0,2,4,6
/proc/24030/task/24034/stat : 24034 (java) S 24028 24028 23654 0 -1 1077944384 3582 0 0 0 162 15 0 0 20 0 15 0 154125600 14322712576 121855 33554432000 4194304 4196468 140728720672384 140630993398416 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24035] ppid=24028 vsize=13987024 memory=0 CPUtime=1.76 cores=0,2,4,6
/proc/24030/task/24035/stat : 24035 (java) S 24028 24028 23654 0 -1 1077944384 2361 0 0 0 160 16 0 0 20 0 15 0 154125600 14322712576 121855 33554432000 4194304 4196468 140728720672384 140630992345616 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24036] ppid=24028 vsize=13987024 memory=388 CPUtime=0.14 cores=0,2,4,6
/proc/24030/task/24036/stat : 24036 (java) S 24028 24028 23654 0 -1 1077944384 3476 0 0 0 12 2 0 0 20 0 15 0 154125601 14322712576 121855 33554432000 4194304 4196468 140728720672384 140630261308016 140631080446594 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24037] ppid=24028 vsize=13987024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24037/stat : 24037 (java) S 24028 24028 23654 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154125602 14322712576 121855 33554432000 4194304 4196468 140728720672384 140630260253984 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24038] ppid=24028 vsize=13987024 memory=25355 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24038/stat : 24038 (java) S 24028 24028 23654 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 154125602 14322712576 121855 33554432000 4194304 4196468 140728720672384 140630259201648 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24039] ppid=24028 vsize=13987024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24039/stat : 24039 (java) S 24028 24028 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154125604 14322712576 121855 33554432000 4194304 4196468 140728720672384 140630258149968 140631080454043 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24040] ppid=24028 vsize=13987024 memory=381 CPUtime=4.73 cores=0,2,4,6
/proc/24030/task/24040/stat : 24040 (java) S 24028 24028 23654 0 -1 1077944384 17705 0 0 0 471 2 0 0 20 0 15 0 154125604 14322712576 121855 33554432000 4194304 4196468 140728720672384 140630257096816 140631080446594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24041] ppid=24028 vsize=13987024 memory=0 CPUtime=4.56 cores=0,2,4,6
/proc/24030/task/24041/stat : 24041 (java) S 24028 24028 23654 0 -1 1077944384 19590 0 0 0 454 2 0 0 20 0 15 0 154125604 14322712576 121855 33554432000 4194304 4196468 140728720672384 140630256044016 140631080446594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24042] ppid=24028 vsize=13987024 memory=374612 CPUtime=0.93 cores=0,2,4,6
/proc/24030/task/24042/stat : 24042 (java) S 24028 24028 23654 0 -1 1077944384 8814 0 0 0 92 1 0 0 20 0 15 0 154125604 14322712576 121855 33554432000 4194304 4196468 140728720672384 140630254991728 140631080446594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24043] ppid=24028 vsize=13987024 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/24030/task/24043/stat : 24043 (java) S 24028 24028 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154125605 14322712576 121855 33554432000 4194304 4196468 140728720672384 140630253939168 140631080445653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
[pid=24030/tid=24044] ppid=24028 vsize=13987024 memory=4872558044660077418 CPUtime=0.12 cores=0,2,4,6
/proc/24030/task/24044/stat : 24044 (java) S 24028 24028 23654 0 -1 1077944384 517 0 0 0 6 6 0 0 20 0 15 0 154125605 14322712576 121855 33554432000 4194304 4196468 140728720672384 140630252886960 140631080446594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23392256 140728720675997 140728720676172 140728720676172 140728720678863 0
Current children cumulated CPU time: 255.59 s
Current children cumulated vsize: 13996536 KiB
Current children cumulated memory: 488804 KiB

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

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

[startup+240.023 s]
# the end of solver process 24030 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=254.739 s, system=0.876664 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.023
CPU time (s): 255.616
CPU user time (s): 254.739
CPU system time (s): 0.876664
CPU usage (%): 106.496
Max. virtual memory (cumulated for all children) (KiB): 13996536
Max. memory (cumulated for all children) (KiB): 712252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 254.739
system time used= 0.876664
maximum resident set size= 713236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81432
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= 9768
involuntary context switches= 481


# summary of solver processes directly reported to runsolver:
#   pid: 24028,24030
#   total CPU time (s): 255.616
#   total CPU user time (s): 254.739
#   total CPU system time (s): 0.876664

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.36094 second user time and 2.58008 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 4284540

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