2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 5a (2017-07-26)	SAT (TO)	231	2520.03	2446.71

0.00/0.06	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272270-1502689794.xml"  -tl '2520s' -p 1 -x 3
0.17/0.23	c [HOME/instance-4272270-1502689794.xml, -tl, 2520s, -p, 1, -x, 3]
0.17/0.29	c simple solver
0.36/0.36	c parse instance...
1.99/1.01	c solve instance...
8.12/3.03	o 202 
14.92/6.29	o 219 
57.17/46.57	o 230 
57.32/46.69	o 231 
2520.01/2446.70	s SATISFIABLE
2520.01/2446.70	v <instantiation>
2520.01/2446.70	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z </list>
2520.01/2446.70	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 1 1 0 1 0 0 0 1 1 0 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 1 0 1 0 1 1 1 1 1 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 1 1 0 1 0 1 1 1 1 1 0 0 1 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 1 1 0 1 0 0 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 0 0 1 0 1 1 1 1 1 0 1 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 1 0 1 1 1 1 0 0 1 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 1 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 1 1 1 1 0 1 1 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 0 1 1 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 1 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 1 1 2 1 0 1 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 2 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 0 0 1 0 1 1 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 1 1 0 0 1 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 1 1 0 1 0 0 0 0 0 0 1 0 0 1 2 0 0 0 0 0 1 0 1 0 0 2 2 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 2 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 1 1 1 1 2 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 0 1 2 1 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 2 2 1 1 2 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 1 1 2 2 2 2 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 2 2 1 1 2 2 2 1 0 0 0 1 0 0 1 1 2 1 0 1 0 0 0 0 0 2 1 1 1 1 2 2 0 1 0 0 0 0 0 0 1 0 2 2 1 1 0 1 0 0 1 0 0 0 0 1 2 1 1 0 0 0 1 1 0 0 0 1 0 1 2 0 1 0 1 0 0 1 0 1 0 1 1 2 0 1 0 0 0 0 0 0 0 0 0 1 0 2 1 2 0 0 0 0 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1 2 1 1 0 0 0 0 2 1 0 0 0 0 1 0 2 0 1 0 2 1 0 0 1 0 2 2 1 1 0 0 0 1 0 1 1 0 0 1 0 1 1 2 1 2 2 0 1 0 0 1 2 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 2 2 2 2 1 0 0 1 0 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 2 2 2 1 0 1 0 1 0 1 2 1 1 2 0 1 1 0 1 0 0 0 1 0 0 1 1 1 1 1 0 0 1 0 0 1 1 1 1 1 1 0 0 1 0 12 22 31 40 50 63 70 71 79 91 101 110 117 126 142 161 181 196 211 225 240 256 274 289 310 324 231 </values>
2520.01/2446.70	v </instantiation>
2520.01/2446.70	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 (15256 MiB free)
  memory of node 1: 16384 MiB (14250 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100091 s]*
/proc/loadavg: 1.89 1.72 1.63 3/207 4159
/proc/meminfo: memFree=30204536/32770624 swapFree=67108860/67108860
[pid=4149] ppid=4146 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/4149/stat : 4149 (xcsp3-exec) S 4146 4149 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 22862015 9740288 344 18446744073709551615 4194304 5098028 140721081195632 140721081193736 140361272885884 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21520384 140721081201017 140721081201222 140721081201222 140721081204715 0
/proc/4149/statm: 2378 344 289 221 0 87 0
[pid=4151] ppid=4149 vsize=13574484 memory=19364 CPUtime=0.04 cores=0,2,4,6
/proc/4151/stat : 4151 (java) S 4149 4149 7968 0 -1 1077944320 4218 0 0 0 3 1 0 0 20 0 9 0 22862021 13900271616 4841 18446744073709551615 4194304 4196468 140733018915328 140733018897872 140289312009975 0 0 1 16800970 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
/proc/4151/statm: 3393621 4841 2104 1 0 3383118 0
[pid=4151/tid=4152] ppid=4149 vsize=13574484 memory=8508281356421925536 CPUtime=0.03 cores=0,2,4,6
/proc/4151/task/4152/stat : 4152 (java) R 4149 4149 7968 0 -1 4202560 2930 0 0 0 3 0 0 0 20 0 9 0 22862021 13900271616 4906 18446744073709551615 4194304 4196468 140733018915328 140289316245368 140289297692467 0 4 1 16800970 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4153] ppid=4149 vsize=13574484 memory=3691042058319900680 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4153/stat : 4153 (java) S 4149 4149 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 22862022 13900271616 4906 18446744073709551615 4194304 4196468 140733018915328 140288911927568 140289312020181 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4154] ppid=4149 vsize=13574484 memory=140648268048000 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4154/stat : 4154 (java) S 4149 4149 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 22862022 13900271616 4906 18446744073709551615 4194304 4196468 140733018915328 140288910875024 140289312020181 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4155] ppid=4149 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4155/stat : 4155 (java) S 4149 4149 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 22862022 13900271616 4906 18446744073709551615 4194304 4196468 140733018915328 140288909822480 140289312020181 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4156] ppid=4149 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4156/stat : 4156 (java) S 4149 4149 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 22862022 13900271616 4906 18446744073709551615 4194304 4196468 140733018915328 140288908769936 140289312020181 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4157] ppid=4149 vsize=13574484 memory=140648268048000 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4157/stat : 4157 (java) S 4149 4149 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 22862023 13900271616 4906 18446744073709551615 4194304 4196468 140733018915328 140288790063600 140289312021122 0 0 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4158] ppid=4149 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4158/stat : 4158 (java) S 4149 4149 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 22862024 13900271616 4906 18446744073709551615 4194304 4196468 140733018915328 140288789009824 140289312020181 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4159] ppid=4149 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4159/stat : 4159 (java) S 4149 4149 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 22862024 13900271616 4906 18446744073709551615 4194304 4196468 140733018915328 140288787957232 140289312020181 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20740 KiB

