2017 XCSP3 competition: fast COP track (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)	282	257.965	240.017

0.00/0.07	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4255339-1501619008.xml"  -tl '264s' -p 1 -x 3
0.00/0.26	c [HOME/instance-4255339-1501619008.xml, -tl, 264s, -p, 1, -x, 3]
0.00/0.32	c simple solver
0.00/0.39	c parse instance...
2.33/1.11	c solve instance...
10.07/4.11	o 249 
11.87/4.73	o 269 
12.51/4.91	o 271 
13.11/5.14	o 272 
187.87/172.55	o 282 
257.93/240.00	s SATISFIABLE
257.93/240.00	v <instantiation>
257.93/240.00	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>
257.93/240.00	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 1 0 0 0 0 0 0 0 0 1 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 1 0 1 0 0 1 1 1 1 0 0 1 0 1 0 1 1 1 1 0 1 1 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 1 1 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 1 1 1 0 0 0 1 0 0 1 0 1 1 0 1 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 1 1 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 1 1 0 0 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 1 1 1 1 0 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 1 0 0 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 1 0 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 1 1 1 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 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 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 0 0 1 0 0 1 1 1 1 1 1 0 1 2 2 1 0 1 1 2 2 1 1 2 2 1 1 0 0 0 1 0 1 0 1 2 2 2 2 2 1 1 1 2 1 0 0 2 2 1 0 1 1 1 2 0 0 0 1 0 1 0 0 1 2 1 1 2 1 1 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 2 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 2 0 0 0 0 1 2 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 2 2 2 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 2 2 2 1 2 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 1 0 2 1 0 1 0 1 1 2 2 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 2 1 1 0 1 1 2 2 1 1 1 2 1 1 2 1 1 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 1 2 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 2 1 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 2 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 2 0 0 0 0 0 1 1 1 2 1 1 2 2 2 1 0 0 0 0 0 0 0 0 1 0 1 2 0 0 0 0 0 1 0 1 1 2 2 1 1 2 2 2 1 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 2 1 1 2 1 1 2 1 1 2 0 2 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 2 1 1 0 1 1 0 2 2 1 0 0 2 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 0 0 1 1 2 1 0 1 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 2 2 0 0 0 0 0 0 0 2 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 2 0 1 0 0 0 0 0 1 1 1 0 1 1 0 1 0 0 0 0 0 1 0 2 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 2 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 2 1 1 1 1 1 0 0 0 0 2 1 0 1 0 1 0 0 0 0 0 0 1 0 0 0 2 0 0 0 0 2 2 2 1 1 1 1 2 2 2 1 0 0 0 1 1 0 0 0 1 1 2 1 2 0 1 1 0 2 2 2 2 1 0 1 1 1 1 1 1 0 0 1 1 0 0 1 0 0 1 1 1 1 1 0 0 1 1 1 1 1 0 19 53 79 92 102 114 126 137 159 177 184 189 195 205 221 241 259 279 296 305 313 323 336 351 360 374 389 419 438 282 </values>
257.93/240.00	v </instantiation>
257.93/240.00	c Unexpected resolution interruption!

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255339-1501619008/watcher-4255339-1501619008 -o /tmp/evaluation-result-4255339-1501619008/solver-4255339-1501619008 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501617193-9962 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1408134014 HOME/instance-4255339-1501619008.xml 

pid=10782
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.97 1.89 1.83 2/195 10785
/proc/meminfo: memFree=31669700/32770624 swapFree=0/190524
[pid=10785] ppid=10782 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/10785/stat : 10785 (runsolver) D 10782 10785 5131 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 10521041 24240128 106 18446744073709551615 4194304 4338465 140729856367184 140729856364824 140381685826263 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 38961152 140729856372829 140729856373318 140729856373318 140729856376778 0
/proc/10785/statm: 5918 106 53 36 0 2156 0

