2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2017-07-26	SAT (TO)	196	251.342	240.036

0.32/0.43	c version: 2017-07-26
0.32/0.43	c seed: 699707473
0.32/0.43	c timeout: 264
0.32/0.43	c memlimit: 11000
0.32/0.43	c nbcore: 4
0.32/0.45	c Parsing instance...
2.86/1.41	c Parsing done, starting first complete search...
2.86/1.46	o 20540
2.86/1.46	o 16216
2.86/1.46	o 12748
2.86/1.46	o 12708
2.86/1.46	o 9896
2.86/1.47	o 7684
2.86/1.47	o 6104
2.86/1.47	o 4508
2.86/1.48	o 3464
2.86/1.48	o 2564
2.86/1.49	o 2500
3.18/1.50	o 1976
3.18/1.51	o 1736
3.18/1.52	o 1436
3.18/1.55	o 1300
3.18/1.56	o 1208
3.49/1.63	o 1144
5.17/2.37	o 1096
5.17/2.38	o 1064
5.17/2.38	o 1052
5.17/2.40	o 948
5.52/2.58	o 940
5.52/2.59	o 932
5.52/2.59	o 884
5.63/2.61	o 828
6.48/3.34	o 780
7.39/4.20	o 772
7.80/4.64	o 724
7.90/4.73	o 712
7.90/4.75	o 668
7.90/4.78	o 648
7.90/4.78	o 644
7.90/4.78	o 640
8.00/4.85	o 616
8.20/5.06	o 600
12.89/9.69	c First complete search done, starting ALNS search...
15.00/10.75	o 524
19.69/14.58	o 328
34.78/28.94	o 280
36.71/30.84	o 268
48.21/42.09	o 252
101.24/93.79	o 248
129.83/121.67	o 240
139.85/131.48	o 200
196.41/186.67	o 196
200.10/190.26	c ALNS done, starting second complete search
200.10/190.26	c Best operator: ValGuided(449,Random)_ConfOrder(Min) with improvement of: 272
251.30/240.01	s SATISFIABLE
251.30/240.01	v <instantiation>
251.30/240.01	v 	<list>
251.30/240.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]
251.30/240.01	v 	</list>
251.30/240.01	v 	<values>
251.30/240.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 -2 -1 2 1 -2 -1 4 -3 0 -1 -2 -3 6 1 2 -1 0 1 0 -1 4 1 -2 -1 -2 3 2 1 4 -1 -4 1 -2 -1 2 1 2 1 9 4 1 4 1 4 1 16 9 0 1 4 9 36 1 4 1 0 1 0 1 16 1 4 1 4 9 4 1 16 1 16 1 4 1 4 1 4 1 
251.30/240.01	v 	</values>
251.30/240.01	v </instantiation>

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4256571-1501632175/watcher-4256571-1501632175 -o /tmp/evaluation-result-4256571-1501632175/solver-4256571-1501632175 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501623086-29847 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 699707473 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256571-1501632175.xml 

pid=4936
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.78 1.61 1.57 3/199 4939
/proc/meminfo: memFree=30240808/32770624 swapFree=0/229364
[pid=4939] ppid=4936 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/4939/stat : 4939 (runsolver) D 4936 4939 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 62870979 24240128 106 18446744073709551615 4194304 4338465 140721250256448 140721250254088 140358246335191 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 6672384 140721250259050 140721250259525 140721250259525 140721250262986 0
/proc/4939/statm: 5918 106 53 36 0 2156 0

[startup+0.102217 s]
/proc/loadavg: 1.78 1.61 1.57 3/199 4939
/proc/meminfo: memFree=30240808/32770624 swapFree=0/229364
[pid=4939] ppid=4936 vsize=13441564 CPUtime=0.01 cores=0,2,4,6
/proc/4939/stat : 4939 (java) S 4936 4939 18930 0 -1 1077944320 3842 0 0 0 1 0 0 0 20 0 8 0 62870979 13764161536 3989 18446744073709551615 4194304 4196468 140731259625792 140731259608336 140530311556855 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
/proc/4939/statm: 3360391 3989 2023 1 0 3349896 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13441564

[startup+0.200329 s]
/proc/loadavg: 1.78 1.61 1.57 3/199 4939
/proc/meminfo: memFree=30240808/32770624 swapFree=0/229364
[pid=4939] ppid=4936 vsize=13906484 CPUtime=0.05 cores=0,2,4,6
/proc/4939/stat : 4939 (java) S 4936 4939 18930 0 -1 1077944320 4961 0 0 0 5 0 0 0 20 0 14 0 62870979 14240239616 5500 18446744073709551615 4194304 4196468 140731259625792 140731259608336 140530311556855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
/proc/4939/statm: 3476621 5500 2569 1 0 3466126 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13906484

[startup+0.304471 s]
/proc/loadavg: 1.78 1.61 1.57 3/199 4939
/proc/meminfo: memFree=30240808/32770624 swapFree=0/229364
[pid=4939] ppid=4936 vsize=13975920 CPUtime=0.16 cores=0,2,4,6
/proc/4939/stat : 4939 (java) S 4936 4939 18930 0 -1 1077944320 9787 0 0 0 14 2 0 0 20 0 15 0 62870979 14311342080 8654 18446744073709551615 4194304 4196468 140731259625792 140731259608336 140530311556855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
/proc/4939/statm: 3493980 8654 3459 1 0 3482767 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 13975920

