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 4.0.5 seq (2017-08-09)	SAT (TO)	274	2520.1101	2507.8301

0.00/0.09	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269331-1502697610.xml"  -tl '2520s' -p 1 -x 0
0.07/0.29	c [HOME/instance-4269331-1502697610.xml, -tl, 2520s, -p, 1, -x, 0]
0.26/0.35	c simple solver
0.26/0.41	c parse instance...
2.01/1.07	c solve instance...
14.36/10.45	o 252 
14.59/10.57	o 253 
14.95/10.76	o 255 
14.95/10.77	o 256 
55.46/50.19	o 257 
87.05/81.64	o 267 
1099.97/1092.84	o 270 
1102.37/1095.25	o 271 
1110.98/1103.87	o 274 
2520.07/2507.80	s SATISFIABLE
2520.07/2507.80	v <instantiation>
2520.07/2507.80	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/2507.80	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 1 1 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 1 0 0 0 0 1 1 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 1 0 0 0 1 1 1 1 0 0 1 1 0 1 0 1 0 1 1 1 1 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 1 0 1 1 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 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 0 0 1 1 1 1 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 1 1 0 0 0 0 1 0 0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 1 0 0 0 0 1 1 1 1 1 0 0 0 0 1 0 1 1 0 1 1 1 0 1 0 0 1 1 1 0 0 1 0 1 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 1 1 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 0 0 1 1 1 0 1 0 0 1 1 0 0 1 0 0 0 1 0 1 1 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 1 1 1 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 1 1 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 0 1 1 0 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 1 1 1 0 0 1 1 1 1 0 0 1 0 0 1 0 1 0 0 1 1 1 1 1 1 1 0 1 2 2 1 0 0 1 2 2 1 1 0 0 0 0 0 0 0 1 1 0 2 2 2 2 1 1 1 1 2 2 1 0 0 1 2 2 2 0 0 0 1 0 0 0 0 0 0 1 1 2 2 1 1 0 0 1 2 1 1 0 0 2 2 1 1 1 0 1 0 2 0 0 0 0 0 0 1 1 2 1 0 1 0 1 1 1 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 0 1 1 1 1 2 2 2 1 1 0 0 2 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 2 2 1 2 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 1 2 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 2 1 1 0 0 2 1 0 0 0 1 2 1 1 0 0 0 1 1 0 0 1 0 0 0 0 0 1 2 1 0 0 0 0 1 0 0 0 2 2 1 0 0 0 1 0 0 0 1 0 0 0 0 1 1 2 0 1 0 2 0 0 0 0 0 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 1 0 0 0 0 0 0 1 0 0 2 1 1 1 0 2 0 0 0 0 1 0 0 0 0 1 2 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 2 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 2 2 2 0 0 0 0 0 0 1 0 0 2 2 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 2 0 1 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 2 1 0 0 1 1 2 1 1 0 0 0 1 1 0 0 1 0 0 1 0 0 0 1 1 0 0 1 1 1 0 0 1 1 2 2 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 2 1 0 1 0 0 0 1 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 2 1 1 0 0 1 0 1 1 1 0 0 0 0 0 1 0 1 0 1 2 1 1 0 0 0 0 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 2 0 0 0 0 0 2 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 0 0 0 1 1 2 1 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 0 0 1 1 0 17 43 65 86 98 104 110 119 134 148 160 174 188 201 212 221 227 238 248 261 275 291 299 311 328 339 349 360 274 </values>
2520.07/2507.80	v </instantiation>
2520.07/2507.80	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 (15264 MiB free)
  memory of node 1: 16384 MiB (15567 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269331-1502697610/watcher-4269331-1502697610 -o /tmp/evaluation-result-4269331-1502697610/solver-4269331-1502697610 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502649032-24471 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1214982509 HOME/instance-4269331-1502697610.xml 

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

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=31959, runsolver pid=31956
Current StackSize limit: 8192 KiB


[startup+0.101212 s]*
/proc/loadavg: 1.70 1.65 1.67 3/202 31962
/proc/meminfo: memFree=31570464/32770624 swapFree=67108764/67108860
[pid=31959] ppid=31956 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31959/stat : 31959 (xcsp3-exec) S 31956 31959 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117267478 9740288 345 18446744073709551615 4194304 5098028 140720672350960 140720672349064 139646253306492 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 32903168 140720672358776 140720672358981 140720672358981 140720672362475 0
/proc/31959/statm: 2378 345 289 221 0 87 0
[pid=31961] ppid=31959 vsize=13356504 memory=10920 CPUtime=0 cores=1,3,5,7
/proc/31961/stat : 31961 (java) S 31959 31959 4674 0 -1 1077944320 2512 0 0 0 0 0 0 0 20 0 6 0 117267488 13677060096 2730 18446744073709551615 4194304 4196468 140727043062272 140727043044816 139860763868919 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
/proc/31961/statm: 3339126 2730 1261 1 0 3329096 0
[pid=31961/tid=31962] ppid=31959 vsize=13356508 memory=-8713483618642721886 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31962/stat : 31962 (java) R 31959 31959 4674 0 -1 4202560 1302 0 0 0 0 0 0 0 20 0 6 0 117267488 13677064192 2796 18446744073709551615 4194304 4196468 140727043062272 139860768110696 139860756548608 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31963] ppid=31959 vsize=13356504 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31963/stat : 31963 (java) S 31959 31959 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 117267489 13677060096 2801 18446744073709551615 4194304 4196468 140727043062272 139860720835600 139860763879125 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31964] ppid=31959 vsize=13356504 memory=139941333325440 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31964/stat : 31964 (java) S 31959 31959 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 117267489 13677060096 2801 18446744073709551615 4194304 4196468 140727043062272 139860719783056 139860763879125 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31965] ppid=31959 vsize=13356504 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31965/stat : 31965 (java) S 31959 31959 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 117267489 13677060096 2801 18446744073709551615 4194304 4196468 140727043062272 139860718730000 139860763879125 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31966] ppid=31959 vsize=13356504 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31966/stat : 31966 (java) S 31959 31959 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 117267489 13677060096 2801 18446744073709551615 4194304 4196468 140727043062272 139860717677456 139860763879125 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13366016 KiB
Current children cumulated memory: 12300 KiB

