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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 4.0.5 seq (2017-08-09)	SAT (TO)	1747	244.70399	240.022

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4270351-1502621491.xml"  -tl '264s' -p 1 -x 0
0.20/0.22	c [HOME/instance-4270351-1502621491.xml, -tl, 264s, -p, 1, -x, 0]
0.20/0.28	c simple solver
0.37/0.34	c parse instance...
1.47/0.75	c solve instance...
3.37/1.34	o 2147 
3.37/1.35	o 2089 
3.37/1.36	o 2059 
3.37/1.36	o 2044 
3.37/1.37	o 2042 
3.37/1.38	o 2012 
3.70/1.41	o 2011 
3.70/1.42	o 2003 
3.70/1.43	o 1954 
5.59/2.25	o 1933 
5.59/2.25	o 1905 
5.59/2.25	o 1878 
5.59/2.26	o 1861 
5.59/2.26	o 1842 
5.59/2.26	o 1825 
5.59/2.28	o 1781 
5.80/2.30	o 1769 
5.80/2.36	o 1747 
244.68/240.01	s SATISFIABLE
244.68/240.01	v <instantiation>
244.68/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>
244.68/240.01	v 	<values>0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 1 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 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 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 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 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 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 0 0 0 0 0 0 0 0 0 0 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 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 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 1 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 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 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 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 1 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 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 1 0 0 0 0 92 31 51 11 70 2 45 52 91 23 42 51 33 36 17 22 37 67 73 87 30 31 48 64 30 77 8 15 20 48 63 12 65 71 42 </values>
244.68/240.01	v </instantiation>
244.68/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 (12320 MiB free)
  memory of node 1: 16384 MiB (13457 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270351-1502621491/watcher-4270351-1502621491 -o /tmp/evaluation-result-4270351-1502621491/solver-4270351-1502621491 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node105-1502619907-1761 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1266884543 HOME/instance-4270351-1502621491.xml 

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

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


[startup+0.100198 s]*
/proc/loadavg: 2.16 1.90 1.54 2/216 2321
/proc/meminfo: memFree=26387804/32770624 swapFree=67108860/67108860
[pid=2306] ppid=2303 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2306/stat : 2306 (xcsp3-exec) S 2303 2306 31727 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95220713 9740288 346 33554432000 4194304 5098028 140734143932160 140734143930264 139666031768188 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35622912 140734143939700 140734143939904 140734143939904 140734143942635 0
/proc/2306/statm: 2378 346 289 221 0 87 0
[pid=2308] ppid=2306 vsize=13911548 memory=18968 CPUtime=0.04 cores=0,2,4,6
/proc/2308/stat : 2308 (java) S 2306 2306 31727 0 -1 1077944320 4564 0 0 0 4 0 0 0 20 0 14 0 95220713 14245425152 4742 33554432000 4194304 4196468 140729445466096 140729445448640 140454118387447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
/proc/2308/statm: 3477887 4742 2590 1 0 3466325 0
[pid=2308/tid=2309] ppid=2306 vsize=13911548 memory=-8412658762350172019 CPUtime=0.04 cores=0,2,4,6
/proc/2308/task/2309/stat : 2309 (java) D 2306 2306 31727 0 -1 1077944384 2730 0 0 0 4 0 0 0 20 0 14 0 95220713 14245425152 4742 33554432000 4194304 4196468 140729445466096 140454122624832 140454118411325 0 4 0 16800975 18446744072101613092 0 0 -1 0 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2310] ppid=2306 vsize=13911548 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2310/stat : 2310 (java) S 2306 2306 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 95220714 14245425152 4742 33554432000 4194304 4196468 140729445466096 140453714205328 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2311] ppid=2306 vsize=13911548 memory=140092825056896 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2311/stat : 2311 (java) S 2306 2306 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 95220714 14245425152 4742 33554432000 4194304 4196468 140729445466096 140453713152528 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2312] ppid=2306 vsize=13911548 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2312/stat : 2312 (java) S 2306 2306 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 95220714 14245425152 4742 33554432000 4194304 4196468 140729445466096 140453712099728 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2313] ppid=2306 vsize=13911548 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2313/stat : 2313 (java) S 2306 2306 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 95220714 14245425152 4742 33554432000 4194304 4196468 140729445466096 140453711046928 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2314] ppid=2306 vsize=13911548 memory=140092825056896 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2314/stat : 2314 (java) S 2306 2306 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 95220715 14245425152 4742 33554432000 4194304 4196468 140729445466096 140453592656752 140454118398594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2315] ppid=2306 vsize=13911548 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2315/stat : 2315 (java) S 2306 2306 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 95220716 14245425152 4742 33554432000 4194304 4196468 140729445466096 140453591602720 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2316] ppid=2306 vsize=13911548 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2316/stat : 2316 (java) S 2306 2306 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 95220716 14245425152 4742 33554432000 4194304 4196468 140729445466096 140453590549872 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2317] ppid=2306 vsize=13911548 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2317/stat : 2317 (java) S 2306 2306 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 95220718 14245425152 4742 33554432000 4194304 4196468 140729445466096 140453589498192 140454118406043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2318] ppid=2306 vsize=13911548 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2318/stat : 2318 (java) S 2306 2306 31727 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 14 0 95220718 14245425152 4742 33554432000 4194304 4196468 140729445466096 140453588445552 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2319] ppid=2306 vsize=13911548 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2319/stat : 2319 (java) S 2306 2306 31727 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 14 0 95220718 14245425152 4742 33554432000 4194304 4196468 140729445466096 140453587392752 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2320] ppid=2306 vsize=13911548 memory=140092825056896 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2320/stat : 2320 (java) S 2306 2306 31727 0 -1 1077944384 225 0 0 0 0 0 0 0 20 0 14 0 95220718 14245425152 4742 33554432000 4194304 4196468 140729445466096 140453586339952 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2321] ppid=2306 vsize=13911548 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2321/stat : 2321 (java) S 2306 2306 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 95220719 14245425152 4742 33554432000 4194304 4196468 140729445466096 140453585287392 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 13921060 KiB
Current children cumulated memory: 20352 KiB

