2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 5a (2017-08-18)	SAT (TO)	1798	253.491	240.026

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4284571-1503212000.xml"  -tl '264s' -p 1 -x 3
0.13/0.14	c [HOME/instance-4284571-1503212000.xml, -tl, 264s, -p, 1, -x, 3]
0.13/0.20	c simple solver
0.33/0.26	c parse instance...
1.37/0.69	c solve instance...
7.71/2.82	o 1842 
8.06/2.97	o 1840 
8.38/3.04	o 1837 
8.97/3.26	o 1829 
9.58/3.42	o 1812 
9.58/3.43	o 1808 
9.86/3.52	o 1798 
253.46/240.01	s SATISFIABLE
253.46/240.01	v <instantiation>
253.46/240.01	v 	<list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[0][35] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[1][35] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34] x[2][35] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[3][34] x[3][35] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[4][34] x[4][35] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[5][34] x[5][35] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[6][34] x[6][35] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[7][34] x[7][35] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[8][34] x[8][35] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[9][34] x[9][35] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[10][34] x[10][35] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[11][34] x[11][35] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[12][34] x[12][35] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[13][34] x[13][35] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[14][34] x[14][35] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[15][34] x[15][35] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[16][34] x[16][35] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[17][34] x[17][35] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[18][34] x[18][35] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[19][34] x[19][35] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[20][34] x[20][35] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[21][34] x[21][35] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[22][34] x[22][35] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[23][34] x[23][35] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[24][34] x[24][35] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[25][34] x[25][35] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[26][34] x[26][35] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[27][34] x[27][35] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[28][34] x[28][35] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[29][34] x[29][35] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[30][34] x[30][35] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[31][34] x[31][35] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[32][34] x[32][35] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] x[33][34] x[33][35] x[34][0] x[34][1] x[34][2] x[34][3] x[34][4] x[34][5] x[34][6] x[34][7] x[34][8] x[34][9] x[34][10] x[34][11] x[34][12] x[34][13] x[34][14] x[34][15] x[34][16] x[34][17] x[34][18] x[34][19] x[34][20] x[34][21] x[34][22] x[34][23] x[34][24] x[34][25] x[34][26] x[34][27] x[34][28] x[34][29] x[34][30] x[34][31] x[34][32] x[34][33] x[34][34] x[34][35] x[35][0] x[35][1] x[35][2] x[35][3] x[35][4] x[35][5] x[35][6] x[35][7] x[35][8] x[35][9] x[35][10] x[35][11] x[35][12] x[35][13] x[35][14] x[35][15] x[35][16] x[35][17] x[35][18] x[35][19] x[35][20] x[35][21] x[35][22] x[35][23] x[35][24] x[35][25] x[35][26] x[35][27] x[35][28] x[35][29] x[35][30] x[35][31] x[35][32] x[35][33] x[35][34] x[35][35] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] u[33] u[34] u[35] </list>
253.46/240.01	v 	<values>0 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 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 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 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 0 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 0 0 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 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 0 0 0 0 0 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 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 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 0 0 0 0 0 0 0 0 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 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 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 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 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 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 0 0 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 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 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 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 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 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 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 52 28 15 54 18 95 56 52 93 34 98 21 51 14 83 66 67 49 17 41 86 63 58 71 51 34 75 32 72 11 21 30 43 74 45 </values>
253.46/240.01	v </instantiation>
253.46/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 (11106 MiB free)
  memory of node 1: 16384 MiB (11309 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284571-1503212000/watcher-4284571-1503212000 -o /tmp/evaluation-result-4284571-1503212000/solver-4284571-1503212000 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node105-1503209199-23686 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1832681654 HOME/instance-4284571-1503212000.xml 

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

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
Current StackSize limit: 8192 KiB

solver pid=25127, runsolver pid=25124

[startup+0.103649 s]*
/proc/loadavg: 1.88 1.84 1.75 4/217 25143
/proc/meminfo: memFree=22935968/32770624 swapFree=67108860/67108860
[pid=25127] ppid=25124 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25127/stat : 25127 (xcsp3-exec) S 25124 25127 23654 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154271449 9740288 346 33554432000 4194304 5098028 140721010845232 140721010843336 139657617592956 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27475968 140721010852980 140721010853184 140721010853184 140721010855915 0
/proc/25127/statm: 2378 346 289 221 0 87 0
[pid=25129] ppid=25127 vsize=13978596 memory=28800 CPUtime=0.13 cores=1,3,5,7
/proc/25129/stat : 25129 (java) S 25127 25127 23654 0 -1 1077944320 5506 0 0 0 12 1 0 0 20 0 15 0 154271449 14314082304 7200 33554432000 4194304 4196468 140720648090352 140720648072896 140287130881783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
/proc/25129/statm: 3494649 7200 2896 1 0 3482966 0
[pid=25129/tid=25130] ppid=25127 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/25129/task/25130/stat : 25130 (java) R 25127 25127 23654 0 -1 4202560 3444 0 0 0 9 0 0 0 20 0 15 0 154271449 14314082304 7200 33554432000 4194304 4196468 140720648090352 140287135115056 140287130903709 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25131] ppid=25127 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25131/stat : 25131 (java) S 25127 25127 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154271450 14314082304 7200 33554432000 4194304 4196468 140720648090352 140287060970512 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25132] ppid=25127 vsize=13978596 memory=140373987579520 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25132/stat : 25132 (java) S 25127 25127 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154271450 14314082304 7200 33554432000 4194304 4196468 140720648090352 140287059917968 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25133] ppid=25127 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25133/stat : 25133 (java) S 25127 25127 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154271450 14314082304 7200 33554432000 4194304 4196468 140720648090352 140287058864912 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25134] ppid=25127 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25134/stat : 25134 (java) S 25127 25127 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154271450 14314082304 7200 33554432000 4194304 4196468 140720648090352 140287057812368 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25135] ppid=25127 vsize=13978596 memory=140373987579520 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25135/stat : 25135 (java) S 25127 25127 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154271451 14314082304 7200 33554432000 4194304 4196468 140720648090352 140286605076720 140287130892930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25136] ppid=25127 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25136/stat : 25136 (java) S 25127 25127 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154271452 14314082304 7200 33554432000 4194304 4196468 140720648090352 140286604022944 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25137] ppid=25127 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25137/stat : 25137 (java) S 25127 25127 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154271452 14314082304 7200 33554432000 4194304 4196468 140720648090352 140286602969840 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25138] ppid=25127 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25138/stat : 25138 (java) S 25127 25127 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154271454 14314082304 7200 33554432000 4194304 4196468 140720648090352 140286601918416 140287130900379 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25139] ppid=25127 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25139/stat : 25139 (java) S 25127 25127 23654 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 154271454 14314082304 7200 33554432000 4194304 4196468 140720648090352 140286600866544 140287130892930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25140] ppid=25127 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25140/stat : 25140 (java) S 25127 25127 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154271455 14314082304 7200 33554432000 4194304 4196468 140720648090352 140286599814000 140287130892930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25141] ppid=25127 vsize=13978596 memory=140373987579520 CPUtime=0.01 cores=1,3,5,7
/proc/25129/task/25141/stat : 25141 (java) R 25127 25127 23654 0 -1 4202560 330 0 0 0 1 0 0 0 20 0 15 0 154271455 14314082304 7200 33554432000 4194304 4196468 140720648090352 140286598760944 140287130903130 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25142] ppid=25127 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25142/stat : 25142 (java) S 25127 25127 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154271455 14314082304 7200 33554432000 4194304 4196468 140720648090352 140286597708640 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25143] ppid=25127 vsize=13978596 memory=140373987579520 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25143/stat : 25143 (java) S 25127 25127 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154271455 14314082304 7200 33554432000 4194304 4196468 140720648090352 140286596655664 140287130892930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30184 KiB

