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-18)	SAT (TO)	274	2520.1101	2507.05

0.00/0.07	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4282081-1503104208.xml"  -tl '2520s' -p 1 -x 0
0.06/0.29	c [HOME/instance-4282081-1503104208.xml, -tl, 2520s, -p, 1, -x, 0]
0.25/0.35	c simple solver
0.43/0.42	c parse instance...
2.09/1.07	c solve instance...
14.65/10.51	o 252 
14.94/10.65	o 253 
15.55/10.87	o 255 
15.55/10.88	o 256 
56.25/50.22	o 257 
87.34/81.28	o 267 
1097.06/1089.29	o 270 
1099.57/1091.70	o 271 
1108.17/1100.32	o 274 
2520.05/2507.01	s SATISFIABLE
2520.05/2507.01	v <instantiation>
2520.05/2507.01	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[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.05/2507.01	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.05/2507.01	v </instantiation>
2520.05/2507.01	c Unexpected resolution interruption!

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15388 MiB free)
  memory of node 1: 16384 MiB (15507 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282081-1503104208/watcher-4282081-1503104208 -o /tmp/evaluation-result-4282081-1503104208/solver-4282081-1503104208 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503095823-17350 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 876643629 HOME/instance-4282081-1503104208.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
Current StackSize limit: 8192 KiB

solver pid=18356, runsolver pid=18353

[startup+0.100111 s]*
/proc/loadavg: 1.82 1.90 1.88 3/205 18365
/proc/meminfo: memFree=31628352/32770624 swapFree=67108860/67108860
[pid=18356] ppid=18353 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/18356/stat : 18356 (xcsp3-exec) S 18353 18356 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 8829906 9740288 344 18446744073709551615 4194304 5098028 140733961026448 140733961024552 140247472308860 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 16723968 140733961032058 140733961032262 140733961032262 140733961035755 0
/proc/18356/statm: 2378 344 289 221 0 87 0
[pid=18358] ppid=18356 vsize=13574484 memory=17988 CPUtime=0.02 cores=0,2,4,6
/proc/18358/stat : 18358 (java) S 18356 18356 17292 0 -1 1077944320 3834 0 0 0 2 0 0 0 20 0 9 0 8829913 13900271616 4497 18446744073709551615 4194304 4196468 140720388865152 140720388847696 140328699277047 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
/proc/18358/statm: 3393621 4497 2086 1 0 3383118 0
[pid=18358/tid=18359] ppid=18356 vsize=13574484 memory=-8713483618642457695 CPUtime=0.02 cores=0,2,4,6
/proc/18358/task/18359/stat : 18359 (java) R 18356 18356 17292 0 -1 4202560 2538 0 0 0 2 0 0 0 20 0 9 0 8829913 13900271616 4497 18446744073709551615 4194304 4196468 140720388865152 140328703513096 140328699298973 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18360] ppid=18356 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18360/stat : 18360 (java) S 18356 18356 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 8829914 13900271616 4497 18446744073709551615 4194304 4196468 140720388865152 140328662382992 140328699287253 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18361] ppid=18356 vsize=13574484 memory=140485378401920 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18361/stat : 18361 (java) S 18356 18356 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 8829914 13900271616 4497 18446744073709551615 4194304 4196468 140720388865152 140328298690832 140328699287253 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18362] ppid=18356 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18362/stat : 18362 (java) S 18356 18356 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 8829914 13900271616 4497 18446744073709551615 4194304 4196468 140720388865152 140328297638544 140328699287253 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18363] ppid=18356 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18363/stat : 18363 (java) S 18356 18356 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 8829914 13900271616 4497 18446744073709551615 4194304 4196468 140720388865152 140328296585744 140328699287253 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18364] ppid=18356 vsize=13574484 memory=140485378401920 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18364/stat : 18364 (java) S 18356 18356 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 8829916 13900271616 4497 18446744073709551615 4194304 4196468 140720388865152 140327615928944 140328699288194 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18365] ppid=18356 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18365/stat : 18365 (java) S 18356 18356 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 8829916 13900271616 4497 18446744073709551615 4194304 4196468 140720388865152 140327614874912 140328699287253 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18366] ppid=18356 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18366/stat : 18366 (java) S 18356 18356 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 8829916 13900271616 4497 18446744073709551615 4194304 4196468 140720388865152 140327613822640 140328699287253 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19364 KiB