[startup+0.211394 s]*
/proc/loadavg: 2.16 1.90 1.54 4/217 2322
/proc/meminfo: memFree=26377968/32770624 swapFree=67108860/67108860
[pid=2306] ppid=2303 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2306/stat : 2306 (xcsp3-exec) S 2303 2306 31727 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95220713 9740288 346 33554432000 4194304 5098028 140734143932160 140734143930264 139666031768188 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35622912 140734143939700 140734143939904 140734143939904 140734143942635 0
/proc/2306/statm: 2378 346 289 221 0 87 0
[pid=2308] ppid=2306 vsize=13978596 memory=30416 CPUtime=0.2 cores=0,2,4,6
/proc/2308/stat : 2308 (java) S 2306 2306 31727 0 -1 1077944320 5965 0 0 0 19 1 0 0 20 0 15 0 95220713 14314082304 7604 33554432000 4194304 4196468 140729445466096 140729445448640 140454118387447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
/proc/2308/statm: 3494649 7604 2975 1 0 3482966 0
[pid=2308/tid=2309] ppid=2306 vsize=13978596 memory=7883960649037381690 CPUtime=0.12 cores=0,2,4,6
/proc/2308/task/2309/stat : 2309 (java) R 2306 2306 31727 0 -1 4202560 3203 0 0 0 12 0 0 0 20 0 15 0 95220713 14314082304 7604 33554432000 4194304 4196468 140729445466096 140454122623872 140454102431077 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2310] ppid=2306 vsize=13978596 memory=12543 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2310/stat : 2310 (java) S 2306 2306 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95220714 14314082304 7604 33554432000 4194304 4196468 140729445466096 140453714205328 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2311] ppid=2306 vsize=13978596 memory=140092825081380 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2311/stat : 2311 (java) S 2306 2306 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95220714 14314082304 7604 33554432000 4194304 4196468 140729445466096 140453713152528 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2312] ppid=2306 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2312/stat : 2312 (java) S 2306 2306 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95220714 14314082304 7604 33554432000 4194304 4196468 140729445466096 140453712099728 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2313] ppid=2306 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2313/stat : 2313 (java) S 2306 2306 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95220714 14314082304 7604 33554432000 4194304 4196468 140729445466096 140453711046928 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2314] ppid=2306 vsize=13978596 memory=140092825056896 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2314/stat : 2314 (java) S 2306 2306 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95220715 14314082304 7604 33554432000 4194304 4196468 140729445466096 140453592656752 140454118398594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2315] ppid=2306 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2315/stat : 2315 (java) S 2306 2306 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95220716 14314082304 7604 33554432000 4194304 4196468 140729445466096 140453591602720 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2316] ppid=2306 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2316/stat : 2316 (java) S 2306 2306 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95220716 14314082304 7604 33554432000 4194304 4196468 140729445466096 140453590549872 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2317] ppid=2306 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2317/stat : 2317 (java) S 2306 2306 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95220718 14314082304 7604 33554432000 4194304 4196468 140729445466096 140453589498192 140454118406043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2318] ppid=2306 vsize=13978596 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2308/task/2318/stat : 2318 (java) S 2306 2306 31727 0 -1 1077944384 648 0 0 0 1 0 0 0 20 0 15 0 95220718 14314082304 7604 33554432000 4194304 4196468 140729445466096 140453588445552 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2319] ppid=2306 vsize=13978596 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/2308/task/2319/stat : 2319 (java) S 2306 2306 31727 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 15 0 95220718 14314082304 7604 33554432000 4194304 4196468 140729445466096 140453587392752 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2320] ppid=2306 vsize=13978596 memory=140092825056896 CPUtime=0.04 cores=0,2,4,6
/proc/2308/task/2320/stat : 2320 (java) S 2306 2306 31727 0 -1 1077944384 788 0 0 0 4 0 0 0 20 0 15 0 95220718 14314082304 7604 33554432000 4194304 4196468 140729445466096 140453586339952 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2321] ppid=2306 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2321/stat : 2321 (java) S 2306 2306 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95220719 14314082304 7604 33554432000 4194304 4196468 140729445466096 140453585287392 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2322] ppid=2306 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2322/stat : 2322 (java) S 2306 2306 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95220727 14314082304 7604 33554432000 4194304 4196468 140729445466096 140453584235696 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 31800 KiB

