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)	192	2520.1001	2455.4199

0.30/0.25	c version: 2017-07-26
0.30/0.25	c seed: 1754112893
0.30/0.25	c timeout: 2520
0.30/0.25	c memlimit: 11000
0.30/0.25	c nbcore: 4
0.30/0.27	c Parsing instance...
2.54/1.20	c Parsing done, starting first complete search...
2.85/1.25	o 20540
2.85/1.25	o 16216
2.85/1.26	o 12748
2.85/1.26	o 12708
2.85/1.26	o 9896
2.85/1.26	o 7684
2.85/1.27	o 6104
2.85/1.27	o 4508
2.85/1.27	o 3464
2.85/1.28	o 2564
2.85/1.29	o 2500
2.85/1.30	o 1976
3.17/1.31	o 1736
3.17/1.32	o 1436
3.17/1.35	o 1300
3.17/1.36	o 1208
3.47/1.44	o 1144
5.23/2.14	o 1096
5.23/2.16	o 1064
5.23/2.17	o 1052
5.23/2.19	o 948
5.58/2.35	o 940
5.58/2.36	o 932
5.58/2.36	o 884
5.58/2.38	o 828
6.45/3.09	o 780
7.35/3.92	o 772
7.76/4.34	o 724
7.86/4.42	o 712
7.86/4.45	o 668
7.86/4.47	o 648
7.86/4.48	o 644
7.86/4.48	o 640
7.96/4.55	o 616
8.17/4.75	o 600
12.74/9.24	c First complete search done, starting ALNS search...
14.80/10.55	o 576
14.80/10.57	o 524
24.75/19.32	o 444
27.50/21.83	o 312
70.99/63.75	o 304
91.96/84.14	o 256
162.40/152.82	o 252
163.23/153.68	o 240
212.28/201.59	o 232
706.15/683.64	o 192
1817.31/1769.03	c ALNS done, starting second complete search
1817.31/1769.03	c Best operator: Random(225)_FirstFail(valLearnMin) with improvement of: 296
2520.07/2455.40	s SATISFIABLE
2520.07/2455.40	v <instantiation>
2520.07/2455.40	v 	<list>
2520.07/2455.40	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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[35][0] y[35][1] y[35][2] y[35][3] y[36][0] y[36][1] y[36][2] y[37][0] y[37][1] y[38][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] 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]
2520.07/2455.40	v 	</list>
2520.07/2455.40	v 	<values>
2520.07/2455.40	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 2 1 0 1 0 5 2 -1 -2 -3 -2 -1 0 1 0 -3 -2 1 -2 -1 -2 3 4 -5 0 -3 2 3 2 1 -2 -1 -4 -1 0 3 2 1 1 4 1 0 1 0 25 4 1 4 9 4 1 0 1 0 9 4 1 4 1 4 9 16 25 0 9 4 9 4 1 4 1 16 1 0 9 4 1 
2520.07/2455.40	v 	</values>
2520.07/2455.40	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 (13953 MiB free)
  memory of node 1: 16384 MiB (14084 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274545-1502845120/watcher-4274545-1502845120 -o /tmp/evaluation-result-4274545-1502845120/solver-4274545-1502845120 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502839307-13258 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1754112893 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274545-1502845120.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=14004, runsolver pid=14001
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 1.48 1.47 1.49 3/216 14021
/proc/meminfo: memFree=28690728/32770624 swapFree=67108860/67108860
[pid=14004] ppid=14001 vsize=13980164 memory=34228 CPUtime=0.13 cores=1,3,5,7
/proc/14004/stat : 14004 (java) S 14001 14004 13226 0 -1 1077944320 8463 0 0 0 12 1 0 0 20 0 15 0 117600057 14315687936 8557 33554432000 4194304 4196468 140732671972160 140732671954704 139797611482871 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
/proc/14004/statm: 3495041 8557 3410 1 0 3482761 0
[pid=14004/tid=14008] ppid=14001 vsize=13980164 memory=-7038777180040225399 CPUtime=0.09 cores=1,3,5,7
/proc/14004/task/14008/stat : 14008 (java) R 14001 14004 13226 0 -1 4202560 6420 0 0 0 8 1 0 0 20 0 15 0 117600057 14315687936 8557 33554432000 4194304 4196468 140732671972160 139797615688864 139797595563358 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14009] ppid=14001 vsize=13980164 memory=5793854895970736569 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14009/stat : 14009 (java) S 14001 14004 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600058 14315687936 8557 33554432000 4194304 4196468 140732671972160 139797564103312 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14010] ppid=14001 vsize=13980164 memory=139644960843392 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14010/stat : 14010 (java) S 14001 14004 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600058 14315687936 8557 33554432000 4194304 4196468 140732671972160 139797563050512 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14011] ppid=14001 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14011/stat : 14011 (java) S 14001 14004 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600058 14315687936 8557 33554432000 4194304 4196468 140732671972160 139797205281168 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14012] ppid=14001 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14012/stat : 14012 (java) S 14001 14004 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117600058 14315687936 8557 33554432000 4194304 4196468 140732671972160 139797204228368 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14013] ppid=14001 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14013/stat : 14013 (java) S 14001 14004 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117600059 14315687936 8557 33554432000 4194304 4196468 140732671972160 139796524018544 139797611494018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14014] ppid=14001 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14014/stat : 14014 (java) S 14001 14004 13226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117600060 14315687936 8557 33554432000 4194304 4196468 140732671972160 139796522964512 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14015] ppid=14001 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14015/stat : 14015 (java) S 14001 14004 13226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117600060 14315687936 8557 33554432000 4194304 4196468 140732671972160 139796521911664 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14016] ppid=14001 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14016/stat : 14016 (java) S 14001 14004 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600062 14315687936 8557 33554432000 4194304 4196468 140732671972160 139796520859984 139797611501467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14017] ppid=14001 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14017/stat : 14017 (java) S 14001 14004 13226 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 117600062 14315687936 8557 33554432000 4194304 4196468 140732671972160 139796519807344 139797611494018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14018] ppid=14001 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14018/stat : 14018 (java) S 14001 14004 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600062 14315687936 8557 33554432000 4194304 4196468 140732671972160 139796518754544 139797611494018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14019] ppid=14001 vsize=13980164 memory=139644960843392 CPUtime=0.02 cores=1,3,5,7
/proc/14004/task/14019/stat : 14019 (java) S 14001 14004 13226 0 -1 1077944384 365 0 0 0 2 0 0 0 20 0 15 0 117600062 14315687936 8557 33554432000 4194304 4196468 140732671972160 139796517701744 139797611494018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14020] ppid=14001 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14020/stat : 14020 (java) S 14001 14004 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600063 14315687936 8557 33554432000 4194304 4196468 140732671972160 139796516649184 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14021] ppid=14001 vsize=13980164 memory=139644960843392 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14021/stat : 14021 (java) S 14001 14004 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600063 14315687936 8557 33554432000 4194304 4196468 140732671972160 139796515597488 139797611494018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 34228 KiB