[startup+0.211236 s]*
/proc/loadavg: 1.89 1.72 1.63 6/213 4165
/proc/meminfo: memFree=30197616/32770624 swapFree=67108860/67108860
[pid=4149] ppid=4146 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/4149/stat : 4149 (xcsp3-exec) S 4146 4149 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 22862015 9740288 344 18446744073709551615 4194304 5098028 140721081195632 140721081193736 140361272885884 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21520384 140721081201017 140721081201222 140721081201222 140721081204715 0
/proc/4149/statm: 2378 344 289 221 0 87 0
[pid=4151] ppid=4149 vsize=13974352 memory=31192 CPUtime=0.17 cores=0,2,4,6
/proc/4151/stat : 4151 (java) S 4149 4149 7968 0 -1 1077944320 6229 0 0 0 16 1 0 0 20 0 15 0 22862021 14309736448 7798 18446744073709551615 4194304 4196468 140733018915328 140733018897872 140289312009975 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
/proc/4151/statm: 3493588 7798 2963 1 0 3482964 0
[pid=4151/tid=4152] ppid=4149 vsize=13974352 memory=7022364594140610616 CPUtime=0.11 cores=0,2,4,6
/proc/4151/task/4152/stat : 4152 (java) R 4149 4149 7968 0 -1 4202560 3519 0 0 0 10 1 0 0 20 0 15 0 22862021 14309736448 7798 18446744073709551615 4194304 4196468 140733018915328 140289316238088 140289296053605 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4153] ppid=4149 vsize=13974352 memory=4294978898 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4153/stat : 4153 (java) S 4149 4149 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22862022 14309736448 7798 18446744073709551615 4194304 4196468 140733018915328 140288911927568 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4154] ppid=4149 vsize=13974352 memory=140648268294950 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4154/stat : 4154 (java) S 4149 4149 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22862022 14309736448 7798 18446744073709551615 4194304 4196468 140733018915328 140288910875024 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4155] ppid=4149 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4155/stat : 4155 (java) S 4149 4149 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22862022 14309736448 7798 18446744073709551615 4194304 4196468 140733018915328 140288909822480 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4156] ppid=4149 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4156/stat : 4156 (java) S 4149 4149 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 22862022 14309736448 7798 18446744073709551615 4194304 4196468 140733018915328 140288908769936 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4157] ppid=4149 vsize=13974352 memory=140648268048000 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4157/stat : 4157 (java) S 4149 4149 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 22862023 14309736448 7798 18446744073709551615 4194304 4196468 140733018915328 140288790063600 140289312021122 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4158] ppid=4149 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4158/stat : 4158 (java) S 4149 4149 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 22862024 14309736448 7798 18446744073709551615 4194304 4196468 140733018915328 140288789009824 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4159] ppid=4149 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4159/stat : 4159 (java) S 4149 4149 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 22862024 14309736448 7798 18446744073709551615 4194304 4196468 140733018915328 140288787957232 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4160] ppid=4149 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4160/stat : 4160 (java) S 4149 4149 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22862027 14309736448 7798 18446744073709551615 4194304 4196468 140733018915328 140288786905808 140289312028571 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4161] ppid=4149 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4161/stat : 4161 (java) R 4149 4149 7968 0 -1 4202560 490 0 0 0 0 0 0 0 20 0 15 0 22862027 14309736448 7798 18446744073709551615 4194304 4196468 140733018915328 140288785832664 140289297135381 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4162] ppid=4149 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4162/stat : 4162 (java) S 4149 4149 7968 0 -1 1077944384 244 0 0 0 0 0 0 0 20 0 15 0 22862027 14309736448 7798 18446744073709551615 4194304 4196468 140733018915328 140288784799856 140289312021122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4163] ppid=4149 vsize=13974352 memory=140648268048000 CPUtime=0.03 cores=0,2,4,6
/proc/4151/task/4163/stat : 4163 (java) R 4149 4149 7968 0 -1 4202560 678 0 0 0 3 0 0 0 20 0 15 0 22862027 14309736448 7798 18446744073709551615 4194304 4196468 140733018915328 140288783744120 140289312021910 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4164] ppid=4149 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4164/stat : 4164 (java) S 4149 4149 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22862027 14309736448 7798 18446744073709551615 4194304 4196468 140733018915328 140288782695008 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4165] ppid=4149 vsize=13974352 memory=140648268048000 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4165/stat : 4165 (java) S 4149 4149 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22862030 14309736448 7798 18446744073709551615 4194304 4196468 140733018915328 140288781642544 140289312021122 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32568 KiB

