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-08-09)	SAT (TO)	267	246.464	240.024

0.00/0.09	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270321-1502619476.xml"  -tl '264s' -p 1 -x 0
0.09/0.27	c [HOME/instance-4270321-1502619476.xml, -tl, 264s, -p, 1, -x, 0]
0.28/0.33	c simple solver
0.28/0.40	c parse instance...
2.03/1.05	c solve instance...
14.59/10.70	o 252 
15.01/10.84	o 253 
15.60/11.05	o 255 
15.60/11.06	o 256 
56.00/50.18	o 257 
87.08/81.13	o 267 
246.43/240.01	s SATISFIABLE
246.43/240.01	v <instantiation>
246.43/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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z </list>
246.43/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 1 1 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 1 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 1 1 1 1 0 1 1 0 1 0 1 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 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 1 1 1 0 1 0 1 0 0 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 0 0 1 0 0 1 1 1 0 1 0 1 0 1 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 1 0 0 0 1 1 0 1 0 1 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 1 0 1 1 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 1 1 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 1 0 1 1 0 1 1 1 0 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 1 1 0 0 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 0 0 0 0 1 0 0 1 1 1 1 1 1 0 1 0 0 1 1 0 0 1 1 1 1 1 0 0 0 0 1 0 0 0 1 1 1 1 2 2 1 1 0 0 0 1 1 1 0 1 2 2 2 0 0 0 0 1 0 0 0 0 0 1 1 0 1 2 1 0 0 0 0 1 1 0 1 0 1 2 1 1 0 1 0 0 1 0 0 1 1 2 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 1 1 0 2 2 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 0 1 2 1 1 2 2 2 2 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 1 1 2 1 1 2 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 1 1 0 1 1 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 1 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 2 2 2 1 1 1 1 1 0 0 1 0 0 0 2 0 0 0 0 0 0 0 0 0 1 0 0 1 1 2 2 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 2 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 0 1 2 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 0 0 1 0 0 2 2 1 1 2 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 1 2 1 1 2 2 1 0 2 0 0 0 0 0 0 2 1 0 0 0 1 0 0 1 0 0 0 1 1 2 1 1 1 2 2 0 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 1 1 2 2 1 0 1 0 1 2 1 1 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 2 2 2 1 0 0 0 1 0 2 2 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 2 2 1 1 0 0 0 1 1 1 2 0 0 0 0 0 1 2 1 0 0 0 0 0 1 0 0 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 1 0 1 0 0 0 0 1 0 0 0 2 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 2 1 1 0 1 0 0 0 0 1 0 2 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 2 2 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 1 1 2 2 2 1 0 0 1 1 1 1 1 1 0 0 0 0 0 2 0 0 0 1 1 1 0 1 2 2 2 2 2 1 0 0 0 1 1 1 1 0 0 1 0 0 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 0 15 36 52 64 78 94 108 113 120 135 148 163 172 181 192 204 222 241 261 276 292 301 307 319 334 349 372 388 267 </values>
246.43/240.01	v </instantiation>
246.43/240.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 (15217 MiB free)
  memory of node 1: 16384 MiB (15421 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270321-1502619476/watcher-4270321-1502619476 -o /tmp/evaluation-result-4270321-1502619476/solver-4270321-1502619476 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502615937-28320 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 904838930 HOME/instance-4270321-1502619476.xml 

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30520, runsolver pid=30517
Current StackSize limit: 8192 KiB


[startup+0.100108 s]*
/proc/loadavg: 1.93 1.90 1.88 2/199 30523
/proc/meminfo: memFree=31370156/32770624 swapFree=67108860/67108860
[pid=30520] ppid=30517 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30520/stat : 30520 (xcsp3-exec) S 30517 30520 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64140922 9740288 345 18446744073709551615 4194304 5098028 140726404566768 140726404564872 140551330230908 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 30732288 140726404575615 140726404575818 140726404575818 140726404579307 0
/proc/30520/statm: 2378 345 289 221 0 87 0
[pid=30522] ppid=30520 vsize=13358712 memory=16144 CPUtime=0 cores=0,2,4,6
/proc/30522/stat : 30522 (java) S 30520 30520 17093 0 -1 1077944320 3293 0 0 0 0 0 0 0 20 0 6 0 64140932 13679321088 4036 18446744073709551615 4194304 4196468 140724332583488 140724332566032 140634837602039 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
/proc/30522/statm: 3339678 4036 1900 1 0 3329175 0
[pid=30522/tid=30523] ppid=30520 vsize=13358712 memory=-8713483618642852700 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30523/stat : 30523 (java) R 30520 30520 17093 0 -1 4202560 2057 0 0 0 0 0 0 0 20 0 6 0 64140932 13679321088 4036 18446744073709551615 4194304 4196468 140724332583488 140634841838160 140634837623965 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30524] ppid=30520 vsize=13358712 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30524/stat : 30524 (java) S 30520 30520 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 64140933 13679321088 4036 18446744073709551615 4194304 4196468 140724332583488 140634757016464 140634837612245 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30525] ppid=30520 vsize=13358712 memory=140365159720576 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30525/stat : 30525 (java) S 30520 30520 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 64140933 13679321088 4036 18446744073709551615 4194304 4196468 140724332583488 140634755963664 140634837612245 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30526] ppid=30520 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30526/stat : 30526 (java) S 30520 30520 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 64140933 13679321088 4036 18446744073709551615 4194304 4196468 140724332583488 140634754911376 140634837612245 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30527] ppid=30520 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30527/stat : 30527 (java) S 30520 30520 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 64140933 13679321088 4036 18446744073709551615 4194304 4196468 140724332583488 140634753858576 140634837612245 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 17524 KiB