[startup+0.700202 s]
/proc/loadavg: 1.78 1.61 1.57 3/199 4939
/proc/meminfo: memFree=30240808/32770624 swapFree=0/229364
[pid=4939] ppid=4936 vsize=13977988 CPUtime=0.92 cores=0,2,4,6
/proc/4939/stat : 4939 (java) S 4936 4939 18930 0 -1 1077944320 13580 0 0 0 86 6 0 0 20 0 15 0 62870979 14313459712 15896 18446744073709551615 4194304 4196468 140731259625792 140731259608336 140530311556855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
/proc/4939/statm: 3494497 15896 3713 1 0 3483279 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 13977988

[startup+1.50062 s]
/proc/loadavg: 2.04 1.67 1.59 6/214 4954
/proc/meminfo: memFree=30142096/32770624 swapFree=0/229368
[pid=4939] ppid=4936 vsize=13982084 CPUtime=3.18 cores=0,2,4,6
/proc/4939/stat : 4939 (java) S 4936 4939 18930 0 -1 1077944320 29598 0 0 0 305 13 0 0 20 0 15 0 62870979 14317654016 37086 18446744073709551615 4194304 4196468 140731259625792 140731259608336 140530311556855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
/proc/4939/statm: 3495521 37086 3750 1 0 3484303 0
[pid=4939/tid=4941] ppid=4936 vsize=13982084 CPUtime=1.29 cores=0,2,4,6
/proc/4939/task/4941/stat : 4941 (java) R 4936 4939 18930 0 -1 4202560 15527 0 0 0 121 8 0 0 20 0 15 0 62870986 14317654016 37086 18446744073709551615 4194304 4196468 140731259625792 140530315790160 140529945848871 0 4 1 16800974 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4942] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4942/stat : 4942 (java) S 4936 4939 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62870987 14317654016 37086 18446744073709551615 4194304 4196468 140731259625792 140530268523280 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4943] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4943/stat : 4943 (java) S 4936 4939 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62870987 14317654016 37086 18446744073709551615 4194304 4196468 140731259625792 140530267470736 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4944] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4944/stat : 4944 (java) S 4936 4939 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62870987 14317654016 37086 18446744073709551615 4194304 4196468 140731259625792 140530266418192 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4945] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4945/stat : 4945 (java) S 4936 4939 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62870987 14317654016 37086 18446744073709551615 4194304 4196468 140731259625792 140530265365648 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4946] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4946/stat : 4946 (java) S 4936 4939 18930 0 -1 1077944384 457 0 0 0 0 0 0 0 20 0 15 0 62870989 14317654016 37086 18446744073709551615 4194304 4196468 140731259625792 140529857361904 140530311568002 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4947] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4947/stat : 4947 (java) S 4936 4939 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62870989 14317654016 37086 18446744073709551615 4194304 4196468 140731259625792 140529856308128 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4948] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4948/stat : 4948 (java) S 4936 4939 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62870989 14317654016 37086 18446744073709551615 4194304 4196468 140731259625792 140529855255536 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4949] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4949/stat : 4949 (java) S 4936 4939 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62870992 14317654016 37086 18446744073709551615 4194304 4196468 140731259625792 140529786415312 140530311575451 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4950] ppid=4936 vsize=13982084 CPUtime=0.56 cores=0,2,4,6
/proc/4939/task/4950/stat : 4950 (java) R 4936 4939 18930 0 -1 4202560 3399 0 0 0 56 0 0 0 20 0 15 0 62870992 14317654016 37086 18446744073709551615 4194304 4196468 140731259625792 140529785350272 140530295960328 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4951] ppid=4936 vsize=13982084 CPUtime=0.55 cores=0,2,4,6
/proc/4939/task/4951/stat : 4951 (java) R 4936 4939 18930 0 -1 4202560 2892 0 0 0 54 1 0 0 20 0 15 0 62870992 14317654016 37086 18446744073709551615 4194304 4196468 140731259625792 140529784299184 140530293101417 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4952] ppid=4936 vsize=13982084 CPUtime=0.74 cores=0,2,4,6
/proc/4939/task/4952/stat : 4952 (java) S 4936 4939 18930 0 -1 1077944384 5945 0 0 0 72 2 0 0 20 0 15 0 62870992 14317654016 37086 18446744073709551615 4194304 4196468 140731259625792 140529783257840 140530311568002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4953] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4953/stat : 4953 (java) S 4936 4939 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62870992 14317654016 37086 18446744073709551615 4194304 4196468 140731259625792 140529782205536 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4954] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4954/stat : 4954 (java) S 4936 4939 18930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 62871002 14317654016 37086 18446744073709551615 4194304 4196468 140731259625792 140529781152048 140530311568002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 13982084

