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)	332	2520.1001	2448.9099

0.00/0.05	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272274-1502694743.xml"  -tl '2520s' -p 1 -x 3
0.16/0.24	c [HOME/instance-4272274-1502694743.xml, -tl, 2520s, -p, 1, -x, 3]
0.16/0.30	c simple solver
0.34/0.36	c parse instance...
2.44/1.12	c solve instance...
12.97/7.69	o 317 
14.39/8.13	o 318 
16.52/8.95	o 321 
17.04/9.16	o 323 
81.98/70.82	o 324 
372.60/353.17	o 330 
372.69/353.21	o 331 
375.19/355.52	o 332 
2520.07/2448.90	s SATISFIABLE
2520.07/2448.90	v <instantiation>
2520.07/2448.90	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[0][29] x[0][30] 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[1][29] x[1][30] 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[2][29] x[2][30] 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[3][29] x[3][30] 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[4][29] x[4][30] 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[5][29] x[5][30] 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[6][29] x[6][30] 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[7][29] x[7][30] 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[8][29] x[8][30] 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[9][29] x[9][30] 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[10][29] x[10][30] 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[11][29] x[11][30] 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[12][29] x[12][30] 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[13][29] x[13][30] 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[14][29] x[14][30] 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[15][29] x[15][30] 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[16][29] x[16][30] 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[17][29] x[17][30] 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[18][29] x[18][30] 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[19][29] x[19][30] 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[20][29] x[20][30] 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[21][29] x[21][30] 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[22][29] x[22][30] 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[23][29] x[23][30] 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[24][29] x[24][30] 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[25][29] x[25][30] 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[26][29] x[26][30] 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[27][29] x[27][30] 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] x[28][29] x[28][30] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] 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[0][29] w[0][30] 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[1][29] w[1][30] 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[2][29] w[2][30] 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[3][29] w[3][30] 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[4][29] w[4][30] 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[5][29] w[5][30] 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[6][29] w[6][30] 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[7][29] w[7][30] 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[8][29] w[8][30] 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[9][29] w[9][30] 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[10][29] w[10][30] 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[11][29] w[11][30] 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[12][29] w[12][30] 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[13][29] w[13][30] 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[14][29] w[14][30] 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[15][29] w[15][30] 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[16][29] w[16][30] 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[17][29] w[17][30] 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[18][29] w[18][30] 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[19][29] w[19][30] 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[20][29] w[20][30] 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[21][29] w[21][30] 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[22][29] w[22][30] 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[23][29] w[23][30] 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[24][29] w[24][30] 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[25][29] w[25][30] 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[26][29] w[26][30] 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[27][29] w[27][30] 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] w[28][29] w[28][30] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] 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] ws[29] ws[30] z </list>
2520.07/2448.90	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 1 1 1 1 1 0 0 0 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 0 0 1 0 1 1 0 1 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 1 1 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 1 1 0 1 0 1 1 0 1 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 0 1 1 0 1 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 0 1 0 0 1 1 0 0 1 0 1 1 1 1 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 1 1 1 0 0 1 0 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 1 1 1 1 0 1 0 1 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 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 1 0 1 0 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 1 2 2 1 1 2 0 0 0 1 2 2 2 2 0 1 0 2 2 2 1 0 1 1 2 1 0 1 0 0 0 0 1 1 1 0 0 1 0 1 1 2 2 2 0 0 2 1 1 1 1 1 0 0 2 2 1 0 1 0 1 0 0 1 0 0 0 0 0 1 1 1 2 1 0 1 0 1 0 1 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 1 2 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 1 2 1 1 0 0 0 0 1 2 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 2 2 0 0 1 0 0 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 1 1 1 1 2 1 1 2 2 1 1 0 0 0 0 1 0 0 1 0 0 0 2 0 1 0 1 0 0 0 1 0 2 1 1 2 2 2 2 2 1 0 1 0 0 0 0 0 0 0 1 0 1 1 2 0 0 0 0 0 0 2 0 0 1 1 2 1 1 2 0 1 0 0 0 0 1 0 0 0 1 0 0 0 2 1 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 2 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 2 2 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 0 0 2 1 0 0 1 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 0 1 2 0 1 0 0 0 0 0 1 1 2 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 2 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 0 2 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 1 2 0 1 0 0 1 0 1 0 0 1 2 0 0 0 0 0 0 0 0 0 0 1 2 1 0 1 0 2 0 2 0 1 0 1 0 0 0 0 1 1 2 1 1 0 0 1 0 1 0 0 0 0 1 2 2 2 0 1 0 2 0 2 0 0 0 0 1 0 1 0 2 1 1 0 0 1 0 1 0 0 1 0 1 1 1 1 2 2 1 2 1 1 0 0 0 0 1 0 0 1 2 0 1 0 0 0 0 0 1 0 1 0 1 1 0 0 0 1 2 2 2 0 0 0 0 2 0 0 0 0 1 1 0 0 1 0 0 0 1 0 2 1 0 1 0 0 0 0 1 2 2 1 1 0 0 0 0 0 1 1 0 1 1 0 1 1 2 1 2 1 2 2 1 1 0 0 0 0 0 1 1 1 1 0 0 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 0 0 0 22 56 81 98 107 113 120 128 137 151 171 192 213 228 237 244 256 269 279 289 302 315 326 337 349 368 390 411 428 453 470 332 </values>
2520.07/2448.90	v </instantiation>
2520.07/2448.90	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 (15252 MiB free)
  memory of node 1: 16384 MiB (14958 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.10016 s]*