[startup+0.210085 s]*
/proc/loadavg: 1.93 1.90 1.88 3/212 30536
/proc/meminfo: memFree=31358880/32770624 swapFree=67108860/67108860
[pid=30520] ppid=30517 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30520/stat : 30520 (xcsp3-exec) S 30517 30520 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64140922 9740288 345 18446744073709551615 4194304 5098028 140726404566768 140726404564872 140551330230908 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 30732288 140726404575615 140726404575818 140726404575818 140726404579307 0
/proc/30520/statm: 2378 345 289 221 0 87 0
[pid=30522] ppid=30520 vsize=13974352 memory=28164 CPUtime=0.09 cores=0,2,4,6
/proc/30522/stat : 30522 (java) S 30520 30520 17093 0 -1 1077944320 4925 0 0 0 8 1 0 0 20 0 15 0 64140932 14309736448 7041 18446744073709551615 4194304 4196468 140724332583488 140724332566032 140634837602039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
/proc/30522/statm: 3493588 7041 2752 1 0 3482964 0
[pid=30522/tid=30523] ppid=30520 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=0,2,4,6
/proc/30522/task/30523/stat : 30523 (java) R 30520 30520 17093 0 -1 4202560 3074 0 0 0 7 0 0 0 20 0 15 0 64140932 14309736448 7041 18446744073709551615 4194304 4196468 140724332583488 140634841827488 140634837623965 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30524] ppid=30520 vsize=13974352 memory=13729 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30524/stat : 30524 (java) S 30520 30520 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64140933 14309736448 7041 18446744073709551615 4194304 4196468 140724332583488 140634757016464 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30525] ppid=30520 vsize=13974352 memory=140365159748187 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30525/stat : 30525 (java) S 30520 30520 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64140933 14309736448 7041 18446744073709551615 4194304 4196468 140724332583488 140634755963664 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30526] ppid=30520 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30526/stat : 30526 (java) S 30520 30520 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64140933 14309736448 7041 18446744073709551615 4194304 4196468 140724332583488 140634754911376 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30527] ppid=30520 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30527/stat : 30527 (java) S 30520 30520 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64140933 14309736448 7041 18446744073709551615 4194304 4196468 140724332583488 140634753858576 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30528] ppid=30520 vsize=13974352 memory=140365159720576 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30528/stat : 30528 (java) S 30520 30520 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64140934 14309736448 7041 18446744073709551615 4194304 4196468 140724332583488 140634315286640 140634837613186 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30529] ppid=30520 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30529/stat : 30529 (java) S 30520 30520 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64140934 14309736448 7041 18446744073709551615 4194304 4196468 140724332583488 140634314232608 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30530] ppid=30520 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30530/stat : 30530 (java) S 30520 30520 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64140935 14309736448 7041 18446744073709551615 4194304 4196468 140724332583488 140634313180272 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30531] ppid=30520 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30531/stat : 30531 (java) S 30520 30520 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64140937 14309736448 7041 18446744073709551615 4194304 4196468 140724332583488 140634312128592 140634837620635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30532] ppid=30520 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30532/stat : 30532 (java) S 30520 30520 17093 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 64140937 14309736448 7041 18446744073709551615 4194304 4196468 140724332583488 140634311076464 140634837613186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30533] ppid=30520 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30533/stat : 30533 (java) S 30520 30520 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64140937 14309736448 7041 18446744073709551615 4194304 4196468 140724332583488 140634310023664 140634837613186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30534] ppid=30520 vsize=13974352 memory=140365159720576 CPUtime=0.01 cores=0,2,4,6
/proc/30522/task/30534/stat : 30534 (java) S 30520 30520 17093 0 -1 1077944384 240 0 0 0 1 0 0 0 20 0 15 0 64140937 14309736448 7041 18446744073709551615 4194304 4196468 140724332583488 140634308971376 140634837613186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30535] ppid=30520 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30535/stat : 30535 (java) S 30520 30520 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64140937 14309736448 7041 18446744073709551615 4194304 4196468 140724332583488 140634307918816 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30536] ppid=30520 vsize=13974352 memory=140365159720576 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30536/stat : 30536 (java) S 30520 30520 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64140941 14309736448 7041 18446744073709551615 4194304 4196468 140724332583488 140634306865584 140634837613186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29544 KiB