[startup+0.210642 s]*
/proc/loadavg: 1.88 1.84 1.75 3/217 25143
/proc/meminfo: memFree=22924556/32770624 swapFree=67108860/67108860
[pid=25127] ppid=25124 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25127/stat : 25127 (xcsp3-exec) S 25124 25127 23654 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154271449 9740288 346 33554432000 4194304 5098028 140721010845232 140721010843336 139657617592956 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27475968 140721010852980 140721010853184 140721010853184 140721010855915 0
/proc/25127/statm: 2378 346 289 221 0 87 0
[pid=25129] ppid=25127 vsize=13982852 memory=40688 CPUtime=0.33 cores=1,3,5,7
/proc/25129/stat : 25129 (java) S 25127 25127 23654 0 -1 1077944320 8206 0 0 0 31 2 0 0 20 0 15 0 154271449 14318440448 10172 33554432000 4194304 4196468 140720648090352 140720648072896 140287130881783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
/proc/25129/statm: 3495713 10172 3085 1 0 3482966 0
[pid=25129/tid=25130] ppid=25127 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/25129/task/25130/stat : 25130 (java) D 25127 25127 23654 0 -1 1077944384 5319 0 0 0 18 2 0 0 20 0 15 0 154271449 14318440448 10172 33554432000 4194304 4196468 140720648090352 140287135092576 140287123561005 0 4 0 16800975 18446744072101613092 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25131] ppid=25127 vsize=13982852 memory=12546 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25131/stat : 25131 (java) S 25127 25127 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154271450 14318440448 10172 33554432000 4194304 4196468 140720648090352 140287060970512 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25132] ppid=25127 vsize=13982852 memory=288370750139291264 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25132/stat : 25132 (java) S 25127 25127 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154271450 14318440448 10172 33554432000 4194304 4196468 140720648090352 140287059917968 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25133] ppid=25127 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25133/stat : 25133 (java) S 25127 25127 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154271450 14318440448 10172 33554432000 4194304 4196468 140720648090352 140287058864912 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25134] ppid=25127 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25134/stat : 25134 (java) S 25127 25127 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154271450 14318473216 10172 33554432000 4194304 4196468 140720648090352 140287057812368 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25135] ppid=25127 vsize=13982884 memory=140373987579520 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25135/stat : 25135 (java) S 25127 25127 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154271451 14318473216 10172 33554432000 4194304 4196468 140720648090352 140286605076720 140287130892930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25136] ppid=25127 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25136/stat : 25136 (java) S 25127 25127 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154271452 14318440448 10172 33554432000 4194304 4196468 140720648090352 140286604022944 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25137] ppid=25127 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25137/stat : 25137 (java) S 25127 25127 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154271452 14318440448 10172 33554432000 4194304 4196468 140720648090352 140286602969840 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25138] ppid=25127 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25138/stat : 25138 (java) S 25127 25127 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154271454 14318440448 10172 33554432000 4194304 4196468 140720648090352 140286601918416 140287130900379 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25139] ppid=25127 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25129/task/25139/stat : 25139 (java) S 25127 25127 23654 0 -1 1077944384 728 0 0 0 2 0 0 0 20 0 15 0 154271454 14318440448 10172 33554432000 4194304 4196468 140720648090352 140286600866544 140287130892930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25140] ppid=25127 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/25129/task/25140/stat : 25140 (java) S 25127 25127 23654 0 -1 1077944384 164 0 0 0 2 0 0 0 20 0 15 0 154271455 14318440448 10172 33554432000 4194304 4196468 140720648090352 140286599814000 140287130892930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25141] ppid=25127 vsize=13982852 memory=140373987579520 CPUtime=0.07 cores=1,3,5,7
/proc/25129/task/25141/stat : 25141 (java) S 25127 25127 23654 0 -1 1077944384 700 0 0 0 7 0 0 0 20 0 15 0 154271455 14318440448 10172 33554432000 4194304 4196468 140720648090352 140286598760944 140287130892930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25142] ppid=25127 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25142/stat : 25142 (java) S 25127 25127 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154271455 14318440448 10172 33554432000 4194304 4196468 140720648090352 140286597708640 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25143] ppid=25127 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25143/stat : 25143 (java) S 25127 25127 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154271455 14318440448 10172 33554432000 4194304 4196468 140720648090352 140286596655664 140287130892930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42072 KiB

