2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b seq (e747e1e)	SAT (TO)	248	252.026	246.02

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4301225-1532876127.xml"  -tl '252s' -p 1
0.12/0.17	c Choco e747e1e
0.12/0.17	c [HOME/instance-4301225-1532876127.xml, -tl, 252s, -p, 1]
0.12/0.21	c simple solver
0.34/0.28	c parse instance...
2.16/0.91	c solve instance...
9.03/5.14	o 242 
33.10/27.92	o 243 
34.02/28.82	o 244 
34.33/29.17	o 245 
34.92/29.79	o 247 
35.03/29.84	o 248 
252.00/246.01	s SATISFIABLE
252.00/246.01	v <instantiation>
252.00/246.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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z </list>
252.00/246.01	v 	<values>0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 1 1 0 1 0 0 1 0 1 1 1 0 0 1 1 1 0 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 1 0 0 0 1 1 0 1 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 0 1 1 0 1 1 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 1 0 1 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 1 0 0 1 0 1 1 1 1 1 1 0 0 1 1 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 1 0 1 1 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 1 1 1 1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 0 0 1 0 0 1 0 0 1 1 2 1 0 1 1 1 1 0 1 2 2 2 0 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 2 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 2 2 0 0 1 0 1 1 1 1 1 0 0 0 1 1 0 0 1 1 1 0 0 1 0 1 1 2 1 1 0 0 0 0 2 2 1 0 0 0 0 0 0 1 1 0 2 2 1 1 0 0 0 1 1 2 0 0 0 0 0 1 2 1 0 1 0 1 0 0 0 0 1 1 2 2 0 1 0 0 0 1 0 0 0 0 0 1 1 2 1 1 1 2 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 2 1 1 1 2 2 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 2 2 2 2 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 2 1 1 2 2 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 2 1 0 1 1 2 1 1 0 0 1 0 1 0 0 0 0 0 1 0 0 1 2 1 1 0 1 1 0 1 0 1 2 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 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 1 1 2 1 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 1 2 2 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 1 1 2 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 1 1 1 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 2 1 0 0 0 1 2 2 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 0 1 2 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 1 1 1 2 2 1 1 1 1 2 1 1 0 0 0 1 0 1 0 2 0 2 2 0 0 1 0 0 2 2 1 1 2 1 1 2 2 0 0 0 0 0 0 0 0 0 0 2 2 1 0 0 0 0 0 2 1 0 0 1 1 1 2 1 1 0 0 1 0 0 0 0 0 1 1 2 1 0 0 0 0 1 1 1 0 0 1 1 0 1 1 0 0 1 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 0 16 35 45 58 76 92 107 127 142 154 168 184 190 194 206 222 234 244 255 267 272 275 291 315 330 346 358 248 </values>
252.00/246.01	v </instantiation>
252.00/246.01	c Unexpected resolution interruption!

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301225-1532876127/watcher-4301225-1532876127 -o /tmp/evaluation-result-4301225-1532876127/solver-4301225-1532876127 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532875384-10018 --watchdog 312 HOME/xcsp3-exec -seed 1027788588 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301225-1532876127.xml 

running on 4 cores: 1,3,5,7

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

solver pid=10521, runsolver pid=10518

[startup+0.100105 s]*
/proc/loadavg: 1.70 1.67 1.61 5/220 10537
/proc/meminfo: memFree=27427860/32770624 swapFree=67108856/67108860
[pid=10521] ppid=10518 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10521/stat : 10521 (xcsp3-exec) S 10518 10521 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105175907 115843072 364 33554432000 4194304 5098028 140721367426768 140721367424872 139665912611452 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15523840 140721367434304 140721367434505 140721367434505 140721367437258 0
/proc/10521/statm: 28282 364 306 221 0 87 0
[pid=10523] ppid=10521 vsize=14082940 memory=28244 CPUtime=0.12 cores=1,3,5,7
/proc/10523/stat : 10523 (java) S 10521 10521 5155 0 -1 1077944320 5501 0 0 0 11 1 0 0 20 0 15 0 105175908 14420930560 7061 33554432000 4194304 4196468 140728684946912 140728684929456 139824604618487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
/proc/10523/statm: 3520735 7061 2996 1 0 3483012 0
[pid=10523/tid=10524] ppid=10521 vsize=14082940 memory=8514701219880730790 CPUtime=0.09 cores=1,3,5,7
/proc/10523/task/10524/stat : 10524 (java) R 10521 10521 5155 0 -1 4202560 3506 0 0 0 8 1 0 0 20 0 15 0 105175908 14420930560 7126 33554432000 4194304 4196468 140728684946912 139824608850568 139824604630422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10525] ppid=10521 vsize=14082940 memory=3472467874937803984 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10525/stat : 10525 (java) S 10521 10521 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105175909 14420930560 7126 33554432000 4194304 4196468 140728684946912 139824542219024 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10526] ppid=10521 vsize=14082940 memory=139746042652288 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10526/stat : 10526 (java) S 10521 10521 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105175909 14420930560 7126 33554432000 4194304 4196468 140728684946912 139824541166480 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10527] ppid=10521 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10527/stat : 10527 (java) S 10521 10521 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105175909 14420930560 7126 33554432000 4194304 4196468 140728684946912 139824198065168 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10528] ppid=10521 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10528/stat : 10528 (java) S 10521 10521 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105175909 14420930560 7126 33554432000 4194304 4196468 140728684946912 139824197012624 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10529] ppid=10521 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10529/stat : 10529 (java) S 10521 10521 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105175910 14420930560 7126 33554432000 4194304 4196468 140728684946912 139824145967088 139824604629634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10530] ppid=10521 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10530/stat : 10530 (java) S 10521 10521 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105175910 14420930560 7126 33554432000 4194304 4196468 140728684946912 139824144913312 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10531] ppid=10521 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10531/stat : 10531 (java) S 10521 10521 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105175911 14420930560 7126 33554432000 4194304 4196468 140728684946912 139824143860720 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10532] ppid=10521 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10532/stat : 10532 (java) S 10521 10521 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105175913 14420930560 7126 33554432000 4194304 4196468 140728684946912 139824142809296 139824604637083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10533] ppid=10521 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10533/stat : 10533 (java) S 10521 10521 5155 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 105175913 14420930560 7126 33554432000 4194304 4196468 140728684946912 139824141756912 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10534] ppid=10521 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10534/stat : 10534 (java) S 10521 10521 5155 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 105175913 14420930560 7126 33554432000 4194304 4196468 140728684946912 139824140704368 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10535] ppid=10521 vsize=14082940 memory=139746042652288 CPUtime=0.01 cores=1,3,5,7
/proc/10523/task/10535/stat : 10535 (java) R 10521 10521 5155 0 -1 4202560 284 0 0 0 1 0 0 0 20 0 15 0 105175913 14420930560 7126 33554432000 4194304 4196468 140728684946912 139824139651824 139824583422906 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10536] ppid=10521 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10536/stat : 10536 (java) S 10521 10521 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105175913 14420930560 7126 33554432000 4194304 4196468 140728684946912 139824138599520 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10537] ppid=10521 vsize=14082940 memory=139746042652288 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10537/stat : 10537 (java) S 10521 10521 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105175913 14420930560 7126 33554432000 4194304 4196468 140728684946912 139824069601584 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29700 KiB

