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 4.0.5 seq (2017-07-26)	SAT (TO)	289	246.12	240.011

0.00/0.05	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4254345-1501612441.xml"  -tl '264s' -p 1 -x 0
0.00/0.24	c [HOME/instance-4254345-1501612441.xml, -tl, 264s, -p, 1, -x, 0]
0.00/0.30	c simple solver
0.00/0.36	c parse instance...
0.00/1.05	c solve instance...
13.57/9.72	o 277 
13.85/9.82	o 279 
20.67/15.76	o 287 
21.19/16.21	o 289 
246.12/240.01	s SATISFIABLE
246.12/240.01	v <instantiation>
246.12/240.01	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[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>
246.12/240.01	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 0 1 1 0 1 1 0 0 0 0 1 0 0 1 0 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 1 1 0 0 0 0 1 1 0 1 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 1 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 1 1 1 1 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 1 1 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 1 1 1 0 0 0 0 1 1 0 1 0 0 1 1 1 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 1 0 0 1 1 0 0 1 1 0 1 1 1 1 0 0 1 0 1 1 1 2 2 2 2 2 1 1 0 0 0 1 1 1 0 1 1 0 1 0 2 2 1 0 1 1 1 0 1 0 1 2 1 1 2 2 0 0 0 0 0 2 1 0 0 1 1 0 1 1 2 1 1 0 1 1 1 0 0 1 0 0 0 1 2 0 0 0 0 0 2 2 0 2 0 1 0 0 1 1 1 0 0 1 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 2 0 1 1 0 2 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 2 2 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 1 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 0 1 1 1 2 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 2 0 1 1 2 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 2 1 1 2 2 0 1 0 0 1 2 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 2 2 2 1 0 1 1 2 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 1 2 1 1 1 1 0 0 1 0 1 2 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 0 0 1 0 0 1 1 2 2 0 0 0 0 0 0 0 0 0 2 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 2 0 0 0 0 0 0 0 0 1 1 2 1 1 1 1 0 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 1 2 1 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 2 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 2 0 0 0 0 1 0 0 1 0 1 2 2 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 1 1 1 1 1 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 2 1 1 2 2 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 1 2 2 2 2 2 2 0 1 0 0 0 0 0 0 0 0 1 0 0 0 2 1 1 1 1 0 1 1 1 2 2 2 2 2 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 2 1 1 0 0 1 1 1 1 2 2 2 2 2 1 0 1 1 1 0 0 0 2 0 0 0 0 0 1 1 1 0 1 1 1 2 1 0 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 18 47 70 86 94 103 116 125 136 145 156 166 181 195 214 230 241 249 258 269 282 295 299 304 321 344 367 393 410 289 </values>
246.12/240.01	v </instantiation>
246.12/240.01	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-4254345-1501612441/watcher-4254345-1501612441 -o /tmp/evaluation-result-4254345-1501612441/solver-4254345-1501612441 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node130-1501611170-5183 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2086261201 HOME/instance-4254345-1501612441.xml 

pid=5483
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.73 1.47 0.76 3/196 5486
/proc/meminfo: memFree=31762456/32770624 swapFree=0/179008
[pid=5486] ppid=5483 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (runsolver) D 5483 5486 5123 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9861046 24240128 107 18446744073709551615 4194304 4338465 140727477490368 140727477488008 139937968378583 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 30965760 140727477497949 140727477498438 140727477498438 140727477501898 0
/proc/5486/statm: 5918 107 54 36 0 2156 0

[startup+0.100201 s]
/proc/loadavg: 1.73 1.47 0.76 3/196 5486
/proc/meminfo: memFree=31762456/32770624 swapFree=0/179008
[pid=5486] ppid=5483 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (xcsp3-exec) S 5483 5486 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9861046 9740288 345 18446744073709551615 4194304 5098028 140727995453856 140727995451960 140567799206524 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 28459008 140727995462043 140727995462247 140727995462247 140727995465707 0
/proc/5486/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200246 s]
/proc/loadavg: 1.73 1.47 0.76 3/196 5486
/proc/meminfo: memFree=31762456/32770624 swapFree=0/179008
[pid=5486] ppid=5483 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (xcsp3-exec) S 5483 5486 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9861046 9740288 345 18446744073709551615 4194304 5098028 140727995453856 140727995451960 140567799206524 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 28459008 140727995462043 140727995462247 140727995462247 140727995465707 0
/proc/5486/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.303066 s]
/proc/loadavg: 1.73 1.47 0.76 3/196 5486
/proc/meminfo: memFree=31762456/32770624 swapFree=0/179008
[pid=5486] ppid=5483 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (xcsp3-exec) S 5483 5486 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9861046 9740288 345 18446744073709551615 4194304 5098028 140727995453856 140727995451960 140567799206524 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 28459008 140727995462043 140727995462247 140727995462247 140727995465707 0
/proc/5486/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.70077 s]
/proc/loadavg: 1.73 1.47 0.76 3/196 5486
/proc/meminfo: memFree=31762456/32770624 swapFree=0/179008
[pid=5486] ppid=5483 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (xcsp3-exec) S 5483 5486 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9861046 9740288 345 18446744073709551615 4194304 5098028 140727995453856 140727995451960 140567799206524 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 28459008 140727995462043 140727995462247 140727995462247 140727995465707 0
/proc/5486/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50066 s]
/proc/loadavg: 1.73 1.47 0.76 4/212 5502
/proc/meminfo: memFree=31681112/32770624 swapFree=0/179292
[pid=5486] ppid=5483 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (xcsp3-exec) S 5483 5486 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9861046 9740288 345 18446744073709551615 4194304 5098028 140727995453856 140727995451960 140567799206524 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 28459008 140727995462043 140727995462247 140727995462247 140727995465707 0
/proc/5486/statm: 2378 345 289 221 0 87 0
[pid=5488] ppid=5486 vsize=13980732 CPUtime=3.62 cores=0,2,4,6
/proc/5488/stat : 5488 (java) S 5486 5486 5123 0 -1 1077944320 21670 0 0 0 354 8 0 0 20 0 15 0 9861051 14316269568 28234 18446744073709551615 4194304 4196468 140735216599968 140735216582512 140266641821431 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
/proc/5488/statm: 3495183 28234 3184 1 0 3483484 0
[pid=5488/tid=5489] ppid=5486 vsize=13980732 CPUtime=1.38 cores=0,2,4,6
/proc/5488/task/5489/stat : 5489 (java) R 5486 5486 5123 0 -1 4202560 9968 0 0 0 133 5 0 0 20 0 15 0 9861052 14316269568 28234 18446744073709551615 4194304 4196468 140735216599968 140266646057152 140266272584599 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5490] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5490/stat : 5490 (java) S 5486 5486 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9861052 14316269568 28234 18446744073709551615 4194304 4196468 140735216599968 140266598788240 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5491] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5491/stat : 5491 (java) S 5486 5486 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9861052 14316269568 28234 18446744073709551615 4194304 4196468 140735216599968 140266597735440 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5492] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5492/stat : 5492 (java) S 5486 5486 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9861052 14316269568 28234 18446744073709551615 4194304 4196468 140735216599968 140266596682640 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5493] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5493/stat : 5493 (java) S 5486 5486 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9861052 14316269568 28234 18446744073709551615 4194304 4196468 140735216599968 140266595629840 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5494] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5494/stat : 5494 (java) S 5486 5486 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9861054 14316269568 28234 18446744073709551615 4194304 4196468 140735216599968 140266187528560 140266641832578 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5495] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5495/stat : 5495 (java) S 5486 5486 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9861054 14316269568 28234 18446744073709551615 4194304 4196468 140735216599968 140266186474528 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5496] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5496/stat : 5496 (java) S 5486 5486 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9861055 14316269568 28234 18446744073709551615 4194304 4196468 140735216599968 140266185421680 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5497] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5497/stat : 5497 (java) S 5486 5486 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9861057 14316269568 28234 18446744073709551615 4194304 4196468 140735216599968 140266184370000 140266641840027 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5498] ppid=5486 vsize=13980732 CPUtime=0.83 cores=0,2,4,6
/proc/5488/task/5498/stat : 5498 (java) R 5486 5486 5123 0 -1 4202560 3020 0 0 0 83 0 0 0 20 0 15 0 9861057 14316269568 28234 18446744073709551615 4194304 4196468 140735216599968 140266115689328 140266625347200 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5499] ppid=5486 vsize=13980732 CPUtime=0.82 cores=0,2,4,6
/proc/5488/task/5499/stat : 5499 (java) R 5486 5486 5123 0 -1 4202560 3613 0 0 0 82 0 0 0 20 0 15 0 9861057 14316269568 28234 18446744073709551615 4194304 4196468 140735216599968 140266114625328 140266621079090 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5500] ppid=5486 vsize=13980732 CPUtime=0.56 cores=0,2,4,6
/proc/5488/task/5500/stat : 5500 (java) R 5486 5486 5123 0 -1 1077944384 3701 0 0 0 55 1 0 0 20 0 15 0 9861057 14316269568 28234 18446744073709551615 4194304 4196468 140735216599968 140266113583728 140266641832578 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5501] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5501/stat : 5501 (java) S 5486 5486 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9861057 14316269568 28234 18446744073709551615 4194304 4196468 140735216599968 140266112531168 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5502] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5502/stat : 5502 (java) S 5486 5486 5123 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 9861061 14316269568 28234 18446744073709551615 4194304 4196468 140735216599968 140266111478448 140266641832578 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 13990244