[startup+0.103871 s]
/proc/loadavg: 1.97 1.89 1.83 2/195 10785
/proc/meminfo: memFree=31669700/32770624 swapFree=0/190524
[pid=10785] ppid=10782 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10785/stat : 10785 (xcsp3-exec) S 10782 10785 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10521041 9740288 345 18446744073709551615 4194304 5098028 140733556209408 140733556207512 140469723304572 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 15446016 140733556216219 140733556216423 140733556216423 140733556219883 0
/proc/10785/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200247 s]
/proc/loadavg: 1.97 1.89 1.83 2/195 10785
/proc/meminfo: memFree=31669700/32770624 swapFree=0/190524
[pid=10785] ppid=10782 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10785/stat : 10785 (xcsp3-exec) S 10782 10785 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10521041 9740288 345 18446744073709551615 4194304 5098028 140733556209408 140733556207512 140469723304572 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 15446016 140733556216219 140733556216423 140733556216423 140733556219883 0
/proc/10785/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300247 s]
/proc/loadavg: 1.97 1.89 1.83 2/195 10785
/proc/meminfo: memFree=31669700/32770624 swapFree=0/190524
[pid=10785] ppid=10782 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10785/stat : 10785 (xcsp3-exec) S 10782 10785 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10521041 9740288 345 18446744073709551615 4194304 5098028 140733556209408 140733556207512 140469723304572 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 15446016 140733556216219 140733556216423 140733556216423 140733556219883 0
/proc/10785/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700337 s]
/proc/loadavg: 1.97 1.89 1.83 2/195 10785
/proc/meminfo: memFree=31669700/32770624 swapFree=0/190524
[pid=10785] ppid=10782 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10785/stat : 10785 (xcsp3-exec) S 10782 10785 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10521041 9740288 345 18446744073709551615 4194304 5098028 140733556209408 140733556207512 140469723304572 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 15446016 140733556216219 140733556216423 140733556216423 140733556219883 0
/proc/10785/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50138 s]
/proc/loadavg: 2.14 1.93 1.84 3/211 10801
/proc/meminfo: memFree=31578316/32770624 swapFree=0/190552
[pid=10785] ppid=10782 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10785/stat : 10785 (xcsp3-exec) S 10782 10785 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10521041 9740288 345 18446744073709551615 4194304 5098028 140733556209408 140733556207512 140469723304572 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 15446016 140733556216219 140733556216423 140733556216423 140733556219883 0
/proc/10785/statm: 2378 345 289 221 0 87 0
[pid=10787] ppid=10785 vsize=13980732 CPUtime=3.49 cores=0,2,4,6
/proc/10787/stat : 10787 (java) S 10785 10785 5131 0 -1 1077944320 24682 0 0 0 343 6 0 0 20 0 15 0 10521049 14316269568 32018 18446744073709551615 4194304 4196468 140721236981104 140721236963648 140289894985463 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
/proc/10787/statm: 3495183 32018 3182 1 0 3483484 0
[pid=10787/tid=10788] ppid=10785 vsize=13980732 CPUtime=1.35 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (java) R 10785 10785 5131 0 -1 4202560 9801 0 0 0 132 3 0 0 20 0 15 0 10521049 14316269568 32018 18446744073709551615 4194304 4196468 140721236981104 140289899224856 140289491894516 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10789] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (java) S 10785 10785 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10521050 14316269568 32018 18446744073709551615 4194304 4196468 140721236981104 140289814399760 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10790] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (java) S 10785 10785 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10521050 14316269568 32018 18446744073709551615 4194304 4196468 140721236981104 140289813347216 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10791] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10791/stat : 10791 (java) S 10785 10785 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10521050 14316269568 32018 18446744073709551615 4194304 4196468 140721236981104 140289812294672 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10792] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10792/stat : 10792 (java) S 10785 10785 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10521050 14316269568 32018 18446744073709551615 4194304 4196468 140721236981104 140289811242128 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10793] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10793/stat : 10793 (java) S 10785 10785 5131 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 10521051 14316269568 32018 18446744073709551615 4194304 4196468 140721236981104 140289372567536 140289894996610 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10794] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10794/stat : 10794 (java) S 10785 10785 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10521052 14316269568 32018 18446744073709551615 4194304 4196468 140721236981104 140289371513760 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10795] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10795/stat : 10795 (java) S 10785 10785 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10521052 14316269568 32018 18446744073709551615 4194304 4196468 140721236981104 140289370461168 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10796] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10796/stat : 10796 (java) S 10785 10785 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10521054 14316269568 32018 18446744073709551615 4194304 4196468 140721236981104 140289369409744 140289895004059 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10797] ppid=10785 vsize=13980732 CPUtime=0.79 cores=0,2,4,6
/proc/10787/task/10797/stat : 10797 (java) R 10785 10785 5131 0 -1 4202560 5877 0 0 0 78 1 0 0 20 0 15 0 10521054 14316269568 32018 18446744073709551615 4194304 4196468 140721236981104 140289368343416 140289880093507 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10798] ppid=10785 vsize=13980732 CPUtime=0.75 cores=0,2,4,6
/proc/10787/task/10798/stat : 10798 (java) R 10785 10785 5131 0 -1 4202560 4390 0 0 0 75 0 0 0 20 0 15 0 10521054 14316269568 32018 18446744073709551615 4194304 4196468 140721236981104 140289367286408 140289876175052 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10799] ppid=10785 vsize=13980732 CPUtime=0.57 cores=0,2,4,6
/proc/10787/task/10799/stat : 10799 (java) S 10785 10785 5131 0 -1 1077944384 3252 0 0 0 57 0 0 0 20 0 15 0 10521054 14316269568 32018 18446744073709551615 4194304 4196468 140721236981104 140289366252272 140289894996610 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10800] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10800/stat : 10800 (java) S 10785 10785 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10521055 14316269568 32018 18446744073709551615 4194304 4196468 140721236981104 140289365199968 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10801] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10801/stat : 10801 (java) S 10785 10785 5131 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 10521060 14316269568 32018 18446744073709551615 4194304 4196468 140721236981104 140289364146480 140289894996610 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 13990244