[startup+3.10151 s]
/proc/loadavg: 2.04 1.67 1.59 5/214 4954
/proc/meminfo: memFree=30050940/32770624 swapFree=0/229364
[pid=4939] ppid=4936 vsize=13982084 CPUtime=6.24 cores=0,2,4,6
/proc/4939/stat : 4939 (java) S 4936 4939 18930 0 -1 1077944320 34648 0 0 0 608 16 0 0 20 0 15 0 62870979 14317654016 55652 18446744073709551615 4194304 4196468 140731259625792 140731259608336 140530311556855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
/proc/4939/statm: 3495521 55652 3776 1 0 3484303 0
[pid=4939/tid=4941] ppid=4936 vsize=13982084 CPUtime=2.89 cores=0,2,4,6
/proc/4939/task/4941/stat : 4941 (java) R 4936 4939 18930 0 -1 4202560 15687 0 0 0 279 10 0 0 20 0 15 0 62870986 14317654016 55652 18446744073709551615 4194304 4196468 140731259625792 140530315793064 140529947002475 0 4 1 16800974 0 0 0 -1 6 0 0 9 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4942] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4942/stat : 4942 (java) S 4936 4939 18930 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 15 0 62870987 14317654016 55652 18446744073709551615 4194304 4196468 140731259625792 140530268523280 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4943] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4943/stat : 4943 (java) S 4936 4939 18930 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 62870987 14317654016 55652 18446744073709551615 4194304 4196468 140731259625792 140530267470736 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4944] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4944/stat : 4944 (java) S 4936 4939 18930 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 15 0 62870987 14317654016 55652 18446744073709551615 4194304 4196468 140731259625792 140530266418192 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4945] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4945/stat : 4945 (java) S 4936 4939 18930 0 -1 1077944384 284 0 0 0 0 0 0 0 20 0 15 0 62870987 14317654016 55652 18446744073709551615 4194304 4196468 140731259625792 140530265365648 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4946] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4946/stat : 4946 (java) S 4936 4939 18930 0 -1 1077944384 565 0 0 0 0 0 0 0 20 0 15 0 62870989 14317654016 55652 18446744073709551615 4194304 4196468 140731259625792 140529857361904 140530311568002 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4947] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4947/stat : 4947 (java) S 4936 4939 18930 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 62870989 14317654016 55652 18446744073709551615 4194304 4196468 140731259625792 140529856308128 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4948] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4948/stat : 4948 (java) S 4936 4939 18930 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 62870989 14317654016 55652 18446744073709551615 4194304 4196468 140731259625792 140529855255552 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4949] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4949/stat : 4949 (java) S 4936 4939 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62870992 14317654016 55652 18446744073709551615 4194304 4196468 140731259625792 140529786415312 140530311575451 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4950] ppid=4936 vsize=13982084 CPUtime=1.27 cores=0,2,4,6
/proc/4939/task/4950/stat : 4950 (java) S 4936 4939 18930 0 -1 1077944384 5272 0 0 0 126 1 0 0 20 0 15 0 62870992 14317654016 55652 18446744073709551615 4194304 4196468 140731259625792 140529785362928 140530311568002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4951] ppid=4936 vsize=13982084 CPUtime=1.23 cores=0,2,4,6
/proc/4939/task/4951/stat : 4951 (java) S 4936 4939 18930 0 -1 1077944384 4595 0 0 0 122 1 0 0 20 0 15 0 62870992 14317654016 55652 18446744073709551615 4194304 4196468 140731259625792 140529784310384 140530311568002 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4952] ppid=4936 vsize=13982084 CPUtime=0.79 cores=0,2,4,6
/proc/4939/task/4952/stat : 4952 (java) S 4936 4939 18930 0 -1 1077944384 6571 0 0 0 77 2 0 0 20 0 15 0 62870992 14317654016 55652 18446744073709551615 4194304 4196468 140731259625792 140529783257840 140530311568002 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4953] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4953/stat : 4953 (java) S 4936 4939 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62870992 14317654016 55652 18446744073709551615 4194304 4196468 140731259625792 140529782205536 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4954] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4954/stat : 4954 (java) S 4936 4939 18930 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 62871002 14317654016 55652 18446744073709551615 4194304 4196468 140731259625792 140529781152048 140530311568002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 13982084

[startup+6.30071 s]
/proc/loadavg: 2.04 1.67 1.59 3/214 4954
/proc/meminfo: memFree=30035080/32770624 swapFree=0/229368
[pid=4939] ppid=4936 vsize=13982084 CPUtime=9.52 cores=0,2,4,6
/proc/4939/stat : 4939 (java) S 4936 4939 18930 0 -1 1077944320 34734 0 0 0 936 16 0 0 20 0 15 0 62870979 14317654016 57191 18446744073709551615 4194304 4196468 140731259625792 140731259608336 140530311556855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
/proc/4939/statm: 3495521 57191 3778 1 0 3484303 0
[pid=4939/tid=4941] ppid=4936 vsize=13982084 CPUtime=6.07 cores=0,2,4,6
/proc/4939/task/4941/stat : 4941 (java) R 4936 4939 18930 0 -1 4202560 15693 0 0 0 597 10 0 0 20 0 15 0 62870986 14317654016 57191 18446744073709551615 4194304 4196468 140731259625792 140530315792344 140529946263358 0 4 1 16800974 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4942] ppid=4936 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/4939/task/4942/stat : 4942 (java) S 4936 4939 18930 0 -1 1077944384 215 0 0 0 1 0 0 0 20 0 15 0 62870987 14317654016 57191 18446744073709551615 4194304 4196468 140731259625792 140530268523280 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4943] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4943/stat : 4943 (java) S 4936 4939 18930 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 62870987 14317654016 57191 18446744073709551615 4194304 4196468 140731259625792 140530267470736 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4944] ppid=4936 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/4939/task/4944/stat : 4944 (java) S 4936 4939 18930 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 15 0 62870987 14317654016 57191 18446744073709551615 4194304 4196468 140731259625792 140530266418192 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4945] ppid=4936 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/4939/task/4945/stat : 4945 (java) S 4936 4939 18930 0 -1 1077944384 288 0 0 0 1 0 0 0 20 0 15 0 62870987 14317654016 57191 18446744073709551615 4194304 4196468 140731259625792 140530265365648 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4946] ppid=4936 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/4939/task/4946/stat : 4946 (java) S 4936 4939 18930 0 -1 1077944384 566 0 0 0 1 0 0 0 20 0 15 0 62870989 14317654016 57191 18446744073709551615 4194304 4196468 140731259625792 140529857361904 140530311568002 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4947] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4947/stat : 4947 (java) S 4936 4939 18930 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 62870989 14317654016 57191 18446744073709551615 4194304 4196468 140731259625792 140529856308192 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4948] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4948/stat : 4948 (java) S 4936 4939 18930 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 62870989 14317654016 57191 18446744073709551615 4194304 4196468 140731259625792 140529855255552 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4949] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4949/stat : 4949 (java) S 4936 4939 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62870992 14317654016 57191 18446744073709551615 4194304 4196468 140731259625792 140529786415312 140530311575451 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4950] ppid=4936 vsize=13982084 CPUtime=1.29 cores=0,2,4,6
/proc/4939/task/4950/stat : 4950 (java) S 4936 4939 18930 0 -1 1077944384 5273 0 0 0 128 1 0 0 20 0 15 0 62870992 14317654016 57191 18446744073709551615 4194304 4196468 140731259625792 140529785362928 140530311568002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4951] ppid=4936 vsize=13982084 CPUtime=1.26 cores=0,2,4,6
/proc/4939/task/4951/stat : 4951 (java) S 4936 4939 18930 0 -1 1077944384 4600 0 0 0 125 1 0 0 20 0 15 0 62870992 14317654016 57191 18446744073709551615 4194304 4196468 140731259625792 140529784310384 140530311568002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4952] ppid=4936 vsize=13982084 CPUtime=0.8 cores=0,2,4,6
/proc/4939/task/4952/stat : 4952 (java) S 4936 4939 18930 0 -1 1077944384 6603 0 0 0 78 2 0 0 20 0 15 0 62870992 14317654016 57191 18446744073709551615 4194304 4196468 140731259625792 140529783257840 140530311568002 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4953] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4953/stat : 4953 (java) S 4936 4939 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62870992 14317654016 57191 18446744073709551615 4194304 4196468 140731259625792 140529782205536 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4954] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4954/stat : 4954 (java) S 4936 4939 18930 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 62871002 14317654016 57191 18446744073709551615 4194304 4196468 140731259625792 140529781152048 140530311568002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
Current children cumulated CPU time (s) 9.52
Current children cumulated vsize (KiB) 13982084