[startup+0.210796 s]*
/proc/loadavg: 1.70 1.67 1.61 8/220 10537
/proc/meminfo: memFree=27408788/32770624 swapFree=67108856/67108860
[pid=10521] ppid=10518 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10521/stat : 10521 (xcsp3-exec) S 10518 10521 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105175907 115843072 364 33554432000 4194304 5098028 140721367426768 140721367424872 139665912611452 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15523840 140721367434304 140721367434505 140721367434505 140721367437258 0
/proc/10521/statm: 28282 364 306 221 0 87 0
[pid=10523] ppid=10521 vsize=14085056 memory=41384 CPUtime=0.34 cores=1,3,5,7
/proc/10523/stat : 10523 (java) S 10521 10521 5155 0 -1 1077944320 8387 0 0 0 32 2 0 0 20 0 15 0 105175908 14423097344 10346 33554432000 4194304 4196468 140728684946912 140728684929456 139824604618487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
/proc/10523/statm: 3521264 10346 3210 1 0 3483012 0
[pid=10523/tid=10524] ppid=10521 vsize=14087196 memory=5852833025768652961 CPUtime=0.19 cores=1,3,5,7
/proc/10523/task/10524/stat : 10524 (java) R 10521 10521 5155 0 -1 4202560 5463 0 0 0 18 1 0 0 20 0 15 0 105175908 14425288704 10349 33554432000 4194304 4196468 140728684946912 139824608839480 139824588698974 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10525] ppid=10521 vsize=14087196 memory=3472467874937803984 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10525/stat : 10525 (java) S 10521 10521 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105175909 14425288704 10349 33554432000 4194304 4196468 140728684946912 139824542219024 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10526] ppid=10521 vsize=14087196 memory=139746042652288 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10526/stat : 10526 (java) S 10521 10521 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105175909 14425288704 10349 33554432000 4194304 4196468 140728684946912 139824541166480 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10527] ppid=10521 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10527/stat : 10527 (java) S 10521 10521 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105175909 14425288704 10349 33554432000 4194304 4196468 140728684946912 139824198065168 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10528] ppid=10521 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10528/stat : 10528 (java) S 10521 10521 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105175909 14425288704 10349 33554432000 4194304 4196468 140728684946912 139824197012624 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10529] ppid=10521 vsize=14087196 memory=139746042652288 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10529/stat : 10529 (java) S 10521 10521 5155 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105175910 14425288704 10349 33554432000 4194304 4196468 140728684946912 139824145967088 139824604629634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10530] ppid=10521 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10530/stat : 10530 (java) S 10521 10521 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105175910 14425288704 10349 33554432000 4194304 4196468 140728684946912 139824144913312 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10531] ppid=10521 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10531/stat : 10531 (java) S 10521 10521 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105175911 14425288704 10349 33554432000 4194304 4196468 140728684946912 139824143860720 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10532] ppid=10521 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10532/stat : 10532 (java) S 10521 10521 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105175913 14425288704 10349 33554432000 4194304 4196468 140728684946912 139824142809296 139824604637083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10533] ppid=10521 vsize=14087196 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10523/task/10533/stat : 10533 (java) S 10521 10521 5155 0 -1 1077944384 416 0 0 0 2 0 0 0 20 0 15 0 105175913 14425288704 10349 33554432000 4194304 4196468 140728684946912 139824141756912 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10534] ppid=10521 vsize=14087196 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/10523/task/10534/stat : 10534 (java) S 10521 10521 5155 0 -1 1077944384 438 0 0 0 2 0 0 0 20 0 15 0 105175913 14425288704 10349 33554432000 4194304 4196468 140728684946912 139824140704368 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10535] ppid=10521 vsize=14087196 memory=139746042652288 CPUtime=0.07 cores=1,3,5,7
/proc/10523/task/10535/stat : 10535 (java) S 10521 10521 5155 0 -1 1077944384 782 0 0 0 7 0 0 0 20 0 15 0 105175913 14425288704 10349 33554432000 4194304 4196468 140728684946912 139824139651824 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10536] ppid=10521 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10536/stat : 10536 (java) S 10521 10521 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105175913 14425288704 10349 33554432000 4194304 4196468 140728684946912 139824138599520 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10537] ppid=10521 vsize=14087196 memory=139746042652288 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10537/stat : 10537 (java) S 10521 10521 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105175913 14425288704 10349 33554432000 4194304 4196468 140728684946912 139824069601584 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14198184 KiB
Current children cumulated memory: 42840 KiB