[startup+0.310684 s]*
/proc/loadavg: 2.16 1.90 1.54 4/217 2322
/proc/meminfo: memFree=26368404/32770624 swapFree=67108860/67108860
[pid=2306] ppid=2303 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2306/stat : 2306 (xcsp3-exec) S 2303 2306 31727 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95220713 9740288 346 33554432000 4194304 5098028 140734143932160 140734143930264 139666031768188 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35622912 140734143939700 140734143939904 140734143939904 140734143942635 0
/proc/2306/statm: 2378 346 289 221 0 87 0
[pid=2308] ppid=2306 vsize=13982852 memory=41784 CPUtime=0.37 cores=0,2,4,6
/proc/2308/stat : 2308 (java) S 2306 2306 31727 0 -1 1077944320 7946 0 0 0 35 2 0 0 20 0 15 0 95220713 14318440448 10446 33554432000 4194304 4196468 140729445466096 140729445448640 140454118387447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
/proc/2308/statm: 3495713 10446 3056 1 0 3482966 0
[pid=2308/tid=2309] ppid=2306 vsize=13982852 memory=7305218370954158679 CPUtime=0.21 cores=0,2,4,6
/proc/2308/task/2309/stat : 2309 (java) R 2306 2306 31727 0 -1 4202560 4989 0 0 0 20 1 0 0 20 0 15 0 95220713 14318440448 10446 33554432000 4194304 4196468 140729445466096 140454122609440 140454101585048 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2310] ppid=2306 vsize=13982852 memory=8462870768512284464 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2310/stat : 2310 (java) S 2306 2306 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95220714 14318440448 10446 33554432000 4194304 4196468 140729445466096 140453714205328 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2311] ppid=2306 vsize=13982852 memory=3618555014094121143 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2311/stat : 2311 (java) S 2306 2306 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95220714 14318440448 10446 33554432000 4194304 4196468 140729445466096 140453713152528 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2312] ppid=2306 vsize=13982852 memory=6153431502485413987 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2312/stat : 2312 (java) S 2306 2306 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95220714 14318440448 10446 33554432000 4194304 4196468 140729445466096 140453712099728 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2313] ppid=2306 vsize=13982852 memory=8386028099920343089 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2313/stat : 2313 (java) S 2306 2306 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95220714 14318440448 10446 33554432000 4194304 4196468 140729445466096 140453711046928 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2314] ppid=2306 vsize=13982852 memory=3543663965706317745 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2314/stat : 2314 (java) S 2306 2306 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95220715 14318440448 10446 33554432000 4194304 4196468 140729445466096 140453592656752 140454118398594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2315] ppid=2306 vsize=13982852 memory=7886128541316231473 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2315/stat : 2315 (java) S 2306 2306 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95220716 14318440448 10446 33554432000 4194304 4196468 140729445466096 140453591602720 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2316] ppid=2306 vsize=13982852 memory=7526543613752531878 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2316/stat : 2316 (java) S 2306 2306 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95220716 14318440448 10446 33554432000 4194304 4196468 140729445466096 140453590549872 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2317] ppid=2306 vsize=13982852 memory=8463010861285661638 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2317/stat : 2317 (java) S 2306 2306 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95220718 14318440448 10446 33554432000 4194304 4196468 140729445466096 140453589498192 140454118406043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2318] ppid=2306 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2308/task/2318/stat : 2318 (java) S 2306 2306 31727 0 -1 1077944384 674 0 0 0 3 0 0 0 20 0 15 0 95220718 14318440448 10446 33554432000 4194304 4196468 140729445466096 140453588445552 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2319] ppid=2306 vsize=13982852 memory=2319389199166354228 CPUtime=0.02 cores=0,2,4,6
/proc/2308/task/2319/stat : 2319 (java) S 2306 2306 31727 0 -1 1077944384 123 0 0 0 2 0 0 0 20 0 15 0 95220718 14318440448 10446 33554432000 4194304 4196468 140729445466096 140453587392752 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2320] ppid=2306 vsize=13982852 memory=3979387238529754802 CPUtime=0.08 cores=0,2,4,6
/proc/2308/task/2320/stat : 2320 (java) S 2306 2306 31727 0 -1 1077944384 867 0 0 0 8 0 0 0 20 0 15 0 95220718 14318440448 10446 33554432000 4194304 4196468 140729445466096 140453586339952 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2321] ppid=2306 vsize=13982852 memory=3467824627880966431 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2321/stat : 2321 (java) S 2306 2306 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95220719 14318440448 10446 33554432000 4194304 4196468 140729445466096 140453585287392 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2322] ppid=2306 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2322/stat : 2322 (java) S 2306 2306 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95220727 14318440448 10446 33554432000 4194304 4196468 140729445466096 140453584235696 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 43168 KiB