[startup+0.210084 s]*
/proc/loadavg: 1.82 1.90 1.88 2/211 18371
/proc/meminfo: memFree=31627124/32770624 swapFree=67108860/67108860
[pid=18356] ppid=18353 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/18356/stat : 18356 (xcsp3-exec) S 18353 18356 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 8829906 9740288 344 18446744073709551615 4194304 5098028 140733961026448 140733961024552 140247472308860 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 16723968 140733961032058 140733961032262 140733961032262 140733961035755 0
/proc/18356/statm: 2378 344 289 221 0 87 0
[pid=18358] ppid=18356 vsize=13974352 memory=21704 CPUtime=0.06 cores=0,2,4,6
/proc/18358/stat : 18358 (java) S 18356 18356 17292 0 -1 1077944320 4865 0 0 0 5 1 0 0 20 0 15 0 8829913 14309736448 5426 18446744073709551615 4194304 4196468 140720388865152 140720388847696 140328699277047 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
/proc/18358/statm: 3493588 5426 2718 1 0 3482964 0
[pid=18358/tid=18359] ppid=18356 vsize=13974352 memory=7311146985107750967 CPUtime=0.05 cores=0,2,4,6
/proc/18358/task/18359/stat : 18359 (java) R 18356 18356 17292 0 -1 4202560 3031 0 0 0 4 1 0 0 20 0 15 0 8829913 14309736448 5426 18446744073709551615 4194304 4196468 140720388865152 140328703507952 140328683357534 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18360] ppid=18356 vsize=13974352 memory=10613 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18360/stat : 18360 (java) S 18356 18356 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829914 14309736448 5426 18446744073709551615 4194304 4196468 140720388865152 140328662382992 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18361] ppid=18356 vsize=13974352 memory=140485378502631 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18361/stat : 18361 (java) S 18356 18356 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829914 14309736448 5426 18446744073709551615 4194304 4196468 140720388865152 140328298690832 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18362] ppid=18356 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18362/stat : 18362 (java) S 18356 18356 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829914 14309736448 5426 18446744073709551615 4194304 4196468 140720388865152 140328297638544 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18363] ppid=18356 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18363/stat : 18363 (java) S 18356 18356 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8829914 14309736448 5426 18446744073709551615 4194304 4196468 140720388865152 140328296585744 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18364] ppid=18356 vsize=13974352 memory=140485378401920 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18364/stat : 18364 (java) S 18356 18356 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8829916 14309736448 5426 18446744073709551615 4194304 4196468 140720388865152 140327615928944 140328699288194 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18365] ppid=18356 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18365/stat : 18365 (java) S 18356 18356 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8829916 14309736448 5426 18446744073709551615 4194304 4196468 140720388865152 140327614874912 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18366] ppid=18356 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18366/stat : 18366 (java) S 18356 18356 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8829916 14309736448 5426 18446744073709551615 4194304 4196468 140720388865152 140327613822576 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18367] ppid=18356 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18367/stat : 18367 (java) S 18356 18356 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829919 14309736448 5426 18446744073709551615 4194304 4196468 140720388865152 140327612770896 140328699295643 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18368] ppid=18356 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18368/stat : 18368 (java) S 18356 18356 17292 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 15 0 8829919 14309736448 5426 18446744073709551615 4194304 4196468 140720388865152 140327611717744 140328699288194 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18369] ppid=18356 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18369/stat : 18369 (java) S 18356 18356 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829919 14309736448 5426 18446744073709551615 4194304 4196468 140720388865152 140327610664944 140328699288194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18370] ppid=18356 vsize=13974352 memory=140485378401920 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18370/stat : 18370 (java) S 18356 18356 17292 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 15 0 8829919 14309736448 5426 18446744073709551615 4194304 4196468 140720388865152 140327609612656 140328699288194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18371] ppid=18356 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18371/stat : 18371 (java) S 18356 18356 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829919 14309736448 5426 18446744073709551615 4194304 4196468 140720388865152 140327608560096 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18372] ppid=18356 vsize=13974352 memory=140485378401920 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18372/stat : 18372 (java) S 18356 18356 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829927 14309736448 5426 18446744073709551615 4194304 4196468 140720388865152 140327607507888 140328699288194 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 23080 KiB

