2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 5a (2017-07-26)	SAT (TO)	276	2520.1001	2440.4099

0.00/0.08	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272271-1502692287.xml"  -tl '2520s' -p 1 -x 3
0.08/0.28	c [HOME/instance-4272271-1502692287.xml, -tl, 2520s, -p, 1, -x, 3]
0.27/0.34	c simple solver
0.27/0.40	c parse instance...
2.02/1.07	c solve instance...
11.81/4.39	o 251 
13.60/4.90	o 252 
18.56/7.09	o 256 
18.86/7.27	o 259 
32.73/19.87	o 267 
32.82/19.91	o 268 
33.13/20.27	o 269 
377.52/353.68	o 274 
377.63/353.73	o 275 
378.63/354.74	o 276 
2520.07/2440.40	s SATISFIABLE
2520.07/2440.40	v <instantiation>
2520.07/2440.40	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] z </list>
2520.07/2440.40	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 1 0 1 0 1 1 1 1 0 0 0 0 1 0 1 0 1 1 0 1 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 1 0 1 1 0 0 0 0 1 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 1 1 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 1 0 0 0 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 1 0 0 1 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 1 0 1 1 1 1 1 1 0 1 0 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 0 1 0 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 1 1 1 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 1 1 1 0 1 1 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 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 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 1 1 0 1 1 1 0 0 1 0 1 2 2 2 2 1 1 0 0 0 1 1 2 1 0 0 1 2 2 0 1 0 2 0 1 1 0 1 1 1 1 2 2 2 0 0 0 1 0 1 2 1 0 0 1 2 1 1 0 1 0 1 0 0 1 0 0 0 1 1 1 2 1 1 0 0 0 1 0 2 1 1 2 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 2 0 0 2 2 0 1 0 0 0 0 0 0 1 1 0 1 1 1 1 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 2 1 1 2 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 2 1 2 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 2 0 2 2 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 2 0 1 0 1 0 0 1 2 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 2 1 0 1 0 0 0 1 2 1 1 1 1 2 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 2 1 1 1 2 2 2 2 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 1 0 1 1 1 2 2 2 2 0 2 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 2 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 2 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 1 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 2 2 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 2 2 2 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 2 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 2 2 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 2 1 1 2 1 1 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 2 1 0 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 1 1 1 1 1 0 17 44 66 84 96 107 117 124 135 148 160 173 188 205 221 231 239 245 248 258 271 284 292 295 302 317 338 352 276 </values>
2520.07/2440.40	v </instantiation>
2520.07/2440.40	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 (15253 MiB free)
  memory of node 1: 16384 MiB (14496 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272271-1502692287/watcher-4272271-1502692287 -o /tmp/evaluation-result-4272271-1502692287/solver-4272271-1502692287 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29000 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 660591066 HOME/instance-4272271-1502692287.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=4662, runsolver pid=4659
Current StackSize limit: 8192 KiB


[startup+0.102065 s]*
/proc/loadavg: 1.63 1.74 1.73 3/204 4669
/proc/meminfo: memFree=30456364/32770624 swapFree=67108860/67108860
[pid=4662] ppid=4659 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4662/stat : 4662 (xcsp3-exec) S 4659 4662 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 23111369 9740288 345 18446744073709551615 4194304 5098028 140735770236560 140735770234664 140167924531836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 35274752 140735770239354 140735770239558 140735770239558 140735770243051 0
/proc/4662/statm: 2378 345 289 221 0 87 0
[pid=4664] ppid=4662 vsize=13358712 memory=16412 CPUtime=0.01 cores=0,2,4,6
/proc/4664/stat : 4664 (java) S 4662 4662 7968 0 -1 1077944320 3339 0 0 0 1 0 0 0 20 0 6 0 23111378 13679321088 4103 18446744073709551615 4194304 4196468 140732822410384 140732822392928 139758661488375 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
/proc/4664/statm: 3339678 4103 1905 1 0 3329175 0
[pid=4664/tid=4665] ppid=4662 vsize=13358712 memory=7078076838863583841 CPUtime=0.01 cores=0,2,4,6
/proc/4664/task/4665/stat : 4665 (java) R 4662 4662 7968 0 -1 4202560 2134 0 0 0 1 0 0 0 20 0 6 0 23111378 13679321088 4103 18446744073709551615 4194304 4196468 140732822410384 139758665724496 139758645925260 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4666] ppid=4662 vsize=13358712 memory=4123389896250521363 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4666/stat : 4666 (java) S 4662 4662 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 23111379 13679321088 4103 18446744073709551615 4194304 4196468 140732822410384 139758580903056 139758661498581 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4667] ppid=4662 vsize=13358712 memory=140367208113792 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4667/stat : 4667 (java) S 4662 4662 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 23111379 13679321088 4103 18446744073709551615 4194304 4196468 140732822410384 139758579850256 139758661498581 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4668] ppid=4662 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4668/stat : 4668 (java) S 4662 4662 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 23111379 13679321088 4103 18446744073709551615 4194304 4196468 140732822410384 139758578797456 139758661498581 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4669] ppid=4662 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4669/stat : 4669 (java) S 4662 4662 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 23111379 13679321088 4103 18446744073709551615 4194304 4196468 140732822410384 139758577744656 139758661498581 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 17792 KiB

