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

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2017-07-26	SAT (TO)	237	2520.0801	2455.3201

0.29/0.25	c version: 2017-07-26
0.29/0.25	c seed: 403323151
0.29/0.26	c timeout: 2520
0.29/0.26	c memlimit: 11000
0.29/0.26	c nbcore: 4
0.29/0.28	c Parsing instance...
2.91/1.26	c Parsing done, starting first complete search...
3.22/1.31	o 23821
3.22/1.31	o 19029
3.22/1.31	o 15157
3.22/1.31	o 15117
3.22/1.31	o 11941
3.22/1.31	o 9461
3.22/1.32	o 7261
3.22/1.32	o 5477
3.22/1.33	o 4277
3.22/1.34	o 3181
3.22/1.35	o 2405
3.22/1.35	o 2349
3.22/1.35	o 1853
3.22/1.35	o 1773
3.22/1.36	o 1445
3.22/1.37	o 1405
3.22/1.38	o 1085
3.54/1.44	o 1037
4.97/1.91	o 1005
4.97/1.91	o 989
5.38/2.12	o 933
5.50/2.20	o 917
5.50/2.24	o 877
6.21/2.82	o 821
6.21/2.84	o 781
6.32/2.90	o 765
7.01/3.53	o 693
7.22/3.72	o 653
8.02/4.59	o 621
8.02/4.59	o 589
8.22/4.80	o 541
8.85/5.32	o 525
13.95/10.39	c First complete search done, starting ALNS search...
14.28/10.53	o 501
19.64/14.87	o 453
25.53/20.35	o 405
33.39/27.81	o 389
55.68/49.44	o 325
125.37/117.12	o 301
163.77/154.70	o 293
212.85/202.50	o 269
647.92/627.10	o 253
808.76/784.17	o 245
1543.95/1502.36	o 237
1818.19/1770.14	c ALNS done, starting second complete search
1818.19/1770.14	c Best operator: ValGuided(493,Random)_ExtOriented(Max) with improvement of: 200
2520.05/2455.30	s SATISFIABLE
2520.05/2455.30	v <instantiation>
2520.05/2455.30	v 	<list>
2520.05/2455.30	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[37][0] y[37][1] y[37][2] y[37][3] y[38][0] y[38][1] y[38][2] y[39][0] y[39][1] y[40][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40]
2520.05/2455.30	v 	</list>
2520.05/2455.30	v 	<values>
2520.05/2455.30	v 		-1 -1 -1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 1 -1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 1 1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 1 1 -1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 -1 1 1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 -1 1 1 1 -1 1 1 1 1 -1 1 -1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 -1 -1 3 4 3 -4 -3 4 -1 4 -1 0 5 4 1 0 -1 -2 -1 -2 1 -2 1 0 1 -4 3 -4 -1 -2 -3 -2 1 -2 -1 2 -1 2 1 -2 -1 -2 -1 9 16 9 16 9 16 1 16 1 0 25 16 1 0 1 4 1 4 1 4 1 0 1 16 9 16 1 4 9 4 1 4 1 4 1 4 1 4 1 4 1 
2520.05/2455.30	v 	</values>
2520.05/2455.30	v </instantiation>

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14240 MiB free)
  memory of node 1: 16384 MiB (15397 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274546-1502843056/watcher-4274546-1502843056 -o /tmp/evaluation-result-4274546-1502843056/solver-4274546-1502843056 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node115-1502837205-2590 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 403323151 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274546-1502843056.xml 

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

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


[startup+0.100497 s]*
/proc/loadavg: 1.44 1.47 1.49 2/215 3164
/proc/meminfo: memFree=30329864/32770624 swapFree=67108860/67108860
[pid=3149] ppid=3146 vsize=13980164 memory=33136 CPUtime=0.12 cores=1,3,5,7
/proc/3149/stat : 3149 (java) S 3146 3149 2558 0 -1 1077944320 8131 0 0 0 10 2 0 0 20 0 15 0 117393239 14315687936 8284 33554432000 4194304 4196468 140729201257312 140729201239856 140115689586423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
/proc/3149/statm: 3495041 8284 3408 1 0 3482761 0
[pid=3149/tid=3151] ppid=3146 vsize=13980164 memory=-8537243206333330624 CPUtime=0.09 cores=1,3,5,7
/proc/3149/task/3151/stat : 3151 (java) R 3146 3149 2558 0 -1 4202560 6044 0 0 0 8 1 0 0 20 0 15 0 117393239 14315687936 8284 33554432000 4194304 4196468 140729201257312 140115693783760 140115689608349 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3152] ppid=3146 vsize=13980164 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3152/stat : 3152 (java) S 3146 3149 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117393240 14315687936 8284 33554432000 4194304 4196468 140729201257312 140115659299344 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3153] ppid=3146 vsize=13980164 memory=139660561745536 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3153/stat : 3153 (java) S 3146 3149 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117393240 14315687936 8284 33554432000 4194304 4196468 140729201257312 140115284204176 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3154] ppid=3146 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3154/stat : 3154 (java) S 3146 3149 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117393240 14315687936 8284 33554432000 4194304 4196468 140729201257312 140115283151120 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3155] ppid=3146 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3155/stat : 3155 (java) S 3146 3149 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117393240 14315687936 8284 33554432000 4194304 4196468 140729201257312 140115282098576 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3156] ppid=3146 vsize=13980164 memory=139660561745536 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3156/stat : 3156 (java) S 3146 3149 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117393242 14315687936 8284 33554432000 4194304 4196468 140729201257312 140115163675376 140115689597570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3157] ppid=3146 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3157/stat : 3157 (java) S 3146 3149 2558 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117393242 14315687936 8284 33554432000 4194304 4196468 140729201257312 140115162621600 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3158] ppid=3146 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3158/stat : 3158 (java) S 3146 3149 2558 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117393242 14315687936 8284 33554432000 4194304 4196468 140729201257312 140115161568496 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3159] ppid=3146 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3159/stat : 3159 (java) S 3146 3149 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117393245 14315687936 8284 33554432000 4194304 4196468 140729201257312 140115160517072 140115689605019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3160] ppid=3146 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3160/stat : 3160 (java) S 3146 3149 2558 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 117393245 14315687936 8284 33554432000 4194304 4196468 140729201257312 140115159464176 140115689597570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3161] ppid=3146 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3161/stat : 3161 (java) S 3146 3149 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117393245 14315687936 8284 33554432000 4194304 4196468 140729201257312 140115158411632 140115689597570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3162] ppid=3146 vsize=13980164 memory=139660561745536 CPUtime=0.01 cores=1,3,5,7
/proc/3149/task/3162/stat : 3162 (java) R 3146 3149 2558 0 -1 4202560 399 0 0 0 1 0 0 0 20 0 15 0 117393245 14315687936 8284 33554432000 4194304 4196468 140729201257312 140115157358576 140115689593820 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3163] ppid=3146 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3163/stat : 3163 (java) S 3146 3149 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117393245 14315687936 8284 33554432000 4194304 4196468 140729201257312 140115156306272 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3164] ppid=3146 vsize=13980164 memory=139660561745536 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3164/stat : 3164 (java) S 3146 3149 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117393245 14315687936 8284 33554432000 4194304 4196468 140729201257312 140115155254320 140115689597570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 33136 KiB