/proc/loadavg: 2.63 1.79 1.62 3/207 5217
/proc/meminfo: memFree=30927932/32770624 swapFree=67108860/67108860
[pid=5207] ppid=5204 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5207/stat : 5207 (xcsp3-exec) S 5204 5207 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 23356914 9740288 345 18446744073709551615 4194304 5098028 140737164322000 140737164320104 140013076992636 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 37990400 140737164329337 140737164329542 140737164329542 140737164333035 0
/proc/5207/statm: 2378 345 289 221 0 87 0
[pid=5209] ppid=5207 vsize=13840740 memory=18808 CPUtime=0.05 cores=0,2,4,6
/proc/5209/stat : 5209 (java) S 5207 5207 7968 0 -1 1077944320 4136 0 0 0 4 1 0 0 20 0 13 0 23356920 14172917760 4702 18446744073709551615 4194304 4196468 140720527048240 140720527030784 140233923047159 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
/proc/5209/statm: 3460185 4702 2202 1 0 3449682 0
[pid=5209/tid=5210] ppid=5207 vsize=13840740 memory=7078076838863583841 CPUtime=0.03 cores=0,2,4,6
/proc/5209/task/5210/stat : 5210 (java) R 5207 5207 7968 0 -1 4202560 2699 0 0 0 3 0 0 0 20 0 13 0 23356920 14172917760 4834 18446744073709551615 4194304 4196468 140720527048240 140233927285296 140233923069085 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5211] ppid=5207 vsize=13840740 memory=4123389896250521363 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5211/stat : 5211 (java) S 5207 5207 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 23356921 14172917760 4834 18446744073709551615 4194304 4196468 140720527048240 140233842461712 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5212] ppid=5207 vsize=13840740 memory=140394087122560 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5212/stat : 5212 (java) S 5207 5207 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 23356921 14172917760 4834 18446744073709551615 4194304 4196468 140720527048240 140233841409168 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5213] ppid=5207 vsize=13840740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5213/stat : 5213 (java) S 5207 5207 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 23356921 14172917760 4834 18446744073709551615 4194304 4196468 140720527048240 140233840356112 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5214] ppid=5207 vsize=13840740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5214/stat : 5214 (java) S 5207 5207 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 23356921 14172917760 4834 18446744073709551615 4194304 4196468 140720527048240 140233839303568 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5215] ppid=5207 vsize=13840740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5215/stat : 5215 (java) S 5207 5207 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 23356922 14172917760 4834 18446744073709551615 4194304 4196468 140720527048240 140233401669872 140233923058306 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5216] ppid=5207 vsize=13840740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5216/stat : 5216 (java) S 5207 5207 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 23356923 14172917760 4834 18446744073709551615 4194304 4196468 140720527048240 140233400616096 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5217] ppid=5207 vsize=13840740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5217/stat : 5217 (java) S 5207 5207 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 23356923 14172917760 4834 18446744073709551615 4194304 4196468 140720527048240 140233399562992 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5218] ppid=5207 vsize=13840740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5218/stat : 5218 (java) S 5207 5207 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 23356925 14172917760 4834 18446744073709551615 4194304 4196468 140720527048240 140233398511568 140233923065755 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5219] ppid=5207 vsize=13840740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5219/stat : 5219 (java) S 5207 5207 7968 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 13 0 23356925 14172917760 4834 18446744073709551615 4194304 4196468 140720527048240 140233397459392 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5220] ppid=5207 vsize=13840740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5220/stat : 5220 (java) R 5207 5207 7968 0 -1 4202560 255 0 0 0 0 0 0 0 20 0 13 0 23356925 14172917760 4834 18446744073709551615 4194304 4196468 140720527048240 140233396400720 140233903363833 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5221] ppid=5207 vsize=13840740 memory=140394087122560 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5221/stat : 5221 (java) S 5207 5207 7968 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 13 0 23356925 14172917760 4834 18446744073709551615 4194304 4196468 140720527048240 140233395354096 140233923058306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13850252 KiB
Current children cumulated memory: 20188 KiB