[startup+0.210536 s]*
/proc/loadavg: 1.48 1.47 1.49 7/216 14021
/proc/meminfo: memFree=28667760/32770624 swapFree=67108860/67108860
[pid=14004] ppid=14001 vsize=13980164 memory=43576 CPUtime=0.3 cores=1,3,5,7
/proc/14004/stat : 14004 (java) S 14001 14004 13226 0 -1 1077944320 9468 0 0 0 28 2 0 0 20 0 15 0 117600057 14315687936 10894 33554432000 4194304 4196468 140732671972160 140732671954704 139797611482871 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
/proc/14004/statm: 3495041 10894 3653 1 0 3482761 0
[pid=14004/tid=14008] ppid=14001 vsize=13980164 memory=6735269665583770266 CPUtime=0.19 cores=1,3,5,7
/proc/14004/task/14008/stat : 14008 (java) D 14001 14004 13226 0 -1 1077944384 7066 0 0 0 18 1 0 0 20 0 15 0 117600057 14315687936 10894 33554432000 4194304 4196468 140732671972160 139797615683072 139797604162093 0 4 0 16800975 18446744072101617188 0 0 -1 1 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14009] ppid=14001 vsize=13980164 memory=4211973371165633930 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14009/stat : 14009 (java) S 14001 14004 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600058 14315687936 10894 33554432000 4194304 4196468 140732671972160 139797564103312 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14010] ppid=14001 vsize=13980164 memory=139644960843392 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14010/stat : 14010 (java) S 14001 14004 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600058 14315687936 10894 33554432000 4194304 4196468 140732671972160 139797563050512 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14011] ppid=14001 vsize=13980196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14011/stat : 14011 (java) S 14001 14004 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600058 14315720704 10894 33554432000 4194304 4196468 140732671972160 139797205281168 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14012] ppid=14001 vsize=13980196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14012/stat : 14012 (java) S 14001 14004 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117600058 14315720704 10894 33554432000 4194304 4196468 140732671972160 139797204228368 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14013] ppid=14001 vsize=13980164 memory=139644960843392 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14013/stat : 14013 (java) S 14001 14004 13226 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117600059 14315687936 10894 33554432000 4194304 4196468 140732671972160 139796524018544 139797611494018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14014] ppid=14001 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14014/stat : 14014 (java) S 14001 14004 13226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117600060 14315687936 10894 33554432000 4194304 4196468 140732671972160 139796522964512 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14015] ppid=14001 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14015/stat : 14015 (java) S 14001 14004 13226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117600060 14315687936 10894 33554432000 4194304 4196468 140732671972160 139796521911664 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14016] ppid=14001 vsize=13980164 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14016/stat : 14016 (java) S 14001 14004 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600062 14315687936 10894 33554432000 4194304 4196468 140732671972160 139796520859984 139797611501467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14017] ppid=14001 vsize=13980164 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/14004/task/14017/stat : 14017 (java) R 14001 14004 13226 0 -1 4202560 434 0 0 0 2 0 0 0 20 0 15 0 117600062 14315687936 10894 33554432000 4194304 4196468 140732671972160 139796519788360 139797596383377 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14018] ppid=14001 vsize=13980164 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/14004/task/14018/stat : 14018 (java) S 14001 14004 13226 0 -1 1077944384 230 0 0 0 1 0 0 0 20 0 15 0 117600062 14315687936 10894 33554432000 4194304 4196468 140732671972160 139796518754544 139797611494018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14019] ppid=14001 vsize=13980164 memory=139644960843392 CPUtime=0.05 cores=1,3,5,7
/proc/14004/task/14019/stat : 14019 (java) R 14001 14004 13226 0 -1 4202560 383 0 0 0 5 0 0 0 20 0 15 0 117600062 14315687936 10894 33554432000 4194304 4196468 140732671972160 139796517701744 139797611504218 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14020] ppid=14001 vsize=13980164 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14020/stat : 14020 (java) S 14001 14004 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600063 14315687936 10894 33554432000 4194304 4196468 140732671972160 139796516649184 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14021] ppid=14001 vsize=13980164 memory=139644960843392 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14021/stat : 14021 (java) S 14001 14004 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600063 14315687936 10894 33554432000 4194304 4196468 140732671972160 139796515597488 139797611494018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 13980164 KiB
Current children cumulated memory: 43576 KiB