[startup+0.210307 s]*
/proc/loadavg: 1.44 1.47 1.49 3/215 3164
/proc/meminfo: memFree=30321424/32770624 swapFree=67108860/67108860
[pid=3149] ppid=3146 vsize=13980164 memory=42588 CPUtime=0.29 cores=1,3,5,7
/proc/3149/stat : 3149 (java) S 3146 3149 2558 0 -1 1077944320 9203 0 0 0 27 2 0 0 20 0 15 0 117393239 14315687936 10647 33554432000 4194304 4196468 140729201257312 140729201239856 140115689586423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
/proc/3149/statm: 3495041 10647 3629 1 0 3482761 0
[pid=3149/tid=3151] ppid=3146 vsize=13980164 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/3149/task/3151/stat : 3151 (java) R 3146 3149 2558 0 -1 4202560 6683 0 0 0 18 1 0 0 20 0 15 0 117393239 14315687936 10647 33554432000 4194304 4196468 140729201257312 140115693802336 140115673666910 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3152] ppid=3146 vsize=13980164 memory=345 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3152/stat : 3152 (java) S 3146 3149 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117393240 14315687936 10647 33554432000 4194304 4196468 140729201257312 140115659299344 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3153] ppid=3146 vsize=13980164 memory=139660561748865 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3153/stat : 3153 (java) S 3146 3149 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117393240 14315687936 10647 33554432000 4194304 4196468 140729201257312 140115284204176 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3154] ppid=3146 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3154/stat : 3154 (java) S 3146 3149 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117393240 14315687936 10647 33554432000 4194304 4196468 140729201257312 140115283151120 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3155] ppid=3146 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3155/stat : 3155 (java) S 3146 3149 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117393240 14315687936 10647 33554432000 4194304 4196468 140729201257312 140115282098576 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3156] ppid=3146 vsize=13980164 memory=139660561745536 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3156/stat : 3156 (java) S 3146 3149 2558 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117393242 14315687936 10647 33554432000 4194304 4196468 140729201257312 140115163675376 140115689597570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3157] ppid=3146 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3157/stat : 3157 (java) S 3146 3149 2558 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117393242 14315687936 10647 33554432000 4194304 4196468 140729201257312 140115162621600 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3158] ppid=3146 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3158/stat : 3158 (java) S 3146 3149 2558 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117393242 14315687936 10647 33554432000 4194304 4196468 140729201257312 140115161568496 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3159] ppid=3146 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3159/stat : 3159 (java) S 3146 3149 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117393245 14315687936 10647 33554432000 4194304 4196468 140729201257312 140115160517072 140115689605019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3160] ppid=3146 vsize=13980164 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3149/task/3160/stat : 3160 (java) S 3146 3149 2558 0 -1 1077944384 453 0 0 0 2 0 0 0 20 0 15 0 117393245 14315687936 10647 33554432000 4194304 4196468 140729201257312 140115159464176 140115689597570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3161] ppid=3146 vsize=13980164 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/3149/task/3161/stat : 3161 (java) S 3146 3149 2558 0 -1 1077944384 213 0 0 0 1 0 0 0 20 0 15 0 117393245 14315687936 10647 33554432000 4194304 4196468 140729201257312 140115158411632 140115689597570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3162] ppid=3146 vsize=13980164 memory=139660561745536 CPUtime=0.05 cores=1,3,5,7
/proc/3149/task/3162/stat : 3162 (java) S 3146 3149 2558 0 -1 1077944384 475 0 0 0 5 0 0 0 20 0 15 0 117393245 14315687936 10647 33554432000 4194304 4196468 140729201257312 140115157358576 140115689597570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3163] ppid=3146 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3163/stat : 3163 (java) S 3146 3149 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117393245 14315687936 10647 33554432000 4194304 4196468 140729201257312 140115156306272 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3164] ppid=3146 vsize=13980164 memory=139660561745536 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3164/stat : 3164 (java) S 3146 3149 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117393245 14315687936 10647 33554432000 4194304 4196468 140729201257312 140115155254320 140115689597570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 42588 KiB

