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

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2017-07-26	SAT (TO)	1569	2520.0701	2457.03

0.25/0.39	c version: 2017-07-26
0.25/0.39	c seed: 902903820
0.25/0.39	c timeout: 2520
0.25/0.39	c memlimit: 11000
0.25/0.39	c nbcore: 4
0.25/0.41	c Parsing instance...
2.54/1.20	c Parsing done, starting first complete search...
2.54/1.28	o 2105
2.54/1.28	o 2029
2.54/1.29	o 1949
2.54/1.30	o 1946
2.90/1.31	o 1912
3.19/1.45	o 1906
3.19/1.48	o 1878
3.50/1.50	o 1844
3.81/1.61	o 1843
3.81/1.64	o 1795
4.38/1.87	o 1793
4.59/2.00	o 1789
4.75/2.01	o 1780
4.75/2.01	o 1742
4.75/2.01	o 1731
4.75/2.02	o 1721
5.35/2.55	o 1719
5.35/2.57	o 1715
5.99/3.12	o 1707
6.68/3.86	o 1691
6.68/3.86	o 1688
6.68/3.87	o 1686
6.68/3.87	o 1683
7.30/4.45	o 1681
7.65/4.79	o 1680
7.65/4.79	o 1675
7.65/4.79	o 1671
9.67/6.74	o 1642
10.69/7.79	o 1604
18.25/15.20	c First complete search done, starting ALNS search...
210.89/202.00	o 1569
1821.25/1775.08	c ALNS done, starting second complete search
1821.25/1775.08	c Best operator: ValGuided(297,MinGroup)_FirstFail(valLearnMax) with improvement of: 35
2520.01/2457.02	s SATISFIABLE
2520.01/2457.02	v <instantiation>
2520.01/2457.02	v 	<list>
2520.01/2457.02	v 		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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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]
2520.01/2457.02	v 	</list>
2520.01/2457.02	v 	<values>
2520.01/2457.02	v 		0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 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 1 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 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 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 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 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 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 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 1 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 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 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 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 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 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 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 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 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 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 33 99 29 100 27 93 55 80 42 61 100 85 56 77 66 34 81 12 49 100 74 87 44 69 100 20 49 64 48 46 10 96 100 
2520.01/2457.02	v 	</values>
2520.01/2457.02	v </instantiation>

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 (14998 MiB free)
  memory of node 1: 16384 MiB (14626 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274760-1502827421/watcher-4274760-1502827421 -o /tmp/evaluation-result-4274760-1502827421/solver-4274760-1502827421 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13744 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 902903820 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274760-1502827421.xml 

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

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

solver pid=6258, runsolver pid=6255

[startup+0.100091 s]*
/proc/loadavg: 1.79 1.64 1.57 3/204 6264
/proc/meminfo: memFree=30329848/32770624 swapFree=67108860/67108860
[pid=6258] ppid=6255 vsize=13440536 memory=15724 CPUtime=0.02 cores=0,2,4,6
/proc/6258/stat : 6258 (java) S 6255 6258 12395 0 -1 1077944320 3787 0 0 0 1 1 0 0 20 0 7 0 124653553 13763108864 3931 18446744073709551615 4194304 4196468 140728205178752 140728205161296 140234922032887 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
/proc/6258/statm: 3360134 3931 2011 1 0 3349631 0
[pid=6258/tid=6260] ppid=6255 vsize=13440536 memory=7078086954469309281 CPUtime=0.01 cores=0,2,4,6
/proc/6258/task/6260/stat : 6260 (java) R 6255 6258 12395 0 -1 4202560 2505 0 0 0 1 0 0 0 20 0 7 0 124653562 13763108864 3997 18446744073709551615 4194304 4196468 140728205178752 140234926275344 140234907715379 0 4 1 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6261] ppid=6255 vsize=13440536 memory=3461361991549258287 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6261/stat : 6261 (java) S 6255 6258 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 124653562 13763108864 3997 18446744073709551615 4194304 4196468 140728205178752 140234856467344 140234922043093 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6262] ppid=6255 vsize=13440536 memory=140179291616896 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6262/stat : 6262 (java) S 6255 6258 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 124653562 13763108864 3997 18446744073709551615 4194304 4196468 140728205178752 140234855414544 140234922043093 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6263] ppid=6255 vsize=13440536 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6263/stat : 6263 (java) S 6255 6258 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 124653562 13763108864 3997 18446744073709551615 4194304 4196468 140728205178752 140234854362256 140234922043093 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6264] ppid=6255 vsize=13440536 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6264/stat : 6264 (java) S 6255 6258 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 124653562 13763108864 3997 18446744073709551615 4194304 4196468 140728205178752 140234853309456 140234922043093 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6265] ppid=6255 vsize=13440536 memory=140179291616896 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6265/stat : 6265 (java) S 6255 6258 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 124653564 13763108864 3997 18446744073709551615 4194304 4196468 140728205178752 140234401101936 140234922044034 0 0 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13440536 KiB
Current children cumulated memory: 15724 KiB

