2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2018-08-14	SAT (TO)	272	252.034	243.03

0.65/0.57	c version: 2018-08-14
0.65/0.57	c seed: 831438303
0.65/0.57	c timeout: 252
0.65/0.58	c memlimit: 11000
0.65/0.58	c nbcore: 4
0.65/0.60	c Parsing instance...
3.25/1.62	c Parsing done, starting first complete search...
3.51/1.72	o 20540
3.51/1.73	o 16216
3.51/1.73	o 12748
3.51/1.73	o 12708
3.51/1.73	o 9896
3.51/1.73	o 7684
3.51/1.74	o 6104
3.51/1.74	o 4508
3.51/1.74	o 3464
3.51/1.75	o 2564
3.51/1.75	o 2500
3.51/1.76	o 1976
3.51/1.77	o 1736
3.51/1.78	o 1436
3.51/1.79	o 1300
3.83/1.80	o 1208
3.83/1.85	o 1144
5.65/2.47	o 1096
5.65/2.48	o 1064
5.65/2.49	o 1052
5.96/2.50	o 948
6.26/2.61	o 940
6.26/2.62	o 932
6.26/2.62	o 884
6.26/2.63	o 828
6.88/3.05	o 780
7.51/3.55	o 772
7.71/3.79	o 724
7.81/3.83	o 712
7.81/3.85	o 668
7.81/3.86	o 648
7.81/3.87	o 644
7.81/3.87	o 640
7.91/3.90	o 616
8.02/4.02	o 600
11.01/6.93	o 592
11.23/7.14	o 584
12.34/8.27	o 580
12.47/8.36	o 576
12.77/8.60	o 572
12.77/8.61	o 568
12.87/8.70	o 536
17.92/13.79	o 528
24.84/20.69	o 520
30.38/26.19	c First complete search done, starting ALNS search...
30.68/26.32	o 272
252.00/243.01	s SATISFIABLE
252.00/243.01	v <instantiation>
252.00/243.01	v 	<list>
252.00/243.01	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]
252.00/243.01	v 	</list>
252.00/243.01	v 	<values>
252.00/243.01	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 3 6 7 2 1 0 1 -2 1 2 -1 -2 1 0 1 4 -1 4 -3 -2 -1 -4 1 4 -1 -4 -1 -2 1 -2 -1 2 3 4 3 2 1 2 1 9 36 49 4 1 0 1 4 1 4 1 4 1 0 1 16 1 16 9 4 1 16 1 16 1 16 1 4 1 4 1 4 9 16 9 4 1 4 1 
252.00/243.01	v 	</values>
252.00/243.01	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 (13875 MiB free)
  memory of node 1: 16384 MiB (9718 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310494-1534331710/watcher-4310494-1534331710 -o /tmp/evaluation-result-4310494-1534331710/solver-4310494-1534331710 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534329860-9564 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 831438303 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310494-1534331710.xml 

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

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

solver pid=10934, runsolver pid=10931

[startup+0.102282 s]*
/proc/loadavg: 1.54 1.69 1.87 4/219 10949
/proc/meminfo: memFree=24141716/32770624 swapFree=67108688/67108860
[pid=10934] ppid=10931 vsize=14082736 memory=32588 CPUtime=0.12 cores=1,3,5,7
/proc/10934/stat : 10934 (java) S 10931 10934 9532 0 -1 1077944320 7045 0 0 0 11 1 0 0 20 0 15 0 250734219 14420721664 8147 33554432000 4194304 4196468 140725378581264 140725378563808 139704313888503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
/proc/10934/statm: 3520684 8147 3159 1 0 3482761 0
[pid=10934/tid=10936] ppid=10931 vsize=14082736 memory=-8629632960753995134 CPUtime=0.09 cores=1,3,5,7
/proc/10934/task/10936/stat : 10936 (java) R 10931 10934 9532 0 -1 4202560 5089 0 0 0 9 0 0 0 20 0 15 0 250734219 14420721664 8147 33554432000 4194304 4196468 140725378581264 139704318087624 139704313910429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10937] ppid=10931 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10937/stat : 10937 (java) S 10931 10934 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250734220 14420721664 8147 33554432000 4194304 4196468 140725378581264 139704281446800 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10938] ppid=10931 vsize=14082736 memory=140527441385088 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10938/stat : 10938 (java) S 10931 10934 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250734220 14420721664 8147 33554432000 4194304 4196468 140725378581264 139703909021968 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10939] ppid=10931 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10939/stat : 10939 (java) S 10931 10934 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250734220 14420721664 8147 33554432000 4194304 4196468 140725378581264 139703907969680 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10940] ppid=10931 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10940/stat : 10940 (java) S 10931 10934 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250734220 14420721664 8147 33554432000 4194304 4196468 140725378581264 139703906916880 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10941] ppid=10931 vsize=14082736 memory=140527441385088 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10941/stat : 10941 (java) S 10931 10934 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250734221 14420721664 8147 33554432000 4194304 4196468 140725378581264 139703788444272 139704313899650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10942] ppid=10931 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10942/stat : 10942 (java) S 10931 10934 9532 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250734222 14420721664 8147 33554432000 4194304 4196468 140725378581264 139703787390240 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10943] ppid=10931 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10943/stat : 10943 (java) S 10931 10934 9532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250734222 14420721664 8147 33554432000 4194304 4196468 140725378581264 139703786337904 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10944] ppid=10931 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10944/stat : 10944 (java) S 10931 10934 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250734224 14420721664 8147 33554432000 4194304 4196468 140725378581264 139703785286224 139704313907099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10945] ppid=10931 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10945/stat : 10945 (java) S 10931 10934 9532 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 250734224 14420721664 8147 33554432000 4194304 4196468 140725378581264 139703784233072 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10946] ppid=10931 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10946/stat : 10946 (java) S 10931 10934 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250734224 14420721664 8147 33554432000 4194304 4196468 140725378581264 139703783180272 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10947] ppid=10931 vsize=14082736 memory=140527441385088 CPUtime=0.01 cores=1,3,5,7
/proc/10934/task/10947/stat : 10947 (java) R 10931 10934 9532 0 -1 4202560 283 0 0 0 1 0 0 0 20 0 15 0 250734224 14420721664 8147 33554432000 4194304 4196468 140725378581264 139703782127984 139704293011506 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10948] ppid=10931 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10948/stat : 10948 (java) S 10931 10934 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250734224 14420721664 8147 33554432000 4194304 4196468 140725378581264 139703781075424 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10949] ppid=10931 vsize=14082736 memory=140527441385088 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10949/stat : 10949 (java) S 10931 10934 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250734225 14420721664 8147 33554432000 4194304 4196468 140725378581264 139703780023216 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 32588 KiB