[startup+3.10068 s]
/proc/loadavg: 2.14 1.93 1.84 7/211 10801
/proc/meminfo: memFree=31486944/32770624 swapFree=0/190552
[pid=10785] ppid=10782 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10785/stat : 10785 (xcsp3-exec) S 10782 10785 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10521041 9740288 345 18446744073709551615 4194304 5098028 140733556209408 140733556207512 140469723304572 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 15446016 140733556216219 140733556216423 140733556216423 140733556219883 0
/proc/10785/statm: 2378 345 289 221 0 87 0
[pid=10787] ppid=10785 vsize=13980732 CPUtime=8.35 cores=0,2,4,6
/proc/10787/stat : 10787 (java) S 10785 10785 5131 0 -1 1077944320 34152 0 0 0 826 9 0 0 20 0 15 0 10521049 14316269568 41242 18446744073709551615 4194304 4196468 140721236981104 140721236963648 140289894985463 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
/proc/10787/statm: 3495183 41242 3188 1 0 3483484 0
[pid=10787/tid=10788] ppid=10785 vsize=13980732 CPUtime=2.94 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (java) R 10785 10785 5131 0 -1 4202560 9898 0 0 0 291 3 0 0 20 0 15 0 10521049 14316269568 41242 18446744073709551615 4194304 4196468 140721236981104 140289899222000 140289493915474 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10789] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (java) S 10785 10785 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10521050 14316269568 41242 18446744073709551615 4194304 4196468 140721236981104 140289814399760 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10790] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (java) S 10785 10785 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10521050 14316269568 41242 18446744073709551615 4194304 4196468 140721236981104 140289813347216 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10791] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10791/stat : 10791 (java) S 10785 10785 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10521050 14316269568 41242 18446744073709551615 4194304 4196468 140721236981104 140289812294672 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10792] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10792/stat : 10792 (java) S 10785 10785 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10521050 14316269568 41242 18446744073709551615 4194304 4196468 140721236981104 140289811242128 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10793] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10793/stat : 10793 (java) S 10785 10785 5131 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 10521051 14316269568 41242 18446744073709551615 4194304 4196468 140721236981104 140289372567536 140289894996610 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10794] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10794/stat : 10794 (java) S 10785 10785 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10521052 14316269568 41242 18446744073709551615 4194304 4196468 140721236981104 140289371513760 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10795] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10795/stat : 10795 (java) S 10785 10785 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10521052 14316269568 41242 18446744073709551615 4194304 4196468 140721236981104 140289370461168 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10796] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10796/stat : 10796 (java) S 10785 10785 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10521054 14316269568 41242 18446744073709551615 4194304 4196468 140721236981104 140289369409744 140289895004059 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10797] ppid=10785 vsize=13980732 CPUtime=2.35 cores=0,2,4,6
/proc/10787/task/10797/stat : 10797 (java) R 10785 10785 5131 0 -1 4202560 8107 0 0 0 233 2 0 0 20 0 15 0 10521054 14316269568 41242 18446744073709551615 4194304 4196468 140721236981104 140289368344912 140289876507989 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10798] ppid=10785 vsize=13980732 CPUtime=2.27 cores=0,2,4,6
/proc/10787/task/10798/stat : 10798 (java) S 10785 10785 5131 0 -1 1077944384 10395 0 0 0 226 1 0 0 20 0 15 0 10521054 14316269568 41242 18446744073709551615 4194304 4196468 140721236981104 140289367304816 140289894996610 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10799] ppid=10785 vsize=13980732 CPUtime=0.74 cores=0,2,4,6
/proc/10787/task/10799/stat : 10799 (java) S 10785 10785 5131 0 -1 1077944384 4390 0 0 0 73 1 0 0 20 0 15 0 10521054 14316269568 41242 18446744073709551615 4194304 4196468 140721236981104 140289366252272 140289894996610 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10800] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10800/stat : 10800 (java) S 10785 10785 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10521055 14316269568 41242 18446744073709551615 4194304 4196468 140721236981104 140289365199968 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10801] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10801/stat : 10801 (java) S 10785 10785 5131 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 10521060 14316269568 41242 18446744073709551615 4194304 4196468 140721236981104 140289364146480 140289894996610 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
Current children cumulated CPU time (s) 8.35
Current children cumulated vsize (KiB) 13990244