[startup+0.210145 s]*
/proc/loadavg: 1.79 1.64 1.57 3/213 6273
/proc/meminfo: memFree=30322752/32770624 swapFree=67108860/67108860
[pid=6258] ppid=6255 vsize=13975920 memory=30376 CPUtime=0.09 cores=0,2,4,6
/proc/6258/stat : 6258 (java) S 6255 6258 12395 0 -1 1077944320 6894 0 0 0 8 1 0 0 20 0 15 0 124653553 14311342080 7594 18446744073709551615 4194304 4196468 140728205178752 140728205161296 140234922032887 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
/proc/6258/statm: 3493980 7594 3374 1 0 3482759 0
[pid=6258/tid=6260] ppid=6255 vsize=13975920 memory=8390339637985935414 CPUtime=0.07 cores=0,2,4,6
/proc/6258/task/6260/stat : 6260 (java) R 6255 6258 12395 0 -1 4202560 4926 0 0 0 6 1 0 0 20 0 15 0 124653562 14311342080 7594 18446744073709551615 4194304 4196468 140728205178752 140234926262632 140234922054813 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6261] ppid=6255 vsize=13975920 memory=4294967627 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6261/stat : 6261 (java) S 6255 6258 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124653562 14311342080 7594 18446744073709551615 4194304 4196468 140728205178752 140234856467344 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6262] ppid=6255 vsize=13975920 memory=140179291623411 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6262/stat : 6262 (java) S 6255 6258 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124653562 14311342080 7594 18446744073709551615 4194304 4196468 140728205178752 140234855414544 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6263] ppid=6255 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6263/stat : 6263 (java) S 6255 6258 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124653562 14311342080 7594 18446744073709551615 4194304 4196468 140728205178752 140234854362256 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6264] ppid=6255 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6264/stat : 6264 (java) S 6255 6258 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124653562 14311342080 7594 18446744073709551615 4194304 4196468 140728205178752 140234853309456 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6265] ppid=6255 vsize=13975920 memory=140179291616896 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6265/stat : 6265 (java) S 6255 6258 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124653564 14311342080 7594 18446744073709551615 4194304 4196468 140728205178752 140234401101936 140234922044034 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6266] ppid=6255 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6266/stat : 6266 (java) S 6255 6258 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124653564 14311342080 7594 18446744073709551615 4194304 4196468 140728205178752 140234400047904 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6267] ppid=6255 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6267/stat : 6267 (java) S 6255 6258 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124653564 14311342080 7594 18446744073709551615 4194304 4196468 140728205178752 140234398995568 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6268] ppid=6255 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6268/stat : 6268 (java) S 6255 6258 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124653567 14311342080 7594 18446744073709551615 4194304 4196468 140728205178752 140234397943888 140234922051483 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6269] ppid=6255 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6269/stat : 6269 (java) S 6255 6258 12395 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 124653567 14311342080 7594 18446744073709551615 4194304 4196468 140728205178752 140234396891760 140234922044034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6270] ppid=6255 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6270/stat : 6270 (java) S 6255 6258 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124653567 14311342080 7594 18446744073709551615 4194304 4196468 140728205178752 140234395838960 140234922044034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6271] ppid=6255 vsize=13975920 memory=140179291616896 CPUtime=0.01 cores=0,2,4,6
/proc/6258/task/6271/stat : 6271 (java) R 6255 6258 12395 0 -1 4202560 293 0 0 0 1 0 0 0 20 0 15 0 124653567 14311342080 7594 18446744073709551615 4194304 4196468 140728205178752 140234394786672 140234922044822 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6272] ppid=6255 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6272/stat : 6272 (java) S 6255 6258 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124653567 14311342080 7594 18446744073709551615 4194304 4196468 140728205178752 140234393734112 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6273] ppid=6255 vsize=13975920 memory=140179291616896 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6273/stat : 6273 (java) S 6255 6258 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124653572 14311342080 7594 18446744073709551615 4194304 4196468 140728205178752 140234392680880 140234922044034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 30376 KiB

[startup+0.310477 s]*
/proc/loadavg: 1.79 1.64 1.57 3/213 6273
/proc/meminfo: memFree=30310164/32770624 swapFree=67108860/67108860
[pid=6258] ppid=6255 vsize=13975920 memory=39808 CPUtime=0.25 cores=0,2,4,6
/proc/6258/stat : 6258 (java) S 6255 6258 12395 0 -1 1077944320 10523 0 0 0 22 3 0 0 20 0 15 0 124653553 14311342080 9952 18446744073709551615 4194304 4196468 140728205178752 140728205161296 140234922032887 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
/proc/6258/statm: 3493980 9952 3543 1 0 3482759 0
[pid=6258/tid=6260] ppid=6255 vsize=13975920 memory=6933928925625698159 CPUtime=0.17 cores=0,2,4,6
/proc/6258/task/6260/stat : 6260 (java) R 6255 6258 12395 0 -1 4202560 8378 0 0 0 15 2 0 0 20 0 15 0 124653562 14311342080 9952 18446744073709551615 4194304 4196468 140728205178752 140234926244048 140234906113404 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6261] ppid=6255 vsize=13975920 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6261/stat : 6261 (java) S 6255 6258 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124653562 14311342080 9952 18446744073709551615 4194304 4196468 140728205178752 140234856467344 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6262] ppid=6255 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6262/stat : 6262 (java) S 6255 6258 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124653562 14311342080 9952 18446744073709551615 4194304 4196468 140728205178752 140234855414544 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6263] ppid=6255 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6263/stat : 6263 (java) S 6255 6258 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124653562 14311342080 9952 18446744073709551615 4194304 4196468 140728205178752 140234854362256 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6264] ppid=6255 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6264/stat : 6264 (java) S 6255 6258 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124653562 14311342080 9952 18446744073709551615 4194304 4196468 140728205178752 140234853309456 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6265] ppid=6255 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6265/stat : 6265 (java) S 6255 6258 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 124653564 14311342080 9952 18446744073709551615 4194304 4196468 140728205178752 140234401101936 140234922044034 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6266] ppid=6255 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6266/stat : 6266 (java) S 6255 6258 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124653564 14311342080 9952 18446744073709551615 4194304 4196468 140728205178752 140234400047904 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6267] ppid=6255 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6267/stat : 6267 (java) S 6255 6258 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124653564 14311342080 9952 18446744073709551615 4194304 4196468 140728205178752 140234398995568 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6268] ppid=6255 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6268/stat : 6268 (java) S 6255 6258 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124653567 14311342080 9952 18446744073709551615 4194304 4196468 140728205178752 140234397943888 140234922051483 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6269] ppid=6255 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6258/task/6269/stat : 6269 (java) S 6255 6258 12395 0 -1 1077944384 365 0 0 0 1 0 0 0 20 0 15 0 124653567 14311342080 9952 18446744073709551615 4194304 4196468 140728205178752 140234396891760 140234922044034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6270] ppid=6255 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6270/stat : 6270 (java) S 6255 6258 12395 0 -1 1077944384 143 0 0 0 0 0 0 0 20 0 15 0 124653567 14311342080 9952 18446744073709551615 4194304 4196468 140728205178752 140234395838960 140234922044034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6271] ppid=6255 vsize=13975920 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/6258/task/6271/stat : 6271 (java) R 6255 6258 12395 0 -1 1077944384 382 0 0 0 5 0 0 0 20 0 15 0 124653567 14311342080 9952 18446744073709551615 4194304 4196468 140728205178752 140234394786672 140234922044034 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6272] ppid=6255 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6272/stat : 6272 (java) S 6255 6258 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124653567 14311342080 9952 18446744073709551615 4194304 4196468 140728205178752 140234393734112 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6273] ppid=6255 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6273/stat : 6273 (java) S 6255 6258 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124653572 14311342080 9952 18446744073709551615 4194304 4196468 140728205178752 140234392680880 140234922044034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39808 KiB