[startup+0.211227 s]*
/proc/loadavg: 1.54 1.69 1.87 4/219 10949
/proc/meminfo: memFree=24125892/32770624 swapFree=67108688/67108860
[pid=10934] ppid=10931 vsize=14082736 memory=46256 CPUtime=0.3 cores=1,3,5,7
/proc/10934/stat : 10934 (java) S 10931 10934 9532 0 -1 1077944320 10181 0 0 0 29 1 0 0 20 0 15 0 250734219 14420721664 11564 33554432000 4194304 4196468 140725378581264 140725378563808 139704313888503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
/proc/10934/statm: 3520684 11564 3363 1 0 3482761 0
[pid=10934/tid=10936] ppid=10931 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/10934/task/10936/stat : 10936 (java) R 10931 10934 9532 0 -1 1077944384 7785 0 0 0 19 1 0 0 20 0 15 0 250734219 14420721664 11564 33554432000 4194304 4196468 140725378581264 139704318116848 139704313898709 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10937] ppid=10931 vsize=14082736 memory=365 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10937/stat : 10937 (java) S 10931 10934 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250734220 14420721664 11564 33554432000 4194304 4196468 140725378581264 139704281446800 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10938] ppid=10931 vsize=14082736 memory=140527441396215 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10938/stat : 10938 (java) S 10931 10934 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250734220 14420721664 11564 33554432000 4194304 4196468 140725378581264 139703909021968 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10939] ppid=10931 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10939/stat : 10939 (java) S 10931 10934 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250734220 14420721664 11564 33554432000 4194304 4196468 140725378581264 139703907969680 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10940] ppid=10931 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10940/stat : 10940 (java) S 10931 10934 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250734220 14420721664 11564 33554432000 4194304 4196468 140725378581264 139703906916880 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10941] ppid=10931 vsize=14082736 memory=140527441385088 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10941/stat : 10941 (java) S 10931 10934 9532 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250734221 14420721664 11564 33554432000 4194304 4196468 140725378581264 139703788444272 139704313899650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10942] ppid=10931 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10942/stat : 10942 (java) S 10931 10934 9532 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250734222 14420721664 11564 33554432000 4194304 4196468 140725378581264 139703787390240 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10943] ppid=10931 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10943/stat : 10943 (java) S 10931 10934 9532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250734222 14420721664 11564 33554432000 4194304 4196468 140725378581264 139703786337904 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10944] ppid=10931 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10944/stat : 10944 (java) S 10931 10934 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250734224 14420721664 11564 33554432000 4194304 4196468 140725378581264 139703785286224 139704313907099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10945] ppid=10931 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10934/task/10945/stat : 10945 (java) R 10931 10934 9532 0 -1 4202560 556 0 0 0 2 0 0 0 20 0 15 0 250734224 14420721664 11564 33554432000 4194304 4196468 140725378581264 139703784233168 139704297275740 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10946] ppid=10931 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/10934/task/10946/stat : 10946 (java) R 10931 10934 9532 0 -1 4202560 64 0 0 0 1 0 0 0 20 0 15 0 250734224 14420721664 11564 33554432000 4194304 4196468 140725378581264 139703783171776 139704297275114 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10947] ppid=10931 vsize=14082736 memory=140527441385088 CPUtime=0.06 cores=1,3,5,7
/proc/10934/task/10947/stat : 10947 (java) S 10931 10934 9532 0 -1 1077944384 401 0 0 0 6 0 0 0 20 0 15 0 250734224 14420721664 11564 33554432000 4194304 4196468 140725378581264 139703782127984 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10948] ppid=10931 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10948/stat : 10948 (java) S 10931 10934 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250734224 14420721664 11564 33554432000 4194304 4196468 140725378581264 139703781075424 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10949] ppid=10931 vsize=14082736 memory=140527441385088 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10949/stat : 10949 (java) S 10931 10934 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250734225 14420721664 11564 33554432000 4194304 4196468 140725378581264 139703780023216 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46256 KiB