[startup+0.310534 s]*
/proc/loadavg: 1.88 1.84 1.75 4/217 25143
/proc/meminfo: memFree=22917732/32770624 swapFree=67108860/67108860
[pid=25127] ppid=25124 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25127/stat : 25127 (xcsp3-exec) S 25124 25127 23654 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154271449 9740288 346 33554432000 4194304 5098028 140721010845232 140721010843336 139657617592956 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27475968 140721010852980 140721010853184 140721010853184 140721010855915 0
/proc/25127/statm: 2378 346 289 221 0 87 0
[pid=25129] ppid=25127 vsize=13982852 memory=47604 CPUtime=0.5 cores=1,3,5,7
/proc/25129/stat : 25129 (java) S 25127 25127 23654 0 -1 1077944320 8992 0 0 0 47 3 0 0 20 0 15 0 154271449 14318440448 11901 33554432000 4194304 4196468 140720648090352 140720648072896 140287130881783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
/proc/25129/statm: 3495713 11901 3115 1 0 3482966 0
[pid=25129/tid=25130] ppid=25127 vsize=13982852 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/25129/task/25130/stat : 25130 (java) R 25127 25127 23654 0 -1 4202560 5942 0 0 0 27 2 0 0 20 0 15 0 154271449 14318440448 11901 33554432000 4194304 4196468 140720648090352 140287135119600 140287130893718 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25131] ppid=25127 vsize=13982852 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25131/stat : 25131 (java) S 25127 25127 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154271450 14318440448 11901 33554432000 4194304 4196468 140720648090352 140287060970512 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25132] ppid=25127 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25132/stat : 25132 (java) S 25127 25127 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154271450 14318440448 11901 33554432000 4194304 4196468 140720648090352 140287059917968 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25133] ppid=25127 vsize=13982852 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25133/stat : 25133 (java) S 25127 25127 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154271450 14318440448 11901 33554432000 4194304 4196468 140720648090352 140287058864912 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25134] ppid=25127 vsize=13982852 memory=7593697182111006371 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25134/stat : 25134 (java) S 25127 25127 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154271450 14318440448 11901 33554432000 4194304 4196468 140720648090352 140287057812368 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25135] ppid=25127 vsize=13982852 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25135/stat : 25135 (java) S 25127 25127 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154271451 14318440448 11901 33554432000 4194304 4196468 140720648090352 140286605076720 140287130892930 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25136] ppid=25127 vsize=13982852 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25136/stat : 25136 (java) S 25127 25127 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154271452 14318440448 11901 33554432000 4194304 4196468 140720648090352 140286604022944 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25137] ppid=25127 vsize=13982852 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25137/stat : 25137 (java) S 25127 25127 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154271452 14318440448 11901 33554432000 4194304 4196468 140720648090352 140286602969840 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25138] ppid=25127 vsize=13982852 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25138/stat : 25138 (java) S 25127 25127 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154271454 14318440448 11901 33554432000 4194304 4196468 140720648090352 140286601918416 140287130900379 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25139] ppid=25127 vsize=13982852 memory=4713750055892520310 CPUtime=0.03 cores=1,3,5,7
/proc/25129/task/25139/stat : 25139 (java) S 25127 25127 23654 0 -1 1077944384 734 0 0 0 3 0 0 0 20 0 15 0 154271454 14318440448 11901 33554432000 4194304 4196468 140720648090352 140286600866544 140287130892930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25140] ppid=25127 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/25129/task/25140/stat : 25140 (java) S 25127 25127 23654 0 -1 1077944384 214 0 0 0 3 0 0 0 20 0 15 0 154271455 14318440448 11901 33554432000 4194304 4196468 140720648090352 140286599814000 140287130892930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25141] ppid=25127 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/25129/task/25141/stat : 25141 (java) R 25127 25127 23654 0 -1 4202560 800 0 0 0 13 0 0 0 20 0 15 0 154271455 14318440448 11901 33554432000 4194304 4196468 140720648090352 140286598760944 140287110596580 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25142] ppid=25127 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25142/stat : 25142 (java) S 25127 25127 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154271455 14318440448 11901 33554432000 4194304 4196468 140720648090352 140286597708640 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25143] ppid=25127 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25143/stat : 25143 (java) S 25127 25127 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154271455 14318440448 11901 33554432000 4194304 4196468 140720648090352 140286596655664 140287130892930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48988 KiB