[startup+0.211891 s]*
/proc/loadavg: 2.63 1.79 1.62 6/213 5223
/proc/meminfo: memFree=30920104/32770624 swapFree=67108860/67108860
[pid=5207] ppid=5204 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5207/stat : 5207 (xcsp3-exec) S 5204 5207 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 23356914 9740288 345 18446744073709551615 4194304 5098028 140737164322000 140737164320104 140013076992636 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 37990400 140737164329337 140737164329542 140737164329542 140737164333035 0
/proc/5207/statm: 2378 345 289 221 0 87 0
[pid=5209] ppid=5207 vsize=13974352 memory=31016 CPUtime=0.16 cores=0,2,4,6
/proc/5209/stat : 5209 (java) S 5207 5207 7968 0 -1 1077944320 5663 0 0 0 15 1 0 0 20 0 15 0 23356920 14309736448 7754 18446744073709551615 4194304 4196468 140720527048240 140720527030784 140233923047159 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
/proc/5209/statm: 3493588 7754 2933 1 0 3482964 0
[pid=5209/tid=5210] ppid=5207 vsize=13974352 memory=7078076838863583841 CPUtime=0.11 cores=0,2,4,6
/proc/5209/task/5210/stat : 5210 (java) R 5207 5207 7968 0 -1 4202560 3158 0 0 0 10 1 0 0 20 0 15 0 23356920 14309736448 7820 18446744073709551615 4194304 4196468 140720527048240 140233927276792 140233915284286 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5211] ppid=5207 vsize=13974352 memory=4123389896250521363 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5211/stat : 5211 (java) S 5207 5207 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23356921 14309736448 7820 18446744073709551615 4194304 4196468 140720527048240 140233842461712 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5212] ppid=5207 vsize=13974352 memory=140394087122560 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5212/stat : 5212 (java) S 5207 5207 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23356921 14309736448 7820 18446744073709551615 4194304 4196468 140720527048240 140233841409168 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5213] ppid=5207 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5213/stat : 5213 (java) S 5207 5207 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23356921 14309736448 7820 18446744073709551615 4194304 4196468 140720527048240 140233840356112 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5214] ppid=5207 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5214/stat : 5214 (java) S 5207 5207 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 23356921 14309736448 7820 18446744073709551615 4194304 4196468 140720527048240 140233839303568 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5215] ppid=5207 vsize=13974352 memory=140394087122560 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5215/stat : 5215 (java) S 5207 5207 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 23356922 14309736448 7820 18446744073709551615 4194304 4196468 140720527048240 140233401669872 140233923058306 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5216] ppid=5207 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5216/stat : 5216 (java) S 5207 5207 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 23356923 14309736448 7820 18446744073709551615 4194304 4196468 140720527048240 140233400616096 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5217] ppid=5207 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5217/stat : 5217 (java) S 5207 5207 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 23356923 14309736448 7820 18446744073709551615 4194304 4196468 140720527048240 140233399562992 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5218] ppid=5207 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5218/stat : 5218 (java) S 5207 5207 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23356925 14309736448 7820 18446744073709551615 4194304 4196468 140720527048240 140233398511568 140233923065755 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5219] ppid=5207 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5219/stat : 5219 (java) S 5207 5207 7968 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 23356925 14309736448 7820 18446744073709551615 4194304 4196468 140720527048240 140233397459696 140233923058306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5220] ppid=5207 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/5209/task/5220/stat : 5220 (java) R 5207 5207 7968 0 -1 4202560 511 0 0 0 1 0 0 0 20 0 15 0 23356925 14309736448 7820 18446744073709551615 4194304 4196468 140720527048240 140233396398168 140233902700832 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5221] ppid=5207 vsize=13974352 memory=140394087122560 CPUtime=0.03 cores=0,2,4,6
/proc/5209/task/5221/stat : 5221 (java) R 5207 5207 7968 0 -1 4202560 716 0 0 0 3 0 0 0 20 0 15 0 23356925 14309736448 7820 18446744073709551615 4194304 4196468 140720527048240 140233395350008 140233903014278 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5222] ppid=5207 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5222/stat : 5222 (java) S 5207 5207 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23356926 14309736448 7820 18446744073709551615 4194304 4196468 140720527048240 140233394301792 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5223] ppid=5207 vsize=13974352 memory=140394087122560 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5223/stat : 5223 (java) S 5207 5207 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23356930 14309736448 7820 18446744073709551615 4194304 4196468 140720527048240 140233393248816 140233923058306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32396 KiB

[startup+0.313735 s]*
/proc/loadavg: 2.63 1.79 1.62 4/213 5223
/proc/meminfo: memFree=30906900/32770624 swapFree=67108860/67108860
[pid=5207] ppid=5204 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5207/stat : 5207 (xcsp3-exec) S 5204 5207 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 23356914 9740288 345 18446744073709551615 4194304 5098028 140737164322000 140737164320104 140013076992636 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 37990400 140737164329337 140737164329542 140737164329542 140737164333035 0
/proc/5207/statm: 2378 345 289 221 0 87 0
[pid=5209] ppid=5207 vsize=13979632 memory=40392 CPUtime=0.34 cores=0,2,4,6
/proc/5209/stat : 5209 (java) S 5207 5207 7968 0 -1 1077944320 9210 0 0 0 31 3 0 0 20 0 15 0 23356920 14315143168 10098 18446744073709551615 4194304 4196468 140720527048240 140720527030784 140233923047159 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
/proc/5209/statm: 3494652 10098 3029 1 0 3482964 0
[pid=5209/tid=5210] ppid=5207 vsize=13978608 memory=4278483708103473607 CPUtime=0.2 cores=0,2,4,6
/proc/5209/task/5210/stat : 5210 (java) R 5207 5207 7968 0 -1 4202560 6434 0 0 0 18 2 0 0 20 0 15 0 23356920 14314094592 10098 18446744073709551615 4194304 4196468 140720527048240 140233927248960 140233907127646 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5211] ppid=5207 vsize=13978608 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5211/stat : 5211 (java) S 5207 5207 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23356921 14314094592 10098 18446744073709551615 4194304 4196468 140720527048240 140233842461712 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5212] ppid=5207 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5212/stat : 5212 (java) S 5207 5207 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23356921 14314094592 10098 18446744073709551615 4194304 4196468 140720527048240 140233841409168 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5213] ppid=5207 vsize=13978608 memory=7169341932329687520 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5213/stat : 5213 (java) S 5207 5207 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23356921 14314094592 10098 18446744073709551615 4194304 4196468 140720527048240 140233840356112 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5214] ppid=5207 vsize=13978608 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5214/stat : 5214 (java) S 5207 5207 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 23356921 14314094592 10098 18446744073709551615 4194304 4196468 140720527048240 140233839303568 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5215] ppid=5207 vsize=13978608 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5215/stat : 5215 (java) S 5207 5207 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 23356922 14314094592 10098 18446744073709551615 4194304 4196468 140720527048240 140233401669872 140233923058306 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5216] ppid=5207 vsize=13978608 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5216/stat : 5216 (java) S 5207 5207 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 23356923 14314094592 10098 18446744073709551615 4194304 4196468 140720527048240 140233400616096 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5217] ppid=5207 vsize=13978608 memory=4941748034395217002 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5217/stat : 5217 (java) S 5207 5207 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 23356923 14314094592 10098 18446744073709551615 4194304 4196468 140720527048240 140233399562992 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5218] ppid=5207 vsize=13978608 memory=2985214336737842550 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5218/stat : 5218 (java) S 5207 5207 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23356925 14314094592 10098 18446744073709551615 4194304 4196468 140720527048240 140233398511568 140233923065755 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5219] ppid=5207 vsize=13978608 memory=6944613755495348631 CPUtime=0.02 cores=0,2,4,6
/proc/5209/task/5219/stat : 5219 (java) S 5207 5207 7968 0 -1 1077944384 180 0 0 0 2 0 0 0 20 0 15 0 23356925 14314094592 10098 18446744073709551615 4194304 4196468 140720527048240 140233397459696 140233923058306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5220] ppid=5207 vsize=13978608 memory=4196912344889787449 CPUtime=0.02 cores=0,2,4,6
/proc/5209/task/5220/stat : 5220 (java) S 5207 5207 7968 0 -1 1077944384 602 0 0 0 2 0 0 0 20 0 15 0 23356925 14314094592 10098 18446744073709551615 4194304 4196468 140720527048240 140233396407152 140233923058306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5221] ppid=5207 vsize=13978608 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5209/task/5221/stat : 5221 (java) R 5207 5207 7968 0 -1 4202560 785 0 0 0 8 0 0 0 20 0 15 0 23356925 14314094592 10098 18446744073709551615 4194304 4196468 140720527048240 140233395354096 140233901180268 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5222] ppid=5207 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5222/stat : 5222 (java) S 5207 5207 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23356926 14314094592 10098 18446744073709551615 4194304 4196468 140720527048240 140233394301792 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5223] ppid=5207 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5223/stat : 5223 (java) S 5207 5207 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23356930 14314094592 10098 18446744073709551615 4194304 4196468 140720527048240 140233393248816 140233923058306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13989144 KiB
Current children cumulated memory: 41772 KiB