[startup+0.310229 s]*
/proc/loadavg: 1.44 1.47 1.49 4/215 3164
/proc/meminfo: memFree=30292212/32770624 swapFree=67108860/67108860
[pid=3149] ppid=3146 vsize=13980184 memory=50312 CPUtime=0.49 cores=1,3,5,7
/proc/3149/stat : 3149 (java) S 3146 3149 2558 0 -1 1077944320 10294 0 0 0 46 3 0 0 20 0 15 0 117393239 14315708416 12578 33554432000 4194304 4196468 140729201257312 140729201239856 140115689586423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
/proc/3149/statm: 3495046 12578 3709 1 0 3482761 0
[pid=3149/tid=3151] ppid=3146 vsize=13980184 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/3149/task/3151/stat : 3151 (java) R 3146 3149 2558 0 -1 4202560 7242 0 0 0 27 2 0 0 20 0 15 0 117393239 14315708416 12578 33554432000 4194304 4196468 140729201257312 140115693808912 140115689598358 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3152] ppid=3146 vsize=13980184 memory=4294976291 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3152/stat : 3152 (java) S 3146 3149 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117393240 14315708416 12578 33554432000 4194304 4196468 140729201257312 140115659299344 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3153] ppid=3146 vsize=13980184 memory=139660562274135 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3153/stat : 3153 (java) S 3146 3149 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117393240 14315708416 12578 33554432000 4194304 4196468 140729201257312 140115284204176 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3154] ppid=3146 vsize=13980184 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3154/stat : 3154 (java) S 3146 3149 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117393240 14315708416 12578 33554432000 4194304 4196468 140729201257312 140115283151120 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3155] ppid=3146 vsize=13980184 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3155/stat : 3155 (java) S 3146 3149 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117393240 14315708416 12578 33554432000 4194304 4196468 140729201257312 140115282098576 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3156] ppid=3146 vsize=13980184 memory=139660561745536 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3156/stat : 3156 (java) S 3146 3149 2558 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117393242 14315708416 12578 33554432000 4194304 4196468 140729201257312 140115163675376 140115689597570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3157] ppid=3146 vsize=13980184 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3157/stat : 3157 (java) S 3146 3149 2558 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117393242 14315708416 12578 33554432000 4194304 4196468 140729201257312 140115162621600 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3158] ppid=3146 vsize=13980184 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3158/stat : 3158 (java) S 3146 3149 2558 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117393242 14315708416 12578 33554432000 4194304 4196468 140729201257312 140115161568496 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3159] ppid=3146 vsize=13980184 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3159/stat : 3159 (java) S 3146 3149 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117393245 14315708416 12578 33554432000 4194304 4196468 140729201257312 140115160517072 140115689605019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3160] ppid=3146 vsize=13980184 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/3149/task/3160/stat : 3160 (java) S 3146 3149 2558 0 -1 1077944384 612 0 0 0 5 0 0 0 20 0 15 0 117393245 14315708416 12578 33554432000 4194304 4196468 140729201257312 140115159464176 140115689597570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3161] ppid=3146 vsize=13980184 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/3149/task/3161/stat : 3161 (java) S 3146 3149 2558 0 -1 1077944384 434 0 0 0 4 0 0 0 20 0 15 0 117393245 14315708416 12578 33554432000 4194304 4196468 140729201257312 140115158411632 140115689597570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3162] ppid=3146 vsize=13980184 memory=139660561745536 CPUtime=0.08 cores=1,3,5,7
/proc/3149/task/3162/stat : 3162 (java) R 3146 3149 2558 0 -1 4202560 624 0 0 0 8 0 0 0 20 0 15 0 117393245 14315708416 12578 33554432000 4194304 4196468 140729201257312 140115157358576 140115689598358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3163] ppid=3146 vsize=13980184 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3163/stat : 3163 (java) S 3146 3149 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117393245 14315708416 12578 33554432000 4194304 4196468 140729201257312 140115156306272 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3164] ppid=3146 vsize=13980184 memory=139660561745536 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3164/stat : 3164 (java) S 3146 3149 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117393245 14315708416 12578 33554432000 4194304 4196468 140729201257312 140115155254320 140115689597570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13980184 KiB
Current children cumulated memory: 50312 KiB