[startup+0.311277 s]*
/proc/loadavg: 1.54 1.69 1.87 3/219 10949
/proc/meminfo: memFree=24122492/32770624 swapFree=67108688/67108860
[pid=10934] ppid=10931 vsize=14082736 memory=49756 CPUtime=0.42 cores=1,3,5,7
/proc/10934/stat : 10934 (java) S 10931 10934 9532 0 -1 1077944320 10572 0 0 0 41 1 0 0 20 0 15 0 250734219 14420721664 12439 33554432000 4194304 4196468 140725378581264 140725378563808 139704313888503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
/proc/10934/statm: 3520684 12439 3395 1 0 3482761 0
[pid=10934/tid=10936] ppid=10931 vsize=14082736 memory=7022364594140610616 CPUtime=0.28 cores=1,3,5,7
/proc/10934/task/10936/stat : 10936 (java) R 10931 10934 9532 0 -1 4202560 8105 0 0 0 27 1 0 0 20 0 15 0 250734219 14420721664 12439 33554432000 4194304 4196468 140725378581264 139704318072768 139704298012399 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10937] ppid=10931 vsize=14082736 memory=4294980954 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10937/stat : 10937 (java) S 10931 10934 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250734220 14420721664 12439 33554432000 4194304 4196468 140725378581264 139704281446800 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10938] ppid=10931 vsize=14082736 memory=140527441396199 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10938/stat : 10938 (java) S 10931 10934 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250734220 14420721664 12439 33554432000 4194304 4196468 140725378581264 139703909021968 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10939] ppid=10931 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10939/stat : 10939 (java) S 10931 10934 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250734220 14420721664 12439 33554432000 4194304 4196468 140725378581264 139703907969680 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10940] ppid=10931 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10940/stat : 10940 (java) S 10931 10934 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250734220 14420721664 12439 33554432000 4194304 4196468 140725378581264 139703906916880 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10941] ppid=10931 vsize=14082736 memory=140527441385088 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10941/stat : 10941 (java) S 10931 10934 9532 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250734221 14420721664 12439 33554432000 4194304 4196468 140725378581264 139703788444272 139704313899650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10942] ppid=10931 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10942/stat : 10942 (java) S 10931 10934 9532 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250734222 14420721664 12439 33554432000 4194304 4196468 140725378581264 139703787390240 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10943] ppid=10931 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10943/stat : 10943 (java) S 10931 10934 9532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250734222 14420721664 12439 33554432000 4194304 4196468 140725378581264 139703786337904 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10944] ppid=10931 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10944/stat : 10944 (java) S 10931 10934 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250734224 14420721664 12439 33554432000 4194304 4196468 140725378581264 139703785286224 139704313907099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10945] ppid=10931 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10934/task/10945/stat : 10945 (java) S 10931 10934 9532 0 -1 1077944384 570 0 0 0 2 0 0 0 20 0 15 0 250734224 14420721664 12439 33554432000 4194304 4196468 140725378581264 139703784233072 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10946] ppid=10931 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/10934/task/10946/stat : 10946 (java) S 10931 10934 9532 0 -1 1077944384 77 0 0 0 2 0 0 0 20 0 15 0 250734224 14420721664 12439 33554432000 4194304 4196468 140725378581264 139703783180272 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10947] ppid=10931 vsize=14082736 memory=140527441385088 CPUtime=0.08 cores=1,3,5,7
/proc/10934/task/10947/stat : 10947 (java) S 10931 10934 9532 0 -1 1077944384 439 0 0 0 8 0 0 0 20 0 15 0 250734224 14420721664 12439 33554432000 4194304 4196468 140725378581264 139703782127984 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10948] ppid=10931 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10948/stat : 10948 (java) S 10931 10934 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250734224 14420721664 12439 33554432000 4194304 4196468 140725378581264 139703781075424 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10949] ppid=10931 vsize=14082736 memory=140527441385088 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10949/stat : 10949 (java) S 10931 10934 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250734225 14420721664 12439 33554432000 4194304 4196468 140725378581264 139703780023216 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 49756 KiB