[startup+0.701343 s]
/proc/loadavg: 2.63 1.79 1.62 4/213 5223
/proc/meminfo: memFree=30888988/32770624 swapFree=67108860/67108860
[pid=5207] ppid=5204 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5207/stat : 5207 (xcsp3-exec) S 5204 5207 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 23356914 9740288 345 18446744073709551615 4194304 5098028 140737164322000 140737164320104 140013076992636 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 37990400 140737164329337 140737164329542 140737164329542 140737164333035 0
/proc/5207/statm: 2378 345 289 221 0 87 0
[pid=5209] ppid=5207 vsize=13978684 memory=76484 CPUtime=1.43 cores=0,2,4,6
/proc/5209/stat : 5209 (java) S 5207 5207 7968 0 -1 1077944320 12779 0 0 0 138 5 0 0 20 0 15 0 23356920 14314172416 19121 18446744073709551615 4194304 4196468 140720527048240 140720527030784 140233923047159 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
/proc/5209/statm: 3494671 19121 3170 1 0 3482964 0
[pid=5209/tid=5210] ppid=5207 vsize=13978684 memory=280787916574384 CPUtime=0.58 cores=0,2,4,6
/proc/5209/task/5210/stat : 5210 (java) R 5207 5207 7968 0 -1 4202560 7470 0 0 0 54 4 0 0 20 0 15 0 23356920 14314172416 19121 18446744073709551615 4194304 4196468 140720527048240 140233927282752 140233923069085 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5211] ppid=5207 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5211/stat : 5211 (java) S 5207 5207 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23356921 14314172416 19121 18446744073709551615 4194304 4196468 140720527048240 140233842461712 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5212] ppid=5207 vsize=13978684 memory=2456788403713 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5212/stat : 5212 (java) S 5207 5207 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23356921 14314172416 19121 18446744073709551615 4194304 4196468 140720527048240 140233841409168 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5213] ppid=5207 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5213/stat : 5213 (java) S 5207 5207 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23356921 14314172416 19121 18446744073709551615 4194304 4196468 140720527048240 140233840356112 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5214] ppid=5207 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5214/stat : 5214 (java) S 5207 5207 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 23356921 14314172416 19121 18446744073709551615 4194304 4196468 140720527048240 140233839303568 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5215] ppid=5207 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5215/stat : 5215 (java) S 5207 5207 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 23356922 14314172416 19121 18446744073709551615 4194304 4196468 140720527048240 140233401669872 140233923058306 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5216] ppid=5207 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5216/stat : 5216 (java) S 5207 5207 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 23356923 14314172416 19121 18446744073709551615 4194304 4196468 140720527048240 140233400616096 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5217] ppid=5207 vsize=13978684 memory=5 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5217/stat : 5217 (java) S 5207 5207 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 23356923 14314172416 19121 18446744073709551615 4194304 4196468 140720527048240 140233399562992 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5218] ppid=5207 vsize=13978684 memory=36 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5218/stat : 5218 (java) S 5207 5207 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23356925 14314172416 19121 18446744073709551615 4194304 4196468 140720527048240 140233398511568 140233923065755 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5219] ppid=5207 vsize=13978684 memory=2 CPUtime=0.27 cores=0,2,4,6
/proc/5209/task/5219/stat : 5219 (java) R 5207 5207 7968 0 -1 4202560 1066 0 0 0 27 0 0 0 20 0 15 0 23356925 14314172416 19121 18446744073709551615 4194304 4196468 140720527048240 140233397449296 140233907037574 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5220] ppid=5207 vsize=13978684 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/5209/task/5220/stat : 5220 (java) R 5207 5207 7968 0 -1 1077944384 1267 0 0 0 23 0 0 0 20 0 15 0 23356925 14314172416 19121 18446744073709551615 4194304 4196468 140720527048240 140233396399104 140233923057365 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5221] ppid=5207 vsize=13978684 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/5209/task/5221/stat : 5221 (java) S 5207 5207 7968 0 -1 1077944384 1669 0 0 0 32 0 0 0 20 0 15 0 23356925 14314172416 19121 18446744073709551615 4194304 4196468 140720527048240 140233395354096 140233923058306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5222] ppid=5207 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5222/stat : 5222 (java) S 5207 5207 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23356926 14314172416 19121 18446744073709551615 4194304 4196468 140720527048240 140233394301792 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5223] ppid=5207 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5223/stat : 5223 (java) S 5207 5207 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 23356930 14314172416 19121 18446744073709551615 4194304 4196468 140720527048240 140233393248816 140233923058306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 77864 KiB