[startup+0.700703 s]
/proc/loadavg: 1.44 1.47 1.49 6/215 3164
/proc/meminfo: memFree=30291496/32770624 swapFree=67108860/67108860
[pid=3149] ppid=3146 vsize=13982232 memory=76516 CPUtime=1.36 cores=1,3,5,7
/proc/3149/stat : 3149 (java) S 3146 3149 2558 0 -1 1077944320 12245 0 0 0 131 5 0 0 20 0 15 0 117393239 14317805568 19129 33554432000 4194304 4196468 140729201257312 140729201239856 140115689586423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
/proc/3149/statm: 3495558 19129 3765 1 0 3483273 0
[pid=3149/tid=3151] ppid=3146 vsize=13982232 memory=19332 CPUtime=0.67 cores=1,3,5,7
/proc/3149/task/3151/stat : 3151 (java) R 3146 3149 2558 0 -1 4202560 8091 0 0 0 64 3 0 0 20 0 15 0 117393239 14317805568 19129 33554432000 4194304 4196468 140729201257312 140115693823168 140115689598358 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3152] ppid=3146 vsize=13982232 memory=18444 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3152/stat : 3152 (java) S 3146 3149 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117393240 14317805568 19129 33554432000 4194304 4196468 140729201257312 140115659299344 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3153] ppid=3146 vsize=13982232 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3153/stat : 3153 (java) S 3146 3149 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117393240 14317805568 19129 33554432000 4194304 4196468 140729201257312 140115284204176 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3154] ppid=3146 vsize=13982232 memory=640 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3154/stat : 3154 (java) S 3146 3149 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117393240 14317805568 19129 33554432000 4194304 4196468 140729201257312 140115283151120 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3155] ppid=3146 vsize=13982232 memory=952 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3155/stat : 3155 (java) S 3146 3149 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117393240 14317805568 19129 33554432000 4194304 4196468 140729201257312 140115282098576 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3156] ppid=3146 vsize=13982232 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3156/stat : 3156 (java) S 3146 3149 2558 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117393242 14317805568 19129 33554432000 4194304 4196468 140729201257312 140115163675376 140115689597570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3157] ppid=3146 vsize=13982232 memory=4384 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3157/stat : 3157 (java) S 3146 3149 2558 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117393242 14317805568 19129 33554432000 4194304 4196468 140729201257312 140115162621600 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3158] ppid=3146 vsize=13982232 memory=932 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3158/stat : 3158 (java) S 3146 3149 2558 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117393242 14317805568 19129 33554432000 4194304 4196468 140729201257312 140115161568496 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3159] ppid=3146 vsize=13982232 memory=6153431502485415780 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3159/stat : 3159 (java) S 3146 3149 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117393245 14317805568 19129 33554432000 4194304 4196468 140729201257312 140115160517072 140115689605019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3160] ppid=3146 vsize=13982232 memory=6081108994580048232 CPUtime=0.2 cores=1,3,5,7
/proc/3149/task/3160/stat : 3160 (java) R 3146 3149 2558 0 -1 4202560 844 0 0 0 20 0 0 0 20 0 15 0 117393245 14317805568 19129 33554432000 4194304 4196468 140729201257312 140115159464176 140115666869376 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3161] ppid=3146 vsize=13982232 memory=6154282490091891024 CPUtime=0.14 cores=1,3,5,7
/proc/3149/task/3161/stat : 3161 (java) R 3146 3149 2558 0 -1 1077944384 686 0 0 0 14 0 0 0 20 0 15 0 117393245 14317805568 19129 33554432000 4194304 4196468 140729201257312 140115158411632 140115689597570 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3162] ppid=3146 vsize=13982232 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/3149/task/3162/stat : 3162 (java) R 3146 3149 2558 0 -1 4202560 1243 0 0 0 32 0 0 0 20 0 15 0 117393245 14317805568 19129 33554432000 4194304 4196468 140729201257312 140115157358576 140115668556052 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3163] ppid=3146 vsize=13982232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3163/stat : 3163 (java) S 3146 3149 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117393245 14317805568 19129 33554432000 4194304 4196468 140729201257312 140115156306272 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3164] ppid=3146 vsize=13982232 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3164/stat : 3164 (java) S 3146 3149 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117393245 14317805568 19129 33554432000 4194304 4196468 140729201257312 140115155254320 140115689597570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
Current children cumulated CPU time: 1.36 s
Current children cumulated vsize: 13982232 KiB
Current children cumulated memory: 76516 KiB

[startup+1.50108 s]
/proc/loadavg: 1.44 1.47 1.49 6/215 3164
/proc/meminfo: memFree=30262612/32770624 swapFree=67108860/67108860
[pid=3149] ppid=3146 vsize=13986328 memory=159356 CPUtime=3.85 cores=1,3,5,7
/proc/3149/stat : 3149 (java) S 3146 3149 2558 0 -1 1077944320 28047 0 0 0 376 9 0 0 20 0 15 0 117393239 14321999872 39839 33554432000 4194304 4196468 140729201257312 140729201239856 140115689586423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
/proc/3149/statm: 3496582 39839 3793 1 0 3484297 0
[pid=3149/tid=3151] ppid=3146 vsize=13986328 memory=148604 CPUtime=1.46 cores=1,3,5,7
/proc/3149/task/3151/stat : 3151 (java) R 3146 3149 2558 0 -1 4202560 11840 0 0 0 141 5 0 0 20 0 15 0 117393239 14321999872 39839 33554432000 4194304 4196468 140729201257312 140115693819872 140115334205688 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3152] ppid=3146 vsize=13986328 memory=33 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3152/stat : 3152 (java) S 3146 3149 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117393240 14321999872 39839 33554432000 4194304 4196468 140729201257312 140115659299344 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3153] ppid=3146 vsize=13986328 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3153/stat : 3153 (java) S 3146 3149 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117393240 14321999872 39839 33554432000 4194304 4196468 140729201257312 140115284204176 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3154] ppid=3146 vsize=13986328 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3154/stat : 3154 (java) S 3146 3149 2558 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117393240 14321999872 39839 33554432000 4194304 4196468 140729201257312 140115283151120 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3155] ppid=3146 vsize=13986328 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3155/stat : 3155 (java) S 3146 3149 2558 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117393240 14321999872 39839 33554432000 4194304 4196468 140729201257312 140115282098576 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3156] ppid=3146 vsize=13986328 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3156/stat : 3156 (java) S 3146 3149 2558 0 -1 1077944384 530 0 0 0 0 0 0 0 20 0 15 0 117393242 14321999872 39839 33554432000 4194304 4196468 140729201257312 140115163675376 140115689597570 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0

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