[startup+0.31032 s]*
/proc/loadavg: 1.93 1.90 1.88 4/212 30536
/proc/meminfo: memFree=31345572/32770624 swapFree=67108860/67108860
[pid=30520] ppid=30517 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30520/stat : 30520 (xcsp3-exec) S 30517 30520 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64140922 9740288 345 18446744073709551615 4194304 5098028 140726404566768 140726404564872 140551330230908 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 30732288 140726404575615 140726404575818 140726404575818 140726404579307 0
/proc/30520/statm: 2378 345 289 221 0 87 0
[pid=30522] ppid=30520 vsize=13974352 memory=37464 CPUtime=0.28 cores=0,2,4,6
/proc/30522/stat : 30522 (java) S 30520 30520 17093 0 -1 1077944320 8425 0 0 0 26 2 0 0 20 0 15 0 64140932 14309736448 9366 18446744073709551615 4194304 4196468 140724332583488 140724332566032 140634837602039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
/proc/30522/statm: 3493588 9366 2979 1 0 3482964 0
[pid=30522/tid=30523] ppid=30520 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=0,2,4,6
/proc/30522/task/30523/stat : 30523 (java) R 30520 30520 17093 0 -1 4202560 5726 0 0 0 16 1 0 0 20 0 15 0 64140932 14309736448 9366 18446744073709551615 4194304 4196468 140724332583488 140634841835968 140634837623965 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30524] ppid=30520 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30524/stat : 30524 (java) S 30520 30520 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64140933 14309736448 9366 18446744073709551615 4194304 4196468 140724332583488 140634757016464 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30525] ppid=30520 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30525/stat : 30525 (java) S 30520 30520 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64140933 14309736448 9366 18446744073709551615 4194304 4196468 140724332583488 140634755963664 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30526] ppid=30520 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30526/stat : 30526 (java) S 30520 30520 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64140933 14309736448 9366 18446744073709551615 4194304 4196468 140724332583488 140634754911376 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30527] ppid=30520 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30527/stat : 30527 (java) S 30520 30520 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64140933 14309736448 9366 18446744073709551615 4194304 4196468 140724332583488 140634753858576 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30528] ppid=30520 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30528/stat : 30528 (java) S 30520 30520 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64140934 14309736448 9366 18446744073709551615 4194304 4196468 140724332583488 140634315286640 140634837613186 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30529] ppid=30520 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30529/stat : 30529 (java) S 30520 30520 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64140934 14309736448 9366 18446744073709551615 4194304 4196468 140724332583488 140634314232608 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30530] ppid=30520 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30530/stat : 30530 (java) S 30520 30520 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64140935 14309736448 9366 18446744073709551615 4194304 4196468 140724332583488 140634313180272 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30531] ppid=30520 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30531/stat : 30531 (java) S 30520 30520 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64140937 14309736448 9366 18446744073709551615 4194304 4196468 140724332583488 140634312128592 140634837620635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30532] ppid=30520 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30522/task/30532/stat : 30532 (java) S 30520 30520 17093 0 -1 1077944384 493 0 0 0 2 0 0 0 20 0 15 0 64140937 14309736448 9366 18446744073709551615 4194304 4196468 140724332583488 140634311076464 140634837613186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30533] ppid=30520 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/30522/task/30533/stat : 30533 (java) S 30520 30520 17093 0 -1 1077944384 210 0 0 0 1 0 0 0 20 0 15 0 64140937 14309736448 9366 18446744073709551615 4194304 4196468 140724332583488 140634310023664 140634837613186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30534] ppid=30520 vsize=13974352 memory=140365159720576 CPUtime=0.06 cores=0,2,4,6
/proc/30522/task/30534/stat : 30534 (java) S 30520 30520 17093 0 -1 1077944384 693 0 0 0 6 0 0 0 20 0 15 0 64140937 14309736448 9366 18446744073709551615 4194304 4196468 140724332583488 140634308971376 140634837613186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30535] ppid=30520 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30535/stat : 30535 (java) S 30520 30520 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64140937 14309736448 9366 18446744073709551615 4194304 4196468 140724332583488 140634307918816 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30536] ppid=30520 vsize=13974352 memory=140365159720576 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30536/stat : 30536 (java) S 30520 30520 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64140941 14309736448 9366 18446744073709551615 4194304 4196468 140724332583488 140634306865584 140634837613186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38844 KiB