[startup+12.7007 s]
/proc/loadavg: 1.87 1.65 1.58 4/214 4954
/proc/meminfo: memFree=29850524/32770624 swapFree=0/229380
[pid=4939] ppid=4936 vsize=13982084 CPUtime=17.69 cores=0,2,4,6
/proc/4939/stat : 4939 (java) S 4936 4939 18930 0 -1 1077944320 46431 0 0 0 1742 27 0 0 20 0 15 0 62870979 14317654016 103962 18446744073709551615 4194304 4196468 140731259625792 140731259608336 140530311556855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
/proc/4939/statm: 3495521 103962 3803 1 0 3484303 0
[pid=4939/tid=4941] ppid=4936 vsize=13982084 CPUtime=12.39 cores=0,2,4,6
/proc/4939/task/4941/stat : 4941 (java) R 4936 4939 18930 0 -1 4202560 18167 0 0 0 1226 13 0 0 20 0 15 0 62870986 14317654016 103962 18446744073709551615 4194304 4196468 140731259625792 140530315794448 140529948559616 0 4 1 16800974 0 0 0 -1 4 0 0 9 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4942] ppid=4936 vsize=13982084 CPUtime=0.06 cores=0,2,4,6
/proc/4939/task/4942/stat : 4942 (java) S 4936 4939 18930 0 -1 1077944384 615 0 0 0 5 1 0 0 20 0 15 0 62870987 14317654016 103962 18446744073709551615 4194304 4196468 140731259625792 140530268523280 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4943] ppid=4936 vsize=13982084 CPUtime=0.06 cores=0,2,4,6
/proc/4939/task/4943/stat : 4943 (java) S 4936 4939 18930 0 -1 1077944384 1360 0 0 0 5 1 0 0 20 0 15 0 62870987 14317654016 103962 18446744073709551615 4194304 4196468 140731259625792 140530267470736 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4944] ppid=4936 vsize=13982084 CPUtime=0.06 cores=0,2,4,6
/proc/4939/task/4944/stat : 4944 (java) S 4936 4939 18930 0 -1 1077944384 172 0 0 0 5 1 0 0 20 0 15 0 62870987 14317654016 103962 18446744073709551615 4194304 4196468 140731259625792 140530266418192 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4945] ppid=4936 vsize=13982084 CPUtime=0.06 cores=0,2,4,6
/proc/4939/task/4945/stat : 4945 (java) S 4936 4939 18930 0 -1 1077944384 533 0 0 0 5 1 0 0 20 0 15 0 62870987 14317654016 103962 18446744073709551615 4194304 4196468 140731259625792 140530265365648 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4946] ppid=4936 vsize=13982084 CPUtime=0.02 cores=0,2,4,6
/proc/4939/task/4946/stat : 4946 (java) S 4936 4939 18930 0 -1 1077944384 985 0 0 0 2 0 0 0 20 0 15 0 62870989 14317654016 103962 18446744073709551615 4194304 4196468 140731259625792 140529857361904 140530311568002 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4947] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4947/stat : 4947 (java) S 4936 4939 18930 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 62870989 14317654016 103962 18446744073709551615 4194304 4196468 140731259625792 140529856308192 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4948] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4948/stat : 4948 (java) S 4936 4939 18930 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 62870989 14317654016 103962 18446744073709551615 4194304 4196468 140731259625792 140529855255552 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4949] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4949/stat : 4949 (java) S 4936 4939 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62870992 14317654016 103962 18446744073709551615 4194304 4196468 140731259625792 140529786415312 140530311575451 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0

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