[startup+0.71111 s]
/proc/loadavg: 1.88 1.84 1.75 9/217 25143
/proc/meminfo: memFree=22898072/32770624 swapFree=67108860/67108860
[pid=25127] ppid=25124 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25127/stat : 25127 (xcsp3-exec) S 25124 25127 23654 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154271449 9740288 346 33554432000 4194304 5098028 140721010845232 140721010843336 139657617592956 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27475968 140721010852980 140721010853184 140721010853184 140721010855915 0
/proc/25127/statm: 2378 346 289 221 0 87 0
[pid=25129] ppid=25127 vsize=13984976 memory=87032 CPUtime=1.72 cores=1,3,5,7
/proc/25129/stat : 25129 (java) S 25127 25127 23654 0 -1 1077944320 12247 0 0 0 167 5 0 0 20 0 15 0 154271449 14320615424 21758 33554432000 4194304 4196468 140720648090352 140720648072896 140287130881783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
/proc/25129/statm: 3496244 21758 3208 1 0 3483478 0
[pid=25129/tid=25130] ppid=25127 vsize=13984976 memory=42696 CPUtime=0.66 cores=1,3,5,7
/proc/25129/task/25130/stat : 25130 (java) R 25127 25127 23654 0 -1 4202560 6659 0 0 0 63 3 0 0 20 0 15 0 154271449 14320615424 21758 33554432000 4194304 4196468 140720648090352 140287135120592 140286734970100 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25131] ppid=25127 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25131/stat : 25131 (java) S 25127 25127 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154271450 14320615424 21758 33554432000 4194304 4196468 140720648090352 140287060970512 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25132] ppid=25127 vsize=13984976 memory=2400 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25132/stat : 25132 (java) S 25127 25127 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154271450 14320615424 21758 33554432000 4194304 4196468 140720648090352 140287059917968 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25133] ppid=25127 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25133/stat : 25133 (java) S 25127 25127 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154271450 14320615424 21758 33554432000 4194304 4196468 140720648090352 140287058864912 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25134] ppid=25127 vsize=13984976 memory=12136 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25134/stat : 25134 (java) S 25127 25127 23654 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154271450 14320615424 21758 33554432000 4194304 4196468 140720648090352 140287057812368 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25135] ppid=25127 vsize=13984976 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25135/stat : 25135 (java) S 25127 25127 23654 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154271451 14320615424 21758 33554432000 4194304 4196468 140720648090352 140286605076720 140287130892930 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25136] ppid=25127 vsize=13984976 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25136/stat : 25136 (java) S 25127 25127 23654 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154271452 14320615424 21758 33554432000 4194304 4196468 140720648090352 140286604022944 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25137] ppid=25127 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25137/stat : 25137 (java) S 25127 25127 23654 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154271452 14320615424 21758 33554432000 4194304 4196468 140720648090352 140286602969840 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25138] ppid=25127 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25138/stat : 25138 (java) S 25127 25127 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154271454 14320615424 21758 33554432000 4194304 4196468 140720648090352 140286601918416 140287130900379 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25139] ppid=25127 vsize=13984976 memory=5784 CPUtime=0.3 cores=1,3,5,7
/proc/25129/task/25139/stat : 25139 (java) R 25127 25127 23654 0 -1 4202560 1538 0 0 0 30 0 0 0 20 0 15 0 154271454 14320615424 21758 33554432000 4194304 4196468 140720648090352 140286600866544 140287130903130 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25140] ppid=25127 vsize=13984976 memory=4616 CPUtime=0.31 cores=1,3,5,7
/proc/25129/task/25140/stat : 25140 (java) R 25127 25127 23654 0 -1 4202560 879 0 0 0 31 0 0 0 20 0 15 0 154271455 14320615424 21758 33554432000 4194304 4196468 140720648090352 140286599806928 140287130895665 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25141] ppid=25127 vsize=13984976 memory=1928 CPUtime=0.41 cores=1,3,5,7
/proc/25129/task/25141/stat : 25141 (java) R 25127 25127 23654 0 -1 4202560 1865 0 0 0 41 0 0 0 20 0 15 0 154271455 14320615424 21758 33554432000 4194304 4196468 140720648090352 140286598760944 140287130903130 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25142] ppid=25127 vsize=13984976 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25142/stat : 25142 (java) S 25127 25127 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154271455 14320615424 21758 33554432000 4194304 4196468 140720648090352 140286597708640 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25143] ppid=25127 vsize=13984976 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25143/stat : 25143 (java) S 25127 25127 23654 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154271455 14320615424 21758 33554432000 4194304 4196468 140720648090352 140286596655664 140287130892930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 88416 KiB

[startup+1.50116 s]
/proc/loadavg: 1.88 1.84 1.75 7/217 25143
/proc/meminfo: memFree=22856572/32770624 swapFree=67108860/67108860
[pid=25127] ppid=25124 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25127/stat : 25127 (xcsp3-exec) S 25124 25127 23654 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154271449 9740288 346 33554432000 4194304 5098028 140721010845232 140721010843336 139657617592956 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27475968 140721010852980 140721010853184 140721010853184 140721010855915 0
/proc/25127/statm: 2378 346 289 221 0 87 0

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