[startup+3.10075 s]
/proc/loadavg: 1.73 1.47 0.76 3/212 5503
/proc/meminfo: memFree=31655292/32770624 swapFree=0/179288
[pid=5486] ppid=5483 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (xcsp3-exec) S 5483 5486 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9861046 9740288 345 18446744073709551615 4194304 5098028 140727995453856 140727995451960 140567799206524 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 28459008 140727995462043 140727995462247 140727995462247 140727995465707 0
/proc/5486/statm: 2378 345 289 221 0 87 0
[pid=5488] ppid=5486 vsize=13982672 CPUtime=6.48 cores=0,2,4,6
/proc/5488/stat : 5488 (java) S 5486 5486 5123 0 -1 1077944320 25826 0 0 0 639 9 0 0 20 0 15 0 9861051 14318256128 35074 18446744073709551615 4194304 4196468 140735216599968 140735216582512 140266641821431 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
/proc/5488/statm: 3495668 35074 3188 1 0 3483969 0
[pid=5488/tid=5489] ppid=5486 vsize=13982672 CPUtime=2.98 cores=0,2,4,6
/proc/5488/task/5489/stat : 5489 (java) R 5486 5486 5123 0 -1 4202560 10261 0 0 0 293 5 0 0 20 0 15 0 9861052 14318256128 35074 18446744073709551615 4194304 4196468 140735216599968 140266646057232 140266273280624 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5490] ppid=5486 vsize=13982672 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5490/stat : 5490 (java) S 5486 5486 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9861052 14318256128 35074 18446744073709551615 4194304 4196468 140735216599968 140266598788240 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5491] ppid=5486 vsize=13982672 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5491/stat : 5491 (java) S 5486 5486 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9861052 14318256128 35074 18446744073709551615 4194304 4196468 140735216599968 140266597735440 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5492] ppid=5486 vsize=13982672 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5492/stat : 5492 (java) S 5486 5486 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9861052 14318256128 35074 18446744073709551615 4194304 4196468 140735216599968 140266596682640 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5493] ppid=5486 vsize=13982672 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5493/stat : 5493 (java) S 5486 5486 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9861052 14318256128 35074 18446744073709551615 4194304 4196468 140735216599968 140266595629840 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5494] ppid=5486 vsize=13982672 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5494/stat : 5494 (java) S 5486 5486 5123 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 9861054 14318256128 35074 18446744073709551615 4194304 4196468 140735216599968 140266187528560 140266641832578 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5495] ppid=5486 vsize=13982672 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5495/stat : 5495 (java) S 5486 5486 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9861054 14318256128 35074 18446744073709551615 4194304 4196468 140735216599968 140266186474528 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5496] ppid=5486 vsize=13982672 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5496/stat : 5496 (java) S 5486 5486 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9861055 14318256128 35074 18446744073709551615 4194304 4196468 140735216599968 140266185421680 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5497] ppid=5486 vsize=13982672 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5497/stat : 5497 (java) S 5486 5486 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9861057 14318256128 35074 18446744073709551615 4194304 4196468 140735216599968 140266184370000 140266641840027 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5498] ppid=5486 vsize=13982672 CPUtime=1.57 cores=0,2,4,6
/proc/5488/task/5498/stat : 5498 (java) R 5486 5486 5123 0 -1 4202560 6063 0 0 0 156 1 0 0 20 0 15 0 9861057 14318256128 35074 18446744073709551615 4194304 4196468 140735216599968 140266115689328 140266626931162 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5499] ppid=5486 vsize=13982672 CPUtime=1.28 cores=0,2,4,6
/proc/5488/task/5499/stat : 5499 (java) S 5486 5486 5123 0 -1 1077944384 4253 0 0 0 128 0 0 0 20 0 15 0 9861057 14318256128 35074 18446744073709551615 4194304 4196468 140735216599968 140266114636528 140266641832578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5500] ppid=5486 vsize=13982672 CPUtime=0.61 cores=0,2,4,6
/proc/5488/task/5500/stat : 5500 (java) S 5486 5486 5123 0 -1 1077944384 3881 0 0 0 60 1 0 0 20 0 15 0 9861057 14318256128 35074 18446744073709551615 4194304 4196468 140735216599968 140266113583728 140266641832578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5501] ppid=5486 vsize=13982672 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5501/stat : 5501 (java) S 5486 5486 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9861057 14318256128 35074 18446744073709551615 4194304 4196468 140735216599968 140266112531168 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5502] ppid=5486 vsize=13982672 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5502/stat : 5502 (java) S 5486 5486 5123 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 9861061 14318256128 35074 18446744073709551615 4194304 4196468 140735216599968 140266111478448 140266641832578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
Current children cumulated CPU time (s) 6.48
Current children cumulated vsize (KiB) 13992184