[startup+0.310451 s]*
/proc/loadavg: 1.48 1.47 1.49 3/216 14021
/proc/meminfo: memFree=28658144/32770624 swapFree=67108860/67108860
[pid=14004] ppid=14001 vsize=13980184 memory=50620 CPUtime=0.5 cores=1,3,5,7
/proc/14004/stat : 14004 (java) S 14001 14004 13226 0 -1 1077944320 10436 0 0 0 47 3 0 0 20 0 15 0 117600057 14315708416 12655 33554432000 4194304 4196468 140732671972160 140732671954704 139797611482871 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
/proc/14004/statm: 3495046 12655 3709 1 0 3482761 0
[pid=14004/tid=14008] ppid=14001 vsize=13980184 memory=6735269665583770266 CPUtime=0.3 cores=1,3,5,7
/proc/14004/task/14008/stat : 14008 (java) R 14001 14004 13226 0 -1 4202560 7595 0 0 0 28 2 0 0 20 0 15 0 117600057 14315708416 12655 33554432000 4194304 4196468 140732671972160 139797615704944 139797611494806 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14009] ppid=14001 vsize=13980184 memory=4211973371165633930 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14009/stat : 14009 (java) S 14001 14004 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600058 14315708416 12655 33554432000 4194304 4196468 140732671972160 139797564103312 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14010] ppid=14001 vsize=13980184 memory=139644960856559 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14010/stat : 14010 (java) S 14001 14004 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600058 14315708416 12655 33554432000 4194304 4196468 140732671972160 139797563050512 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14011] ppid=14001 vsize=13980184 memory=139644821956282 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14011/stat : 14011 (java) S 14001 14004 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600058 14315708416 12655 33554432000 4194304 4196468 140732671972160 139797205281168 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14012] ppid=14001 vsize=13980184 memory=139644821945295 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14012/stat : 14012 (java) S 14001 14004 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117600058 14315708416 12655 33554432000 4194304 4196468 140732671972160 139797204228368 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14013] ppid=14001 vsize=13980184 memory=139644960856645 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14013/stat : 14013 (java) S 14001 14004 13226 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117600059 14315708416 12655 33554432000 4194304 4196468 140732671972160 139796524018544 139797611494018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14014] ppid=14001 vsize=13980184 memory=139644821954511 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14014/stat : 14014 (java) S 14001 14004 13226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117600060 14315708416 12655 33554432000 4194304 4196468 140732671972160 139796522964512 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14015] ppid=14001 vsize=13980184 memory=279289643906704 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14015/stat : 14015 (java) S 14001 14004 13226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117600060 14315708416 12655 33554432000 4194304 4196468 140732671972160 139796521911664 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14016] ppid=14001 vsize=13980184 memory=279289643913616 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14016/stat : 14016 (java) S 14001 14004 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600062 14315708416 12655 33554432000 4194304 4196468 140732671972160 139796520859984 139797611501467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14017] ppid=14001 vsize=13980184 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/14004/task/14017/stat : 14017 (java) R 14001 14004 13226 0 -1 1077944384 644 0 0 0 5 0 0 0 20 0 15 0 117600062 14315708416 12655 33554432000 4194304 4196468 140732671972160 139796519807344 139797611494018 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14018] ppid=14001 vsize=13980184 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/14004/task/14018/stat : 14018 (java) S 14001 14004 13226 0 -1 1077944384 364 0 0 0 4 0 0 0 20 0 15 0 117600062 14315708416 12655 33554432000 4194304 4196468 140732671972160 139796518754672 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14019] ppid=14001 vsize=13980184 memory=139644960843392 CPUtime=0.08 cores=1,3,5,7
/proc/14004/task/14019/stat : 14019 (java) R 14001 14004 13226 0 -1 4202560 453 0 0 0 8 0 0 0 20 0 15 0 117600062 14315708416 12655 33554432000 4194304 4196468 140732671972160 139796517701744 139797590013840 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14020] ppid=14001 vsize=13980184 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14020/stat : 14020 (java) S 14001 14004 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600063 14315708416 12655 33554432000 4194304 4196468 140732671972160 139796516649184 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14021] ppid=14001 vsize=13980184 memory=139644960843392 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14021/stat : 14021 (java) S 14001 14004 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600063 14315708416 12655 33554432000 4194304 4196468 140732671972160 139796515597488 139797611494018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13980184 KiB
Current children cumulated memory: 50620 KiB