/proc/25129/task/25137/stat : 25137 (java) S 25127 25127 23654 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 154271452 14320615424 302134 33554432000 4194304 4196468 140720648090352 140286602969840 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25138] ppid=25127 vsize=13984976 memory=1223940 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25138/stat : 25138 (java) S 25127 25127 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154271454 14320615424 302134 33554432000 4194304 4196468 140720648090352 140286601918416 140287130900379 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25139] ppid=25127 vsize=13984976 memory=3472468652064786277 CPUtime=3.75 cores=1,3,5,7
/proc/25129/task/25139/stat : 25139 (java) S 25127 25127 23654 0 -1 1077944384 14108 0 0 0 374 1 0 0 20 0 15 0 154271454 14320615424 302134 33554432000 4194304 4196468 140720648090352 140286600866544 140287130892930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25140] ppid=25127 vsize=13984976 memory=0 CPUtime=3.85 cores=1,3,5,7
/proc/25129/task/25140/stat : 25140 (java) S 25127 25127 23654 0 -1 1077944384 13377 0 0 0 383 2 0 0 20 0 15 0 154271455 14320615424 302134 33554432000 4194304 4196468 140720648090352 140286599814000 140287130892930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25141] ppid=25127 vsize=13984976 memory=1384 CPUtime=0.91 cores=1,3,5,7
/proc/25129/task/25141/stat : 25141 (java) S 25127 25127 23654 0 -1 1077944384 8360 0 0 0 90 1 0 0 20 0 15 0 154271455 14320615424 302134 33554432000 4194304 4196468 140720648090352 140286598760944 140287130892930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25142] ppid=25127 vsize=13984976 memory=1217740 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25142/stat : 25142 (java) S 25127 25127 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154271455 14320615424 302134 33554432000 4194304 4196468 140720648090352 140286597708640 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25143] ppid=25127 vsize=13984976 memory=1217740 CPUtime=0.04 cores=1,3,5,7
/proc/25129/task/25143/stat : 25143 (java) S 25127 25127 23654 0 -1 1077944384 296 0 0 0 2 2 0 0 20 0 15 0 154271455 14320615424 302134 33554432000 4194304 4196468 140720648090352 140286596655664 140287130892930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
Current children cumulated CPU time: 112.28 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1209920 KiB

[startup+162.301 s]
/proc/loadavg: 2.08 1.98 1.82 3/218 25153
/proc/meminfo: memFree=19898884/32770624 swapFree=67108860/67108860
[pid=25127] ppid=25124 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25127/stat : 25127 (xcsp3-exec) S 25124 25127 23654 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154271449 9740288 346 33554432000 4194304 5098028 140721010845232 140721010843336 139657617592956 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27475968 140721010852980 140721010853184 140721010853184 140721010855915 0
/proc/25127/statm: 2378 346 289 221 0 87 0
[pid=25129] ppid=25127 vsize=13984976 memory=1159776 CPUtime=173.39 cores=1,3,5,7
/proc/25129/stat : 25129 (java) S 25127 25127 23654 0 -1 1077944320 72254 0 0 0 17265 74 0 0 20 0 15 0 154271449 14320615424 289944 33554432000 4194304 4196468 140720648090352 140720648072896 140287130881783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
/proc/25129/statm: 3496244 289944 3268 1 0 3483478 0
[pid=25129/tid=25130] ppid=25127 vsize=13984976 memory=1159776 CPUtime=161.51 cores=1,3,5,7
/proc/25129/task/25130/stat : 25130 (java) R 25127 25127 23654 0 -1 4202560 21490 0 0 0 16133 18 0 0 20 0 15 0 154271449 14320615424 289944 33554432000 4194304 4196468 140720648090352 140287135121632 140286741363839 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25131] ppid=25127 vsize=13984976 memory=1160084 CPUtime=0.7 cores=1,3,5,7
/proc/25129/task/25131/stat : 25131 (java) S 25127 25127 23654 0 -1 1077944384 985 0 0 0 59 11 0 0 20 0 15 0 154271450 14320615424 289944 33554432000 4194304 4196468 140720648090352 140287060970512 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25132] ppid=25127 vsize=13984976 memory=33 CPUtime=0.69 cores=1,3,5,7
/proc/25129/task/25132/stat : 25132 (java) S 25127 25127 23654 0 -1 1077944384 2645 0 0 0 59 10 0 0 20 0 15 0 154271450 14320615424 289944 33554432000 4194304 4196468 140720648090352 140287059917968 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25133] ppid=25127 vsize=13984976 memory=1384 CPUtime=0.69 cores=1,3,5,7
/proc/25129/task/25133/stat : 25133 (java) S 25127 25127 23654 0 -1 1077944384 1272 0 0 0 58 11 0 0 20 0 15 0 154271450 14320615424 289944 33554432000 4194304 4196468 140720648090352 140287058864912 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25134] ppid=25127 vsize=13984976 memory=1384 CPUtime=0.7 cores=1,3,5,7
/proc/25129/task/25134/stat : 25134 (java) S 25127 25127 23654 0 -1 1077944384 1670 0 0 0 58 12 0 0 20 0 15 0 154271450 14320615424 289944 33554432000 4194304 4196468 140720648090352 140287057812368 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25135] ppid=25127 vsize=13984976 memory=4012 CPUtime=0.02 cores=1,3,5,7
/proc/25129/task/25135/stat : 25135 (java) S 25127 25127 23654 0 -1 1077944384 1697 0 0 0 2 0 0 0 20 0 15 0 154271451 14320615424 289944 33554432000 4194304 4196468 140720648090352 140286605076720 140287130892930 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25136] ppid=25127 vsize=13984976 memory=42704 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25136/stat : 25136 (java) S 25127 25127 23654 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154271452 14320615424 289944 33554432000 4194304 4196468 140720648090352 140286604022944 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25137] ppid=25127 vsize=13984976 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25137/stat : 25137 (java) S 25127 25127 23654 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 154271452 14320615424 289944 33554432000 4194304 4196468 140720648090352 140286602969840 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25138] ppid=25127 vsize=13984976 memory=10688 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25138/stat : 25138 (java) S 25127 25127 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154271454 14320615424 289944 33554432000 4194304 4196468 140720648090352 140286601918416 140287130900379 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25139] ppid=25127 vsize=13984976 memory=1384 CPUtime=3.95 cores=1,3,5,7
/proc/25129/task/25139/stat : 25139 (java) S 25127 25127 23654 0 -1 1077944384 16053 0 0 0 394 1 0 0 20 0 15 0 154271454 14320615424 289944 33554432000 4194304 4196468 140720648090352 140286600866544 140287130892930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25140] ppid=25127 vsize=13984976 memory=1176264 CPUtime=4.01 cores=1,3,5,7
/proc/25129/task/25140/stat : 25140 (java) S 25127 25127 23654 0 -1 1077944384 14395 0 0 0 399 2 0 0 20 0 15 0 154271455 14320615424 289944 33554432000 4194304 4196468 140720648090352 140286599814000 140287130892930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25141] ppid=25127 vsize=13984976 memory=1384 CPUtime=0.93 cores=1,3,5,7
/proc/25129/task/25141/stat : 25141 (java) S 25127 25127 23654 0 -1 1077944384 10305 0 0 0 92 1 0 0 20 0 15 0 154271455 14320615424 289944 33554432000 4194304 4196468 140720648090352 140286598760944 140287130892930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25142] ppid=25127 vsize=13984976 memory=1160084 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25142/stat : 25142 (java) S 25127 25127 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154271455 14320615424 289944 33554432000 4194304 4196468 140720648090352 140286597708640 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25143] ppid=25127 vsize=13984976 memory=1160084 CPUtime=0.07 cores=1,3,5,7
/proc/25129/task/25143/stat : 25143 (java) S 25127 25127 23654 0 -1 1077944384 388 0 0 0 4 3 0 0 20 0 15 0 154271455 14320615424 289944 33554432000 4194304 4196468 140720648090352 140286596655664 140287130892930 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 23 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
Current children cumulated CPU time: 173.39 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1161160 KiB

