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
R1: OscaR - Conflict Ordering 2017-06-30	SAT (TO)	1604	2400.14	2364.63

0.42/0.30	c version: 2017-06-30
0.42/0.30	c seed: 1551817340
0.42/0.30	c timeout: 2400
0.42/0.30	c memlimit: 15500
0.42/0.30	c nbcore: 8
0.42/0.32	c Parsing instance...
1.53/1.09	c Parsing done, starting search...
2.94/1.17	o 1990
2.94/1.17	o 1985
2.94/1.18	o 1981
2.94/1.19	o 1978
3.26/1.20	o 1955
3.26/1.21	o 1948
3.26/1.22	o 1918
3.26/1.22	o 1914
3.26/1.23	o 1899
3.26/1.24	o 1863
3.26/1.25	o 1815
3.26/1.26	o 1781
4.15/1.41	o 1775
4.15/1.45	o 1748
4.90/1.75	o 1719
7.33/3.92	o 1695
10.63/7.13	o 1686
10.63/7.14	o 1674
10.63/7.16	o 1663
11.96/8.49	o 1659
24.55/20.81	o 1655
24.85/21.10	o 1651
49.99/46.05	o 1646
49.99/46.06	o 1640
49.99/46.07	o 1634
52.41/48.47	o 1633
54.34/50.36	o 1632
54.34/50.36	o 1631
68.85/64.66	o 1630
98.60/94.05	o 1629
102.31/97.64	o 1628
131.13/126.18	o 1621
131.23/126.29	o 1616
133.24/128.26	o 1615
176.59/170.93	o 1611
176.78/171.14	o 1608
411.65/402.82	o 1607
412.05/403.27	o 1604
2400.09/2364.60	s SATISFIABLE
2400.09/2364.61	v <instantiation>
2400.09/2364.61	v 	<list>
2400.09/2364.61	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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]
2400.09/2364.61	v 	</list>
2400.09/2364.61	v 	<values>
2400.09/2364.61	v 		0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 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 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 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 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 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 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 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 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 5 100 51 100 87 87 51 51 69 72 19 22 87 39 37 12 36 52 14 64 97 41 100 100 86 53 30 79 32 56 77 100 
2400.09/2364.61	v 	</values>
2400.09/2364.61	v </instantiation>

Verifier Data

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246292-1500709448/watcher-4246292-1500709448 -o /tmp/evaluation-result-4246292-1500709448/solver-4246292-1500709448 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1500682654-14431 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1551817340 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246292-1500709448.xml 

pid=18342
running on 8 cores: 1,3,5,7,9,11,13,15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.62 1.51 1.51 3/262 18345
/proc/meminfo: memFree=30876152/32770624 swapFree=5912/262172
[pid=18345] ppid=18342 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/stat : 18345 (java) S 18342 18345 14399 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 6209844 369864704 1925 33554432000 4194304 4196468 140730128378896 140730128361440 139774298095351 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
/proc/18345/statm: 90299 1925 1072 1 0 79210 0
[pid=18345/tid=18346] ppid=18342 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18346/stat : 18346 (java) S 18342 18345 14399 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 6209844 369864704 1925 33554432000 4194304 4196468 140730128378896 139774302337440 139774298106498 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0

[startup+0.100103 s]
/proc/loadavg: 1.62 1.51 1.51 3/262 18345
/proc/meminfo: memFree=30876152/32770624 swapFree=5912/262172
[pid=18345] ppid=18342 vsize=13264380 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/18345/stat : 18345 (java) S 18342 18345 14399 0 -1 1077944320 5525 0 0 0 8 1 0 0 20 0 20 0 6209844 13582725120 6604 33554432000 4194304 4196468 140730128378896 140730128361440 139774298095351 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
/proc/18345/statm: 3316095 6604 3306 1 0 3303815 0
[pid=18345/tid=18346] ppid=18342 vsize=13264380 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18346/stat : 18346 (java) R 18342 18345 14399 0 -1 4202560 3595 0 0 0 8 0 0 0 20 0 20 0 6209844 13582725120 6604 33554432000 4194304 4196468 140730128378896 139774302337632 139774284163470 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380

[startup+0.200477 s]
/proc/loadavg: 1.62 1.51 1.51 3/262 18345
/proc/meminfo: memFree=30876152/32770624 swapFree=5912/262172
[pid=18345] ppid=18342 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/18345/stat : 18345 (java) S 18342 18345 14399 0 -1 1077944320 8649 0 0 0 24 2 0 0 20 0 20 0 6209844 13582245888 9189 33554432000 4194304 4196468 140730128378896 140730128361440 139774298095351 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
/proc/18345/statm: 3315978 9189 3560 1 0 3303698 0
[pid=18345/tid=18346] ppid=18342 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18346/stat : 18346 (java) R 18342 18345 14399 0 -1 4202560 6349 0 0 0 17 1 0 0 20 0 20 0 6209844 13582245888 9189 33554432000 4194304 4196468 140730128378896 139774302313072 139774298117277 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912