[startup+0.210341 s]*
/proc/loadavg: 1.63 1.74 1.73 3/213 4678
/proc/meminfo: memFree=30452180/32770624 swapFree=67108860/67108860
[pid=4662] ppid=4659 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4662/stat : 4662 (xcsp3-exec) S 4659 4662 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 23111369 9740288 345 18446744073709551615 4194304 5098028 140735770236560 140735770234664 140167924531836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 35274752 140735770239354 140735770239558 140735770239558 140735770243051 0
/proc/4662/statm: 2378 345 289 221 0 87 0
[pid=4664] ppid=4662 vsize=13974352 memory=27900 CPUtime=0.08 cores=0,2,4,6
/proc/4664/stat : 4664 (java) S 4662 4662 7968 0 -1 1077944320 4884 0 0 0 7 1 0 0 20 0 15 0 23111378 14309736448 6975 18446744073709551615 4194304 4196468 140732822410384 140732822392928 139758661488375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
/proc/4664/statm: 3493588 6975 2724 1 0 3482964 0
[pid=4664/tid=4665] ppid=4662 vsize=13974352 memory=7078076838863583841 CPUtime=0.06 cores=0,2,4,6
/proc/4664/task/4665/stat : 4665 (java) R 4662 4662 7968 0 -1 4202560 3048 0 0 0 6 0 0 0 20 0 15 0 23111378 14309736448 6975 18446744073709551615 4194304 4196468 140732822410384 139758665722864 139758661510301 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4666] ppid=4662 vsize=13974352 memory=4123389896250521363 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4666/stat : 4666 (java) S 4662 4662 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23111379 14309736448 6975 18446744073709551615 4194304 4196468 140732822410384 139758580903056 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4667] ppid=4662 vsize=13974352 memory=140367208113792 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4667/stat : 4667 (java) S 4662 4662 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23111379 14309736448 6975 18446744073709551615 4194304 4196468 140732822410384 139758579850256 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4668] ppid=4662 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4668/stat : 4668 (java) S 4662 4662 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23111379 14309736448 6975 18446744073709551615 4194304 4196468 140732822410384 139758578797456 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4669] ppid=4662 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4669/stat : 4669 (java) S 4662 4662 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 23111379 14309736448 6975 18446744073709551615 4194304 4196468 140732822410384 139758577744656 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4670] ppid=4662 vsize=13974352 memory=140367208113792 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4670/stat : 4670 (java) S 4662 4662 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 23111380 14309736448 6975 18446744073709551615 4194304 4196468 140732822410384 139758004582768 139758661499522 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4671] ppid=4662 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4671/stat : 4671 (java) S 4662 4662 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 23111380 14309736448 6975 18446744073709551615 4194304 4196468 140732822410384 139758003528736 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4672] ppid=4662 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4672/stat : 4672 (java) S 4662 4662 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 23111381 14309736448 6975 18446744073709551615 4194304 4196468 140732822410384 139758002475888 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4673] ppid=4662 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4673/stat : 4673 (java) S 4662 4662 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23111383 14309736448 6975 18446744073709551615 4194304 4196468 140732822410384 139758001424208 139758661506971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4674] ppid=4662 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4674/stat : 4674 (java) S 4662 4662 7968 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 23111383 14309736448 6975 18446744073709551615 4194304 4196468 140732822410384 139758000372592 139758661499522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4675] ppid=4662 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4675/stat : 4675 (java) S 4662 4662 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23111383 14309736448 6975 18446744073709551615 4194304 4196468 140732822410384 139757999319792 139758661499522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4676] ppid=4662 vsize=13974352 memory=140367208113792 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4676/stat : 4676 (java) S 4662 4662 7968 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 15 0 23111383 14309736448 6975 18446744073709551615 4194304 4196468 140732822410384 139757998266992 139758661499522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4677] ppid=4662 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4677/stat : 4677 (java) S 4662 4662 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23111383 14309736448 6975 18446744073709551615 4194304 4196468 140732822410384 139757997214432 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4678] ppid=4662 vsize=13974352 memory=140367208113792 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4678/stat : 4678 (java) S 4662 4662 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23111388 14309736448 6975 18446744073709551615 4194304 4196468 140732822410384 139757996161712 139758661499522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29280 KiB