[startup+0.310598 s]*
/proc/loadavg: 1.89 1.72 1.63 3/213 4165
/proc/meminfo: memFree=30185112/32770624 swapFree=67108860/67108860
[pid=4149] ppid=4146 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/4149/stat : 4149 (xcsp3-exec) S 4146 4149 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 22862015 9740288 344 18446744073709551615 4194304 5098028 140721081195632 140721081193736 140361272885884 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21520384 140721081201017 140721081201222 140721081201222 140721081204715 0
/proc/4149/statm: 2378 344 289 221 0 87 0
[pid=4151] ppid=4149 vsize=13978608 memory=40476 CPUtime=0.36 cores=0,2,4,6
/proc/4151/stat : 4151 (java) S 4149 4149 7968 0 -1 1077944320 9332 0 0 0 33 3 0 0 20 0 15 0 22862021 14314094592 10119 18446744073709551615 4194304 4196468 140733018915328 140733018897872 140289312009975 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
/proc/4151/statm: 3494652 10119 3044 1 0 3482964 0
[pid=4151/tid=4152] ppid=4149 vsize=13978608 memory=4278483708103473607 CPUtime=0.21 cores=0,2,4,6
/proc/4151/task/4152/stat : 4152 (java) R 4149 4149 7968 0 -1 4202560 6443 0 0 0 19 2 0 0 20 0 15 0 22862021 14314094592 10119 18446744073709551615 4194304 4196468 140733018915328 140289316232000 140289296090462 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4153] ppid=4149 vsize=13978608 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4153/stat : 4153 (java) S 4149 4149 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22862022 14314094592 10119 18446744073709551615 4194304 4196468 140733018915328 140288911927568 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4154] ppid=4149 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4154/stat : 4154 (java) S 4149 4149 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22862022 14314094592 10119 18446744073709551615 4194304 4196468 140733018915328 140288910875024 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4155] ppid=4149 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4155/stat : 4155 (java) S 4149 4149 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22862022 14314094592 10119 18446744073709551615 4194304 4196468 140733018915328 140288909822480 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4156] ppid=4149 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4156/stat : 4156 (java) S 4149 4149 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 22862022 14314094592 10119 18446744073709551615 4194304 4196468 140733018915328 140288908769936 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4157] ppid=4149 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4157/stat : 4157 (java) S 4149 4149 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 22862023 14314094592 10119 18446744073709551615 4194304 4196468 140733018915328 140288790063600 140289312021122 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4158] ppid=4149 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4158/stat : 4158 (java) S 4149 4149 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 22862024 14314094592 10119 18446744073709551615 4194304 4196468 140733018915328 140288789009824 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4159] ppid=4149 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4159/stat : 4159 (java) S 4149 4149 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 22862024 14314094592 10119 18446744073709551615 4194304 4196468 140733018915328 140288787957232 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4160] ppid=4149 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4160/stat : 4160 (java) S 4149 4149 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22862027 14314094592 10119 18446744073709551615 4194304 4196468 140733018915328 140288786905808 140289312028571 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4161] ppid=4149 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4151/task/4161/stat : 4161 (java) S 4149 4149 7968 0 -1 1077944384 510 0 0 0 2 0 0 0 20 0 15 0 22862027 14314094592 10119 18446744073709551615 4194304 4196468 140733018915328 140288785852400 140289312021122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4162] ppid=4149 vsize=13978608 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4151/task/4162/stat : 4162 (java) S 4149 4149 7968 0 -1 1077944384 345 0 0 0 2 0 0 0 20 0 15 0 22862027 14314094592 10119 18446744073709551615 4194304 4196468 140733018915328 140288784799856 140289312021122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4163] ppid=4149 vsize=13978608 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4151/task/4163/stat : 4163 (java) S 4149 4149 7968 0 -1 1077944384 734 0 0 0 8 0 0 0 20 0 15 0 22862027 14314094592 10119 18446744073709551615 4194304 4196468 140733018915328 140288783747312 140289312021122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4164] ppid=4149 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4164/stat : 4164 (java) S 4149 4149 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22862027 14314094592 10119 18446744073709551615 4194304 4196468 140733018915328 140288782695008 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4165] ppid=4149 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4165/stat : 4165 (java) S 4149 4149 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22862030 14314094592 10119 18446744073709551615 4194304 4196468 140733018915328 140288781642544 140289312021122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41852 KiB