[startup+6.30078 s]
/proc/loadavg: 1.75 1.47 0.77 3/212 5503
/proc/meminfo: memFree=31617124/32770624 swapFree=0/179296
[pid=5486] ppid=5483 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (xcsp3-exec) S 5483 5486 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9861046 9740288 345 18446744073709551615 4194304 5098028 140727995453856 140727995451960 140567799206524 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 28459008 140727995462043 140727995462247 140727995462247 140727995465707 0
/proc/5486/statm: 2378 345 289 221 0 87 0
[pid=5488] ppid=5486 vsize=13980732 CPUtime=10.1 cores=0,2,4,6
/proc/5488/stat : 5488 (java) S 5486 5486 5123 0 -1 1077944320 31072 0 0 0 1001 9 0 0 20 0 15 0 9861051 14316269568 41351 18446744073709551615 4194304 4196468 140735216599968 140735216582512 140266641821431 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
/proc/5488/statm: 3495183 41351 3197 1 0 3483484 0
[pid=5488/tid=5489] ppid=5486 vsize=13980732 CPUtime=6.18 cores=0,2,4,6
/proc/5488/task/5489/stat : 5489 (java) R 5486 5486 5123 0 -1 4202560 10925 0 0 0 612 6 0 0 20 0 15 0 9861052 14316269568 41351 18446744073709551615 4194304 4196468 140735216599968 140266646057624 140266273280621 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5490] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5490/stat : 5490 (java) S 5486 5486 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9861052 14316269568 41351 18446744073709551615 4194304 4196468 140735216599968 140266598788240 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5491] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5491/stat : 5491 (java) S 5486 5486 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9861052 14316269568 41351 18446744073709551615 4194304 4196468 140735216599968 140266597735440 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5492] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5492/stat : 5492 (java) S 5486 5486 5123 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9861052 14316269568 41351 18446744073709551615 4194304 4196468 140735216599968 140266596682640 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5493] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5493/stat : 5493 (java) S 5486 5486 5123 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9861052 14316269568 41351 18446744073709551615 4194304 4196468 140735216599968 140266595629840 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5494] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5494/stat : 5494 (java) S 5486 5486 5123 0 -1 1077944384 330 0 0 0 0 0 0 0 20 0 15 0 9861054 14316269568 41351 18446744073709551615 4194304 4196468 140735216599968 140266187528560 140266641832578 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5495] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5495/stat : 5495 (java) S 5486 5486 5123 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9861054 14316269568 41351 18446744073709551615 4194304 4196468 140735216599968 140266186474528 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5496] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5496/stat : 5496 (java) S 5486 5486 5123 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9861055 14316269568 41351 18446744073709551615 4194304 4196468 140735216599968 140266185421680 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5497] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5497/stat : 5497 (java) S 5486 5486 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9861057 14316269568 41351 18446744073709551615 4194304 4196468 140735216599968 140266184370000 140266641840027 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5498] ppid=5486 vsize=13980732 CPUtime=1.82 cores=0,2,4,6
/proc/5488/task/5498/stat : 5498 (java) S 5486 5486 5123 0 -1 1077944384 8782 0 0 0 181 1 0 0 20 0 15 0 9861057 14316269568 41351 18446744073709551615 4194304 4196468 140735216599968 140266115689328 140266641832578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5499] ppid=5486 vsize=13980732 CPUtime=1.45 cores=0,2,4,6
/proc/5488/task/5499/stat : 5499 (java) S 5486 5486 5123 0 -1 1077944384 5109 0 0 0 145 0 0 0 20 0 15 0 9861057 14316269568 41351 18446744073709551615 4194304 4196468 140735216599968 140266114636528 140266641832578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5500] ppid=5486 vsize=13980732 CPUtime=0.62 cores=0,2,4,6
/proc/5488/task/5500/stat : 5500 (java) S 5486 5486 5123 0 -1 1077944384 4059 0 0 0 61 1 0 0 20 0 15 0 9861057 14316269568 41351 18446744073709551615 4194304 4196468 140735216599968 140266113583728 140266641832578 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5501] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5501/stat : 5501 (java) S 5486 5486 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9861057 14316269568 41351 18446744073709551615 4194304 4196468 140735216599968 140266112531168 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5502] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5502/stat : 5502 (java) S 5486 5486 5123 0 -1 1077944384 565 0 0 0 0 0 0 0 20 0 15 0 9861061 14316269568 41351 18446744073709551615 4194304 4196468 140735216599968 140266111478448 140266641832578 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
Current children cumulated CPU time (s) 10.1
Current children cumulated vsize (KiB) 13990244