[startup+0.310421 s]*
/proc/loadavg: 1.63 1.74 1.73 3/213 4678
/proc/meminfo: memFree=30436512/32770624 swapFree=67108860/67108860
[pid=4662] ppid=4659 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4662/stat : 4662 (xcsp3-exec) S 4659 4662 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 23111369 9740288 345 18446744073709551615 4194304 5098028 140735770236560 140735770234664 140167924531836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 35274752 140735770239354 140735770239558 140735770239558 140735770243051 0
/proc/4662/statm: 2378 345 289 221 0 87 0
[pid=4664] ppid=4662 vsize=13974352 memory=37560 CPUtime=0.27 cores=0,2,4,6
/proc/4664/stat : 4664 (java) S 4662 4662 7968 0 -1 1077944320 8471 0 0 0 24 3 0 0 20 0 15 0 23111378 14309736448 9390 18446744073709551615 4194304 4196468 140732822410384 140732822392928 139758661488375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
/proc/4664/statm: 3493588 9390 2976 1 0 3482964 0
[pid=4664/tid=4665] ppid=4662 vsize=13974352 memory=4278483708103473607 CPUtime=0.17 cores=0,2,4,6
/proc/4664/task/4665/stat : 4665 (java) R 4662 4662 7968 0 -1 4202560 5686 0 0 0 15 2 0 0 20 0 15 0 23111378 14309736448 9390 18446744073709551615 4194304 4196468 140732822410384 139758665721872 139758661510301 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4666] ppid=4662 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4666/stat : 4666 (java) S 4662 4662 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23111379 14309736448 9390 18446744073709551615 4194304 4196468 140732822410384 139758580903056 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4667] ppid=4662 vsize=13974352 memory=8760507720369494670 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4667/stat : 4667 (java) S 4662 4662 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23111379 14309736448 9390 18446744073709551615 4194304 4196468 140732822410384 139758579850256 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4668] ppid=4662 vsize=13974352 memory=-7299339441649872004 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4668/stat : 4668 (java) S 4662 4662 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23111379 14309736448 9390 18446744073709551615 4194304 4196468 140732822410384 139758578797456 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4669] ppid=4662 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4669/stat : 4669 (java) S 4662 4662 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 23111379 14309736448 9390 18446744073709551615 4194304 4196468 140732822410384 139758577744656 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4670] ppid=4662 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4670/stat : 4670 (java) S 4662 4662 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 23111380 14309736448 9390 18446744073709551615 4194304 4196468 140732822410384 139758004582768 139758661499522 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4671] ppid=4662 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4671/stat : 4671 (java) S 4662 4662 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 23111380 14309736448 9390 18446744073709551615 4194304 4196468 140732822410384 139758003528736 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4672] ppid=4662 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4672/stat : 4672 (java) S 4662 4662 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 23111381 14309736448 9390 18446744073709551615 4194304 4196468 140732822410384 139758002475888 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4673] ppid=4662 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4673/stat : 4673 (java) S 4662 4662 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23111383 14309736448 9390 18446744073709551615 4194304 4196468 140732822410384 139758001424208 139758661506971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4674] ppid=4662 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4664/task/4674/stat : 4674 (java) S 4662 4662 7968 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 15 0 23111383 14309736448 9390 18446744073709551615 4194304 4196468 140732822410384 139758000372592 139758661499522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4675] ppid=4662 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4664/task/4675/stat : 4675 (java) R 4662 4662 7968 0 -1 1077944384 369 0 0 0 1 0 0 0 20 0 15 0 23111383 14309736448 9390 18446744073709551615 4194304 4196468 140732822410384 139757999319792 139758661499522 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4676] ppid=4662 vsize=13974352 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/4664/task/4676/stat : 4676 (java) R 4662 4662 7968 0 -1 4202560 742 0 0 0 5 0 0 0 20 0 15 0 23111383 14309736448 9390 18446744073709551615 4194304 4196468 140732822410384 139757998266992 139758640271150 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4677] ppid=4662 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4677/stat : 4677 (java) S 4662 4662 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23111383 14309736448 9390 18446744073709551615 4194304 4196468 140732822410384 139757997214432 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4678] ppid=4662 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4678/stat : 4678 (java) S 4662 4662 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23111388 14309736448 9390 18446744073709551615 4194304 4196468 140732822410384 139757996161712 139758661499522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38940 KiB