[startup+0.700679 s]
/proc/loadavg: 1.48 1.47 1.49 5/216 14021
/proc/meminfo: memFree=28643068/32770624 swapFree=67108860/67108860
[pid=14004] ppid=14001 vsize=13982232 memory=77428 CPUtime=1.37 cores=1,3,5,7
/proc/14004/stat : 14004 (java) S 14001 14004 13226 0 -1 1077944320 12435 0 0 0 133 4 0 0 20 0 15 0 117600057 14317805568 19357 33554432000 4194304 4196468 140732671972160 140732671954704 139797611482871 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
/proc/14004/statm: 3495558 19357 3772 1 0 3483273 0
[pid=14004/tid=14008] ppid=14001 vsize=13982232 memory=1952 CPUtime=0.67 cores=1,3,5,7
/proc/14004/task/14008/stat : 14008 (java) R 14001 14004 13226 0 -1 4202560 8521 0 0 0 65 2 0 0 20 0 15 0 117600057 14317805568 19357 33554432000 4194304 4196468 140732671972160 139797615719792 139797611494806 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14009] ppid=14001 vsize=13982232 memory=8568 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14009/stat : 14009 (java) S 14001 14004 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600058 14317805568 19357 33554432000 4194304 4196468 140732671972160 139797564103312 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14010] ppid=14001 vsize=13982232 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14010/stat : 14010 (java) S 14001 14004 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600058 14317805568 19357 33554432000 4194304 4196468 140732671972160 139797563050512 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14011] ppid=14001 vsize=13982232 memory=7662705889289527641 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14011/stat : 14011 (java) S 14001 14004 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600058 14317805568 19357 33554432000 4194304 4196468 140732671972160 139797205281168 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14012] ppid=14001 vsize=13982232 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14012/stat : 14012 (java) S 14001 14004 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117600058 14317805568 19357 33554432000 4194304 4196468 140732671972160 139797204228368 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14013] ppid=14001 vsize=13982232 memory=5859271421084194152 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14013/stat : 14013 (java) S 14001 14004 13226 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117600059 14317805568 19357 33554432000 4194304 4196468 140732671972160 139796524018544 139797611494018 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14014] ppid=14001 vsize=13982232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14014/stat : 14014 (java) S 14001 14004 13226 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117600060 14317805568 19357 33554432000 4194304 4196468 140732671972160 139796522964512 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14015] ppid=14001 vsize=13982232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14015/stat : 14015 (java) S 14001 14004 13226 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117600060 14317805568 19357 33554432000 4194304 4196468 140732671972160 139796521911664 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14016] ppid=14001 vsize=13982232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14016/stat : 14016 (java) S 14001 14004 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600062 14317805568 19357 33554432000 4194304 4196468 140732671972160 139796520859984 139797611501467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14017] ppid=14001 vsize=13982232 memory=38 CPUtime=0.17 cores=1,3,5,7
/proc/14004/task/14017/stat : 14017 (java) S 14001 14004 13226 0 -1 1077944384 911 0 0 0 17 0 0 0 20 0 15 0 117600062 14317805568 19357 33554432000 4194304 4196468 140732671972160 139796519807344 139797611494018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14018] ppid=14001 vsize=13982232 memory=4 CPUtime=0.16 cores=1,3,5,7
/proc/14004/task/14018/stat : 14018 (java) S 14001 14004 13226 0 -1 1077944384 555 0 0 0 16 0 0 0 20 0 15 0 117600062 14317805568 19357 33554432000 4194304 4196468 140732671972160 139796518754544 139797611494018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14019] ppid=14001 vsize=13982232 memory=6914 CPUtime=0.33 cores=1,3,5,7
/proc/14004/task/14019/stat : 14019 (java) R 14001 14004 13226 0 -1 4202560 1070 0 0 0 33 0 0 0 20 0 15 0 117600062 14317805568 19357 33554432000 4194304 4196468 140732671972160 139796517701744 139797603719998 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14020] ppid=14001 vsize=13982232 memory=279289644097520 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14020/stat : 14020 (java) S 14001 14004 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600063 14317805568 19357 33554432000 4194304 4196468 140732671972160 139796516649184 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14021] ppid=14001 vsize=13982232 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14021/stat : 14021 (java) S 14001 14004 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600063 14317805568 19357 33554432000 4194304 4196468 140732671972160 139796515597488 139797611494018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
Current children cumulated CPU time: 1.37 s
Current children cumulated vsize: 13982232 KiB
Current children cumulated memory: 77428 KiB

[startup+1.50142 s]
/proc/loadavg: 1.48 1.47 1.49 6/216 14021
/proc/meminfo: memFree=28527400/32770624 swapFree=67108860/67108860
[pid=14004] ppid=14001 vsize=13986328 memory=162728 CPUtime=3.79 cores=1,3,5,7
/proc/14004/stat : 14004 (java) S 14001 14004 13226 0 -1 1077944320 26119 0 0 0 370 9 0 0 20 0 15 0 117600057 14321999872 40682 33554432000 4194304 4196468 140732671972160 140732671954704 139797611482871 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
/proc/14004/statm: 3496582 40682 3794 1 0 3484297 0
[pid=14004/tid=14008] ppid=14001 vsize=13986328 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/14004/task/14008/stat : 14008 (java) R 14001 14004 13226 0 -1 4202560 11577 0 0 0 143 4 0 0 20 0 15 0 117600057 14321999872 40682 33554432000 4194304 4196468 140732671972160 139797615715680 139797251550889 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14009] ppid=14001 vsize=13986328 memory=0 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14009/stat : 14009 (java) S 14001 14004 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600058 14321999872 40682 33554432000 4194304 4196468 140732671972160 139797564103312 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14010] ppid=14001 vsize=13986328 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14010/stat : 14010 (java) S 14001 14004 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600058 14321999872 40682 33554432000 4194304 4196468 140732671972160 139797563050512 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14011] ppid=14001 vsize=13986328 memory=-7966001967407402336 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14011/stat : 14011 (java) S 14001 14004 13226 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117600058 14321999872 40682 33554432000 4194304 4196468 140732671972160 139797205281168 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14012] ppid=14001 vsize=13986328 memory=-6876588461455810464 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14012/stat : 14012 (java) S 14001 14004 13226 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117600058 14321999872 40682 33554432000 4194304 4196468 140732671972160 139797204228368 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14013] ppid=14001 vsize=13986328 memory=6944613755395144096 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14013/stat : 14013 (java) S 14001 14004 13226 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 117600059 14321999872 40682 33554432000 4194304 4196468 140732671972160 139796524018544 139797611494018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0

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