[startup+0.310838 s]*
/proc/loadavg: 1.70 1.67 1.61 7/220 10537
/proc/meminfo: memFree=27390800/32770624 swapFree=67108856/67108860
[pid=10521] ppid=10518 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10521/stat : 10521 (xcsp3-exec) S 10518 10521 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105175907 115843072 364 33554432000 4194304 5098028 140721367426768 140721367424872 139665912611452 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15523840 140721367434304 140721367434505 140721367434505 140721367437258 0
/proc/10521/statm: 28282 364 306 221 0 87 0
[pid=10523] ppid=10521 vsize=14087196 memory=48352 CPUtime=0.53 cores=1,3,5,7
/proc/10523/stat : 10523 (java) S 10521 10521 5155 0 -1 1077944320 9258 0 0 0 50 3 0 0 20 0 15 0 105175908 14425288704 12088 33554432000 4194304 4196468 140728684946912 140728684929456 139824604618487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
/proc/10523/statm: 3521799 12088 3254 1 0 3483012 0
[pid=10523/tid=10524] ppid=10521 vsize=14087196 memory=8514701219881125278 CPUtime=0.29 cores=1,3,5,7
/proc/10523/task/10524/stat : 10524 (java) R 10521 10521 5155 0 -1 4202560 6165 0 0 0 27 2 0 0 20 0 15 0 105175908 14425288704 12088 33554432000 4194304 4196468 140728684946912 139824608855504 139824588698974 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10525] ppid=10521 vsize=14087196 memory=3472467874937803984 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10525/stat : 10525 (java) S 10521 10521 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105175909 14425288704 12088 33554432000 4194304 4196468 140728684946912 139824542219024 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10526] ppid=10521 vsize=14087196 memory=139746042652288 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10526/stat : 10526 (java) S 10521 10521 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105175909 14425288704 12088 33554432000 4194304 4196468 140728684946912 139824541166480 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10527] ppid=10521 vsize=14087196 memory=18 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10527/stat : 10527 (java) S 10521 10521 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105175909 14425288704 12088 33554432000 4194304 4196468 140728684946912 139824198065168 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10528] ppid=10521 vsize=14087196 memory=139745887922207 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10528/stat : 10528 (java) S 10521 10521 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105175909 14425288704 12088 33554432000 4194304 4196468 140728684946912 139824197012624 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10529] ppid=10521 vsize=14087196 memory=279491775823648 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10529/stat : 10529 (java) S 10521 10521 5155 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105175910 14425288704 12088 33554432000 4194304 4196468 140728684946912 139824145967088 139824604629634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10530] ppid=10521 vsize=14087196 memory=139745887899151 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10530/stat : 10530 (java) S 10521 10521 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105175910 14425288704 12088 33554432000 4194304 4196468 140728684946912 139824144913312 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10531] ppid=10521 vsize=14087196 memory=279491930560608 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10531/stat : 10531 (java) S 10521 10521 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105175911 14425288704 12088 33554432000 4194304 4196468 140728684946912 139824143860720 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10532] ppid=10521 vsize=14087196 memory=139745887903759 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10532/stat : 10532 (java) S 10521 10521 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105175913 14425288704 12088 33554432000 4194304 4196468 140728684946912 139824142809296 139824604637083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10533] ppid=10521 vsize=14087196 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/10523/task/10533/stat : 10533 (java) S 10521 10521 5155 0 -1 1077944384 499 0 0 0 5 0 0 0 20 0 15 0 105175913 14425288704 12088 33554432000 4194304 4196468 140728684946912 139824141756912 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10534] ppid=10521 vsize=14087196 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/10523/task/10534/stat : 10534 (java) S 10521 10521 5155 0 -1 1077944384 453 0 0 0 4 0 0 0 20 0 15 0 105175913 14425288704 12088 33554432000 4194304 4196468 140728684946912 139824140704368 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10535] ppid=10521 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/10523/task/10535/stat : 10535 (java) S 10521 10521 5155 0 -1 1077944384 836 0 0 0 12 0 0 0 20 0 15 0 105175913 14425288704 12088 33554432000 4194304 4196468 140728684946912 139824139651824 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10536] ppid=10521 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10536/stat : 10536 (java) S 10521 10521 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105175913 14425288704 12088 33554432000 4194304 4196468 140728684946912 139824138599520 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10537] ppid=10521 vsize=14087196 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10537/stat : 10537 (java) S 10521 10521 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105175913 14425288704 12088 33554432000 4194304 4196468 140728684946912 139824069601584 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49808 KiB