[startup+0.700849 s]
/proc/loadavg: 1.63 1.74 1.73 4/213 4678
/proc/meminfo: memFree=30425188/32770624 swapFree=67108860/67108860
[pid=4662] ppid=4659 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4662/stat : 4662 (xcsp3-exec) S 4659 4662 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 23111369 9740288 345 18446744073709551615 4194304 5098028 140735770236560 140735770234664 140167924531836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 35274752 140735770239354 140735770239558 140735770239558 140735770243051 0
/proc/4662/statm: 2378 345 289 221 0 87 0
[pid=4664] ppid=4662 vsize=13978684 memory=68000 CPUtime=1.25 cores=0,2,4,6
/proc/4664/stat : 4664 (java) S 4662 4662 7968 0 -1 1077944320 11679 0 0 0 120 5 0 0 20 0 15 0 23111378 14314172416 17000 18446744073709551615 4194304 4196468 140732822410384 140732822392928 139758661488375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
/proc/4664/statm: 3494671 17000 3168 1 0 3482964 0
[pid=4664/tid=4665] ppid=4662 vsize=13978684 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/4664/task/4665/stat : 4665 (java) R 4662 4662 7968 0 -1 4202560 7477 0 0 0 51 3 0 0 20 0 15 0 23111378 14314172416 17000 18446744073709551615 4194304 4196468 140732822410384 139758665725920 139758256425907 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4666] ppid=4662 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4666/stat : 4666 (java) S 4662 4662 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23111379 14314172416 17000 18446744073709551615 4194304 4196468 140732822410384 139758580903056 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4667] ppid=4662 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4667/stat : 4667 (java) S 4662 4662 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23111379 14314172416 17000 18446744073709551615 4194304 4196468 140732822410384 139758579850256 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4668] ppid=4662 vsize=13978684 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4668/stat : 4668 (java) S 4662 4662 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23111379 14314172416 17000 18446744073709551615 4194304 4196468 140732822410384 139758578797456 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4669] ppid=4662 vsize=13978684 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4669/stat : 4669 (java) S 4662 4662 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 23111379 14314172416 17000 18446744073709551615 4194304 4196468 140732822410384 139758577744656 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4670] ppid=4662 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4670/stat : 4670 (java) S 4662 4662 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 23111380 14314172416 17000 18446744073709551615 4194304 4196468 140732822410384 139758004582768 139758661499522 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4671] ppid=4662 vsize=13978684 memory=8242257093008177461 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4671/stat : 4671 (java) S 4662 4662 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 23111380 14314172416 17000 18446744073709551615 4194304 4196468 140732822410384 139758003528736 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4672] ppid=4662 vsize=13978684 memory=5788902766833320034 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4672/stat : 4672 (java) S 4662 4662 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 23111381 14314172416 17000 18446744073709551615 4194304 4196468 140732822410384 139758002475888 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4673] ppid=4662 vsize=13978684 memory=8028064794272029029 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4673/stat : 4673 (java) S 4662 4662 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23111383 14314172416 17000 18446744073709551615 4194304 4196468 140732822410384 139758001424208 139758661506971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4674] ppid=4662 vsize=13978684 memory=4638778398332698728 CPUtime=0.18 cores=0,2,4,6
/proc/4664/task/4674/stat : 4674 (java) S 4662 4662 7968 0 -1 1077944384 720 0 0 0 18 0 0 0 20 0 15 0 23111383 14314172416 17000 18446744073709551615 4194304 4196468 140732822410384 139758000372592 139758661499522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4675] ppid=4662 vsize=13978684 memory=2497 CPUtime=0.18 cores=0,2,4,6
/proc/4664/task/4675/stat : 4675 (java) S 4662 4662 7968 0 -1 1077944384 733 0 0 0 18 0 0 0 20 0 15 0 23111383 14314172416 17000 18446744073709551615 4194304 4196468 140732822410384 139757999319792 139758661499522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4676] ppid=4662 vsize=13978684 memory=4124 CPUtime=0.31 cores=0,2,4,6
/proc/4664/task/4676/stat : 4676 (java) S 4662 4662 7968 0 -1 1077944384 1441 0 0 0 31 0 0 0 20 0 15 0 23111383 14314172416 17000 18446744073709551615 4194304 4196468 140732822410384 139757998266992 139758661499522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4677] ppid=4662 vsize=13978684 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4677/stat : 4677 (java) S 4662 4662 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23111383 14314172416 17000 18446744073709551615 4194304 4196468 140732822410384 139757997214432 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4678] ppid=4662 vsize=13978684 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4678/stat : 4678 (java) S 4662 4662 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23111388 14314172416 17000 18446744073709551615 4194304 4196468 140732822410384 139757996161712 139758661499522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
Current children cumulated CPU time: 1.25 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 69380 KiB

[startup+1.50081 s]
/proc/loadavg: 1.63 1.74 1.73 7/213 4678
/proc/meminfo: memFree=30357548/32770624 swapFree=67108860/67108860
[pid=4662] ppid=4659 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4662/stat : 4662 (xcsp3-exec) S 4659 4662 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 23111369 9740288 345 18446744073709551615 4194304 5098028 140735770236560 140735770234664 140167924531836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 35274752 140735770239354 140735770239558 140735770239558 140735770243051 0
/proc/4662/statm: 2378 345 289 221 0 87 0
[pid=4664] ppid=4662 vsize=13980732 memory=121868 CPUtime=3.48 cores=0,2,4,6
/proc/4664/stat : 4664 (java) S 4662 4662 7968 0 -1 1077944320 23309 0 0 0 341 7 0 0 20 0 15 0 23111378 14316269568 30467 18446744073709551615 4194304 4196468 140732822410384 140732822392928 139758661488375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
/proc/4664/statm: 3495183 30467 3193 1 0 3483476 0
[pid=4664/tid=4665] ppid=4662 vsize=13980732 memory=55 CPUtime=1.34 cores=0,2,4,6
/proc/4664/task/4665/stat : 4665 (java) R 4662 4662 7968 0 -1 4202560 9945 0 0 0 130 4 0 0 20 0 15 0 23111378 14316269568 30467 18446744073709551615 4194304 4196468 140732822410384 139758665723744 139758258779887 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4666] ppid=4662 vsize=13980732 memory=11830 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4666/stat : 4666 (java) S 4662 4662 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23111379 14316269568 30467 18446744073709551615 4194304 4196468 140732822410384 139758580903056 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4667] ppid=4662 vsize=13980732 memory=20825 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4667/stat : 4667 (java) S 4662 4662 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23111379 14316269568 30467 18446744073709551615 4194304 4196468 140732822410384 139758579850256 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4668] ppid=4662 vsize=13980732 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4668/stat : 4668 (java) S 4662 4662 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23111379 14316269568 30467 18446744073709551615 4194304 4196468 140732822410384 139758578797456 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4669] ppid=4662 vsize=13980732 memory=15476 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4669/stat : 4669 (java) S 4662 4662 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 23111379 14316269568 30467 18446744073709551615 4194304 4196468 140732822410384 139758577744656 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4670] ppid=4662 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4670/stat : 4670 (java) S 4662 4662 7968 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 23111380 14316269568 30467 18446744073709551615 4194304 4196468 140732822410384 139758004582768 139758661499522 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4671] ppid=4662 vsize=13980732 memory=101936 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4671/stat : 4671 (java) S 4662 4662 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 23111380 14316269568 30467 18446744073709551615 4194304 4196468 140732822410384 139758003528736 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4672] ppid=4662 vsize=13980732 memory=8881 CPUtime=0 cores=0,2,4,6

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