[startup+0.700954 s]
/proc/loadavg: 1.79 1.64 1.57 4/213 6273
/proc/meminfo: memFree=30296440/32770624 swapFree=67108860/67108860
[pid=6258] ppid=6255 vsize=13977988 memory=68472 CPUtime=1.08 cores=0,2,4,6
/proc/6258/stat : 6258 (java) S 6255 6258 12395 0 -1 1077944320 13809 0 0 0 103 5 0 0 20 0 15 0 124653553 14313459712 17118 18446744073709551615 4194304 4196468 140728205178752 140728205161296 140234922032887 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
/proc/6258/statm: 3494497 17118 3734 1 0 3483271 0
[pid=6258/tid=6260] ppid=6255 vsize=13977988 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/6258/task/6260/stat : 6260 (java) R 6255 6258 12395 0 -1 4202560 10350 0 0 0 51 4 0 0 20 0 15 0 124653562 14313459712 17118 18446744073709551615 4194304 4196468 140728205178752 140234926267808 140234906113374 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6261] ppid=6255 vsize=13977988 memory=6737 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6261/stat : 6261 (java) S 6255 6258 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124653562 14313459712 17118 18446744073709551615 4194304 4196468 140728205178752 140234856467344 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6262] ppid=6255 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6262/stat : 6262 (java) S 6255 6258 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124653562 14313459712 17118 18446744073709551615 4194304 4196468 140728205178752 140234855414544 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6263] ppid=6255 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6263/stat : 6263 (java) S 6255 6258 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124653562 14313459712 17118 18446744073709551615 4194304 4196468 140728205178752 140234854362256 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6264] ppid=6255 vsize=13977988 memory=905 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6264/stat : 6264 (java) S 6255 6258 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124653562 14313459712 17118 18446744073709551615 4194304 4196468 140728205178752 140234853309456 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6265] ppid=6255 vsize=13977988 memory=140179142651375 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6265/stat : 6265 (java) S 6255 6258 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 124653564 14313459712 17118 18446744073709551615 4194304 4196468 140728205178752 140234401101936 140234922044034 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6266] ppid=6255 vsize=13977988 memory=6935649255894896720 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6266/stat : 6266 (java) S 6255 6258 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124653564 14313459712 17118 18446744073709551615 4194304 4196468 140728205178752 140234400047904 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6267] ppid=6255 vsize=13977988 memory=4638778398332698720 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6267/stat : 6267 (java) S 6255 6258 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124653564 14313459712 17118 18446744073709551615 4194304 4196468 140728205178752 140234398995568 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6268] ppid=6255 vsize=13977988 memory=7229491607711535185 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6268/stat : 6268 (java) S 6255 6258 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124653567 14313459712 17118 18446744073709551615 4194304 4196468 140728205178752 140234397943888 140234922051483 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6269] ppid=6255 vsize=13977988 memory=6935649255759570752 CPUtime=0.14 cores=0,2,4,6
/proc/6258/task/6269/stat : 6269 (java) R 6255 6258 12395 0 -1 1077944384 775 0 0 0 14 0 0 0 20 0 15 0 124653567 14313459712 17118 18446744073709551615 4194304 4196468 140728205178752 140234396891760 140234922044034 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6270] ppid=6255 vsize=13977988 memory=6935649255759568960 CPUtime=0.12 cores=0,2,4,6
/proc/6258/task/6270/stat : 6270 (java) S 6255 6258 12395 0 -1 1077944384 496 0 0 0 12 0 0 0 20 0 15 0 124653567 14313459712 17118 18446744073709551615 4194304 4196468 140728205178752 140234395838960 140234922044034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6271] ppid=6255 vsize=13977988 memory=5859271421084259688 CPUtime=0.24 cores=0,2,4,6
/proc/6258/task/6271/stat : 6271 (java) R 6255 6258 12395 0 -1 4202560 808 0 0 0 24 0 0 0 20 0 15 0 124653567 14313459712 17118 18446744073709551615 4194304 4196468 140728205178752 140234394784464 140234922044822 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6272] ppid=6255 vsize=13977988 memory=6935651454782824512 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6272/stat : 6272 (java) S 6255 6258 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124653567 14313459712 17118 18446744073709551615 4194304 4196468 140728205178752 140234393734112 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6273] ppid=6255 vsize=13977988 memory=6935649255759568960 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6273/stat : 6273 (java) S 6255 6258 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124653572 14313459712 17118 18446744073709551615 4194304 4196468 140728205178752 140234392680880 140234922044034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 68472 KiB