[startup+1.50088 s]
/proc/loadavg: 2.63 1.79 1.62 6/213 5223
/proc/meminfo: memFree=30851868/32770624 swapFree=67108860/67108860
[pid=5207] ppid=5204 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5207/stat : 5207 (xcsp3-exec) S 5204 5207 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 23356914 9740288 345 18446744073709551615 4194304 5098028 140737164322000 140737164320104 140013076992636 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 37990400 140737164329337 140737164329542 140737164329542 140737164333035 0
/proc/5207/statm: 2378 345 289 221 0 87 0
[pid=5209] ppid=5207 vsize=13980732 memory=124728 CPUtime=3.57 cores=0,2,4,6
/proc/5209/stat : 5209 (java) S 5207 5207 7968 0 -1 1077944320 22942 0 0 0 349 8 0 0 20 0 15 0 23356920 14316269568 31182 18446744073709551615 4194304 4196468 140720527048240 140720527030784 140233923047159 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
/proc/5209/statm: 3495183 31182 3196 1 0 3483476 0
[pid=5209/tid=5210] ppid=5207 vsize=13980732 memory=0 CPUtime=1.38 cores=0,2,4,6

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

/proc/5209/task/5217/stat : 5217 (java) S 5207 5207 7968 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 23356923 14318366720 174140 18446744073709551615 4194304 4196468 140720527048240 140233399563008 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5218] ppid=5207 vsize=13982780 memory=696560 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5218/stat : 5218 (java) S 5207 5207 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23356925 14318366720 174140 18446744073709551615 4194304 4196468 140720527048240 140233398511568 140233923065755 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5219] ppid=5207 vsize=13982780 memory=696560 CPUtime=5.47 cores=0,2,4,6
/proc/5209/task/5219/stat : 5219 (java) S 5207 5207 7968 0 -1 1077944384 28531 0 0 0 544 3 0 0 20 0 15 0 23356925 14318366720 174140 18446744073709551615 4194304 4196468 140720527048240 140233397459696 140233923058306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5220] ppid=5207 vsize=13982780 memory=1380 CPUtime=5.07 cores=0,2,4,6
/proc/5209/task/5220/stat : 5220 (java) S 5207 5207 7968 0 -1 1077944384 22973 0 0 0 502 5 0 0 20 0 15 0 23356925 14318366720 174140 18446744073709551615 4194304 4196468 140720527048240 140233396407152 140233923058306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5221] ppid=5207 vsize=13982780 memory=696560 CPUtime=0.98 cores=0,2,4,6
/proc/5209/task/5221/stat : 5221 (java) S 5207 5207 7968 0 -1 1077944384 13898 0 0 0 94 4 0 0 20 0 15 0 23356925 14318366720 174140 18446744073709551615 4194304 4196468 140720527048240 140233395354096 140233923058306 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5222] ppid=5207 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5222/stat : 5222 (java) S 5207 5207 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23356926 14318366720 174140 18446744073709551615 4194304 4196468 140720527048240 140233394301792 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5223] ppid=5207 vsize=13982780 memory=4124 CPUtime=1.27 cores=0,2,4,6
/proc/5209/task/5223/stat : 5223 (java) S 5207 5207 7968 0 -1 1077944384 1030 0 0 0 62 65 0 0 20 0 15 0 23356930 14318366720 174140 18446744073709551615 4194304 4196468 140720527048240 140233393248816 140233923058306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
Current children cumulated CPU time: 2451.74 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 697940 KiB