/proc/14004/task/14008/stat : 14008 (java) R 14001 14004 13226 0 -1 4202560 90728 0 0 0 229559 68 0 0 20 0 15 0 117600057 14321999872 141268 33554432000 4194304 4196468 140732671972160 139797615721312 139797245066843 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14009] ppid=14001 vsize=13986328 memory=583540 CPUtime=18.57 cores=1,3,5,7
/proc/14004/task/14009/stat : 14009 (java) S 14001 14004 13226 0 -1 1077944384 16361 0 0 0 1792 65 0 0 20 0 15 0 117600058 14321999872 141268 33554432000 4194304 4196468 140732671972160 139797564103312 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14010] ppid=14001 vsize=13986328 memory=567124 CPUtime=18.58 cores=1,3,5,7
/proc/14004/task/14010/stat : 14010 (java) S 14001 14004 13226 0 -1 1077944384 16613 0 0 0 1794 64 0 0 20 0 15 0 117600058 14321999872 141268 33554432000 4194304 4196468 140732671972160 139797563050512 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14011] ppid=14001 vsize=13986328 memory=605916 CPUtime=18.57 cores=1,3,5,7
/proc/14004/task/14011/stat : 14011 (java) S 14001 14004 13226 0 -1 1077944384 15325 0 0 0 1794 63 0 0 20 0 15 0 117600058 14321999872 141268 33554432000 4194304 4196468 140732671972160 139797205281168 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14012] ppid=14001 vsize=13986328 memory=599760 CPUtime=18.59 cores=1,3,5,7
/proc/14004/task/14012/stat : 14012 (java) S 14001 14004 13226 0 -1 1077944384 15173 0 0 0 1795 64 0 0 20 0 15 0 117600058 14321999872 141268 33554432000 4194304 4196468 140732671972160 139797204228368 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14013] ppid=14001 vsize=13986328 memory=1952 CPUtime=4.53 cores=1,3,5,7
/proc/14004/task/14013/stat : 14013 (java) S 14001 14004 13226 0 -1 1077944384 75202 0 0 0 383 70 0 0 20 0 15 0 117600059 14321999872 141268 33554432000 4194304 4196468 140732671972160 139796524018544 139797611494018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14014] ppid=14001 vsize=13986328 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14014/stat : 14014 (java) S 14001 14004 13226 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 117600060 14321999872 141268 33554432000 4194304 4196468 140732671972160 139796522964576 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14015] ppid=14001 vsize=13986328 memory=32760 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14015/stat : 14015 (java) S 14001 14004 13226 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 117600060 14321999872 141268 33554432000 4194304 4196468 140732671972160 139796521911680 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14016] ppid=14001 vsize=13986328 memory=1292 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14016/stat : 14016 (java) S 14001 14004 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600062 14321999872 141268 33554432000 4194304 4196468 140732671972160 139796520859984 139797611501467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14017] ppid=14001 vsize=13986328 memory=4140 CPUtime=2.98 cores=1,3,5,7
/proc/14004/task/14017/stat : 14017 (java) S 14001 14004 13226 0 -1 1077944384 21273 0 0 0 295 3 0 0 20 0 15 0 117600062 14321999872 141268 33554432000 4194304 4196468 140732671972160 139796519807344 139797611494018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14018] ppid=14001 vsize=13986328 memory=32760 CPUtime=2.99 cores=1,3,5,7
/proc/14004/task/14018/stat : 14018 (java) S 14001 14004 13226 0 -1 1077944384 22314 0 0 0 296 3 0 0 20 0 15 0 117600062 14321999872 141268 33554432000 4194304 4196468 140732671972160 139796518754544 139797611494018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14019] ppid=14001 vsize=13986328 memory=567124 CPUtime=1.15 cores=1,3,5,7
/proc/14004/task/14019/stat : 14019 (java) S 14001 14004 13226 0 -1 1077944384 21514 0 0 0 112 3 0 0 20 0 15 0 117600062 14321999872 141268 33554432000 4194304 4196468 140732671972160 139796517701744 139797611494018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14020] ppid=14001 vsize=13986328 memory=792 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14020/stat : 14020 (java) S 14001 14004 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600063 14321999872 141268 33554432000 4194304 4196468 140732671972160 139796516649184 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14021] ppid=14001 vsize=13986328 memory=1004 CPUtime=1.53 cores=1,3,5,7
/proc/14004/task/14021/stat : 14021 (java) S 14001 14004 13226 0 -1 1077944384 964 0 0 0 68 85 0 0 20 0 15 0 117600063 14321999872 141268 33554432000 4194304 4196468 140732671972160 139796515597488 139797611494018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
Current children cumulated CPU time: 2383.84 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 565072 KiB