[startup+6.30065 s]
/proc/loadavg: 2.14 1.93 1.84 4/211 10801
/proc/meminfo: memFree=31377592/32770624 swapFree=0/190564
[pid=10785] ppid=10782 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10785/stat : 10785 (xcsp3-exec) S 10782 10785 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10521041 9740288 345 18446744073709551615 4194304 5098028 140733556209408 140733556207512 140469723304572 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 15446016 140733556216219 140733556216423 140733556216423 140733556219883 0
/proc/10785/statm: 2378 345 289 221 0 87 0
[pid=10787] ppid=10785 vsize=13980732 CPUtime=15.57 cores=0,2,4,6
/proc/10787/stat : 10787 (java) S 10785 10785 5131 0 -1 1077944320 46995 0 0 0 1544 13 0 0 20 0 15 0 10521049 14316269568 63253 18446744073709551615 4194304 4196468 140721236981104 140721236963648 140289894985463 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
/proc/10787/statm: 3495183 63253 3216 1 0 3483484 0
[pid=10787/tid=10788] ppid=10785 vsize=13980732 CPUtime=6.12 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (java) R 10785 10785 5131 0 -1 4202560 10428 0 0 0 608 4 0 0 20 0 15 0 10521049 14316269568 63253 18446744073709551615 4194304 4196468 140721236981104 140289899222440 140289490127167 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10789] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (java) S 10785 10785 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10521050 14316269568 63253 18446744073709551615 4194304 4196468 140721236981104 140289814399760 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10790] ppid=10785 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (java) S 10785 10785 5131 0 -1 1077944384 162 0 0 0 1 0 0 0 20 0 15 0 10521050 14316269568 63253 18446744073709551615 4194304 4196468 140721236981104 140289813347216 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10791] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10791/stat : 10791 (java) S 10785 10785 5131 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 10521050 14316269568 63253 18446744073709551615 4194304 4196468 140721236981104 140289812294672 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10792] ppid=10785 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/10787/task/10792/stat : 10792 (java) S 10785 10785 5131 0 -1 1077944384 418 0 0 0 1 0 0 0 20 0 15 0 10521050 14316269568 63253 18446744073709551615 4194304 4196468 140721236981104 140289811242128 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10793] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10793/stat : 10793 (java) S 10785 10785 5131 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 10521051 14316269568 63253 18446744073709551615 4194304 4196468 140721236981104 140289372567536 140289894996610 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10794] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10794/stat : 10794 (java) S 10785 10785 5131 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10521052 14316269568 63253 18446744073709551615 4194304 4196468 140721236981104 140289371513760 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10795] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10795/stat : 10795 (java) S 10785 10785 5131 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 10521052 14316269568 63253 18446744073709551615 4194304 4196468 140721236981104 140289370461168 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10796] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10796/stat : 10796 (java) S 10785 10785 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10521054 14316269568 63253 18446744073709551615 4194304 4196468 140721236981104 140289369409744 140289895004059 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10797] ppid=10785 vsize=13980732 CPUtime=4.19 cores=0,2,4,6
/proc/10787/task/10797/stat : 10797 (java) S 10785 10785 5131 0 -1 1077944384 12483 0 0 0 417 2 0 0 20 0 15 0 10521054 14316269568 63253 18446744073709551615 4194304 4196468 140721236981104 140289368357360 140289894996610 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10798] ppid=10785 vsize=13980732 CPUtime=4.23 cores=0,2,4,6
/proc/10787/task/10798/stat : 10798 (java) S 10785 10785 5131 0 -1 1077944384 15530 0 0 0 421 2 0 0 20 0 15 0 10521054 14316269568 63253 18446744073709551615 4194304 4196468 140721236981104 140289367304816 140289894996610 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10799] ppid=10785 vsize=13980732 CPUtime=0.93 cores=0,2,4,6
/proc/10787/task/10799/stat : 10799 (java) S 10785 10785 5131 0 -1 1077944384 6015 0 0 0 91 2 0 0 20 0 15 0 10521054 14316269568 63253 18446744073709551615 4194304 4196468 140721236981104 140289366252272 140289894996610 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10800] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10800/stat : 10800 (java) S 10785 10785 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10521055 14316269568 63253 18446744073709551615 4194304 4196468 140721236981104 140289365199968 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10801] ppid=10785 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10801/stat : 10801 (java) S 10785 10785 5131 0 -1 1077944384 216 0 0 0 0 0 0 0 20 0 15 0 10521060 14316269568 63253 18446744073709551615 4194304 4196468 140721236981104 140289364146480 140289894996610 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
Current children cumulated CPU time (s) 15.57
Current children cumulated vsize (KiB) 13990244

[startup+12.7008 s]
/proc/loadavg: 2.04 1.91 1.84 4/211 10801
/proc/meminfo: memFree=31187016/32770624 swapFree=0/190568
[pid=10785] ppid=10782 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10785/stat : 10785 (xcsp3-exec) S 10782 10785 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10521041 9740288 345 18446744073709551615 4194304 5098028 140733556209408 140733556207512 140469723304572 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 15446016 140733556216219 140733556216423 140733556216423 140733556219883 0
/proc/10785/statm: 2378 345 289 221 0 87 0
[pid=10787] ppid=10785 vsize=13980732 CPUtime=22.9 cores=0,2,4,6
/proc/10787/stat : 10787 (java) S 10785 10785 5131 0 -1 1077944320 50608 0 0 0 2270 20 0 0 20 0 15 0 10521049 14316269568 76312 18446744073709551615 4194304 4196468 140721236981104 140721236963648 140289894985463 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
/proc/10787/statm: 3495183 76312 3229 1 0 3483484 0
[pid=10787/tid=10788] ppid=10785 vsize=13980732 CPUtime=12.44 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (java) R 10785 10785 5131 0 -1 4202560 11030 0 0 0 1240 4 0 0 20 0 15 0 10521049 14316269568 76312 18446744073709551615 4194304 4196468 140721236981104 140289899223936 140289495148058 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10789] ppid=10785 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (java) S 10785 10785 5131 0 -1 1077944384 129 0 0 0 5 1 0 0 20 0 15 0 10521050 14316269568 76312 18446744073709551615 4194304 4196468 140721236981104 140289814399760 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10790] ppid=10785 vsize=13980732 CPUtime=0.08 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (java) S 10785 10785 5131 0 -1 1077944384 314 0 0 0 6 2 0 0 20 0 15 0 10521050 14316269568 76312 18446744073709551615 4194304 4196468 140721236981104 140289813347216 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0

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