/proc/4664/task/4672/stat : 4672 (java) S 4662 4662 7968 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 23111381 14318366720 155868 18446744073709551615 4194304 4196468 140732822410384 139758002475888 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4673] ppid=4662 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4673/stat : 4673 (java) S 4662 4662 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23111383 14318366720 155868 18446744073709551615 4194304 4196468 140732822410384 139758001424208 139758661506971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4674] ppid=4662 vsize=13982780 memory=1380 CPUtime=7.09 cores=0,2,4,6
/proc/4664/task/4674/stat : 4674 (java) S 4662 4662 7968 0 -1 1077944384 35104 0 0 0 705 4 0 0 20 0 15 0 23111383 14318366720 155868 18446744073709551615 4194304 4196468 140732822410384 139758000372592 139758661499522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4675] ppid=4662 vsize=13982780 memory=1380 CPUtime=6.73 cores=0,2,4,6
/proc/4664/task/4675/stat : 4675 (java) S 4662 4662 7968 0 -1 1077944384 33324 0 0 0 669 4 0 0 20 0 15 0 23111383 14318366720 155868 18446744073709551615 4194304 4196468 140732822410384 139757999319792 139758661499522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4676] ppid=4662 vsize=13982780 memory=4124 CPUtime=1.04 cores=0,2,4,6
/proc/4664/task/4676/stat : 4676 (java) S 4662 4662 7968 0 -1 1077944384 13422 0 0 0 102 2 0 0 20 0 15 0 23111383 14318366720 155868 18446744073709551615 4194304 4196468 140732822410384 139757998266992 139758661499522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4677] ppid=4662 vsize=13982780 memory=15600 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4677/stat : 4677 (java) S 4662 4662 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23111383 14318366720 155868 18446744073709551615 4194304 4196468 140732822410384 139757997214432 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4678] ppid=4662 vsize=13982780 memory=1380 CPUtime=1.22 cores=0,2,4,6
/proc/4664/task/4678/stat : 4678 (java) S 4662 4662 7968 0 -1 1077944384 2271 0 0 0 61 61 0 0 20 0 15 0 23111388 14318366720 155868 18446744073709551615 4194304 4196468 140732822410384 139757996161712 139758661499522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
Current children cumulated CPU time: 2337.24 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 624852 KiB

