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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 5a (2017-07-26)	SAT (TO)	299	2520.0901	2441.4099

0.00/0.05	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272272-1502693145.xml"  -tl '2520s' -p 1 -x 3
0.14/0.24	c [HOME/instance-4272272-1502693145.xml, -tl, 2520s, -p, 1, -x, 3]
0.14/0.30	c simple solver
0.34/0.37	c parse instance...
2.14/1.10	c solve instance...
9.73/4.33	o 249 
11.19/4.89	o 269 
11.89/5.08	o 271 
12.75/5.31	o 272 
177.06/160.75	o 282 
698.46/667.44	o 285 
715.87/684.48	o 287 
729.75/698.00	o 295 
729.88/698.10	o 296 
730.07/698.29	o 298 
730.17/698.37	o 299 
2520.06/2441.40	s SATISFIABLE
2520.06/2441.40	v <instantiation>
2520.06/2441.40	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] 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[1][28] 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[2][28] 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[3][28] 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[4][28] 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[5][28] 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[6][28] 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[7][28] 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[8][28] 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[9][28] 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[10][28] 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[11][28] 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[12][28] 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[13][28] 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[14][28] 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[15][28] 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[16][28] 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[17][28] 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[18][28] 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[19][28] 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[20][28] 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[21][28] 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[22][28] 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[23][28] 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[24][28] 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[25][28] 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[26][28] 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] x[27][28] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] 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[0][28] 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[1][28] 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[2][28] 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[3][28] 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[4][28] 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[5][28] 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[6][28] 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[7][28] 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[8][28] 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[9][28] 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[10][28] 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[11][28] 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[12][28] 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[13][28] 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[14][28] 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[15][28] 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[16][28] 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[17][28] 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[18][28] 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[19][28] 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[20][28] 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[21][28] 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[22][28] 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[23][28] 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[24][28] 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[25][28] 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[26][28] 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] w[27][28] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] 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] ws[28] z </list>
2520.06/2441.40	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 0 1 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 0 1 0 1 1 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 1 1 1 1 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 0 0 0 1 1 0 0 1 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 0 0 1 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 1 1 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 1 1 0 1 1 0 0 1 0 0 1 0 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 0 1 0 1 1 1 1 0 1 1 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 0 1 1 1 1 0 0 0 0 1 0 1 1 1 1 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 1 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 1 1 1 0 0 1 1 0 1 0 0 1 0 1 1 1 1 1 0 0 0 1 1 2 2 2 2 0 1 0 2 1 1 0 0 0 1 0 0 0 0 1 1 2 2 1 1 1 0 1 0 2 2 1 1 1 1 2 1 1 1 0 0 0 0 0 0 1 0 0 0 1 2 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 0 0 2 1 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 2 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 2 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 2 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 2 2 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 1 1 1 0 1 0 0 0 2 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 2 1 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 2 1 1 0 1 1 1 0 0 0 0 2 0 0 0 0 2 1 0 0 0 2 0 0 1 0 1 1 2 1 2 1 1 0 1 1 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 2 0 0 1 1 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 0 0 1 2 1 2 1 1 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 1 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 2 2 1 1 2 2 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 1 2 1 0 1 1 2 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 1 0 1 1 1 1 0 1 2 1 1 2 2 0 0 0 0 0 1 0 1 0 0 0 0 2 0 0 2 0 0 0 1 2 1 0 1 1 1 1 2 1 1 0 0 0 0 0 2 0 0 0 0 0 0 0 2 2 2 1 1 2 2 1 1 0 1 1 2 1 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 0 0 1 1 18 43 61 73 82 92 102 108 118 127 138 145 153 166 175 179 182 189 206 223 233 246 264 280 293 309 327 350 370 299 </values>
2520.06/2441.40	v </instantiation>
2520.06/2441.40	c Unexpected resolution interruption!

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272272-1502693145/watcher-4272272-1502693145 -o /tmp/evaluation-result-4272272-1502693145/solver-4272272-1502693145 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11628 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 455333976 HOME/instance-4272272-1502693145.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=15664, runsolver pid=15661

[startup+0.100038 s]*
/proc/loadavg: 1.42 1.51 1.57 4/209 15674
/proc/meminfo: memFree=29895600/32770624 swapFree=67108860/67108860
[pid=15664] ppid=15661 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15664/stat : 15664 (xcsp3-exec) S 15661 15664 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 71535128 9740288 345 18446744073709551615 4194304 5098028 140726417985168 140726417983272 140403964621436 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 27607040 140726417994105 140726417994309 140726417994309 140726417997803 0
/proc/15664/statm: 2378 345 289 221 0 87 0
[pid=15666] ppid=15664 vsize=13574484 memory=17972 CPUtime=0.04 cores=0,2,4,6
/proc/15666/stat : 15666 (java) S 15664 15664 897 0 -1 1077944320 4372 0 0 0 3 1 0 0 20 0 9 0 71535133 13900271616 4493 18446744073709551615 4194304 4196468 140728757404832 140728757387376 139774621671159 0 0 1 16800970 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
/proc/15666/statm: 3393621 4493 2136 1 0 3383118 0
[pid=15666/tid=15667] ppid=15664 vsize=13574484 memory=8390339637985935414 CPUtime=0.03 cores=0,2,4,6
/proc/15666/task/15667/stat : 15667 (java) R 15664 15664 897 0 -1 4202560 3080 0 0 0 3 0 0 0 20 0 9 0 71535134 13900271616 4493 18446744073709551615 4194304 4196468 140728757404832 139774625906552 139774621693085 0 4 1 16800970 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15668] ppid=15664 vsize=13574484 memory=288230596118065508 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15668/stat : 15668 (java) S 15664 15664 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 71535134 13900271616 4493 18446744073709551615 4194304 4196468 140728757404832 139774556105616 139774621681365 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15669] ppid=15664 vsize=13574484 memory=140327786460090 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15669/stat : 15669 (java) S 15664 15664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 71535134 13900271616 4493 18446744073709551615 4194304 4196468 140728757404832 139774555052816 139774621681365 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15670] ppid=15664 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15670/stat : 15670 (java) S 15664 15664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 71535134 13900271616 4493 18446744073709551615 4194304 4196468 140728757404832 139774554000528 139774621681365 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15671] ppid=15664 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15671/stat : 15671 (java) S 15664 15664 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 71535134 13900271616 4493 18446744073709551615 4194304 4196468 140728757404832 139774552947728 139774621681365 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15672] ppid=15664 vsize=13574484 memory=140327786444416 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15672/stat : 15672 (java) S 15664 15664 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 71535136 13900271616 4493 18446744073709551615 4194304 4196468 140728757404832 139774100215920 139774621682306 0 0 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15673] ppid=15664 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15673/stat : 15673 (java) S 15664 15664 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 71535136 13900271616 4493 18446744073709551615 4194304 4196468 140728757404832 139774099161888 139774621681365 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15674] ppid=15664 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15674/stat : 15674 (java) S 15664 15664 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 71535136 13900271616 4493 18446744073709551615 4194304 4196468 140728757404832 139774098109552 139774621681365 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19352 KiB