/proc/10787/stat : 10787 (java) S 10785 10785 5131 0 -1 1077944320 76418 0 0 0 11476 57 0 0 20 0 15 0 10521049 14318366720 126727 18446744073709551615 4194304 4196468 140721236981104 140721236963648 140289894985463 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
/proc/10787/statm: 3495695 126727 3230 1 0 3483996 0
[pid=10787/tid=10788] ppid=10785 vsize=13982780 CPUtime=101.38 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (java) R 10785 10785 5131 0 -1 4202560 16201 0 0 0 10132 6 0 0 20 0 15 0 10521049 14318366720 126727 18446744073709551615 4194304 4196468 140721236981104 140289899225136 140289495148058 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10789] ppid=10785 vsize=13982780 CPUtime=0.67 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (java) S 10785 10785 5131 0 -1 1077944384 724 0 0 0 58 9 0 0 20 0 15 0 10521050 14318366720 126727 18446744073709551615 4194304 4196468 140721236981104 140289814399760 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10790] ppid=10785 vsize=13982780 CPUtime=0.69 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (java) S 10785 10785 5131 0 -1 1077944384 1858 0 0 0 60 9 0 0 20 0 15 0 10521050 14318366720 126727 18446744073709551615 4194304 4196468 140721236981104 140289813347216 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10791] ppid=10785 vsize=13982780 CPUtime=0.68 cores=0,2,4,6
/proc/10787/task/10791/stat : 10791 (java) S 10785 10785 5131 0 -1 1077944384 2068 0 0 0 58 10 0 0 20 0 15 0 10521050 14318366720 126727 18446744073709551615 4194304 4196468 140721236981104 140289812294672 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10792] ppid=10785 vsize=13982780 CPUtime=0.69 cores=0,2,4,6
/proc/10787/task/10792/stat : 10792 (java) S 10785 10785 5131 0 -1 1077944384 1830 0 0 0 59 10 0 0 20 0 15 0 10521050 14318366720 126727 18446744073709551615 4194304 4196468 140721236981104 140289811242128 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10793] ppid=10785 vsize=13982780 CPUtime=0.03 cores=0,2,4,6
/proc/10787/task/10793/stat : 10793 (java) S 10785 10785 5131 0 -1 1077944384 1278 0 0 0 3 0 0 0 20 0 15 0 10521051 14318366720 126727 18446744073709551615 4194304 4196468 140721236981104 140289372567536 140289894996610 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10794] ppid=10785 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10794/stat : 10794 (java) S 10785 10785 5131 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10521052 14318366720 126727 18446744073709551615 4194304 4196468 140721236981104 140289371513760 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10795] ppid=10785 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10795/stat : 10795 (java) S 10785 10785 5131 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 10521052 14318366720 126727 18446744073709551615 4194304 4196468 140721236981104 140289370461168 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10796] ppid=10785 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10796/stat : 10796 (java) S 10785 10785 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10521054 14318366720 126727 18446744073709551615 4194304 4196468 140721236981104 140289369409744 140289895004059 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10797] ppid=10785 vsize=13982780 CPUtime=4.84 cores=0,2,4,6
/proc/10787/task/10797/stat : 10797 (java) S 10785 10785 5131 0 -1 1077944384 17381 0 0 0 481 3 0 0 20 0 15 0 10521054 14318366720 126727 18446744073709551615 4194304 4196468 140721236981104 140289368357360 140289894996610 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10798] ppid=10785 vsize=13982780 CPUtime=5.21 cores=0,2,4,6
/proc/10787/task/10798/stat : 10798 (java) S 10785 10785 5131 0 -1 1077944384 23802 0 0 0 519 2 0 0 20 0 15 0 10521054 14318366720 126727 18446744073709551615 4194304 4196468 140721236981104 140289367304816 140289894996610 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10799] ppid=10785 vsize=13982780 CPUtime=1 cores=0,2,4,6
/proc/10787/task/10799/stat : 10799 (java) S 10785 10785 5131 0 -1 1077944384 9415 0 0 0 98 2 0 0 20 0 15 0 10521054 14318366720 126727 18446744073709551615 4194304 4196468 140721236981104 140289366252272 140289894996610 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10800] ppid=10785 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10800/stat : 10800 (java) S 10785 10785 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10521055 14318366720 126727 18446744073709551615 4194304 4196468 140721236981104 140289365199968 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10801] ppid=10785 vsize=13982780 CPUtime=0.04 cores=0,2,4,6
/proc/10787/task/10801/stat : 10801 (java) S 10785 10785 5131 0 -1 1077944384 520 0 0 0 3 1 0 0 20 0 15 0 10521060 14318366720 126727 18446744073709551615 4194304 4196468 140721236981104 140289364146480 140289894996610 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
Current children cumulated CPU time (s) 115.33
Current children cumulated vsize (KiB) 13992292