[startup+0.708563 s]
/proc/loadavg: 1.93 1.90 1.88 4/212 30536
/proc/meminfo: memFree=31336076/32770624 swapFree=67108860/67108860
[pid=30520] ppid=30517 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30520/stat : 30520 (xcsp3-exec) S 30517 30520 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64140922 9740288 345 18446744073709551615 4194304 5098028 140726404566768 140726404564872 140551330230908 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 30732288 140726404575615 140726404575818 140726404575818 140726404579307 0
/proc/30520/statm: 2378 345 289 221 0 87 0
[pid=30522] ppid=30520 vsize=13978684 memory=67760 CPUtime=1.28 cores=0,2,4,6
/proc/30522/stat : 30522 (java) S 30520 30520 17093 0 -1 1077944320 11644 0 0 0 123 5 0 0 20 0 15 0 64140932 14314172416 16940 18446744073709551615 4194304 4196468 140724332583488 140724332566032 140634837602039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
/proc/30522/statm: 3494671 16940 3165 1 0 3482964 0
[pid=30522/tid=30523] ppid=30520 vsize=13978684 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/30522/task/30523/stat : 30523 (java) R 30520 30520 17093 0 -1 4202560 7504 0 0 0 52 3 0 0 20 0 15 0 64140932 14314172416 16940 18446744073709551615 4194304 4196468 140724332583488 140634841839904 140634837623965 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30524] ppid=30520 vsize=13978684 memory=140365034302449 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30524/stat : 30524 (java) S 30520 30520 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64140933 14314172416 16940 18446744073709551615 4194304 4196468 140724332583488 140634757016464 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30525] ppid=30520 vsize=13978684 memory=280730068918432 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30525/stat : 30525 (java) S 30520 30520 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64140933 14314172416 16940 18446744073709551615 4194304 4196468 140724332583488 140634755963664 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30526] ppid=30520 vsize=13978684 memory=280730068459992 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30526/stat : 30526 (java) S 30520 30520 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64140933 14314172416 16940 18446744073709551615 4194304 4196468 140724332583488 140634754911376 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30527] ppid=30520 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30527/stat : 30527 (java) S 30520 30520 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64140933 14314172416 16940 18446744073709551615 4194304 4196468 140724332583488 140634753858576 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30528] ppid=30520 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30528/stat : 30528 (java) S 30520 30520 17093 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 64140934 14314172416 16940 18446744073709551615 4194304 4196468 140724332583488 140634315286640 140634837613186 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30529] ppid=30520 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30529/stat : 30529 (java) S 30520 30520 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64140934 14314172416 16940 18446744073709551615 4194304 4196468 140724332583488 140634314232608 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30530] ppid=30520 vsize=13978684 memory=290 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30530/stat : 30530 (java) S 30520 30520 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64140935 14314172416 16940 18446744073709551615 4194304 4196468 140724332583488 140634313180272 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30531] ppid=30520 vsize=13978684 memory=823 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30531/stat : 30531 (java) S 30520 30520 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64140937 14314172416 16940 18446744073709551615 4194304 4196468 140724332583488 140634312128592 140634837620635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30532] ppid=30520 vsize=13978684 memory=53 CPUtime=0.19 cores=0,2,4,6
/proc/30522/task/30532/stat : 30532 (java) R 30520 30520 17093 0 -1 4202560 876 0 0 0 19 0 0 0 20 0 15 0 64140937 14314172416 16940 18446744073709551615 4194304 4196468 140724332583488 140634311062344 140634819145812 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30533] ppid=30520 vsize=13978684 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/30522/task/30533/stat : 30533 (java) S 30520 30520 17093 0 -1 1077944384 606 0 0 0 19 0 0 0 20 0 15 0 64140937 14314172416 16940 18446744073709551615 4194304 4196468 140724332583488 140634310023664 140634837613186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30534] ppid=30520 vsize=13978684 memory=102 CPUtime=0.31 cores=0,2,4,6
/proc/30522/task/30534/stat : 30534 (java) S 30520 30520 17093 0 -1 1077944384 1352 0 0 0 31 0 0 0 20 0 15 0 64140937 14314172416 16940 18446744073709551615 4194304 4196468 140724332583488 140634308971376 140634837613186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30535] ppid=30520 vsize=13978684 memory=219 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30535/stat : 30535 (java) S 30520 30520 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64140937 14314172416 16940 18446744073709551615 4194304 4196468 140724332583488 140634307918816 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30536] ppid=30520 vsize=13978684 memory=4 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30536/stat : 30536 (java) S 30520 30520 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64140941 14314172416 16940 18446744073709551615 4194304 4196468 140724332583488 140634306865584 140634837613186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 69140 KiB

[startup+1.50159 s]
/proc/loadavg: 1.93 1.90 1.88 4/212 30536
/proc/meminfo: memFree=31297792/32770624 swapFree=67108860/67108860
[pid=30520] ppid=30517 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30520/stat : 30520 (xcsp3-exec) S 30517 30520 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64140922 9740288 345 18446744073709551615 4194304 5098028 140726404566768 140726404564872 140551330230908 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 30732288 140726404575615 140726404575818 140726404575818 140726404579307 0
/proc/30520/statm: 2378 345 289 221 0 87 0
[pid=30522] ppid=30520 vsize=13980732 memory=112720 CPUtime=3.48 cores=0,2,4,6
/proc/30522/stat : 30522 (java) S 30520 30520 17093 0 -1 1077944320 20531 0 0 0 341 7 0 0 20 0 15 0 64140932 14316269568 28180 18446744073709551615 4194304 4196468 140724332583488 140724332566032 140634837602039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
/proc/30522/statm: 3495183 28180 3197 1 0 3483476 0
[pid=30522/tid=30523] ppid=30520 vsize=13980732 memory=0 CPUtime=1.35 cores=0,2,4,6
/proc/30522/task/30523/stat : 30523 (java) R 30520 30520 17093 0 -1 4202560 8855 0 0 0 131 4 0 0 20 0 15 0 64140932 14316269568 28180 18446744073709551615 4194304 4196468 140724332583488 140634841841320 140634431239952 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30524] ppid=30520 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30524/stat : 30524 (java) S 30520 30520 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64140933 14316269568 28180 18446744073709551615 4194304 4196468 140724332583488 140634757016464 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30525] ppid=30520 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30525/stat : 30525 (java) S 30520 30520 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64140933 14316269568 28180 18446744073709551615 4194304 4196468 140724332583488 140634755963664 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30526] ppid=30520 vsize=13980732 memory=1399103955520229747 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30526/stat : 30526 (java) S 30520 30520 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64140933 14316269568 28180 18446744073709551615 4194304 4196468 140724332583488 140634754911376 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30527] ppid=30520 vsize=13980732 memory=280730068396288 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30527/stat : 30527 (java) S 30520 30520 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64140933 14316269568 28180 18446744073709551615 4194304 4196468 140724332583488 140634753858576 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30528] ppid=30520 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30528/stat : 30528 (java) S 30520 30520 17093 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 64140934 14316269568 28180 18446744073709551615 4194304 4196468 140724332583488 140634315286640 140634837613186 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30529] ppid=30520 vsize=13980732 memory=280730068323464 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30529/stat : 30529 (java) S 30520 30520 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64140934 14316269568 28180 18446744073709551615 4194304 4196468 140724332583488 140634314232608 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30530] ppid=30520 vsize=13980732 memory=280730068576608 CPUtime=0 cores=0,2,4,6

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