[startup+0.701292 s]
/proc/loadavg: 1.89 1.72 1.63 4/213 4165
/proc/meminfo: memFree=30173344/32770624 swapFree=67108860/67108860
[pid=4149] ppid=4146 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/4149/stat : 4149 (xcsp3-exec) S 4146 4149 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 22862015 9740288 344 18446744073709551615 4194304 5098028 140721081195632 140721081193736 140361272885884 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21520384 140721081201017 140721081201222 140721081201222 140721081204715 0
/proc/4149/statm: 2378 344 289 221 0 87 0
[pid=4151] ppid=4149 vsize=13980732 memory=72540 CPUtime=1.43 cores=0,2,4,6
/proc/4151/stat : 4151 (java) S 4149 4149 7968 0 -1 1077944320 13386 0 0 0 138 5 0 0 20 0 15 0 22862021 14316269568 18135 18446744073709551615 4194304 4196468 140733018915328 140733018897872 140289312009975 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
/proc/4151/statm: 3495183 18135 3173 1 0 3483476 0
[pid=4151/tid=4152] ppid=4149 vsize=13980732 memory=281296332914928 CPUtime=0.59 cores=0,2,4,6
/proc/4151/task/4152/stat : 4152 (java) R 4149 4149 7968 0 -1 4202560 8054 0 0 0 56 3 0 0 20 0 15 0 22862021 14316269568 18135 18446744073709551615 4194304 4196468 140733018915328 140289316244144 140288953408992 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4153] ppid=4149 vsize=13980732 memory=281296332914928 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4153/stat : 4153 (java) S 4149 4149 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22862022 14316269568 18135 18446744073709551615 4194304 4196468 140733018915328 140288911927568 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4154] ppid=4149 vsize=13980732 memory=281296332914928 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4154/stat : 4154 (java) S 4149 4149 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22862022 14316269568 18135 18446744073709551615 4194304 4196468 140733018915328 140288910875024 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4155] ppid=4149 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4155/stat : 4155 (java) S 4149 4149 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22862022 14316269568 18135 18446744073709551615 4194304 4196468 140733018915328 140288909822480 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4156] ppid=4149 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4156/stat : 4156 (java) S 4149 4149 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 22862022 14316269568 18135 18446744073709551615 4194304 4196468 140733018915328 140288908769936 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4157] ppid=4149 vsize=13980732 memory=2 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4157/stat : 4157 (java) S 4149 4149 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 22862023 14316269568 18135 18446744073709551615 4194304 4196468 140733018915328 140288790063600 140289312021122 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4158] ppid=4149 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4158/stat : 4158 (java) S 4149 4149 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 22862024 14316269568 18135 18446744073709551615 4194304 4196468 140733018915328 140288789009824 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4159] ppid=4149 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4159/stat : 4159 (java) S 4149 4149 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 22862024 14316269568 18135 18446744073709551615 4194304 4196468 140733018915328 140288787957232 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4160] ppid=4149 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4160/stat : 4160 (java) S 4149 4149 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22862027 14316269568 18135 18446744073709551615 4194304 4196468 140733018915328 140288786905808 140289312028571 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4161] ppid=4149 vsize=13980732 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/4151/task/4161/stat : 4161 (java) R 4149 4149 7968 0 -1 4202560 1254 0 0 0 23 0 0 0 20 0 15 0 22862027 14316269568 18135 18446744073709551615 4194304 4196468 140733018915328 140288785833504 140289312023824 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4162] ppid=4149 vsize=13980732 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/4151/task/4162/stat : 4162 (java) R 4149 4149 7968 0 -1 4202560 1165 0 0 0 24 0 0 0 20 0 15 0 22862027 14316269568 18135 18446744073709551615 4194304 4196468 140733018915328 140288784785880 140289296933025 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4163] ppid=4149 vsize=13980732 memory=5 CPUtime=0.33 cores=0,2,4,6
/proc/4151/task/4163/stat : 4163 (java) R 4149 4149 7968 0 -1 4202560 1606 0 0 0 33 0 0 0 20 0 15 0 22862027 14316269568 18135 18446744073709551615 4194304 4196468 140733018915328 140288783741888 140289293595543 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4164] ppid=4149 vsize=13980732 memory=36 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4164/stat : 4164 (java) S 4149 4149 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22862027 14316269568 18135 18446744073709551615 4194304 4196468 140733018915328 140288782695008 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4165] ppid=4149 vsize=13980732 memory=2 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4165/stat : 4165 (java) S 4149 4149 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22862030 14316269568 18135 18446744073709551615 4194304 4196468 140733018915328 140288781642544 140289312021122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 73916 KiB

[startup+1.50128 s]
/proc/loadavg: 1.98 1.74 1.64 5/213 4165
/proc/meminfo: memFree=30135728/32770624 swapFree=67108860/67108860
[pid=4149] ppid=4146 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/4149/stat : 4149 (xcsp3-exec) S 4146 4149 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 22862015 9740288 344 18446744073709551615 4194304 5098028 140721081195632 140721081193736 140361272885884 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21520384 140721081201017 140721081201222 140721081201222 140721081204715 0
/proc/4149/statm: 2378 344 289 221 0 87 0
[pid=4151] ppid=4149 vsize=13980732 memory=123732 CPUtime=3.9 cores=0,2,4,6
/proc/4151/stat : 4151 (java) S 4149 4149 7968 0 -1 1077944320 26100 0 0 0 383 7 0 0 20 0 15 0 22862021 14316269568 30933 18446744073709551615 4194304 4196468 140733018915328 140733018897872 140289312009975 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
/proc/4151/statm: 3495183 30933 3198 1 0 3483476 0
[pid=4151/tid=4152] ppid=4149 vsize=13980732 memory=1376 CPUtime=1.39 cores=0,2,4,6
/proc/4151/task/4152/stat : 4152 (java) R 4149 4149 7968 0 -1 4202560 10518 0 0 0 135 4 0 0 20 0 15 0 22862021 14316269568 30933 18446744073709551615 4194304 4196468 140733018915328 140289316248552 140288955045356 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4153] ppid=4149 vsize=13980732 memory=106048 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4153/stat : 4153 (java) S 4149 4149 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22862022 14316269568 30933 18446744073709551615 4194304 4196468 140733018915328 140288911927568 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4154] ppid=4149 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4154/stat : 4154 (java) S 4149 4149 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22862022 14316269568 30933 18446744073709551615 4194304 4196468 140733018915328 140288910875024 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4155] ppid=4149 vsize=13980732 memory=-7175204567652784766 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4155/stat : 4155 (java) S 4149 4149 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22862022 14316269568 30933 18446744073709551615 4194304 4196468 140733018915328 140288909822480 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4156] ppid=4149 vsize=13980732 memory=7100839861465685612 CPUtime=0 cores=0,2,4,6

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