[startup+222.301 s]
/proc/loadavg: 1.88 1.94 1.82 3/218 25154
/proc/meminfo: memFree=19904760/32770624 swapFree=67108860/67108860
[pid=25127] ppid=25124 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25127/stat : 25127 (xcsp3-exec) S 25124 25127 23654 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154271449 9740288 346 33554432000 4194304 5098028 140721010845232 140721010843336 139657617592956 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27475968 140721010852980 140721010853184 140721010853184 140721010855915 0
/proc/25127/statm: 2378 346 289 221 0 87 0
[pid=25129] ppid=25127 vsize=13984976 memory=1100836 CPUtime=234.68 cores=1,3,5,7
/proc/25129/stat : 25129 (java) S 25127 25127 23654 0 -1 1077944320 80163 0 0 0 23380 88 0 0 20 0 15 0 154271449 14320615424 275209 33554432000 4194304 4196468 140720648090352 140720648072896 140287130881783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
/proc/25129/statm: 3496244 275209 3268 1 0 3483478 0
[pid=25129/tid=25130] ppid=25127 vsize=13984976 memory=1100836 CPUtime=221.13 cores=1,3,5,7
/proc/25129/task/25130/stat : 25130 (java) R 25127 25127 23654 0 -1 4202560 23363 0 0 0 22095 18 0 0 20 0 15 0 154271449 14320615424 275209 33554432000 4194304 4196468 140720648090352 140287135120960 140286745044269 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25131] ppid=25127 vsize=13984976 memory=1100836 CPUtime=1.08 cores=1,3,5,7
/proc/25129/task/25131/stat : 25131 (java) S 25127 25127 23654 0 -1 1077944384 1214 0 0 0 93 15 0 0 20 0 15 0 154271450 14320615424 275209 33554432000 4194304 4196468 140720648090352 140287060970512 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25132] ppid=25127 vsize=13984976 memory=1100836 CPUtime=1.07 cores=1,3,5,7
/proc/25129/task/25132/stat : 25132 (java) S 25127 25127 23654 0 -1 1077944384 3418 0 0 0 94 13 0 0 20 0 15 0 154271450 14320615424 275209 33554432000 4194304 4196468 140720648090352 140287059917968 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25133] ppid=25127 vsize=13984976 memory=1196 CPUtime=1.05 cores=1,3,5,7
/proc/25129/task/25133/stat : 25133 (java) S 25127 25127 23654 0 -1 1077944384 1829 0 0 0 91 14 0 0 20 0 15 0 154271450 14320615424 275209 33554432000 4194304 4196468 140720648090352 140287058864912 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25134] ppid=25127 vsize=13984976 memory=1100836 CPUtime=1.07 cores=1,3,5,7
/proc/25129/task/25134/stat : 25134 (java) S 25127 25127 23654 0 -1 1077944384 1843 0 0 0 92 15 0 0 20 0 15 0 154271450 14320615424 275209 33554432000 4194304 4196468 140720648090352 140287057812368 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25135] ppid=25127 vsize=13984976 memory=1384 CPUtime=0.03 cores=1,3,5,7
/proc/25129/task/25135/stat : 25135 (java) S 25127 25127 23654 0 -1 1077944384 1941 0 0 0 3 0 0 0 20 0 15 0 154271451 14320615424 275209 33554432000 4194304 4196468 140720648090352 140286605076720 140287130892930 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25136] ppid=25127 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25136/stat : 25136 (java) S 25127 25127 23654 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 154271452 14320615424 275209 33554432000 4194304 4196468 140720648090352 140286604022944 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25137] ppid=25127 vsize=13984976 memory=1118500 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25137/stat : 25137 (java) S 25127 25127 23654 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 154271452 14320615424 275209 33554432000 4194304 4196468 140720648090352 140286602969840 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25138] ppid=25127 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25138/stat : 25138 (java) S 25127 25127 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154271454 14320615424 275209 33554432000 4194304 4196468 140720648090352 140286601918416 140287130900379 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25139] ppid=25127 vsize=13984976 memory=1384 CPUtime=4 cores=1,3,5,7
/proc/25129/task/25139/stat : 25139 (java) S 25127 25127 23654 0 -1 1077944384 18052 0 0 0 399 1 0 0 20 0 15 0 154271454 14320615424 275209 33554432000 4194304 4196468 140720648090352 140286600866544 140287130892930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25140] ppid=25127 vsize=13984976 memory=2400 CPUtime=4.11 cores=1,3,5,7
/proc/25129/task/25140/stat : 25140 (java) S 25127 25127 23654 0 -1 1077944384 15925 0 0 0 409 2 0 0 20 0 15 0 154271455 14320615424 275209 33554432000 4194304 4196468 140720648090352 140286599814000 140287130892930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25141] ppid=25127 vsize=13984976 memory=1728 CPUtime=0.94 cores=1,3,5,7
/proc/25129/task/25141/stat : 25141 (java) S 25127 25127 23654 0 -1 1077944384 10800 0 0 0 92 2 0 0 20 0 15 0 154271455 14320615424 275209 33554432000 4194304 4196468 140720648090352 140286598760944 140287130892930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25142] ppid=25127 vsize=13984976 memory=12136 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25142/stat : 25142 (java) S 25127 25127 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154271455 14320615424 275209 33554432000 4194304 4196468 140720648090352 140286597708640 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25143] ppid=25127 vsize=13984976 memory=1100836 CPUtime=0.1 cores=1,3,5,7
/proc/25129/task/25143/stat : 25143 (java) S 25127 25127 23654 0 -1 1077944384 424 0 0 0 5 5 0 0 20 0 15 0 154271455 14320615424 275209 33554432000 4194304 4196468 140720648090352 140286596655664 140287130892930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
Current children cumulated CPU time: 234.68 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1102220 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.91 1.94 1.82 5/218 25232
/proc/meminfo: memFree=22110436/32770624 swapFree=67108860/67108860
[pid=25127] ppid=25124 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/25127/stat : 25127 (xcsp3-exec) S 25124 25127 23654 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154271449 9740288 346 33554432000 4194304 5098028 140721010845232 140721010843336 139657617592956 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 27475968 140721010852980 140721010853184 140721010853184 140721010855915 0
/proc/25127/statm: 2378 346 289 221 0 87 0
[pid=25129] ppid=25127 vsize=13984976 memory=942420 CPUtime=253.46 cores=1,3,5,7
/proc/25129/stat : 25129 (java) S 25127 25127 23654 0 -1 1077944320 85612 0 0 0 25251 95 0 0 20 0 15 0 154271449 14320615424 235605 33554432000 4194304 4196468 140720648090352 140720648072896 140287130881783 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
/proc/25129/statm: 3496244 235605 3284 1 0 3483478 0
[pid=25129/tid=25130] ppid=25127 vsize=13984976 memory=6791534058613427641 CPUtime=238.41 cores=1,3,5,7
/proc/25129/task/25130/stat : 25130 (java) R 25127 25127 23654 0 -1 4202560 23637 0 0 0 23823 18 0 0 20 0 15 0 154271449 14320615424 235605 33554432000 4194304 4196468 140720648090352 140287135118240 140286742154019 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25131] ppid=25127 vsize=13984976 memory=4872558044660077418 CPUtime=1.42 cores=1,3,5,7
/proc/25129/task/25131/stat : 25131 (java) S 25127 25127 23654 0 -1 1077944384 1368 0 0 0 126 16 0 0 20 0 15 0 154271450 14320615424 235605 33554432000 4194304 4196468 140720648090352 140287060970512 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25132] ppid=25127 vsize=13984976 memory=1384 CPUtime=1.42 cores=1,3,5,7
/proc/25129/task/25132/stat : 25132 (java) S 25127 25127 23654 0 -1 1077944384 3845 0 0 0 127 15 0 0 20 0 15 0 154271450 14320615424 235605 33554432000 4194304 4196468 140720648090352 140287059917968 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25133] ppid=25127 vsize=13984976 memory=942420 CPUtime=1.39 cores=1,3,5,7
/proc/25129/task/25133/stat : 25133 (java) S 25127 25127 23654 0 -1 1077944384 2138 0 0 0 124 15 0 0 20 0 15 0 154271450 14320615424 235605 33554432000 4194304 4196468 140720648090352 140287058864912 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25134] ppid=25127 vsize=13984976 memory=31076 CPUtime=1.43 cores=1,3,5,7
/proc/25129/task/25134/stat : 25134 (java) S 25127 25127 23654 0 -1 1077944384 2191 0 0 0 126 17 0 0 20 0 15 0 154271450 14320615424 235605 33554432000 4194304 4196468 140720648090352 140287057812368 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25135] ppid=25127 vsize=13984976 memory=4409 CPUtime=0.12 cores=1,3,5,7
/proc/25129/task/25135/stat : 25135 (java) S 25127 25127 23654 0 -1 1077944384 5077 0 0 0 11 1 0 0 20 0 15 0 154271451 14320615424 235605 33554432000 4194304 4196468 140720648090352 140286605076720 140287130892930 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25136] ppid=25127 vsize=13984976 memory=4081 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25136/stat : 25136 (java) S 25127 25127 23654 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 154271452 14320615424 235605 33554432000 4194304 4196468 140720648090352 140286604023008 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25137] ppid=25127 vsize=13984976 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25137/stat : 25137 (java) S 25127 25127 23654 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 154271452 14320615424 235605 33554432000 4194304 4196468 140720648090352 140286602969856 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25138] ppid=25127 vsize=13984976 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25138/stat : 25138 (java) S 25127 25127 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154271454 14320615424 235605 33554432000 4194304 4196468 140720648090352 140286601918416 140287130900379 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25139] ppid=25127 vsize=13984976 memory=14973369229511237 CPUtime=4 cores=1,3,5,7
/proc/25129/task/25139/stat : 25139 (java) S 25127 25127 23654 0 -1 1077944384 18052 0 0 0 399 1 0 0 20 0 15 0 154271454 14320615424 235605 33554432000 4194304 4196468 140720648090352 140286600866544 140287130892930 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25140] ppid=25127 vsize=13984976 memory=1428 CPUtime=4.13 cores=1,3,5,7
/proc/25129/task/25140/stat : 25140 (java) S 25127 25127 23654 0 -1 1077944384 16694 0 0 0 411 2 0 0 20 0 15 0 154271455 14320615424 235605 33554432000 4194304 4196468 140720648090352 140286599814000 140287130892930 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25141] ppid=25127 vsize=13984976 memory=1196 CPUtime=0.94 cores=1,3,5,7
/proc/25129/task/25141/stat : 25141 (java) S 25127 25127 23654 0 -1 1077944384 10800 0 0 0 92 2 0 0 20 0 15 0 154271455 14320615424 235605 33554432000 4194304 4196468 140720648090352 140286598760944 140287130892930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25142] ppid=25127 vsize=13984976 memory=10688 CPUtime=0 cores=1,3,5,7
/proc/25129/task/25142/stat : 25142 (java) S 25127 25127 23654 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154271455 14320615424 235605 33554432000 4194304 4196468 140720648090352 140286597708640 140287130891989 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
[pid=25129/tid=25143] ppid=25127 vsize=13984976 memory=33 CPUtime=0.12 cores=1,3,5,7
/proc/25129/task/25143/stat : 25143 (java) S 25127 25127 23654 0 -1 1077944384 428 0 0 0 6 6 0 0 20 0 15 0 154271455 14320615424 235605 33554432000 4194304 4196468 140720648090352 140286596655664 140287130892930 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 23 0 0 6293624 6294260 36978688 140720648094877 140720648095052 140720648095052 140720648097743 0
Current children cumulated CPU time: 253.46 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 943804 KiB

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

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