/proc/30522/task/30530/stat : 30530 (java) S 30520 30520 17093 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 64140935 14316269568 61096 18446744073709551615 4194304 4196468 140724332583488 140634313180272 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30531] ppid=30520 vsize=13980732 memory=221068 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30531/stat : 30531 (java) S 30520 30520 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64140937 14316269568 61096 18446744073709551615 4194304 4196468 140724332583488 140634312128592 140634837620635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30532] ppid=30520 vsize=13980732 memory=1380 CPUtime=2.57 cores=0,2,4,6
/proc/30522/task/30532/stat : 30532 (java) S 30520 30520 17093 0 -1 1077944384 13223 0 0 0 256 1 0 0 20 0 15 0 64140937 14316269568 61096 18446744073709551615 4194304 4196468 140724332583488 140634311076464 140634837613186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30533] ppid=30520 vsize=13980732 memory=1380 CPUtime=2.86 cores=0,2,4,6
/proc/30522/task/30533/stat : 30533 (java) S 30520 30520 17093 0 -1 1077944384 18937 0 0 0 284 2 0 0 20 0 15 0 64140937 14316269568 61096 18446744073709551615 4194304 4196468 140724332583488 140634310023664 140634837613186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30534] ppid=30520 vsize=13980732 memory=244272 CPUtime=0.71 cores=0,2,4,6
/proc/30522/task/30534/stat : 30534 (java) S 30520 30520 17093 0 -1 1077944384 7408 0 0 0 70 1 0 0 20 0 15 0 64140937 14316269568 61096 18446744073709551615 4194304 4196468 140724332583488 140634308971376 140634837613186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30535] ppid=30520 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30535/stat : 30535 (java) S 30520 30520 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64140937 14316269568 61096 18446744073709551615 4194304 4196468 140724332583488 140634307918816 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30536] ppid=30520 vsize=13980732 memory=1380 CPUtime=0.02 cores=0,2,4,6
/proc/30522/task/30536/stat : 30536 (java) S 30520 30520 17093 0 -1 1077944384 484 0 0 0 1 1 0 0 20 0 15 0 64140941 14316269568 61096 18446744073709551615 4194304 4196468 140724332583488 140634306865584 140634837613186 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
Current children cumulated CPU time: 108.45 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 245764 KiB

[startup+162.301 s]
/proc/loadavg: 1.93 1.91 1.88 3/211 30540
/proc/meminfo: memFree=31107868/32770624 swapFree=67108860/67108860
[pid=30520] ppid=30517 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30520/stat : 30520 (xcsp3-exec) S 30517 30520 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64140922 9740288 345 18446744073709551615 4194304 5098028 140726404566768 140726404564872 140551330230908 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 30732288 140726404575615 140726404575818 140726404575818 140726404579307 0
/proc/30520/statm: 2378 345 289 221 0 87 0
[pid=30522] ppid=30520 vsize=13980732 memory=235212 CPUtime=168.63 cores=0,2,4,6
/proc/30522/stat : 30522 (java) S 30520 30520 17093 0 -1 1077944320 62193 0 0 0 16844 19 0 0 20 0 15 0 64140932 14316269568 58803 18446744073709551615 4194304 4196468 140724332583488 140724332566032 140634837602039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
/proc/30522/statm: 3495183 58803 3233 1 0 3483476 0
[pid=30522/tid=30523] ppid=30520 vsize=13980732 memory=235212 CPUtime=161.99 cores=0,2,4,6
/proc/30522/task/30523/stat : 30523 (java) R 30520 30520 17093 0 -1 4202560 13655 0 0 0 16193 6 0 0 20 0 15 0 64140932 14316269568 58803 18446744073709551615 4194304 4196468 140724332583488 140634841840640 140634427054311 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30524] ppid=30520 vsize=13980732 memory=235212 CPUtime=0.05 cores=0,2,4,6
/proc/30522/task/30524/stat : 30524 (java) S 30520 30520 17093 0 -1 1077944384 1762 0 0 0 4 1 0 0 20 0 15 0 64140933 14316269568 58803 18446744073709551615 4194304 4196468 140724332583488 140634757016464 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30525] ppid=30520 vsize=13980732 memory=1380 CPUtime=0.05 cores=0,2,4,6
/proc/30522/task/30525/stat : 30525 (java) S 30520 30520 17093 0 -1 1077944384 971 0 0 0 4 1 0 0 20 0 15 0 64140933 14316269568 58803 18446744073709551615 4194304 4196468 140724332583488 140634755963664 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30526] ppid=30520 vsize=13980732 memory=1380 CPUtime=0.05 cores=0,2,4,6
/proc/30522/task/30526/stat : 30526 (java) S 30520 30520 17093 0 -1 1077944384 1270 0 0 0 4 1 0 0 20 0 15 0 64140933 14316269568 58803 18446744073709551615 4194304 4196468 140724332583488 140634754911376 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30527] ppid=30520 vsize=13980732 memory=243420 CPUtime=0.05 cores=0,2,4,6
/proc/30522/task/30527/stat : 30527 (java) S 30520 30520 17093 0 -1 1077944384 771 0 0 0 4 1 0 0 20 0 15 0 64140933 14316269568 58803 18446744073709551615 4194304 4196468 140724332583488 140634753858576 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30528] ppid=30520 vsize=13980732 memory=243376 CPUtime=0.02 cores=0,2,4,6
/proc/30522/task/30528/stat : 30528 (java) S 30520 30520 17093 0 -1 1077944384 1143 0 0 0 2 0 0 0 20 0 15 0 64140934 14316269568 58803 18446744073709551615 4194304 4196468 140724332583488 140634315286640 140634837613186 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30529] ppid=30520 vsize=13980732 memory=235212 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30529/stat : 30529 (java) S 30520 30520 17093 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 64140934 14316269568 58803 18446744073709551615 4194304 4196468 140724332583488 140634314232608 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30530] ppid=30520 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30530/stat : 30530 (java) S 30520 30520 17093 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 64140935 14316269568 58803 18446744073709551615 4194304 4196468 140724332583488 140634313180272 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30531] ppid=30520 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30531/stat : 30531 (java) S 30520 30520 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64140937 14316269568 58803 18446744073709551615 4194304 4196468 140724332583488 140634312128592 140634837620635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30532] ppid=30520 vsize=13980732 memory=235212 CPUtime=2.67 cores=0,2,4,6
/proc/30522/task/30532/stat : 30532 (java) S 30520 30520 17093 0 -1 1077944384 13815 0 0 0 266 1 0 0 20 0 15 0 64140937 14316269568 58803 18446744073709551615 4194304 4196468 140724332583488 140634311076464 140634837613186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30533] ppid=30520 vsize=13980732 memory=1380 CPUtime=2.91 cores=0,2,4,6
/proc/30522/task/30533/stat : 30533 (java) S 30520 30520 17093 0 -1 1077944384 19262 0 0 0 289 2 0 0 20 0 15 0 64140937 14316269568 58803 18446744073709551615 4194304 4196468 140724332583488 140634310023664 140634837613186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30534] ppid=30520 vsize=13980732 memory=241880 CPUtime=0.71 cores=0,2,4,6
/proc/30522/task/30534/stat : 30534 (java) S 30520 30520 17093 0 -1 1077944384 7705 0 0 0 70 1 0 0 20 0 15 0 64140937 14316269568 58803 18446744073709551615 4194304 4196468 140724332583488 140634308971376 140634837613186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30535] ppid=30520 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30535/stat : 30535 (java) S 30520 30520 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64140937 14316269568 58803 18446744073709551615 4194304 4196468 140724332583488 140634307918816 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30536] ppid=30520 vsize=13980732 memory=235212 CPUtime=0.04 cores=0,2,4,6
/proc/30522/task/30536/stat : 30536 (java) S 30520 30520 17093 0 -1 1077944384 492 0 0 0 2 2 0 0 20 0 15 0 64140941 14316269568 58803 18446744073709551615 4194304 4196468 140724332583488 140634306865584 140634837613186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
Current children cumulated CPU time: 168.63 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 236592 KiB