[startup+0.300375 s]
/proc/loadavg: 1.62 1.51 1.51 3/262 18345
/proc/meminfo: memFree=30876152/32770624 swapFree=5912/262172
[pid=18345] ppid=18342 vsize=13263912 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/18345/stat : 18345 (java) S 18342 18345 14399 0 -1 1077944320 9628 0 0 0 39 3 0 0 20 0 20 0 6209844 13582245888 11395 33554432000 4194304 4196468 140730128378896 140730128361440 139774298095351 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
/proc/18345/statm: 3315978 11395 3617 1 0 3303698 0
[pid=18345/tid=18346] ppid=18342 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18346/stat : 18346 (java) R 18342 18345 14399 0 -1 4202560 7072 0 0 0 25 2 0 0 20 0 20 0 6209844 13582245888 11395 33554432000 4194304 4196468 140730128378896 139774302319120 139774282175838 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912

[startup+0.700331 s]
/proc/loadavg: 1.62 1.51 1.51 3/262 18345
/proc/meminfo: memFree=30876152/32770624 swapFree=5912/262172
[pid=18345] ppid=18342 vsize=13265980 CPUtime=1.53 cores=1,3,5,7,9,11,13,15
/proc/18345/stat : 18345 (java) S 18342 18345 14399 0 -1 1077944320 13579 0 0 0 148 5 0 0 20 0 20 0 6209844 13584363520 19900 33554432000 4194304 4196468 140730128378896 140730128361440 139774298095351 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
/proc/18345/statm: 3316495 19900 3774 1 0 3304210 0
[pid=18345/tid=18346] ppid=18342 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18346/stat : 18346 (java) R 18342 18345 14399 0 -1 4202560 8142 0 0 0 64 3 0 0 20 0 20 0 6209844 13584363520 19900 33554432000 4194304 4196468 140730128378896 139774302331168 139773889034202 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 13265980

[startup+1.51533 s]
/proc/loadavg: 1.62 1.51 1.51 6/282 18365
/proc/meminfo: memFree=30719940/32770624 swapFree=5912/262204
[pid=18345] ppid=18342 vsize=13270076 CPUtime=4.52 cores=1,3,5,7,9,11,13,15
/proc/18345/stat : 18345 (java) S 18342 18345 14399 0 -1 1077944320 27766 0 0 0 444 8 0 0 20 0 20 0 6209844 13588557824 45526 33554432000 4194304 4196468 140730128378896 140730128361440 139774298095351 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
/proc/18345/statm: 3317519 45526 3795 1 0 3305234 0
[pid=18345/tid=18346] ppid=18342 vsize=13270076 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18346/stat : 18346 (java) R 18342 18345 14399 0 -1 4202560 10772 0 0 0 144 4 0 0 20 0 20 0 6209844 13588557824 45526 33554432000 4194304 4196468 140730128378896 139774302330824 139773896816460 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18348] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18348/stat : 18348 (java) S 18342 18345 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6209845 13588557824 45526 33554432000 4194304 4196468 140730128378896 139774216576016 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18349] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18349/stat : 18349 (java) S 18342 18345 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6209845 13588557824 45526 33554432000 4194304 4196468 140730128378896 139774215523472 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18350] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18350/stat : 18350 (java) S 18342 18345 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6209845 13588557824 45526 33554432000 4194304 4196468 140730128378896 139774214470416 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18351] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18351/stat : 18351 (java) S 18342 18345 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6209845 13588557824 45526 33554432000 4194304 4196468 140730128378896 139774213417872 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18352] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18352/stat : 18352 (java) S 18342 18345 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6209845 13588557824 45526 33554432000 4194304 4196468 140730128378896 139774212364816 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18353] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18353/stat : 18353 (java) S 18342 18345 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6209845 13588557824 45526 33554432000 4194304 4196468 140730128378896 139774211312272 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18354] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18354/stat : 18354 (java) S 18342 18345 14399 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6209845 13588557824 45526 33554432000 4194304 4196468 140730128378896 139774210259216 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18355] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18355/stat : 18355 (java) S 18342 18345 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6209845 13588557824 45526 33554432000 4194304 4196468 140730128378896 139774209206672 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18356] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18356/stat : 18356 (java) S 18342 18345 14399 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6209847 13588557824 45526 33554432000 4194304 4196468 140730128378896 139773761424112 139774298106498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18357] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18357/stat : 18357 (java) S 18342 18345 14399 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 6209848 13588557824 45526 33554432000 4194304 4196468 140730128378896 139773760370336 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18358] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18358/stat : 18358 (java) S 18342 18345 14399 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 6209848 13588557824 45526 33554432000 4194304 4196468 140730128378896 139773759317232 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18359] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18359/stat : 18359 (java) S 18342 18345 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6209852 13588557824 45526 33554432000 4194304 4196468 140730128378896 139773758265808 139774298113947 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18360] ppid=18342 vsize=13270076 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18360/stat : 18360 (java) S 18342 18345 14399 0 -1 1077944384 2727 0 0 0 76 0 0 0 20 0 20 0 6209852 13588557824 45526 33554432000 4194304 4196468 140730128378896 139773757212912 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18361] ppid=18342 vsize=13270076 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18361/stat : 18361 (java) R 18342 18345 14399 0 -1 4202560 2979 0 0 0 83 0 0 0 20 0 20 0 6209852 13588557824 45526 33554432000 4194304 4196468 140730128378896 139773756141968 139774282487816 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18362] ppid=18342 vsize=13270076 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18362/stat : 18362 (java) S 18342 18345 14399 0 -1 1077944384 3640 0 0 0 72 0 0 0 20 0 20 0 6209852 13588557824 45526 33554432000 4194304 4196468 140730128378896 139773755107312 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18363] ppid=18342 vsize=13270076 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18363/stat : 18363 (java) S 18342 18345 14399 0 -1 1077944384 6237 0 0 0 67 1 0 0 20 0 20 0 6209852 13588557824 45526 33554432000 4194304 4196468 140730128378896 139773754054768 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18364] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18364/stat : 18364 (java) S 18342 18345 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6209853 13588557824 45526 33554432000 4194304 4196468 140730128378896 139773753002976 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18365] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18365/stat : 18365 (java) S 18342 18345 14399 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 6209853 13588557824 45526 33554432000 4194304 4196468 140730128378896 139773751950512 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
Current children cumulated CPU time (s) 4.52
Current children cumulated vsize (KiB) 13270076