[startup+0.700713 s]
/proc/loadavg: 1.54 1.69 1.87 4/219 10949
/proc/meminfo: memFree=24109284/32770624 swapFree=67108688/67108860
[pid=10934] ppid=10931 vsize=14084804 memory=85636 CPUtime=0.98 cores=1,3,5,7
/proc/10934/stat : 10934 (java) S 10931 10934 9532 0 -1 1077944320 17325 0 0 0 95 3 0 0 20 0 15 0 250734219 14422839296 21409 33554432000 4194304 4196468 140725378581264 140725378563808 139704313888503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
/proc/10934/statm: 3521201 21409 3499 1 0 3483273 0
[pid=10934/tid=10936] ppid=10931 vsize=14084804 memory=1172 CPUtime=0.66 cores=1,3,5,7
/proc/10934/task/10936/stat : 10936 (java) R 10931 10934 9532 0 -1 4202560 14385 0 0 0 63 3 0 0 20 0 15 0 250734219 14422839296 21409 33554432000 4194304 4196468 140725378581264 139704318113808 139704313910429 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10937] ppid=10931 vsize=14084804 memory=37720 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10937/stat : 10937 (java) S 10931 10934 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250734220 14422839296 21409 33554432000 4194304 4196468 140725378581264 139704281446800 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10938] ppid=10931 vsize=14084804 memory=3360 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10938/stat : 10938 (java) S 10931 10934 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250734220 14422839296 21409 33554432000 4194304 4196468 140725378581264 139703909021968 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10939] ppid=10931 vsize=14084804 memory=496 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10939/stat : 10939 (java) S 10931 10934 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250734220 14422839296 21409 33554432000 4194304 4196468 140725378581264 139703907969680 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10940] ppid=10931 vsize=14084804 memory=1624 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10940/stat : 10940 (java) S 10931 10934 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250734220 14422839296 21409 33554432000 4194304 4196468 140725378581264 139703906916880 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10941] ppid=10931 vsize=14084804 memory=928 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10941/stat : 10941 (java) S 10931 10934 9532 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 250734221 14422839296 21409 33554432000 4194304 4196468 140725378581264 139703788444272 139704313899650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10942] ppid=10931 vsize=14084804 memory=2332 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10942/stat : 10942 (java) S 10931 10934 9532 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 250734222 14422839296 21409 33554432000 4194304 4196468 140725378581264 139703787390240 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10943] ppid=10931 vsize=14084804 memory=924 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10943/stat : 10943 (java) S 10931 10934 9532 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 250734222 14422839296 21409 33554432000 4194304 4196468 140725378581264 139703786337904 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10944] ppid=10931 vsize=14084804 memory=6153431502485415525 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10944/stat : 10944 (java) S 10931 10934 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250734224 14422839296 21409 33554432000 4194304 4196468 140725378581264 139703785286224 139704313907099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10945] ppid=10931 vsize=14084804 memory=7237400421024098393 CPUtime=0.08 cores=1,3,5,7
/proc/10934/task/10945/stat : 10945 (java) S 10931 10934 9532 0 -1 1077944384 726 0 0 0 8 0 0 0 20 0 15 0 250734224 14422839296 21409 33554432000 4194304 4196468 140725378581264 139703784233072 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10946] ppid=10931 vsize=14084804 memory=6154282490091891024 CPUtime=0.07 cores=1,3,5,7
/proc/10934/task/10946/stat : 10946 (java) S 10931 10934 9532 0 -1 1077944384 256 0 0 0 7 0 0 0 20 0 15 0 250734224 14422839296 21409 33554432000 4194304 4196468 140725378581264 139703783180272 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10947] ppid=10931 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/10934/task/10947/stat : 10947 (java) S 10931 10934 9532 0 -1 1077944384 577 0 0 0 15 0 0 0 20 0 15 0 250734224 14422839296 21409 33554432000 4194304 4196468 140725378581264 139703782127984 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10948] ppid=10931 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10948/stat : 10948 (java) S 10931 10934 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250734224 14422839296 21409 33554432000 4194304 4196468 140725378581264 139703781075424 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10949] ppid=10931 vsize=14084804 memory=8700 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10949/stat : 10949 (java) S 10931 10934 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250734225 14422839296 21409 33554432000 4194304 4196468 140725378581264 139703780023216 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 85636 KiB

[startup+1.50078 s]
/proc/loadavg: 1.54 1.69 1.87 4/219 10949
/proc/meminfo: memFree=24067648/32770624 swapFree=67108688/67108860
[pid=10934] ppid=10931 vsize=14088900 memory=162720 CPUtime=3 cores=1,3,5,7
/proc/10934/stat : 10934 (java) S 10931 10934 9532 0 -1 1077944320 25960 0 0 0 294 6 0 0 20 0 15 0 250734219 14427033600 40680 33554432000 4194304 4196468 140725378581264 140725378563808 139704313888503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
/proc/10934/statm: 3522225 40680 3544 1 0 3484297 0
[pid=10934/tid=10936] ppid=10931 vsize=14088900 memory=138972 CPUtime=1.46 cores=1,3,5,7
/proc/10934/task/10936/stat : 10936 (java) R 10931 10934 9532 0 -1 4202560 19010 0 0 0 141 5 0 0 20 0 15 0 250734219 14427033600 40680 33554432000 4194304 4196468 140725378581264 139704318113808 139704313900438 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10937] ppid=10931 vsize=14088900 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10937/stat : 10937 (java) S 10931 10934 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250734220 14427033600 40680 33554432000 4194304 4196468 140725378581264 139704281446800 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10938] ppid=10931 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10938/stat : 10938 (java) S 10931 10934 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250734220 14427033600 40680 33554432000 4194304 4196468 140725378581264 139703909021968 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10939] ppid=10931 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10939/stat : 10939 (java) S 10931 10934 9532 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 250734220 14427033600 40680 33554432000 4194304 4196468 140725378581264 139703907969680 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10940] ppid=10931 vsize=14088900 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10940/stat : 10940 (java) S 10931 10934 9532 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 250734220 14427033600 40680 33554432000 4194304 4196468 140725378581264 139703906916880 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10941] ppid=10931 vsize=14088900 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10941/stat : 10941 (java) S 10931 10934 9532 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 15 0 250734221 14427033600 40680 33554432000 4194304 4196468 140725378581264 139703788444272 139704313899650 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0

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