[startup+0.310243 s]*
/proc/loadavg: 1.82 1.90 1.88 3/212 18372
/proc/meminfo: memFree=31616148/32770624 swapFree=67108860/67108860
[pid=18356] ppid=18353 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/18356/stat : 18356 (xcsp3-exec) S 18353 18356 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 8829906 9740288 344 18446744073709551615 4194304 5098028 140733961026448 140733961024552 140247472308860 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 16723968 140733961032058 140733961032262 140733961032262 140733961035755 0
/proc/18356/statm: 2378 344 289 221 0 87 0
[pid=18358] ppid=18356 vsize=13975376 memory=35428 CPUtime=0.25 cores=0,2,4,6
/proc/18358/stat : 18358 (java) S 18356 18356 17292 0 -1 1077944320 7718 0 0 0 22 3 0 0 20 0 15 0 8829913 14310785024 8857 18446744073709551615 4194304 4196468 140720388865152 140720388847696 140328699277047 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
/proc/18358/statm: 3493844 8857 2925 1 0 3483220 0
[pid=18358/tid=18359] ppid=18356 vsize=13975376 memory=-8774313645642428999 CPUtime=0.15 cores=0,2,4,6
/proc/18358/task/18359/stat : 18359 (java) R 18356 18356 17292 0 -1 4202560 5082 0 0 0 13 2 0 0 20 0 15 0 8829913 14310785024 8923 18446744073709551615 4194304 4196468 140720388865152 140328703496400 140328691587979 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18360] ppid=18356 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18360/stat : 18360 (java) S 18356 18356 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829914 14310785024 8923 18446744073709551615 4194304 4196468 140720388865152 140328662382992 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18361] ppid=18356 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18361/stat : 18361 (java) S 18356 18356 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829914 14310785024 8923 18446744073709551615 4194304 4196468 140720388865152 140328298690832 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18362] ppid=18356 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18362/stat : 18362 (java) S 18356 18356 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829914 14310785024 8989 18446744073709551615 4194304 4196468 140720388865152 140328297638544 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18363] ppid=18356 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18363/stat : 18363 (java) S 18356 18356 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8829914 14310785024 8989 18446744073709551615 4194304 4196468 140720388865152 140328296585744 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18364] ppid=18356 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18364/stat : 18364 (java) S 18356 18356 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8829916 14310785024 8989 18446744073709551615 4194304 4196468 140720388865152 140327615928944 140328699288194 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18365] ppid=18356 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18365/stat : 18365 (java) S 18356 18356 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8829916 14310785024 8989 18446744073709551615 4194304 4196468 140720388865152 140327614874912 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18366] ppid=18356 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18366/stat : 18366 (java) S 18356 18356 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8829916 14310785024 8989 18446744073709551615 4194304 4196468 140720388865152 140327613822576 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18367] ppid=18356 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18367/stat : 18367 (java) S 18356 18356 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829919 14310785024 8989 18446744073709551615 4194304 4196468 140720388865152 140327612770896 140328699295643 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18368] ppid=18356 vsize=13975376 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/18358/task/18368/stat : 18368 (java) S 18356 18356 17292 0 -1 1077944384 516 0 0 0 1 0 0 0 20 0 15 0 8829919 14310785024 8989 18446744073709551615 4194304 4196468 140720388865152 140327611717744 140328699288194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18369] ppid=18356 vsize=13975376 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/18358/task/18369/stat : 18369 (java) S 18356 18356 17292 0 -1 1077944384 193 0 0 0 1 0 0 0 20 0 15 0 8829919 14310785024 8989 18446744073709551615 4194304 4196468 140720388865152 140327610664944 140328699288194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18370] ppid=18356 vsize=13975376 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/18358/task/18370/stat : 18370 (java) S 18356 18356 17292 0 -1 1077944384 697 0 0 0 5 0 0 0 20 0 15 0 8829919 14310785024 8989 18446744073709551615 4194304 4196468 140720388865152 140327609612656 140328699288194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18371] ppid=18356 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18371/stat : 18371 (java) S 18356 18356 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829919 14310785024 8989 18446744073709551615 4194304 4196468 140720388865152 140327608560096 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18372] ppid=18356 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18372/stat : 18372 (java) S 18356 18356 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829927 14310785024 8989 18446744073709551615 4194304 4196468 140720388865152 140327607507888 140328699288194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13984888 KiB
Current children cumulated memory: 36804 KiB

[startup+0.701219 s]
/proc/loadavg: 1.82 1.90 1.88 3/212 18372
/proc/meminfo: memFree=31601840/32770624 swapFree=67108860/67108860
[pid=18356] ppid=18353 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/18356/stat : 18356 (xcsp3-exec) S 18353 18356 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 8829906 9740288 344 18446744073709551615 4194304 5098028 140733961026448 140733961024552 140247472308860 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 16723968 140733961032058 140733961032262 140733961032262 140733961035755 0
/proc/18356/statm: 2378 344 289 221 0 87 0
[pid=18358] ppid=18356 vsize=13978684 memory=66252 CPUtime=1.24 cores=0,2,4,6
/proc/18358/stat : 18358 (java) S 18356 18356 17292 0 -1 1077944320 12295 0 0 0 119 5 0 0 20 0 15 0 8829913 14314172416 16563 18446744073709551615 4194304 4196468 140720388865152 140720388847696 140328699277047 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
/proc/18358/statm: 3494671 16563 3172 1 0 3482964 0
[pid=18358/tid=18359] ppid=18356 vsize=13978684 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/18358/task/18359/stat : 18359 (java) R 18356 18356 17292 0 -1 4202560 7992 0 0 0 50 3 0 0 20 0 15 0 8829913 14314172416 16563 18446744073709551615 4194304 4196468 140720388865152 140328703515024 140328343021895 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18360] ppid=18356 vsize=13978684 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18360/stat : 18360 (java) S 18356 18356 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829914 14314172416 16563 18446744073709551615 4194304 4196468 140720388865152 140328662382992 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18361] ppid=18356 vsize=13978684 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18361/stat : 18361 (java) S 18356 18356 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829914 14314172416 16563 18446744073709551615 4194304 4196468 140720388865152 140328298690832 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18362] ppid=18356 vsize=13978684 memory=5404 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18362/stat : 18362 (java) S 18356 18356 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829914 14314172416 16563 18446744073709551615 4194304 4196468 140720388865152 140328297638544 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18363] ppid=18356 vsize=13978684 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18363/stat : 18363 (java) S 18356 18356 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8829914 14314172416 16563 18446744073709551615 4194304 4196468 140720388865152 140328296585744 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18364] ppid=18356 vsize=13978684 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18364/stat : 18364 (java) S 18356 18356 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8829916 14314172416 16563 18446744073709551615 4194304 4196468 140720388865152 140327615928944 140328699288194 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18365] ppid=18356 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18365/stat : 18365 (java) S 18356 18356 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8829916 14314172416 16563 18446744073709551615 4194304 4196468 140720388865152 140327614874912 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18366] ppid=18356 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18366/stat : 18366 (java) S 18356 18356 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8829916 14314172416 16563 18446744073709551615 4194304 4196468 140720388865152 140327613822576 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18367] ppid=18356 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18367/stat : 18367 (java) S 18356 18356 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829919 14314172416 16563 18446744073709551615 4194304 4196468 140720388865152 140327612770896 140328699295643 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18368] ppid=18356 vsize=13978684 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/18358/task/18368/stat : 18368 (java) R 18356 18356 17292 0 -1 4202560 966 0 0 0 18 0 0 0 20 0 15 0 8829919 14314172416 16563 18446744073709551615 4194304 4196468 140720388865152 140327611704312 140328678466496 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18369] ppid=18356 vsize=13978684 memory=2 CPUtime=0.19 cores=0,2,4,6
/proc/18358/task/18369/stat : 18369 (java) R 18356 18356 17292 0 -1 4202560 637 0 0 0 19 0 0 0 20 0 15 0 8829919 14314172416 16563 18446744073709551615 4194304 4196468 140720388865152 140327610646672 140328679977344 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18370] ppid=18356 vsize=13978684 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/18358/task/18370/stat : 18370 (java) S 18356 18356 17292 0 -1 1077944384 1393 0 0 0 31 0 0 0 20 0 15 0 8829919 14314172416 16563 18446744073709551615 4194304 4196468 140720388865152 140327609612656 140328699288194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18371] ppid=18356 vsize=13978684 memory=3 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18371/stat : 18371 (java) S 18356 18356 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829919 14314172416 16563 18446744073709551615 4194304 4196468 140720388865152 140327608560096 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18372] ppid=18356 vsize=13978684 memory=12 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18372/stat : 18372 (java) S 18356 18356 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829927 14314172416 16563 18446744073709551615 4194304 4196468 140720388865152 140327607507888 140328699288194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 67628 KiB