[startup+0.209991 s]*
/proc/loadavg: 1.70 1.65 1.67 3/215 31975
/proc/meminfo: memFree=31559332/32770624 swapFree=67108764/67108860
[pid=31959] ppid=31956 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31959/stat : 31959 (xcsp3-exec) S 31956 31959 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117267478 9740288 345 18446744073709551615 4194304 5098028 140720672350960 140720672349064 139646253306492 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 32903168 140720672358776 140720672358981 140720672358981 140720672362475 0
/proc/31959/statm: 2378 345 289 221 0 87 0
[pid=31961] ppid=31959 vsize=13974352 memory=22788 CPUtime=0.07 cores=1,3,5,7
/proc/31961/stat : 31961 (java) S 31959 31959 4674 0 -1 1077944320 5160 0 0 0 5 2 0 0 20 0 15 0 117267488 14309736448 5697 18446744073709551615 4194304 4196468 140727043062272 140727043044816 139860763868919 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
/proc/31961/statm: 3493588 5697 2715 1 0 3482964 0
[pid=31961/tid=31962] ppid=31959 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=1,3,5,7
/proc/31961/task/31962/stat : 31962 (java) R 31959 31959 4674 0 -1 4202560 3313 0 0 0 5 1 0 0 20 0 15 0 117267488 14309736448 5697 18446744073709551615 4194304 4196468 140727043062272 139860768094608 139860392376806 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31963] ppid=31959 vsize=13974352 memory=12630 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31963/stat : 31963 (java) S 31959 31959 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117267489 14309736448 5697 18446744073709551615 4194304 4196468 140727043062272 139860720835600 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31964] ppid=31959 vsize=13974352 memory=3547065737849493152 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31964/stat : 31964 (java) S 31959 31959 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117267489 14309736448 5697 18446744073709551615 4194304 4196468 140727043062272 139860719783056 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31965] ppid=31959 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31965/stat : 31965 (java) S 31959 31959 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117267489 14309736448 5697 18446744073709551615 4194304 4196468 140727043062272 139860718730000 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31966] ppid=31959 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31966/stat : 31966 (java) S 31959 31959 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117267489 14309736448 5697 18446744073709551615 4194304 4196468 140727043062272 139860717677456 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31967] ppid=31959 vsize=13974352 memory=139941333325440 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31967/stat : 31967 (java) S 31959 31959 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117267490 14309736448 5697 18446744073709551615 4194304 4196468 140727043062272 139860309580016 139860763880066 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31968] ppid=31959 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31968/stat : 31968 (java) S 31959 31959 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117267491 14309736448 5697 18446744073709551615 4194304 4196468 140727043062272 139860241278112 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31969] ppid=31959 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31969/stat : 31969 (java) S 31959 31959 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117267491 14309736448 5697 18446744073709551615 4194304 4196468 140727043062272 139860240225008 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31970] ppid=31959 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31970/stat : 31970 (java) S 31959 31959 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117267493 14309736448 5697 18446744073709551615 4194304 4196468 140727043062272 139860239173584 139860763887515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31971] ppid=31959 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31971/stat : 31971 (java) S 31959 31959 4674 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 117267493 14309736448 5697 18446744073709551615 4194304 4196468 140727043062272 139860238121712 139860763880066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31972] ppid=31959 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31972/stat : 31972 (java) S 31959 31959 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117267493 14309736448 5697 18446744073709551615 4194304 4196468 140727043062272 139860237069168 139860763880066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31973] ppid=31959 vsize=13974352 memory=139941333325440 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31973/stat : 31973 (java) S 31959 31959 4674 0 -1 1077944384 224 0 0 0 0 0 0 0 20 0 15 0 117267493 14309736448 5697 18446744073709551615 4194304 4196468 140727043062272 139860236016112 139860763880066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31974] ppid=31959 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31974/stat : 31974 (java) S 31959 31959 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117267494 14309736448 5697 18446744073709551615 4194304 4196468 140727043062272 139860234963808 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31975] ppid=31959 vsize=13974352 memory=139941333325440 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31975/stat : 31975 (java) S 31959 31959 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117267499 14309736448 5697 18446744073709551615 4194304 4196468 140727043062272 139860233910832 139860763880066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24168 KiB