[startup+2382.3 s]
/proc/loadavg: 1.50 1.62 1.50 3/215 14151
/proc/meminfo: memFree=27783084/32770624 swapFree=67108860/67108860
[pid=14004] ppid=14001 vsize=13986328 memory=538660 CPUtime=2445.27 cores=1,3,5,7
/proc/14004/stat : 14004 (java) S 14001 14004 13226 0 -1 1077944320 301457 0 0 0 244069 458 0 0 20 0 15 0 117600057 14321999872 134665 33554432000 4194304 4196468 140732671972160 140732671954704 139797611482871 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
/proc/14004/statm: 3496582 134665 3866 1 0 3484297 0
[pid=14004/tid=14008] ppid=14001 vsize=13986328 memory=527796 CPUtime=2355.59 cores=1,3,5,7
/proc/14004/task/14008/stat : 14008 (java) R 14001 14004 13226 0 -1 4202560 92098 0 0 0 235490 69 0 0 20 0 15 0 117600057 14321999872 134665 33554432000 4194304 4196468 140732671972160 139797615721312 139797253487116 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14009] ppid=14001 vsize=13986328 memory=513524 CPUtime=19.06 cores=1,3,5,7
/proc/14004/task/14009/stat : 14009 (java) S 14001 14004 13226 0 -1 1077944384 16722 0 0 0 1840 66 0 0 20 0 15 0 117600058 14321999872 134665 33554432000 4194304 4196468 140732671972160 139797564103312 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14010] ppid=14001 vsize=13986328 memory=507364 CPUtime=19.06 cores=1,3,5,7
/proc/14004/task/14010/stat : 14010 (java) S 14001 14004 13226 0 -1 1077944384 16850 0 0 0 1841 65 0 0 20 0 15 0 117600058 14321999872 134665 33554432000 4194304 4196468 140732671972160 139797563050512 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14011] ppid=14001 vsize=13986328 memory=519680 CPUtime=19.05 cores=1,3,5,7
/proc/14004/task/14011/stat : 14011 (java) S 14001 14004 13226 0 -1 1077944384 15611 0 0 0 1841 64 0 0 20 0 15 0 117600058 14321999872 134665 33554432000 4194304 4196468 140732671972160 139797205281168 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14012] ppid=14001 vsize=13986328 memory=542764 CPUtime=19.07 cores=1,3,5,7
/proc/14004/task/14012/stat : 14012 (java) S 14001 14004 13226 0 -1 1077944384 15480 0 0 0 1842 65 0 0 20 0 15 0 117600058 14321999872 134665 33554432000 4194304 4196468 140732671972160 139797204228368 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14013] ppid=14001 vsize=13986328 memory=509416 CPUtime=4.65 cores=1,3,5,7
/proc/14004/task/14013/stat : 14013 (java) S 14001 14004 13226 0 -1 1077944384 77128 0 0 0 394 71 0 0 20 0 15 0 117600059 14321999872 134665 33554432000 4194304 4196468 140732671972160 139796524018544 139797611494018 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14014] ppid=14001 vsize=13986328 memory=279289644253776 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14014/stat : 14014 (java) S 14001 14004 13226 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 117600060 14321999872 134665 33554432000 4194304 4196468 140732671972160 139796522964576 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14015] ppid=14001 vsize=13986328 memory=540712 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14015/stat : 14015 (java) S 14001 14004 13226 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 117600060 14321999872 134665 33554432000 4194304 4196468 140732671972160 139796521911680 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14016] ppid=14001 vsize=13986328 memory=540712 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14016/stat : 14016 (java) S 14001 14004 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600062 14321999872 134665 33554432000 4194304 4196468 140732671972160 139796520859984 139797611501467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14017] ppid=14001 vsize=13986328 memory=540712 CPUtime=2.98 cores=1,3,5,7
/proc/14004/task/14017/stat : 14017 (java) S 14001 14004 13226 0 -1 1077944384 21275 0 0 0 295 3 0 0 20 0 15 0 117600062 14321999872 134665 33554432000 4194304 4196468 140732671972160 139796519807344 139797611494018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14018] ppid=14001 vsize=13986328 memory=540712 CPUtime=2.99 cores=1,3,5,7
/proc/14004/task/14018/stat : 14018 (java) S 14001 14004 13226 0 -1 1077944384 22316 0 0 0 296 3 0 0 20 0 15 0 117600062 14321999872 134665 33554432000 4194304 4196468 140732671972160 139796518754544 139797611494018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14019] ppid=14001 vsize=13986328 memory=542764 CPUtime=1.15 cores=1,3,5,7
/proc/14004/task/14019/stat : 14019 (java) S 14001 14004 13226 0 -1 1077944384 21516 0 0 0 112 3 0 0 20 0 15 0 117600062 14321999872 134665 33554432000 4194304 4196468 140732671972160 139796517701744 139797611494018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14020] ppid=14001 vsize=13986328 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14020/stat : 14020 (java) S 14001 14004 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600063 14321999872 134665 33554432000 4194304 4196468 140732671972160 139796516649184 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14021] ppid=14001 vsize=13986328 memory=32760 CPUtime=1.57 cores=1,3,5,7
/proc/14004/task/14021/stat : 14021 (java) S 14001 14004 13226 0 -1 1077944384 989 0 0 0 70 87 0 0 20 0 15 0 117600063 14321999872 134665 33554432000 4194304 4196468 140732671972160 139796515597488 139797611494018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
Current children cumulated CPU time: 2445.27 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 538660 KiB