[startup+0.70306 s]
/proc/loadavg: 1.70 1.67 1.61 9/223 10540
/proc/meminfo: memFree=27332820/32770624 swapFree=67108856/67108860
[pid=10521] ppid=10518 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10521/stat : 10521 (xcsp3-exec) S 10518 10521 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105175907 115843072 364 33554432000 4194304 5098028 140721367426768 140721367424872 139665912611452 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15523840 140721367434304 140721367434505 140721367434505 140721367437258 0
/proc/10521/statm: 28282 364 306 221 0 87 0
[pid=10523] ppid=10521 vsize=14089320 memory=89364 CPUtime=1.68 cores=1,3,5,7
/proc/10523/stat : 10523 (java) S 10521 10521 5155 0 -1 1077944320 12448 0 0 0 163 5 0 0 20 0 15 0 105175908 14427463680 22341 33554432000 4194304 4196468 140728684946912 140728684929456 139824604618487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
/proc/10523/statm: 3522330 22341 3357 1 0 3483524 0
[pid=10523/tid=10524] ppid=10521 vsize=14089320 memory=5795117241467496816 CPUtime=0.67 cores=1,3,5,7
/proc/10523/task/10524/stat : 10524 (java) R 10521 10521 5155 0 -1 4202560 6927 0 0 0 64 3 0 0 20 0 15 0 105175908 14427463680 22341 33554432000 4194304 4196468 140728684946912 139824608855904 139824221624624 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10525] ppid=10521 vsize=14089320 memory=4639059895069856102 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10525/stat : 10525 (java) S 10521 10521 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105175909 14427463680 22341 33554432000 4194304 4196468 140728684946912 139824542219024 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10526] ppid=10521 vsize=14089320 memory=4638778424102965584 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10526/stat : 10526 (java) S 10521 10521 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105175909 14427463680 22341 33554432000 4194304 4196468 140728684946912 139824541166480 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10527] ppid=10521 vsize=14089320 memory=7100839870071150693 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10527/stat : 10527 (java) S 10521 10521 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105175909 14427463680 22341 33554432000 4194304 4196468 140728684946912 139824198065168 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10528] ppid=10521 vsize=14089320 memory=-7395679465411340910 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10528/stat : 10528 (java) S 10521 10521 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105175909 14427463680 22341 33554432000 4194304 4196468 140728684946912 139824197012624 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10529] ppid=10521 vsize=14089320 memory=-9001734043636558696 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10529/stat : 10529 (java) S 10521 10521 5155 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105175910 14427463680 22341 33554432000 4194304 4196468 140728684946912 139824145967088 139824604629634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10530] ppid=10521 vsize=14089320 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10530/stat : 10530 (java) S 10521 10521 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105175910 14427463680 22341 33554432000 4194304 4196468 140728684946912 139824144913312 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10531] ppid=10521 vsize=14089320 memory=6884 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10531/stat : 10531 (java) S 10521 10521 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105175911 14427463680 22341 33554432000 4194304 4196468 140728684946912 139824143860720 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10532] ppid=10521 vsize=14089320 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10532/stat : 10532 (java) S 10521 10521 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105175913 14427463680 22341 33554432000 4194304 4196468 140728684946912 139824142809296 139824604637083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10533] ppid=10521 vsize=14089320 memory=30448 CPUtime=0.29 cores=1,3,5,7
/proc/10523/task/10533/stat : 10533 (java) S 10521 10521 5155 0 -1 1077944384 1135 0 0 0 29 0 0 0 20 0 15 0 105175913 14427463680 22341 33554432000 4194304 4196468 140728684946912 139824141756912 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10534] ppid=10521 vsize=14089320 memory=1244 CPUtime=0.29 cores=1,3,5,7
/proc/10523/task/10534/stat : 10534 (java) S 10521 10521 5155 0 -1 1077944384 1213 0 0 0 29 0 0 0 20 0 15 0 105175913 14427463680 22341 33554432000 4194304 4196468 140728684946912 139824140704368 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10535] ppid=10521 vsize=14089320 memory=2268 CPUtime=0.39 cores=1,3,5,7
/proc/10523/task/10535/stat : 10535 (java) R 10521 10521 5155 0 -1 4202560 1862 0 0 0 39 0 0 0 20 0 15 0 105175913 14427463680 22341 33554432000 4194304 4196468 140728684946912 139824139651008 139824588874413 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10536] ppid=10521 vsize=14089320 memory=7163890427858739792 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10536/stat : 10536 (java) S 10521 10521 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105175913 14427463680 22341 33554432000 4194304 4196468 140728684946912 139824138599520 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10537] ppid=10521 vsize=14089320 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10537/stat : 10537 (java) S 10521 10521 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105175913 14427463680 22341 33554432000 4194304 4196468 140728684946912 139824069601584 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 90820 KiB

[startup+1.50143 s]
/proc/loadavg: 1.70 1.67 1.61 8/222 10587
/proc/meminfo: memFree=27337884/32770624 swapFree=67108856/67108860
[pid=10521] ppid=10518 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10521/stat : 10521 (xcsp3-exec) S 10518 10521 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105175907 115843072 364 33554432000 4194304 5098028 140721367426768 140721367424872 139665912611452 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15523840 140721367434304 140721367434505 140721367434505 140721367437258 0
/proc/10521/statm: 28282 364 306 221 0 87 0

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