[startup+0.310352 s]*
/proc/loadavg: 1.70 1.65 1.67 3/215 31975
/proc/meminfo: memFree=31547716/32770624 swapFree=67108764/67108860
[pid=31959] ppid=31956 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31959/stat : 31959 (xcsp3-exec) S 31956 31959 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117267478 9740288 345 18446744073709551615 4194304 5098028 140720672350960 140720672349064 139646253306492 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 32903168 140720672358776 140720672358981 140720672358981 140720672362475 0
/proc/31959/statm: 2378 345 289 221 0 87 0
[pid=31961] ppid=31959 vsize=13975376 memory=37452 CPUtime=0.26 cores=1,3,5,7
/proc/31961/stat : 31961 (java) S 31959 31959 4674 0 -1 1077944320 8754 0 0 0 22 4 0 0 20 0 15 0 117267488 14310785024 9363 18446744073709551615 4194304 4196468 140727043062272 140727043044816 139860763868919 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
/proc/31961/statm: 3493844 9363 2972 1 0 3483220 0
[pid=31961/tid=31962] ppid=31959 vsize=13975376 memory=-8774313645642428999 CPUtime=0.15 cores=1,3,5,7
/proc/31961/task/31962/stat : 31962 (java) R 31959 31959 4674 0 -1 4202560 6071 0 0 0 13 2 0 0 20 0 15 0 117267488 14310785024 9363 18446744073709551615 4194304 4196468 140727043062272 139860768088272 139860756548637 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31963] ppid=31959 vsize=13975376 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31963/stat : 31963 (java) S 31959 31959 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117267489 14310785024 9363 18446744073709551615 4194304 4196468 140727043062272 139860720835600 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31964] ppid=31959 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31964/stat : 31964 (java) S 31959 31959 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117267489 14310785024 9363 18446744073709551615 4194304 4196468 140727043062272 139860719783056 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31965] ppid=31959 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31965/stat : 31965 (java) S 31959 31959 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117267489 14310785024 9363 18446744073709551615 4194304 4196468 140727043062272 139860718730000 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31966] ppid=31959 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31966/stat : 31966 (java) S 31959 31959 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117267489 14310785024 9363 18446744073709551615 4194304 4196468 140727043062272 139860717677456 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31967] ppid=31959 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31967/stat : 31967 (java) S 31959 31959 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117267490 14310785024 9363 18446744073709551615 4194304 4196468 140727043062272 139860309580016 139860763880066 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31968] ppid=31959 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31968/stat : 31968 (java) S 31959 31959 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117267491 14310785024 9363 18446744073709551615 4194304 4196468 140727043062272 139860241278112 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31969] ppid=31959 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31969/stat : 31969 (java) S 31959 31959 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117267491 14310785024 9363 18446744073709551615 4194304 4196468 140727043062272 139860240225008 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31970] ppid=31959 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31970/stat : 31970 (java) S 31959 31959 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117267493 14310785024 9363 18446744073709551615 4194304 4196468 140727043062272 139860239173584 139860763887515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31971] ppid=31959 vsize=13975376 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31961/task/31971/stat : 31971 (java) S 31959 31959 4674 0 -1 1077944384 576 0 0 0 1 0 0 0 20 0 15 0 117267493 14310785024 9166 18446744073709551615 4194304 4196468 140727043062272 139860238121712 139860763880066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31972] ppid=31959 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/31961/task/31972/stat : 31972 (java) S 31959 31959 4674 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 15 0 117267493 14309736448 9166 18446744073709551615 4194304 4196468 140727043062272 139860237069168 139860763880066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31973] ppid=31959 vsize=13974352 memory=139941333325440 CPUtime=0.05 cores=1,3,5,7
/proc/31961/task/31973/stat : 31973 (java) S 31959 31959 4674 0 -1 1077944384 696 0 0 0 5 0 0 0 20 0 15 0 117267493 14309736448 9166 18446744073709551615 4194304 4196468 140727043062272 139860236016112 139860763880066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31974] ppid=31959 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31974/stat : 31974 (java) S 31959 31959 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117267494 14309736448 9166 18446744073709551615 4194304 4196468 140727043062272 139860234963808 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31975] ppid=31959 vsize=13974352 memory=139941333325440 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31975/stat : 31975 (java) S 31959 31959 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117267499 14309736448 9166 18446744073709551615 4194304 4196468 140727043062272 139860233910832 139860763880066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13984888 KiB
Current children cumulated memory: 38832 KiB