[startup+0.210936 s]*
/proc/loadavg: 1.42 1.51 1.57 3/215 15680
/proc/meminfo: memFree=29887560/32770624 swapFree=67108860/67108860
[pid=15664] ppid=15661 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15664/stat : 15664 (xcsp3-exec) S 15661 15664 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 71535128 9740288 345 18446744073709551615 4194304 5098028 140726417985168 140726417983272 140403964621436 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 27607040 140726417994105 140726417994309 140726417994309 140726417997803 0
/proc/15664/statm: 2378 345 289 221 0 87 0
[pid=15666] ppid=15664 vsize=13974352 memory=29504 CPUtime=0.14 cores=0,2,4,6
/proc/15666/stat : 15666 (java) S 15664 15664 897 0 -1 1077944320 5775 0 0 0 13 1 0 0 20 0 15 0 71535133 14309736448 7310 18446744073709551615 4194304 4196468 140728757404832 140728757387376 139774621671159 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
/proc/15666/statm: 3493588 7376 2907 1 0 3482964 0
[pid=15666/tid=15667] ppid=15664 vsize=13974352 memory=8390339637985935414 CPUtime=0.11 cores=0,2,4,6
/proc/15666/task/15667/stat : 15667 (java) R 15664 15664 897 0 -1 4202560 3601 0 0 0 10 1 0 0 20 0 15 0 71535134 14309736448 7442 18446744073709551615 4194304 4196468 140728757404832 139774625893904 139774224575616 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15668] ppid=15664 vsize=13974352 memory=288230596118065508 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15668/stat : 15668 (java) S 15664 15664 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71535134 14309736448 7442 18446744073709551615 4194304 4196468 140728757404832 139774556105616 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15669] ppid=15664 vsize=13974352 memory=140327786460090 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15669/stat : 15669 (java) S 15664 15664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71535134 14309736448 7442 18446744073709551615 4194304 4196468 140728757404832 139774555052816 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15670] ppid=15664 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15670/stat : 15670 (java) S 15664 15664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71535134 14309736448 7442 18446744073709551615 4194304 4196468 140728757404832 139774554000528 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15671] ppid=15664 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15671/stat : 15671 (java) S 15664 15664 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71535134 14309736448 7442 18446744073709551615 4194304 4196468 140728757404832 139774552947728 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15672] ppid=15664 vsize=13974352 memory=140327786444416 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15672/stat : 15672 (java) S 15664 15664 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71535136 14309736448 7442 18446744073709551615 4194304 4196468 140728757404832 139774100215920 139774621682306 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15673] ppid=15664 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15673/stat : 15673 (java) S 15664 15664 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71535136 14309736448 7442 18446744073709551615 4194304 4196468 140728757404832 139774099161888 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15674] ppid=15664 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15674/stat : 15674 (java) S 15664 15664 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71535136 14309736448 7442 18446744073709551615 4194304 4196468 140728757404832 139774098109552 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15675] ppid=15664 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15675/stat : 15675 (java) S 15664 15664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71535139 14309736448 7442 18446744073709551615 4194304 4196468 140728757404832 139774097057872 139774621689755 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15676] ppid=15664 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15676/stat : 15676 (java) R 15664 15664 897 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 71535139 14309736448 7442 18446744073709551615 4194304 4196468 140728757404832 139774096005744 139774621682306 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15677] ppid=15664 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15677/stat : 15677 (java) S 15664 15664 897 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 15 0 71535139 14309736448 7442 18446744073709551615 4194304 4196468 140728757404832 139774094952944 139774621682306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15678] ppid=15664 vsize=13974352 memory=140327786444416 CPUtime=0.02 cores=0,2,4,6
/proc/15666/task/15678/stat : 15678 (java) R 15664 15664 897 0 -1 4202560 513 0 0 0 2 0 0 0 20 0 15 0 71535139 14309736448 7442 18446744073709551615 4194304 4196468 140728757404832 139774093896920 139774600547123 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15679] ppid=15664 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15679/stat : 15679 (java) S 15664 15664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71535139 14309736448 7442 18446744073709551615 4194304 4196468 140728757404832 139774092848096 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15680] ppid=15664 vsize=13974352 memory=140327786444416 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15680/stat : 15680 (java) S 15664 15664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71535143 14309736448 7442 18446744073709551615 4194304 4196468 140728757404832 139774091794864 139774621682306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30884 KiB