/proc/3149/task/3151/stat : 3151 (java) R 3146 3149 2558 0 -1 4202560 85031 0 0 0 235453 64 0 0 20 0 15 0 117393239 14321999872 137656 33554432000 4194304 4196468 140729201257312 140115693824816 140115335733251 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3152] ppid=3146 vsize=13986328 memory=560884 CPUtime=19.42 cores=1,3,5,7
/proc/3149/task/3152/stat : 3152 (java) S 3146 3149 2558 0 -1 1077944384 17069 0 0 0 1870 72 0 0 20 0 15 0 117393240 14321999872 137656 33554432000 4194304 4196468 140729201257312 140115659299344 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3153] ppid=3146 vsize=13986328 memory=552676 CPUtime=19.48 cores=1,3,5,7
/proc/3149/task/3153/stat : 3153 (java) S 3146 3149 2558 0 -1 1077944384 16030 0 0 0 1873 75 0 0 20 0 15 0 117393240 14321999872 137656 33554432000 4194304 4196468 140729201257312 140115284204176 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3154] ppid=3146 vsize=13986328 memory=552676 CPUtime=19.46 cores=1,3,5,7
/proc/3149/task/3154/stat : 3154 (java) S 3146 3149 2558 0 -1 1077944384 16725 0 0 0 1875 71 0 0 20 0 15 0 117393240 14321999872 137656 33554432000 4194304 4196468 140729201257312 140115283151120 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3155] ppid=3146 vsize=13986328 memory=550624 CPUtime=19.42 cores=1,3,5,7
/proc/3149/task/3155/stat : 3155 (java) S 3146 3149 2558 0 -1 1077944384 15370 0 0 0 1872 70 0 0 20 0 15 0 117393240 14321999872 137656 33554432000 4194304 4196468 140729201257312 140115282098576 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3156] ppid=3146 vsize=13986328 memory=550624 CPUtime=4.65 cores=1,3,5,7
/proc/3149/task/3156/stat : 3156 (java) S 3146 3149 2558 0 -1 1077944384 82634 0 0 0 394 71 0 0 20 0 15 0 117393242 14321999872 137656 33554432000 4194304 4196468 140729201257312 140115163675376 140115689597570 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3157] ppid=3146 vsize=13986328 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3157/stat : 3157 (java) S 3146 3149 2558 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 117393242 14321999872 137656 33554432000 4194304 4196468 140729201257312 140115162621664 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3158] ppid=3146 vsize=13986328 memory=545948 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3158/stat : 3158 (java) S 3146 3149 2558 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 117393242 14321999872 137656 33554432000 4194304 4196468 140729201257312 140115161568512 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3159] ppid=3146 vsize=13986328 memory=545948 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3159/stat : 3159 (java) S 3146 3149 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117393245 14321999872 137656 33554432000 4194304 4196468 140729201257312 140115160517072 140115689605019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3160] ppid=3146 vsize=13986328 memory=552676 CPUtime=2.38 cores=1,3,5,7
/proc/3149/task/3160/stat : 3160 (java) S 3146 3149 2558 0 -1 1077944384 19149 0 0 0 235 3 0 0 20 0 15 0 117393245 14321999872 137656 33554432000 4194304 4196468 140729201257312 140115159464176 140115689597570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3161] ppid=3146 vsize=13986328 memory=552676 CPUtime=2.6 cores=1,3,5,7
/proc/3149/task/3161/stat : 3161 (java) S 3146 3149 2558 0 -1 1077944384 16877 0 0 0 257 3 0 0 20 0 15 0 117393245 14321999872 137656 33554432000 4194304 4196468 140729201257312 140115158411632 140115689597570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3162] ppid=3146 vsize=13986328 memory=567040 CPUtime=1.12 cores=1,3,5,7
/proc/3149/task/3162/stat : 3162 (java) S 3146 3149 2558 0 -1 1077944384 18744 0 0 0 109 3 0 0 20 0 15 0 117393245 14321999872 137656 33554432000 4194304 4196468 140729201257312 140115157358576 140115689597570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3163] ppid=3146 vsize=13986328 memory=569092 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3163/stat : 3163 (java) S 3146 3149 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117393245 14321999872 137656 33554432000 4194304 4196468 140729201257312 140115156306272 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3164] ppid=3146 vsize=13986328 memory=553480 CPUtime=1.51 cores=1,3,5,7
/proc/3149/task/3164/stat : 3164 (java) S 3146 3149 2558 0 -1 1077944384 917 0 0 0 70 81 0 0 20 0 15 0 117393245 14321999872 137656 33554432000 4194304 4196468 140729201257312 140115155254320 140115689597570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
Current children cumulated CPU time: 2445.31 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 550624 KiB