[startup+0.701604 s]
/proc/loadavg: 1.70 1.65 1.67 5/215 31975
/proc/meminfo: memFree=31530904/32770624 swapFree=67108764/67108860
[pid=31959] ppid=31956 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31959/stat : 31959 (xcsp3-exec) S 31956 31959 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117267478 9740288 345 18446744073709551615 4194304 5098028 140720672350960 140720672349064 139646253306492 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 32903168 140720672358776 140720672358981 140720672358981 140720672362475 0
/proc/31959/statm: 2378 345 289 221 0 87 0
[pid=31961] ppid=31959 vsize=13978684 memory=70048 CPUtime=1.24 cores=1,3,5,7
/proc/31961/stat : 31961 (java) S 31959 31959 4674 0 -1 1077944320 12190 0 0 0 118 6 0 0 20 0 15 0 117267488 14314172416 17512 18446744073709551615 4194304 4196468 140727043062272 140727043044816 139860763868919 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
/proc/31961/statm: 3494671 17512 3169 1 0 3482964 0
[pid=31961/tid=31962] ppid=31959 vsize=13978684 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/31961/task/31962/stat : 31962 (java) R 31959 31959 4674 0 -1 4202560 7988 0 0 0 49 4 0 0 20 0 15 0 117267488 14314172416 17512 18446744073709551615 4194304 4196468 140727043062272 139860768107512 139860746331628 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31963] ppid=31959 vsize=13978684 memory=164 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31963/stat : 31963 (java) S 31959 31959 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117267489 14314172416 17512 18446744073709551615 4194304 4196468 140727043062272 139860720835600 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31964] ppid=31959 vsize=13978684 memory=83396 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31964/stat : 31964 (java) S 31959 31959 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117267489 14314172416 17512 18446744073709551615 4194304 4196468 140727043062272 139860719783056 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31965] ppid=31959 vsize=13978684 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31965/stat : 31965 (java) S 31959 31959 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117267489 14314172416 17512 18446744073709551615 4194304 4196468 140727043062272 139860718730000 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31966] ppid=31959 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31966/stat : 31966 (java) S 31959 31959 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117267489 14314172416 17512 18446744073709551615 4194304 4196468 140727043062272 139860717677456 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31967] ppid=31959 vsize=13978684 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31967/stat : 31967 (java) S 31959 31959 4674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117267490 14314172416 17512 18446744073709551615 4194304 4196468 140727043062272 139860309580016 139860763880066 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31968] ppid=31959 vsize=13978684 memory=3041 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31968/stat : 31968 (java) S 31959 31959 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117267491 14314172416 17512 18446744073709551615 4194304 4196468 140727043062272 139860241278112 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31969] ppid=31959 vsize=13978684 memory=15457 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31969/stat : 31969 (java) S 31959 31959 4674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117267491 14314172416 17512 18446744073709551615 4194304 4196468 140727043062272 139860240225008 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31970] ppid=31959 vsize=13978684 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31970/stat : 31970 (java) S 31959 31959 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117267493 14314172416 17512 18446744073709551615 4194304 4196468 140727043062272 139860239173584 139860763887515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31971] ppid=31959 vsize=13978684 memory=6628 CPUtime=0.2 cores=1,3,5,7
/proc/31961/task/31971/stat : 31971 (java) S 31959 31959 4674 0 -1 1077944384 1101 0 0 0 20 0 0 0 20 0 15 0 117267493 14314172416 17512 18446744073709551615 4194304 4196468 140727043062272 139860238121712 139860763880066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31972] ppid=31959 vsize=13978684 memory=8836 CPUtime=0.17 cores=1,3,5,7
/proc/31961/task/31972/stat : 31972 (java) R 31959 31959 4674 0 -1 4202560 381 0 0 0 17 0 0 0 20 0 15 0 117267493 14314172416 17512 18446744073709551615 4194304 4196468 140727043062272 139860237069168 139860743088125 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31973] ppid=31959 vsize=13978684 memory=11044 CPUtime=0.31 cores=1,3,5,7
/proc/31961/task/31973/stat : 31973 (java) S 31959 31959 4674 0 -1 1077944384 1412 0 0 0 31 0 0 0 20 0 15 0 117267493 14314172416 17512 18446744073709551615 4194304 4196468 140727043062272 139860236016112 139860763880066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31974] ppid=31959 vsize=13978684 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31974/stat : 31974 (java) S 31959 31959 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117267494 14314172416 17512 18446744073709551615 4194304 4196468 140727043062272 139860234963808 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31975] ppid=31959 vsize=13978684 memory=15460 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31975/stat : 31975 (java) S 31959 31959 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117267499 14314172416 17512 18446744073709551615 4194304 4196468 140727043062272 139860233910832 139860763880066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 71428 KiB

[startup+1.50085 s]
/proc/loadavg: 1.70 1.65 1.67 5/215 31975
/proc/meminfo: memFree=31491876/32770624 swapFree=67108764/67108860
[pid=31959] ppid=31956 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31959/stat : 31959 (xcsp3-exec) S 31956 31959 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117267478 9740288 345 18446744073709551615 4194304 5098028 140720672350960 140720672349064 139646253306492 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 32903168 140720672358776 140720672358981 140720672358981 140720672362475 0
/proc/31959/statm: 2378 345 289 221 0 87 0
[pid=31961] ppid=31959 vsize=13980732 memory=114892 CPUtime=3.44 cores=1,3,5,7
/proc/31961/stat : 31961 (java) S 31959 31959 4674 0 -1 1077944320 21134 0 0 0 335 9 0 0 20 0 15 0 117267488 14316269568 28723 18446744073709551615 4194304 4196468 140727043062272 140727043044816 139860763868919 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
/proc/31961/statm: 3495183 28723 3193 1 0 3483476 0
[pid=31961/tid=31962] ppid=31959 vsize=13980732 memory=1836501173761 CPUtime=1.33 cores=1,3,5,7
/proc/31961/task/31962/stat : 31962 (java) R 31959 31959 4674 0 -1 4202560 9478 0 0 0 128 5 0 0 20 0 15 0 117267488 14316269568 28723 18446744073709551615 4194304 4196468 140727043062272 139860768108080 139860763880854 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31963] ppid=31959 vsize=13980732 memory=1905220648961 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31963/stat : 31963 (java) S 31959 31959 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117267489 14316269568 28723 18446744073709551615 4194304 4196468 140727043062272 139860720835600 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31964] ppid=31959 vsize=13980732 memory=101584 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31964/stat : 31964 (java) S 31959 31959 4674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117267489 14316269568 28723 18446744073709551615 4194304 4196468 140727043062272 139860719783056 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31965] ppid=31959 vsize=13980732 memory=95888 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31965/stat : 31965 (java) S 31959 31959 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117267489 14316269568 28723 18446744073709551615 4194304 4196468 140727043062272 139860718730000 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31966] ppid=31959 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31966/stat : 31966 (java) S 31959 31959 4674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117267489 14316269568 28723 18446744073709551615 4194304 4196468 140727043062272 139860717677456 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31967] ppid=31959 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31967/stat : 31967 (java) S 31959 31959 4674 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 117267490 14316269568 28723 18446744073709551615 4194304 4196468 140727043062272 139860309580016 139860763880066 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31968] ppid=31959 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31968/stat : 31968 (java) S 31959 31959 4674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117267491 14316269568 28723 18446744073709551615 4194304 4196468 140727043062272 139860241278112 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31969] ppid=31959 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7

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