[startup+12.7008 s]
/proc/loadavg: 1.85 1.50 0.78 3/212 5503
/proc/meminfo: memFree=31559836/32770624 swapFree=0/179308
[pid=5486] ppid=5483 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (xcsp3-exec) S 5483 5486 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9861046 9740288 345 18446744073709551615 4194304 5098028 140727995453856 140727995451960 140567799206524 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 28459008 140727995462043 140727995462247 140727995462247 140727995465707 0
/proc/5486/statm: 2378 345 289 221 0 87 0
[pid=5488] ppid=5486 vsize=13980732 CPUtime=17.66 cores=0,2,4,6
/proc/5488/stat : 5488 (java) S 5486 5486 5123 0 -1 1077944320 40452 0 0 0 1754 12 0 0 20 0 15 0 9861051 14316269568 53533 18446744073709551615 4194304 4196468 140735216599968 140735216582512 140266641821431 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
/proc/5488/statm: 3495183 53533 3209 1 0 3483484 0
[pid=5488/tid=5489] ppid=5486 vsize=13980732 CPUtime=12.56 cores=0,2,4,6
/proc/5488/task/5489/stat : 5489 (java) R 5486 5486 5123 0 -1 4202560 12002 0 0 0 1250 6 0 0 20 0 15 0 9861052 14316269568 53533 18446744073709551615 4194304 4196468 140735216599968 140266646060632 140266274468130 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5490] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5490/stat : 5490 (java) S 5486 5486 5123 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9861052 14316269568 53533 18446744073709551615 4194304 4196468 140735216599968 140266598788240 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5491] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5491/stat : 5491 (java) S 5486 5486 5123 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 15 0 9861052 14316269568 53533 18446744073709551615 4194304 4196468 140735216599968 140266597735440 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0

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