[pid=4939/tid=4954] ppid=4936 vsize=13982084 CPUtime=0.02 cores=0,2,4,6
/proc/4939/task/4954/stat : 4954 (java) S 4936 4939 18930 0 -1 1077944384 161 0 0 0 0 2 0 0 20 0 15 0 62871002 14317654016 187125 18446744073709551615 4194304 4196468 140731259625792 140529781152048 140530311568002 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
Current children cumulated CPU time (s) 57.53
Current children cumulated vsize (KiB) 13982084

[startup+102.301 s]
/proc/loadavg: 1.55 1.60 1.57 3/216 4965
/proc/meminfo: memFree=29639332/32770624 swapFree=0/229456
[pid=4939] ppid=4936 vsize=13982084 CPUtime=110.05 cores=0,2,4,6
/proc/4939/stat : 4939 (java) S 4936 4939 18930 0 -1 1077944320 69918 0 0 0 10952 53 0 0 20 0 15 0 62870979 14317654016 170638 18446744073709551615 4194304 4196468 140731259625792 140731259608336 140530311556855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
/proc/4939/statm: 3495521 170638 3814 1 0 3484303 0
[pid=4939/tid=4941] ppid=4936 vsize=13982084 CPUtime=101.13 cores=0,2,4,6
/proc/4939/task/4941/stat : 4941 (java) R 4936 4939 18930 0 -1 4202560 24891 0 0 0 10092 21 0 0 20 0 15 0 62870986 14317654016 170638 18446744073709551615 4194304 4196468 140731259625792 140530315794528 140529947452551 0 4 1 16800974 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4942] ppid=4936 vsize=13982084 CPUtime=0.71 cores=0,2,4,6
/proc/4939/task/4942/stat : 4942 (java) S 4936 4939 18930 0 -1 1077944384 1042 0 0 0 66 5 0 0 20 0 15 0 62870987 14317654016 170638 18446744073709551615 4194304 4196468 140731259625792 140530268523280 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4943] ppid=4936 vsize=13982084 CPUtime=0.72 cores=0,2,4,6
/proc/4939/task/4943/stat : 4943 (java) S 4936 4939 18930 0 -1 1077944384 1938 0 0 0 67 5 0 0 20 0 15 0 62870987 14317654016 170638 18446744073709551615 4194304 4196468 140731259625792 140530267470736 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4944] ppid=4936 vsize=13982084 CPUtime=0.72 cores=0,2,4,6
/proc/4939/task/4944/stat : 4944 (java) S 4936 4939 18930 0 -1 1077944384 1149 0 0 0 68 4 0 0 20 0 15 0 62870987 14317654016 170638 18446744073709551615 4194304 4196468 140731259625792 140530266418192 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4945] ppid=4936 vsize=13982084 CPUtime=0.71 cores=0,2,4,6
/proc/4939/task/4945/stat : 4945 (java) S 4936 4939 18930 0 -1 1077944384 2327 0 0 0 66 5 0 0 20 0 15 0 62870987 14317654016 170638 18446744073709551615 4194304 4196468 140731259625792 140530265365648 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4946] ppid=4936 vsize=13982084 CPUtime=0.18 cores=0,2,4,6
/proc/4939/task/4946/stat : 4946 (java) S 4936 4939 18930 0 -1 1077944384 1844 0 0 0 14 4 0 0 20 0 15 0 62870989 14317654016 170638 18446744073709551615 4194304 4196468 140731259625792 140529857361904 140530311568002 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4947] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4947/stat : 4947 (java) S 4936 4939 18930 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 62870989 14317654016 170638 18446744073709551615 4194304 4196468 140731259625792 140529856308192 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4948] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4948/stat : 4948 (java) S 4936 4939 18930 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 62870989 14317654016 170638 18446744073709551615 4194304 4196468 140731259625792 140529855255552 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4949] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4949/stat : 4949 (java) S 4936 4939 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62870992 14317654016 170638 18446744073709551615 4194304 4196468 140731259625792 140529786415312 140530311575451 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4950] ppid=4936 vsize=13982084 CPUtime=2.32 cores=0,2,4,6
/proc/4939/task/4950/stat : 4950 (java) S 4936 4939 18930 0 -1 1077944384 11862 0 0 0 230 2 0 0 20 0 15 0 62870992 14317654016 170638 18446744073709551615 4194304 4196468 140731259625792 140529785362928 140530311568002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4951] ppid=4936 vsize=13982084 CPUtime=2.35 cores=0,2,4,6
/proc/4939/task/4951/stat : 4951 (java) S 4936 4939 18930 0 -1 1077944384 11436 0 0 0 233 2 0 0 20 0 15 0 62870992 14317654016 170638 18446744073709551615 4194304 4196468 140731259625792 140529784310384 140530311568002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4952] ppid=4936 vsize=13982084 CPUtime=1.07 cores=0,2,4,6
/proc/4939/task/4952/stat : 4952 (java) S 4936 4939 18930 0 -1 1077944384 11803 0 0 0 105 2 0 0 20 0 15 0 62870992 14317654016 170638 18446744073709551615 4194304 4196468 140731259625792 140529783257840 140530311568002 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4953] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4953/stat : 4953 (java) S 4936 4939 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62870992 14317654016 170638 18446744073709551615 4194304 4196468 140731259625792 140529782205536 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4954] ppid=4936 vsize=13982084 CPUtime=0.05 cores=0,2,4,6
/proc/4939/task/4954/stat : 4954 (java) S 4936 4939 18930 0 -1 1077944384 189 0 0 0 2 3 0 0 20 0 15 0 62871002 14317654016 170638 18446744073709551615 4194304 4196468 140731259625792 140529781152048 140530311568002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
Current children cumulated CPU time (s) 110.05
Current children cumulated vsize (KiB) 13982084