[startup+3.10129 s]
/proc/loadavg: 1.62 1.51 1.51 3/282 18365
/proc/meminfo: memFree=30658084/32770624 swapFree=5912/262204
[pid=18345] ppid=18342 vsize=13270076 CPUtime=6.45 cores=1,3,5,7,9,11,13,15
/proc/18345/stat : 18345 (java) S 18342 18345 14399 0 -1 1077944320 29538 0 0 0 632 13 0 0 20 0 20 0 6209844 13588557824 58512 33554432000 4194304 4196468 140730128378896 140730128361440 139774298095351 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
/proc/18345/statm: 3317519 58512 3818 1 0 3305234 0
[pid=18345/tid=18346] ppid=18342 vsize=13270076 CPUtime=3.05 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18346/stat : 18346 (java) R 18342 18345 14399 0 -1 4202560 11081 0 0 0 300 5 0 0 20 0 20 0 6209844 13588557824 58512 33554432000 4194304 4196468 140730128378896 139774302333592 139773896784487 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18348] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18348/stat : 18348 (java) S 18342 18345 14399 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 6209845 13588557824 58512 33554432000 4194304 4196468 140730128378896 139774216576016 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18349] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18349/stat : 18349 (java) S 18342 18345 14399 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 6209845 13588557824 58512 33554432000 4194304 4196468 140730128378896 139774215523472 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18350] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18350/stat : 18350 (java) S 18342 18345 14399 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 6209845 13588557824 58512 33554432000 4194304 4196468 140730128378896 139774214470416 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18351] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18351/stat : 18351 (java) S 18342 18345 14399 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 6209845 13588557824 58512 33554432000 4194304 4196468 140730128378896 139774213417872 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18352] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18352/stat : 18352 (java) S 18342 18345 14399 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 20 0 6209845 13588557824 58512 33554432000 4194304 4196468 140730128378896 139774212364816 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18353] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18353/stat : 18353 (java) S 18342 18345 14399 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 6209845 13588557824 58512 33554432000 4194304 4196468 140730128378896 139774211312272 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18354] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18354/stat : 18354 (java) S 18342 18345 14399 0 -1 1077944384 229 0 0 0 0 0 0 0 20 0 20 0 6209845 13588557824 58512 33554432000 4194304 4196468 140730128378896 139774210259216 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18355] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18355/stat : 18355 (java) S 18342 18345 14399 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 6209845 13588557824 58512 33554432000 4194304 4196468 140730128378896 139774209206672 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18356] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18356/stat : 18356 (java) S 18342 18345 14399 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 20 0 6209847 13588557824 58512 33554432000 4194304 4196468 140730128378896 139773761424112 139774298106498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18357] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18357/stat : 18357 (java) S 18342 18345 14399 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 6209848 13588557824 58512 33554432000 4194304 4196468 140730128378896 139773760370400 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18358] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18358/stat : 18358 (java) S 18342 18345 14399 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 6209848 13588557824 58512 33554432000 4194304 4196468 140730128378896 139773759317248 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18359] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18359/stat : 18359 (java) S 18342 18345 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6209852 13588557824 58512 33554432000 4194304 4196468 140730128378896 139773758265808 139774298113947 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18360] ppid=18342 vsize=13270076 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18360/stat : 18360 (java) S 18342 18345 14399 0 -1 1077944384 2750 0 0 0 82 0 0 0 20 0 20 0 6209852 13588557824 58512 33554432000 4194304 4196468 140730128378896 139773757212912 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18361] ppid=18342 vsize=13270076 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18361/stat : 18361 (java) S 18342 18345 14399 0 -1 1077944384 3085 0 0 0 94 0 0 0 20 0 20 0 6209852 13588557824 58512 33554432000 4194304 4196468 140730128378896 139773756160368 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18362] ppid=18342 vsize=13270076 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18362/stat : 18362 (java) S 18342 18345 14399 0 -1 1077944384 3659 0 0 0 80 0 0 0 20 0 20 0 6209852 13588557824 58512 33554432000 4194304 4196468 140730128378896 139773755107312 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18363] ppid=18342 vsize=13270076 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18363/stat : 18363 (java) S 18342 18345 14399 0 -1 1077944384 6981 0 0 0 68 1 0 0 20 0 20 0 6209852 13588557824 58512 33554432000 4194304 4196468 140730128378896 139773754054768 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18364] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18364/stat : 18364 (java) S 18342 18345 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6209853 13588557824 58512 33554432000 4194304 4196468 140730128378896 139773753002976 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18365] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18365/stat : 18365 (java) S 18342 18345 14399 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 6209853 13588557824 58512 33554432000 4194304 4196468 140730128378896 139773751950512 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
Current children cumulated CPU time (s) 6.45
Current children cumulated vsize (KiB) 13270076