[startup+0.310924 s]*
/proc/loadavg: 1.42 1.51 1.57 3/215 15680
/proc/meminfo: memFree=29875328/32770624 swapFree=67108860/67108860
[pid=15664] ppid=15661 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15664/stat : 15664 (xcsp3-exec) S 15661 15664 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 71535128 9740288 345 18446744073709551615 4194304 5098028 140726417985168 140726417983272 140403964621436 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 27607040 140726417994105 140726417994309 140726417994309 140726417997803 0
/proc/15664/statm: 2378 345 289 221 0 87 0
[pid=15666] ppid=15664 vsize=13978608 memory=40212 CPUtime=0.34 cores=0,2,4,6
/proc/15666/stat : 15666 (java) S 15664 15664 897 0 -1 1077944320 9267 0 0 0 31 3 0 0 20 0 15 0 71535133 14314094592 10045 18446744073709551615 4194304 4196468 140728757404832 140728757387376 139774621671159 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
/proc/15666/statm: 3494652 10053 3011 1 0 3482964 0
[pid=15666/tid=15667] ppid=15664 vsize=13978608 memory=8390339637985935414 CPUtime=0.2 cores=0,2,4,6
/proc/15666/task/15667/stat : 15667 (java) R 15664 15664 897 0 -1 4202560 6468 0 0 0 18 2 0 0 20 0 15 0 71535134 14314094592 10053 18446744073709551615 4194304 4196468 140728757404832 139774625893152 139774621693085 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15668] ppid=15664 vsize=13978608 memory=301741395000176996 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15668/stat : 15668 (java) S 15664 15664 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71535134 14314094592 10053 18446744073709551615 4194304 4196468 140728757404832 139774556105616 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15669] ppid=15664 vsize=13978608 memory=140327786460090 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15669/stat : 15669 (java) S 15664 15664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71535134 14314094592 10053 18446744073709551615 4194304 4196468 140728757404832 139774555052816 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15670] ppid=15664 vsize=13978608 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15670/stat : 15670 (java) S 15664 15664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71535134 14314094592 10053 18446744073709551615 4194304 4196468 140728757404832 139774554000528 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15671] ppid=15664 vsize=13978608 memory=3472328296227680303 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15671/stat : 15671 (java) S 15664 15664 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71535134 14314094592 10053 18446744073709551615 4194304 4196468 140728757404832 139774552947728 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15672] ppid=15664 vsize=13978608 memory=7160715792497075445 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15672/stat : 15672 (java) S 15664 15664 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71535136 14314094592 10053 18446744073709551615 4194304 4196468 140728757404832 139774100215920 139774621682306 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15673] ppid=15664 vsize=13978608 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15673/stat : 15673 (java) S 15664 15664 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71535136 14314094592 10053 18446744073709551615 4194304 4196468 140728757404832 139774099161888 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15674] ppid=15664 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15674/stat : 15674 (java) S 15664 15664 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71535136 14314094592 10053 18446744073709551615 4194304 4196468 140728757404832 139774098109552 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15675] ppid=15664 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15675/stat : 15675 (java) S 15664 15664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71535139 14314094592 10053 18446744073709551615 4194304 4196468 140728757404832 139774097057872 139774621689755 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15676] ppid=15664 vsize=13978608 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/15666/task/15676/stat : 15676 (java) S 15664 15664 897 0 -1 1077944384 549 0 0 0 3 0 0 0 20 0 15 0 71535139 14314094592 10053 18446744073709551615 4194304 4196468 140728757404832 139774096005744 139774621682306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15677] ppid=15664 vsize=13978608 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/15666/task/15677/stat : 15677 (java) S 15664 15664 897 0 -1 1077944384 181 0 0 0 1 0 0 0 20 0 15 0 71535139 14314094592 10053 18446744073709551615 4194304 4196468 140728757404832 139774094952944 139774621682306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15678] ppid=15664 vsize=13978608 memory=140327786444416 CPUtime=0.07 cores=0,2,4,6
/proc/15666/task/15678/stat : 15678 (java) S 15664 15664 897 0 -1 1077944384 766 0 0 0 7 0 0 0 20 0 15 0 71535139 14314094592 10053 18446744073709551615 4194304 4196468 140728757404832 139774093900656 139774621682306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15679] ppid=15664 vsize=13978608 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15679/stat : 15679 (java) S 15664 15664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71535139 14314094592 10053 18446744073709551615 4194304 4196468 140728757404832 139774092848096 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15680] ppid=15664 vsize=13978608 memory=140327786444416 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15680/stat : 15680 (java) S 15664 15664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71535143 14314094592 10053 18446744073709551615 4194304 4196468 140728757404832 139774091794864 139774621682306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41592 KiB