/proc/31961/task/31969/stat : 31969 (java) S 31959 31959 4674 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 117267491 14316269568 431185 18446744073709551615 4194304 4196468 140727043062272 139860240225008 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31970] ppid=31959 vsize=13980732 memory=4148 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31970/stat : 31970 (java) S 31959 31959 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117267493 14316269568 431185 18446744073709551615 4194304 4196468 140727043062272 139860239173584 139860763887515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31971] ppid=31959 vsize=13980732 memory=1380 CPUtime=2.51 cores=1,3,5,7
/proc/31961/task/31971/stat : 31971 (java) S 31959 31959 4674 0 -1 1077944384 16952 0 0 0 248 3 0 0 20 0 15 0 117267493 14316269568 431185 18446744073709551615 4194304 4196468 140727043062272 139860238121712 139860763880066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31972] ppid=31959 vsize=13980732 memory=1380 CPUtime=2.72 cores=1,3,5,7
/proc/31961/task/31972/stat : 31972 (java) S 31959 31959 4674 0 -1 1077944384 16080 0 0 0 270 2 0 0 20 0 15 0 117267493 14316269568 431185 18446744073709551615 4194304 4196468 140727043062272 139860237069168 139860763880066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31973] ppid=31959 vsize=13980732 memory=1724740 CPUtime=0.75 cores=1,3,5,7
/proc/31961/task/31973/stat : 31973 (java) S 31959 31959 4674 0 -1 1077944384 9465 0 0 0 73 2 0 0 20 0 15 0 117267493 14316269568 431185 18446744073709551615 4194304 4196468 140727043062272 139860236016112 139860763880066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31974] ppid=31959 vsize=13980732 memory=3908 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31974/stat : 31974 (java) S 31959 31959 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117267494 14316269568 431185 18446744073709551615 4194304 4196468 140727043062272 139860234963808 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31975] ppid=31959 vsize=13980732 memory=2932 CPUtime=0.62 cores=1,3,5,7
/proc/31961/task/31975/stat : 31975 (java) S 31959 31959 4674 0 -1 1077944384 1167 0 0 0 26 36 0 0 20 0 15 0 117267499 14316269568 431185 18446744073709551615 4194304 4196468 140727043062272 139860233910832 139860763880066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
Current children cumulated CPU time: 2394.12 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1726120 KiB