[startup+1.50081 s]
/proc/loadavg: 1.82 1.90 1.88 5/212 18372
/proc/meminfo: memFree=31561716/32770624 swapFree=67108860/67108860
[pid=18356] ppid=18353 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/18356/stat : 18356 (xcsp3-exec) S 18353 18356 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 8829906 9740288 344 18446744073709551615 4194304 5098028 140733961026448 140733961024552 140247472308860 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 16723968 140733961032058 140733961032262 140733961032262 140733961035755 0
/proc/18356/statm: 2378 344 289 221 0 87 0
[pid=18358] ppid=18356 vsize=13980732 memory=112676 CPUtime=3.5 cores=0,2,4,6
/proc/18358/stat : 18358 (java) S 18356 18356 17292 0 -1 1077944320 20259 0 0 0 344 6 0 0 20 0 15 0 8829913 14316269568 28169 18446744073709551615 4194304 4196468 140720388865152 140720388847696 140328699277047 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
/proc/18358/statm: 3495183 28169 3189 1 0 3483476 0
[pid=18358/tid=18359] ppid=18356 vsize=13980732 memory=0 CPUtime=1.32 cores=0,2,4,6
/proc/18358/task/18359/stat : 18359 (java) R 18356 18356 17292 0 -1 4202560 9169 0 0 0 129 3 0 0 20 0 15 0 8829913 14316269568 28169 18446744073709551615 4194304 4196468 140720388865152 140328703513680 140328346068944 0 4 1 16800974 0 0 0 -1 2 0 0 7 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18360] ppid=18356 vsize=13980732 memory=280970452509696 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18360/stat : 18360 (java) S 18356 18356 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829914 14316269568 28169 18446744073709551615 4194304 4196468 140720388865152 140328662382992 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18361] ppid=18356 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18361/stat : 18361 (java) S 18356 18356 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829914 14316269568 28169 18446744073709551615 4194304 4196468 140720388865152 140328298690832 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18362] ppid=18356 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18362/stat : 18362 (java) S 18356 18356 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8829914 14316269568 28169 18446744073709551615 4194304 4196468 140720388865152 140328297638544 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18363] ppid=18356 vsize=13980732 memory=-8823246064971903881 CPUtime=0 cores=0,2,4,6

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