/proc/4151/task/4159/stat : 4159 (java) S 4149 4149 7968 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 22862024 14318366720 136613 18446744073709551615 4194304 4196468 140733018915328 140288787957248 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4160] ppid=4149 vsize=13982780 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4160/stat : 4160 (java) S 4149 4149 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22862027 14318366720 136613 18446744073709551615 4194304 4196468 140733018915328 140288786905808 140289312028571 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4161] ppid=4149 vsize=13982780 memory=561496 CPUtime=5.45 cores=0,2,4,6
/proc/4151/task/4161/stat : 4161 (java) S 4149 4149 7968 0 -1 1077944384 25417 0 0 0 542 3 0 0 20 0 15 0 22862027 14318366720 136613 18446744073709551615 4194304 4196468 140733018915328 140288785852400 140289312021122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4162] ppid=4149 vsize=13982780 memory=588184 CPUtime=5.13 cores=0,2,4,6
/proc/4151/task/4162/stat : 4162 (java) S 4149 4149 7968 0 -1 1077944384 22389 0 0 0 510 3 0 0 20 0 15 0 22862027 14318366720 136613 18446744073709551615 4194304 4196468 140733018915328 140288784799856 140289312021122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4163] ppid=4149 vsize=13982780 memory=1376 CPUtime=1.02 cores=0,2,4,6
/proc/4151/task/4163/stat : 4163 (java) S 4149 4149 7968 0 -1 1077944384 13173 0 0 0 100 2 0 0 20 0 15 0 22862027 14318366720 136613 18446744073709551615 4194304 4196468 140733018915328 140288783747312 140289312021122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4164] ppid=4149 vsize=13982780 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4164/stat : 4164 (java) S 4149 4149 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22862027 14318366720 136613 18446744073709551615 4194304 4196468 140733018915328 140288782695008 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4165] ppid=4149 vsize=13982780 memory=1732 CPUtime=1.32 cores=0,2,4,6
/proc/4151/task/4165/stat : 4165 (java) S 4149 4149 7968 0 -1 1077944384 1096 0 0 0 63 69 0 0 20 0 15 0 22862030 14318366720 136613 18446744073709551615 4194304 4196468 140733018915328 140288781642544 140289312021122 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
Current children cumulated CPU time: 2453.14 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 547828 KiB