[startup+1.5008 s]
/proc/loadavg: 1.79 1.64 1.57 6/213 6273
/proc/meminfo: memFree=30255496/32770624 swapFree=67108860/67108860
[pid=6258] ppid=6255 vsize=13982084 memory=170664 CPUtime=3.5 cores=0,2,4,6
/proc/6258/stat : 6258 (java) S 6255 6258 12395 0 -1 1077944320 31561 0 0 0 341 9 0 0 20 0 15 0 124653553 14317654016 42666 18446744073709551615 4194304 4196468 140728205178752 140728205161296 140234922032887 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
/proc/6258/statm: 3495521 42666 3776 1 0 3484295 0
[pid=6258/tid=6260] ppid=6255 vsize=13982084 memory=0 CPUtime=1.34 cores=0,2,4,6
/proc/6258/task/6260/stat : 6260 (java) R 6255 6258 12395 0 -1 4202560 15131 0 0 0 128 6 0 0 20 0 15 0 124653562 14317654016 42666 18446744073709551615 4194304 4196468 140728205178752 140234926267504 140234532183389 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6261] ppid=6255 vsize=13982084 memory=-7751062316387021378 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6261/stat : 6261 (java) S 6255 6258 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124653562 14317654016 42666 18446744073709551615 4194304 4196468 140728205178752 140234856467344 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6262] ppid=6255 vsize=13982084 memory=6737 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6262/stat : 6262 (java) S 6255 6258 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124653562 14317654016 42666 18446744073709551615 4194304 4196468 140728205178752 140234855414544 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6263] ppid=6255 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6263/stat : 6263 (java) S 6255 6258 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 124653562 14317654016 42666 18446744073709551615 4194304 4196468 140728205178752 140234854362256 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6264] ppid=6255 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6264/stat : 6264 (java) S 6255 6258 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 124653562 14317654016 42666 18446744073709551615 4194304 4196468 140728205178752 140234853309456 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6265] ppid=6255 vsize=13982084 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6265/stat : 6265 (java) S 6255 6258 12395 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 15 0 124653564 14317654016 42666 18446744073709551615 4194304 4196468 140728205178752 140234401101936 140234922044034 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6266] ppid=6255 vsize=13982084 memory=140179142726768 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6266/stat : 6266 (java) S 6255 6258 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 124653564 14317654016 42666 18446744073709551615 4194304 4196468 140728205178752 140234400047904 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6267] ppid=6255 vsize=13982084 memory=140179142726864 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6267/stat : 6267 (java) S 6255 6258 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 124653564 14317654016 42666 18446744073709551615 4194304 4196468 140728205178752 140234398995568 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6268] ppid=6255 vsize=13982084 memory=140179142726960 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6268/stat : 6268 (java) S 6255 6258 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124653567 14317654016 42666 18446744073709551615 4194304 4196468 140728205178752 140234397943888 140234922051483 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6269] ppid=6255 vsize=13982084 memory=140179142727056 CPUtime=0.73 cores=0,2,4,6
/proc/6258/task/6269/stat : 6269 (java) R 6255 6258 12395 0 -1 4202560 3848 0 0 0 73 0 0 0 20 0 15 0 124653567 14317654016 42666 18446744073709551615 4194304 4196468 140728205178752 140234396877856 140234906795099 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6270] ppid=6255 vsize=13982084 memory=140179142727152 CPUtime=0.74 cores=0,2,4,6
/proc/6258/task/6270/stat : 6270 (java) R 6255 6258 12395 0 -1 4202560 4414 0 0 0 73 1 0 0 20 0 15 0 124653567 14317654016 42666 18446744073709551615 4194304 4196468 140728205178752 140234395825744 140234905519700 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6271] ppid=6255 vsize=13982084 memory=140179142727248 CPUtime=0.66 cores=0,2,4,6
/proc/6258/task/6271/stat : 6271 (java) S 6255 6258 12395 0 -1 1077944384 6370 0 0 0 66 0 0 0 20 0 15 0 124653567 14317654016 42666 18446744073709551615 4194304 4196468 140728205178752 140234394786672 140234922044034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6272] ppid=6255 vsize=13982084 memory=140179142745040 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6272/stat : 6272 (java) S 6255 6258 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124653567 14317654016 42666 18446744073709551615 4194304 4196468 140728205178752 140234393734112 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6273] ppid=6255 vsize=13982084 memory=144314480 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6273/stat : 6273 (java) S 6255 6258 12395 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 124653572 14317654016 42666 18446744073709551615 4194304 4196468 140728205178752 140234392680880 140234922044034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0

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