[startup+0.700733 s]
/proc/loadavg: 1.42 1.51 1.57 4/215 15680
/proc/meminfo: memFree=29863788/32770624 swapFree=67108860/67108860
[pid=15664] ppid=15661 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15664/stat : 15664 (xcsp3-exec) S 15661 15664 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 71535128 9740288 345 18446744073709551615 4194304 5098028 140726417985168 140726417983272 140403964621436 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 27607040 140726417994105 140726417994309 140726417994309 140726417997803 0
/proc/15664/statm: 2378 345 289 221 0 87 0
[pid=15666] ppid=15664 vsize=13978684 memory=69152 CPUtime=1.33 cores=0,2,4,6
/proc/15666/stat : 15666 (java) S 15664 15664 897 0 -1 1077944320 12484 0 0 0 129 4 0 0 20 0 15 0 71535133 14314172416 17288 18446744073709551615 4194304 4196468 140728757404832 140728757387376 139774621671159 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
/proc/15666/statm: 3494671 17288 3170 1 0 3482964 0
[pid=15666/tid=15667] ppid=15664 vsize=13978684 memory=7660742144744843625 CPUtime=0.57 cores=0,2,4,6
/proc/15666/task/15667/stat : 15667 (java) R 15664 15664 897 0 -1 4202560 8018 0 0 0 54 3 0 0 20 0 15 0 71535134 14314172416 17288 18446744073709551615 4194304 4196468 140728757404832 139774625897376 139774621683094 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15668] ppid=15664 vsize=13978684 memory=5865469479800824941 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15668/stat : 15668 (java) S 15664 15664 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71535134 14314172416 17288 18446744073709551615 4194304 4196468 140728757404832 139774556105616 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15669] ppid=15664 vsize=13978684 memory=4639622823262830690 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15669/stat : 15669 (java) S 15664 15664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71535134 14314172416 17288 18446744073709551615 4194304 4196468 140728757404832 139774555052816 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15670] ppid=15664 vsize=13978684 memory=5787238097639003751 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15670/stat : 15670 (java) S 15664 15664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71535134 14314172416 17288 18446744073709551615 4194304 4196468 140728757404832 139774554000528 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15671] ppid=15664 vsize=13978684 memory=4639059877604708710 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15671/stat : 15671 (java) S 15664 15664 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71535134 14314172416 17288 18446744073709551615 4194304 4196468 140728757404832 139774552947728 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15672] ppid=15664 vsize=13978684 memory=667680 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15672/stat : 15672 (java) S 15664 15664 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 71535136 14314172416 17288 18446744073709551615 4194304 4196468 140728757404832 139774100215920 139774621682306 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15673] ppid=15664 vsize=13978684 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15673/stat : 15673 (java) S 15664 15664 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 71535136 14314172416 17288 18446744073709551615 4194304 4196468 140728757404832 139774099161888 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15674] ppid=15664 vsize=13978684 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15674/stat : 15674 (java) S 15664 15664 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 71535136 14314172416 17288 18446744073709551615 4194304 4196468 140728757404832 139774098109552 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15675] ppid=15664 vsize=13978684 memory=1700 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15675/stat : 15675 (java) S 15664 15664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71535139 14314172416 17288 18446744073709551615 4194304 4196468 140728757404832 139774097057872 139774621689755 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15676] ppid=15664 vsize=13978684 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/15666/task/15676/stat : 15676 (java) R 15664 15664 897 0 -1 1077944384 930 0 0 0 22 0 0 0 20 0 15 0 71535139 14314172416 17288 18446744073709551615 4194304 4196468 140728757404832 139774096005744 139774621682306 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15677] ppid=15664 vsize=13978684 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/15666/task/15677/stat : 15677 (java) R 15664 15664 897 0 -1 4202560 746 0 0 0 19 0 0 0 20 0 15 0 71535139 14314172416 17288 18446744073709551615 4194304 4196468 140728757404832 139774094952944 139774599266196 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15678] ppid=15664 vsize=13978684 memory=2529 CPUtime=0.32 cores=0,2,4,6
/proc/15666/task/15678/stat : 15678 (java) R 15664 15664 897 0 -1 4202560 1482 0 0 0 32 0 0 0 20 0 15 0 71535139 14314172416 17288 18446744073709551615 4194304 4196468 140728757404832 139774093895008 139774600628189 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15679] ppid=15664 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15679/stat : 15679 (java) S 15664 15664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71535139 14314172416 17288 18446744073709551615 4194304 4196468 140728757404832 139774092848096 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15680] ppid=15664 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15680/stat : 15680 (java) S 15664 15664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71535143 14314172416 17288 18446744073709551615 4194304 4196468 140728757404832 139774091794864 139774621682306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 70532 KiB

[startup+1.50079 s]
/proc/loadavg: 1.42 1.51 1.57 6/215 15680
/proc/meminfo: memFree=29824328/32770624 swapFree=67108860/67108860
[pid=15664] ppid=15661 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15664/stat : 15664 (xcsp3-exec) S 15661 15664 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 71535128 9740288 345 18446744073709551615 4194304 5098028 140726417985168 140726417983272 140403964621436 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 27607040 140726417994105 140726417994309 140726417994309 140726417997803 0
/proc/15664/statm: 2378 345 289 221 0 87 0
[pid=15666] ppid=15664 vsize=13980732 memory=127008 CPUtime=3.53 cores=0,2,4,6
/proc/15666/stat : 15666 (java) S 15664 15664 897 0 -1 1077944320 25584 0 0 0 346 7 0 0 20 0 15 0 71535133 14316269568 31686 18446744073709551615 4194304 4196468 140728757404832 140728757387376 139774621671159 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
/proc/15666/statm: 3495183 31686 3193 1 0 3483476 0
[pid=15666/tid=15667] ppid=15664 vsize=13980732 memory=8171897334845303665 CPUtime=1.37 cores=0,2,4,6
/proc/15666/task/15667/stat : 15667 (java) R 15664 15664 897 0 -1 4202560 10613 0 0 0 133 4 0 0 20 0 15 0 71535134 14316269568 31752 18446744073709551615 4194304 4196468 140728757404832 139774625909408 139774230099814 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15668] ppid=15664 vsize=13980732 memory=15745350110221 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15668/stat : 15668 (java) S 15664 15664 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 71535134 14316269568 31752 18446744073709551615 4194304 4196468 140728757404832 139774556105616 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15669] ppid=15664 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15669/stat : 15669 (java) S 15664 15664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71535134 14316269568 31752 18446744073709551615 4194304 4196468 140728757404832 139774555052816 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15670] ppid=15664 vsize=13980732 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15670/stat : 15670 (java) S 15664 15664 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 71535134 14316269568 31752 18446744073709551615 4194304 4196468 140728757404832 139774554000528 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15671] ppid=15664 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6

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