[startup+2442.3 s]
/proc/loadavg: 1.39 1.57 1.49 3/215 14153
/proc/meminfo: memFree=27899556/32770624 swapFree=67108860/67108860
[pid=14004] ppid=14001 vsize=13986328 memory=514100 CPUtime=2506.67 cores=1,3,5,7
/proc/14004/stat : 14004 (java) S 14001 14004 13226 0 -1 1077944320 305063 0 0 0 250197 470 0 0 20 0 15 0 117600057 14321999872 128525 33554432000 4194304 4196468 140732671972160 140732671954704 139797611482871 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
/proc/14004/statm: 3496582 128525 3866 1 0 3484297 0
[pid=14004/tid=14008] ppid=14001 vsize=13986328 memory=515772 CPUtime=2414.93 cores=1,3,5,7
/proc/14004/task/14008/stat : 14008 (java) R 14001 14004 13226 0 -1 4202560 93721 0 0 0 241423 70 0 0 20 0 15 0 117600057 14321999872 128525 33554432000 4194304 4196468 140732671972160 139797615721312 139797253487030 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14009] ppid=14001 vsize=13986328 memory=516568 CPUtime=19.53 cores=1,3,5,7
/proc/14004/task/14009/stat : 14009 (java) S 14001 14004 13226 0 -1 1077944384 17198 0 0 0 1885 68 0 0 20 0 15 0 117600058 14321999872 128525 33554432000 4194304 4196468 140732671972160 139797564103312 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14010] ppid=14001 vsize=13986328 memory=279289644253776 CPUtime=19.54 cores=1,3,5,7
/proc/14004/task/14010/stat : 14010 (java) S 14001 14004 13226 0 -1 1077944384 17324 0 0 0 1887 67 0 0 20 0 15 0 117600058 14321999872 128525 33554432000 4194304 4196468 140732671972160 139797563050512 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14011] ppid=14001 vsize=13986328 memory=522724 CPUtime=19.53 cores=1,3,5,7
/proc/14004/task/14011/stat : 14011 (java) S 14001 14004 13226 0 -1 1077944384 16050 0 0 0 1887 66 0 0 20 0 15 0 117600058 14321999872 128525 33554432000 4194304 4196468 140732671972160 139797205281168 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14012] ppid=14001 vsize=13986328 memory=531072 CPUtime=19.54 cores=1,3,5,7
/proc/14004/task/14012/stat : 14012 (java) S 14001 14004 13226 0 -1 1077944384 16000 0 0 0 1887 67 0 0 20 0 15 0 117600058 14321999872 128525 33554432000 4194304 4196468 140732671972160 139797204228368 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14013] ppid=14001 vsize=13986328 memory=520672 CPUtime=4.77 cores=1,3,5,7
/proc/14004/task/14013/stat : 14013 (java) S 14001 14004 13226 0 -1 1077944384 77190 0 0 0 403 74 0 0 20 0 15 0 117600059 14321999872 128525 33554432000 4194304 4196468 140732671972160 139796524018544 139797611494018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14014] ppid=14001 vsize=13986328 memory=516568 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14014/stat : 14014 (java) S 14001 14004 13226 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 117600060 14321999872 128525 33554432000 4194304 4196468 140732671972160 139796522964576 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14015] ppid=14001 vsize=13986328 memory=514100 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14015/stat : 14015 (java) S 14001 14004 13226 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 117600060 14321999872 128525 33554432000 4194304 4196468 140732671972160 139796521911680 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14016] ppid=14001 vsize=13986328 memory=518620 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14016/stat : 14016 (java) S 14001 14004 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600062 14321999872 128525 33554432000 4194304 4196468 140732671972160 139796520859984 139797611501467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14017] ppid=14001 vsize=13986328 memory=6791534058613427641 CPUtime=2.98 cores=1,3,5,7
/proc/14004/task/14017/stat : 14017 (java) S 14001 14004 13226 0 -1 1077944384 21277 0 0 0 295 3 0 0 20 0 15 0 117600062 14321999872 128525 33554432000 4194304 4196468 140732671972160 139796519807344 139797611494018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14018] ppid=14001 vsize=13986328 memory=288230604624101685 CPUtime=2.99 cores=1,3,5,7
/proc/14004/task/14018/stat : 14018 (java) S 14001 14004 13226 0 -1 1077944384 22318 0 0 0 296 3 0 0 20 0 15 0 117600062 14321999872 128525 33554432000 4194304 4196468 140732671972160 139796518754544 139797611494018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14019] ppid=14001 vsize=13986328 memory=520672 CPUtime=1.15 cores=1,3,5,7
/proc/14004/task/14019/stat : 14019 (java) S 14001 14004 13226 0 -1 1077944384 21518 0 0 0 112 3 0 0 20 0 15 0 117600062 14321999872 128525 33554432000 4194304 4196468 140732671972160 139796517701744 139797611494018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14020] ppid=14001 vsize=13986328 memory=528880 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14020/stat : 14020 (java) S 14001 14004 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600063 14321999872 128525 33554432000 4194304 4196468 140732671972160 139796516649184 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14021] ppid=14001 vsize=13986328 memory=516568 CPUtime=1.6 cores=1,3,5,7
/proc/14004/task/14021/stat : 14021 (java) S 14001 14004 13226 0 -1 1077944384 995 0 0 0 71 89 0 0 20 0 15 0 117600063 14321999872 128525 33554432000 4194304 4196468 140732671972160 139796515597488 139797611494018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
Current children cumulated CPU time: 2506.67 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 514100 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2455.4 s]
/proc/loadavg: 1.41 1.56 1.49 4/215 14230
/proc/meminfo: memFree=28421768/32770624 swapFree=67108860/67108860
[pid=14004] ppid=14001 vsize=13986328 memory=493580 CPUtime=2520.07 cores=1,3,5,7
/proc/14004/stat : 14004 (java) S 14001 14004 13226 0 -1 1077944320 305116 0 0 0 251536 471 0 0 20 0 15 0 117600057 14321999872 123395 33554432000 4194304 4196468 140732671972160 140732671954704 139797611482871 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
/proc/14004/statm: 3496582 123395 3866 1 0 3484297 0
[pid=14004/tid=14008] ppid=14001 vsize=13986328 memory=7590648278424184168 CPUtime=2427.88 cores=1,3,5,7
/proc/14004/task/14008/stat : 14008 (java) R 14001 14004 13226 0 -1 4202560 93761 0 0 0 242718 70 0 0 20 0 15 0 117600057 14321999872 123395 33554432000 4194304 4196468 140732671972160 139797615721264 139797253487102 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14009] ppid=14001 vsize=13986328 memory=7814415408121012323 CPUtime=19.63 cores=1,3,5,7
/proc/14004/task/14009/stat : 14009 (java) S 14001 14004 13226 0 -1 1077944384 17201 0 0 0 1895 68 0 0 20 0 15 0 117600058 14321999872 123395 33554432000 4194304 4196468 140732671972160 139797564103312 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14010] ppid=14001 vsize=13986328 memory=4140 CPUtime=19.64 cores=1,3,5,7
/proc/14004/task/14010/stat : 14010 (java) S 14001 14004 13226 0 -1 1077944384 17329 0 0 0 1897 67 0 0 20 0 15 0 117600058 14321999872 123395 33554432000 4194304 4196468 140732671972160 139797563050512 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14011] ppid=14001 vsize=13986328 memory=32764 CPUtime=19.63 cores=1,3,5,7
/proc/14004/task/14011/stat : 14011 (java) S 14001 14004 13226 0 -1 1077944384 16051 0 0 0 1897 66 0 0 20 0 15 0 117600058 14321999872 123395 33554432000 4194304 4196468 140732671972160 139797205281168 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14012] ppid=14001 vsize=13986328 memory=0 CPUtime=19.65 cores=1,3,5,7
/proc/14004/task/14012/stat : 14012 (java) S 14001 14004 13226 0 -1 1077944384 16004 0 0 0 1898 67 0 0 20 0 15 0 117600058 14321999872 123395 33554432000 4194304 4196468 140732671972160 139797204228368 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14013] ppid=14001 vsize=13986328 memory=-8253362762722141311 CPUtime=4.79 cores=1,3,5,7
/proc/14004/task/14013/stat : 14013 (java) S 14001 14004 13226 0 -1 1077944384 77190 0 0 0 405 74 0 0 20 0 15 0 117600059 14321999872 123395 33554432000 4194304 4196468 140732671972160 139796524018544 139797611494018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14014] ppid=14001 vsize=13986328 memory=7100839861465685612 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14014/stat : 14014 (java) S 14001 14004 13226 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 117600060 14321999872 123395 33554432000 4194304 4196468 140732671972160 139796522964576 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14015] ppid=14001 vsize=13986328 memory=-7175204567652784766 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14015/stat : 14015 (java) S 14001 14004 13226 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 117600060 14321999872 123395 33554432000 4194304 4196468 140732671972160 139796521911680 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14016] ppid=14001 vsize=13986328 memory=3054156605268465310 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14016/stat : 14016 (java) S 14001 14004 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600062 14321999872 123395 33554432000 4194304 4196468 140732671972160 139796520859984 139797611501467 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14017] ppid=14001 vsize=13986328 memory=-8253362762722141311 CPUtime=2.98 cores=1,3,5,7
/proc/14004/task/14017/stat : 14017 (java) S 14001 14004 13226 0 -1 1077944384 21277 0 0 0 295 3 0 0 20 0 15 0 117600062 14321999872 123395 33554432000 4194304 4196468 140732671972160 139796519807344 139797611494018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14018] ppid=14001 vsize=13986328 memory=-8412652177879177843 CPUtime=2.99 cores=1,3,5,7
/proc/14004/task/14018/stat : 14018 (java) S 14001 14004 13226 0 -1 1077944384 22318 0 0 0 296 3 0 0 20 0 15 0 117600062 14321999872 123395 33554432000 4194304 4196468 140732671972160 139796518754544 139797611494018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14019] ppid=14001 vsize=13986328 memory=7822038051842261661 CPUtime=1.15 cores=1,3,5,7
/proc/14004/task/14019/stat : 14019 (java) S 14001 14004 13226 0 -1 1077944384 21518 0 0 0 112 3 0 0 20 0 15 0 117600062 14321999872 123395 33554432000 4194304 4196468 140732671972160 139796517701744 139797611494018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14020] ppid=14001 vsize=13986328 memory=-6520471753822164382 CPUtime=0 cores=1,3,5,7
/proc/14004/task/14020/stat : 14020 (java) S 14001 14004 13226 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117600063 14321999872 123395 33554432000 4194304 4196468 140732671972160 139796516649184 139797611493077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
[pid=14004/tid=14021] ppid=14001 vsize=13986328 memory=1156 CPUtime=1.61 cores=1,3,5,7
/proc/14004/task/14021/stat : 14021 (java) S 14001 14004 13226 0 -1 1077944384 995 0 0 0 72 89 0 0 20 0 15 0 117600063 14321999872 123395 33554432000 4194304 4196468 140732671972160 139796515597488 139797611494018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37822464 140732671976552 140732671976735 140732671976735 140732671979471 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13986328 KiB
Current children cumulated memory: 493580 KiB

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