/proc/10523/task/10531/stat : 10531 (java) S 10521 10521 5155 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 105175911 14429560832 73916 33554432000 4194304 4196468 140728684946912 139824143860720 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10532] ppid=10521 vsize=14091368 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10532/stat : 10532 (java) S 10521 10521 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105175913 14429560832 73916 33554432000 4194304 4196468 140728684946912 139824142809296 139824604637083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10533] ppid=10521 vsize=14091368 memory=259184 CPUtime=2.41 cores=1,3,5,7
/proc/10523/task/10533/stat : 10533 (java) S 10521 10521 5155 0 -1 1077944384 14706 0 0 0 239 2 0 0 20 0 15 0 105175913 14429560832 73916 33554432000 4194304 4196468 140728684946912 139824141756912 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 56 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10534] ppid=10521 vsize=14091368 memory=2092 CPUtime=2.36 cores=1,3,5,7
/proc/10523/task/10534/stat : 10534 (java) S 10521 10521 5155 0 -1 1077944384 13955 0 0 0 234 2 0 0 20 0 15 0 105175913 14429560832 73916 33554432000 4194304 4196468 140728684946912 139824140704368 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 56 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10535] ppid=10521 vsize=14091368 memory=7380 CPUtime=0.73 cores=1,3,5,7
/proc/10523/task/10535/stat : 10535 (java) S 10521 10521 5155 0 -1 1077944384 6134 0 0 0 72 1 0 0 20 0 15 0 105175913 14429560832 73916 33554432000 4194304 4196468 140728684946912 139824139651824 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 21 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10536] ppid=10521 vsize=14091368 memory=56 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10536/stat : 10536 (java) S 10521 10521 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105175913 14429560832 73916 33554432000 4194304 4196468 140728684946912 139824138599520 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10537] ppid=10521 vsize=14091368 memory=592564426975962926 CPUtime=0.01 cores=1,3,5,7
/proc/10523/task/10537/stat : 10537 (java) S 10521 10521 5155 0 -1 1077944384 483 0 0 0 0 1 0 0 20 0 15 0 105175913 14429560832 73916 33554432000 4194304 4196468 140728684946912 139824069601584 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 57 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
Current children cumulated CPU time: 108.01 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 297120 KiB

[startup+162.301 s]
/proc/loadavg: 1.82 1.72 1.64 3/222 10669
/proc/meminfo: memFree=26956624/32770624 swapFree=67108856/67108860
[pid=10521] ppid=10518 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10521/stat : 10521 (xcsp3-exec) S 10518 10521 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105175907 115843072 364 33554432000 4194304 5098028 140721367426768 140721367424872 139665912611452 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15523840 140721367434304 140721367434505 140721367434505 140721367437258 0
/proc/10521/statm: 28282 364 306 221 0 87 0
[pid=10523] ppid=10521 vsize=14091368 memory=306012 CPUtime=168.07 cores=1,3,5,7
/proc/10523/stat : 10523 (java) S 10521 10521 5155 0 -1 1077944320 60603 0 0 0 16779 28 0 0 20 0 15 0 105175908 14429560832 76503 33554432000 4194304 4196468 140728684946912 140728684929456 139824604618487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
/proc/10523/statm: 3522842 76503 3414 1 0 3484036 0
[pid=10523/tid=10524] ppid=10521 vsize=14091368 memory=306012 CPUtime=162.03 cores=1,3,5,7
/proc/10523/task/10524/stat : 10524 (java) R 10521 10521 5155 0 -1 4202560 13115 0 0 0 16196 7 0 0 20 0 15 0 105175908 14429560832 76503 33554432000 4194304 4196468 140728684946912 139824608855168 139824227182669 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10525] ppid=10521 vsize=14091368 memory=306012 CPUtime=0.1 cores=1,3,5,7
/proc/10523/task/10525/stat : 10525 (java) S 10521 10521 5155 0 -1 1077944384 3568 0 0 0 7 3 0 0 20 0 15 0 105175909 14429560832 76503 33554432000 4194304 4196468 140728684946912 139824542219024 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10526] ppid=10521 vsize=14091368 memory=1456 CPUtime=0.09 cores=1,3,5,7
/proc/10523/task/10526/stat : 10526 (java) S 10521 10521 5155 0 -1 1077944384 3825 0 0 0 7 2 0 0 20 0 15 0 105175909 14429560832 76503 33554432000 4194304 4196468 140728684946912 139824541166480 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10527] ppid=10521 vsize=14091368 memory=1456 CPUtime=0.1 cores=1,3,5,7
/proc/10523/task/10527/stat : 10527 (java) S 10521 10521 5155 0 -1 1077944384 526 0 0 0 7 3 0 0 20 0 15 0 105175909 14429560832 76503 33554432000 4194304 4196468 140728684946912 139824198065168 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10528] ppid=10521 vsize=14091368 memory=306012 CPUtime=0.09 cores=1,3,5,7
/proc/10523/task/10528/stat : 10528 (java) S 10521 10521 5155 0 -1 1077944384 609 0 0 0 7 2 0 0 20 0 15 0 105175909 14429560832 76503 33554432000 4194304 4196468 140728684946912 139824197012624 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10529] ppid=10521 vsize=14091368 memory=1456 CPUtime=0.02 cores=1,3,5,7
/proc/10523/task/10529/stat : 10529 (java) S 10521 10521 5155 0 -1 1077944384 1437 0 0 0 2 0 0 0 20 0 15 0 105175910 14429560832 76503 33554432000 4194304 4196468 140728684946912 139824145967088 139824604629634 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10530] ppid=10521 vsize=14091368 memory=306012 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10530/stat : 10530 (java) S 10521 10521 5155 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 105175910 14429560832 76503 33554432000 4194304 4196468 140728684946912 139824144913312 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10531] ppid=10521 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10531/stat : 10531 (java) S 10521 10521 5155 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 105175911 14429560832 76503 33554432000 4194304 4196468 140728684946912 139824143860720 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10532] ppid=10521 vsize=14091368 memory=308028 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10532/stat : 10532 (java) S 10521 10521 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105175913 14429560832 76503 33554432000 4194304 4196468 140728684946912 139824142809296 139824604637083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10533] ppid=10521 vsize=14091368 memory=-7003737579269690708 CPUtime=2.41 cores=1,3,5,7
/proc/10523/task/10533/stat : 10533 (java) S 10521 10521 5155 0 -1 1077944384 14708 0 0 0 239 2 0 0 20 0 15 0 105175913 14429560832 76503 33554432000 4194304 4196468 140728684946912 139824141756912 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 56 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10534] ppid=10521 vsize=14091368 memory=1712 CPUtime=2.37 cores=1,3,5,7
/proc/10523/task/10534/stat : 10534 (java) S 10521 10521 5155 0 -1 1077944384 14218 0 0 0 235 2 0 0 20 0 15 0 105175913 14429560832 76503 33554432000 4194304 4196468 140728684946912 139824140704368 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 56 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10535] ppid=10521 vsize=14091368 memory=1456 CPUtime=0.73 cores=1,3,5,7
/proc/10523/task/10535/stat : 10535 (java) S 10521 10521 5155 0 -1 1077944384 6727 0 0 0 72 1 0 0 20 0 15 0 105175913 14429560832 76503 33554432000 4194304 4196468 140728684946912 139824139651824 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10536] ppid=10521 vsize=14091368 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10536/stat : 10536 (java) S 10521 10521 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105175913 14429560832 76503 33554432000 4194304 4196468 140728684946912 139824138599520 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10537] ppid=10521 vsize=14091368 memory=1456 CPUtime=0.03 cores=1,3,5,7
/proc/10523/task/10537/stat : 10537 (java) S 10521 10521 5155 0 -1 1077944384 512 0 0 0 1 2 0 0 20 0 15 0 105175913 14429560832 76503 33554432000 4194304 4196468 140728684946912 139824069601584 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 57 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
Current children cumulated CPU time: 168.07 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 307468 KiB