[startup+162.301 s]
/proc/loadavg: 1.71 1.61 1.58 4/215 5044
/proc/meminfo: memFree=30948732/32770624 swapFree=0/229532
[pid=4939] ppid=4936 vsize=13982084 CPUtime=171.51 cores=0,2,4,6
/proc/4939/stat : 4939 (java) S 4936 4939 18930 0 -1 1077944320 76841 0 0 0 17086 65 0 0 20 0 15 0 62870979 14317654016 152078 18446744073709551615 4194304 4196468 140731259625792 140731259608336 140530311556855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
/proc/4939/statm: 3495521 152078 3814 1 0 3484303 0
[pid=4939/tid=4941] ppid=4936 vsize=13982084 CPUtime=160.48 cores=0,2,4,6
/proc/4939/task/4941/stat : 4941 (java) R 4936 4939 18930 0 -1 4202560 26761 0 0 0 16027 21 0 0 20 0 15 0 62870986 14317654016 152078 18446744073709551615 4194304 4196468 140731259625792 140530315794416 140529948334531 0 4 1 16800974 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4942] ppid=4936 vsize=13982084 CPUtime=1.2 cores=0,2,4,6
/proc/4939/task/4942/stat : 4942 (java) S 4936 4939 18930 0 -1 1077944384 2015 0 0 0 112 8 0 0 20 0 15 0 62870987 14317654016 152078 18446744073709551615 4194304 4196468 140731259625792 140530268523280 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4943] ppid=4936 vsize=13982084 CPUtime=1.2 cores=0,2,4,6
/proc/4939/task/4943/stat : 4943 (java) S 4936 4939 18930 0 -1 1077944384 2135 0 0 0 113 7 0 0 20 0 15 0 62870987 14317654016 152078 18446744073709551615 4194304 4196468 140731259625792 140530267470736 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4944] ppid=4936 vsize=13982084 CPUtime=1.2 cores=0,2,4,6
/proc/4939/task/4944/stat : 4944 (java) S 4936 4939 18930 0 -1 1077944384 1371 0 0 0 114 6 0 0 20 0 15 0 62870987 14317654016 152078 18446744073709551615 4194304 4196468 140731259625792 140530266418192 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4945] ppid=4936 vsize=13982084 CPUtime=1.2 cores=0,2,4,6
/proc/4939/task/4945/stat : 4945 (java) S 4936 4939 18930 0 -1 1077944384 2552 0 0 0 113 7 0 0 20 0 15 0 62870987 14317654016 152078 18446744073709551615 4194304 4196468 140731259625792 140530265365648 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4946] ppid=4936 vsize=13982084 CPUtime=0.29 cores=0,2,4,6
/proc/4939/task/4946/stat : 4946 (java) S 4936 4939 18930 0 -1 1077944384 2097 0 0 0 24 5 0 0 20 0 15 0 62870989 14317654016 152078 18446744073709551615 4194304 4196468 140731259625792 140529857361904 140530311568002 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4947] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4947/stat : 4947 (java) S 4936 4939 18930 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 62870989 14317654016 152078 18446744073709551615 4194304 4196468 140731259625792 140529856308192 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4948] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4948/stat : 4948 (java) S 4936 4939 18930 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 62870989 14317654016 152078 18446744073709551615 4194304 4196468 140731259625792 140529855255552 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4949] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4949/stat : 4949 (java) S 4936 4939 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62870992 14317654016 152078 18446744073709551615 4194304 4196468 140731259625792 140529786415312 140530311575451 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4950] ppid=4936 vsize=13982084 CPUtime=2.34 cores=0,2,4,6
/proc/4939/task/4950/stat : 4950 (java) S 4936 4939 18930 0 -1 1077944384 13385 0 0 0 232 2 0 0 20 0 15 0 62870992 14317654016 152078 18446744073709551615 4194304 4196468 140731259625792 140529785362928 140530311568002 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4951] ppid=4936 vsize=13982084 CPUtime=2.35 cores=0,2,4,6
/proc/4939/task/4951/stat : 4951 (java) S 4936 4939 18930 0 -1 1077944384 11845 0 0 0 233 2 0 0 20 0 15 0 62870992 14317654016 152078 18446744073709551615 4194304 4196468 140731259625792 140529784310384 140530311568002 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4952] ppid=4936 vsize=13982084 CPUtime=1.08 cores=0,2,4,6
/proc/4939/task/4952/stat : 4952 (java) S 4936 4939 18930 0 -1 1077944384 13022 0 0 0 106 2 0 0 20 0 15 0 62870992 14317654016 152078 18446744073709551615 4194304 4196468 140731259625792 140529783257840 140530311568002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4953] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4953/stat : 4953 (java) S 4936 4939 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62870992 14317654016 152078 18446744073709551615 4194304 4196468 140731259625792 140529782205536 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4954] ppid=4936 vsize=13982084 CPUtime=0.08 cores=0,2,4,6
/proc/4939/task/4954/stat : 4954 (java) S 4936 4939 18930 0 -1 1077944384 221 0 0 0 3 5 0 0 20 0 15 0 62871002 14317654016 152078 18446744073709551615 4194304 4196468 140731259625792 140529781152048 140530311568002 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
Current children cumulated CPU time (s) 171.51
Current children cumulated vsize (KiB) 13982084