[startup+2442.3 s]
/proc/loadavg: 1.48 1.73 1.73 3/213 4515
/proc/meminfo: memFree=30034948/32770624 swapFree=67108860/67108860
[pid=4149] ppid=4146 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/4149/stat : 4149 (xcsp3-exec) S 4146 4149 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 22862015 9740288 344 18446744073709551615 4194304 5098028 140721081195632 140721081193736 140361272885884 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21520384 140721081201017 140721081201222 140721081201222 140721081204715 0
/proc/4149/statm: 2378 344 289 221 0 87 0
[pid=4151] ppid=4149 vsize=13982780 memory=598464 CPUtime=2515.45 cores=0,2,4,6
/proc/4151/stat : 4151 (java) S 4149 4149 7968 0 -1 1077944320 282363 0 0 0 251118 427 0 0 20 0 15 0 22862021 14318366720 149616 18446744073709551615 4194304 4196468 140733018915328 140733018897872 140289312009975 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
/proc/4151/statm: 3495695 149616 3256 1 0 3483988 0
[pid=4151/tid=4152] ppid=4149 vsize=13982780 memory=1376 CPUtime=2419.72 cores=0,2,4,6
/proc/4151/task/4152/stat : 4152 (java) R 4149 4149 7968 0 -1 4202560 90235 0 0 0 241937 35 0 0 20 0 15 0 22862021 14318366720 149616 18446744073709551615 4194304 4196468 140733018915328 140289316249360 140288958848118 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4153] ppid=4149 vsize=13982780 memory=628720 CPUtime=20.36 cores=0,2,4,6
/proc/4151/task/4153/stat : 4153 (java) S 4149 4149 7968 0 -1 1077944384 16878 0 0 0 1960 76 0 0 20 0 15 0 22862022 14318366720 149616 18446744073709551615 4194304 4196468 140733018915328 140288911927568 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4154] ppid=4149 vsize=13982780 memory=619484 CPUtime=20.35 cores=0,2,4,6
/proc/4151/task/4154/stat : 4154 (java) S 4149 4149 7968 0 -1 1077944384 15006 0 0 0 1960 75 0 0 20 0 15 0 22862022 14318366720 149616 18446744073709551615 4194304 4196468 140733018915328 140288910875024 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4155] ppid=4149 vsize=13982780 memory=611792 CPUtime=20.37 cores=0,2,4,6
/proc/4151/task/4155/stat : 4155 (java) S 4149 4149 7968 0 -1 1077944384 14624 0 0 0 1961 76 0 0 20 0 15 0 22862022 14318366720 149616 18446744073709551615 4194304 4196468 140733018915328 140288909822480 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4156] ppid=4149 vsize=13982780 memory=608712 CPUtime=20.39 cores=0,2,4,6
/proc/4151/task/4156/stat : 4156 (java) S 4149 4149 7968 0 -1 1077944384 16518 0 0 0 1962 77 0 0 20 0 15 0 22862022 14318366720 149616 18446744073709551615 4194304 4196468 140733018915328 140288908769936 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4157] ppid=4149 vsize=13982780 memory=604620 CPUtime=1.22 cores=0,2,4,6
/proc/4151/task/4157/stat : 4157 (java) S 4149 4149 7968 0 -1 1077944384 65639 0 0 0 98 24 0 0 20 0 15 0 22862023 14318366720 149616 18446744073709551615 4194304 4196468 140733018915328 140288790063600 140289312021122 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4158] ppid=4149 vsize=13982780 memory=601544 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4158/stat : 4158 (java) S 4149 4149 7968 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 22862024 14318366720 149616 18446744073709551615 4194304 4196468 140733018915328 140288789009888 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4159] ppid=4149 vsize=13982780 memory=598464 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4159/stat : 4159 (java) S 4149 4149 7968 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 22862024 14318366720 149616 18446744073709551615 4194304 4196468 140733018915328 140288787957248 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4160] ppid=4149 vsize=13982780 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4160/stat : 4160 (java) S 4149 4149 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22862027 14318366720 149616 18446744073709551615 4194304 4196468 140733018915328 140288786905808 140289312028571 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4161] ppid=4149 vsize=13982780 memory=1376 CPUtime=5.45 cores=0,2,4,6
/proc/4151/task/4161/stat : 4161 (java) S 4149 4149 7968 0 -1 1077944384 25417 0 0 0 542 3 0 0 20 0 15 0 22862027 14318366720 149616 18446744073709551615 4194304 4196468 140733018915328 140288785852400 140289312021122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4162] ppid=4149 vsize=13982780 memory=598464 CPUtime=5.13 cores=0,2,4,6
/proc/4151/task/4162/stat : 4162 (java) S 4149 4149 7968 0 -1 1077944384 22390 0 0 0 510 3 0 0 20 0 15 0 22862027 14318366720 149616 18446744073709551615 4194304 4196468 140733018915328 140288784799856 140289312021122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4163] ppid=4149 vsize=13982780 memory=598464 CPUtime=1.02 cores=0,2,4,6
/proc/4151/task/4163/stat : 4163 (java) S 4149 4149 7968 0 -1 1077944384 13173 0 0 0 100 2 0 0 20 0 15 0 22862027 14318366720 149616 18446744073709551615 4194304 4196468 140733018915328 140288783747312 140289312021122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4164] ppid=4149 vsize=13982780 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4164/stat : 4164 (java) S 4149 4149 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22862027 14318366720 149616 18446744073709551615 4194304 4196468 140733018915328 140288782695008 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4165] ppid=4149 vsize=13982780 memory=1376 CPUtime=1.35 cores=0,2,4,6
/proc/4151/task/4165/stat : 4165 (java) S 4149 4149 7968 0 -1 1077944384 1100 0 0 0 65 70 0 0 20 0 15 0 22862030 14318366720 149616 18446744073709551615 4194304 4196468 140733018915328 140288781642544 140289312021122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
Current children cumulated CPU time: 2515.45 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 599840 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2446.7 s]
/proc/loadavg: 1.48 1.73 1.73 3/213 4515
/proc/meminfo: memFree=30036248/32770624 swapFree=67108860/67108860
[pid=4149] ppid=4146 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/4149/stat : 4149 (xcsp3-exec) S 4146 4149 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 22862015 9740288 344 18446744073709551615 4194304 5098028 140721081195632 140721081193736 140361272885884 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21520384 140721081201017 140721081201222 140721081201222 140721081204715 0
/proc/4149/statm: 2378 344 289 221 0 87 0
[pid=4151] ppid=4149 vsize=13982780 memory=614904 CPUtime=2520.01 cores=0,2,4,6
/proc/4151/stat : 4151 (java) S 4149 4149 7968 0 -1 1077944320 282554 0 0 0 251572 429 0 0 20 0 15 0 22862021 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140733018897872 140289312009975 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
/proc/4151/statm: 3495695 153726 3256 1 0 3483988 0
[pid=4151/tid=4152] ppid=4149 vsize=13982780 memory=606656 CPUtime=2424.06 cores=0,2,4,6
/proc/4151/task/4152/stat : 4152 (java) R 4149 4149 7968 0 -1 4202560 90238 0 0 0 242371 35 0 0 20 0 15 0 22862021 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140289316249600 140288956874467 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4153] ppid=4149 vsize=13982780 memory=606656 CPUtime=20.42 cores=0,2,4,6
/proc/4151/task/4153/stat : 4153 (java) S 4149 4149 7968 0 -1 1077944384 16920 0 0 0 1965 77 0 0 20 0 15 0 22862022 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140288911927568 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4154] ppid=4149 vsize=13982780 memory=1376 CPUtime=20.4 cores=0,2,4,6
/proc/4151/task/4154/stat : 4154 (java) S 4149 4149 7968 0 -1 1077944384 15046 0 0 0 1964 76 0 0 20 0 15 0 22862022 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140288910875024 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4155] ppid=4149 vsize=13982780 memory=608712 CPUtime=20.42 cores=0,2,4,6
/proc/4151/task/4155/stat : 4155 (java) S 4149 4149 7968 0 -1 1077944384 14664 0 0 0 1966 76 0 0 20 0 15 0 22862022 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140288909822480 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4156] ppid=4149 vsize=13982780 memory=601544 CPUtime=20.45 cores=0,2,4,6
/proc/4151/task/4156/stat : 4156 (java) S 4149 4149 7968 0 -1 1077944384 16557 0 0 0 1967 78 0 0 20 0 15 0 22862022 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140288908769936 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4157] ppid=4149 vsize=13982780 memory=606656 CPUtime=1.23 cores=0,2,4,6
/proc/4151/task/4157/stat : 4157 (java) S 4149 4149 7968 0 -1 1077944384 65666 0 0 0 99 24 0 0 20 0 15 0 22862023 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140288790063600 140289312021122 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4158] ppid=4149 vsize=13982780 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4158/stat : 4158 (java) S 4149 4149 7968 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 22862024 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140288789009888 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4159] ppid=4149 vsize=13982780 memory=614904 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4159/stat : 4159 (java) S 4149 4149 7968 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 22862024 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140288787957248 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4160] ppid=4149 vsize=13982780 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4160/stat : 4160 (java) S 4149 4149 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22862027 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140288786905808 140289312028571 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4161] ppid=4149 vsize=13982780 memory=1376 CPUtime=5.45 cores=0,2,4,6
/proc/4151/task/4161/stat : 4161 (java) S 4149 4149 7968 0 -1 1077944384 25417 0 0 0 542 3 0 0 20 0 15 0 22862027 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140288785852400 140289312021122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4162] ppid=4149 vsize=13982780 memory=628720 CPUtime=5.13 cores=0,2,4,6
/proc/4151/task/4162/stat : 4162 (java) S 4149 4149 7968 0 -1 1077944384 22390 0 0 0 510 3 0 0 20 0 15 0 22862027 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140288784799856 140289312021122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4163] ppid=4149 vsize=13982780 memory=-8486080722631693414 CPUtime=1.02 cores=0,2,4,6
/proc/4151/task/4163/stat : 4163 (java) S 4149 4149 7968 0 -1 1077944384 13173 0 0 0 100 2 0 0 20 0 15 0 22862027 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140288783747312 140289312021122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4164] ppid=4149 vsize=13982780 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4164/stat : 4164 (java) S 4149 4149 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22862027 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140288782695008 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4165] ppid=4149 vsize=13982780 memory=606656 CPUtime=1.35 cores=0,2,4,6
/proc/4151/task/4165/stat : 4165 (java) S 4149 4149 7968 0 -1 1077944384 1100 0 0 0 65 70 0 0 20 0 15 0 22862030 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140288781642544 140289312021122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 616280 KiB

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

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

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

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