[startup+2442.3 s]
/proc/loadavg: 1.72 1.61 1.66 3/216 32233
/proc/meminfo: memFree=29792160/32770624 swapFree=67108764/67108860
[pid=31959] ppid=31956 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31959/stat : 31959 (xcsp3-exec) S 31956 31959 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117267478 9740288 345 18446744073709551615 4194304 5098028 140720672350960 140720672349064 139646253306492 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 32903168 140720672358776 140720672358981 140720672358981 140720672362475 0
/proc/31959/statm: 2378 345 289 221 0 87 0
[pid=31961] ppid=31959 vsize=13980732 memory=1758320 CPUtime=2454.35 cores=1,3,5,7
/proc/31961/stat : 31961 (java) S 31959 31959 4674 0 -1 1077944320 148662 0 0 0 245267 168 0 0 20 0 15 0 117267488 14316269568 439580 18446744073709551615 4194304 4196468 140727043062272 140727043044816 139860763868919 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
/proc/31961/statm: 3495183 439580 3254 1 0 3483476 0
[pid=31961/tid=31962] ppid=31959 vsize=13980732 memory=3240 CPUtime=2438.72 cores=1,3,5,7
/proc/31961/task/31962/stat : 31962 (java) R 31959 31959 4674 0 -1 4202560 67832 0 0 0 243801 71 0 0 20 0 15 0 117267488 14316269568 439580 18446744073709551615 4194304 4196468 140727043062272 139860768108304 139860397951162 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31963] ppid=31959 vsize=13980732 memory=1380 CPUtime=2.02 cores=1,3,5,7
/proc/31961/task/31963/stat : 31963 (java) S 31959 31959 4674 0 -1 1077944384 8944 0 0 0 188 14 0 0 20 0 15 0 117267489 14316269568 439580 18446744073709551615 4194304 4196468 140727043062272 139860720835600 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31964] ppid=31959 vsize=13980732 memory=1758320 CPUtime=2.03 cores=1,3,5,7
/proc/31961/task/31964/stat : 31964 (java) S 31959 31959 4674 0 -1 1077944384 5296 0 0 0 191 12 0 0 20 0 15 0 117267489 14316269568 439580 18446744073709551615 4194304 4196468 140727043062272 139860719783056 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31965] ppid=31959 vsize=13980732 memory=1758320 CPUtime=2.03 cores=1,3,5,7
/proc/31961/task/31965/stat : 31965 (java) S 31959 31959 4674 0 -1 1077944384 8584 0 0 0 189 14 0 0 20 0 15 0 117267489 14316269568 439580 18446744073709551615 4194304 4196468 140727043062272 139860718730000 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31966] ppid=31959 vsize=13980732 memory=1758320 CPUtime=2.02 cores=1,3,5,7
/proc/31961/task/31966/stat : 31966 (java) S 31959 31959 4674 0 -1 1077944384 7152 0 0 0 188 14 0 0 20 0 15 0 117267489 14316269568 439580 18446744073709551615 4194304 4196468 140727043062272 139860717677456 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31967] ppid=31959 vsize=13980732 memory=1380 CPUtime=0.81 cores=1,3,5,7
/proc/31961/task/31967/stat : 31967 (java) S 31959 31959 4674 0 -1 1077944384 5818 0 0 0 72 9 0 0 20 0 15 0 117267490 14316269568 439580 18446744073709551615 4194304 4196468 140727043062272 139860309580016 139860763880066 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31968] ppid=31959 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31968/stat : 31968 (java) S 31959 31959 4674 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 117267491 14316269568 439580 18446744073709551615 4194304 4196468 140727043062272 139860241278112 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31969] ppid=31959 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31969/stat : 31969 (java) S 31959 31959 4674 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 117267491 14316269568 439580 18446744073709551615 4194304 4196468 140727043062272 139860240225008 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31970] ppid=31959 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31970/stat : 31970 (java) S 31959 31959 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117267493 14316269568 439580 18446744073709551615 4194304 4196468 140727043062272 139860239173584 139860763887515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31971] ppid=31959 vsize=13980732 memory=1754440 CPUtime=2.51 cores=1,3,5,7
/proc/31961/task/31971/stat : 31971 (java) S 31959 31959 4674 0 -1 1077944384 16952 0 0 0 248 3 0 0 20 0 15 0 117267493 14316269568 439580 18446744073709551615 4194304 4196468 140727043062272 139860238121712 139860763880066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31972] ppid=31959 vsize=13980732 memory=1754440 CPUtime=2.72 cores=1,3,5,7
/proc/31961/task/31972/stat : 31972 (java) S 31959 31959 4674 0 -1 1077944384 16080 0 0 0 270 2 0 0 20 0 15 0 117267493 14316269568 439580 18446744073709551615 4194304 4196468 140727043062272 139860237069168 139860763880066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31973] ppid=31959 vsize=13980732 memory=1380 CPUtime=0.75 cores=1,3,5,7
/proc/31961/task/31973/stat : 31973 (java) S 31959 31959 4674 0 -1 1077944384 9465 0 0 0 73 2 0 0 20 0 15 0 117267493 14316269568 439580 18446744073709551615 4194304 4196468 140727043062272 139860236016112 139860763880066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31974] ppid=31959 vsize=13980732 memory=1758320 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31974/stat : 31974 (java) S 31959 31959 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117267494 14316269568 439580 18446744073709551615 4194304 4196468 140727043062272 139860234963808 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31975] ppid=31959 vsize=13980732 memory=1380 CPUtime=0.65 cores=1,3,5,7
/proc/31961/task/31975/stat : 31975 (java) S 31959 31959 4674 0 -1 1077944384 1171 0 0 0 27 38 0 0 20 0 15 0 117267499 14316269568 439580 18446744073709551615 4194304 4196468 140727043062272 139860233910832 139860763880066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
Current children cumulated CPU time: 2454.35 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1759700 KiB