[startup+222.301 s]
/proc/loadavg: 1.79 1.87 1.87 3/211 30623
/proc/meminfo: memFree=31186480/32770624 swapFree=67108860/67108860
[pid=30520] ppid=30517 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30520/stat : 30520 (xcsp3-exec) S 30517 30520 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64140922 9740288 345 18446744073709551615 4194304 5098028 140726404566768 140726404564872 140551330230908 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 30732288 140726404575615 140726404575818 140726404575818 140726404579307 0
/proc/30520/statm: 2378 345 289 221 0 87 0
[pid=30522] ppid=30520 vsize=13980732 memory=209596 CPUtime=228.71 cores=0,2,4,6
/proc/30522/stat : 30522 (java) S 30520 30520 17093 0 -1 1077944320 65157 0 0 0 22851 20 0 0 20 0 15 0 64140932 14316269568 52399 18446744073709551615 4194304 4196468 140724332583488 140724332566032 140634837602039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
/proc/30522/statm: 3495183 52399 3233 1 0 3483476 0
[pid=30522/tid=30523] ppid=30520 vsize=13980732 memory=209596 CPUtime=221.97 cores=0,2,4,6
/proc/30522/task/30523/stat : 30523 (java) R 30520 30520 17093 0 -1 4202560 14342 0 0 0 22191 6 0 0 20 0 15 0 64140932 14316269568 52399 18446744073709551615 4194304 4196468 140724332583488 140634841841472 140634433774198 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30524] ppid=30520 vsize=13980732 memory=1380 CPUtime=0.06 cores=0,2,4,6
/proc/30522/task/30524/stat : 30524 (java) S 30520 30520 17093 0 -1 1077944384 2170 0 0 0 5 1 0 0 20 0 15 0 64140933 14316269568 52399 18446744073709551615 4194304 4196468 140724332583488 140634757016464 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30525] ppid=30520 vsize=13980732 memory=4048 CPUtime=0.05 cores=0,2,4,6
/proc/30522/task/30525/stat : 30525 (java) S 30520 30520 17093 0 -1 1077944384 995 0 0 0 4 1 0 0 20 0 15 0 64140933 14316269568 52399 18446744073709551615 4194304 4196468 140724332583488 140634755963664 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30526] ppid=30520 vsize=13980732 memory=209596 CPUtime=0.06 cores=0,2,4,6
/proc/30522/task/30526/stat : 30526 (java) S 30520 30520 17093 0 -1 1077944384 1284 0 0 0 5 1 0 0 20 0 15 0 64140933 14316269568 52399 18446744073709551615 4194304 4196468 140724332583488 140634754911376 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30527] ppid=30520 vsize=13980732 memory=10960 CPUtime=0.06 cores=0,2,4,6
/proc/30522/task/30527/stat : 30527 (java) S 30520 30520 17093 0 -1 1077944384 794 0 0 0 5 1 0 0 20 0 15 0 64140933 14316269568 52399 18446744073709551615 4194304 4196468 140724332583488 140634753858576 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30528] ppid=30520 vsize=13980732 memory=1380 CPUtime=0.03 cores=0,2,4,6
/proc/30522/task/30528/stat : 30528 (java) S 30520 30520 17093 0 -1 1077944384 1355 0 0 0 3 0 0 0 20 0 15 0 64140934 14316269568 52399 18446744073709551615 4194304 4196468 140724332583488 140634315286640 140634837613186 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30529] ppid=30520 vsize=13980732 memory=36268 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30529/stat : 30529 (java) S 30520 30520 17093 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 64140934 14316269568 52399 18446744073709551615 4194304 4196468 140724332583488 140634314232608 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30530] ppid=30520 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30530/stat : 30530 (java) S 30520 30520 17093 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 64140935 14316269568 52399 18446744073709551615 4194304 4196468 140724332583488 140634313180272 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30531] ppid=30520 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30531/stat : 30531 (java) S 30520 30520 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64140937 14316269568 52399 18446744073709551615 4194304 4196468 140724332583488 140634312128592 140634837620635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30532] ppid=30520 vsize=13980732 memory=4028 CPUtime=2.7 cores=0,2,4,6
/proc/30522/task/30532/stat : 30532 (java) S 30520 30520 17093 0 -1 1077944384 15156 0 0 0 269 1 0 0 20 0 15 0 64140937 14316269568 52399 18446744073709551615 4194304 4196468 140724332583488 140634311076464 140634837613186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30533] ppid=30520 vsize=13980732 memory=288230574492221466 CPUtime=2.92 cores=0,2,4,6
/proc/30522/task/30533/stat : 30533 (java) S 30520 30520 17093 0 -1 1077944384 19448 0 0 0 290 2 0 0 20 0 15 0 64140937 14316269568 52399 18446744073709551615 4194304 4196468 140724332583488 140634310023664 140634837613186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30534] ppid=30520 vsize=13980732 memory=288230621803970871 CPUtime=0.72 cores=0,2,4,6
/proc/30522/task/30534/stat : 30534 (java) S 30520 30520 17093 0 -1 1077944384 7743 0 0 0 71 1 0 0 20 0 15 0 64140937 14316269568 52399 18446744073709551615 4194304 4196468 140724332583488 140634308971376 140634837613186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30535] ppid=30520 vsize=13980732 memory=13563795322702378 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30535/stat : 30535 (java) S 30520 30520 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64140937 14316269568 52399 18446744073709551615 4194304 4196468 140724332583488 140634307918816 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30536] ppid=30520 vsize=13980732 memory=209596 CPUtime=0.07 cores=0,2,4,6
/proc/30522/task/30536/stat : 30536 (java) S 30520 30520 17093 0 -1 1077944384 523 0 0 0 3 4 0 0 20 0 15 0 64140941 14316269568 52399 18446744073709551615 4194304 4196468 140724332583488 140634306865584 140634837613186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
Current children cumulated CPU time: 228.71 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 210976 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.79 1.87 1.87 3/211 30704
/proc/meminfo: memFree=31260320/32770624 swapFree=67108860/67108860
[pid=30520] ppid=30517 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/30520/stat : 30520 (xcsp3-exec) S 30517 30520 17093 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 64140922 9740288 345 18446744073709551615 4194304 5098028 140726404566768 140726404564872 140551330230908 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 8 0 0 7196144 7232144 30732288 140726404575615 140726404575818 140726404575818 140726404579307 0
/proc/30520/statm: 2378 345 289 221 0 87 0
[pid=30522] ppid=30520 vsize=13980732 memory=200876 CPUtime=246.43 cores=0,2,4,6
/proc/30522/stat : 30522 (java) S 30520 30520 17093 0 -1 1077944320 65164 0 0 0 24623 20 0 0 20 0 15 0 64140932 14316269568 50219 18446744073709551615 4194304 4196468 140724332583488 140724332566032 140634837602039 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
/proc/30522/statm: 3495183 50219 3233 1 0 3483476 0
[pid=30522/tid=30523] ppid=30520 vsize=13980732 memory=-8774313645642428999 CPUtime=239.67 cores=0,2,4,6
/proc/30522/task/30523/stat : 30523 (java) R 30520 30520 17093 0 -1 4202560 14345 0 0 0 23961 6 0 0 20 0 15 0 64140932 14316269568 50219 18446744073709551615 4194304 4196468 140724332583488 140634841841456 140634431765904 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30524] ppid=30520 vsize=13980732 memory=1788 CPUtime=0.06 cores=0,2,4,6
/proc/30522/task/30524/stat : 30524 (java) S 30520 30520 17093 0 -1 1077944384 2172 0 0 0 5 1 0 0 20 0 15 0 64140933 14316269568 50219 18446744073709551615 4194304 4196468 140724332583488 140634757016464 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30525] ppid=30520 vsize=13980732 memory=640 CPUtime=0.06 cores=0,2,4,6
/proc/30522/task/30525/stat : 30525 (java) S 30520 30520 17093 0 -1 1077944384 996 0 0 0 5 1 0 0 20 0 15 0 64140933 14316269568 50219 18446744073709551615 4194304 4196468 140724332583488 140634755963664 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30526] ppid=30520 vsize=13980732 memory=960 CPUtime=0.06 cores=0,2,4,6
/proc/30522/task/30526/stat : 30526 (java) S 30520 30520 17093 0 -1 1077944384 1284 0 0 0 5 1 0 0 20 0 15 0 64140933 14316269568 50219 18446744073709551615 4194304 4196468 140724332583488 140634754911376 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30527] ppid=30520 vsize=13980732 memory=1232 CPUtime=0.06 cores=0,2,4,6
/proc/30522/task/30527/stat : 30527 (java) S 30520 30520 17093 0 -1 1077944384 795 0 0 0 5 1 0 0 20 0 15 0 64140933 14316269568 50219 18446744073709551615 4194304 4196468 140724332583488 140634753858576 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30528] ppid=30520 vsize=13980732 memory=200876 CPUtime=0.03 cores=0,2,4,6
/proc/30522/task/30528/stat : 30528 (java) S 30520 30520 17093 0 -1 1077944384 1355 0 0 0 3 0 0 0 20 0 15 0 64140934 14316269568 50219 18446744073709551615 4194304 4196468 140724332583488 140634315286640 140634837613186 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30529] ppid=30520 vsize=13980732 memory=4068 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30529/stat : 30529 (java) S 30520 30520 17093 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 64140934 14316269568 50219 18446744073709551615 4194304 4196468 140724332583488 140634314232608 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30530] ppid=30520 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30530/stat : 30530 (java) S 30520 30520 17093 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 64140935 14316269568 50219 18446744073709551615 4194304 4196468 140724332583488 140634313180272 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30531] ppid=30520 vsize=13980732 memory=576574510189602056 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30531/stat : 30531 (java) S 30520 30520 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64140937 14316269568 50219 18446744073709551615 4194304 4196468 140724332583488 140634312128592 140634837620635 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30532] ppid=30520 vsize=13980732 memory=1380 CPUtime=2.7 cores=0,2,4,6
/proc/30522/task/30532/stat : 30532 (java) S 30520 30520 17093 0 -1 1077944384 15156 0 0 0 269 1 0 0 20 0 15 0 64140937 14316269568 50219 18446744073709551615 4194304 4196468 140724332583488 140634311076464 140634837613186 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30533] ppid=30520 vsize=13980732 memory=200876 CPUtime=2.92 cores=0,2,4,6
/proc/30522/task/30533/stat : 30533 (java) S 30520 30520 17093 0 -1 1077944384 19448 0 0 0 290 2 0 0 20 0 15 0 64140937 14316269568 50219 18446744073709551615 4194304 4196468 140724332583488 140634310023664 140634837613186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 9 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30534] ppid=30520 vsize=13980732 memory=576574510189602056 CPUtime=0.72 cores=0,2,4,6
/proc/30522/task/30534/stat : 30534 (java) S 30520 30520 17093 0 -1 1077944384 7743 0 0 0 71 1 0 0 20 0 15 0 64140937 14316269568 50219 18446744073709551615 4194304 4196468 140724332583488 140634308971376 140634837613186 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30535] ppid=30520 vsize=13980732 memory=17123 CPUtime=0 cores=0,2,4,6
/proc/30522/task/30535/stat : 30535 (java) S 30520 30520 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64140937 14316269568 50219 18446744073709551615 4194304 4196468 140724332583488 140634307918816 140634837612245 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
[pid=30522/tid=30536] ppid=30520 vsize=13980732 memory=-9001732875523745895 CPUtime=0.07 cores=0,2,4,6
/proc/30522/task/30536/stat : 30536 (java) S 30520 30520 17093 0 -1 1077944384 523 0 0 0 3 4 0 0 20 0 15 0 64140941 14316269568 50219 18446744073709551615 4194304 4196468 140724332583488 140634306865584 140634837613186 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19828736 140724332589495 140724332589670 140724332589670 140724332593103 0
Current children cumulated CPU time: 246.43 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 202256 KiB

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

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