/proc/15666/task/15674/stat : 15674 (java) S 15664 15664 897 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 71535136 14318366720 168479 18446744073709551615 4194304 4196468 140728757404832 139774098109568 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15675] ppid=15664 vsize=13982780 memory=673916 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15675/stat : 15675 (java) S 15664 15664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71535139 14318366720 168479 18446744073709551615 4194304 4196468 140728757404832 139774097057872 139774621689755 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15676] ppid=15664 vsize=13982780 memory=694420 CPUtime=7.5 cores=0,2,4,6
/proc/15666/task/15676/stat : 15676 (java) S 15664 15664 897 0 -1 1077944384 38241 0 0 0 746 4 0 0 20 0 15 0 71535139 14318366720 168479 18446744073709551615 4194304 4196468 140728757404832 139774096005744 139774621682306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15677] ppid=15664 vsize=13982780 memory=10988 CPUtime=6.47 cores=0,2,4,6
/proc/15666/task/15677/stat : 15677 (java) S 15664 15664 897 0 -1 1077944384 27992 0 0 0 643 4 0 0 20 0 15 0 71535139 14318366720 168479 18446744073709551615 4194304 4196468 140728757404832 139774094952944 139774621682306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15678] ppid=15664 vsize=13982780 memory=1380 CPUtime=1.12 cores=0,2,4,6
/proc/15666/task/15678/stat : 15678 (java) S 15664 15664 897 0 -1 1077944384 13249 0 0 0 109 3 0 0 20 0 15 0 71535139 14318366720 168479 18446744073709551615 4194304 4196468 140728757404832 139774093900656 139774621682306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15679] ppid=15664 vsize=13982780 memory=673912 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15679/stat : 15679 (java) S 15664 15664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71535139 14318366720 168479 18446744073709551615 4194304 4196468 140728757404832 139774092848096 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15680] ppid=15664 vsize=13982780 memory=1380 CPUtime=1.19 cores=0,2,4,6
/proc/15666/task/15680/stat : 15680 (java) S 15664 15664 897 0 -1 1077944384 1407 0 0 0 56 63 0 0 20 0 15 0 71535143 14318366720 168479 18446744073709551615 4194304 4196468 140728757404832 139774091794864 139774621682306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 17 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
Current children cumulated CPU time: 2336.54 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 675296 KiB