[startup+240.026 s]
# the end of solver process 25129 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=252.528 s, system=0.962554 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.026
CPU time (s): 253.491
CPU user time (s): 252.528
CPU system time (s): 0.962554
CPU usage (%): 105.61
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 1241592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.528
system time used= 0.962554
maximum resident set size= 1258264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86277
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8927
involuntary context switches= 281


# summary of solver processes directly reported to runsolver:
#   pid: 25127,25129
#   total CPU time (s): 253.491
#   total CPU user time (s): 252.528
#   total CPU system time (s): 0.962554

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.45554 second user time and 2.483 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml
MD5SUM	bb36812fd58cb568268e8c9b807d30b9
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	853
Best CPU time to get the best result obtained on this benchmark	251.895
Satisfiable
(Un)Satisfiability was proved
Number of variables	1332
Number of constraints	1295
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":36},{"size":2,"count":1260},{"size":101,"count":35}]
Minimum variable degree	0
Maximum variable degree	69
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":36},{"degree":2,"count":70},{"degree":4,"count":1190},{"degree":69,"count":35}]
Minimum constraint arity	1
Maximum constraint arity	35
Distribution of constraint arities	[{"arity":1,"count":35},{"arity":3,"count":1190},{"arity":35,"count":70}]
Number of extensional constraints	0
Number of intensional constraints	35
Distribution of constraint types	[{"type":"intension","count":35},{"type":"sum","count":1190},{"type":"count","count":70}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4284571

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