[startup+6.3008 s]
/proc/loadavg: 1.65 1.52 1.52 3/282 18365
/proc/meminfo: memFree=30645424/32770624 swapFree=5912/262204
[pid=18345] ppid=18342 vsize=13270076 CPUtime=9.8 cores=1,3,5,7,9,11,13,15
/proc/18345/stat : 18345 (java) S 18342 18345 14399 0 -1 1077944320 31207 0 0 0 964 16 0 0 20 0 20 0 6209844 13588557824 61129 33554432000 4194304 4196468 140730128378896 140730128361440 139774298095351 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
/proc/18345/statm: 3317519 61129 3825 1 0 3305234 0
[pid=18345/tid=18346] ppid=18342 vsize=13270076 CPUtime=6.22 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18346/stat : 18346 (java) R 18342 18345 14399 0 -1 4202560 11229 0 0 0 617 5 0 0 20 0 20 0 6209844 13588557824 61129 33554432000 4194304 4196468 140730128378896 139774302333320 139773897429933 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18348] ppid=18342 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18348/stat : 18348 (java) S 18342 18345 14399 0 -1 1077944384 56 0 0 0 1 1 0 0 20 0 20 0 6209845 13588557824 61129 33554432000 4194304 4196468 140730128378896 139774216576016 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18349] ppid=18342 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18349/stat : 18349 (java) S 18342 18345 14399 0 -1 1077944384 97 0 0 0 1 0 0 0 20 0 20 0 6209845 13588557824 61129 33554432000 4194304 4196468 140730128378896 139774215523472 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18350] ppid=18342 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18350/stat : 18350 (java) S 18342 18345 14399 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 20 0 6209845 13588557824 61129 33554432000 4194304 4196468 140730128378896 139774214470416 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18351] ppid=18342 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18351/stat : 18351 (java) S 18342 18345 14399 0 -1 1077944384 27 0 0 0 1 1 0 0 20 0 20 0 6209845 13588557824 61129 33554432000 4194304 4196468 140730128378896 139774213417872 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18352] ppid=18342 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18352/stat : 18352 (java) S 18342 18345 14399 0 -1 1077944384 37 0 0 0 1 0 0 0 20 0 20 0 6209845 13588557824 61129 33554432000 4194304 4196468 140730128378896 139774212364816 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18353] ppid=18342 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18353/stat : 18353 (java) S 18342 18345 14399 0 -1 1077944384 31 0 0 0 2 0 0 0 20 0 20 0 6209845 13588557824 61129 33554432000 4194304 4196468 140730128378896 139774211312272 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18354] ppid=18342 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18354/stat : 18354 (java) S 18342 18345 14399 0 -1 1077944384 232 0 0 0 1 0 0 0 20 0 20 0 6209845 13588557824 61129 33554432000 4194304 4196468 140730128378896 139774210259216 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18355] ppid=18342 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18355/stat : 18355 (java) S 18342 18345 14399 0 -1 1077944384 900 0 0 0 1 0 0 0 20 0 20 0 6209845 13588557824 61129 33554432000 4194304 4196468 140730128378896 139774209206672 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18356] ppid=18342 vsize=13270076 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18356/stat : 18356 (java) S 18342 18345 14399 0 -1 1077944384 217 0 0 0 1 0 0 0 20 0 20 0 6209847 13588557824 61129 33554432000 4194304 4196468 140730128378896 139773761424112 139774298106498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18357] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18357/stat : 18357 (java) S 18342 18345 14399 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 6209848 13588557824 61129 33554432000 4194304 4196468 140730128378896 139773760370400 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18358] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18358/stat : 18358 (java) S 18342 18345 14399 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 6209848 13588557824 61129 33554432000 4194304 4196468 140730128378896 139773759317248 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18359] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15

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