[startup+0.700754 s]
/proc/loadavg: 2.16 1.90 1.54 6/217 2322
/proc/meminfo: memFree=26353092/32770624 swapFree=67108860/67108860
[pid=2306] ppid=2303 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2306/stat : 2306 (xcsp3-exec) S 2303 2306 31727 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95220713 9740288 346 33554432000 4194304 5098028 140734143932160 140734143930264 139666031768188 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35622912 140734143939700 140734143939904 140734143939904 140734143942635 0
/proc/2306/statm: 2378 346 289 221 0 87 0
[pid=2308] ppid=2306 vsize=13984976 memory=78672 CPUtime=1.47 cores=0,2,4,6
/proc/2308/stat : 2308 (java) S 2306 2306 31727 0 -1 1077944320 11678 0 0 0 143 4 0 0 20 0 15 0 95220713 14320615424 19668 33554432000 4194304 4196468 140729445466096 140729445448640 140454118387447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
/proc/2308/statm: 3496244 19668 3199 1 0 3483478 0
[pid=2308/tid=2309] ppid=2306 vsize=13984976 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/2308/task/2309/stat : 2309 (java) R 2306 2306 31727 0 -1 4202560 6076 0 0 0 57 2 0 0 20 0 15 0 95220713 14320615424 19668 33554432000 4194304 4196468 140729445466096 140454122625008 140453756833364 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2310] ppid=2306 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2310/stat : 2310 (java) S 2306 2306 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95220714 14320615424 19668 33554432000 4194304 4196468 140729445466096 140453714205328 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2311] ppid=2306 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2311/stat : 2311 (java) S 2306 2306 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95220714 14320615424 19668 33554432000 4194304 4196468 140729445466096 140453713152528 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2312] ppid=2306 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2312/stat : 2312 (java) S 2306 2306 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95220714 14320615424 19668 33554432000 4194304 4196468 140729445466096 140453712099728 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2313] ppid=2306 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2313/stat : 2313 (java) S 2306 2306 31727 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95220714 14320615424 19668 33554432000 4194304 4196468 140729445466096 140453711046928 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2314] ppid=2306 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2314/stat : 2314 (java) S 2306 2306 31727 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95220715 14320615424 19668 33554432000 4194304 4196468 140729445466096 140453592656752 140454118398594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2315] ppid=2306 vsize=13984976 memory=2 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2315/stat : 2315 (java) S 2306 2306 31727 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95220716 14320615424 19668 33554432000 4194304 4196468 140729445466096 140453591602720 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2316] ppid=2306 vsize=13984976 memory=1928 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2316/stat : 2316 (java) S 2306 2306 31727 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95220716 14320615424 19668 33554432000 4194304 4196468 140729445466096 140453590549872 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2317] ppid=2306 vsize=13984976 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2317/stat : 2317 (java) S 2306 2306 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95220718 14320615424 19668 33554432000 4194304 4196468 140729445466096 140453589498192 140454118406043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2318] ppid=2306 vsize=13984976 memory=1196 CPUtime=0.24 cores=0,2,4,6
/proc/2308/task/2318/stat : 2318 (java) R 2306 2306 31727 0 -1 1077944384 1508 0 0 0 24 0 0 0 20 0 15 0 95220718 14320615424 19668 33554432000 4194304 4196468 140729445466096 140453588445552 140454118398594 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2319] ppid=2306 vsize=13984976 memory=10640 CPUtime=0.25 cores=0,2,4,6
/proc/2308/task/2319/stat : 2319 (java) S 2306 2306 31727 0 -1 1077944384 870 0 0 0 25 0 0 0 20 0 15 0 95220718 14320615424 19668 33554432000 4194304 4196468 140729445466096 140453587392752 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2320] ppid=2306 vsize=13984976 memory=15876 CPUtime=0.36 cores=0,2,4,6
/proc/2308/task/2320/stat : 2320 (java) R 2306 2306 31727 0 -1 4202560 1917 0 0 0 36 0 0 0 20 0 15 0 95220718 14320615424 19668 33554432000 4194304 4196468 140729445466096 140453586334336 140454097851429 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2321] ppid=2306 vsize=13984976 memory=15520 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2321/stat : 2321 (java) S 2306 2306 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95220719 14320615424 19668 33554432000 4194304 4196468 140729445466096 140453585287392 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2322] ppid=2306 vsize=13984976 memory=16432 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2322/stat : 2322 (java) S 2306 2306 31727 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95220727 14320615424 19668 33554432000 4194304 4196468 140729445466096 140453584235696 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 80056 KiB

[startup+1.50081 s]
/proc/loadavg: 2.16 1.90 1.54 7/217 2322
/proc/meminfo: memFree=26311908/32770624 swapFree=67108860/67108860
[pid=2306] ppid=2303 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2306/stat : 2306 (xcsp3-exec) S 2303 2306 31727 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95220713 9740288 346 33554432000 4194304 5098028 140734143932160 140734143930264 139666031768188 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35622912 140734143939700 140734143939904 140734143939904 140734143942635 0
/proc/2306/statm: 2378 346 289 221 0 87 0
[pid=2308] ppid=2306 vsize=13984976 memory=133628 CPUtime=4.01 cores=0,2,4,6
/proc/2308/stat : 2308 (java) S 2306 2306 31727 0 -1 1077944320 21662 0 0 0 395 6 0 0 20 0 15 0 95220713 14320615424 33407 33554432000 4194304 4196468 140729445466096 140729445448640 140454118387447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0

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