[startup+2442.3 s]
/proc/loadavg: 1.51 1.44 1.42 3/216 3322
/proc/meminfo: memFree=29956060/32770624 swapFree=67108860/67108860
[pid=3149] ppid=3146 vsize=13986328 memory=515576 CPUtime=2506.77 cores=1,3,5,7
/proc/3149/stat : 3149 (java) S 3146 3149 2558 0 -1 1077944320 294690 0 0 0 250192 485 0 0 20 0 15 0 117393239 14321999872 128894 33554432000 4194304 4196468 140729201257312 140729201239856 140115689586423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
/proc/3149/statm: 3496582 128894 3864 1 0 3484297 0
[pid=3149/tid=3151] ppid=3146 vsize=13986328 memory=523784 CPUtime=2414.47 cores=1,3,5,7
/proc/3149/task/3151/stat : 3151 (java) R 3146 3149 2558 0 -1 4202560 85662 0 0 0 241383 64 0 0 20 0 15 0 117393239 14321999872 128894 33554432000 4194304 4196468 140729201257312 140115693824816 140115336088342 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3152] ppid=3146 vsize=13986328 memory=519680 CPUtime=19.92 cores=1,3,5,7
/proc/3149/task/3152/stat : 3152 (java) S 3146 3149 2558 0 -1 1077944384 17462 0 0 0 1918 74 0 0 20 0 15 0 117393240 14321999872 128894 33554432000 4194304 4196468 140729201257312 140115659299344 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3153] ppid=3146 vsize=13986328 memory=517628 CPUtime=19.97 cores=1,3,5,7
/proc/3149/task/3153/stat : 3153 (java) S 3146 3149 2558 0 -1 1077944384 16502 0 0 0 1920 77 0 0 20 0 15 0 117393240 14321999872 128894 33554432000 4194304 4196468 140729201257312 140115284204176 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3154] ppid=3146 vsize=13986328 memory=515576 CPUtime=19.96 cores=1,3,5,7
/proc/3149/task/3154/stat : 3154 (java) S 3146 3149 2558 0 -1 1077944384 17137 0 0 0 1923 73 0 0 20 0 15 0 117393240 14321999872 128894 33554432000 4194304 4196468 140729201257312 140115283151120 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3155] ppid=3146 vsize=13986328 memory=4132 CPUtime=19.93 cores=1,3,5,7
/proc/3149/task/3155/stat : 3155 (java) S 3146 3149 2558 0 -1 1077944384 15849 0 0 0 1920 73 0 0 20 0 15 0 117393240 14321999872 128894 33554432000 4194304 4196468 140729201257312 140115282098576 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3156] ppid=3146 vsize=13986328 memory=32940 CPUtime=4.76 cores=1,3,5,7
/proc/3149/task/3156/stat : 3156 (java) S 3146 3149 2558 0 -1 1077944384 84935 0 0 0 404 72 0 0 20 0 15 0 117393242 14321999872 128894 33554432000 4194304 4196468 140729201257312 140115163675376 140115689597570 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3157] ppid=3146 vsize=13986328 memory=515576 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3157/stat : 3157 (java) S 3146 3149 2558 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 117393242 14321999872 128894 33554432000 4194304 4196468 140729201257312 140115162621664 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3158] ppid=3146 vsize=13986328 memory=517628 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3158/stat : 3158 (java) S 3146 3149 2558 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 117393242 14321999872 128894 33554432000 4194304 4196468 140729201257312 140115161568512 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3159] ppid=3146 vsize=13986328 memory=517628 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3159/stat : 3159 (java) S 3146 3149 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117393245 14321999872 128894 33554432000 4194304 4196468 140729201257312 140115160517072 140115689605019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3160] ppid=3146 vsize=13986328 memory=517628 CPUtime=2.38 cores=1,3,5,7
/proc/3149/task/3160/stat : 3160 (java) S 3146 3149 2558 0 -1 1077944384 19151 0 0 0 235 3 0 0 20 0 15 0 117393245 14321999872 128894 33554432000 4194304 4196468 140729201257312 140115159464176 140115689597570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3161] ppid=3146 vsize=13986328 memory=515576 CPUtime=2.61 cores=1,3,5,7
/proc/3149/task/3161/stat : 3161 (java) S 3146 3149 2558 0 -1 1077944384 16879 0 0 0 257 4 0 0 20 0 15 0 117393245 14321999872 128894 33554432000 4194304 4196468 140729201257312 140115158411632 140115689597570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3162] ppid=3146 vsize=13986328 memory=1228 CPUtime=1.12 cores=1,3,5,7
/proc/3149/task/3162/stat : 3162 (java) S 3146 3149 2558 0 -1 1077944384 18746 0 0 0 109 3 0 0 20 0 15 0 117393245 14321999872 128894 33554432000 4194304 4196468 140729201257312 140115157358576 140115689597570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3163] ppid=3146 vsize=13986328 memory=519680 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3163/stat : 3163 (java) S 3146 3149 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117393245 14321999872 128894 33554432000 4194304 4196468 140729201257312 140115156306272 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3164] ppid=3146 vsize=13986328 memory=519680 CPUtime=1.55 cores=1,3,5,7
/proc/3149/task/3164/stat : 3164 (java) S 3146 3149 2558 0 -1 1077944384 924 0 0 0 71 84 0 0 20 0 15 0 117393245 14321999872 128894 33554432000 4194304 4196468 140729201257312 140115155254320 140115689597570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
Current children cumulated CPU time: 2506.77 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 515576 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2455.3 s]
/proc/loadavg: 1.54 1.45 1.42 3/216 3322
/proc/meminfo: memFree=29984484/32770624 swapFree=67108860/67108860
[pid=3149] ppid=3146 vsize=13986328 memory=522228 CPUtime=2520.05 cores=1,3,5,7
/proc/3149/stat : 3149 (java) S 3146 3149 2558 0 -1 1077944320 295171 0 0 0 251519 486 0 0 20 0 15 0 117393239 14321999872 130557 33554432000 4194304 4196468 140729201257312 140729201239856 140115689586423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
/proc/3149/statm: 3496582 130557 3864 1 0 3484297 0
[pid=3149/tid=3151] ppid=3146 vsize=13986328 memory=524280 CPUtime=2427.34 cores=1,3,5,7
/proc/3149/task/3151/stat : 3151 (java) R 3146 3149 2558 0 -1 4202560 86053 0 0 0 242669 65 0 0 20 0 15 0 117393239 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115693824816 140115335733243 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3152] ppid=3146 vsize=13986328 memory=526332 CPUtime=20.02 cores=1,3,5,7
/proc/3149/task/3152/stat : 3152 (java) S 3146 3149 2558 0 -1 1077944384 17470 0 0 0 1928 74 0 0 20 0 15 0 117393240 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115659299344 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3153] ppid=3146 vsize=13986328 memory=528384 CPUtime=20.07 cores=1,3,5,7
/proc/3149/task/3153/stat : 3153 (java) S 3146 3149 2558 0 -1 1077944384 16538 0 0 0 1930 77 0 0 20 0 15 0 117393240 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115284204176 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3154] ppid=3146 vsize=13986328 memory=522228 CPUtime=20.05 cores=1,3,5,7
/proc/3149/task/3154/stat : 3154 (java) S 3146 3149 2558 0 -1 1077944384 17150 0 0 0 1932 73 0 0 20 0 15 0 117393240 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115283151120 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3155] ppid=3146 vsize=13986328 memory=522228 CPUtime=20.03 cores=1,3,5,7
/proc/3149/task/3155/stat : 3155 (java) S 3146 3149 2558 0 -1 1077944384 15855 0 0 0 1930 73 0 0 20 0 15 0 117393240 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115282098576 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3156] ppid=3146 vsize=13986328 memory=0 CPUtime=4.79 cores=1,3,5,7
/proc/3149/task/3156/stat : 3156 (java) S 3146 3149 2558 0 -1 1077944384 84960 0 0 0 406 73 0 0 20 0 15 0 117393242 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115163675376 140115689597570 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3157] ppid=3146 vsize=13986328 memory=32940 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3157/stat : 3157 (java) S 3146 3149 2558 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 117393242 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115162621664 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3158] ppid=3146 vsize=13986328 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3158/stat : 3158 (java) S 3146 3149 2558 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 117393242 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115161568512 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3159] ppid=3146 vsize=13986328 memory=522228 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3159/stat : 3159 (java) S 3146 3149 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117393245 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115160517072 140115689605019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3160] ppid=3146 vsize=13986328 memory=4132 CPUtime=2.38 cores=1,3,5,7
/proc/3149/task/3160/stat : 3160 (java) S 3146 3149 2558 0 -1 1077944384 19151 0 0 0 235 3 0 0 20 0 15 0 117393245 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115159464176 140115689597570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3161] ppid=3146 vsize=13986328 memory=526332 CPUtime=2.61 cores=1,3,5,7
/proc/3149/task/3161/stat : 3161 (java) S 3146 3149 2558 0 -1 1077944384 16879 0 0 0 257 4 0 0 20 0 15 0 117393245 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115158411632 140115689597570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3162] ppid=3146 vsize=13986328 memory=4132 CPUtime=1.12 cores=1,3,5,7
/proc/3149/task/3162/stat : 3162 (java) S 3146 3149 2558 0 -1 1077944384 18746 0 0 0 109 3 0 0 20 0 15 0 117393245 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115157358576 140115689597570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3163] ppid=3146 vsize=13986328 memory=524280 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3163/stat : 3163 (java) S 3146 3149 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117393245 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115156306272 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3164] ppid=3146 vsize=13986328 memory=4132 CPUtime=1.55 cores=1,3,5,7
/proc/3149/task/3164/stat : 3164 (java) S 3146 3149 2558 0 -1 1077944384 926 0 0 0 71 84 0 0 20 0 15 0 117393245 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115155254320 140115689597570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 522228 KiB

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