/proc/10934/task/10936/stat : 10936 (java) R 10931 10934 9532 0 -1 4202560 30733 0 0 0 10139 8 0 0 20 0 15 0 250734219 14431227904 62125 33554432000 4194304 4196468 140725378581264 139704318126432 139703959910181 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10937] ppid=10931 vsize=14092996 memory=248500 CPUtime=0.35 cores=1,3,5,7
/proc/10934/task/10937/stat : 10937 (java) S 10931 10934 9532 0 -1 1077944384 1201 0 0 0 31 4 0 0 20 0 15 0 250734220 14431227904 62125 33554432000 4194304 4196468 140725378581264 139704281446800 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10938] ppid=10931 vsize=14092996 memory=248500 CPUtime=0.33 cores=1,3,5,7
/proc/10934/task/10938/stat : 10938 (java) S 10931 10934 9532 0 -1 1077944384 2867 0 0 0 28 5 0 0 20 0 15 0 250734220 14431227904 62125 33554432000 4194304 4196468 140725378581264 139703909021968 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10939] ppid=10931 vsize=14092996 memory=252328 CPUtime=0.34 cores=1,3,5,7
/proc/10934/task/10939/stat : 10939 (java) S 10931 10934 9532 0 -1 1077944384 2113 0 0 0 30 4 0 0 20 0 15 0 250734220 14431227904 62125 33554432000 4194304 4196468 140725378581264 139703907969680 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10940] ppid=10931 vsize=14092996 memory=34 CPUtime=0.35 cores=1,3,5,7
/proc/10934/task/10940/stat : 10940 (java) S 10931 10934 9532 0 -1 1077944384 2110 0 0 0 31 4 0 0 20 0 15 0 250734220 14431227904 62125 33554432000 4194304 4196468 140725378581264 139703906916880 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10941] ppid=10931 vsize=14092996 memory=246320 CPUtime=0.25 cores=1,3,5,7
/proc/10934/task/10941/stat : 10941 (java) S 10931 10934 9532 0 -1 1077944384 1673 0 0 0 22 3 0 0 20 0 15 0 250734221 14431227904 62125 33554432000 4194304 4196468 140725378581264 139703788444272 139704313899650 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10942] ppid=10931 vsize=14092996 memory=68204 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10942/stat : 10942 (java) S 10931 10934 9532 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 250734222 14431227904 62125 33554432000 4194304 4196468 140725378581264 139703787390304 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10943] ppid=10931 vsize=14092996 memory=2316 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10943/stat : 10943 (java) S 10931 10934 9532 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 250734222 14431227904 62125 33554432000 4194304 4196468 140725378581264 139703786337920 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10944] ppid=10931 vsize=14092996 memory=246360 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10944/stat : 10944 (java) S 10931 10934 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250734224 14431227904 62125 33554432000 4194304 4196468 140725378581264 139703785286224 139704313907099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10945] ppid=10931 vsize=14092996 memory=246360 CPUtime=2.5 cores=1,3,5,7
/proc/10934/task/10945/stat : 10945 (java) S 10931 10934 9532 0 -1 1077944384 6813 0 0 0 249 1 0 0 20 0 15 0 250734224 14431227904 62125 33554432000 4194304 4196468 140725378581264 139703784233072 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10946] ppid=10931 vsize=14092996 memory=246360 CPUtime=3 cores=1,3,5,7
/proc/10934/task/10946/stat : 10946 (java) S 10931 10934 9532 0 -1 1077944384 10282 0 0 0 299 1 0 0 20 0 15 0 250734224 14431227904 62125 33554432000 4194304 4196468 140725378581264 139703783180272 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10947] ppid=10931 vsize=14092996 memory=246360 CPUtime=1.2 cores=1,3,5,7
/proc/10934/task/10947/stat : 10947 (java) S 10931 10934 9532 0 -1 1077944384 9900 0 0 0 118 2 0 0 20 0 15 0 250734224 14431227904 62125 33554432000 4194304 4196468 140725378581264 139703782127984 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10948] ppid=10931 vsize=14092996 memory=164 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10948/stat : 10948 (java) S 10931 10934 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250734224 14431227904 62125 33554432000 4194304 4196468 140725378581264 139703781075424 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10949] ppid=10931 vsize=14092996 memory=7156610587209790059 CPUtime=0.05 cores=1,3,5,7
/proc/10934/task/10949/stat : 10949 (java) S 10931 10934 9532 0 -1 1077944384 380 0 0 0 2 3 0 0 20 0 15 0 250734225 14431227904 62125 33554432000 4194304 4196468 140725378581264 139703780023216 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 46 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
Current children cumulated CPU time: 109.95 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 248500 KiB