[startup+2442.3 s]
/proc/loadavg: 1.53 1.74 1.69 3/213 5551
/proc/meminfo: memFree=29668532/32770624 swapFree=67108860/67108860
[pid=5207] ppid=5204 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5207/stat : 5207 (xcsp3-exec) S 5204 5207 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 23356914 9740288 345 18446744073709551615 4194304 5098028 140737164322000 140737164320104 140013076992636 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 37990400 140737164329337 140737164329542 140737164329542 140737164333035 0
/proc/5207/statm: 2378 345 289 221 0 87 0
[pid=5209] ppid=5207 vsize=13982780 memory=744584 CPUtime=2513.36 cores=0,2,4,6
/proc/5209/stat : 5209 (java) S 5207 5207 7968 0 -1 1077944320 249118 0 0 0 250878 458 0 0 20 0 15 0 23356920 14318366720 186146 18446744073709551615 4194304 4196468 140720527048240 140720527030784 140233923047159 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
/proc/5209/statm: 3495695 186146 3255 1 0 3483988 0
[pid=5209/tid=5210] ppid=5207 vsize=13982780 memory=1380 CPUtime=2420.64 cores=0,2,4,6
/proc/5209/task/5210/stat : 5210 (java) R 5207 5207 7968 0 -1 4202560 72454 0 0 0 242037 27 0 0 20 0 15 0 23356920 14318366720 186146 18446744073709551615 4194304 4196468 140720527048240 140233927286432 140233525711082 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5211] ppid=5207 vsize=13982780 memory=744584 CPUtime=19.71 cores=0,2,4,6
/proc/5209/task/5211/stat : 5211 (java) S 5207 5207 7968 0 -1 1077944384 15636 0 0 0 1881 90 0 0 20 0 15 0 23356921 14318366720 186146 18446744073709551615 4194304 4196468 140720527048240 140233842461712 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5212] ppid=5207 vsize=13982780 memory=753304 CPUtime=19.71 cores=0,2,4,6
/proc/5209/task/5212/stat : 5212 (java) S 5207 5207 7968 0 -1 1077944384 16410 0 0 0 1883 88 0 0 20 0 15 0 23356921 14318366720 186146 18446744073709551615 4194304 4196468 140720527048240 140233841409168 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5213] ppid=5207 vsize=13982780 memory=706800 CPUtime=19.73 cores=0,2,4,6
/proc/5209/task/5213/stat : 5213 (java) S 5207 5207 7968 0 -1 1077944384 17571 0 0 0 1889 84 0 0 20 0 15 0 23356921 14318366720 186146 18446744073709551615 4194304 4196468 140720527048240 140233840356112 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5214] ppid=5207 vsize=13982780 memory=782540 CPUtime=19.69 cores=0,2,4,6
/proc/5209/task/5214/stat : 5214 (java) S 5207 5207 7968 0 -1 1077944384 15175 0 0 0 1882 87 0 0 20 0 15 0 23356921 14318366720 186146 18446744073709551615 4194304 4196468 140720527048240 140233839303568 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5215] ppid=5207 vsize=13982780 memory=753300 CPUtime=0.96 cores=0,2,4,6
/proc/5209/task/5215/stat : 5215 (java) S 5207 5207 7968 0 -1 1077944384 44015 0 0 0 79 17 0 0 20 0 15 0 23356922 14318366720 186146 18446744073709551615 4194304 4196468 140720527048240 140233401669872 140233923058306 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5216] ppid=5207 vsize=13982780 memory=753304 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5216/stat : 5216 (java) S 5207 5207 7968 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 23356923 14318366720 186146 18446744073709551615 4194304 4196468 140720527048240 140233400616160 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5217] ppid=5207 vsize=13982780 memory=748688 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5217/stat : 5217 (java) S 5207 5207 7968 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 23356923 14318366720 186146 18446744073709551615 4194304 4196468 140720527048240 140233399563008 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5218] ppid=5207 vsize=13982780 memory=744584 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5218/stat : 5218 (java) S 5207 5207 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23356925 14318366720 186146 18446744073709551615 4194304 4196468 140720527048240 140233398511568 140233923065755 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5219] ppid=5207 vsize=13982780 memory=744584 CPUtime=5.47 cores=0,2,4,6
/proc/5209/task/5219/stat : 5219 (java) S 5207 5207 7968 0 -1 1077944384 28531 0 0 0 544 3 0 0 20 0 15 0 23356925 14318366720 186146 18446744073709551615 4194304 4196468 140720527048240 140233397459696 140233923058306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5220] ppid=5207 vsize=13982780 memory=1380 CPUtime=5.07 cores=0,2,4,6
/proc/5209/task/5220/stat : 5220 (java) S 5207 5207 7968 0 -1 1077944384 22973 0 0 0 502 5 0 0 20 0 15 0 23356925 14318366720 186146 18446744073709551615 4194304 4196468 140720527048240 140233396407152 140233923058306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5221] ppid=5207 vsize=13982780 memory=748688 CPUtime=0.98 cores=0,2,4,6
/proc/5209/task/5221/stat : 5221 (java) S 5207 5207 7968 0 -1 1077944384 13946 0 0 0 94 4 0 0 20 0 15 0 23356925 14318366720 186146 18446744073709551615 4194304 4196468 140720527048240 140233395354096 140233923058306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5222] ppid=5207 vsize=13982780 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5222/stat : 5222 (java) S 5207 5207 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23356926 14318366720 186146 18446744073709551615 4194304 4196468 140720527048240 140233394301792 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5223] ppid=5207 vsize=13982780 memory=753304 CPUtime=1.3 cores=0,2,4,6
/proc/5209/task/5223/stat : 5223 (java) S 5207 5207 7968 0 -1 1077944384 1034 0 0 0 63 67 0 0 20 0 15 0 23356930 14318366720 186146 18446744073709551615 4194304 4196468 140720527048240 140233393248816 140233923058306 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
Current children cumulated CPU time: 2513.36 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 745964 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2448.9 s]
/proc/loadavg: 1.49 1.73 1.69 3/213 5551
/proc/meminfo: memFree=29691924/32770624 swapFree=67108860/67108860
[pid=5207] ppid=5204 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5207/stat : 5207 (xcsp3-exec) S 5204 5207 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 23356914 9740288 345 18446744073709551615 4194304 5098028 140737164322000 140737164320104 140013076992636 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 37990400 140737164329337 140737164329542 140737164329542 140737164333035 0
/proc/5207/statm: 2378 345 289 221 0 87 0
[pid=5209] ppid=5207 vsize=13982780 memory=735348 CPUtime=2520.07 cores=0,2,4,6
/proc/5209/stat : 5209 (java) S 5207 5207 7968 0 -1 1077944320 249121 0 0 0 251549 458 0 0 20 0 15 0 23356920 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140720527030784 140233923047159 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
/proc/5209/statm: 3495695 183837 3255 1 0 3483988 0
[pid=5209/tid=5210] ppid=5207 vsize=13982780 memory=735348 CPUtime=2427.2 cores=0,2,4,6
/proc/5209/task/5210/stat : 5210 (java) R 5207 5207 7968 0 -1 4202560 72456 0 0 0 242693 27 0 0 20 0 15 0 23356920 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233927286304 140233525275396 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5211] ppid=5207 vsize=13982780 memory=735348 CPUtime=19.75 cores=0,2,4,6
/proc/5209/task/5211/stat : 5211 (java) S 5207 5207 7968 0 -1 1077944384 15637 0 0 0 1885 90 0 0 20 0 15 0 23356921 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233842461712 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5212] ppid=5207 vsize=13982780 memory=748688 CPUtime=19.75 cores=0,2,4,6
/proc/5209/task/5212/stat : 5212 (java) S 5207 5207 7968 0 -1 1077944384 16410 0 0 0 1887 88 0 0 20 0 15 0 23356921 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233841409168 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5213] ppid=5207 vsize=13982780 memory=753304 CPUtime=19.77 cores=0,2,4,6
/proc/5209/task/5213/stat : 5213 (java) S 5207 5207 7968 0 -1 1077944384 17571 0 0 0 1893 84 0 0 20 0 15 0 23356921 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233840356112 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5214] ppid=5207 vsize=13982780 memory=782540 CPUtime=19.72 cores=0,2,4,6
/proc/5209/task/5214/stat : 5214 (java) S 5207 5207 7968 0 -1 1077944384 15175 0 0 0 1885 87 0 0 20 0 15 0 23356921 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233839303568 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5215] ppid=5207 vsize=13982780 memory=706800 CPUtime=0.96 cores=0,2,4,6
/proc/5209/task/5215/stat : 5215 (java) S 5207 5207 7968 0 -1 1077944384 44015 0 0 0 79 17 0 0 20 0 15 0 23356922 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233401669872 140233923058306 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5216] ppid=5207 vsize=13982780 memory=753304 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5216/stat : 5216 (java) S 5207 5207 7968 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 23356923 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233400616160 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5217] ppid=5207 vsize=13982780 memory=739452 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5217/stat : 5217 (java) S 5207 5207 7968 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 23356923 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233399563008 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5218] ppid=5207 vsize=13982780 memory=735348 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5218/stat : 5218 (java) S 5207 5207 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23356925 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233398511568 140233923065755 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5219] ppid=5207 vsize=13982780 memory=735348 CPUtime=5.47 cores=0,2,4,6
/proc/5209/task/5219/stat : 5219 (java) S 5207 5207 7968 0 -1 1077944384 28531 0 0 0 544 3 0 0 20 0 15 0 23356925 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233397459696 140233923058306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5220] ppid=5207 vsize=13982780 memory=735348 CPUtime=5.07 cores=0,2,4,6
/proc/5209/task/5220/stat : 5220 (java) S 5207 5207 7968 0 -1 1077944384 22973 0 0 0 502 5 0 0 20 0 15 0 23356925 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233396407152 140233923058306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5221] ppid=5207 vsize=13982780 memory=1380 CPUtime=0.98 cores=0,2,4,6
/proc/5209/task/5221/stat : 5221 (java) S 5207 5207 7968 0 -1 1077944384 13946 0 0 0 94 4 0 0 20 0 15 0 23356925 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233395354096 140233923058306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5222] ppid=5207 vsize=13982780 memory=1588 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5222/stat : 5222 (java) S 5207 5207 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23356926 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233394301792 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5223] ppid=5207 vsize=13982780 memory=98 CPUtime=1.3 cores=0,2,4,6
/proc/5209/task/5223/stat : 5223 (java) S 5207 5207 7968 0 -1 1077944384 1034 0 0 0 63 67 0 0 20 0 15 0 23356930 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233393248816 140233923058306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 736728 KiB

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

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