[startup+2455.32 s]
# the end of solver process 3149 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.21 s, system=4.87145 s

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

[startup+2455.3 s]
/proc/loadavg: 1.54 1.45 1.42 3/216 3322
/proc/meminfo: memFree=29984484/32770624 swapFree=67108860/67108860
[pid=3149] ppid=3146 vsize=13986328 memory=522228 CPUtime=2520.05 cores=1,3,5,7
/proc/3149/stat : 3149 (java) S 3146 3149 2558 0 -1 1077944320 295171 0 0 0 251519 486 0 0 20 0 15 0 117393239 14321999872 130557 33554432000 4194304 4196468 140729201257312 140729201239856 140115689586423 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
/proc/3149/statm: 3496582 130557 3864 1 0 3484297 0
[pid=3149/tid=3151] ppid=3146 vsize=13986328 memory=524280 CPUtime=2427.34 cores=1,3,5,7
/proc/3149/task/3151/stat : 3151 (java) R 3146 3149 2558 0 -1 4202560 86053 0 0 0 242669 65 0 0 20 0 15 0 117393239 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115693824816 140115335733243 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3152] ppid=3146 vsize=13986328 memory=526332 CPUtime=20.02 cores=1,3,5,7
/proc/3149/task/3152/stat : 3152 (java) S 3146 3149 2558 0 -1 1077944384 17470 0 0 0 1928 74 0 0 20 0 15 0 117393240 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115659299344 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3153] ppid=3146 vsize=13986328 memory=528384 CPUtime=20.07 cores=1,3,5,7
/proc/3149/task/3153/stat : 3153 (java) S 3146 3149 2558 0 -1 1077944384 16538 0 0 0 1930 77 0 0 20 0 15 0 117393240 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115284204176 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3154] ppid=3146 vsize=13986328 memory=522228 CPUtime=20.05 cores=1,3,5,7
/proc/3149/task/3154/stat : 3154 (java) S 3146 3149 2558 0 -1 1077944384 17150 0 0 0 1932 73 0 0 20 0 15 0 117393240 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115283151120 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3155] ppid=3146 vsize=13986328 memory=522228 CPUtime=20.03 cores=1,3,5,7
/proc/3149/task/3155/stat : 3155 (java) S 3146 3149 2558 0 -1 1077944384 15855 0 0 0 1930 73 0 0 20 0 15 0 117393240 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115282098576 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3156] ppid=3146 vsize=13986328 memory=0 CPUtime=4.79 cores=1,3,5,7
/proc/3149/task/3156/stat : 3156 (java) S 3146 3149 2558 0 -1 1077944384 84960 0 0 0 406 73 0 0 20 0 15 0 117393242 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115163675376 140115689597570 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3157] ppid=3146 vsize=13986328 memory=32940 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3157/stat : 3157 (java) S 3146 3149 2558 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 117393242 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115162621664 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3158] ppid=3146 vsize=13986328 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3158/stat : 3158 (java) S 3146 3149 2558 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 117393242 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115161568512 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3159] ppid=3146 vsize=13986328 memory=522228 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3159/stat : 3159 (java) S 3146 3149 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117393245 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115160517072 140115689605019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3160] ppid=3146 vsize=13986328 memory=4132 CPUtime=2.38 cores=1,3,5,7
/proc/3149/task/3160/stat : 3160 (java) S 3146 3149 2558 0 -1 1077944384 19151 0 0 0 235 3 0 0 20 0 15 0 117393245 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115159464176 140115689597570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3161] ppid=3146 vsize=13986328 memory=526332 CPUtime=2.61 cores=1,3,5,7
/proc/3149/task/3161/stat : 3161 (java) S 3146 3149 2558 0 -1 1077944384 16879 0 0 0 257 4 0 0 20 0 15 0 117393245 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115158411632 140115689597570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3162] ppid=3146 vsize=13986328 memory=4132 CPUtime=1.12 cores=1,3,5,7
/proc/3149/task/3162/stat : 3162 (java) S 3146 3149 2558 0 -1 1077944384 18746 0 0 0 109 3 0 0 20 0 15 0 117393245 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115157358576 140115689597570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3163] ppid=3146 vsize=13986328 memory=524280 CPUtime=0 cores=1,3,5,7
/proc/3149/task/3163/stat : 3163 (java) S 3146 3149 2558 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117393245 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115156306272 140115689596629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
[pid=3149/tid=3164] ppid=3146 vsize=13986328 memory=4132 CPUtime=1.55 cores=1,3,5,7
/proc/3149/task/3164/stat : 3164 (java) S 3146 3149 2558 0 -1 1077944384 926 0 0 0 71 84 0 0 20 0 15 0 117393245 14321999872 130557 33554432000 4194304 4196468 140729201257312 140115155254320 140115689597570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18255872 140729201259625 140729201259807 140729201259807 140729201262543 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 522228 KiB