/proc/6258/task/6260/stat : 6260 (java) R 6255 6258 12395 0 -1 4202560 106615 0 0 0 229751 63 0 0 20 0 15 0 124653562 14317654016 146508 18446744073709551615 4194304 4196468 140728205178752 140234926270800 140234533329536 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6261] ppid=6255 vsize=13982084 memory=583360 CPUtime=18.2 cores=0,2,4,6
/proc/6258/task/6261/stat : 6261 (java) S 6255 6258 12395 0 -1 1077944384 15817 0 0 0 1772 48 0 0 20 0 15 0 124653562 14317654016 146508 18446744073709551615 4194304 4196468 140728205178752 140234856467344 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6262] ppid=6255 vsize=13982084 memory=583568 CPUtime=18.21 cores=0,2,4,6
/proc/6258/task/6262/stat : 6262 (java) S 6255 6258 12395 0 -1 1077944384 13298 0 0 0 1771 50 0 0 20 0 15 0 124653562 14317654016 146508 18446744073709551615 4194304 4196468 140728205178752 140234855414544 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6263] ppid=6255 vsize=13982084 memory=582344 CPUtime=18.19 cores=0,2,4,6
/proc/6258/task/6263/stat : 6263 (java) S 6255 6258 12395 0 -1 1077944384 14928 0 0 0 1767 52 0 0 20 0 15 0 124653562 14317654016 146508 18446744073709551615 4194304 4196468 140728205178752 140234854362256 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6264] ppid=6255 vsize=13982084 memory=579780 CPUtime=18.2 cores=0,2,4,6
/proc/6258/task/6264/stat : 6264 (java) S 6255 6258 12395 0 -1 1077944384 14871 0 0 0 1771 49 0 0 20 0 15 0 124653562 14317654016 146508 18446744073709551615 4194304 4196468 140728205178752 140234853309456 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6265] ppid=6255 vsize=13982084 memory=581184 CPUtime=3.67 cores=0,2,4,6
/proc/6258/task/6265/stat : 6265 (java) S 6255 6258 12395 0 -1 1077944384 63315 0 0 0 315 52 0 0 20 0 15 0 124653564 14317654016 146508 18446744073709551615 4194304 4196468 140728205178752 140234401101936 140234922044034 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6266] ppid=6255 vsize=13982084 memory=583360 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6266/stat : 6266 (java) S 6255 6258 12395 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 124653564 14317654016 146508 18446744073709551615 4194304 4196468 140728205178752 140234400047968 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6267] ppid=6255 vsize=13982084 memory=586032 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6267/stat : 6267 (java) S 6255 6258 12395 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 124653564 14317654016 146508 18446744073709551615 4194304 4196468 140728205178752 140234398995584 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6268] ppid=6255 vsize=13982084 memory=583360 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6268/stat : 6268 (java) S 6255 6258 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124653567 14317654016 146508 18446744073709551615 4194304 4196468 140728205178752 140234397943888 140234922051483 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6269] ppid=6255 vsize=13982084 memory=583360 CPUtime=2.36 cores=0,2,4,6
/proc/6258/task/6269/stat : 6269 (java) S 6255 6258 12395 0 -1 1077944384 16741 0 0 0 233 3 0 0 20 0 15 0 124653567 14317654016 146508 18446744073709551615 4194304 4196468 140728205178752 140234396891760 140234922044034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6270] ppid=6255 vsize=13982084 memory=7680170660397595203 CPUtime=2.34 cores=0,2,4,6
/proc/6258/task/6270/stat : 6270 (java) S 6255 6258 12395 0 -1 1077944384 19172 0 0 0 231 3 0 0 20 0 15 0 124653567 14317654016 146508 18446744073709551615 4194304 4196468 140728205178752 140234395838960 140234922044034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6271] ppid=6255 vsize=13982084 memory=581312 CPUtime=1.05 cores=0,2,4,6
/proc/6258/task/6271/stat : 6271 (java) S 6255 6258 12395 0 -1 1077944384 24070 0 0 0 103 2 0 0 20 0 15 0 124653567 14317654016 146508 18446744073709551615 4194304 4196468 140728205178752 140234394786672 140234922044034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6272] ppid=6255 vsize=13982084 memory=582844 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6272/stat : 6272 (java) S 6255 6258 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124653567 14317654016 146508 18446744073709551615 4194304 4196468 140728205178752 140234393734112 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6273] ppid=6255 vsize=13982084 memory=3904 CPUtime=1.39 cores=0,2,4,6
/proc/6258/task/6273/stat : 6273 (java) S 6255 6258 12395 0 -1 1077944384 921 0 0 0 68 71 0 0 20 0 15 0 124653572 14317654016 146508 18446744073709551615 4194304 4196468 140728205178752 140234392680880 140234922044034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
Current children cumulated CPU time: 2381.86 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 586032 KiB