[startup+2446.7 s]
/proc/loadavg: 1.48 1.73 1.73 3/213 4515
/proc/meminfo: memFree=30036248/32770624 swapFree=67108860/67108860
[pid=4149] ppid=4146 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/4149/stat : 4149 (xcsp3-exec) S 4146 4149 7968 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 22862015 9740288 344 18446744073709551615 4194304 5098028 140721081195632 140721081193736 140361272885884 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 21520384 140721081201017 140721081201222 140721081201222 140721081204715 0
/proc/4149/statm: 2378 344 289 221 0 87 0
[pid=4151] ppid=4149 vsize=13982780 memory=614904 CPUtime=2520.01 cores=0,2,4,6
/proc/4151/stat : 4151 (java) S 4149 4149 7968 0 -1 1077944320 282554 0 0 0 251572 429 0 0 20 0 15 0 22862021 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140733018897872 140289312009975 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
/proc/4151/statm: 3495695 153726 3256 1 0 3483988 0
[pid=4151/tid=4152] ppid=4149 vsize=13982780 memory=606656 CPUtime=2424.06 cores=0,2,4,6
/proc/4151/task/4152/stat : 4152 (java) R 4149 4149 7968 0 -1 4202560 90238 0 0 0 242371 35 0 0 20 0 15 0 22862021 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140289316249600 140288956874467 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4153] ppid=4149 vsize=13982780 memory=606656 CPUtime=20.42 cores=0,2,4,6
/proc/4151/task/4153/stat : 4153 (java) S 4149 4149 7968 0 -1 1077944384 16920 0 0 0 1965 77 0 0 20 0 15 0 22862022 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140288911927568 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4154] ppid=4149 vsize=13982780 memory=1376 CPUtime=20.4 cores=0,2,4,6
/proc/4151/task/4154/stat : 4154 (java) S 4149 4149 7968 0 -1 1077944384 15046 0 0 0 1964 76 0 0 20 0 15 0 22862022 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140288910875024 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4155] ppid=4149 vsize=13982780 memory=608712 CPUtime=20.42 cores=0,2,4,6
/proc/4151/task/4155/stat : 4155 (java) S 4149 4149 7968 0 -1 1077944384 14664 0 0 0 1966 76 0 0 20 0 15 0 22862022 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140288909822480 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4156] ppid=4149 vsize=13982780 memory=601544 CPUtime=20.45 cores=0,2,4,6
/proc/4151/task/4156/stat : 4156 (java) S 4149 4149 7968 0 -1 1077944384 16557 0 0 0 1967 78 0 0 20 0 15 0 22862022 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140288908769936 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4157] ppid=4149 vsize=13982780 memory=606656 CPUtime=1.23 cores=0,2,4,6
/proc/4151/task/4157/stat : 4157 (java) S 4149 4149 7968 0 -1 1077944384 65666 0 0 0 99 24 0 0 20 0 15 0 22862023 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140288790063600 140289312021122 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4158] ppid=4149 vsize=13982780 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4158/stat : 4158 (java) S 4149 4149 7968 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 22862024 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140288789009888 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4159] ppid=4149 vsize=13982780 memory=614904 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4159/stat : 4159 (java) S 4149 4149 7968 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 22862024 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140288787957248 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4160] ppid=4149 vsize=13982780 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4160/stat : 4160 (java) S 4149 4149 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22862027 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140288786905808 140289312028571 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4161] ppid=4149 vsize=13982780 memory=1376 CPUtime=5.45 cores=0,2,4,6
/proc/4151/task/4161/stat : 4161 (java) S 4149 4149 7968 0 -1 1077944384 25417 0 0 0 542 3 0 0 20 0 15 0 22862027 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140288785852400 140289312021122 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4162] ppid=4149 vsize=13982780 memory=628720 CPUtime=5.13 cores=0,2,4,6
/proc/4151/task/4162/stat : 4162 (java) S 4149 4149 7968 0 -1 1077944384 22390 0 0 0 510 3 0 0 20 0 15 0 22862027 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140288784799856 140289312021122 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4163] ppid=4149 vsize=13982780 memory=-8486080722631693414 CPUtime=1.02 cores=0,2,4,6
/proc/4151/task/4163/stat : 4163 (java) S 4149 4149 7968 0 -1 1077944384 13173 0 0 0 100 2 0 0 20 0 15 0 22862027 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140288783747312 140289312021122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4164] ppid=4149 vsize=13982780 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/4151/task/4164/stat : 4164 (java) S 4149 4149 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22862027 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140288782695008 140289312020181 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
[pid=4151/tid=4165] ppid=4149 vsize=13982780 memory=606656 CPUtime=1.35 cores=0,2,4,6
/proc/4151/task/4165/stat : 4165 (java) S 4149 4149 7968 0 -1 1077944384 1100 0 0 0 65 70 0 0 20 0 15 0 22862030 14318366720 153726 18446744073709551615 4194304 4196468 140733018915328 140288781642544 140289312021122 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 7045120 140733018923442 140733018923618 140733018923618 140733018927055 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13992292 KiB
Current children cumulated memory: 616280 KiB