[startup+2448.91 s]
# the end of solver process 5209 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.51 s, system=4.58958 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

[startup+2448.9 s]
/proc/loadavg: 1.49 1.73 1.69 3/213 5551
/proc/meminfo: memFree=29691924/32770624 swapFree=67108860/67108860
[pid=5207] ppid=5204 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/5207/stat : 5207 (xcsp3-exec) S 5204 5207 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 23356914 9740288 345 18446744073709551615 4194304 5098028 140737164322000 140737164320104 140013076992636 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 37990400 140737164329337 140737164329542 140737164329542 140737164333035 0
/proc/5207/statm: 2378 345 289 221 0 87 0
[pid=5209] ppid=5207 vsize=13982780 memory=735348 CPUtime=2520.07 cores=0,2,4,6
/proc/5209/stat : 5209 (java) S 5207 5207 7968 0 -1 1077944320 249121 0 0 0 251549 458 0 0 20 0 15 0 23356920 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140720527030784 140233923047159 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
/proc/5209/statm: 3495695 183837 3255 1 0 3483988 0
[pid=5209/tid=5210] ppid=5207 vsize=13982780 memory=735348 CPUtime=2427.2 cores=0,2,4,6
/proc/5209/task/5210/stat : 5210 (java) R 5207 5207 7968 0 -1 4202560 72456 0 0 0 242693 27 0 0 20 0 15 0 23356920 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233927286304 140233525275396 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5211] ppid=5207 vsize=13982780 memory=735348 CPUtime=19.75 cores=0,2,4,6
/proc/5209/task/5211/stat : 5211 (java) S 5207 5207 7968 0 -1 1077944384 15637 0 0 0 1885 90 0 0 20 0 15 0 23356921 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233842461712 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5212] ppid=5207 vsize=13982780 memory=748688 CPUtime=19.75 cores=0,2,4,6
/proc/5209/task/5212/stat : 5212 (java) S 5207 5207 7968 0 -1 1077944384 16410 0 0 0 1887 88 0 0 20 0 15 0 23356921 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233841409168 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5213] ppid=5207 vsize=13982780 memory=753304 CPUtime=19.77 cores=0,2,4,6
/proc/5209/task/5213/stat : 5213 (java) S 5207 5207 7968 0 -1 1077944384 17571 0 0 0 1893 84 0 0 20 0 15 0 23356921 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233840356112 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5214] ppid=5207 vsize=13982780 memory=782540 CPUtime=19.72 cores=0,2,4,6
/proc/5209/task/5214/stat : 5214 (java) S 5207 5207 7968 0 -1 1077944384 15175 0 0 0 1885 87 0 0 20 0 15 0 23356921 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233839303568 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5215] ppid=5207 vsize=13982780 memory=706800 CPUtime=0.96 cores=0,2,4,6
/proc/5209/task/5215/stat : 5215 (java) S 5207 5207 7968 0 -1 1077944384 44015 0 0 0 79 17 0 0 20 0 15 0 23356922 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233401669872 140233923058306 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5216] ppid=5207 vsize=13982780 memory=753304 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5216/stat : 5216 (java) S 5207 5207 7968 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 23356923 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233400616160 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5217] ppid=5207 vsize=13982780 memory=739452 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5217/stat : 5217 (java) S 5207 5207 7968 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 23356923 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233399563008 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5218] ppid=5207 vsize=13982780 memory=735348 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5218/stat : 5218 (java) S 5207 5207 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23356925 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233398511568 140233923065755 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5219] ppid=5207 vsize=13982780 memory=735348 CPUtime=5.47 cores=0,2,4,6
/proc/5209/task/5219/stat : 5219 (java) S 5207 5207 7968 0 -1 1077944384 28531 0 0 0 544 3 0 0 20 0 15 0 23356925 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233397459696 140233923058306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5220] ppid=5207 vsize=13982780 memory=735348 CPUtime=5.07 cores=0,2,4,6
/proc/5209/task/5220/stat : 5220 (java) S 5207 5207 7968 0 -1 1077944384 22973 0 0 0 502 5 0 0 20 0 15 0 23356925 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233396407152 140233923058306 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5221] ppid=5207 vsize=13982780 memory=1380 CPUtime=0.98 cores=0,2,4,6
/proc/5209/task/5221/stat : 5221 (java) S 5207 5207 7968 0 -1 1077944384 13946 0 0 0 94 4 0 0 20 0 15 0 23356925 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233395354096 140233923058306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5222] ppid=5207 vsize=13982780 memory=1588 CPUtime=0 cores=0,2,4,6
/proc/5209/task/5222/stat : 5222 (java) S 5207 5207 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 23356926 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233394301792 140233923057365 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
[pid=5209/tid=5223] ppid=5207 vsize=13982780 memory=98 CPUtime=1.3 cores=0,2,4,6
/proc/5209/task/5223/stat : 5223 (java) S 5207 5207 7968 0 -1 1077944384 1034 0 0 0 63 67 0 0 20 0 15 0 23356930 14318366720 183837 18446744073709551615 4194304 4196468 140720527048240 140233393248816 140233923058306 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34668544 140720527049138 140720527049314 140720527049314 140720527052751 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 736728 KiB