[startup+2382.3 s]
/proc/loadavg: 1.26 1.38 1.44 3/213 6525
/proc/meminfo: memFree=29314184/32770624 swapFree=67108860/67108860
[pid=6258] ppid=6255 vsize=13982084 memory=602320 CPUtime=2443.35 cores=0,2,4,6
/proc/6258/stat : 6258 (java) S 6255 6258 12395 0 -1 1077944320 297503 0 0 0 243967 368 0 0 20 0 15 0 124653553 14317654016 150580 18446744073709551615 4194304 4196468 140728205178752 140728205161296 140234922032887 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
/proc/6258/statm: 3495521 150580 3833 1 0 3484295 0
[pid=6258/tid=6260] ppid=6255 vsize=13982084 memory=552876 CPUtime=2357.48 cores=0,2,4,6
/proc/6258/task/6260/stat : 6260 (java) R 6255 6258 12395 0 -1 4202560 108128 0 0 0 235684 64 0 0 20 0 15 0 124653562 14317654016 150580 18446744073709551615 4194304 4196468 140728205178752 140234926271120 140234533329651 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6261] ppid=6255 vsize=13982084 memory=578436 CPUtime=18.69 cores=0,2,4,6
/proc/6258/task/6261/stat : 6261 (java) S 6255 6258 12395 0 -1 1077944384 16308 0 0 0 1820 49 0 0 20 0 15 0 124653562 14317654016 150580 18446744073709551615 4194304 4196468 140728205178752 140234856467344 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6262] ppid=6255 vsize=13982084 memory=604884 CPUtime=18.71 cores=0,2,4,6
/proc/6258/task/6262/stat : 6262 (java) S 6255 6258 12395 0 -1 1077944384 13807 0 0 0 1819 52 0 0 20 0 15 0 124653562 14317654016 150580 18446744073709551615 4194304 4196468 140728205178752 140234855414544 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6263] ppid=6255 vsize=13982084 memory=604884 CPUtime=18.68 cores=0,2,4,6
/proc/6258/task/6263/stat : 6263 (java) S 6255 6258 12395 0 -1 1077944384 15452 0 0 0 1815 53 0 0 20 0 15 0 124653562 14317654016 150580 18446744073709551615 4194304 4196468 140728205178752 140234854362256 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6264] ppid=6255 vsize=13982084 memory=280358286624992 CPUtime=18.69 cores=0,2,4,6
/proc/6258/task/6264/stat : 6264 (java) S 6255 6258 12395 0 -1 1077944384 15353 0 0 0 1819 50 0 0 20 0 15 0 124653562 14317654016 150580 18446744073709551615 4194304 4196468 140728205178752 140234853309456 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6265] ppid=6255 vsize=13982084 memory=553912 CPUtime=3.77 cores=0,2,4,6
/proc/6258/task/6265/stat : 6265 (java) S 6255 6258 12395 0 -1 1077944384 66002 0 0 0 324 53 0 0 20 0 15 0 124653564 14317654016 150580 18446744073709551615 4194304 4196468 140728205178752 140234401101936 140234922044034 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6266] ppid=6255 vsize=13982084 memory=552104 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6266/stat : 6266 (java) S 6255 6258 12395 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 124653564 14317654016 150580 18446744073709551615 4194304 4196468 140728205178752 140234400047968 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6267] ppid=6255 vsize=13982084 memory=604884 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6267/stat : 6267 (java) S 6255 6258 12395 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 124653564 14317654016 150580 18446744073709551615 4194304 4196468 140728205178752 140234398995584 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6268] ppid=6255 vsize=13982084 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6268/stat : 6268 (java) S 6255 6258 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124653567 14317654016 150580 18446744073709551615 4194304 4196468 140728205178752 140234397943888 140234922051483 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6269] ppid=6255 vsize=13982084 memory=604884 CPUtime=2.36 cores=0,2,4,6
/proc/6258/task/6269/stat : 6269 (java) S 6255 6258 12395 0 -1 1077944384 16741 0 0 0 233 3 0 0 20 0 15 0 124653567 14317654016 150580 18446744073709551615 4194304 4196468 140728205178752 140234396891760 140234922044034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6270] ppid=6255 vsize=13982084 memory=604884 CPUtime=2.39 cores=0,2,4,6
/proc/6258/task/6270/stat : 6270 (java) S 6255 6258 12395 0 -1 1077944384 19258 0 0 0 236 3 0 0 20 0 15 0 124653567 14317654016 150580 18446744073709551615 4194304 4196468 140728205178752 140234395838960 140234922044034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6271] ppid=6255 vsize=13982084 memory=602320 CPUtime=1.05 cores=0,2,4,6
/proc/6258/task/6271/stat : 6271 (java) S 6255 6258 12395 0 -1 1077944384 24070 0 0 0 103 2 0 0 20 0 15 0 124653567 14317654016 150580 18446744073709551615 4194304 4196468 140728205178752 140234394786672 140234922044034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6272] ppid=6255 vsize=13982084 memory=1840 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6272/stat : 6272 (java) S 6255 6258 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124653567 14317654016 150580 18446744073709551615 4194304 4196468 140728205178752 140234393734112 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6273] ppid=6255 vsize=13982084 memory=1012 CPUtime=1.43 cores=0,2,4,6
/proc/6258/task/6273/stat : 6273 (java) S 6255 6258 12395 0 -1 1077944384 925 0 0 0 70 73 0 0 20 0 15 0 124653572 14317654016 150580 18446744073709551615 4194304 4196468 140728205178752 140234392680880 140234922044034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
Current children cumulated CPU time: 2443.35 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 602320 KiB