/proc/18358/task/18366/stat : 18366 (java) S 18356 18356 17292 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 8829916 14316269568 438716 18446744073709551615 4194304 4196468 140720388865152 140327613822576 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18367] ppid=18356 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18367/stat : 18367 (java) S 18356 18356 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829919 14316269568 438716 18446744073709551615 4194304 4196468 140720388865152 140327612770896 140328699295643 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18368] ppid=18356 vsize=13980732 memory=1716036 CPUtime=2.82 cores=0,2,4,6
/proc/18358/task/18368/stat : 18368 (java) S 18356 18356 17292 0 -1 1077944384 14987 0 0 0 279 3 0 0 20 0 15 0 8829919 14316269568 438716 18446744073709551615 4194304 4196468 140720388865152 140327611717744 140328699288194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18369] ppid=18356 vsize=13980732 memory=1744372 CPUtime=3.13 cores=0,2,4,6
/proc/18358/task/18369/stat : 18369 (java) S 18356 18356 17292 0 -1 1077944384 17253 0 0 0 311 2 0 0 20 0 15 0 8829919 14316269568 438716 18446744073709551615 4194304 4196468 140720388865152 140327610664944 140328699288194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18370] ppid=18356 vsize=13980732 memory=1746420 CPUtime=0.75 cores=0,2,4,6
/proc/18358/task/18370/stat : 18370 (java) S 18356 18356 17292 0 -1 1077944384 8784 0 0 0 74 1 0 0 20 0 15 0 8829919 14316269568 438716 18446744073709551615 4194304 4196468 140720388865152 140327609612656 140328699288194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18371] ppid=18356 vsize=13980732 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18371/stat : 18371 (java) S 18356 18356 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829919 14316269568 438716 18446744073709551615 4194304 4196468 140720388865152 140327608560096 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18372] ppid=18356 vsize=13980732 memory=1228 CPUtime=0.78 cores=0,2,4,6
/proc/18358/task/18372/stat : 18372 (java) S 18356 18356 17292 0 -1 1077944384 1362 0 0 0 36 42 0 0 20 0 15 0 8829927 14316269568 438716 18446744073709551615 4194304 4196468 140720388865152 140327607507888 140328699288194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
Current children cumulated CPU time: 2394.87 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1756240 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 1.87 1.74 3/212 18654
/proc/meminfo: memFree=29127464/32770624 swapFree=67108860/67108860
[pid=18356] ppid=18353 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/18356/stat : 18356 (xcsp3-exec) S 18353 18356 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 8829906 9740288 344 18446744073709551615 4194304 5098028 140733961026448 140733961024552 140247472308860 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 16723968 140733961032058 140733961032262 140733961032262 140733961035755 0
/proc/18356/statm: 2378 344 289 221 0 87 0
[pid=18358] ppid=18356 vsize=13980732 memory=1781612 CPUtime=2455.08 cores=0,2,4,6
/proc/18358/stat : 18358 (java) S 18356 18356 17292 0 -1 1077944320 131481 0 0 0 245345 163 0 0 20 0 15 0 8829913 14316269568 445403 18446744073709551615 4194304 4196468 140720388865152 140720388847696 140328699277047 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
/proc/18358/statm: 3495183 445403 3249 1 0 3483476 0
[pid=18358/tid=18359] ppid=18356 vsize=13980732 memory=1781612 CPUtime=2438.52 cores=0,2,4,6
/proc/18358/task/18359/stat : 18359 (java) R 18356 18356 17292 0 -1 4202560 58478 0 0 0 243782 70 0 0 20 0 15 0 8829913 14316269568 445403 18446744073709551615 4194304 4196468 140720388865152 140328703516608 140328348084992 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18360] ppid=18356 vsize=13980732 memory=1781612 CPUtime=2.02 cores=0,2,4,6
/proc/18358/task/18360/stat : 18360 (java) S 18356 18356 17292 0 -1 1077944384 6845 0 0 0 189 13 0 0 20 0 15 0 8829914 14316269568 445403 18446744073709551615 4194304 4196468 140720388865152 140328662382992 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18361] ppid=18356 vsize=13980732 memory=1781612 CPUtime=2.02 cores=0,2,4,6
/proc/18358/task/18361/stat : 18361 (java) S 18356 18356 17292 0 -1 1077944384 5524 0 0 0 191 11 0 0 20 0 15 0 8829914 14316269568 445403 18446744073709551615 4194304 4196468 140720388865152 140328298690832 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18362] ppid=18356 vsize=13980732 memory=1376 CPUtime=2.01 cores=0,2,4,6
/proc/18358/task/18362/stat : 18362 (java) S 18356 18356 17292 0 -1 1077944384 5827 0 0 0 190 11 0 0 20 0 15 0 8829914 14316269568 445403 18446744073709551615 4194304 4196468 140720388865152 140328297638544 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18363] ppid=18356 vsize=13980732 memory=1781612 CPUtime=2.02 cores=0,2,4,6
/proc/18358/task/18363/stat : 18363 (java) S 18356 18356 17292 0 -1 1077944384 6654 0 0 0 189 13 0 0 20 0 15 0 8829914 14316269568 445403 18446744073709551615 4194304 4196468 140720388865152 140328296585744 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18364] ppid=18356 vsize=13980732 memory=1376 CPUtime=0.88 cores=0,2,4,6
/proc/18358/task/18364/stat : 18364 (java) S 18356 18356 17292 0 -1 1077944384 4394 0 0 0 82 6 0 0 20 0 15 0 8829916 14316269568 445403 18446744073709551615 4194304 4196468 140720388865152 140327615928944 140328699288194 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18365] ppid=18356 vsize=13980732 memory=1781612 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18365/stat : 18365 (java) S 18356 18356 17292 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 8829916 14316269568 445403 18446744073709551615 4194304 4196468 140720388865152 140327614874912 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18366] ppid=18356 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18366/stat : 18366 (java) S 18356 18356 17292 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 8829916 14316269568 445403 18446744073709551615 4194304 4196468 140720388865152 140327613822576 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18367] ppid=18356 vsize=13980732 memory=1776892 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18367/stat : 18367 (java) S 18356 18356 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829919 14316269568 445403 18446744073709551615 4194304 4196468 140720388865152 140327612770896 140328699295643 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18368] ppid=18356 vsize=13980732 memory=1781612 CPUtime=2.82 cores=0,2,4,6
/proc/18358/task/18368/stat : 18368 (java) S 18356 18356 17292 0 -1 1077944384 14988 0 0 0 279 3 0 0 20 0 15 0 8829919 14316269568 445403 18446744073709551615 4194304 4196468 140720388865152 140327611717744 140328699288194 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18369] ppid=18356 vsize=13980732 memory=1781612 CPUtime=3.13 cores=0,2,4,6
/proc/18358/task/18369/stat : 18369 (java) S 18356 18356 17292 0 -1 1077944384 17253 0 0 0 311 2 0 0 20 0 15 0 8829919 14316269568 445403 18446744073709551615 4194304 4196468 140720388865152 140327610664944 140328699288194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18370] ppid=18356 vsize=13980732 memory=1781612 CPUtime=0.75 cores=0,2,4,6
/proc/18358/task/18370/stat : 18370 (java) S 18356 18356 17292 0 -1 1077944384 8784 0 0 0 74 1 0 0 20 0 15 0 8829919 14316269568 445403 18446744073709551615 4194304 4196468 140720388865152 140327609612656 140328699288194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18371] ppid=18356 vsize=13980732 memory=1781612 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18371/stat : 18371 (java) S 18356 18356 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829919 14316269568 445403 18446744073709551615 4194304 4196468 140720388865152 140327608560096 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18372] ppid=18356 vsize=13980732 memory=4124 CPUtime=0.8 cores=0,2,4,6
/proc/18358/task/18372/stat : 18372 (java) S 18356 18356 17292 0 -1 1077944384 1379 0 0 0 37 43 0 0 20 0 15 0 8829927 14316269568 445403 18446744073709551615 4194304 4196468 140720388865152 140327607507888 140328699288194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
Current children cumulated CPU time: 2455.08 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1782988 KiB