[startup+2322.3 s]
/proc/loadavg: 1.83 1.82 1.78 3/215 15922
/proc/meminfo: memFree=29605212/32770624 swapFree=67108860/67108860
[pid=15664] ppid=15661 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15664/stat : 15664 (xcsp3-exec) S 15661 15664 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 71535128 9740288 345 18446744073709551615 4194304 5098028 140726417985168 140726417983272 140403964621436 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 27607040 140726417994105 140726417994309 140726417994309 140726417997803 0
/proc/15664/statm: 2378 345 289 221 0 87 0
[pid=15666] ppid=15664 vsize=13982780 memory=738284 CPUtime=2398.19 cores=0,2,4,6
/proc/15666/stat : 15666 (java) S 15664 15664 897 0 -1 1077944320 259890 0 0 0 239379 440 0 0 20 0 15 0 71535133 14318366720 184571 18446744073709551615 4194304 4196468 140728757404832 140728757387376 139774621671159 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
/proc/15666/statm: 3495695 184571 3261 1 0 3483988 0
[pid=15666/tid=15667] ppid=15664 vsize=13982780 memory=739820 CPUtime=2300.7 cores=0,2,4,6
/proc/15666/task/15667/stat : 15667 (java) R 15664 15664 897 0 -1 4202560 63470 0 0 0 230044 26 0 0 20 0 15 0 71535134 14318366720 184571 18446744073709551615 4194304 4196468 140728757404832 139774625910704 139774232690568 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15668] ppid=15664 vsize=13982780 memory=1380 CPUtime=20.01 cores=0,2,4,6
/proc/15666/task/15668/stat : 15668 (java) S 15664 15664 897 0 -1 1077944384 14200 0 0 0 1918 83 0 0 20 0 15 0 71535134 14318366720 184571 18446744073709551615 4194304 4196468 140728757404832 139774556105616 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15669] ppid=15664 vsize=13982780 memory=1380 CPUtime=20 cores=0,2,4,6
/proc/15666/task/15669/stat : 15669 (java) S 15664 15664 897 0 -1 1077944384 16167 0 0 0 1916 84 0 0 20 0 15 0 71535134 14318366720 184571 18446744073709551615 4194304 4196468 140728757404832 139774555052816 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15670] ppid=15664 vsize=13982780 memory=134630044891760 CPUtime=20 cores=0,2,4,6
/proc/15666/task/15670/stat : 15670 (java) S 15664 15664 897 0 -1 1077944384 15269 0 0 0 1917 83 0 0 20 0 15 0 71535134 14318366720 184571 18446744073709551615 4194304 4196468 140728757404832 139774554000528 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15671] ppid=15664 vsize=13982780 memory=739820 CPUtime=20 cores=0,2,4,6
/proc/15666/task/15671/stat : 15671 (java) S 15664 15664 897 0 -1 1077944384 15192 0 0 0 1917 83 0 0 20 0 15 0 71535134 14318366720 184571 18446744073709551615 4194304 4196468 140728757404832 139774552947728 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15672] ppid=15664 vsize=13982780 memory=1380 CPUtime=1.08 cores=0,2,4,6
/proc/15666/task/15672/stat : 15672 (java) S 15664 15664 897 0 -1 1077944384 53289 0 0 0 89 19 0 0 20 0 15 0 71535136 14318366720 184571 18446744073709551615 4194304 4196468 140728757404832 139774100215920 139774621682306 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15673] ppid=15664 vsize=13982780 memory=739820 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15673/stat : 15673 (java) S 15664 15664 897 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 71535136 14318366720 184571 18446744073709551615 4194304 4196468 140728757404832 139774099161952 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15674] ppid=15664 vsize=13982780 memory=750080 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15674/stat : 15674 (java) S 15664 15664 897 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 71535136 14318366720 184571 18446744073709551615 4194304 4196468 140728757404832 139774098109568 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15675] ppid=15664 vsize=13982780 memory=39952 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15675/stat : 15675 (java) S 15664 15664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71535139 14318366720 184571 18446744073709551615 4194304 4196468 140728757404832 139774097057872 139774621689755 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15676] ppid=15664 vsize=13982780 memory=1380 CPUtime=7.5 cores=0,2,4,6
/proc/15666/task/15676/stat : 15676 (java) S 15664 15664 897 0 -1 1077944384 38243 0 0 0 746 4 0 0 20 0 15 0 71535139 14318366720 184571 18446744073709551615 4194304 4196468 140728757404832 139774096005744 139774621682306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15677] ppid=15664 vsize=13982780 memory=1380 CPUtime=6.47 cores=0,2,4,6
/proc/15666/task/15677/stat : 15677 (java) S 15664 15664 897 0 -1 1077944384 27994 0 0 0 643 4 0 0 20 0 15 0 71535139 14318366720 184571 18446744073709551615 4194304 4196468 140728757404832 139774094952944 139774621682306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15678] ppid=15664 vsize=13982780 memory=-8774313645642428999 CPUtime=1.12 cores=0,2,4,6
/proc/15666/task/15678/stat : 15678 (java) S 15664 15664 897 0 -1 1077944384 13251 0 0 0 109 3 0 0 20 0 15 0 71535139 14318366720 184571 18446744073709551615 4194304 4196468 140728757404832 139774093900656 139774621682306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15679] ppid=15664 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15679/stat : 15679 (java) S 15664 15664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71535139 14318366720 184571 18446744073709551615 4194304 4196468 140728757404832 139774092848096 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15680] ppid=15664 vsize=13982780 memory=750080 CPUtime=1.22 cores=0,2,4,6
/proc/15666/task/15680/stat : 15680 (java) S 15664 15664 897 0 -1 1077944384 1426 0 0 0 58 64 0 0 20 0 15 0 71535143 14318366720 184571 18446744073709551615 4194304 4196468 140728757404832 139774091794864 139774621682306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
Current children cumulated CPU time: 2398.19 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 739664 KiB