[startup+2442.3 s]
/proc/loadavg: 1.48 1.42 1.45 3/217 6542
/proc/meminfo: memFree=29421260/32770624 swapFree=67108860/67108860
[pid=6258] ppid=6255 vsize=13982084 memory=564120 CPUtime=2504.95 cores=0,2,4,6
/proc/6258/stat : 6258 (java) S 6255 6258 12395 0 -1 1077944320 305103 0 0 0 250120 375 0 0 20 0 15 0 124653553 14317654016 141030 18446744073709551615 4194304 4196468 140728205178752 140728205161296 140234922032887 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
/proc/6258/statm: 3495521 141030 3833 1 0 3484295 0
[pid=6258/tid=6260] ppid=6255 vsize=13982084 memory=584640 CPUtime=2416.76 cores=0,2,4,6
/proc/6258/task/6260/stat : 6260 (java) R 6255 6258 12395 0 -1 4202560 111173 0 0 0 241610 66 0 0 20 0 15 0 124653562 14317654016 141030 18446744073709551615 4194304 4196468 140728205178752 140234926271120 140234534378106 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6261] ppid=6255 vsize=13982084 memory=569248 CPUtime=19.24 cores=0,2,4,6
/proc/6258/task/6261/stat : 6261 (java) S 6255 6258 12395 0 -1 1077944384 16772 0 0 0 1875 49 0 0 20 0 15 0 124653562 14317654016 141030 18446744073709551615 4194304 4196468 140728205178752 140234856467344 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6262] ppid=6255 vsize=13982084 memory=566684 CPUtime=19.25 cores=0,2,4,6
/proc/6258/task/6262/stat : 6262 (java) S 6255 6258 12395 0 -1 1077944384 14280 0 0 0 1873 52 0 0 20 0 15 0 124653562 14317654016 141030 18446744073709551615 4194304 4196468 140728205178752 140234855414544 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6263] ppid=6255 vsize=13982084 memory=566684 CPUtime=19.23 cores=0,2,4,6
/proc/6258/task/6263/stat : 6263 (java) S 6255 6258 12395 0 -1 1077944384 15811 0 0 0 1869 54 0 0 20 0 15 0 124653562 14317654016 141030 18446744073709551615 4194304 4196468 140728205178752 140234854362256 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6264] ppid=6255 vsize=13982084 memory=796 CPUtime=19.22 cores=0,2,4,6
/proc/6258/task/6264/stat : 6264 (java) S 6255 6258 12395 0 -1 1077944384 15838 0 0 0 1872 50 0 0 20 0 15 0 124653562 14317654016 141030 18446744073709551615 4194304 4196468 140728205178752 140234853309456 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6265] ppid=6255 vsize=13982084 memory=15884 CPUtime=3.88 cores=0,2,4,6
/proc/6258/task/6265/stat : 6265 (java) S 6255 6258 12395 0 -1 1077944384 68755 0 0 0 334 54 0 0 20 0 15 0 124653564 14317654016 141030 18446744073709551615 4194304 4196468 140728205178752 140234401101936 140234922044034 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6266] ppid=6255 vsize=13982084 memory=558964 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6266/stat : 6266 (java) S 6255 6258 12395 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 124653564 14317654016 141030 18446744073709551615 4194304 4196468 140728205178752 140234400047968 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6267] ppid=6255 vsize=13982084 memory=558964 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6267/stat : 6267 (java) S 6255 6258 12395 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 124653564 14317654016 141030 18446744073709551615 4194304 4196468 140728205178752 140234398995584 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6268] ppid=6255 vsize=13982084 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6268/stat : 6268 (java) S 6255 6258 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124653567 14317654016 141030 18446744073709551615 4194304 4196468 140728205178752 140234397943888 140234922051483 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6269] ppid=6255 vsize=13982084 memory=2460 CPUtime=2.36 cores=0,2,4,6
/proc/6258/task/6269/stat : 6269 (java) S 6255 6258 12395 0 -1 1077944384 16743 0 0 0 233 3 0 0 20 0 15 0 124653567 14317654016 141030 18446744073709551615 4194304 4196468 140728205178752 140234396891760 140234922044034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6270] ppid=6255 vsize=13982084 memory=574380 CPUtime=2.39 cores=0,2,4,6
/proc/6258/task/6270/stat : 6270 (java) S 6255 6258 12395 0 -1 1077944384 19260 0 0 0 236 3 0 0 20 0 15 0 124653567 14317654016 141030 18446744073709551615 4194304 4196468 140728205178752 140234395838960 140234922044034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6271] ppid=6255 vsize=13982084 memory=576944 CPUtime=1.05 cores=0,2,4,6
/proc/6258/task/6271/stat : 6271 (java) S 6255 6258 12395 0 -1 1077944384 24072 0 0 0 103 2 0 0 20 0 15 0 124653567 14317654016 141030 18446744073709551615 4194304 4196468 140728205178752 140234394786672 140234922044034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6272] ppid=6255 vsize=13982084 memory=3172 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6272/stat : 6272 (java) S 6255 6258 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124653567 14317654016 141030 18446744073709551615 4194304 4196468 140728205178752 140234393734112 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6273] ppid=6255 vsize=13982084 memory=569248 CPUtime=1.47 cores=0,2,4,6
/proc/6258/task/6273/stat : 6273 (java) S 6255 6258 12395 0 -1 1077944384 940 0 0 0 71 76 0 0 20 0 15 0 124653572 14317654016 141030 18446744073709551615 4194304 4196468 140728205178752 140234392680880 140234922044034 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
Current children cumulated CPU time: 2504.95 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 564120 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2457 s]*
/proc/loadavg: 1.59 1.45 1.46 3/217 6543
/proc/meminfo: memFree=29284692/32770624 swapFree=67108860/67108860
[pid=6258] ppid=6255 vsize=13982084 memory=541036 CPUtime=2520.01 cores=0,2,4,6
/proc/6258/stat : 6258 (java) S 6255 6258 12395 0 -1 1077944320 305149 0 0 0 251625 376 0 0 20 0 15 0 124653553 14317654016 135259 18446744073709551615 4194304 4196468 140728205178752 140728205161296 140234922032887 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
/proc/6258/statm: 3495521 135259 3833 1 0 3484295 0
[pid=6258/tid=6260] ppid=6255 vsize=13982084 memory=6933928925625698159 CPUtime=2431.31 cores=0,2,4,6
/proc/6258/task/6260/stat : 6260 (java) R 6255 6258 12395 0 -1 4202560 111209 0 0 0 243065 66 0 0 20 0 15 0 124653562 14317654016 135259 18446744073709551615 4194304 4196468 140728205178752 140234926271232 140234533658540 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6261] ppid=6255 vsize=13982084 memory=4126316290023845779 CPUtime=19.36 cores=0,2,4,6
/proc/6258/task/6261/stat : 6261 (java) S 6255 6258 12395 0 -1 1077944384 16772 0 0 0 1887 49 0 0 20 0 15 0 124653562 14317654016 135259 18446744073709551615 4194304 4196468 140728205178752 140234856467344 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6262] ppid=6255 vsize=13982084 memory=-6874072740163131807 CPUtime=19.36 cores=0,2,4,6
/proc/6258/task/6262/stat : 6262 (java) S 6255 6258 12395 0 -1 1077944384 14280 0 0 0 1884 52 0 0 20 0 15 0 124653562 14317654016 135259 18446744073709551615 4194304 4196468 140728205178752 140234855414544 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6263] ppid=6255 vsize=13982084 memory=7682744562830902035 CPUtime=19.35 cores=0,2,4,6
/proc/6258/task/6263/stat : 6263 (java) S 6255 6258 12395 0 -1 1077944384 15811 0 0 0 1881 54 0 0 20 0 15 0 124653562 14317654016 135259 18446744073709551615 4194304 4196468 140728205178752 140234854362256 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6264] ppid=6255 vsize=13982084 memory=0 CPUtime=19.35 cores=0,2,4,6
/proc/6258/task/6264/stat : 6264 (java) S 6255 6258 12395 0 -1 1077944384 15838 0 0 0 1884 51 0 0 20 0 15 0 124653562 14317654016 135259 18446744073709551615 4194304 4196468 140728205178752 140234853309456 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6265] ppid=6255 vsize=13982084 memory=0 CPUtime=3.9 cores=0,2,4,6
/proc/6258/task/6265/stat : 6265 (java) S 6255 6258 12395 0 -1 1077944384 68763 0 0 0 336 54 0 0 20 0 15 0 124653564 14317654016 135259 18446744073709551615 4194304 4196468 140728205178752 140234401101936 140234922044034 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6266] ppid=6255 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6266/stat : 6266 (java) S 6255 6258 12395 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 124653564 14317654016 135259 18446744073709551615 4194304 4196468 140728205178752 140234400047968 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6267] ppid=6255 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6267/stat : 6267 (java) S 6255 6258 12395 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 124653564 14317654016 135259 18446744073709551615 4194304 4196468 140728205178752 140234398995584 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6268] ppid=6255 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6268/stat : 6268 (java) S 6255 6258 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124653567 14317654016 135259 18446744073709551615 4194304 4196468 140728205178752 140234397943888 140234922051483 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6269] ppid=6255 vsize=13982084 memory=0 CPUtime=2.36 cores=0,2,4,6
/proc/6258/task/6269/stat : 6269 (java) S 6255 6258 12395 0 -1 1077944384 16743 0 0 0 233 3 0 0 20 0 15 0 124653567 14317654016 135259 18446744073709551615 4194304 4196468 140728205178752 140234396891760 140234922044034 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6270] ppid=6255 vsize=13982084 memory=2314885432472851535 CPUtime=2.39 cores=0,2,4,6
/proc/6258/task/6270/stat : 6270 (java) S 6255 6258 12395 0 -1 1077944384 19260 0 0 0 236 3 0 0 20 0 15 0 124653567 14317654016 135259 18446744073709551615 4194304 4196468 140728205178752 140234395838960 140234922044034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6271] ppid=6255 vsize=13982084 memory=3472468475519297161 CPUtime=1.05 cores=0,2,4,6
/proc/6258/task/6271/stat : 6271 (java) S 6255 6258 12395 0 -1 1077944384 24072 0 0 0 103 2 0 0 20 0 15 0 124653567 14317654016 135259 18446744073709551615 4194304 4196468 140728205178752 140234394786672 140234922044034 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6272] ppid=6255 vsize=13982084 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6258/task/6272/stat : 6272 (java) S 6255 6258 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 124653567 14317654016 135259 18446744073709551615 4194304 4196468 140728205178752 140234393734112 140234922043093 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
[pid=6258/tid=6273] ppid=6255 vsize=13982084 memory=140179291616896 CPUtime=1.48 cores=0,2,4,6
/proc/6258/task/6273/stat : 6273 (java) S 6255 6258 12395 0 -1 1077944384 942 0 0 0 72 76 0 0 20 0 15 0 124653572 14317654016 135259 18446744073709551615 4194304 4196468 140728205178752 140234392680880 140234922044034 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10301440 140728205185395 140728205185577 140728205185577 140728205189071 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 541036 KiB

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