[startup+162.301 s]
/proc/loadavg: 1.72 1.74 1.86 3/219 11028
/proc/meminfo: memFree=23836868/32770624 swapFree=67108688/67108860
[pid=10934] ppid=10931 vsize=14092996 memory=258144 CPUtime=170.52 cores=1,3,5,7
/proc/10934/stat : 10934 (java) S 10931 10934 9532 0 -1 1077944320 75471 0 0 0 17009 43 0 0 20 0 15 0 250734219 14431227904 64536 33554432000 4194304 4196468 140725378581264 140725378563808 139704313888503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
/proc/10934/statm: 3523249 64536 3598 1 0 3485321 0
[pid=10934/tid=10936] ppid=10931 vsize=14092996 memory=257636 CPUtime=161.03 cores=1,3,5,7
/proc/10934/task/10936/stat : 10936 (java) R 10931 10934 9532 0 -1 4202560 32117 0 0 0 16095 8 0 0 20 0 15 0 250734219 14431227904 64536 33554432000 4194304 4196468 140725378581264 139704318126400 139703964623359 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10937] ppid=10931 vsize=14092996 memory=255104 CPUtime=0.56 cores=1,3,5,7
/proc/10934/task/10937/stat : 10937 (java) S 10931 10934 9532 0 -1 1077944384 1452 0 0 0 50 6 0 0 20 0 15 0 250734220 14431227904 64536 33554432000 4194304 4196468 140725378581264 139704281446800 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10938] ppid=10931 vsize=14092996 memory=255104 CPUtime=0.54 cores=1,3,5,7
/proc/10934/task/10938/stat : 10938 (java) S 10931 10934 9532 0 -1 1077944384 3935 0 0 0 47 7 0 0 20 0 15 0 250734220 14431227904 64536 33554432000 4194304 4196468 140725378581264 139703909021968 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10939] ppid=10931 vsize=14092996 memory=0 CPUtime=0.56 cores=1,3,5,7
/proc/10934/task/10939/stat : 10939 (java) S 10931 10934 9532 0 -1 1077944384 3212 0 0 0 50 6 0 0 20 0 15 0 250734220 14431227904 64536 33554432000 4194304 4196468 140725378581264 139703907969680 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10940] ppid=10931 vsize=14092996 memory=258144 CPUtime=0.56 cores=1,3,5,7
/proc/10934/task/10940/stat : 10940 (java) S 10931 10934 9532 0 -1 1077944384 2323 0 0 0 51 5 0 0 20 0 15 0 250734220 14431227904 64536 33554432000 4194304 4196468 140725378581264 139703906916880 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10941] ppid=10931 vsize=14092996 memory=258144 CPUtime=0.38 cores=1,3,5,7
/proc/10934/task/10941/stat : 10941 (java) S 10931 10934 9532 0 -1 1077944384 2224 0 0 0 35 3 0 0 20 0 15 0 250734221 14431227904 64536 33554432000 4194304 4196468 140725378581264 139703788444272 139704313899650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10942] ppid=10931 vsize=14092996 memory=258128 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10942/stat : 10942 (java) S 10931 10934 9532 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 250734222 14431227904 64536 33554432000 4194304 4196468 140725378581264 139703787390304 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10943] ppid=10931 vsize=14092996 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10943/stat : 10943 (java) S 10931 10934 9532 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 250734222 14431227904 64536 33554432000 4194304 4196468 140725378581264 139703786337920 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10944] ppid=10931 vsize=14092996 memory=2192 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10944/stat : 10944 (java) S 10931 10934 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250734224 14431227904 64536 33554432000 4194304 4196468 140725378581264 139703785286224 139704313907099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10945] ppid=10931 vsize=14092996 memory=257392 CPUtime=2.5 cores=1,3,5,7
/proc/10934/task/10945/stat : 10945 (java) S 10931 10934 9532 0 -1 1077944384 6815 0 0 0 249 1 0 0 20 0 15 0 250734224 14431227904 64536 33554432000 4194304 4196468 140725378581264 139703784233072 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10946] ppid=10931 vsize=14092996 memory=3824 CPUtime=3 cores=1,3,5,7
/proc/10934/task/10946/stat : 10946 (java) S 10931 10934 9532 0 -1 1077944384 10285 0 0 0 299 1 0 0 20 0 15 0 250734224 14431227904 64536 33554432000 4194304 4196468 140725378581264 139703783180272 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10947] ppid=10931 vsize=14092996 memory=258136 CPUtime=1.21 cores=1,3,5,7
/proc/10934/task/10947/stat : 10947 (java) S 10931 10934 9532 0 -1 1077944384 11213 0 0 0 119 2 0 0 20 0 15 0 250734224 14431227904 64536 33554432000 4194304 4196468 140725378581264 139703782127984 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10948] ppid=10931 vsize=14092996 memory=258128 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10948/stat : 10948 (java) S 10931 10934 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250734224 14431227904 64536 33554432000 4194304 4196468 140725378581264 139703781075424 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10949] ppid=10931 vsize=14092996 memory=258144 CPUtime=0.09 cores=1,3,5,7
/proc/10934/task/10949/stat : 10949 (java) S 10931 10934 9532 0 -1 1077944384 472 0 0 0 4 5 0 0 20 0 15 0 250734225 14431227904 64536 33554432000 4194304 4196468 140725378581264 139703780023216 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 46 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
Current children cumulated CPU time: 170.52 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 258144 KiB