[startup+2502.3 s]
/proc/loadavg: 1.54 1.57 1.64 3/216 32235
/proc/meminfo: memFree=29765008/32770624 swapFree=67108764/67108860
[pid=31959] ppid=31956 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31959/stat : 31959 (xcsp3-exec) S 31956 31959 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117267478 9740288 345 18446744073709551615 4194304 5098028 140720672350960 140720672349064 139646253306492 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 32903168 140720672358776 140720672358981 140720672358981 140720672362475 0
/proc/31959/statm: 2378 345 289 221 0 87 0
[pid=31961] ppid=31959 vsize=13980732 memory=1779088 CPUtime=2514.53 cores=1,3,5,7
/proc/31961/stat : 31961 (java) S 31959 31959 4674 0 -1 1077944320 179863 0 0 0 251281 172 0 0 20 0 15 0 117267488 14316269568 444772 18446744073709551615 4194304 4196468 140727043062272 140727043044816 139860763868919 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
/proc/31961/statm: 3495183 444772 3254 1 0 3483476 0
[pid=31961/tid=31962] ppid=31959 vsize=13980732 memory=1380 CPUtime=2498.64 cores=1,3,5,7
/proc/31961/task/31962/stat : 31962 (java) R 31959 31959 4674 0 -1 4202560 97092 0 0 0 249791 73 0 0 20 0 15 0 117267488 14316269568 444772 18446744073709551615 4194304 4196468 140727043062272 139860768108480 139860399032898 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31963] ppid=31959 vsize=13980732 memory=1779088 CPUtime=2.07 cores=1,3,5,7
/proc/31961/task/31963/stat : 31963 (java) S 31959 31959 4674 0 -1 1077944384 9315 0 0 0 193 14 0 0 20 0 15 0 117267489 14316269568 444772 18446744073709551615 4194304 4196468 140727043062272 139860720835600 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31964] ppid=31959 vsize=13980732 memory=1779088 CPUtime=2.09 cores=1,3,5,7
/proc/31961/task/31964/stat : 31964 (java) S 31959 31959 4674 0 -1 1077944384 5535 0 0 0 197 12 0 0 20 0 15 0 117267489 14316269568 444772 18446744073709551615 4194304 4196468 140727043062272 139860719783056 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31965] ppid=31959 vsize=13980732 memory=1779088 CPUtime=2.09 cores=1,3,5,7
/proc/31961/task/31965/stat : 31965 (java) S 31959 31959 4674 0 -1 1077944384 8807 0 0 0 195 14 0 0 20 0 15 0 117267489 14316269568 444772 18446744073709551615 4194304 4196468 140727043062272 139860718730000 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31966] ppid=31959 vsize=13980732 memory=1779088 CPUtime=2.08 cores=1,3,5,7
/proc/31961/task/31966/stat : 31966 (java) S 31959 31959 4674 0 -1 1077944384 8038 0 0 0 194 14 0 0 20 0 15 0 117267489 14316269568 444772 18446744073709551615 4194304 4196468 140727043062272 139860717677456 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31967] ppid=31959 vsize=13980732 memory=1380 CPUtime=0.82 cores=1,3,5,7
/proc/31961/task/31967/stat : 31967 (java) S 31959 31959 4674 0 -1 1077944384 6003 0 0 0 73 9 0 0 20 0 15 0 117267490 14316269568 444772 18446744073709551615 4194304 4196468 140727043062272 139860309580016 139860763880066 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31968] ppid=31959 vsize=13980732 memory=1774988 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31968/stat : 31968 (java) S 31959 31959 4674 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 117267491 14316269568 444772 18446744073709551615 4194304 4196468 140727043062272 139860241278112 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31969] ppid=31959 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31969/stat : 31969 (java) S 31959 31959 4674 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 117267491 14316269568 444772 18446744073709551615 4194304 4196468 140727043062272 139860240225008 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31970] ppid=31959 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31970/stat : 31970 (java) S 31959 31959 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117267493 14316269568 444772 18446744073709551615 4194304 4196468 140727043062272 139860239173584 139860763887515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31971] ppid=31959 vsize=13980732 memory=1380 CPUtime=2.51 cores=1,3,5,7
/proc/31961/task/31971/stat : 31971 (java) S 31959 31959 4674 0 -1 1077944384 16954 0 0 0 248 3 0 0 20 0 15 0 117267493 14316269568 444772 18446744073709551615 4194304 4196468 140727043062272 139860238121712 139860763880066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31972] ppid=31959 vsize=13980732 memory=1774988 CPUtime=2.72 cores=1,3,5,7
/proc/31961/task/31972/stat : 31972 (java) S 31959 31959 4674 0 -1 1077944384 16082 0 0 0 270 2 0 0 20 0 15 0 117267493 14316269568 444772 18446744073709551615 4194304 4196468 140727043062272 139860237069168 139860763880066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31973] ppid=31959 vsize=13980732 memory=1156 CPUtime=0.75 cores=1,3,5,7
/proc/31961/task/31973/stat : 31973 (java) S 31959 31959 4674 0 -1 1077944384 9467 0 0 0 73 2 0 0 20 0 15 0 117267493 14316269568 444772 18446744073709551615 4194304 4196468 140727043062272 139860236016112 139860763880066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31974] ppid=31959 vsize=13980732 memory=3168 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31974/stat : 31974 (java) S 31959 31959 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117267494 14316269568 444772 18446744073709551615 4194304 4196468 140727043062272 139860234963808 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31975] ppid=31959 vsize=13980732 memory=1779088 CPUtime=0.67 cores=1,3,5,7
/proc/31961/task/31975/stat : 31975 (java) S 31959 31959 4674 0 -1 1077944384 1202 0 0 0 28 39 0 0 20 0 15 0 117267499 14316269568 444772 18446744073709551615 4194304 4196468 140727043062272 139860233910832 139860763880066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
Current children cumulated CPU time: 2514.53 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1780468 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.8 s]
/proc/loadavg: 1.58 1.58 1.64 3/216 32236
/proc/meminfo: memFree=29762468/32770624 swapFree=67108764/67108860
[pid=31959] ppid=31956 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/31959/stat : 31959 (xcsp3-exec) S 31956 31959 4674 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117267478 9740288 345 18446744073709551615 4194304 5098028 140720672350960 140720672349064 139646253306492 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 32903168 140720672358776 140720672358981 140720672358981 140720672362475 0
/proc/31959/statm: 2378 345 289 221 0 87 0
[pid=31961] ppid=31959 vsize=13980732 memory=1783188 CPUtime=2520.07 cores=1,3,5,7
/proc/31961/stat : 31961 (java) S 31959 31959 4674 0 -1 1077944320 179907 0 0 0 251834 173 0 0 20 0 15 0 117267488 14316269568 445797 18446744073709551615 4194304 4196468 140727043062272 140727043044816 139860763868919 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
/proc/31961/statm: 3495183 445797 3254 1 0 3483476 0
[pid=31961/tid=31962] ppid=31959 vsize=13980732 memory=-8774313645642428999 CPUtime=2504.13 cores=1,3,5,7
/proc/31961/task/31962/stat : 31962 (java) R 31959 31959 4674 0 -1 4202560 97116 0 0 0 250340 73 0 0 20 0 15 0 117267488 14316269568 445797 18446744073709551615 4194304 4196468 140727043062272 139860768108592 139860400098825 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31963] ppid=31959 vsize=13980732 memory=1380 CPUtime=2.08 cores=1,3,5,7
/proc/31961/task/31963/stat : 31963 (java) S 31959 31959 4674 0 -1 1077944384 9318 0 0 0 194 14 0 0 20 0 15 0 117267489 14316269568 445797 18446744073709551615 4194304 4196468 140727043062272 139860720835600 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31964] ppid=31959 vsize=13980732 memory=4048 CPUtime=2.09 cores=1,3,5,7
/proc/31961/task/31964/stat : 31964 (java) S 31959 31959 4674 0 -1 1077944384 5539 0 0 0 197 12 0 0 20 0 15 0 117267489 14316269568 445797 18446744073709551615 4194304 4196468 140727043062272 139860719783056 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31965] ppid=31959 vsize=13980732 memory=34048 CPUtime=2.1 cores=1,3,5,7
/proc/31961/task/31965/stat : 31965 (java) S 31959 31959 4674 0 -1 1077944384 8811 0 0 0 196 14 0 0 20 0 15 0 117267489 14316269568 445797 18446744073709551615 4194304 4196468 140727043062272 139860718730000 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31966] ppid=31959 vsize=13980732 memory=1232 CPUtime=2.09 cores=1,3,5,7
/proc/31961/task/31966/stat : 31966 (java) S 31959 31959 4674 0 -1 1077944384 8046 0 0 0 195 14 0 0 20 0 15 0 117267489 14316269568 445797 18446744073709551615 4194304 4196468 140727043062272 139860717677456 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31967] ppid=31959 vsize=13980732 memory=644 CPUtime=0.82 cores=1,3,5,7
/proc/31961/task/31967/stat : 31967 (java) S 31959 31959 4674 0 -1 1077944384 6004 0 0 0 73 9 0 0 20 0 15 0 117267490 14316269568 445797 18446744073709551615 4194304 4196468 140727043062272 139860309580016 139860763880066 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31968] ppid=31959 vsize=13980732 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31968/stat : 31968 (java) S 31959 31959 4674 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 117267491 14316269568 445797 18446744073709551615 4194304 4196468 140727043062272 139860241278112 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31969] ppid=31959 vsize=13980732 memory=956 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31969/stat : 31969 (java) S 31959 31959 4674 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 117267491 14316269568 445797 18446744073709551615 4194304 4196468 140727043062272 139860240225008 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31970] ppid=31959 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31970/stat : 31970 (java) S 31959 31959 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117267493 14316269568 445797 18446744073709551615 4194304 4196468 140727043062272 139860239173584 139860763887515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31971] ppid=31959 vsize=13980732 memory=4288 CPUtime=2.51 cores=1,3,5,7
/proc/31961/task/31971/stat : 31971 (java) S 31959 31959 4674 0 -1 1077944384 16954 0 0 0 248 3 0 0 20 0 15 0 117267493 14316269568 445797 18446744073709551615 4194304 4196468 140727043062272 139860238121712 139860763880066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31972] ppid=31959 vsize=13980732 memory=1608 CPUtime=2.72 cores=1,3,5,7
/proc/31961/task/31972/stat : 31972 (java) S 31959 31959 4674 0 -1 1077944384 16082 0 0 0 270 2 0 0 20 0 15 0 117267493 14316269568 445797 18446744073709551615 4194304 4196468 140727043062272 139860237069168 139860763880066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31973] ppid=31959 vsize=13980732 memory=928 CPUtime=0.75 cores=1,3,5,7
/proc/31961/task/31973/stat : 31973 (java) S 31959 31959 4674 0 -1 1077944384 9467 0 0 0 73 2 0 0 20 0 15 0 117267493 14316269568 445797 18446744073709551615 4194304 4196468 140727043062272 139860236016112 139860763880066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31974] ppid=31959 vsize=13980732 memory=2164 CPUtime=0 cores=1,3,5,7
/proc/31961/task/31974/stat : 31974 (java) S 31959 31959 4674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117267494 14316269568 445797 18446744073709551615 4194304 4196468 140727043062272 139860234963808 139860763879125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
[pid=31961/tid=31975] ppid=31959 vsize=13980732 memory=844 CPUtime=0.67 cores=1,3,5,7
/proc/31961/task/31975/stat : 31975 (java) S 31959 31959 4674 0 -1 1077944384 1202 0 0 0 28 39 0 0 20 0 15 0 117267499 14316269568 445797 18446744073709551615 4194304 4196468 140727043062272 139860233910832 139860763880066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10731520 140727043064241 140727043064417 140727043064417 140727043067855 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1784568 KiB

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

[startup+2507.81 s]
# the end of solver process 31959 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001877 s, system=0.000126 s

[startup+2507.83 s]
# the end of solver process 31961 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.35 s, system=1.75081 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): 2507.83
CPU time (s): 2520.11
CPU user time (s): 2518.35
CPU system time (s): 1.75081
CPU usage (%): 100.49
Max. virtual memory (cumulated for all children) (KiB): 13992316
Max. memory (cumulated for all children) (KiB): 2425748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.35
system time used= 1.75081
maximum resident set size= 2482012
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180651
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76874
involuntary context switches= 2961


# summary of solver processes directly reported to runsolver:
#   pid: 31959,31961
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2518.35
#   total CPU system time (s): 1.75081

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2445 second user time and 23.5237 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 4269331

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