[startup+240.024 s]
# the end of solver process 30522 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=246.249 s, system=0.215135 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): 240.024
CPU time (s): 246.464
CPU user time (s): 246.249
CPU system time (s): 0.215135
CPU usage (%): 102.683
Max. virtual memory (cumulated for all children) (KiB): 13992316
Max. memory (cumulated for all children) (KiB): 245764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.249
system time used= 0.215135
maximum resident set size= 244788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65986
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= 8656
involuntary context switches= 233


# summary of solver processes directly reported to runsolver:
#   pid: 30520,30522
#   total CPU time (s): 246.464
#   total CPU user time (s): 246.249
#   total CPU system time (s): 0.215135

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.24625 second user time and 2.39498 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml
MD5SUM	a21a0b86f7fa853bf556b3925b3cd061
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	338
Best CPU time to get the best result obtained on this benchmark	251.815
Satisfiable
(Un)Satisfiability was proved
Number of variables	1597
Number of constraints	944
Number of domains	4
Minimum domain size	2
Maximum domain size	1569
Distribution of domain sizes	[{"size":2,"count":784},{"size":3,"count":784},{"size":677,"count":1},{"size":1569,"count":28}]
Minimum variable degree	1
Maximum variable degree	29
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":781},{"degree":3,"count":31},{"degree":4,"count":104},{"degree":8,"count":100},{"degree":9,"count":576},{"degree":29,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	30
Distribution of constraint arities	[{"arity":2,"count":132},{"arity":3,"count":104},{"arity":10,"count":676},{"arity":28,"count":4},{"arity":29,"count":1},{"arity":30,"count":27}]
Number of extensional constraints	780
Number of intensional constraints	131
Distribution of constraint types	[{"type":"extension","count":780},{"type":"intension","count":131},{"type":"sum","count":29},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4270321

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