Child status: 143
Real time (s): 2448.91
CPU time (s): 2520.1
CPU user time (s): 2515.51
CPU system time (s): 4.58958
CPU usage (%): 102.907
Max. virtual memory (cumulated for all children) (KiB): 13992292
Max. memory (cumulated for all children) (KiB): 1014652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.51
system time used= 4.58958
maximum resident set size= 1013272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249775
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= 68366
involuntary context switches= 5119


# summary of solver processes directly reported to runsolver:
#   pid: 5207,5209
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2515.51
#   total CPU system time (s): 4.58958

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1602 second user time and 23.5204 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml
MD5SUM	1822b9c415adc1a9dd10b23e46d08c48
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	425
Best CPU time to get the best result obtained on this benchmark	2519.5801
Satisfiable
(Un)Satisfiability was proved
Number of variables	1954
Number of constraints	1139
Number of domains	4
Minimum domain size	2
Maximum domain size	1923
Distribution of domain sizes	[{"size":2,"count":961},{"size":3,"count":961},{"size":842,"count":1},{"size":1923,"count":31}]
Minimum variable degree	1
Maximum variable degree	32
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":958},{"degree":3,"count":34},{"degree":4,"count":116},{"degree":8,"count":112},{"degree":9,"count":729},{"degree":32,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	33
Distribution of constraint arities	[{"arity":2,"count":147},{"arity":3,"count":116},{"arity":10,"count":841},{"arity":31,"count":4},{"arity":32,"count":1},{"arity":33,"count":30}]
Number of extensional constraints	957
Number of intensional constraints	146
Distribution of constraint types	[{"type":"extension","count":957},{"type":"intension","count":146},{"type":"sum","count":32},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4272274

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