[startup+222.301 s]
/proc/loadavg: 1.67 1.61 1.58 3/214 5046
/proc/meminfo: memFree=30589852/32770624 swapFree=0/229596
[pid=4939] ppid=4936 vsize=13982084 CPUtime=233.18 cores=0,2,4,6
/proc/4939/stat : 4939 (java) S 4936 4939 18930 0 -1 1077944320 88152 0 0 0 23236 82 0 0 20 0 15 0 62870979 14317654016 162702 18446744073709551615 4194304 4196468 140731259625792 140731259608336 140530311556855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
/proc/4939/statm: 3495521 162702 3814 1 0 3484303 0
[pid=4939/tid=4941] ppid=4936 vsize=13982084 CPUtime=219.86 cores=0,2,4,6
/proc/4939/task/4941/stat : 4941 (java) R 4936 4939 18930 0 -1 4202560 29307 0 0 0 21963 23 0 0 20 0 15 0 62870986 14317654016 162702 18446744073709551615 4194304 4196468 140731259625792 140530315795232 140529947452659 0 4 1 16800974 0 0 0 -1 2 0 0 9 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4942] ppid=4936 vsize=13982084 CPUtime=1.68 cores=0,2,4,6
/proc/4939/task/4942/stat : 4942 (java) S 4936 4939 18930 0 -1 1077944384 2193 0 0 0 157 11 0 0 20 0 15 0 62870987 14317654016 162702 18446744073709551615 4194304 4196468 140731259625792 140530268523280 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4943] ppid=4936 vsize=13982084 CPUtime=1.68 cores=0,2,4,6
/proc/4939/task/4943/stat : 4943 (java) S 4936 4939 18930 0 -1 1077944384 2350 0 0 0 158 10 0 0 20 0 15 0 62870987 14317654016 162702 18446744073709551615 4194304 4196468 140731259625792 140530267470736 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4944] ppid=4936 vsize=13982084 CPUtime=1.69 cores=0,2,4,6
/proc/4939/task/4944/stat : 4944 (java) S 4936 4939 18930 0 -1 1077944384 1583 0 0 0 159 10 0 0 20 0 15 0 62870987 14317654016 162702 18446744073709551615 4194304 4196468 140731259625792 140530266418192 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4945] ppid=4936 vsize=13982084 CPUtime=1.68 cores=0,2,4,6
/proc/4939/task/4945/stat : 4945 (java) S 4936 4939 18930 0 -1 1077944384 3580 0 0 0 158 10 0 0 20 0 15 0 62870987 14317654016 162702 18446744073709551615 4194304 4196468 140731259625792 140530265365648 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4946] ppid=4936 vsize=13982084 CPUtime=0.39 cores=0,2,4,6
/proc/4939/task/4946/stat : 4946 (java) S 4936 4939 18930 0 -1 1077944384 2409 0 0 0 33 6 0 0 20 0 15 0 62870989 14317654016 162702 18446744073709551615 4194304 4196468 140731259625792 140529857361904 140530311568002 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4947] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4947/stat : 4947 (java) S 4936 4939 18930 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 62870989 14317654016 162702 18446744073709551615 4194304 4196468 140731259625792 140529856308192 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4948] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4948/stat : 4948 (java) S 4936 4939 18930 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 62870989 14317654016 162702 18446744073709551615 4194304 4196468 140731259625792 140529855255552 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4949] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4949/stat : 4949 (java) S 4936 4939 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62870992 14317654016 162702 18446744073709551615 4194304 4196468 140731259625792 140529786415312 140530311575451 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4950] ppid=4936 vsize=13982084 CPUtime=2.42 cores=0,2,4,6
/proc/4939/task/4950/stat : 4950 (java) S 4936 4939 18930 0 -1 1077944384 14684 0 0 0 240 2 0 0 20 0 15 0 62870992 14317654016 162702 18446744073709551615 4194304 4196468 140731259625792 140529785362928 140530311568002 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4951] ppid=4936 vsize=13982084 CPUtime=2.46 cores=0,2,4,6
/proc/4939/task/4951/stat : 4951 (java) S 4936 4939 18930 0 -1 1077944384 15427 0 0 0 243 3 0 0 20 0 15 0 62870992 14317654016 162702 18446744073709551615 4194304 4196468 140731259625792 140529784310384 140530311568002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4952] ppid=4936 vsize=13982084 CPUtime=1.11 cores=0,2,4,6
/proc/4939/task/4952/stat : 4952 (java) S 4936 4939 18930 0 -1 1077944384 14839 0 0 0 109 2 0 0 20 0 15 0 62870992 14317654016 162702 18446744073709551615 4194304 4196468 140731259625792 140529783257840 140530311568002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4953] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4953/stat : 4953 (java) S 4936 4939 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62870992 14317654016 162702 18446744073709551615 4194304 4196468 140731259625792 140529782205536 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4954] ppid=4936 vsize=13982084 CPUtime=0.13 cores=0,2,4,6
/proc/4939/task/4954/stat : 4954 (java) S 4936 4939 18930 0 -1 1077944384 336 0 0 0 6 7 0 0 20 0 15 0 62871002 14317654016 162702 18446744073709551615 4194304 4196468 140731259625792 140529781152048 140530311568002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
Current children cumulated CPU time (s) 233.18
Current children cumulated vsize (KiB) 13982084



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.60 1.60 1.58 3/214 5046
/proc/meminfo: memFree=30598324/32770624 swapFree=0/229600
[pid=4939] ppid=4936 vsize=13982084 CPUtime=251.3 cores=0,2,4,6
/proc/4939/stat : 4939 (java) S 4936 4939 18930 0 -1 1077944320 89471 0 0 0 25042 88 0 0 20 0 15 0 62870979 14317654016 167722 18446744073709551615 4194304 4196468 140731259625792 140731259608336 140530311556855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
/proc/4939/statm: 3495521 167722 3814 1 0 3484303 0
[pid=4939/tid=4941] ppid=4936 vsize=13982084 CPUtime=237.37 cores=0,2,4,6
/proc/4939/task/4941/stat : 4941 (java) R 4936 4939 18930 0 -1 4202560 30503 0 0 0 23714 23 0 0 20 0 15 0 62870986 14317654016 167722 18446744073709551615 4194304 4196468 140731259625792 140530315795072 140529947453639 0 4 1 16800974 0 0 0 -1 0 0 0 9 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4942] ppid=4936 vsize=13982084 CPUtime=1.82 cores=0,2,4,6
/proc/4939/task/4942/stat : 4942 (java) S 4936 4939 18930 0 -1 1077944384 2211 0 0 0 170 12 0 0 20 0 15 0 62870987 14317654016 167722 18446744073709551615 4194304 4196468 140731259625792 140530268523280 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4943] ppid=4936 vsize=13982084 CPUtime=1.82 cores=0,2,4,6
/proc/4939/task/4943/stat : 4943 (java) S 4936 4939 18930 0 -1 1077944384 2373 0 0 0 171 11 0 0 20 0 15 0 62870987 14317654016 167722 18446744073709551615 4194304 4196468 140731259625792 140530267470736 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4944] ppid=4936 vsize=13982084 CPUtime=1.82 cores=0,2,4,6
/proc/4939/task/4944/stat : 4944 (java) S 4936 4939 18930 0 -1 1077944384 1605 0 0 0 171 11 0 0 20 0 15 0 62870987 14317654016 167722 18446744073709551615 4194304 4196468 140731259625792 140530266418192 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4945] ppid=4936 vsize=13982084 CPUtime=1.82 cores=0,2,4,6
/proc/4939/task/4945/stat : 4945 (java) S 4936 4939 18930 0 -1 1077944384 3604 0 0 0 171 11 0 0 20 0 15 0 62870987 14317654016 167722 18446744073709551615 4194304 4196468 140731259625792 140530265365648 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4946] ppid=4936 vsize=13982084 CPUtime=0.43 cores=0,2,4,6
/proc/4939/task/4946/stat : 4946 (java) S 4936 4939 18930 0 -1 1077944384 2445 0 0 0 36 7 0 0 20 0 15 0 62870989 14317654016 167722 18446744073709551615 4194304 4196468 140731259625792 140529857361904 140530311568002 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4947] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4947/stat : 4947 (java) S 4936 4939 18930 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 62870989 14317654016 167722 18446744073709551615 4194304 4196468 140731259625792 140529856308192 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4948] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4948/stat : 4948 (java) S 4936 4939 18930 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 62870989 14317654016 167722 18446744073709551615 4194304 4196468 140731259625792 140529855255552 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4949] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4949/stat : 4949 (java) S 4936 4939 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62870992 14317654016 167722 18446744073709551615 4194304 4196468 140731259625792 140529786415312 140530311575451 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4950] ppid=4936 vsize=13982084 CPUtime=2.42 cores=0,2,4,6
/proc/4939/task/4950/stat : 4950 (java) S 4936 4939 18930 0 -1 1077944384 14684 0 0 0 240 2 0 0 20 0 15 0 62870992 14317654016 167722 18446744073709551615 4194304 4196468 140731259625792 140529785362928 140530311568002 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4951] ppid=4936 vsize=13982084 CPUtime=2.46 cores=0,2,4,6
/proc/4939/task/4951/stat : 4951 (java) S 4936 4939 18930 0 -1 1077944384 15427 0 0 0 243 3 0 0 20 0 15 0 62870992 14317654016 167722 18446744073709551615 4194304 4196468 140731259625792 140529784310384 140530311568002 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4952] ppid=4936 vsize=13982084 CPUtime=1.11 cores=0,2,4,6
/proc/4939/task/4952/stat : 4952 (java) S 4936 4939 18930 0 -1 1077944384 14839 0 0 0 109 2 0 0 20 0 15 0 62870992 14317654016 167722 18446744073709551615 4194304 4196468 140731259625792 140529783257840 140530311568002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4953] ppid=4936 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4939/task/4953/stat : 4953 (java) S 4936 4939 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62870992 14317654016 167722 18446744073709551615 4194304 4196468 140731259625792 140529782205536 140530311567061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
[pid=4939/tid=4954] ppid=4936 vsize=13982084 CPUtime=0.13 cores=0,2,4,6
/proc/4939/task/4954/stat : 4954 (java) S 4936 4939 18930 0 -1 1077944384 336 0 0 0 6 7 0 0 20 0 15 0 62871002 14317654016 167722 18446744073709551615 4194304 4196468 140731259625792 140529781152048 140530311568002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23126016 140731259634069 140731259634250 140731259634250 140731259637711 0
Current children cumulated CPU time (s) 251.3
Current children cumulated vsize (KiB) 13982084

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

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

Child status: 143
Real time (s): 240.036
CPU time (s): 251.342
CPU user time (s): 250.451
CPU system time (s): 0.890983
CPU usage (%): 104.71
Max. virtual memory (cumulated for all children) (KiB): 13982084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.451
system time used= 0.890983
maximum resident set size= 883528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90478
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19513
involuntary context switches= 690

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.970344 second user time and 1.66187 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	168
Best CPU time to get the best result obtained on this benchmark	1987.84
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 4256571

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