[startup+2457.03 s]
# the end of solver process 6258 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.3 s, system=3.77233 s

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

Child status: 143
Real time (s): 2457.03
CPU time (s): 2520.07
CPU user time (s): 2516.3
CPU system time (s): 3.77233
CPU usage (%): 102.566
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 748864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.3
system time used= 3.77233
maximum resident set size= 752516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305371
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 144311
involuntary context switches= 6827


# summary of solver processes directly reported to runsolver:
#   pid: 6258
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2516.3
#   total CPU system time (s): 3.77233

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7009 second user time and 23.2727 second system time

The end

Name	Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml
MD5SUM	72c979ceab0684897cea6dc90bd0dbab
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	783
Best CPU time to get the best result obtained on this benchmark	19994.6
Satisfiable
(Un)Satisfiability was proved
Number of variables	1190
Number of constraints	1155
Number of domains	3
Minimum domain size	1
Maximum domain size	101
Distribution of domain sizes	[{"size":1,"count":34},{"size":2,"count":1122},{"size":101,"count":33}]
Minimum variable degree	0
Maximum variable degree	65
Distribution of variable degrees	[{"degree":0,"count":1},{"degree":1,"count":34},{"degree":2,"count":66},{"degree":4,"count":1056},{"degree":65,"count":33}]
Minimum constraint arity	1
Maximum constraint arity	33
Distribution of constraint arities	[{"arity":1,"count":33},{"arity":3,"count":1056},{"arity":33,"count":66}]
Number of extensional constraints	0
Number of intensional constraints	33
Distribution of constraint types	[{"type":"intension","count":33},{"type":"sum","count":1056},{"type":"count","count":66}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4274760

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