[pid=5488/tid=5495] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5495/stat : 5495 (java) S 5486 5486 5123 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 9861054 14316269568 59377 18446744073709551615 4194304 4196468 140735216599968 140266186474528 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5496] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5496/stat : 5496 (java) S 5486 5486 5123 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 9861055 14316269568 59377 18446744073709551615 4194304 4196468 140735216599968 140266185421680 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5497] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5497/stat : 5497 (java) S 5486 5486 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9861057 14316269568 59377 18446744073709551615 4194304 4196468 140735216599968 140266184370000 140266641840027 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5498] ppid=5486 vsize=13980732 CPUtime=2.58 cores=0,2,4,6
/proc/5488/task/5498/stat : 5498 (java) S 5486 5486 5123 0 -1 1077944384 14145 0 0 0 257 1 0 0 20 0 15 0 9861057 14316269568 59377 18446744073709551615 4194304 4196468 140735216599968 140266115689328 140266641832578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5499] ppid=5486 vsize=13980732 CPUtime=2.26 cores=0,2,4,6
/proc/5488/task/5499/stat : 5499 (java) S 5486 5486 5123 0 -1 1077944384 9862 0 0 0 226 0 0 0 20 0 15 0 9861057 14316269568 59377 18446744073709551615 4194304 4196468 140735216599968 140266114636528 140266641832578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5500] ppid=5486 vsize=13980732 CPUtime=0.69 cores=0,2,4,6
/proc/5488/task/5500/stat : 5500 (java) S 5486 5486 5123 0 -1 1077944384 7012 0 0 0 68 1 0 0 20 0 15 0 9861057 14316269568 59377 18446744073709551615 4194304 4196468 140735216599968 140266113583728 140266641832578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5501] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5501/stat : 5501 (java) S 5486 5486 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9861057 14316269568 59377 18446744073709551615 4194304 4196468 140735216599968 140266112531168 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5502] ppid=5486 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5488/task/5502/stat : 5502 (java) S 5486 5486 5123 0 -1 1077944384 698 0 0 0 1 1 0 0 20 0 15 0 9861061 14316269568 59377 18446744073709551615 4194304 4196468 140735216599968 140266111478448 140266641832578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
Current children cumulated CPU time (s) 107.97
Current children cumulated vsize (KiB) 13990244