[pid=2308/tid=2314] ppid=2306 vsize=13984976 memory=1384 CPUtime=0.01 cores=0,2,4,6
/proc/2308/task/2314/stat : 2314 (java) S 2306 2306 31727 0 -1 1077944384 1162 0 0 0 1 0 0 0 20 0 15 0 95220715 14320615424 51694 33554432000 4194304 4196468 140729445466096 140453592656752 140454118398594 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2315] ppid=2306 vsize=13984976 memory=214984 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2315/stat : 2315 (java) S 2306 2306 31727 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 95220716 14320615424 51694 33554432000 4194304 4196468 140729445466096 140453591602720 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2316] ppid=2306 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2316/stat : 2316 (java) S 2306 2306 31727 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 95220716 14320615424 51694 33554432000 4194304 4196468 140729445466096 140453590549872 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2317] ppid=2306 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2317/stat : 2317 (java) S 2306 2306 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95220718 14320615424 51694 33554432000 4194304 4196468 140729445466096 140453589498192 140454118406043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2318] ppid=2306 vsize=13984976 memory=1384 CPUtime=1.91 cores=0,2,4,6
/proc/2308/task/2318/stat : 2318 (java) S 2306 2306 31727 0 -1 1077944384 12309 0 0 0 190 1 0 0 20 0 15 0 95220718 14320615424 51694 33554432000 4194304 4196468 140729445466096 140453588445552 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2319] ppid=2306 vsize=13984976 memory=213964 CPUtime=1.95 cores=0,2,4,6
/proc/2308/task/2319/stat : 2319 (java) S 2306 2306 31727 0 -1 1077944384 10633 0 0 0 195 0 0 0 20 0 15 0 95220718 14320615424 51694 33554432000 4194304 4196468 140729445466096 140453587392752 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2320] ppid=2306 vsize=13984976 memory=280185413253664 CPUtime=0.66 cores=0,2,4,6
/proc/2308/task/2320/stat : 2320 (java) S 2306 2306 31727 0 -1 1077944384 6620 0 0 0 65 1 0 0 20 0 15 0 95220718 14320615424 51694 33554432000 4194304 4196468 140729445466096 140453586339952 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2321] ppid=2306 vsize=13984976 memory=12763 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2321/stat : 2321 (java) S 2306 2306 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95220719 14320615424 51694 33554432000 4194304 4196468 140729445466096 140453585287392 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2322] ppid=2306 vsize=13984976 memory=280185413795424 CPUtime=0.02 cores=0,2,4,6
/proc/2308/task/2322/stat : 2322 (java) S 2306 2306 31727 0 -1 1077944384 712 0 0 0 1 1 0 0 20 0 15 0 95220727 14320615424 51694 33554432000 4194304 4196468 140729445466096 140453584235696 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
Current children cumulated CPU time: 106.87 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 208160 KiB