[startup+162.301 s]
/proc/loadavg: 1.73 1.86 1.84 3/211 10812
/proc/meminfo: memFree=30782284/32770624 swapFree=0/190668
[pid=10785] ppid=10782 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10785/stat : 10785 (xcsp3-exec) S 10782 10785 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10521041 9740288 345 18446744073709551615 4194304 5098028 140733556209408 140733556207512 140469723304572 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 15446016 140733556216219 140733556216423 140733556216423 140733556219883 0
/proc/10785/statm: 2378 345 289 221 0 87 0
[pid=10787] ppid=10785 vsize=13982780 CPUtime=177.5 cores=0,2,4,6
/proc/10787/stat : 10787 (java) S 10785 10785 5131 0 -1 1077944320 85533 0 0 0 17673 77 0 0 20 0 15 0 10521049 14318366720 147438 18446744073709551615 4194304 4196468 140721236981104 140721236963648 140289894985463 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
/proc/10787/statm: 3495695 147438 3246 1 0 3483996 0
[pid=10787/tid=10788] ppid=10785 vsize=13982780 CPUtime=160.54 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (java) R 10785 10785 5131 0 -1 4202560 17312 0 0 0 16047 7 0 0 20 0 15 0 10521049 14318366720 147438 18446744073709551615 4194304 4196468 140721236981104 140289899225088 140289496710696 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10789] ppid=10785 vsize=13982780 CPUtime=1.37 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (java) S 10785 10785 5131 0 -1 1077944384 1611 0 0 0 124 13 0 0 20 0 15 0 10521050 14318366720 147438 18446744073709551615 4194304 4196468 140721236981104 140289814399760 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10790] ppid=10785 vsize=13982780 CPUtime=1.4 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (java) S 10785 10785 5131 0 -1 1077944384 2307 0 0 0 126 14 0 0 20 0 15 0 10521050 14318366720 147438 18446744073709551615 4194304 4196468 140721236981104 140289813347216 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10791] ppid=10785 vsize=13982780 CPUtime=1.39 cores=0,2,4,6
/proc/10787/task/10791/stat : 10791 (java) S 10785 10785 5131 0 -1 1077944384 2747 0 0 0 125 14 0 0 20 0 15 0 10521050 14318366720 147438 18446744073709551615 4194304 4196468 140721236981104 140289812294672 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10792] ppid=10785 vsize=13982780 CPUtime=1.4 cores=0,2,4,6
/proc/10787/task/10792/stat : 10792 (java) S 10785 10785 5131 0 -1 1077944384 2323 0 0 0 126 14 0 0 20 0 15 0 10521050 14318366720 147438 18446744073709551615 4194304 4196468 140721236981104 140289811242128 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10793] ppid=10785 vsize=13982780 CPUtime=0.14 cores=0,2,4,6
/proc/10787/task/10793/stat : 10793 (java) S 10785 10785 5131 0 -1 1077944384 4360 0 0 0 13 1 0 0 20 0 15 0 10521051 14318366720 147438 18446744073709551615 4194304 4196468 140721236981104 140289372567536 140289894996610 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10794] ppid=10785 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10794/stat : 10794 (java) S 10785 10785 5131 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10521052 14318366720 147438 18446744073709551615 4194304 4196468 140721236981104 140289371513760 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10795] ppid=10785 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10795/stat : 10795 (java) S 10785 10785 5131 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 10521052 14318366720 147438 18446744073709551615 4194304 4196468 140721236981104 140289370461168 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10796] ppid=10785 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10796/stat : 10796 (java) S 10785 10785 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10521054 14318366720 147438 18446744073709551615 4194304 4196468 140721236981104 140289369409744 140289895004059 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10797] ppid=10785 vsize=13982780 CPUtime=4.85 cores=0,2,4,6
/proc/10787/task/10797/stat : 10797 (java) S 10785 10785 5131 0 -1 1077944384 17793 0 0 0 482 3 0 0 20 0 15 0 10521054 14318366720 147438 18446744073709551615 4194304 4196468 140721236981104 140289368357360 140289894996610 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10798] ppid=10785 vsize=13982780 CPUtime=5.25 cores=0,2,4,6
/proc/10787/task/10798/stat : 10798 (java) S 10785 10785 5131 0 -1 1077944384 24945 0 0 0 523 2 0 0 20 0 15 0 10521054 14318366720 147438 18446744073709551615 4194304 4196468 140721236981104 140289367304816 140289894996610 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10799] ppid=10785 vsize=13982780 CPUtime=1 cores=0,2,4,6
/proc/10787/task/10799/stat : 10799 (java) S 10785 10785 5131 0 -1 1077944384 10241 0 0 0 98 2 0 0 20 0 15 0 10521054 14318366720 147438 18446744073709551615 4194304 4196468 140721236981104 140289366252272 140289894996610 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10800] ppid=10785 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10800/stat : 10800 (java) S 10785 10785 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10521055 14318366720 147438 18446744073709551615 4194304 4196468 140721236981104 140289365199968 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10801] ppid=10785 vsize=13982780 CPUtime=0.07 cores=0,2,4,6
/proc/10787/task/10801/stat : 10801 (java) S 10785 10785 5131 0 -1 1077944384 553 0 0 0 4 3 0 0 20 0 15 0 10521060 14318366720 147438 18446744073709551615 4194304 4196468 140721236981104 140289364146480 140289894996610 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
Current children cumulated CPU time (s) 177.5
Current children cumulated vsize (KiB) 13992292