[startup+222.301 s]
/proc/loadavg: 1.50 1.68 1.83 3/218 11029
/proc/meminfo: memFree=23794560/32770624 swapFree=67108688/67108860
[pid=10934] ppid=10931 vsize=14092996 memory=269016 CPUtime=231.11 cores=1,3,5,7
/proc/10934/stat : 10934 (java) S 10931 10934 9532 0 -1 1077944320 76173 0 0 0 23060 51 0 0 20 0 15 0 250734219 14431227904 67254 33554432000 4194304 4196468 140725378581264 140725378563808 139704313888503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
/proc/10934/statm: 3523249 67254 3598 1 0 3485321 0
[pid=10934/tid=10936] ppid=10931 vsize=14092996 memory=266872 CPUtime=220.59 cores=1,3,5,7
/proc/10934/task/10936/stat : 10936 (java) R 10931 10934 9532 0 -1 4202560 32311 0 0 0 22050 9 0 0 20 0 15 0 250734219 14431227904 67254 33554432000 4194304 4196468 140725378581264 139704318125968 139703961469136 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10937] ppid=10931 vsize=14092996 memory=269016 CPUtime=0.78 cores=1,3,5,7
/proc/10934/task/10937/stat : 10937 (java) S 10931 10934 9532 0 -1 1077944384 1582 0 0 0 71 7 0 0 20 0 15 0 250734220 14431227904 67254 33554432000 4194304 4196468 140725378581264 139704281446800 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10938] ppid=10931 vsize=14092996 memory=269016 CPUtime=0.76 cores=1,3,5,7
/proc/10934/task/10938/stat : 10938 (java) S 10931 10934 9532 0 -1 1077944384 4053 0 0 0 68 8 0 0 20 0 15 0 250734220 14431227904 67254 33554432000 4194304 4196468 140725378581264 139703909021968 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10939] ppid=10931 vsize=14092996 memory=269016 CPUtime=0.76 cores=1,3,5,7
/proc/10934/task/10939/stat : 10939 (java) S 10931 10934 9532 0 -1 1077944384 3312 0 0 0 70 6 0 0 20 0 15 0 250734220 14431227904 67254 33554432000 4194304 4196468 140725378581264 139703907969680 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10940] ppid=10931 vsize=14092996 memory=266872 CPUtime=0.78 cores=1,3,5,7
/proc/10934/task/10940/stat : 10940 (java) S 10931 10934 9532 0 -1 1077944384 2436 0 0 0 72 6 0 0 20 0 15 0 250734220 14431227904 67254 33554432000 4194304 4196468 140725378581264 139703906916880 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10941] ppid=10931 vsize=14092996 memory=250 CPUtime=0.49 cores=1,3,5,7
/proc/10934/task/10941/stat : 10941 (java) S 10931 10934 9532 0 -1 1077944384 2259 0 0 0 45 4 0 0 20 0 15 0 250734221 14431227904 67254 33554432000 4194304 4196468 140725378581264 139703788444272 139704313899650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10942] ppid=10931 vsize=14092996 memory=68204 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10942/stat : 10942 (java) S 10931 10934 9532 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 250734222 14431227904 67254 33554432000 4194304 4196468 140725378581264 139703787390304 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10943] ppid=10931 vsize=14092996 memory=2316 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10943/stat : 10943 (java) S 10931 10934 9532 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 250734222 14431227904 67254 33554432000 4194304 4196468 140725378581264 139703786337920 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10944] ppid=10931 vsize=14092996 memory=269016 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10944/stat : 10944 (java) S 10931 10934 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250734224 14431227904 67254 33554432000 4194304 4196468 140725378581264 139703785286224 139704313907099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10945] ppid=10931 vsize=14092996 memory=8700 CPUtime=2.5 cores=1,3,5,7
/proc/10934/task/10945/stat : 10945 (java) S 10931 10934 9532 0 -1 1077944384 6817 0 0 0 249 1 0 0 20 0 15 0 250734224 14431227904 67254 33554432000 4194304 4196468 140725378581264 139703784233072 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10946] ppid=10931 vsize=14092996 memory=266872 CPUtime=3.01 cores=1,3,5,7
/proc/10934/task/10946/stat : 10946 (java) S 10931 10934 9532 0 -1 1077944384 10288 0 0 0 300 1 0 0 20 0 15 0 250734224 14431227904 67254 33554432000 4194304 4196468 140725378581264 139703783180272 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10947] ppid=10931 vsize=14092996 memory=6791534058613427641 CPUtime=1.21 cores=1,3,5,7
/proc/10934/task/10947/stat : 10947 (java) S 10931 10934 9532 0 -1 1077944384 11216 0 0 0 119 2 0 0 20 0 15 0 250734224 14431227904 67254 33554432000 4194304 4196468 140725378581264 139703782127984 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10948] ppid=10931 vsize=14092996 memory=269016 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10948/stat : 10948 (java) S 10931 10934 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250734224 14431227904 67254 33554432000 4194304 4196468 140725378581264 139703781075424 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10949] ppid=10931 vsize=14092996 memory=269016 CPUtime=0.13 cores=1,3,5,7
/proc/10934/task/10949/stat : 10949 (java) S 10931 10934 9532 0 -1 1077944384 476 0 0 0 5 8 0 0 20 0 15 0 250734225 14431227904 67254 33554432000 4194304 4196468 140725378581264 139703780023216 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 46 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
Current children cumulated CPU time: 231.11 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 269016 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+243.001 s]*
/proc/loadavg: 1.51 1.66 1.83 4/218 11029
/proc/meminfo: memFree=23745520/32770624 swapFree=67108688/67108860
[pid=10934] ppid=10931 vsize=14092996 memory=271076 CPUtime=252 cores=1,3,5,7
/proc/10934/stat : 10934 (java) S 10931 10934 9532 0 -1 1077944320 76365 0 0 0 25147 53 0 0 20 0 15 0 250734219 14431227904 67769 33554432000 4194304 4196468 140725378581264 140725378563808 139704313888503 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
/proc/10934/statm: 3523249 67769 3598 1 0 3485321 0
[pid=10934/tid=10936] ppid=10931 vsize=14092996 memory=7022364594140610616 CPUtime=241.15 cores=1,3,5,7
/proc/10934/task/10936/stat : 10936 (java) R 10931 10934 9532 0 -1 4202560 32361 0 0 0 24106 9 0 0 20 0 15 0 250734219 14431227904 67769 33554432000 4194304 4196468 140725378581264 139704318126416 139703964623430 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10937] ppid=10931 vsize=14092996 memory=365 CPUtime=0.85 cores=1,3,5,7
/proc/10934/task/10937/stat : 10937 (java) S 10931 10934 9532 0 -1 1077944384 1624 0 0 0 78 7 0 0 20 0 15 0 250734220 14431227904 67769 33554432000 4194304 4196468 140725378581264 139704281446800 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10938] ppid=10931 vsize=14092996 memory=140527441396353 CPUtime=0.83 cores=1,3,5,7
/proc/10934/task/10938/stat : 10938 (java) S 10931 10934 9532 0 -1 1077944384 4085 0 0 0 75 8 0 0 20 0 15 0 250734220 14431227904 67769 33554432000 4194304 4196468 140725378581264 139703909021968 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10939] ppid=10931 vsize=14092996 memory=2322256795119540050 CPUtime=0.84 cores=1,3,5,7
/proc/10934/task/10939/stat : 10939 (java) S 10931 10934 9532 0 -1 1077944384 3342 0 0 0 77 7 0 0 20 0 15 0 250734220 14431227904 67769 33554432000 4194304 4196468 140725378581264 139703907969680 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10940] ppid=10931 vsize=14092996 memory=3461361991632839783 CPUtime=0.85 cores=1,3,5,7
/proc/10934/task/10940/stat : 10940 (java) S 10931 10934 9532 0 -1 1077944384 2474 0 0 0 78 7 0 0 20 0 15 0 250734220 14431227904 67769 33554432000 4194304 4196468 140725378581264 139703906916880 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10941] ppid=10931 vsize=14092996 memory=7008597174643181232 CPUtime=0.52 cores=1,3,5,7
/proc/10934/task/10941/stat : 10941 (java) S 10931 10934 9532 0 -1 1077944384 2259 0 0 0 48 4 0 0 20 0 15 0 250734221 14431227904 67769 33554432000 4194304 4196468 140725378581264 139703788444272 139704313899650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10942] ppid=10931 vsize=14092996 memory=749398977994450533 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10942/stat : 10942 (java) S 10931 10934 9532 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 250734222 14431227904 67769 33554432000 4194304 4196468 140725378581264 139703787390304 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10943] ppid=10931 vsize=14092996 memory=-2895008908443415148 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10943/stat : 10943 (java) S 10931 10934 9532 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 250734222 14431227904 67769 33554432000 4194304 4196468 140725378581264 139703786337920 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10944] ppid=10931 vsize=14092996 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10944/stat : 10944 (java) S 10931 10934 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250734224 14431227904 67769 33554432000 4194304 4196468 140725378581264 139703785286224 139704313907099 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10945] ppid=10931 vsize=14092996 memory=0 CPUtime=2.5 cores=1,3,5,7
/proc/10934/task/10945/stat : 10945 (java) S 10931 10934 9532 0 -1 1077944384 6817 0 0 0 249 1 0 0 20 0 15 0 250734224 14431227904 67769 33554432000 4194304 4196468 140725378581264 139703784233072 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10946] ppid=10931 vsize=14092996 memory=7521983798963298163 CPUtime=3.01 cores=1,3,5,7
/proc/10934/task/10946/stat : 10946 (java) S 10931 10934 9532 0 -1 1077944384 10288 0 0 0 300 1 0 0 20 0 15 0 250734224 14431227904 67769 33554432000 4194304 4196468 140725378581264 139703783180272 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10947] ppid=10931 vsize=14092996 memory=281054745079568 CPUtime=1.21 cores=1,3,5,7
/proc/10934/task/10947/stat : 10947 (java) S 10931 10934 9532 0 -1 1077944384 11216 0 0 0 119 2 0 0 20 0 15 0 250734224 14431227904 67769 33554432000 4194304 4196468 140725378581264 139703782127984 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10948] ppid=10931 vsize=14092996 memory=7016453692698331695 CPUtime=0 cores=1,3,5,7
/proc/10934/task/10948/stat : 10948 (java) S 10931 10934 9532 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 250734224 14431227904 67769 33554432000 4194304 4196468 140725378581264 139703781075424 139704313898709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
[pid=10934/tid=10949] ppid=10931 vsize=14092996 memory=3472468823668803248 CPUtime=0.15 cores=1,3,5,7
/proc/10934/task/10949/stat : 10949 (java) S 10931 10934 9532 0 -1 1077944384 476 0 0 0 6 9 0 0 20 0 15 0 250734225 14431227904 67769 33554432000 4194304 4196468 140725378581264 139703780023216 139704313899650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 46 0 0 6293624 6294260 23932928 140725378585691 140725378585870 140725378585870 140725378588623 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 271076 KiB

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

[startup+243.03 s]
# the end of solver process 10934 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=251.494 s, system=0.540282 s

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

Child status: 143
Real time (s): 243.03
CPU time (s): 252.034
CPU user time (s): 251.494
CPU system time (s): 0.540282
CPU usage (%): 103.705
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 271076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.494
system time used= 0.540282
maximum resident set size= 271624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77661
page faults= 0
swaps= 0
block input operations= 0
block output operations= 360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21602
involuntary context switches= 899


# summary of solver processes directly reported to runsolver:
#   pid: 10934
#   total CPU time (s): 252.034
#   total CPU user time (s): 251.494
#   total CPU system time (s): 0.540282

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.55901 second user time and 2.34754 second system time

The end

Name	LowAutocorrelation/ LowAutocorrelation-040_c18.xml
MD5SUM	4e9e0842de773da2d9de44121d9bf85e
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	156
Best CPU time to get the best result obtained on this benchmark	252.102
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 4310494

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