[startup+162.301 s]
/proc/loadavg: 1.97 1.92 1.61 3/217 2324
/proc/meminfo: memFree=26042324/32770624 swapFree=67108860/67108860
[pid=2306] ppid=2303 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2306/stat : 2306 (xcsp3-exec) S 2303 2306 31727 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95220713 9740288 346 33554432000 4194304 5098028 140734143932160 140734143930264 139666031768188 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35622912 140734143939700 140734143939904 140734143939904 140734143942635 0
/proc/2306/statm: 2378 346 289 221 0 87 0
[pid=2308] ppid=2306 vsize=13984976 memory=190396 CPUtime=166.92 cores=0,2,4,6
/proc/2308/stat : 2308 (java) S 2306 2306 31727 0 -1 1077944320 50333 0 0 0 16675 17 0 0 20 0 15 0 95220713 14320615424 47599 33554432000 4194304 4196468 140729445466096 140729445448640 140454118387447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
/proc/2308/statm: 3496244 47599 3265 1 0 3483478 0
[pid=2308/tid=2309] ppid=2306 vsize=13984976 memory=189888 CPUtime=162.12 cores=0,2,4,6
/proc/2308/task/2309/stat : 2309 (java) R 2306 2306 31727 0 -1 4202560 11460 0 0 0 16206 6 0 0 20 0 15 0 95220713 14320615424 47599 33554432000 4194304 4196468 140729445466096 140454122626976 140453763551890 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2310] ppid=2306 vsize=13984976 memory=192964 CPUtime=0.03 cores=0,2,4,6
/proc/2308/task/2310/stat : 2310 (java) S 2306 2306 31727 0 -1 1077944384 983 0 0 0 2 1 0 0 20 0 15 0 95220714 14320615424 47599 33554432000 4194304 4196468 140729445466096 140453714205328 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2311] ppid=2306 vsize=13984976 memory=189888 CPUtime=0.03 cores=0,2,4,6
/proc/2308/task/2311/stat : 2311 (java) S 2306 2306 31727 0 -1 1077944384 330 0 0 0 2 1 0 0 20 0 15 0 95220714 14320615424 47599 33554432000 4194304 4196468 140729445466096 140453713152528 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2312] ppid=2306 vsize=13984976 memory=190396 CPUtime=0.03 cores=0,2,4,6
/proc/2308/task/2312/stat : 2312 (java) S 2306 2306 31727 0 -1 1077944384 2685 0 0 0 2 1 0 0 20 0 15 0 95220714 14320615424 47599 33554432000 4194304 4196468 140729445466096 140453712099728 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2313] ppid=2306 vsize=13984976 memory=1384 CPUtime=0.03 cores=0,2,4,6
/proc/2308/task/2313/stat : 2313 (java) S 2306 2306 31727 0 -1 1077944384 1208 0 0 0 2 1 0 0 20 0 15 0 95220714 14320615424 47599 33554432000 4194304 4196468 140729445466096 140453711046928 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2314] ppid=2306 vsize=13984976 memory=1384 CPUtime=0.02 cores=0,2,4,6
/proc/2308/task/2314/stat : 2314 (java) S 2306 2306 31727 0 -1 1077944384 1400 0 0 0 2 0 0 0 20 0 15 0 95220715 14320615424 47599 33554432000 4194304 4196468 140729445466096 140453592656752 140454118398594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2315] ppid=2306 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2315/stat : 2315 (java) S 2306 2306 31727 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 95220716 14320615424 47599 33554432000 4194304 4196468 140729445466096 140453591602720 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2316] ppid=2306 vsize=13984976 memory=189888 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2316/stat : 2316 (java) S 2306 2306 31727 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 95220716 14320615424 47599 33554432000 4194304 4196468 140729445466096 140453590549872 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2317] ppid=2306 vsize=13984976 memory=2400 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2317/stat : 2317 (java) S 2306 2306 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95220718 14320615424 47599 33554432000 4194304 4196468 140729445466096 140453589498192 140454118406043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2318] ppid=2306 vsize=13984976 memory=190396 CPUtime=1.91 cores=0,2,4,6
/proc/2308/task/2318/stat : 2318 (java) S 2306 2306 31727 0 -1 1077944384 12312 0 0 0 190 1 0 0 20 0 15 0 95220718 14320615424 47599 33554432000 4194304 4196468 140729445466096 140453588445552 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2319] ppid=2306 vsize=13984976 memory=1384 CPUtime=1.95 cores=0,2,4,6
/proc/2308/task/2319/stat : 2319 (java) S 2306 2306 31727 0 -1 1077944384 10912 0 0 0 195 0 0 0 20 0 15 0 95220718 14320615424 47599 33554432000 4194304 4196468 140729445466096 140453587392752 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2320] ppid=2306 vsize=13984976 memory=10640 CPUtime=0.66 cores=0,2,4,6
/proc/2308/task/2320/stat : 2320 (java) S 2306 2306 31727 0 -1 1077944384 6925 0 0 0 65 1 0 0 20 0 15 0 95220718 14320615424 47599 33554432000 4194304 4196468 140729445466096 140453586339952 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2321] ppid=2306 vsize=13984976 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2321/stat : 2321 (java) S 2306 2306 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95220719 14320615424 47599 33554432000 4194304 4196468 140729445466096 140453585287392 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2322] ppid=2306 vsize=13984976 memory=1384 CPUtime=0.04 cores=0,2,4,6
/proc/2308/task/2322/stat : 2322 (java) S 2306 2306 31727 0 -1 1077944384 750 0 0 0 2 2 0 0 20 0 15 0 95220727 14320615424 47599 33554432000 4194304 4196468 140729445466096 140453584235696 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
Current children cumulated CPU time: 166.92 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 191780 KiB