[startup+2382.3 s]
/proc/loadavg: 1.68 1.78 1.77 3/215 15924
/proc/meminfo: memFree=29513176/32770624 swapFree=67108860/67108860
[pid=15664] ppid=15661 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15664/stat : 15664 (xcsp3-exec) S 15661 15664 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 71535128 9740288 345 18446744073709551615 4194304 5098028 140726417985168 140726417983272 140403964621436 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 27607040 140726417994105 140726417994309 140726417994309 140726417997803 0
/proc/15664/statm: 2378 345 289 221 0 87 0
[pid=15666] ppid=15664 vsize=13982780 memory=633636 CPUtime=2459.21 cores=0,2,4,6
/proc/15666/stat : 15666 (java) S 15664 15664 897 0 -1 1077944320 263232 0 0 0 245479 442 0 0 20 0 15 0 71535133 14318366720 158409 18446744073709551615 4194304 4196468 140728757404832 140728757387376 139774621671159 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
/proc/15666/statm: 3495695 158409 3261 1 0 3483988 0
[pid=15666/tid=15667] ppid=15664 vsize=13982780 memory=633636 CPUtime=2360.35 cores=0,2,4,6
/proc/15666/task/15667/stat : 15667 (java) R 15664 15664 897 0 -1 4202560 64949 0 0 0 236009 26 0 0 20 0 15 0 71535134 14318366720 158409 18446744073709551615 4194304 4196468 140728757404832 139774625910624 139774231298418 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15668] ppid=15664 vsize=13982780 memory=638252 CPUtime=20.34 cores=0,2,4,6
/proc/15666/task/15668/stat : 15668 (java) S 15664 15664 897 0 -1 1077944384 14645 0 0 0 1951 83 0 0 20 0 15 0 71535134 14318366720 158409 18446744073709551615 4194304 4196468 140728757404832 139774556105616 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15669] ppid=15664 vsize=13982780 memory=641844 CPUtime=20.34 cores=0,2,4,6
/proc/15666/task/15669/stat : 15669 (java) S 15664 15664 897 0 -1 1077944384 16515 0 0 0 1949 85 0 0 20 0 15 0 71535134 14318366720 158409 18446744073709551615 4194304 4196468 140728757404832 139774555052816 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15670] ppid=15664 vsize=13982780 memory=658772 CPUtime=20.33 cores=0,2,4,6
/proc/15666/task/15670/stat : 15670 (java) S 15664 15664 897 0 -1 1077944384 15825 0 0 0 1950 83 0 0 20 0 15 0 71535134 14318366720 158409 18446744073709551615 4194304 4196468 140728757404832 139774554000528 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15671] ppid=15664 vsize=13982780 memory=641844 CPUtime=20.34 cores=0,2,4,6
/proc/15666/task/15671/stat : 15671 (java) S 15664 15664 897 0 -1 1077944384 15477 0 0 0 1951 83 0 0 20 0 15 0 71535134 14318366720 158409 18446744073709551615 4194304 4196468 140728757404832 139774552947728 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15672] ppid=15664 vsize=13982780 memory=1380 CPUtime=1.1 cores=0,2,4,6
/proc/15666/task/15672/stat : 15672 (java) S 15664 15664 897 0 -1 1077944384 53436 0 0 0 90 20 0 0 20 0 15 0 71535136 14318366720 158409 18446744073709551615 4194304 4196468 140728757404832 139774100215920 139774621682306 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15673] ppid=15664 vsize=13982780 memory=633636 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15673/stat : 15673 (java) S 15664 15664 897 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 71535136 14318366720 158409 18446744073709551615 4194304 4196468 140728757404832 139774099161952 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15674] ppid=15664 vsize=13982780 memory=633636 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15674/stat : 15674 (java) S 15664 15664 897 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 71535136 14318366720 158409 18446744073709551615 4194304 4196468 140728757404832 139774098109568 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15675] ppid=15664 vsize=13982780 memory=633636 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15675/stat : 15675 (java) S 15664 15664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71535139 14318366720 158409 18446744073709551615 4194304 4196468 140728757404832 139774097057872 139774621689755 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15676] ppid=15664 vsize=13982780 memory=1380 CPUtime=7.5 cores=0,2,4,6
/proc/15666/task/15676/stat : 15676 (java) S 15664 15664 897 0 -1 1077944384 38245 0 0 0 746 4 0 0 20 0 15 0 71535139 14318366720 158409 18446744073709551615 4194304 4196468 140728757404832 139774096005744 139774621682306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15677] ppid=15664 vsize=13982780 memory=1380 CPUtime=6.47 cores=0,2,4,6
/proc/15666/task/15677/stat : 15677 (java) S 15664 15664 897 0 -1 1077944384 27996 0 0 0 643 4 0 0 20 0 15 0 71535139 14318366720 158409 18446744073709551615 4194304 4196468 140728757404832 139774094952944 139774621682306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15678] ppid=15664 vsize=13982780 memory=1380 CPUtime=1.12 cores=0,2,4,6
/proc/15666/task/15678/stat : 15678 (java) S 15664 15664 897 0 -1 1077944384 13323 0 0 0 109 3 0 0 20 0 15 0 71535139 14318366720 158409 18446744073709551615 4194304 4196468 140728757404832 139774093900656 139774621682306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15679] ppid=15664 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15679/stat : 15679 (java) S 15664 15664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71535139 14318366720 158409 18446744073709551615 4194304 4196468 140728757404832 139774092848096 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15680] ppid=15664 vsize=13982780 memory=39952 CPUtime=1.25 cores=0,2,4,6
/proc/15666/task/15680/stat : 15680 (java) S 15664 15664 897 0 -1 1077944384 1432 0 0 0 59 66 0 0 20 0 15 0 71535143 14318366720 158409 18446744073709551615 4194304 4196468 140728757404832 139774091794864 139774621682306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 17 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
Current children cumulated CPU time: 2459.21 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 635016 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2441.4 s]
/proc/loadavg: 1.75 1.79 1.77 3/212 15926
/proc/meminfo: memFree=29637240/32770624 swapFree=67108860/67108860
[pid=15664] ppid=15661 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15664/stat : 15664 (xcsp3-exec) S 15661 15664 897 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 71535128 9740288 345 18446744073709551615 4194304 5098028 140726417985168 140726417983272 140403964621436 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 5 0 0 7196144 7232144 27607040 140726417994105 140726417994309 140726417994309 140726417997803 0
/proc/15664/statm: 2378 345 289 221 0 87 0
[pid=15666] ppid=15664 vsize=13982780 memory=616768 CPUtime=2520.06 cores=0,2,4,6
/proc/15666/stat : 15666 (java) S 15664 15664 897 0 -1 1077944320 266796 0 0 0 251557 449 0 0 20 0 15 0 71535133 14318366720 154192 18446744073709551615 4194304 4196468 140728757404832 140728757387376 139774621671159 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
/proc/15666/statm: 3495695 154192 3261 1 0 3483988 0
[pid=15666/tid=15667] ppid=15664 vsize=13982780 memory=16436 CPUtime=2418.83 cores=0,2,4,6
/proc/15666/task/15667/stat : 15667 (java) R 15664 15664 897 0 -1 4202560 65465 0 0 0 241857 26 0 0 20 0 15 0 71535134 14318366720 154192 18446744073709551615 4194304 4196468 140728757404832 139774625910736 139774232499156 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15668] ppid=15664 vsize=13982780 memory=2776 CPUtime=20.91 cores=0,2,4,6
/proc/15666/task/15668/stat : 15668 (java) S 15664 15664 897 0 -1 1077944384 15126 0 0 0 2007 84 0 0 20 0 15 0 71535134 14318366720 154192 18446744073709551615 4194304 4196468 140728757404832 139774556105616 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15669] ppid=15664 vsize=13982780 memory=288230574492221466 CPUtime=20.91 cores=0,2,4,6
/proc/15666/task/15669/stat : 15669 (java) S 15664 15664 897 0 -1 1077944384 17049 0 0 0 2005 86 0 0 20 0 15 0 71535134 14318366720 154192 18446744073709551615 4194304 4196468 140728757404832 139774555052816 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15670] ppid=15664 vsize=13982780 memory=288230617509003574 CPUtime=20.9 cores=0,2,4,6
/proc/15666/task/15670/stat : 15670 (java) S 15664 15664 897 0 -1 1077944384 16037 0 0 0 2006 84 0 0 20 0 15 0 71535134 14318366720 154192 18446744073709551615 4194304 4196468 140728757404832 139774554000528 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15671] ppid=15664 vsize=13982780 memory=15536310592997909 CPUtime=20.92 cores=0,2,4,6
/proc/15666/task/15671/stat : 15671 (java) S 15664 15664 897 0 -1 1077944384 15870 0 0 0 2008 84 0 0 20 0 15 0 71535134 14318366720 154192 18446744073709551615 4194304 4196468 140728757404832 139774552947728 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15672] ppid=15664 vsize=13982780 memory=3144 CPUtime=1.13 cores=0,2,4,6
/proc/15666/task/15672/stat : 15672 (java) S 15664 15664 897 0 -1 1077944384 54846 0 0 0 92 21 0 0 20 0 15 0 71535136 14318366720 154192 18446744073709551615 4194304 4196468 140728757404832 139774100215920 139774621682306 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15673] ppid=15664 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15673/stat : 15673 (java) S 15664 15664 897 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 71535136 14318366720 154192 18446744073709551615 4194304 4196468 140728757404832 139774099161952 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15674] ppid=15664 vsize=13982780 memory=820472 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15674/stat : 15674 (java) S 15664 15664 897 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 71535136 14318366720 154192 18446744073709551615 4194304 4196468 140728757404832 139774098109568 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15675] ppid=15664 vsize=13982780 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15675/stat : 15675 (java) S 15664 15664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71535139 14318366720 154192 18446744073709551615 4194304 4196468 140728757404832 139774097057872 139774621689755 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15676] ppid=15664 vsize=13982780 memory=4872558044660077418 CPUtime=7.5 cores=0,2,4,6
/proc/15666/task/15676/stat : 15676 (java) S 15664 15664 897 0 -1 1077944384 38246 0 0 0 746 4 0 0 20 0 15 0 71535139 14318366720 154192 18446744073709551615 4194304 4196468 140728757404832 139774096005744 139774621682306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15677] ppid=15664 vsize=13982780 memory=1380 CPUtime=6.47 cores=0,2,4,6
/proc/15666/task/15677/stat : 15677 (java) S 15664 15664 897 0 -1 1077944384 27996 0 0 0 643 4 0 0 20 0 15 0 71535139 14318366720 154192 18446744073709551615 4194304 4196468 140728757404832 139774094952944 139774621682306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15678] ppid=15664 vsize=13982780 memory=829704 CPUtime=1.12 cores=0,2,4,6
/proc/15666/task/15678/stat : 15678 (java) S 15664 15664 897 0 -1 1077944384 13323 0 0 0 109 3 0 0 20 0 15 0 71535139 14318366720 154192 18446744073709551615 4194304 4196468 140728757404832 139774093900656 139774621682306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15679] ppid=15664 vsize=13982780 memory=-8774313645642428999 CPUtime=0 cores=0,2,4,6
/proc/15666/task/15679/stat : 15679 (java) S 15664 15664 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 71535139 14318366720 154192 18446744073709551615 4194304 4196468 140728757404832 139774092848096 139774621681365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
[pid=15666/tid=15680] ppid=15664 vsize=13982780 memory=4872558044660077418 CPUtime=1.28 cores=0,2,4,6
/proc/15666/task/15680/stat : 15680 (java) S 15664 15664 897 0 -1 1077944384 1449 0 0 0 61 67 0 0 20 0 15 0 71535143 14318366720 154192 18446744073709551615 4194304 4196468 140728757404832 139774091794864 139774621682306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 17 0 0 6293624 6294260 14069760 140728757412273 140728757412449 140728757412449 140728757415887 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 618148 KiB

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

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