[startup+2502.3 s]
/proc/loadavg: 1.98 1.88 1.75 3/212 18656
/proc/meminfo: memFree=29100172/32770624 swapFree=67108860/67108860
[pid=18356] ppid=18353 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/18356/stat : 18356 (xcsp3-exec) S 18353 18356 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 8829906 9740288 344 18446744073709551615 4194304 5098028 140733961026448 140733961024552 140247472308860 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 16723968 140733961032058 140733961032262 140733961032262 140733961035755 0
/proc/18356/statm: 2378 344 289 221 0 87 0
[pid=18358] ppid=18356 vsize=13980732 memory=1808568 CPUtime=2515.31 cores=0,2,4,6
/proc/18358/stat : 18358 (java) S 18356 18356 17292 0 -1 1077944320 155013 0 0 0 251362 169 0 0 20 0 15 0 8829913 14316269568 452142 18446744073709551615 4194304 4196468 140720388865152 140720388847696 140328699277047 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
/proc/18358/statm: 3495183 452142 3249 1 0 3483476 0
[pid=18358/tid=18359] ppid=18356 vsize=13980732 memory=1805328 CPUtime=2498.43 cores=0,2,4,6
/proc/18358/task/18359/stat : 18359 (java) R 18356 18356 17292 0 -1 4202560 81025 0 0 0 249771 72 0 0 20 0 15 0 8829913 14316269568 452142 18446744073709551615 4194304 4196468 140720388865152 140328703516464 140328348124709 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18360] ppid=18356 vsize=13980732 memory=1808568 CPUtime=2.1 cores=0,2,4,6
/proc/18358/task/18360/stat : 18360 (java) S 18356 18356 17292 0 -1 1077944384 7081 0 0 0 196 14 0 0 20 0 15 0 8829914 14316269568 452142 18446744073709551615 4194304 4196468 140720388865152 140328662382992 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18361] ppid=18356 vsize=13980732 memory=1376 CPUtime=2.09 cores=0,2,4,6
/proc/18358/task/18361/stat : 18361 (java) S 18356 18356 17292 0 -1 1077944384 5786 0 0 0 197 12 0 0 20 0 15 0 8829914 14316269568 452142 18446744073709551615 4194304 4196468 140720388865152 140328298690832 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18362] ppid=18356 vsize=13980732 memory=1807380 CPUtime=2.08 cores=0,2,4,6
/proc/18358/task/18362/stat : 18362 (java) S 18356 18356 17292 0 -1 1077944384 6047 0 0 0 196 12 0 0 20 0 15 0 8829914 14316269568 452142 18446744073709551615 4194304 4196468 140720388865152 140328297638544 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18363] ppid=18356 vsize=13980732 memory=1376 CPUtime=2.09 cores=0,2,4,6
/proc/18358/task/18363/stat : 18363 (java) S 18356 18356 17292 0 -1 1077944384 6898 0 0 0 195 14 0 0 20 0 15 0 8829914 14316269568 452142 18446744073709551615 4194304 4196468 140720388865152 140328296585744 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18364] ppid=18356 vsize=13980732 memory=1807380 CPUtime=0.9 cores=0,2,4,6
/proc/18358/task/18364/stat : 18364 (java) S 18356 18356 17292 0 -1 1077944384 4413 0 0 0 83 7 0 0 20 0 15 0 8829916 14316269568 452142 18446744073709551615 4194304 4196468 140720388865152 140327615928944 140328699288194 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18365] ppid=18356 vsize=13980732 memory=1803228 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18365/stat : 18365 (java) S 18356 18356 17292 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 8829916 14316269568 452142 18446744073709551615 4194304 4196468 140720388865152 140327614874912 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18366] ppid=18356 vsize=13980732 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18366/stat : 18366 (java) S 18356 18356 17292 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 8829916 14316269568 452142 18446744073709551615 4194304 4196468 140720388865152 140327613822576 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18367] ppid=18356 vsize=13980732 memory=1805280 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18367/stat : 18367 (java) S 18356 18356 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829919 14316269568 452142 18446744073709551615 4194304 4196468 140720388865152 140327612770896 140328699295643 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18368] ppid=18356 vsize=13980732 memory=1376 CPUtime=2.82 cores=0,2,4,6
/proc/18358/task/18368/stat : 18368 (java) S 18356 18356 17292 0 -1 1077944384 14988 0 0 0 279 3 0 0 20 0 15 0 8829919 14316269568 452142 18446744073709551615 4194304 4196468 140720388865152 140327611717744 140328699288194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18369] ppid=18356 vsize=13980732 memory=-8774313645642428999 CPUtime=3.13 cores=0,2,4,6
/proc/18358/task/18369/stat : 18369 (java) S 18356 18356 17292 0 -1 1077944384 17253 0 0 0 311 2 0 0 20 0 15 0 8829919 14316269568 452142 18446744073709551615 4194304 4196468 140720388865152 140327610664944 140328699288194 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18370] ppid=18356 vsize=13980732 memory=1805328 CPUtime=0.75 cores=0,2,4,6
/proc/18358/task/18370/stat : 18370 (java) S 18356 18356 17292 0 -1 1077944384 8784 0 0 0 74 1 0 0 20 0 15 0 8829919 14316269568 452142 18446744073709551615 4194304 4196468 140720388865152 140327609612656 140328699288194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18371] ppid=18356 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18371/stat : 18371 (java) S 18356 18356 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829919 14316269568 452142 18446744073709551615 4194304 4196468 140720388865152 140327608560096 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18372] ppid=18356 vsize=13980732 memory=1376 CPUtime=0.82 cores=0,2,4,6
/proc/18358/task/18372/stat : 18372 (java) S 18356 18356 17292 0 -1 1077944384 1383 0 0 0 38 44 0 0 20 0 15 0 8829927 14316269568 452142 18446744073709551615 4194304 4196468 140720388865152 140327607507888 140328699288194 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
Current children cumulated CPU time: 2515.31 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1809944 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507 s]*
/proc/loadavg: 1.90 1.86 1.75 3/212 18656
/proc/meminfo: memFree=29092480/32770624 swapFree=67108860/67108860
[pid=18356] ppid=18353 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/18356/stat : 18356 (xcsp3-exec) S 18353 18356 17292 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 8829906 9740288 344 18446744073709551615 4194304 5098028 140733961026448 140733961024552 140247472308860 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 6 0 0 7196144 7232144 16723968 140733961032058 140733961032262 140733961032262 140733961035755 0
/proc/18356/statm: 2378 344 289 221 0 87 0
[pid=18358] ppid=18356 vsize=13980732 memory=1813348 CPUtime=2520.05 cores=0,2,4,6
/proc/18358/stat : 18358 (java) S 18356 18356 17292 0 -1 1077944320 160993 0 0 0 251835 170 0 0 20 0 15 0 8829913 14316269568 453337 18446744073709551615 4194304 4196468 140720388865152 140720388847696 140328699277047 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
/proc/18358/statm: 3495183 453337 3249 1 0 3483476 0
[pid=18358/tid=18359] ppid=18356 vsize=13980732 memory=-8774313645642428999 CPUtime=2503.13 cores=0,2,4,6
/proc/18358/task/18359/stat : 18359 (java) R 18356 18356 17292 0 -1 4202560 86569 0 0 0 250241 72 0 0 20 0 15 0 8829913 14316269568 453337 18446744073709551615 4194304 4196468 140720388865152 140328703516576 140328349102050 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18360] ppid=18356 vsize=13980732 memory=4126316290023845779 CPUtime=2.11 cores=0,2,4,6
/proc/18358/task/18360/stat : 18360 (java) S 18356 18356 17292 0 -1 1077944384 7373 0 0 0 197 14 0 0 20 0 15 0 8829914 14316269568 453337 18446744073709551615 4194304 4196468 140720388865152 140328662382992 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18361] ppid=18356 vsize=13980732 memory=-8774313645642428999 CPUtime=2.11 cores=0,2,4,6
/proc/18358/task/18361/stat : 18361 (java) S 18356 18356 17292 0 -1 1077944384 5828 0 0 0 199 12 0 0 20 0 15 0 8829914 14316269568 453337 18446744073709551615 4194304 4196468 140720388865152 140328298690832 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18362] ppid=18356 vsize=13980732 memory=4126316290023845779 CPUtime=2.1 cores=0,2,4,6
/proc/18358/task/18362/stat : 18362 (java) S 18356 18356 17292 0 -1 1077944384 6074 0 0 0 198 12 0 0 20 0 15 0 8829914 14316269568 453337 18446744073709551615 4194304 4196468 140720388865152 140328297638544 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18363] ppid=18356 vsize=13980732 memory=1584 CPUtime=2.1 cores=0,2,4,6
/proc/18358/task/18363/stat : 18363 (java) S 18356 18356 17292 0 -1 1077944384 6944 0 0 0 196 14 0 0 20 0 15 0 8829914 14316269568 453337 18446744073709551615 4194304 4196468 140720388865152 140328296585744 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18364] ppid=18356 vsize=13980732 memory=2164 CPUtime=0.9 cores=0,2,4,6
/proc/18358/task/18364/stat : 18364 (java) S 18356 18356 17292 0 -1 1077944384 4434 0 0 0 83 7 0 0 20 0 15 0 8829916 14316269568 453337 18446744073709551615 4194304 4196468 140720388865152 140327615928944 140328699288194 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18365] ppid=18356 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18365/stat : 18365 (java) S 18356 18356 17292 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 8829916 14316269568 453337 18446744073709551615 4194304 4196468 140720388865152 140327614874912 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18366] ppid=18356 vsize=13980732 memory=280970454371488 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18366/stat : 18366 (java) S 18356 18356 17292 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 8829916 14316269568 453337 18446744073709551615 4194304 4196468 140720388865152 140327613822576 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18367] ppid=18356 vsize=13980732 memory=140485227335576 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18367/stat : 18367 (java) S 18356 18356 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829919 14316269568 453337 18446744073709551615 4194304 4196468 140720388865152 140327612770896 140328699295643 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18368] ppid=18356 vsize=13980732 memory=2872 CPUtime=2.82 cores=0,2,4,6
/proc/18358/task/18368/stat : 18368 (java) S 18356 18356 17292 0 -1 1077944384 14990 0 0 0 279 3 0 0 20 0 15 0 8829919 14316269568 453337 18446744073709551615 4194304 4196468 140720388865152 140327611717744 140328699288194 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18369] ppid=18356 vsize=13980732 memory=8514726395715218844 CPUtime=3.13 cores=0,2,4,6
/proc/18358/task/18369/stat : 18369 (java) S 18356 18356 17292 0 -1 1077944384 17255 0 0 0 311 2 0 0 20 0 15 0 8829919 14316269568 453337 18446744073709551615 4194304 4196468 140720388865152 140327610664944 140328699288194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18370] ppid=18356 vsize=13980732 memory=7665801019102028369 CPUtime=0.75 cores=0,2,4,6
/proc/18358/task/18370/stat : 18370 (java) S 18356 18356 17292 0 -1 1077944384 8786 0 0 0 74 1 0 0 20 0 15 0 8829919 14316269568 453337 18446744073709551615 4194304 4196468 140720388865152 140327609612656 140328699288194 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18371] ppid=18356 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18358/task/18371/stat : 18371 (java) S 18356 18356 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8829919 14316269568 453337 18446744073709551615 4194304 4196468 140720388865152 140327608560096 140328699287253 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
[pid=18358/tid=18372] ppid=18356 vsize=13980732 memory=0 CPUtime=0.82 cores=0,2,4,6
/proc/18358/task/18372/stat : 18372 (java) S 18356 18356 17292 0 -1 1077944384 1385 0 0 0 38 44 0 0 20 0 15 0 8829927 14316269568 453337 18446744073709551615 4194304 4196468 140720388865152 140327607507888 140328699288194 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19783680 140720388866482 140720388866658 140720388866658 140720388870095 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 1814724 KiB

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

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

[startup+2507.05 s]
# the end of solver process 18358 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.39 s, system=1.72845 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.05
CPU time (s): 2520.11
CPU user time (s): 2518.39
CPU system time (s): 1.72845
CPU usage (%): 100.521
Max. virtual memory (cumulated for all children) (KiB): 13992312
Max. memory (cumulated for all children) (KiB): 2425008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.39
system time used= 1.72845
maximum resident set size= 2481088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161743
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76801
involuntary context switches= 3748


# summary of solver processes directly reported to runsolver:
#   pid: 18356,18358
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2518.39
#   total CPU system time (s): 1.72845

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9297 second user time and 22.3644 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 4282081

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