[pid=18345/tid=18361] ppid=18342 vsize=13270076 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18361/stat : 18361 (java) S 18342 18345 14399 0 -1 1077944384 3142 0 0 0 95 0 0 0 20 0 20 0 6209852 13588557824 64174 33554432000 4194304 4196468 140730128378896 139773756160368 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18362] ppid=18342 vsize=13270076 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18362/stat : 18362 (java) S 18342 18345 14399 0 -1 1077944384 3915 0 0 0 85 1 0 0 20 0 20 0 6209852 13588557824 64174 33554432000 4194304 4196468 140730128378896 139773755107312 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18363] ppid=18342 vsize=13270076 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18363/stat : 18363 (java) S 18342 18345 14399 0 -1 1077944384 10029 0 0 0 71 2 0 0 20 0 20 0 6209852 13588557824 64174 33554432000 4194304 4196468 140730128378896 139773754054768 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18364] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18364/stat : 18364 (java) S 18342 18345 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6209853 13588557824 64174 33554432000 4194304 4196468 140730128378896 139773753002976 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18365] ppid=18342 vsize=13270076 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18365/stat : 18365 (java) S 18342 18345 14399 0 -1 1077944384 701 0 0 0 29 30 0 0 20 0 20 0 6209853 13588557824 64174 33554432000 4194304 4196468 140730128378896 139773751950512 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
Current children cumulated CPU time (s) 2296.51
Current children cumulated vsize (KiB) 13270076