[startup+2441.41 s]
# the end of solver process 15666 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.59 s, system=4.50485 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): 2441.41
CPU time (s): 2520.09
CPU user time (s): 2515.59
CPU system time (s): 4.50485
CPU usage (%): 103.223
Max. virtual memory (cumulated for all children) (KiB): 13992292
Max. memory (cumulated for all children) (KiB): 836456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.59
system time used= 4.50485
maximum resident set size= 840204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267461
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71258
involuntary context switches= 3886


# summary of solver processes directly reported to runsolver:
#   pid: 15664,15666
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2515.59
#   total CPU system time (s): 4.50485

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.976 second user time and 19.6084 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml
MD5SUM	7effaf54e6298c2e2ce7b82787858117
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	373
Best CPU time to get the best result obtained on this benchmark	2400.03
Satisfiable
(Un)Satisfiability was proved
Number of variables	1712
Number of constraints	1007
Number of domains	4
Minimum domain size	2
Maximum domain size	1683
Distribution of domain sizes	[{"size":2,"count":841},{"size":3,"count":841},{"size":730,"count":1},{"size":1683,"count":29}]
Minimum variable degree	1
Maximum variable degree	30
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":838},{"degree":3,"count":32},{"degree":4,"count":108},{"degree":8,"count":104},{"degree":9,"count":625},{"degree":30,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	31
Distribution of constraint arities	[{"arity":2,"count":137},{"arity":3,"count":108},{"arity":10,"count":729},{"arity":29,"count":4},{"arity":30,"count":1},{"arity":31,"count":28}]
Number of extensional constraints	837
Number of intensional constraints	136
Distribution of constraint types	[{"type":"extension","count":837},{"type":"intension","count":136},{"type":"sum","count":30},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4272272

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