Child status: 143
Real time (s): 2455.32
CPU time (s): 2520.08
CPU user time (s): 2515.21
CPU system time (s): 4.87145
CPU usage (%): 102.637
Max. virtual memory (cumulated for all children) (KiB): 13986328
Max. memory (cumulated for all children) (KiB): 991468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.21
system time used= 4.87145
maximum resident set size= 991988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295507
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 163705
involuntary context switches= 6810


# summary of solver processes directly reported to runsolver:
#   pid: 3149
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2515.21
#   total CPU system time (s): 4.87145

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.788 second user time and 22.8813 second system time

The end

Name	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml
MD5SUM	406abf126875c7059afeaa5170034bef
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	157
Best CPU time to get the best result obtained on this benchmark	20003.6
Satisfiable
(Un)Satisfiability was proved
Number of variables	1805
Number of constraints	943
Number of domains	83
Minimum domain size	2
Maximum domain size	83
Distribution of domain sizes	[{"size":2,"count":904},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":39,"count":2}, {"size":40,"count":1}, {"size":41,"count":2}, {"size":42,"count":1}, {"size":43,"count":1}, {"size":45,"count":1}, {"size":47,"count":1}, {"size":49,"count":1}, {"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}]
Minimum variable degree	0
Maximum variable degree	41
Distribution of variable degrees	[{"degree":0,"count":820},{"degree":2,"count":943},{"degree":41,"count":42}]
Minimum constraint arity	2
Maximum constraint arity	42
Distribution of constraint arities	[{"arity":2,"count":42},{"arity":3,"count":862},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":37,"count":1},{"arity":38,"count":1},{"arity":39,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":42,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	902
Distribution of constraint types	[{"type":"intension","count":902},{"type":"sum","count":41}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4274546

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