[startup+2322.3 s]
/proc/loadavg: 1.74 1.60 1.53 3/281 18544
/proc/meminfo: memFree=30820180/32770624 swapFree=5896/264632
[pid=18345] ppid=18342 vsize=13270076 CPUtime=2357.34 cores=1,3,5,7,9,11,13,15
/proc/18345/stat : 18345 (java) S 18342 18345 14399 0 -1 1077944320 77796 0 0 0 235505 229 0 0 20 0 20 0 6209844 13588557824 64691 33554432000 4194304 4196468 140730128378896 140730128361440 139774298095351 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
/proc/18345/statm: 3317519 64691 3828 1 0 3305234 0
[pid=18345/tid=18346] ppid=18342 vsize=13270076 CPUtime=2312.59 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18346/stat : 18346 (java) R 18342 18345 14399 0 -1 4202560 28531 0 0 0 231246 13 0 0 20 0 20 0 6209844 13588557824 64691 33554432000 4194304 4196468 140730128378896 139774302333776 139773897104248 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18348] ppid=18342 vsize=13270076 CPUtime=4.73 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18348/stat : 18348 (java) S 18342 18345 14399 0 -1 1077944384 3221 0 0 0 448 25 0 0 20 0 20 0 6209845 13588557824 64691 33554432000 4194304 4196468 140730128378896 139774216576016 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18349] ppid=18342 vsize=13270076 CPUtime=4.69 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18349/stat : 18349 (java) S 18342 18345 14399 0 -1 1077944384 1817 0 0 0 448 21 0 0 20 0 20 0 6209845 13588557824 64691 33554432000 4194304 4196468 140730128378896 139774215523472 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18350] ppid=18342 vsize=13270076 CPUtime=4.72 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18350/stat : 18350 (java) S 18342 18345 14399 0 -1 1077944384 1423 0 0 0 449 23 0 0 20 0 20 0 6209845 13588557824 64691 33554432000 4194304 4196468 140730128378896 139774214470416 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18351] ppid=18342 vsize=13270076 CPUtime=4.68 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18351/stat : 18351 (java) S 18342 18345 14399 0 -1 1077944384 2281 0 0 0 446 22 0 0 20 0 20 0 6209845 13588557824 64691 33554432000 4194304 4196468 140730128378896 139774213417872 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18352] ppid=18342 vsize=13270076 CPUtime=4.62 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18352/stat : 18352 (java) S 18342 18345 14399 0 -1 1077944384 2049 0 0 0 441 21 0 0 20 0 20 0 6209845 13588557824 64691 33554432000 4194304 4196468 140730128378896 139774212364816 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18353] ppid=18342 vsize=13270076 CPUtime=4.66 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18353/stat : 18353 (java) S 18342 18345 14399 0 -1 1077944384 1675 0 0 0 444 22 0 0 20 0 20 0 6209845 13588557824 64691 33554432000 4194304 4196468 140730128378896 139774211312272 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18354] ppid=18342 vsize=13270076 CPUtime=4.75 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18354/stat : 18354 (java) S 18342 18345 14399 0 -1 1077944384 3912 0 0 0 455 20 0 0 20 0 20 0 6209845 13588557824 64691 33554432000 4194304 4196468 140730128378896 139774210259216 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18355] ppid=18342 vsize=13270076 CPUtime=4.69 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18355/stat : 18355 (java) S 18342 18345 14399 0 -1 1077944384 2736 0 0 0 447 22 0 0 20 0 20 0 6209845 13588557824 64691 33554432000 4194304 4196468 140730128378896 139774209206672 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18356] ppid=18342 vsize=13270076 CPUtime=3.03 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18356/stat : 18356 (java) S 18342 18345 14399 0 -1 1077944384 5687 0 0 0 277 26 0 0 20 0 20 0 6209847 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773761424112 139774298106498 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18357] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18357/stat : 18357 (java) S 18342 18345 14399 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 6209848 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773760370400 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18358] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18358/stat : 18358 (java) S 18342 18345 14399 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 6209848 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773759317248 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18359] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18359/stat : 18359 (java) S 18342 18345 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6209852 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773758265808 139774298113947 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18360] ppid=18342 vsize=13270076 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18360/stat : 18360 (java) S 18342 18345 14399 0 -1 1077944384 5219 0 0 0 87 0 0 0 20 0 20 0 6209852 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773757212912 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18361] ppid=18342 vsize=13270076 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18361/stat : 18361 (java) S 18342 18345 14399 0 -1 1077944384 3144 0 0 0 95 0 0 0 20 0 20 0 6209852 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773756160368 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18362] ppid=18342 vsize=13270076 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18362/stat : 18362 (java) S 18342 18345 14399 0 -1 1077944384 3917 0 0 0 85 1 0 0 20 0 20 0 6209852 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773755107312 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18363] ppid=18342 vsize=13270076 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18363/stat : 18363 (java) S 18342 18345 14399 0 -1 1077944384 10031 0 0 0 71 2 0 0 20 0 20 0 6209852 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773754054768 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18364] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18364/stat : 18364 (java) S 18342 18345 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6209853 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773753002976 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18365] ppid=18342 vsize=13270076 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18365/stat : 18365 (java) S 18342 18345 14399 0 -1 1077944384 716 0 0 0 30 31 0 0 20 0 20 0 6209853 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773751950512 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
Current children cumulated CPU time (s) 2357.34
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2364.6 s]
/proc/loadavg: 1.77 1.62 1.54 3/281 18545
/proc/meminfo: memFree=30819832/32770624 swapFree=5896/264672
[pid=18345] ppid=18342 vsize=13270076 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15
/proc/18345/stat : 18345 (java) S 18342 18345 14399 0 -1 1077944320 77928 0 0 0 239777 232 0 0 20 0 20 0 6209844 13588557824 64691 33554432000 4194304 4196468 140730128378896 140730128361440 139774298095351 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
/proc/18345/statm: 3317519 64691 3828 1 0 3305234 0
[pid=18345/tid=18346] ppid=18342 vsize=13270076 CPUtime=2354.74 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18346/stat : 18346 (java) R 18342 18345 14399 0 -1 4202560 28613 0 0 0 235461 13 0 0 20 0 20 0 6209844 13588557824 64691 33554432000 4194304 4196468 140730128378896 139774302333776 139773897104016 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18348] ppid=18342 vsize=13270076 CPUtime=4.79 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18348/stat : 18348 (java) S 18342 18345 14399 0 -1 1077944384 3255 0 0 0 454 25 0 0 20 0 20 0 6209845 13588557824 64691 33554432000 4194304 4196468 140730128378896 139774216576016 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18349] ppid=18342 vsize=13270076 CPUtime=4.75 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18349/stat : 18349 (java) S 18342 18345 14399 0 -1 1077944384 1817 0 0 0 454 21 0 0 20 0 20 0 6209845 13588557824 64691 33554432000 4194304 4196468 140730128378896 139774215523472 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18350] ppid=18342 vsize=13270076 CPUtime=4.79 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18350/stat : 18350 (java) S 18342 18345 14399 0 -1 1077944384 1423 0 0 0 455 24 0 0 20 0 20 0 6209845 13588557824 64691 33554432000 4194304 4196468 140730128378896 139774214470416 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18351] ppid=18342 vsize=13270076 CPUtime=4.76 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18351/stat : 18351 (java) S 18342 18345 14399 0 -1 1077944384 2282 0 0 0 453 23 0 0 20 0 20 0 6209845 13588557824 64691 33554432000 4194304 4196468 140730128378896 139774213417872 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18352] ppid=18342 vsize=13270076 CPUtime=4.7 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18352/stat : 18352 (java) S 18342 18345 14399 0 -1 1077944384 2049 0 0 0 448 22 0 0 20 0 20 0 6209845 13588557824 64691 33554432000 4194304 4196468 140730128378896 139774212364816 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18353] ppid=18342 vsize=13270076 CPUtime=4.72 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18353/stat : 18353 (java) S 18342 18345 14399 0 -1 1077944384 1682 0 0 0 450 22 0 0 20 0 20 0 6209845 13588557824 64691 33554432000 4194304 4196468 140730128378896 139774211312272 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18354] ppid=18342 vsize=13270076 CPUtime=4.82 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18354/stat : 18354 (java) S 18342 18345 14399 0 -1 1077944384 3912 0 0 0 462 20 0 0 20 0 20 0 6209845 13588557824 64691 33554432000 4194304 4196468 140730128378896 139774210259216 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18355] ppid=18342 vsize=13270076 CPUtime=4.76 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18355/stat : 18355 (java) S 18342 18345 14399 0 -1 1077944384 2736 0 0 0 453 23 0 0 20 0 20 0 6209845 13588557824 64691 33554432000 4194304 4196468 140730128378896 139774209206672 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18356] ppid=18342 vsize=13270076 CPUtime=3.07 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18356/stat : 18356 (java) S 18342 18345 14399 0 -1 1077944384 5691 0 0 0 281 26 0 0 20 0 20 0 6209847 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773761424112 139774298106498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18357] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18357/stat : 18357 (java) S 18342 18345 14399 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 6209848 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773760370400 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18358] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18358/stat : 18358 (java) S 18342 18345 14399 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 6209848 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773759317248 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18359] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18359/stat : 18359 (java) S 18342 18345 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6209852 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773758265808 139774298113947 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18360] ppid=18342 vsize=13270076 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18360/stat : 18360 (java) S 18342 18345 14399 0 -1 1077944384 5219 0 0 0 87 0 0 0 20 0 20 0 6209852 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773757212912 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18361] ppid=18342 vsize=13270076 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18361/stat : 18361 (java) S 18342 18345 14399 0 -1 1077944384 3144 0 0 0 95 0 0 0 20 0 20 0 6209852 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773756160368 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18362] ppid=18342 vsize=13270076 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18362/stat : 18362 (java) S 18342 18345 14399 0 -1 1077944384 3917 0 0 0 85 1 0 0 20 0 20 0 6209852 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773755107312 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18363] ppid=18342 vsize=13270076 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18363/stat : 18363 (java) S 18342 18345 14399 0 -1 1077944384 10031 0 0 0 71 2 0 0 20 0 20 0 6209852 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773754054768 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18364] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18364/stat : 18364 (java) S 18342 18345 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6209853 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773753002976 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18365] ppid=18342 vsize=13270076 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18365/stat : 18365 (java) S 18342 18345 14399 0 -1 1077944384 720 0 0 0 31 32 0 0 20 0 20 0 6209853 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773751950512 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 13270076

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18345 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2364.6 s]
/proc/loadavg: 1.77 1.62 1.54 3/281 18545
/proc/meminfo: memFree=30819832/32770624 swapFree=5896/264672
[pid=18345] ppid=18342 vsize=13270076 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15
/proc/18345/stat : 18345 (java) S 18342 18345 14399 0 -1 1077944320 77928 0 0 0 239777 232 0 0 20 0 20 0 6209844 13588557824 64691 33554432000 4194304 4196468 140730128378896 140730128361440 139774298095351 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
/proc/18345/statm: 3317519 64691 3828 1 0 3305234 0
[pid=18345/tid=18346] ppid=18342 vsize=13270076 CPUtime=2354.74 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18346/stat : 18346 (java) R 18342 18345 14399 0 -1 4202560 28613 0 0 0 235461 13 0 0 20 0 20 0 6209844 13588557824 64691 33554432000 4194304 4196468 140730128378896 139774302333776 139773897104016 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18348] ppid=18342 vsize=13270076 CPUtime=4.79 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18348/stat : 18348 (java) S 18342 18345 14399 0 -1 1077944384 3255 0 0 0 454 25 0 0 20 0 20 0 6209845 13588557824 64691 33554432000 4194304 4196468 140730128378896 139774216576016 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18349] ppid=18342 vsize=13270076 CPUtime=4.75 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18349/stat : 18349 (java) S 18342 18345 14399 0 -1 1077944384 1817 0 0 0 454 21 0 0 20 0 20 0 6209845 13588557824 64691 33554432000 4194304 4196468 140730128378896 139774215523472 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18350] ppid=18342 vsize=13270076 CPUtime=4.79 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18350/stat : 18350 (java) S 18342 18345 14399 0 -1 1077944384 1423 0 0 0 455 24 0 0 20 0 20 0 6209845 13588557824 64691 33554432000 4194304 4196468 140730128378896 139774214470416 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18351] ppid=18342 vsize=13270076 CPUtime=4.76 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18351/stat : 18351 (java) S 18342 18345 14399 0 -1 1077944384 2282 0 0 0 453 23 0 0 20 0 20 0 6209845 13588557824 64691 33554432000 4194304 4196468 140730128378896 139774213417872 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18352] ppid=18342 vsize=13270076 CPUtime=4.7 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18352/stat : 18352 (java) S 18342 18345 14399 0 -1 1077944384 2049 0 0 0 448 22 0 0 20 0 20 0 6209845 13588557824 64691 33554432000 4194304 4196468 140730128378896 139774212364816 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18353] ppid=18342 vsize=13270076 CPUtime=4.72 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18353/stat : 18353 (java) S 18342 18345 14399 0 -1 1077944384 1682 0 0 0 450 22 0 0 20 0 20 0 6209845 13588557824 64691 33554432000 4194304 4196468 140730128378896 139774211312272 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18354] ppid=18342 vsize=13270076 CPUtime=4.82 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18354/stat : 18354 (java) S 18342 18345 14399 0 -1 1077944384 3912 0 0 0 462 20 0 0 20 0 20 0 6209845 13588557824 64691 33554432000 4194304 4196468 140730128378896 139774210259216 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18355] ppid=18342 vsize=13270076 CPUtime=4.76 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18355/stat : 18355 (java) S 18342 18345 14399 0 -1 1077944384 2736 0 0 0 453 23 0 0 20 0 20 0 6209845 13588557824 64691 33554432000 4194304 4196468 140730128378896 139774209206672 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18356] ppid=18342 vsize=13270076 CPUtime=3.07 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18356/stat : 18356 (java) S 18342 18345 14399 0 -1 1077944384 5691 0 0 0 281 26 0 0 20 0 20 0 6209847 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773761424112 139774298106498 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18357] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18357/stat : 18357 (java) S 18342 18345 14399 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 6209848 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773760370400 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18358] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18358/stat : 18358 (java) S 18342 18345 14399 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 6209848 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773759317248 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18359] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18359/stat : 18359 (java) S 18342 18345 14399 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6209852 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773758265808 139774298113947 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18360] ppid=18342 vsize=13270076 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18360/stat : 18360 (java) S 18342 18345 14399 0 -1 1077944384 5219 0 0 0 87 0 0 0 20 0 20 0 6209852 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773757212912 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18361] ppid=18342 vsize=13270076 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18361/stat : 18361 (java) S 18342 18345 14399 0 -1 1077944384 3144 0 0 0 95 0 0 0 20 0 20 0 6209852 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773756160368 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18362] ppid=18342 vsize=13270076 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18362/stat : 18362 (java) S 18342 18345 14399 0 -1 1077944384 3917 0 0 0 85 1 0 0 20 0 20 0 6209852 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773755107312 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18363] ppid=18342 vsize=13270076 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18363/stat : 18363 (java) S 18342 18345 14399 0 -1 1077944384 10031 0 0 0 71 2 0 0 20 0 20 0 6209852 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773754054768 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18364] ppid=18342 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18364/stat : 18364 (java) S 18342 18345 14399 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6209853 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773753002976 139774298105557 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
[pid=18345/tid=18365] ppid=18342 vsize=13270076 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/18345/task/18365/stat : 18365 (java) S 18342 18345 14399 0 -1 1077944384 720 0 0 0 31 32 0 0 20 0 20 0 6209853 13588557824 64691 33554432000 4194304 4196468 140730128378896 139773751950512 139774298106498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19234816 140730128381065 140730128381252 140730128381252 140730128383951 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 13270076