[startup+2455.42 s]
# the end of solver process 14004 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.38 s, system=4.72105 s

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

Child status: 143
Real time (s): 2455.42
CPU time (s): 2520.1
CPU user time (s): 2515.38
CPU system time (s): 4.72105
CPU usage (%): 102.634
Max. virtual memory (cumulated for all children) (KiB): 13986328
Max. memory (cumulated for all children) (KiB): 1032932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.38
system time used= 4.72105
maximum resident set size= 1032932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 305457
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 166408
involuntary context switches= 6391


# summary of solver processes directly reported to runsolver:
#   pid: 14004
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2515.38
#   total CPU system time (s): 4.72105

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2817 second user time and 21.8565 second system time

The end

Name	LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml
MD5SUM	4e9e0842de773da2d9de44121d9bf85e
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	136
Best CPU time to get the best result obtained on this benchmark	19993
Satisfiable
(Un)Satisfiability was proved
Number of variables	1639
Number of constraints	858
Number of domains	79
Minimum domain size	2
Maximum domain size	79
Distribution of domain sizes	[{"size":2,"count":821},{"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":36,"count":1}, {"size":37,"count":2}, {"size":38,"count":1}, {"size":39,"count":2}, {"size":40,"count":1}, {"size":41,"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}]
Minimum variable degree	0
Maximum variable degree	39
Distribution of variable degrees	[{"degree":0,"count":741},{"degree":2,"count":858},{"degree":39,"count":40}]
Minimum constraint arity	2
Maximum constraint arity	40
Distribution of constraint arities	[{"arity":2,"count":40},{"arity":3,"count":781},{"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}]
Number of extensional constraints	0
Number of intensional constraints	819
Distribution of constraint types	[{"type":"intension","count":819},{"type":"sum","count":39}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4274545

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