[startup+222.307 s]
/proc/loadavg: 1.69 1.80 1.82 3/211 10814
/proc/meminfo: memFree=30714132/32770624 swapFree=0/190712
[pid=10785] ppid=10782 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10785/stat : 10785 (xcsp3-exec) S 10782 10785 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10521041 9740288 345 18446744073709551615 4194304 5098028 140733556209408 140733556207512 140469723304572 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 15446016 140733556216219 140733556216423 140733556216423 140733556219883 0
/proc/10785/statm: 2378 345 289 221 0 87 0
[pid=10787] ppid=10785 vsize=13982780 CPUtime=239.81 cores=0,2,4,6
/proc/10787/stat : 10787 (java) S 10785 10785 5131 0 -1 1077944320 96932 0 0 0 23893 88 0 0 20 0 15 0 10521049 14318366720 144359 18446744073709551615 4194304 4196468 140721236981104 140721236963648 140289894985463 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
/proc/10787/statm: 3495695 144359 3246 1 0 3483996 0
[pid=10787/tid=10788] ppid=10785 vsize=13982780 CPUtime=219.89 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (java) R 10785 10785 5131 0 -1 4202560 18001 0 0 0 21982 7 0 0 20 0 15 0 10521049 14318366720 144359 18446744073709551615 4194304 4196468 140721236981104 140289899224848 140289496532199 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10789] ppid=10785 vsize=13982780 CPUtime=1.97 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (java) S 10785 10785 5131 0 -1 1077944384 2179 0 0 0 182 15 0 0 20 0 15 0 10521050 14318366720 144359 18446744073709551615 4194304 4196468 140721236981104 140289814399760 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10790] ppid=10785 vsize=13982780 CPUtime=2.01 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (java) S 10785 10785 5131 0 -1 1077944384 2942 0 0 0 185 16 0 0 20 0 15 0 10521050 14318366720 144359 18446744073709551615 4194304 4196468 140721236981104 140289813347216 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10791] ppid=10785 vsize=13982780 CPUtime=2 cores=0,2,4,6
/proc/10787/task/10791/stat : 10791 (java) S 10785 10785 5131 0 -1 1077944384 3554 0 0 0 183 17 0 0 20 0 15 0 10521050 14318366720 144359 18446744073709551615 4194304 4196468 140721236981104 140289812294672 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10792] ppid=10785 vsize=13982780 CPUtime=2.01 cores=0,2,4,6
/proc/10787/task/10792/stat : 10792 (java) S 10785 10785 5131 0 -1 1077944384 2840 0 0 0 184 17 0 0 20 0 15 0 10521050 14318366720 144359 18446744073709551615 4194304 4196468 140721236981104 140289811242128 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10793] ppid=10785 vsize=13982780 CPUtime=0.17 cores=0,2,4,6
/proc/10787/task/10793/stat : 10793 (java) S 10785 10785 5131 0 -1 1077944384 7313 0 0 0 15 2 0 0 20 0 15 0 10521051 14318366720 144359 18446744073709551615 4194304 4196468 140721236981104 140289372567536 140289894996610 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10794] ppid=10785 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10794/stat : 10794 (java) S 10785 10785 5131 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10521052 14318366720 144359 18446744073709551615 4194304 4196468 140721236981104 140289371513760 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10795] ppid=10785 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10795/stat : 10795 (java) S 10785 10785 5131 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 10521052 14318366720 144359 18446744073709551615 4194304 4196468 140721236981104 140289370461168 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10796] ppid=10785 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10796/stat : 10796 (java) S 10785 10785 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10521054 14318366720 144359 18446744073709551615 4194304 4196468 140721236981104 140289369409744 140289895004059 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10797] ppid=10785 vsize=13982780 CPUtime=5.12 cores=0,2,4,6
/proc/10787/task/10797/stat : 10797 (java) S 10785 10785 5131 0 -1 1077944384 19613 0 0 0 509 3 0 0 20 0 15 0 10521054 14318366720 144359 18446744073709551615 4194304 4196468 140721236981104 140289368357360 140289894996610 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10798] ppid=10785 vsize=13982780 CPUtime=5.44 cores=0,2,4,6
/proc/10787/task/10798/stat : 10798 (java) S 10785 10785 5131 0 -1 1077944384 27891 0 0 0 542 2 0 0 20 0 15 0 10521054 14318366720 144359 18446744073709551615 4194304 4196468 140721236981104 140289367304816 140289894996610 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10799] ppid=10785 vsize=13982780 CPUtime=1.02 cores=0,2,4,6
/proc/10787/task/10799/stat : 10799 (java) S 10785 10785 5131 0 -1 1077944384 10685 0 0 0 100 2 0 0 20 0 15 0 10521054 14318366720 144359 18446744073709551615 4194304 4196468 140721236981104 140289366252272 140289894996610 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10800] ppid=10785 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10800/stat : 10800 (java) S 10785 10785 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10521055 14318366720 144359 18446744073709551615 4194304 4196468 140721236981104 140289365199968 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10801] ppid=10785 vsize=13982780 CPUtime=0.11 cores=0,2,4,6
/proc/10787/task/10801/stat : 10801 (java) S 10785 10785 5131 0 -1 1077944384 573 0 0 0 6 5 0 0 20 0 15 0 10521060 14318366720 144359 18446744073709551615 4194304 4196468 140721236981104 140289364146480 140289894996610 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
Current children cumulated CPU time (s) 239.81
Current children cumulated vsize (KiB) 13992292



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.61 1.78 1.81 3/211 10974
/proc/meminfo: memFree=31053412/32770624 swapFree=0/190768
[pid=10785] ppid=10782 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10785/stat : 10785 (xcsp3-exec) S 10782 10785 5131 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 10521041 9740288 345 18446744073709551615 4194304 5098028 140733556209408 140733556207512 140469723304572 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 15446016 140733556216219 140733556216423 140733556216423 140733556219883 0
/proc/10785/statm: 2378 345 289 221 0 87 0
[pid=10787] ppid=10785 vsize=13982780 CPUtime=257.93 cores=0,2,4,6
/proc/10787/stat : 10787 (java) S 10785 10785 5131 0 -1 1077944320 98518 0 0 0 25696 97 0 0 20 0 15 0 10521049 14318366720 164413 18446744073709551615 4194304 4196468 140721236981104 140721236963648 140289894985463 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
/proc/10787/statm: 3495695 164413 3246 1 0 3483996 0
[pid=10787/tid=10788] ppid=10785 vsize=13982780 CPUtime=237.45 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (java) R 10785 10785 5131 0 -1 4202560 19209 0 0 0 23737 8 0 0 20 0 15 0 10521049 14318366720 164413 18446744073709551615 4194304 4196468 140721236981104 140289899225120 140289496533238 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10789] ppid=10785 vsize=13982780 CPUtime=2.09 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (java) S 10785 10785 5131 0 -1 1077944384 2247 0 0 0 192 17 0 0 20 0 15 0 10521050 14318366720 164413 18446744073709551615 4194304 4196468 140721236981104 140289814399760 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10790] ppid=10785 vsize=13982780 CPUtime=2.14 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (java) S 10785 10785 5131 0 -1 1077944384 3037 0 0 0 196 18 0 0 20 0 15 0 10521050 14318366720 164413 18446744073709551615 4194304 4196468 140721236981104 140289813347216 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10791] ppid=10785 vsize=13982780 CPUtime=2.12 cores=0,2,4,6
/proc/10787/task/10791/stat : 10791 (java) S 10785 10785 5131 0 -1 1077944384 3588 0 0 0 194 18 0 0 20 0 15 0 10521050 14318366720 164413 18446744073709551615 4194304 4196468 140721236981104 140289812294672 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10792] ppid=10785 vsize=13982780 CPUtime=2.13 cores=0,2,4,6
/proc/10787/task/10792/stat : 10792 (java) S 10785 10785 5131 0 -1 1077944384 2924 0 0 0 195 18 0 0 20 0 15 0 10521050 14318366720 164413 18446744073709551615 4194304 4196468 140721236981104 140289811242128 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10793] ppid=10785 vsize=13982780 CPUtime=0.18 cores=0,2,4,6
/proc/10787/task/10793/stat : 10793 (java) S 10785 10785 5131 0 -1 1077944384 7370 0 0 0 16 2 0 0 20 0 15 0 10521051 14318366720 164413 18446744073709551615 4194304 4196468 140721236981104 140289372567536 140289894996610 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10794] ppid=10785 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10794/stat : 10794 (java) S 10785 10785 5131 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 10521052 14318366720 164413 18446744073709551615 4194304 4196468 140721236981104 140289371513760 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10795] ppid=10785 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10795/stat : 10795 (java) S 10785 10785 5131 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 10521052 14318366720 164413 18446744073709551615 4194304 4196468 140721236981104 140289370461168 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10796] ppid=10785 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10796/stat : 10796 (java) S 10785 10785 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10521054 14318366720 164413 18446744073709551615 4194304 4196468 140721236981104 140289369409744 140289895004059 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10797] ppid=10785 vsize=13982780 CPUtime=5.15 cores=0,2,4,6
/proc/10787/task/10797/stat : 10797 (java) S 10785 10785 5131 0 -1 1077944384 19637 0 0 0 512 3 0 0 20 0 15 0 10521054 14318366720 164413 18446744073709551615 4194304 4196468 140721236981104 140289368357360 140289894996610 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10798] ppid=10785 vsize=13982780 CPUtime=5.46 cores=0,2,4,6
/proc/10787/task/10798/stat : 10798 (java) S 10785 10785 5131 0 -1 1077944384 27907 0 0 0 543 3 0 0 20 0 15 0 10521054 14318366720 164413 18446744073709551615 4194304 4196468 140721236981104 140289367304816 140289894996610 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10799] ppid=10785 vsize=13982780 CPUtime=1.02 cores=0,2,4,6
/proc/10787/task/10799/stat : 10799 (java) S 10785 10785 5131 0 -1 1077944384 10685 0 0 0 100 2 0 0 20 0 15 0 10521054 14318366720 164413 18446744073709551615 4194304 4196468 140721236981104 140289366252272 140289894996610 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10800] ppid=10785 vsize=13982780 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10800/stat : 10800 (java) S 10785 10785 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10521055 14318366720 164413 18446744073709551615 4194304 4196468 140721236981104 140289365199968 140289894995669 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
[pid=10787/tid=10801] ppid=10785 vsize=13982780 CPUtime=0.11 cores=0,2,4,6
/proc/10787/task/10801/stat : 10801 (java) S 10785 10785 5131 0 -1 1077944384 573 0 0 0 6 5 0 0 20 0 15 0 10521060 14318366720 164413 18446744073709551615 4194304 4196468 140721236981104 140289364146480 140289894996610 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12713984 140721236988372 140721236988547 140721236988547 140721236991951 0
Current children cumulated CPU time (s) 257.93
Current children cumulated vsize (KiB) 13992292

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10787 sig 9
??? kill 10785 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.017
CPU time (s): 257.965
CPU user time (s): 256.98
CPU system time (s): 0.984779
CPU usage (%): 107.478
Max. virtual memory (cumulated for all children) (KiB): 13992292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 256.98
system time used= 0.984779
maximum resident set size= 658300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99178
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10374
involuntary context switches= 631

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.09682 second user time and 1.53003 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	367
Best CPU time to get the best result obtained on this benchmark	251.811
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 4255339

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