Child status: 143
Real time (s): 2364.63
CPU time (s): 2400.14
CPU user time (s): 2397.81
CPU system time (s): 2.3327
CPU usage (%): 101.502
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.81
system time used= 2.3327
maximum resident set size= 259284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78408
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 188983
involuntary context switches= 146179

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.569 second user time and 19.6163 second system time

The end

Launcher Data

Begin job on node150 at 2017-07-22 09:44:08
IDJOB=4246292
IDBENCH=124395
IDSOLVER=2628
FILE ID=node150/4246292-1500709448
RUNJOBID= node150-1500682654-14431
PBS_JOBID= 20623331
Free space on /tmp= 61984 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-06-30
BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n33-k5.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246292-1500709448/watcher-4246292-1500709448 -o /tmp/evaluation-result-4246292-1500709448/solver-4246292-1500709448 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1500682654-14431 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1551817340 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246292-1500709448.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= 7965d79c566fadd70d01c63d02ba9078
RANDOM SEED=1551817340

node150.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2400.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30876636 kB
MemAvailable:   31142504 kB
Buffers:          121804 kB
Cached:           424280 kB
SwapCached:            0 kB
Active:          1182924 kB
Inactive:         270900 kB
Active(anon):     910348 kB
Inactive(anon):     8728 kB
Active(file):     272576 kB
Inactive(file):   262172 kB
Unevictable:        5912 kB
Mlocked:            5912 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42256 kB
Writeback:             0 kB
AnonPages:        925488 kB
Mapped:            45692 kB
Shmem:              8848 kB
Slab:             128152 kB
SReclaimable:      93908 kB
SUnreclaim:        34244 kB
KernelStack:        4864 kB
PageTables:         6492 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1831664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    802816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61944 MiB
End job on node150 at 2017-07-22 10:23:33

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

Trace number 4246292

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