[startup+222.301 s]
/proc/loadavg: 1.93 1.77 1.66 3/222 10670
/proc/meminfo: memFree=27051656/32770624 swapFree=67108856/67108860
[pid=10521] ppid=10518 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10521/stat : 10521 (xcsp3-exec) S 10518 10521 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105175907 115843072 364 33554432000 4194304 5098028 140721367426768 140721367424872 139665912611452 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15523840 140721367434304 140721367434505 140721367434505 140721367437258 0
/proc/10521/statm: 28282 364 306 221 0 87 0
[pid=10523] ppid=10521 vsize=14091368 memory=253308 CPUtime=228.27 cores=1,3,5,7
/proc/10523/stat : 10523 (java) S 10521 10521 5155 0 -1 1077944320 62957 0 0 0 22797 30 0 0 20 0 15 0 105175908 14429560832 63327 33554432000 4194304 4196468 140728684946912 140728684929456 139824604618487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
/proc/10523/statm: 3522842 63327 3414 1 0 3484036 0
[pid=10523/tid=10524] ppid=10521 vsize=14091368 memory=253308 CPUtime=222.01 cores=1,3,5,7
/proc/10523/task/10524/stat : 10524 (java) R 10521 10521 5155 0 -1 4202560 13660 0 0 0 22194 7 0 0 20 0 15 0 105175908 14429560832 63327 33554432000 4194304 4196468 140728684946912 139824608857936 139824228612866 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10525] ppid=10521 vsize=14091368 memory=2404 CPUtime=0.1 cores=1,3,5,7
/proc/10523/task/10525/stat : 10525 (java) S 10521 10521 5155 0 -1 1077944384 3584 0 0 0 7 3 0 0 20 0 15 0 105175909 14429560832 63327 33554432000 4194304 4196468 140728684946912 139824542219024 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10526] ppid=10521 vsize=14091368 memory=1572 CPUtime=0.1 cores=1,3,5,7
/proc/10523/task/10526/stat : 10526 (java) S 10521 10521 5155 0 -1 1077944384 3841 0 0 0 8 2 0 0 20 0 15 0 105175909 14429560832 63327 33554432000 4194304 4196468 140728684946912 139824541166480 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10527] ppid=10521 vsize=14091368 memory=1456 CPUtime=0.11 cores=1,3,5,7
/proc/10523/task/10527/stat : 10527 (java) S 10521 10521 5155 0 -1 1077944384 834 0 0 0 8 3 0 0 20 0 15 0 105175909 14429560832 63327 33554432000 4194304 4196468 140728684946912 139824198065168 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10528] ppid=10521 vsize=14091368 memory=256836 CPUtime=0.11 cores=1,3,5,7
/proc/10523/task/10528/stat : 10528 (java) S 10521 10521 5155 0 -1 1077944384 660 0 0 0 8 3 0 0 20 0 15 0 105175909 14429560832 63327 33554432000 4194304 4196468 140728684946912 139824197012624 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10529] ppid=10521 vsize=14091368 memory=1456 CPUtime=0.03 cores=1,3,5,7
/proc/10523/task/10529/stat : 10529 (java) S 10521 10521 5155 0 -1 1077944384 1576 0 0 0 3 0 0 0 20 0 15 0 105175910 14429560832 63327 33554432000 4194304 4196468 140728684946912 139824145967088 139824604629634 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10530] ppid=10521 vsize=14091368 memory=267124 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10530/stat : 10530 (java) S 10521 10521 5155 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 105175910 14429560832 63327 33554432000 4194304 4196468 140728684946912 139824144913312 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10531] ppid=10521 vsize=14091368 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10531/stat : 10531 (java) S 10521 10521 5155 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 105175911 14429560832 63327 33554432000 4194304 4196468 140728684946912 139824143860720 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10532] ppid=10521 vsize=14091368 memory=22270 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10532/stat : 10532 (java) S 10521 10521 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105175913 14429560832 63327 33554432000 4194304 4196468 140728684946912 139824142809296 139824604637083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10533] ppid=10521 vsize=14091368 memory=1456 CPUtime=2.49 cores=1,3,5,7
/proc/10523/task/10533/stat : 10533 (java) S 10521 10521 5155 0 -1 1077944384 15122 0 0 0 247 2 0 0 20 0 15 0 105175913 14429560832 63327 33554432000 4194304 4196468 140728684946912 139824141756912 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 56 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10534] ppid=10521 vsize=14091368 memory=262508 CPUtime=2.44 cores=1,3,5,7
/proc/10523/task/10534/stat : 10534 (java) S 10521 10521 5155 0 -1 1077944384 14624 0 0 0 242 2 0 0 20 0 15 0 105175913 14429560832 63327 33554432000 4194304 4196468 140728684946912 139824140704368 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 56 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10535] ppid=10521 vsize=14091368 memory=1712 CPUtime=0.74 cores=1,3,5,7
/proc/10523/task/10535/stat : 10535 (java) S 10521 10521 5155 0 -1 1077944384 7161 0 0 0 73 1 0 0 20 0 15 0 105175913 14429560832 63327 33554432000 4194304 4196468 140728684946912 139824139651824 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10536] ppid=10521 vsize=14091368 memory=11860 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10536/stat : 10536 (java) S 10521 10521 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105175913 14429560832 63327 33554432000 4194304 4196468 140728684946912 139824138599520 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10537] ppid=10521 vsize=14091368 memory=5772 CPUtime=0.04 cores=1,3,5,7
/proc/10523/task/10537/stat : 10537 (java) S 10521 10521 5155 0 -1 1077944384 537 0 0 0 1 3 0 0 20 0 15 0 105175913 14429560832 63327 33554432000 4194304 4196468 140728684946912 139824069601584 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 57 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
Current children cumulated CPU time: 228.27 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 254764 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+246.001 s]*
/proc/loadavg: 1.67 1.72 1.65 3/222 10670
/proc/meminfo: memFree=27090524/32770624 swapFree=67108856/67108860
[pid=10521] ppid=10518 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/10521/stat : 10521 (xcsp3-exec) S 10518 10521 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105175907 115843072 364 33554432000 4194304 5098028 140721367426768 140721367424872 139665912611452 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15523840 140721367434304 140721367434505 140721367434505 140721367437258 0
/proc/10521/statm: 28282 364 306 221 0 87 0
[pid=10523] ppid=10521 vsize=14091368 memory=232788 CPUtime=252 cores=1,3,5,7
/proc/10523/stat : 10523 (java) S 10521 10521 5155 0 -1 1077944320 63091 0 0 0 25170 30 0 0 20 0 15 0 105175908 14429560832 58197 33554432000 4194304 4196468 140728684946912 140728684929456 139824604618487 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
/proc/10523/statm: 3522842 58197 3414 1 0 3484036 0
[pid=10523/tid=10524] ppid=10521 vsize=14091368 memory=6791534058613427641 CPUtime=245.71 cores=1,3,5,7
/proc/10523/task/10524/stat : 10524 (java) R 10521 10521 5155 0 -1 4202560 13703 0 0 0 24564 7 0 0 20 0 15 0 105175908 14429560832 58197 33554432000 4194304 4196468 140728684946912 139824608857936 139824228562761 0 4 0 16800975 0 0 0 -1 3 0 0 10 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10525] ppid=10521 vsize=14091368 memory=-7003737579269690708 CPUtime=0.11 cores=1,3,5,7
/proc/10523/task/10525/stat : 10525 (java) S 10521 10521 5155 0 -1 1077944384 3608 0 0 0 8 3 0 0 20 0 15 0 105175909 14429560832 58197 33554432000 4194304 4196468 140728684946912 139824542219024 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10526] ppid=10521 vsize=14091368 memory=7235425684920626282 CPUtime=0.11 cores=1,3,5,7
/proc/10523/task/10526/stat : 10526 (java) S 10521 10521 5155 0 -1 1077944384 3842 0 0 0 9 2 0 0 20 0 15 0 105175909 14429560832 58197 33554432000 4194304 4196468 140728684946912 139824541166480 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10527] ppid=10521 vsize=14091368 memory=7522227791592122471 CPUtime=0.11 cores=1,3,5,7
/proc/10523/task/10527/stat : 10527 (java) S 10521 10521 5155 0 -1 1077944384 836 0 0 0 8 3 0 0 20 0 15 0 105175909 14429560832 58197 33554432000 4194304 4196468 140728684946912 139824198065168 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10528] ppid=10521 vsize=14091368 memory=7523094339797925988 CPUtime=0.11 cores=1,3,5,7
/proc/10523/task/10528/stat : 10528 (java) S 10521 10521 5155 0 -1 1077944384 662 0 0 0 8 3 0 0 20 0 15 0 105175909 14429560832 58197 33554432000 4194304 4196468 140728684946912 139824197012624 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10529] ppid=10521 vsize=14091368 memory=7450481440597110376 CPUtime=0.03 cores=1,3,5,7
/proc/10523/task/10529/stat : 10529 (java) S 10521 10521 5155 0 -1 1077944384 1595 0 0 0 3 0 0 0 20 0 15 0 105175910 14429560832 58197 33554432000 4194304 4196468 140728684946912 139824145967088 139824604629634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 18 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10530] ppid=10521 vsize=14091368 memory=7451605153962159975 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10530/stat : 10530 (java) S 10521 10521 5155 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 105175910 14429560832 58197 33554432000 4194304 4196468 140728684946912 139824144913312 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10531] ppid=10521 vsize=14091368 memory=7451605153962159975 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10531/stat : 10531 (java) S 10521 10521 5155 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 105175911 14429560832 58197 33554432000 4194304 4196468 140728684946912 139824143860720 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10532] ppid=10521 vsize=14091368 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10532/stat : 10532 (java) S 10521 10521 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105175913 14429560832 58197 33554432000 4194304 4196468 140728684946912 139824142809296 139824604637083 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10533] ppid=10521 vsize=14091368 memory=235864 CPUtime=2.49 cores=1,3,5,7
/proc/10523/task/10533/stat : 10533 (java) S 10521 10521 5155 0 -1 1077944384 15122 0 0 0 247 2 0 0 20 0 15 0 105175913 14429560832 58197 33554432000 4194304 4196468 140728684946912 139824141756912 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 56 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10534] ppid=10521 vsize=14091368 memory=7596279822229137252 CPUtime=2.44 cores=1,3,5,7
/proc/10523/task/10534/stat : 10534 (java) S 10521 10521 5155 0 -1 1077944384 14626 0 0 0 242 2 0 0 20 0 15 0 105175913 14429560832 58197 33554432000 4194304 4196468 140728684946912 139824140704368 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 56 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10535] ppid=10521 vsize=14091368 memory=8171613751358275682 CPUtime=0.74 cores=1,3,5,7
/proc/10523/task/10535/stat : 10535 (java) S 10521 10521 5155 0 -1 1077944384 7202 0 0 0 73 1 0 0 20 0 15 0 105175913 14429560832 58197 33554432000 4194304 4196468 140728684946912 139824139651824 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 21 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10536] ppid=10521 vsize=14091368 memory=8171613751358275682 CPUtime=0 cores=1,3,5,7
/proc/10523/task/10536/stat : 10536 (java) S 10521 10521 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105175913 14429560832 58197 33554432000 4194304 4196468 140728684946912 139824138599520 139824604628693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
[pid=10523/tid=10537] ppid=10521 vsize=14091368 memory=1456 CPUtime=0.05 cores=1,3,5,7
/proc/10523/task/10537/stat : 10537 (java) S 10521 10521 5155 0 -1 1077944384 537 0 0 0 2 3 0 0 20 0 15 0 105175913 14429560832 58197 33554432000 4194304 4196468 140728684946912 139824069601584 139824604629634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 57 0 0 6293624 6294260 7790592 140728684950668 140728684950838 140728684950838 140728684953551 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 234244 KiB

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