[startup+162.301 s]
/proc/loadavg: 2.01 1.73 0.97 3/212 5584
/proc/meminfo: memFree=31575652/32770624 swapFree=0/179380
[pid=5486] ppid=5483 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (xcsp3-exec) S 5483 5486 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9861046 9740288 345 18446744073709551615 4194304 5098028 140727995453856 140727995451960 140567799206524 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 28459008 140727995462043 140727995462247 140727995462247 140727995465707 0
/proc/5486/statm: 2378 345 289 221 0 87 0
[pid=5488] ppid=5486 vsize=13980732 CPUtime=168.05 cores=0,2,4,6
/proc/5488/stat : 5488 (java) S 5486 5486 5123 0 -1 1077944320 57526 0 0 0 16785 20 0 0 20 0 15 0 9861051 14316269568 59125 18446744073709551615 4194304 4196468 140735216599968 140735216582512 140266641821431 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
/proc/5488/statm: 3495183 59125 3224 1 0 3483484 0
[pid=5488/tid=5489] ppid=5486 vsize=13980732 CPUtime=162.08 cores=0,2,4,6
/proc/5488/task/5489/stat : 5489 (java) R 5486 5486 5123 0 -1 4202560 14852 0 0 0 16202 6 0 0 20 0 15 0 9861052 14316269568 59125 18446744073709551615 4194304 4196468 140735216599968 140266646060976 140266273307516 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5490] ppid=5486 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/5488/task/5490/stat : 5490 (java) S 5486 5486 5123 0 -1 1077944384 1290 0 0 0 5 1 0 0 20 0 15 0 9861052 14316269568 59125 18446744073709551615 4194304 4196468 140735216599968 140266598788240 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5491] ppid=5486 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/5488/task/5491/stat : 5491 (java) S 5486 5486 5123 0 -1 1077944384 645 0 0 0 4 1 0 0 20 0 15 0 9861052 14316269568 59125 18446744073709551615 4194304 4196468 140735216599968 140266597735440 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5492] ppid=5486 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/5488/task/5492/stat : 5492 (java) S 5486 5486 5123 0 -1 1077944384 1973 0 0 0 4 1 0 0 20 0 15 0 9861052 14316269568 59125 18446744073709551615 4194304 4196468 140735216599968 140266596682640 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5493] ppid=5486 vsize=13980732 CPUtime=0.05 cores=0,2,4,6
/proc/5488/task/5493/stat : 5493 (java) S 5486 5486 5123 0 -1 1077944384 1788 0 0 0 4 1 0 0 20 0 15 0 9861052 14316269568 59125 18446744073709551615 4194304 4196468 140735216599968 140266595629840 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5494] ppid=5486 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5488/task/5494/stat : 5494 (java) S 5486 5486 5123 0 -1 1077944384 1166 0 0 0 2 0 0 0 20 0 15 0 9861054 14316269568 59125 18446744073709551615 4194304 4196468 140735216599968 140266187528560 140266641832578 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5495] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5495/stat : 5495 (java) S 5486 5486 5123 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 9861054 14316269568 59125 18446744073709551615 4194304 4196468 140735216599968 140266186474528 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5496] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5496/stat : 5496 (java) S 5486 5486 5123 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 9861055 14316269568 59125 18446744073709551615 4194304 4196468 140735216599968 140266185421680 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5497] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5497/stat : 5497 (java) S 5486 5486 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9861057 14316269568 59125 18446744073709551615 4194304 4196468 140735216599968 140266184370000 140266641840027 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5498] ppid=5486 vsize=13980732 CPUtime=2.61 cores=0,2,4,6
/proc/5488/task/5498/stat : 5498 (java) S 5486 5486 5123 0 -1 1077944384 15091 0 0 0 260 1 0 0 20 0 15 0 9861057 14316269568 59125 18446744073709551615 4194304 4196468 140735216599968 140266115689328 140266641832578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5499] ppid=5486 vsize=13980732 CPUtime=2.29 cores=0,2,4,6
/proc/5488/task/5499/stat : 5499 (java) S 5486 5486 5123 0 -1 1077944384 10891 0 0 0 228 1 0 0 20 0 15 0 9861057 14316269568 59125 18446744073709551615 4194304 4196468 140735216599968 140266114636528 140266641832578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5500] ppid=5486 vsize=13980732 CPUtime=0.7 cores=0,2,4,6
/proc/5488/task/5500/stat : 5500 (java) S 5486 5486 5123 0 -1 1077944384 7772 0 0 0 69 1 0 0 20 0 15 0 9861057 14316269568 59125 18446744073709551615 4194304 4196468 140735216599968 140266113583728 140266641832578 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5501] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5501/stat : 5501 (java) S 5486 5486 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9861057 14316269568 59125 18446744073709551615 4194304 4196468 140735216599968 140266112531168 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5502] ppid=5486 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/5488/task/5502/stat : 5502 (java) S 5486 5486 5123 0 -1 1077944384 709 0 0 0 2 2 0 0 20 0 15 0 9861061 14316269568 59125 18446744073709551615 4194304 4196468 140735216599968 140266111478448 140266641832578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
Current children cumulated CPU time (s) 168.05
Current children cumulated vsize (KiB) 13990244