[startup+222.301 s]
/proc/loadavg: 2.01 1.93 1.63 3/218 2334
/proc/meminfo: memFree=25825172/32770624 swapFree=67108860/67108860
[pid=2306] ppid=2303 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2306/stat : 2306 (xcsp3-exec) S 2303 2306 31727 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95220713 9740288 346 33554432000 4194304 5098028 140734143932160 140734143930264 139666031768188 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35622912 140734143939700 140734143939904 140734143939904 140734143942635 0
/proc/2306/statm: 2378 346 289 221 0 87 0
[pid=2308] ppid=2306 vsize=13984976 memory=160644 CPUtime=226.96 cores=0,2,4,6
/proc/2308/stat : 2308 (java) S 2306 2306 31727 0 -1 1077944320 51974 0 0 0 22677 19 0 0 20 0 15 0 95220713 14320615424 40161 33554432000 4194304 4196468 140729445466096 140729445448640 140454118387447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
/proc/2308/statm: 3496244 40161 3265 1 0 3483478 0
[pid=2308/tid=2309] ppid=2306 vsize=13984976 memory=1384 CPUtime=222.09 cores=0,2,4,6
/proc/2308/task/2309/stat : 2309 (java) R 2306 2306 31727 0 -1 4202560 11968 0 0 0 22203 6 0 0 20 0 15 0 95220713 14320615424 40161 33554432000 4194304 4196468 140729445466096 140454122626864 140453760534336 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2310] ppid=2306 vsize=13984976 memory=796 CPUtime=0.04 cores=0,2,4,6
/proc/2308/task/2310/stat : 2310 (java) S 2306 2306 31727 0 -1 1077944384 1016 0 0 0 3 1 0 0 20 0 15 0 95220714 14320615424 40161 33554432000 4194304 4196468 140729445466096 140453714205328 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2311] ppid=2306 vsize=13984976 memory=160644 CPUtime=0.04 cores=0,2,4,6
/proc/2308/task/2311/stat : 2311 (java) S 2306 2306 31727 0 -1 1077944384 373 0 0 0 3 1 0 0 20 0 15 0 95220714 14320615424 40161 33554432000 4194304 4196468 140729445466096 140453713152528 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2312] ppid=2306 vsize=13984976 memory=163720 CPUtime=0.04 cores=0,2,4,6
/proc/2308/task/2312/stat : 2312 (java) S 2306 2306 31727 0 -1 1077944384 3085 0 0 0 3 1 0 0 20 0 15 0 95220714 14320615424 40161 33554432000 4194304 4196468 140729445466096 140453712099728 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2313] ppid=2306 vsize=13984976 memory=163720 CPUtime=0.04 cores=0,2,4,6
/proc/2308/task/2313/stat : 2313 (java) S 2306 2306 31727 0 -1 1077944384 1224 0 0 0 3 1 0 0 20 0 15 0 95220714 14320615424 40161 33554432000 4194304 4196468 140729445466096 140453711046928 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2314] ppid=2306 vsize=13984976 memory=160644 CPUtime=0.03 cores=0,2,4,6
/proc/2308/task/2314/stat : 2314 (java) S 2306 2306 31727 0 -1 1077944384 1629 0 0 0 2 1 0 0 20 0 15 0 95220715 14320615424 40161 33554432000 4194304 4196468 140729445466096 140453592656752 140454118398594 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2315] ppid=2306 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2315/stat : 2315 (java) S 2306 2306 31727 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 95220716 14320615424 40161 33554432000 4194304 4196468 140729445466096 140453591602720 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2316] ppid=2306 vsize=13984976 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2316/stat : 2316 (java) S 2306 2306 31727 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 95220716 14320615424 40161 33554432000 4194304 4196468 140729445466096 140453590549872 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2317] ppid=2306 vsize=13984976 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2317/stat : 2317 (java) S 2306 2306 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95220718 14320615424 40161 33554432000 4194304 4196468 140729445466096 140453589498192 140454118406043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2318] ppid=2306 vsize=13984976 memory=55 CPUtime=1.92 cores=0,2,4,6
/proc/2308/task/2318/stat : 2318 (java) S 2306 2306 31727 0 -1 1077944384 12316 0 0 0 191 1 0 0 20 0 15 0 95220718 14320615424 40161 33554432000 4194304 4196468 140729445466096 140453588445552 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2319] ppid=2306 vsize=13984976 memory=12743 CPUtime=1.95 cores=0,2,4,6
/proc/2308/task/2319/stat : 2319 (java) S 2306 2306 31727 0 -1 1077944384 10919 0 0 0 195 0 0 0 20 0 15 0 95220718 14320615424 40161 33554432000 4194304 4196468 140729445466096 140453587392752 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2320] ppid=2306 vsize=13984976 memory=162696 CPUtime=0.66 cores=0,2,4,6
/proc/2308/task/2320/stat : 2320 (java) S 2306 2306 31727 0 -1 1077944384 7289 0 0 0 65 1 0 0 20 0 15 0 95220718 14320615424 40161 33554432000 4194304 4196468 140729445466096 140453586339952 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2321] ppid=2306 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2321/stat : 2321 (java) S 2306 2306 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95220719 14320615424 40161 33554432000 4194304 4196468 140729445466096 140453585287392 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2322] ppid=2306 vsize=13984976 memory=1384 CPUtime=0.06 cores=0,2,4,6
/proc/2308/task/2322/stat : 2322 (java) S 2306 2306 31727 0 -1 1077944384 787 0 0 0 3 3 0 0 20 0 15 0 95220727 14320615424 40161 33554432000 4194304 4196468 140729445466096 140453584235696 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
Current children cumulated CPU time: 226.96 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 162028 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 2.09 1.95 1.64 4/218 2414
/proc/meminfo: memFree=26378204/32770624 swapFree=67108860/67108860
[pid=2306] ppid=2303 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2306/stat : 2306 (xcsp3-exec) S 2303 2306 31727 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95220713 9740288 346 33554432000 4194304 5098028 140734143932160 140734143930264 139666031768188 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35622912 140734143939700 140734143939904 140734143939904 140734143942635 0
/proc/2306/statm: 2378 346 289 221 0 87 0
[pid=2308] ppid=2306 vsize=13984976 memory=158592 CPUtime=244.68 cores=0,2,4,6
/proc/2308/stat : 2308 (java) S 2306 2306 31727 0 -1 1077944320 51988 0 0 0 24449 19 0 0 20 0 15 0 95220713 14320615424 39648 33554432000 4194304 4196468 140729445466096 140729445448640 140454118387447 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
/proc/2308/statm: 3496244 39648 3265 1 0 3483478 0
[pid=2308/tid=2309] ppid=2306 vsize=13984976 memory=6935054825532540783 CPUtime=239.8 cores=0,2,4,6
/proc/2308/task/2309/stat : 2309 (java) R 2306 2306 31727 0 -1 4202560 11974 0 0 0 23974 6 0 0 20 0 15 0 95220713 14320615424 39648 33554432000 4194304 4196468 140729445466096 140454122626976 140453762235030 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2310] ppid=2306 vsize=13984976 memory=4872558044660077418 CPUtime=0.04 cores=0,2,4,6
/proc/2308/task/2310/stat : 2310 (java) S 2306 2306 31727 0 -1 1077944384 1017 0 0 0 3 1 0 0 20 0 15 0 95220714 14320615424 39648 33554432000 4194304 4196468 140729445466096 140453714205328 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2311] ppid=2306 vsize=13984976 memory=4104 CPUtime=0.04 cores=0,2,4,6
/proc/2308/task/2311/stat : 2311 (java) S 2306 2306 31727 0 -1 1077944384 373 0 0 0 3 1 0 0 20 0 15 0 95220714 14320615424 39648 33554432000 4194304 4196468 140729445466096 140453713152528 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2312] ppid=2306 vsize=13984976 memory=2344 CPUtime=0.04 cores=0,2,4,6
/proc/2308/task/2312/stat : 2312 (java) S 2306 2306 31727 0 -1 1077944384 3085 0 0 0 3 1 0 0 20 0 15 0 95220714 14320615424 39648 33554432000 4194304 4196468 140729445466096 140453712099728 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2313] ppid=2306 vsize=13984976 memory=2540 CPUtime=0.04 cores=0,2,4,6
/proc/2308/task/2313/stat : 2313 (java) S 2306 2306 31727 0 -1 1077944384 1226 0 0 0 3 1 0 0 20 0 15 0 95220714 14320615424 39648 33554432000 4194304 4196468 140729445466096 140453711046928 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2314] ppid=2306 vsize=13984976 memory=8112282956445269571 CPUtime=0.03 cores=0,2,4,6
/proc/2308/task/2314/stat : 2314 (java) S 2306 2306 31727 0 -1 1077944384 1634 0 0 0 2 1 0 0 20 0 15 0 95220715 14320615424 39648 33554432000 4194304 4196468 140729445466096 140453592656752 140454118398594 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2315] ppid=2306 vsize=13984976 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2315/stat : 2315 (java) S 2306 2306 31727 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 95220716 14320615424 39648 33554432000 4194304 4196468 140729445466096 140453591602720 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2316] ppid=2306 vsize=13984976 memory=3072 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2316/stat : 2316 (java) S 2306 2306 31727 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 95220716 14320615424 39648 33554432000 4194304 4196468 140729445466096 140453590549872 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2317] ppid=2306 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2317/stat : 2317 (java) S 2306 2306 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95220718 14320615424 39648 33554432000 4194304 4196468 140729445466096 140453589498192 140454118406043 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2318] ppid=2306 vsize=13984976 memory=621972 CPUtime=1.92 cores=0,2,4,6
/proc/2308/task/2318/stat : 2318 (java) S 2306 2306 31727 0 -1 1077944384 12316 0 0 0 191 1 0 0 20 0 15 0 95220718 14320615424 39648 33554432000 4194304 4196468 140729445466096 140453588445552 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2319] ppid=2306 vsize=13984976 memory=1156 CPUtime=1.95 cores=0,2,4,6
/proc/2308/task/2319/stat : 2319 (java) S 2306 2306 31727 0 -1 1077944384 10919 0 0 0 195 0 0 0 20 0 15 0 95220718 14320615424 39648 33554432000 4194304 4196468 140729445466096 140453587392752 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2320] ppid=2306 vsize=13984976 memory=3132 CPUtime=0.66 cores=0,2,4,6
/proc/2308/task/2320/stat : 2320 (java) S 2306 2306 31727 0 -1 1077944384 7289 0 0 0 65 1 0 0 20 0 15 0 95220718 14320615424 39648 33554432000 4194304 4196468 140729445466096 140453586339952 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2321] ppid=2306 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/2308/task/2321/stat : 2321 (java) S 2306 2306 31727 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95220719 14320615424 39648 33554432000 4194304 4196468 140729445466096 140453585287392 140454118397653 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
[pid=2308/tid=2322] ppid=2306 vsize=13984976 memory=158592 CPUtime=0.06 cores=0,2,4,6
/proc/2308/task/2322/stat : 2322 (java) S 2306 2306 31727 0 -1 1077944384 787 0 0 0 3 3 0 0 20 0 15 0 95220727 14320615424 39648 33554432000 4194304 4196468 140729445466096 140453584235696 140454118398594 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20746240 140729445471389 140729445471564 140729445471564 140729445474255 0
Current children cumulated CPU time: 244.68 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 159976 KiB

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

[startup+240.022 s]
# the end of solver process 2306 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=244.506 s, system=0.198072 s

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 240.022
CPU time (s): 244.704
CPU user time (s): 244.506
CPU system time (s): 0.198072
CPU usage (%): 101.95
Max. virtual memory (cumulated for all children) (KiB): 13996368
Max. memory (cumulated for all children) (KiB): 217412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 244.506
system time used= 0.198072
maximum resident set size= 222172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52998
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8174
involuntary context switches= 265


# summary of solver processes directly reported to runsolver:
#   pid: 2306
#   total CPU time (s): 244.704
#   total CPU user time (s): 244.506
#   total CPU system time (s): 0.198072

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.35374 second user time and 2.30517 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 4270351

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