[startup+2322.3 s]
/proc/loadavg: 1.43 1.45 1.51 3/213 5053
/proc/meminfo: memFree=30278168/32770624 swapFree=67108860/67108860
[pid=4662] ppid=4659 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4662/stat : 4662 (xcsp3-exec) S 4659 4662 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 23111369 9740288 345 18446744073709551615 4194304 5098028 140735770236560 140735770234664 140167924531836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 35274752 140735770239354 140735770239558 140735770239558 140735770243051 0
/proc/4662/statm: 2378 345 289 221 0 87 0
[pid=4664] ppid=4662 vsize=13982780 memory=630216 CPUtime=2398.5 cores=0,2,4,6
/proc/4664/stat : 4664 (java) S 4662 4662 7968 0 -1 1077944320 272789 0 0 0 239428 422 0 0 20 0 15 0 23111378 14318366720 157554 18446744073709551615 4194304 4196468 140732822410384 140732822392928 139758661488375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
/proc/4664/statm: 3495695 157554 3260 1 0 3483988 0
[pid=4664/tid=4665] ppid=4662 vsize=13982780 memory=630216 CPUtime=2299.7 cores=0,2,4,6
/proc/4664/task/4665/stat : 4665 (java) R 4662 4662 7968 0 -1 4202560 65887 0 0 0 229946 24 0 0 20 0 15 0 23111378 14318366720 157554 18446744073709551615 4194304 4196468 140732822410384 139758665727488 139758260726433 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4666] ppid=4662 vsize=13982780 memory=631240 CPUtime=20.35 cores=0,2,4,6
/proc/4664/task/4666/stat : 4666 (java) S 4662 4662 7968 0 -1 1077944384 17476 0 0 0 1956 79 0 0 20 0 15 0 23111379 14318366720 157554 18446744073709551615 4194304 4196468 140732822410384 139758580903056 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4667] ppid=4662 vsize=13982780 memory=634832 CPUtime=20.32 cores=0,2,4,6
/proc/4664/task/4667/stat : 4667 (java) S 4662 4662 7968 0 -1 1077944384 17912 0 0 0 1952 80 0 0 20 0 15 0 23111379 14318366720 157554 18446744073709551615 4194304 4196468 140732822410384 139758579850256 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4668] ppid=4662 vsize=13982780 memory=640744 CPUtime=20.37 cores=0,2,4,6
/proc/4664/task/4668/stat : 4668 (java) S 4662 4662 7968 0 -1 1077944384 17465 0 0 0 1956 81 0 0 20 0 15 0 23111379 14318366720 157554 18446744073709551615 4194304 4196468 140732822410384 139758578797456 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4669] ppid=4662 vsize=13982780 memory=637396 CPUtime=20.39 cores=0,2,4,6
/proc/4664/task/4669/stat : 4669 (java) S 4662 4662 7968 0 -1 1077944384 16557 0 0 0 1959 80 0 0 20 0 15 0 23111379 14318366720 157554 18446744073709551615 4194304 4196468 140732822410384 139758577744656 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4670] ppid=4662 vsize=13982780 memory=634832 CPUtime=1.15 cores=0,2,4,6
/proc/4664/task/4670/stat : 4670 (java) S 4662 4662 7968 0 -1 1077944384 51796 0 0 0 95 20 0 0 20 0 15 0 23111380 14318366720 157554 18446744073709551615 4194304 4196468 140732822410384 139758004582768 139758661499522 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4671] ppid=4662 vsize=13982780 memory=631240 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4671/stat : 4671 (java) S 4662 4662 7968 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 23111380 14318366720 157554 18446744073709551615 4194304 4196468 140732822410384 139758003528736 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4672] ppid=4662 vsize=13982780 memory=630216 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4672/stat : 4672 (java) S 4662 4662 7968 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 23111381 14318366720 157554 18446744073709551615 4194304 4196468 140732822410384 139758002475888 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4673] ppid=4662 vsize=13982780 memory=630216 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4673/stat : 4673 (java) S 4662 4662 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23111383 14318366720 157554 18446744073709551615 4194304 4196468 140732822410384 139758001424208 139758661506971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4674] ppid=4662 vsize=13982780 memory=1380 CPUtime=7.09 cores=0,2,4,6
/proc/4664/task/4674/stat : 4674 (java) S 4662 4662 7968 0 -1 1077944384 35106 0 0 0 705 4 0 0 20 0 15 0 23111383 14318366720 157554 18446744073709551615 4194304 4196468 140732822410384 139758000372592 139758661499522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4675] ppid=4662 vsize=13982780 memory=1380 CPUtime=6.73 cores=0,2,4,6
/proc/4664/task/4675/stat : 4675 (java) S 4662 4662 7968 0 -1 1077944384 33326 0 0 0 669 4 0 0 20 0 15 0 23111383 14318366720 157554 18446744073709551615 4194304 4196468 140732822410384 139757999319792 139758661499522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4676] ppid=4662 vsize=13982780 memory=631240 CPUtime=1.04 cores=0,2,4,6
/proc/4664/task/4676/stat : 4676 (java) S 4662 4662 7968 0 -1 1077944384 13627 0 0 0 102 2 0 0 20 0 15 0 23111383 14318366720 157554 18446744073709551615 4194304 4196468 140732822410384 139757998266992 139758661499522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4677] ppid=4662 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4677/stat : 4677 (java) S 4662 4662 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23111383 14318366720 157554 18446744073709551615 4194304 4196468 140732822410384 139757997214432 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4678] ppid=4662 vsize=13982780 memory=630216 CPUtime=1.25 cores=0,2,4,6
/proc/4664/task/4678/stat : 4678 (java) S 4662 4662 7968 0 -1 1077944384 2291 0 0 0 63 62 0 0 20 0 15 0 23111388 14318366720 157554 18446744073709551615 4194304 4196468 140732822410384 139757996161712 139758661499522 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
Current children cumulated CPU time: 2398.5 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 631596 KiB