[startup+222.306 s]
/proc/loadavg: 2.00 1.78 1.04 3/212 5586
/proc/meminfo: memFree=31638320/32770624 swapFree=0/179408
[pid=5486] ppid=5483 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (xcsp3-exec) S 5483 5486 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9861046 9740288 345 18446744073709551615 4194304 5098028 140727995453856 140727995451960 140567799206524 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 28459008 140727995462043 140727995462247 140727995462247 140727995465707 0
/proc/5486/statm: 2378 345 289 221 0 87 0
[pid=5488] ppid=5486 vsize=13980732 CPUtime=228.37 cores=0,2,4,6
/proc/5488/stat : 5488 (java) S 5486 5486 5123 0 -1 1077944320 64522 0 0 0 22815 22 0 0 20 0 15 0 9861051 14316269568 52249 18446744073709551615 4194304 4196468 140735216599968 140735216582512 140266641821431 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
/proc/5488/statm: 3495183 52249 3224 1 0 3483484 0
[pid=5488/tid=5489] ppid=5486 vsize=13980732 CPUtime=222.07 cores=0,2,4,6
/proc/5488/task/5489/stat : 5489 (java) R 5486 5486 5123 0 -1 4202560 15521 0 0 0 22201 6 0 0 20 0 15 0 9861052 14316269568 52249 18446744073709551615 4194304 4196468 140735216599968 140266646058584 140266274402101 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5490] ppid=5486 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/5488/task/5490/stat : 5490 (java) S 5486 5486 5123 0 -1 1077944384 1709 0 0 0 5 1 0 0 20 0 15 0 9861052 14316269568 52249 18446744073709551615 4194304 4196468 140735216599968 140266598788240 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5491] ppid=5486 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/5488/task/5491/stat : 5491 (java) S 5486 5486 5123 0 -1 1077944384 715 0 0 0 5 1 0 0 20 0 15 0 9861052 14316269568 52249 18446744073709551615 4194304 4196468 140735216599968 140266597735440 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5492] ppid=5486 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/5488/task/5492/stat : 5492 (java) S 5486 5486 5123 0 -1 1077944384 1994 0 0 0 5 1 0 0 20 0 15 0 9861052 14316269568 52249 18446744073709551615 4194304 4196468 140735216599968 140266596682640 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5493] ppid=5486 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/5488/task/5493/stat : 5493 (java) S 5486 5486 5123 0 -1 1077944384 1809 0 0 0 5 1 0 0 20 0 15 0 9861052 14316269568 52249 18446744073709551615 4194304 4196468 140735216599968 140266595629840 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5494] ppid=5486 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5488/task/5494/stat : 5494 (java) S 5486 5486 5123 0 -1 1077944384 1386 0 0 0 2 0 0 0 20 0 15 0 9861054 14316269568 52249 18446744073709551615 4194304 4196468 140735216599968 140266187528560 140266641832578 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5495] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5495/stat : 5495 (java) S 5486 5486 5123 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 9861054 14316269568 52249 18446744073709551615 4194304 4196468 140735216599968 140266186474528 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5496] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5496/stat : 5496 (java) S 5486 5486 5123 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 9861055 14316269568 52249 18446744073709551615 4194304 4196468 140735216599968 140266185421680 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5497] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5497/stat : 5497 (java) S 5486 5486 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9861057 14316269568 52249 18446744073709551615 4194304 4196468 140735216599968 140266184370000 140266641840027 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5498] ppid=5486 vsize=13980732 CPUtime=2.76 cores=0,2,4,6
/proc/5488/task/5498/stat : 5498 (java) S 5486 5486 5123 0 -1 1077944384 17146 0 0 0 274 2 0 0 20 0 15 0 9861057 14316269568 52249 18446744073709551615 4194304 4196468 140735216599968 140266115689328 140266641832578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5499] ppid=5486 vsize=13980732 CPUtime=2.4 cores=0,2,4,6
/proc/5488/task/5499/stat : 5499 (java) S 5486 5486 5123 0 -1 1077944384 12960 0 0 0 239 1 0 0 20 0 15 0 9861057 14316269568 52249 18446744073709551615 4194304 4196468 140735216599968 140266114636528 140266641832578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5500] ppid=5486 vsize=13980732 CPUtime=0.71 cores=0,2,4,6
/proc/5488/task/5500/stat : 5500 (java) S 5486 5486 5123 0 -1 1077944384 9193 0 0 0 70 1 0 0 20 0 15 0 9861057 14316269568 52249 18446744073709551615 4194304 4196468 140735216599968 140266113583728 140266641832578 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5501] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5501/stat : 5501 (java) S 5486 5486 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9861057 14316269568 52249 18446744073709551615 4194304 4196468 140735216599968 140266112531168 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5502] ppid=5486 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/5488/task/5502/stat : 5502 (java) S 5486 5486 5123 0 -1 1077944384 740 0 0 0 3 4 0 0 20 0 15 0 9861061 14316269568 52249 18446744073709551615 4194304 4196468 140735216599968 140266111478448 140266641832578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
Current children cumulated CPU time (s) 228.37
Current children cumulated vsize (KiB) 13990244



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.92 1.78 1.05 3/212 5587
/proc/meminfo: memFree=31647312/32770624 swapFree=0/179440
[pid=5486] ppid=5483 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5486/stat : 5486 (xcsp3-exec) S 5483 5486 5123 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9861046 9740288 345 18446744073709551615 4194304 5098028 140727995453856 140727995451960 140567799206524 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 28459008 140727995462043 140727995462247 140727995462247 140727995465707 0
/proc/5486/statm: 2378 345 289 221 0 87 0
[pid=5488] ppid=5486 vsize=13980732 CPUtime=246.12 cores=0,2,4,6
/proc/5488/stat : 5488 (java) S 5486 5486 5123 0 -1 1077944320 64604 0 0 0 24590 22 0 0 20 0 15 0 9861051 14316269568 50076 18446744073709551615 4194304 4196468 140735216599968 140735216582512 140266641821431 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
/proc/5488/statm: 3495183 50076 3224 1 0 3483484 0
[pid=5488/tid=5489] ppid=5486 vsize=13980732 CPUtime=239.76 cores=0,2,4,6
/proc/5488/task/5489/stat : 5489 (java) R 5486 5486 5123 0 -1 4202560 15533 0 0 0 23970 6 0 0 20 0 15 0 9861052 14316269568 50076 18446744073709551615 4194304 4196468 140735216599968 140266646060976 140266275270694 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5490] ppid=5486 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/5488/task/5490/stat : 5490 (java) S 5486 5486 5123 0 -1 1077944384 1711 0 0 0 5 1 0 0 20 0 15 0 9861052 14316269568 50076 18446744073709551615 4194304 4196468 140735216599968 140266598788240 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5491] ppid=5486 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/5488/task/5491/stat : 5491 (java) S 5486 5486 5123 0 -1 1077944384 717 0 0 0 5 1 0 0 20 0 15 0 9861052 14316269568 50076 18446744073709551615 4194304 4196468 140735216599968 140266597735440 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5492] ppid=5486 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/5488/task/5492/stat : 5492 (java) S 5486 5486 5123 0 -1 1077944384 1996 0 0 0 5 1 0 0 20 0 15 0 9861052 14316269568 50076 18446744073709551615 4194304 4196468 140735216599968 140266596682640 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5493] ppid=5486 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/5488/task/5493/stat : 5493 (java) S 5486 5486 5123 0 -1 1077944384 1809 0 0 0 5 1 0 0 20 0 15 0 9861052 14316269568 50076 18446744073709551615 4194304 4196468 140735216599968 140266595629840 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5494] ppid=5486 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5488/task/5494/stat : 5494 (java) S 5486 5486 5123 0 -1 1077944384 1386 0 0 0 2 0 0 0 20 0 15 0 9861054 14316269568 50076 18446744073709551615 4194304 4196468 140735216599968 140266187528560 140266641832578 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5495] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5495/stat : 5495 (java) S 5486 5486 5123 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 9861054 14316269568 50076 18446744073709551615 4194304 4196468 140735216599968 140266186474528 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5496] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5496/stat : 5496 (java) S 5486 5486 5123 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 9861055 14316269568 50076 18446744073709551615 4194304 4196468 140735216599968 140266185421680 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5497] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5497/stat : 5497 (java) S 5486 5486 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9861057 14316269568 50076 18446744073709551615 4194304 4196468 140735216599968 140266184370000 140266641840027 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5498] ppid=5486 vsize=13980732 CPUtime=2.8 cores=0,2,4,6
/proc/5488/task/5498/stat : 5498 (java) S 5486 5486 5123 0 -1 1077944384 17178 0 0 0 278 2 0 0 20 0 15 0 9861057 14316269568 50076 18446744073709551615 4194304 4196468 140735216599968 140266115689328 140266641832578 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5499] ppid=5486 vsize=13980732 CPUtime=2.4 cores=0,2,4,6
/proc/5488/task/5499/stat : 5499 (java) S 5486 5486 5123 0 -1 1077944384 12964 0 0 0 239 1 0 0 20 0 15 0 9861057 14316269568 50076 18446744073709551615 4194304 4196468 140735216599968 140266114636528 140266641832578 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5500] ppid=5486 vsize=13980732 CPUtime=0.71 cores=0,2,4,6
/proc/5488/task/5500/stat : 5500 (java) S 5486 5486 5123 0 -1 1077944384 9221 0 0 0 70 1 0 0 20 0 15 0 9861057 14316269568 50076 18446744073709551615 4194304 4196468 140735216599968 140266113583728 140266641832578 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5501] ppid=5486 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5488/task/5501/stat : 5501 (java) S 5486 5486 5123 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9861057 14316269568 50076 18446744073709551615 4194304 4196468 140735216599968 140266112531168 140266641831637 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
[pid=5488/tid=5502] ppid=5486 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/5488/task/5502/stat : 5502 (java) S 5486 5486 5123 0 -1 1077944384 740 0 0 0 3 4 0 0 20 0 15 0 9861061 14316269568 50076 18446744073709551615 4194304 4196468 140735216599968 140266111478448 140266641832578 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8421376 140735216603604 140735216603779 140735216603779 140735216607183 0
Current children cumulated CPU time (s) 246.12
Current children cumulated vsize (KiB) 13990244

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 5488 sig 9
??? kill 5486 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5486 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=633
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1267
# CPU time returned by wait4() is 0.0019
# while last known CPU time is 246.12
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 240.011
CPU time (s): 246.12
CPU user time (s): 245.9
CPU system time (s): 0.22
CPU usage (%): 102.545
Max. virtual memory (cumulated for all children) (KiB): 13992184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000633
system time used= 0.001267
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.11471 second user time and 1.38592 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 4254345

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