[startup+246.02 s]
# the end of solver process 10521 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001071 s, system=0.001549 s

[startup+246.02 s]
# the end of solver process 10523 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.714 s, system=0.311762 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 246.02
CPU time (s): 252.026
CPU user time (s): 251.714
CPU system time (s): 0.311762
CPU usage (%): 102.441
Max. virtual memory (cumulated for all children) (KiB): 14206528
Max. memory (cumulated for all children) (KiB): 316684

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.714
system time used= 0.311762
maximum resident set size= 315228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63834
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9023
involuntary context switches= 258


# summary of solver processes directly reported to runsolver:
#   pid: 10521,10523
#   total CPU time (s): 252.026
#   total CPU user time (s): 251.714
#   total CPU system time (s): 0.311762

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.45596 second user time and 2.29608 second system time

The end

Name	StillLife/ StillLife-wastage-25_c18.xml
MD5SUM	633a0f5b4e603fff9205bbaeb6c03cff
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	274
Best CPU time to get the best result obtained on this benchmark	252.122
Satisfiable
(Un)Satisfiability was proved
Number of variables	1486
Number of constraints	883
Number of domains	4
Minimum domain size	2
Maximum domain size	1459
Distribution of domain sizes	[{"size":2,"count":729},{"size":3,"count":729},{"size":626,"count":1},{"size":1459,"count":27}]
Minimum variable degree	1
Maximum variable degree	28
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":726},{"degree":3,"count":30},{"degree":4,"count":100},{"degree":8,"count":96},{"degree":9,"count":529},{"degree":28,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	29
Distribution of constraint arities	[{"arity":2,"count":127},{"arity":3,"count":100},{"arity":10,"count":625},{"arity":27,"count":4},{"arity":28,"count":1},{"arity":29,"count":26}]
Number of extensional constraints	725
Number of intensional constraints	126
Distribution of constraint types	[{"type":"extension","count":725},{"type":"intension","count":126},{"type":"sum","count":28},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4301225

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