[startup+2382.3 s]
/proc/loadavg: 1.52 1.48 1.51 3/213 5057
/proc/meminfo: memFree=30226340/32770624 swapFree=67108860/67108860
[pid=4662] ppid=4659 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4662/stat : 4662 (xcsp3-exec) S 4659 4662 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 23111369 9740288 345 18446744073709551615 4194304 5098028 140735770236560 140735770234664 140167924531836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 35274752 140735770239354 140735770239558 140735770239558 140735770243051 0
/proc/4662/statm: 2378 345 289 221 0 87 0
[pid=4664] ppid=4662 vsize=13982780 memory=664008 CPUtime=2460.28 cores=0,2,4,6
/proc/4664/stat : 4664 (java) S 4662 4662 7968 0 -1 1077944320 276425 0 0 0 245596 432 0 0 20 0 15 0 23111378 14318366720 166002 18446744073709551615 4194304 4196468 140732822410384 140732822392928 139758661488375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
/proc/4664/statm: 3495695 166002 3260 1 0 3483988 0
[pid=4664/tid=4665] ppid=4662 vsize=13982780 memory=667600 CPUtime=2359.06 cores=0,2,4,6
/proc/4664/task/4665/stat : 4665 (java) R 4662 4662 7968 0 -1 4202560 67463 0 0 0 235881 25 0 0 20 0 15 0 23111378 14318366720 166002 18446744073709551615 4194304 4196468 140732822410384 139758665728016 139758261783852 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4666] ppid=4662 vsize=13982780 memory=679300 CPUtime=20.94 cores=0,2,4,6
/proc/4664/task/4666/stat : 4666 (java) S 4662 4662 7968 0 -1 1077944384 17647 0 0 0 2013 81 0 0 20 0 15 0 23111379 14318366720 166002 18446744073709551615 4194304 4196468 140732822410384 139758580903056 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4667] ppid=4662 vsize=13982780 memory=664008 CPUtime=20.91 cores=0,2,4,6
/proc/4664/task/4667/stat : 4667 (java) S 4662 4662 7968 0 -1 1077944384 18078 0 0 0 2009 82 0 0 20 0 15 0 23111379 14318366720 166002 18446744073709551615 4194304 4196468 140732822410384 139758579850256 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4668] ppid=4662 vsize=13982780 memory=664008 CPUtime=20.96 cores=0,2,4,6
/proc/4664/task/4668/stat : 4668 (java) S 4662 4662 7968 0 -1 1077944384 17633 0 0 0 2013 83 0 0 20 0 15 0 23111379 14318366720 166002 18446744073709551615 4194304 4196468 140732822410384 139758578797456 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4669] ppid=4662 vsize=13982780 memory=1380 CPUtime=20.97 cores=0,2,4,6
/proc/4664/task/4669/stat : 4669 (java) S 4662 4662 7968 0 -1 1077944384 17088 0 0 0 2016 81 0 0 20 0 15 0 23111379 14318366720 166002 18446744073709551615 4194304 4196468 140732822410384 139758577744656 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4670] ppid=4662 vsize=13982780 memory=1380 CPUtime=1.19 cores=0,2,4,6
/proc/4664/task/4670/stat : 4670 (java) S 4662 4662 7968 0 -1 1077944384 52791 0 0 0 98 21 0 0 20 0 15 0 23111380 14318366720 166002 18446744073709551615 4194304 4196468 140732822410384 139758004582768 139758661499522 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4671] ppid=4662 vsize=13982780 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4671/stat : 4671 (java) S 4662 4662 7968 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 23111380 14318366720 166002 18446744073709551615 4194304 4196468 140732822410384 139758003528736 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4672] ppid=4662 vsize=13982780 memory=15600 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4672/stat : 4672 (java) S 4662 4662 7968 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 23111381 14318366720 166002 18446744073709551615 4194304 4196468 140732822410384 139758002475888 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4673] ppid=4662 vsize=13982780 memory=673224 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4673/stat : 4673 (java) S 4662 4662 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23111383 14318366720 166002 18446744073709551615 4194304 4196468 140732822410384 139758001424208 139758661506971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4674] ppid=4662 vsize=13982780 memory=1380 CPUtime=7.09 cores=0,2,4,6
/proc/4664/task/4674/stat : 4674 (java) S 4662 4662 7968 0 -1 1077944384 35108 0 0 0 705 4 0 0 20 0 15 0 23111383 14318366720 166002 18446744073709551615 4194304 4196468 140732822410384 139758000372592 139758661499522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4675] ppid=4662 vsize=13982780 memory=1380 CPUtime=6.74 cores=0,2,4,6
/proc/4664/task/4675/stat : 4675 (java) S 4662 4662 7968 0 -1 1077944384 33328 0 0 0 670 4 0 0 20 0 15 0 23111383 14318366720 166002 18446744073709551615 4194304 4196468 140732822410384 139757999319792 139758661499522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4676] ppid=4662 vsize=13982780 memory=664008 CPUtime=1.04 cores=0,2,4,6
/proc/4664/task/4676/stat : 4676 (java) S 4662 4662 7968 0 -1 1077944384 13629 0 0 0 102 2 0 0 20 0 15 0 23111383 14318366720 166002 18446744073709551615 4194304 4196468 140732822410384 139757998266992 139758661499522 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4677] ppid=4662 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4677/stat : 4677 (java) S 4662 4662 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23111383 14318366720 166002 18446744073709551615 4194304 4196468 140732822410384 139757997214432 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4678] ppid=4662 vsize=13982780 memory=4124 CPUtime=1.28 cores=0,2,4,6
/proc/4664/task/4678/stat : 4678 (java) S 4662 4662 7968 0 -1 1077944384 2314 0 0 0 64 64 0 0 20 0 15 0 23111388 14318366720 166002 18446744073709551615 4194304 4196468 140732822410384 139757996161712 139758661499522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
Current children cumulated CPU time: 2460.28 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 665388 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2440.4 s]
/proc/loadavg: 2.43 1.72 1.59 3/213 5062
/proc/meminfo: memFree=30325172/32770624 swapFree=67108860/67108860
[pid=4662] ppid=4659 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/4662/stat : 4662 (xcsp3-exec) S 4659 4662 7968 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 23111369 9740288 345 18446744073709551615 4194304 5098028 140735770236560 140735770234664 140167924531836 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 35274752 140735770239354 140735770239558 140735770239558 140735770243051 0
/proc/4662/statm: 2378 345 289 221 0 87 0
[pid=4664] ppid=4662 vsize=13982780 memory=596292 CPUtime=2520.07 cores=0,2,4,6
/proc/4664/stat : 4664 (java) S 4662 4662 7968 0 -1 1077944320 278634 0 0 0 251572 435 0 0 20 0 15 0 23111378 14318366720 149073 18446744073709551615 4194304 4196468 140732822410384 140732822392928 139758661488375 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
/proc/4664/statm: 3495695 149073 3260 1 0 3483988 0
[pid=4664/tid=4665] ppid=4662 vsize=13982780 memory=2164 CPUtime=2416.54 cores=0,2,4,6
/proc/4664/task/4665/stat : 4665 (java) R 4662 4662 7968 0 -1 4202560 67904 0 0 0 241629 25 0 0 20 0 15 0 23111378 14318366720 149073 18446744073709551615 4194304 4196468 140732822410384 139758665728048 139758640565840 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4666] ppid=4662 vsize=13982780 memory=840 CPUtime=21.51 cores=0,2,4,6
/proc/4664/task/4666/stat : 4666 (java) S 4662 4662 7968 0 -1 1077944384 17771 0 0 0 2070 81 0 0 20 0 15 0 23111379 14318366720 149073 18446744073709551615 4194304 4196468 140732822410384 139758580903056 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4667] ppid=4662 vsize=13982780 memory=1380 CPUtime=21.49 cores=0,2,4,6
/proc/4664/task/4667/stat : 4667 (java) S 4662 4662 7968 0 -1 1077944384 18554 0 0 0 2066 83 0 0 20 0 15 0 23111379 14318366720 149073 18446744073709551615 4194304 4196468 140732822410384 139758579850256 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4668] ppid=4662 vsize=13982780 memory=2012 CPUtime=21.52 cores=0,2,4,6
/proc/4664/task/4668/stat : 4668 (java) S 4662 4662 7968 0 -1 1077944384 17766 0 0 0 2069 83 0 0 20 0 15 0 23111379 14318366720 149073 18446744073709551615 4194304 4196468 140732822410384 139758578797456 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4669] ppid=4662 vsize=13982780 memory=5520 CPUtime=21.54 cores=0,2,4,6
/proc/4664/task/4669/stat : 4669 (java) S 4662 4662 7968 0 -1 1077944384 17220 0 0 0 2072 82 0 0 20 0 15 0 23111379 14318366720 149073 18446744073709551615 4194304 4196468 140732822410384 139758577744656 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4670] ppid=4662 vsize=13982780 memory=4612 CPUtime=1.22 cores=0,2,4,6
/proc/4664/task/4670/stat : 4670 (java) S 4662 4662 7968 0 -1 1077944384 53690 0 0 0 100 22 0 0 20 0 15 0 23111380 14318366720 149073 18446744073709551615 4194304 4196468 140732822410384 139758004582768 139758661499522 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4671] ppid=4662 vsize=13982780 memory=792 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4671/stat : 4671 (java) S 4662 4662 7968 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 23111380 14318366720 149073 18446744073709551615 4194304 4196468 140732822410384 139758003528736 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4672] ppid=4662 vsize=13982780 memory=8688 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4672/stat : 4672 (java) S 4662 4662 7968 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 23111381 14318366720 149073 18446744073709551615 4194304 4196468 140732822410384 139758002475888 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4673] ppid=4662 vsize=13982780 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4673/stat : 4673 (java) S 4662 4662 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23111383 14318366720 149073 18446744073709551615 4194304 4196468 140732822410384 139758001424208 139758661506971 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4674] ppid=4662 vsize=13982780 memory=9916 CPUtime=7.09 cores=0,2,4,6
/proc/4664/task/4674/stat : 4674 (java) S 4662 4662 7968 0 -1 1077944384 35108 0 0 0 705 4 0 0 20 0 15 0 23111383 14318366720 149073 18446744073709551615 4194304 4196468 140732822410384 139758000372592 139758661499522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4675] ppid=4662 vsize=13982780 memory=1200 CPUtime=6.74 cores=0,2,4,6
/proc/4664/task/4675/stat : 4675 (java) S 4662 4662 7968 0 -1 1077944384 33328 0 0 0 670 4 0 0 20 0 15 0 23111383 14318366720 149073 18446744073709551615 4194304 4196468 140732822410384 139757999319792 139758661499522 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4676] ppid=4662 vsize=13982780 memory=15872 CPUtime=1.04 cores=0,2,4,6
/proc/4664/task/4676/stat : 4676 (java) S 4662 4662 7968 0 -1 1077944384 13629 0 0 0 102 2 0 0 20 0 15 0 23111383 14318366720 149073 18446744073709551615 4194304 4196468 140732822410384 139757998266992 139758661499522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4677] ppid=4662 vsize=13982780 memory=4040 CPUtime=0 cores=0,2,4,6
/proc/4664/task/4677/stat : 4677 (java) S 4662 4662 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23111383 14318366720 149073 18446744073709551615 4194304 4196468 140732822410384 139757997214432 139758661498581 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
[pid=4664/tid=4678] ppid=4662 vsize=13982780 memory=16444 CPUtime=1.31 cores=0,2,4,6
/proc/4664/task/4678/stat : 4678 (java) S 4662 4662 7968 0 -1 1077944384 2318 0 0 0 66 65 0 0 20 0 15 0 23111388 14318366720 149073 18446744073709551615 4194304 4196468 140732822410384 139757996161712 139758661499522 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30756864 140732822413746 140732822413922 140732822413922 140732822417359 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 597672 KiB

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

[startup+2440.41 s]
# the end of solver process 4662 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.00095 s, system=0.00095 s

[startup+2440.41 s]
# the end of solver process 4664 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.74 s, system=4.36488 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): 2440.41
CPU time (s): 2520.1
CPU user time (s): 2515.74
CPU system time (s): 4.36488
CPU usage (%): 103.265
Max. virtual memory (cumulated for all children) (KiB): 13992644
Max. memory (cumulated for all children) (KiB): 771452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.74
system time used= 4.36488
maximum resident set size= 775204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279289
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72994
involuntary context switches= 5477


# summary of solver processes directly reported to runsolver:
#   pid: 4662,4664
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2515.74
#   total CPU system time (s): 4.36488

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0692 second user time and 22.4778 second system time

The end

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

Trace number 4272271

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