Child status: 143
Real time (s): 2446.71
CPU time (s): 2520.03
CPU user time (s): 2515.73
CPU system time (s): 4.30169
CPU usage (%): 102.997
Max. virtual memory (cumulated for all children) (KiB): 13992292
Max. memory (cumulated for all children) (KiB): 728716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.73
system time used= 4.30169
maximum resident set size= 730944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283210
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73324
involuntary context switches= 5279


# summary of solver processes directly reported to runsolver:
#   pid: 4149,4151
#   total CPU time (s): 2520.03
#   total CPU user time (s): 2515.73
#   total CPU system time (s): 4.30169

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.3095 second user time and 23.9609 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml
MD5SUM	e0f1e7fd363778103a4292aa9d177ae8
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	297
Best CPU time to get the best result obtained on this benchmark	2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables	1379
Number of constraints	824
Number of domains	4
Minimum domain size	2
Maximum domain size	1353
Distribution of domain sizes	[{"size":2,"count":676},{"size":3,"count":676},{"size":577,"count":1},{"size":1353,"count":26}]
Minimum variable degree	1
Maximum variable degree	27
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":673},{"degree":3,"count":29},{"degree":4,"count":96},{"degree":8,"count":92},{"degree":9,"count":484},{"degree":27,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	28
Distribution of constraint arities	[{"arity":2,"count":122},{"arity":3,"count":96},{"arity":10,"count":576},{"arity":26,"count":4},{"arity":27,"count":1},{"arity":28,"count":25}]
Number of extensional constraints	672
Number of intensional constraints	121
Distribution of constraint types	[{"type":"extension","count":672},{"type":"intension","count":121},{"type":"sum","count":27},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4272270

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