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)	237	251.77299	240.02901

0.36/0.41	c version: 2017-07-26
0.36/0.41	c seed: 571534635
0.36/0.41	c timeout: 264
0.36/0.41	c memlimit: 11000
0.36/0.41	c nbcore: 4
0.36/0.43	c Parsing instance...
3.08/1.40	c Parsing done, starting first complete search...
3.08/1.45	o 23821
3.08/1.45	o 19029
3.08/1.45	o 15157
3.08/1.45	o 15117
3.08/1.45	o 11941
3.08/1.46	o 9461
3.08/1.46	o 7261
3.08/1.47	o 5477
3.08/1.48	o 4277
3.08/1.48	o 3181
3.08/1.49	o 2405
3.08/1.49	o 2349
3.08/1.49	o 1853
3.41/1.50	o 1773
3.41/1.50	o 1445
3.41/1.52	o 1405
3.41/1.53	o 1085
3.41/1.59	o 1037
4.83/2.06	o 1005
4.83/2.06	o 989
5.16/2.27	o 933
5.26/2.36	o 917
5.39/2.40	o 877
6.01/2.97	o 821
6.01/2.99	o 781
6.11/3.05	o 765
6.80/3.69	o 693
7.00/3.88	o 653
7.91/4.76	o 621
7.91/4.76	o 589
8.11/4.97	o 541
8.63/5.49	o 525
13.83/10.57	c First complete search done, starting ALNS search...
17.77/13.20	o 445
23.61/18.49	o 301
86.96/79.76	o 293
114.31/106.34	o 285
138.16/129.32	o 277
179.85/170.13	o 237
201.45/191.13	c ALNS done, starting second complete search
201.45/191.13	c Best operator: ValGuided(739,MinGroup)_ConfOrder(valLearnMin) with improvement of: 88
251.74/240.00	s SATISFIABLE
251.74/240.00	v <instantiation>
251.74/240.00	v 	<list>
251.74/240.00	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[0][39] y[0][40] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[1][38] y[1][39] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[2][37] y[2][38] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[3][36] y[3][37] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[4][35] y[4][36] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[5][34] y[5][35] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[6][33] y[6][34] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[7][32] y[7][33] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[8][31] y[8][32] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[9][30] y[9][31] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[10][29] y[10][30] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[11][28] y[11][29] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[12][27] y[12][28] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[13][26] y[13][27] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[14][25] y[14][26] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[15][24] y[15][25] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[16][23] y[16][24] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[17][22] y[17][23] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[18][21] y[18][22] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[19][20] y[19][21] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[20][19] y[20][20] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[21][18] y[21][19] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[22][17] y[22][18] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[23][16] y[23][17] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[24][15] y[24][16] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[25][14] y[25][15] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[26][13] y[26][14] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[27][12] y[27][13] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[28][11] y[28][12] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[29][10] y[29][11] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[30][9] y[30][10] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[31][8] y[31][9] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[32][7] y[32][8] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[33][6] y[33][7] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[34][5] y[34][6] y[35][0] y[35][1] y[35][2] y[35][3] y[35][4] y[35][5] y[36][0] y[36][1] y[36][2] y[36][3] y[36][4] y[37][0] y[37][1] y[37][2] y[37][3] y[38][0] y[38][1] y[38][2] y[39][0] y[39][1] y[40][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] c[39] c[40] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38] s[39] s[40]
251.74/240.00	v 	</list>
251.74/240.00	v 	<values>
251.74/240.00	v 		1 -1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 1 1 -1 1 1 1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 1 1 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 1 -1 1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 1 1 1 1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 1 1 1 1 1 1 1 -1 1 -1 -1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 -1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 1 1 1 -1 1 -1 1 1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 1 1 1 1 1 1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 -1 1 1 1 -1 1 1 -1 -1 1 1 -1 1 1 1 -1 -1 1 1 -1 1 -1 -1 1 1 1 1 -1 1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 -1 1 1 -1 1 -1 1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 -1 1 -1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 1 -1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 1 1 1 -1 1 -1 -1 1 1 1 -1 1 1 -1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 -1 1 1 -1 -1 1 1 -1 1 -1 1 1 1 -1 1 -1 1 -1 1 1 -1 1 -1 1 1 -1 -1 -1 -1 -1 -1 1 1 1 1 1 -1 1 1 1 1 -1 1 1 -1 1 1 -1 -1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 -1 3 -4 1 0 -3 0 3 2 5 0 1 -4 -1 0 -1 0 1 -2 1 2 5 0 1 0 1 2 3 2 3 6 -3 2 1 0 3 2 -3 -2 1 2 -1 9 16 1 0 9 0 9 4 25 0 1 16 1 0 1 0 1 4 1 4 25 0 1 0 1 4 9 4 9 36 9 4 1 0 9 4 9 4 1 4 1 
251.74/240.00	v 	</values>
251.74/240.00	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-4256572-1501631930/watcher-4256572-1501631930 -o /tmp/evaluation-result-4256572-1501631930/solver-4256572-1501631930 -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 571534635 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256572-1501631930.xml 

pid=4621
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.55 1.51 1.54 3/198 4624
/proc/meminfo: memFree=31168064/32770624 swapFree=0/229056
[pid=4624] ppid=4621 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/4624/stat : 4624 (runsolver) D 4621 4624 18930 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 62846519 24240128 107 18446744073709551615 4194304 4338465 140735855219136 140735855216776 139665066603223 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 7196672 140735855226986 140735855227461 140735855227461 140735855230922 0
/proc/4624/statm: 5918 107 54 36 0 2156 0

[startup+0.100152 s]
/proc/loadavg: 1.55 1.51 1.54 3/198 4624
/proc/meminfo: memFree=31168064/32770624 swapFree=0/229056
[pid=4624] ppid=4621 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/4624/stat : 4624 (runsolver) D 4621 4624 18930 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 62846519 24240128 107 18446744073709551615 4194304 4338465 140735855219136 140735855216776 139665066603223 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 7196672 140735855226986 140735855227461 140735855227461 140735855230922 0
/proc/4624/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672

[startup+0.200366 s]
/proc/loadavg: 1.55 1.51 1.54 3/198 4624
/proc/meminfo: memFree=31168064/32770624 swapFree=0/229056
[pid=4624] ppid=4621 vsize=13906484 CPUtime=0.05 cores=0,2,4,6
/proc/4624/stat : 4624 (java) S 4621 4624 18930 0 -1 1077944320 4690 0 0 0 4 1 0 0 20 0 14 0 62846519 14240239616 5246 18446744073709551615 4194304 4196468 140730983999536 140730983982080 140369375395575 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 11 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
/proc/4624/statm: 3476621 5246 2574 1 0 3466126 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13906484

[startup+0.301865 s]
/proc/loadavg: 1.55 1.51 1.54 3/198 4624
/proc/meminfo: memFree=31168064/32770624 swapFree=0/229056
[pid=4624] ppid=4621 vsize=13975920 CPUtime=0.19 cores=0,2,4,6
/proc/4624/stat : 4624 (java) S 4621 4624 18930 0 -1 1077944320 9664 0 0 0 16 3 0 0 20 0 15 0 62846519 14311342080 9043 18446744073709551615 4194304 4196468 140730983999536 140730983982080 140369375395575 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 11 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
/proc/4624/statm: 3493980 9043 3524 1 0 3482767 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 13975920

[startup+0.702043 s]
/proc/loadavg: 1.55 1.51 1.54 3/198 4624
/proc/meminfo: memFree=31168064/32770624 swapFree=0/229056
[pid=4624] ppid=4621 vsize=13977988 CPUtime=1.01 cores=0,2,4,6
/proc/4624/stat : 4624 (java) S 4621 4624 18930 0 -1 1077944320 13891 0 0 0 96 5 0 0 20 0 15 0 62846519 14313459712 16728 18446744073709551615 4194304 4196468 140730983999536 140730983982080 140369375395575 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 11 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
/proc/4624/statm: 3494497 16728 3716 1 0 3483279 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 13977988

[startup+1.50072 s]
/proc/loadavg: 1.67 1.54 1.55 6/213 4639
/proc/meminfo: memFree=31075448/32770624 swapFree=0/229060
[pid=4624] ppid=4621 vsize=13982084 CPUtime=3.41 cores=0,2,4,6
/proc/4624/stat : 4624 (java) S 4621 4624 18930 0 -1 1077944320 30573 0 0 0 331 10 0 0 20 0 15 0 62846519 14317654016 38295 18446744073709551615 4194304 4196468 140730983999536 140730983982080 140369375395575 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 11 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
/proc/4624/statm: 3495521 38295 3753 1 0 3484303 0
[pid=4624/tid=4626] ppid=4621 vsize=13982084 CPUtime=1.31 cores=0,2,4,6
/proc/4624/task/4626/stat : 4626 (java) R 4621 4624 18930 0 -1 1077944384 15550 0 0 0 125 6 0 0 20 0 15 0 62846530 14317654016 38295 18446744073709551615 4194304 4196468 140730983999536 140369379630656 140369375405781 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4627] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4627/stat : 4627 (java) S 4621 4624 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62846531 14317654016 38295 18446744073709551615 4194304 4196468 140730983999536 140369332362384 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4628] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4628/stat : 4628 (java) S 4621 4624 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62846531 14317654016 38295 18446744073709551615 4194304 4196468 140730983999536 140369331309584 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4629] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4629/stat : 4629 (java) S 4621 4624 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62846531 14317654016 38295 18446744073709551615 4194304 4196468 140730983999536 140369330256784 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4630] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4630/stat : 4630 (java) S 4621 4624 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 62846531 14317654016 38295 18446744073709551615 4194304 4196468 140730983999536 140368972802832 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4631] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4631/stat : 4631 (java) S 4621 4624 18930 0 -1 1077944384 474 0 0 0 0 0 0 0 20 0 15 0 62846532 14317654016 38295 18446744073709551615 4194304 4196468 140730983999536 140368854096240 140369375406722 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4632] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4632/stat : 4632 (java) S 4621 4624 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62846533 14317654016 38295 18446744073709551615 4194304 4196468 140730983999536 140368853042208 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4633] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4633/stat : 4633 (java) S 4621 4624 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62846533 14317654016 38295 18446744073709551615 4194304 4196468 140730983999536 140368851989360 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4634] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4634/stat : 4634 (java) S 4621 4624 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62846535 14317654016 38295 18446744073709551615 4194304 4196468 140730983999536 140368850937680 140369375414171 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4635] ppid=4621 vsize=13982084 CPUtime=0.64 cores=0,2,4,6
/proc/4624/task/4635/stat : 4635 (java) R 4621 4624 18930 0 -1 4202560 3355 0 0 0 64 0 0 0 20 0 15 0 62846535 14317654016 38295 18446744073709551615 4194304 4196468 140730983999536 140368849871640 140369359301545 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4636] ppid=4621 vsize=13982084 CPUtime=0.68 cores=0,2,4,6
/proc/4624/task/4636/stat : 4636 (java) R 4621 4624 18930 0 -1 4202560 4039 0 0 0 67 1 0 0 20 0 15 0 62846535 14317654016 38295 18446744073709551615 4194304 4196468 140730983999536 140368848814280 140369367632702 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4637] ppid=4621 vsize=13982084 CPUtime=0.74 cores=0,2,4,6
/proc/4624/task/4637/stat : 4637 (java) S 4621 4624 18930 0 -1 1077944384 5778 0 0 0 73 1 0 0 20 0 15 0 62846536 14317654016 38361 18446744073709551615 4194304 4196468 140730983999536 140368847780464 140369375406722 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4638] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4638/stat : 4638 (java) S 4621 4624 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62846536 14317654016 38361 18446744073709551615 4194304 4196468 140730983999536 140368846727904 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4639] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4639/stat : 4639 (java) S 4621 4624 18930 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 62846540 14317654016 38361 18446744073709551615 4194304 4196468 140730983999536 140368845675184 140369375406722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
Current children cumulated CPU time (s) 3.41
Current children cumulated vsize (KiB) 13982084

[startup+3.10061 s]
/proc/loadavg: 1.67 1.54 1.55 3/213 4639
/proc/meminfo: memFree=30978480/32770624 swapFree=0/229060
[pid=4624] ppid=4621 vsize=13982084 CPUtime=6.23 cores=0,2,4,6
/proc/4624/stat : 4624 (java) S 4621 4624 18930 0 -1 1077944320 34205 0 0 0 611 12 0 0 20 0 15 0 62846519 14317654016 56861 18446744073709551615 4194304 4196468 140730983999536 140730983982080 140369375395575 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 11 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
/proc/4624/statm: 3495521 56861 3778 1 0 3484303 0
[pid=4624/tid=4626] ppid=4621 vsize=13982084 CPUtime=2.89 cores=0,2,4,6
/proc/4624/task/4626/stat : 4626 (java) R 4621 4624 18930 0 -1 4202560 15722 0 0 0 282 7 0 0 20 0 15 0 62846530 14317654016 56861 18446744073709551615 4194304 4196468 140730983999536 140369379631624 140369019371037 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4627] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4627/stat : 4627 (java) S 4621 4624 18930 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 62846531 14317654016 56861 18446744073709551615 4194304 4196468 140730983999536 140369332362384 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4628] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4628/stat : 4628 (java) S 4621 4624 18930 0 -1 1077944384 242 0 0 0 0 0 0 0 20 0 15 0 62846531 14317654016 56861 18446744073709551615 4194304 4196468 140730983999536 140369331309584 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4629] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4629/stat : 4629 (java) S 4621 4624 18930 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 15 0 62846531 14317654016 56861 18446744073709551615 4194304 4196468 140730983999536 140369330256784 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4630] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4630/stat : 4630 (java) S 4621 4624 18930 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 62846531 14317654016 56861 18446744073709551615 4194304 4196468 140730983999536 140368972802832 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4631] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4631/stat : 4631 (java) S 4621 4624 18930 0 -1 1077944384 595 0 0 0 0 0 0 0 20 0 15 0 62846532 14317654016 56861 18446744073709551615 4194304 4196468 140730983999536 140368854096240 140369375406722 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4632] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4632/stat : 4632 (java) S 4621 4624 18930 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 62846533 14317654016 56861 18446744073709551615 4194304 4196468 140730983999536 140368853042272 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4633] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4633/stat : 4633 (java) S 4621 4624 18930 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 62846533 14317654016 56861 18446744073709551615 4194304 4196468 140730983999536 140368851989376 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4634] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4634/stat : 4634 (java) S 4621 4624 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62846535 14317654016 56861 18446744073709551615 4194304 4196468 140730983999536 140368850937680 140369375414171 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4635] ppid=4621 vsize=13982084 CPUtime=1.24 cores=0,2,4,6
/proc/4624/task/4635/stat : 4635 (java) S 4621 4624 18930 0 -1 1077944384 4052 0 0 0 124 0 0 0 20 0 15 0 62846535 14317654016 56861 18446744073709551615 4194304 4196468 140730983999536 140368849886064 140369375406722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4636] ppid=4621 vsize=13982084 CPUtime=1.23 cores=0,2,4,6
/proc/4624/task/4636/stat : 4636 (java) S 4621 4624 18930 0 -1 1077944384 5359 0 0 0 122 1 0 0 20 0 15 0 62846535 14317654016 56861 18446744073709551615 4194304 4196468 140730983999536 140368848833264 140369375406722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4637] ppid=4621 vsize=13982084 CPUtime=0.79 cores=0,2,4,6
/proc/4624/task/4637/stat : 4637 (java) S 4621 4624 18930 0 -1 1077944384 6536 0 0 0 78 1 0 0 20 0 15 0 62846536 14317654016 56861 18446744073709551615 4194304 4196468 140730983999536 140368847780464 140369375406722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4638] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4638/stat : 4638 (java) S 4621 4624 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62846536 14317654016 56861 18446744073709551615 4194304 4196468 140730983999536 140368846727904 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4639] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4639/stat : 4639 (java) S 4621 4624 18930 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 62846540 14317654016 56861 18446744073709551615 4194304 4196468 140730983999536 140368845675184 140369375406722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 13982084

[startup+6.30061 s]
/proc/loadavg: 1.69 1.54 1.55 3/213 4639
/proc/meminfo: memFree=30940120/32770624 swapFree=0/229068
[pid=4624] ppid=4621 vsize=13982084 CPUtime=9.54 cores=0,2,4,6
/proc/4624/stat : 4624 (java) S 4621 4624 18930 0 -1 1077944320 34315 0 0 0 940 14 0 0 20 0 15 0 62846519 14317654016 58415 18446744073709551615 4194304 4196468 140730983999536 140730983982080 140369375395575 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 11 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
/proc/4624/statm: 3495521 58415 3778 1 0 3484303 0
[pid=4624/tid=4626] ppid=4621 vsize=13982084 CPUtime=6.08 cores=0,2,4,6
/proc/4624/task/4626/stat : 4626 (java) R 4621 4624 18930 0 -1 4202560 15730 0 0 0 599 9 0 0 20 0 15 0 62846530 14317654016 58415 18446744073709551615 4194304 4196468 140730983999536 140369379625232 140369019444790 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4627] ppid=4621 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/4624/task/4627/stat : 4627 (java) S 4621 4624 18930 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 15 0 62846531 14317654016 58415 18446744073709551615 4194304 4196468 140730983999536 140369332362384 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4628] ppid=4621 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/4624/task/4628/stat : 4628 (java) S 4621 4624 18930 0 -1 1077944384 246 0 0 0 1 0 0 0 20 0 15 0 62846531 14317654016 58415 18446744073709551615 4194304 4196468 140730983999536 140369331309584 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4629] ppid=4621 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/4624/task/4629/stat : 4629 (java) S 4621 4624 18930 0 -1 1077944384 183 0 0 0 1 0 0 0 20 0 15 0 62846531 14317654016 58415 18446744073709551615 4194304 4196468 140730983999536 140369330256784 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4630] ppid=4621 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/4624/task/4630/stat : 4630 (java) S 4621 4624 18930 0 -1 1077944384 60 0 0 0 1 0 0 0 20 0 15 0 62846531 14317654016 58415 18446744073709551615 4194304 4196468 140730983999536 140368972802832 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4631] ppid=4621 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/4624/task/4631/stat : 4631 (java) S 4621 4624 18930 0 -1 1077944384 596 0 0 0 1 0 0 0 20 0 15 0 62846532 14317654016 58415 18446744073709551615 4194304 4196468 140730983999536 140368854096240 140369375406722 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4632] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4632/stat : 4632 (java) S 4621 4624 18930 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 62846533 14317654016 58415 18446744073709551615 4194304 4196468 140730983999536 140368853042272 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4633] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4633/stat : 4633 (java) S 4621 4624 18930 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 62846533 14317654016 58415 18446744073709551615 4194304 4196468 140730983999536 140368851989376 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4634] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4634/stat : 4634 (java) S 4621 4624 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62846535 14317654016 58415 18446744073709551615 4194304 4196468 140730983999536 140368850937680 140369375414171 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4635] ppid=4621 vsize=13982084 CPUtime=1.27 cores=0,2,4,6
/proc/4624/task/4635/stat : 4635 (java) S 4621 4624 18930 0 -1 1077944384 4058 0 0 0 127 0 0 0 20 0 15 0 62846535 14317654016 58415 18446744073709551615 4194304 4196468 140730983999536 140368849886064 140369375406722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4636] ppid=4621 vsize=13982084 CPUtime=1.27 cores=0,2,4,6
/proc/4624/task/4636/stat : 4636 (java) S 4621 4624 18930 0 -1 1077944384 5371 0 0 0 126 1 0 0 20 0 15 0 62846535 14317654016 58415 18446744073709551615 4194304 4196468 140730983999536 140368848833264 140369375406722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4637] ppid=4621 vsize=13982084 CPUtime=0.8 cores=0,2,4,6
/proc/4624/task/4637/stat : 4637 (java) S 4621 4624 18930 0 -1 1077944384 6576 0 0 0 79 1 0 0 20 0 15 0 62846536 14317654016 58415 18446744073709551615 4194304 4196468 140730983999536 140368847780464 140369375406722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4638] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4638/stat : 4638 (java) S 4621 4624 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62846536 14317654016 58415 18446744073709551615 4194304 4196468 140730983999536 140368846727904 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4639] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4639/stat : 4639 (java) S 4621 4624 18930 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 62846540 14317654016 58415 18446744073709551615 4194304 4196468 140730983999536 140368845675184 140369375406722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
Current children cumulated CPU time (s) 9.54
Current children cumulated vsize (KiB) 13982084

[startup+12.7007 s]
/proc/loadavg: 1.72 1.55 1.55 3/213 4639
/proc/meminfo: memFree=30875820/32770624 swapFree=0/229084
[pid=4624] ppid=4621 vsize=13982084 CPUtime=17.36 cores=0,2,4,6
/proc/4624/stat : 4624 (java) S 4621 4624 18930 0 -1 1077944320 44800 0 0 0 1717 19 0 0 20 0 15 0 62846519 14317654016 75501 18446744073709551615 4194304 4196468 140730983999536 140730983982080 140369375395575 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 11 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
/proc/4624/statm: 3495521 75501 3804 1 0 3484303 0
[pid=4624/tid=4626] ppid=4621 vsize=13982084 CPUtime=12.42 cores=0,2,4,6
/proc/4624/task/4626/stat : 4626 (java) R 4621 4624 18930 0 -1 4202560 17937 0 0 0 1232 10 0 0 20 0 15 0 62846530 14317654016 75501 18446744073709551615 4194304 4196468 140730983999536 140369379630616 140369019156323 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4627] ppid=4621 vsize=13982084 CPUtime=0.06 cores=0,2,4,6
/proc/4624/task/4627/stat : 4627 (java) S 4621 4624 18930 0 -1 1077944384 266 0 0 0 5 1 0 0 20 0 15 0 62846531 14317654016 75501 18446744073709551615 4194304 4196468 140730983999536 140369332362384 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4628] ppid=4621 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/4624/task/4628/stat : 4628 (java) S 4621 4624 18930 0 -1 1077944384 641 0 0 0 3 1 0 0 20 0 15 0 62846531 14317654016 75501 18446744073709551615 4194304 4196468 140730983999536 140369331309584 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4629] ppid=4621 vsize=13982084 CPUtime=0.05 cores=0,2,4,6
/proc/4624/task/4629/stat : 4629 (java) S 4621 4624 18930 0 -1 1077944384 316 0 0 0 4 1 0 0 20 0 15 0 62846531 14317654016 75501 18446744073709551615 4194304 4196468 140730983999536 140369330256784 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4630] ppid=4621 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/4624/task/4630/stat : 4630 (java) S 4621 4624 18930 0 -1 1077944384 1208 0 0 0 4 0 0 0 20 0 15 0 62846531 14317654016 75501 18446744073709551615 4194304 4196468 140730983999536 140368972802832 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4631] ppid=4621 vsize=13982084 CPUtime=0.02 cores=0,2,4,6
/proc/4624/task/4631/stat : 4631 (java) S 4621 4624 18930 0 -1 1077944384 901 0 0 0 2 0 0 0 20 0 15 0 62846532 14317654016 75501 18446744073709551615 4194304 4196468 140730983999536 140368854096240 140369375406722 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4632] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4632/stat : 4632 (java) S 4621 4624 18930 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 62846533 14317654016 75501 18446744073709551615 4194304 4196468 140730983999536 140368853042272 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4633] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4633/stat : 4633 (java) S 4621 4624 18930 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 62846533 14317654016 75501 18446744073709551615 4194304 4196468 140730983999536 140368851989376 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4634] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4634/stat : 4634 (java) S 4621 4624 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62846535 14317654016 75501 18446744073709551615 4194304 4196468 140730983999536 140368850937680 140369375414171 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0

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

/proc/4624/task/4638/stat : 4638 (java) S 4621 4624 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62846536 14317654016 115569 18446744073709551615 4194304 4196468 140730983999536 140368846727904 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4639] ppid=4621 vsize=13982084 CPUtime=0.02 cores=0,2,4,6
/proc/4624/task/4639/stat : 4639 (java) S 4621 4624 18930 0 -1 1077944384 145 0 0 0 1 1 0 0 20 0 15 0 62846540 14317654016 115569 18446744073709551615 4194304 4196468 140730983999536 140368845675184 140369375406722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
Current children cumulated CPU time (s) 57.35
Current children cumulated vsize (KiB) 13982084

[startup+102.301 s]
/proc/loadavg: 1.39 1.47 1.52 3/214 4643
/proc/meminfo: memFree=30715908/32770624 swapFree=0/229144
[pid=4624] ppid=4621 vsize=13982084 CPUtime=110.2 cores=0,2,4,6
/proc/4624/stat : 4624 (java) S 4621 4624 18930 0 -1 1077944320 74326 0 0 0 10974 46 0 0 20 0 15 0 62846519 14317654016 109083 18446744073709551615 4194304 4196468 140730983999536 140730983982080 140369375395575 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 11 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
/proc/4624/statm: 3495521 109083 3808 1 0 3484303 0
[pid=4624/tid=4626] ppid=4621 vsize=13982084 CPUtime=101.09 cores=0,2,4,6
/proc/4624/task/4626/stat : 4626 (java) R 4621 4624 18930 0 -1 4202560 23441 0 0 0 10093 16 0 0 20 0 15 0 62846530 14317654016 109083 18446744073709551615 4194304 4196468 140730983999536 140369379632672 140369020415458 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4627] ppid=4621 vsize=13982084 CPUtime=0.73 cores=0,2,4,6
/proc/4624/task/4627/stat : 4627 (java) S 4621 4624 18930 0 -1 1077944384 1746 0 0 0 68 5 0 0 20 0 15 0 62846531 14317654016 109083 18446744073709551615 4194304 4196468 140730983999536 140369332362384 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4628] ppid=4621 vsize=13982084 CPUtime=0.72 cores=0,2,4,6
/proc/4624/task/4628/stat : 4628 (java) S 4621 4624 18930 0 -1 1077944384 1285 0 0 0 67 5 0 0 20 0 15 0 62846531 14317654016 109083 18446744073709551615 4194304 4196468 140730983999536 140369331309584 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4629] ppid=4621 vsize=13982084 CPUtime=0.73 cores=0,2,4,6
/proc/4624/task/4629/stat : 4629 (java) S 4621 4624 18930 0 -1 1077944384 1340 0 0 0 68 5 0 0 20 0 15 0 62846531 14317654016 109083 18446744073709551615 4194304 4196468 140730983999536 140369330256784 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4630] ppid=4621 vsize=13982084 CPUtime=0.72 cores=0,2,4,6
/proc/4624/task/4630/stat : 4630 (java) S 4621 4624 18930 0 -1 1077944384 1862 0 0 0 68 4 0 0 20 0 15 0 62846531 14317654016 109083 18446744073709551615 4194304 4196468 140730983999536 140368972802832 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4631] ppid=4621 vsize=13982084 CPUtime=0.17 cores=0,2,4,6
/proc/4624/task/4631/stat : 4631 (java) S 4621 4624 18930 0 -1 1077944384 1671 0 0 0 14 3 0 0 20 0 15 0 62846532 14317654016 109083 18446744073709551615 4194304 4196468 140730983999536 140368854096240 140369375406722 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4632] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4632/stat : 4632 (java) S 4621 4624 18930 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 62846533 14317654016 109083 18446744073709551615 4194304 4196468 140730983999536 140368853042272 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4633] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4633/stat : 4633 (java) S 4621 4624 18930 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 62846533 14317654016 109083 18446744073709551615 4194304 4196468 140730983999536 140368851989376 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4634] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4634/stat : 4634 (java) S 4621 4624 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62846535 14317654016 109083 18446744073709551615 4194304 4196468 140730983999536 140368850937680 140369375414171 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4635] ppid=4621 vsize=13982084 CPUtime=2.3 cores=0,2,4,6
/proc/4624/task/4635/stat : 4635 (java) S 4621 4624 18930 0 -1 1077944384 11386 0 0 0 229 1 0 0 20 0 15 0 62846535 14317654016 109083 18446744073709551615 4194304 4196468 140730983999536 140368849886064 140369375406722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4636] ppid=4621 vsize=13982084 CPUtime=2.51 cores=0,2,4,6
/proc/4624/task/4636/stat : 4636 (java) S 4621 4624 18930 0 -1 1077944384 15610 0 0 0 249 2 0 0 20 0 15 0 62846535 14317654016 109083 18446744073709551615 4194304 4196468 140730983999536 140368848833264 140369375406722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4637] ppid=4621 vsize=13982084 CPUtime=1.08 cores=0,2,4,6
/proc/4624/task/4637/stat : 4637 (java) S 4621 4624 18930 0 -1 1077944384 14382 0 0 0 106 2 0 0 20 0 15 0 62846536 14317654016 109083 18446744073709551615 4194304 4196468 140730983999536 140368847780464 140369375406722 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4638] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4638/stat : 4638 (java) S 4621 4624 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62846536 14317654016 109083 18446744073709551615 4194304 4196468 140730983999536 140368846727904 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4639] ppid=4621 vsize=13982084 CPUtime=0.05 cores=0,2,4,6
/proc/4624/task/4639/stat : 4639 (java) S 4621 4624 18930 0 -1 1077944384 174 0 0 0 3 2 0 0 20 0 15 0 62846540 14317654016 109083 18446744073709551615 4194304 4196468 140730983999536 140368845675184 140369375406722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
Current children cumulated CPU time (s) 110.2
Current children cumulated vsize (KiB) 13982084

[startup+162.301 s]
/proc/loadavg: 1.60 1.51 1.53 3/214 4798
/proc/meminfo: memFree=30895356/32770624 swapFree=0/229232
[pid=4624] ppid=4621 vsize=13982084 CPUtime=171.95 cores=0,2,4,6
/proc/4624/stat : 4624 (java) S 4621 4624 18930 0 -1 1077944320 89371 0 0 0 17127 68 0 0 20 0 15 0 62846519 14317654016 159587 18446744073709551615 4194304 4196468 140730983999536 140730983982080 140369375395575 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 11 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
/proc/4624/statm: 3495521 159587 3808 1 0 3484303 0
[pid=4624/tid=4626] ppid=4621 vsize=13982084 CPUtime=160.43 cores=0,2,4,6
/proc/4624/task/4626/stat : 4626 (java) R 4621 4624 18930 0 -1 4202560 27590 0 0 0 16024 19 0 0 20 0 15 0 62846530 14317654016 159587 18446744073709551615 4194304 4196468 140730983999536 140369379632976 140369020457896 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4627] ppid=4621 vsize=13982084 CPUtime=1.21 cores=0,2,4,6
/proc/4624/task/4627/stat : 4627 (java) S 4621 4624 18930 0 -1 1077944384 2263 0 0 0 112 9 0 0 20 0 15 0 62846531 14317654016 159587 18446744073709551615 4194304 4196468 140730983999536 140369332362384 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4628] ppid=4621 vsize=13982084 CPUtime=1.2 cores=0,2,4,6
/proc/4624/task/4628/stat : 4628 (java) S 4621 4624 18930 0 -1 1077944384 2034 0 0 0 111 9 0 0 20 0 15 0 62846531 14317654016 159587 18446744073709551615 4194304 4196468 140730983999536 140369331309584 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4629] ppid=4621 vsize=13982084 CPUtime=1.21 cores=0,2,4,6
/proc/4624/task/4629/stat : 4629 (java) S 4621 4624 18930 0 -1 1077944384 1877 0 0 0 112 9 0 0 20 0 15 0 62846531 14317654016 159587 18446744073709551615 4194304 4196468 140730983999536 140369330256784 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4630] ppid=4621 vsize=13982084 CPUtime=1.19 cores=0,2,4,6
/proc/4624/task/4630/stat : 4630 (java) S 4621 4624 18930 0 -1 1077944384 2859 0 0 0 111 8 0 0 20 0 15 0 62846531 14317654016 159587 18446744073709551615 4194304 4196468 140730983999536 140368972802832 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4631] ppid=4621 vsize=13982084 CPUtime=0.26 cores=0,2,4,6
/proc/4624/task/4631/stat : 4631 (java) S 4621 4624 18930 0 -1 1077944384 2007 0 0 0 22 4 0 0 20 0 15 0 62846532 14317654016 159587 18446744073709551615 4194304 4196468 140730983999536 140368854096240 140369375406722 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4632] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4632/stat : 4632 (java) S 4621 4624 18930 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 62846533 14317654016 159587 18446744073709551615 4194304 4196468 140730983999536 140368853042272 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4633] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4633/stat : 4633 (java) S 4621 4624 18930 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 62846533 14317654016 159587 18446744073709551615 4194304 4196468 140730983999536 140368851989376 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4634] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4634/stat : 4634 (java) S 4621 4624 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62846535 14317654016 159587 18446744073709551615 4194304 4196468 140730983999536 140368850937680 140369375414171 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4635] ppid=4621 vsize=13982084 CPUtime=2.39 cores=0,2,4,6
/proc/4624/task/4635/stat : 4635 (java) S 4621 4624 18930 0 -1 1077944384 12564 0 0 0 238 1 0 0 20 0 15 0 62846535 14317654016 159587 18446744073709551615 4194304 4196468 140730983999536 140368849886064 140369375406722 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4636] ppid=4621 vsize=13982084 CPUtime=2.77 cores=0,2,4,6
/proc/4624/task/4636/stat : 4636 (java) S 4621 4624 18930 0 -1 1077944384 19592 0 0 0 275 2 0 0 20 0 15 0 62846535 14317654016 159587 18446744073709551615 4194304 4196468 140730983999536 140368848833264 140369375406722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4637] ppid=4621 vsize=13982084 CPUtime=1.1 cores=0,2,4,6
/proc/4624/task/4637/stat : 4637 (java) S 4621 4624 18930 0 -1 1077944384 16870 0 0 0 108 2 0 0 20 0 15 0 62846536 14317654016 159587 18446744073709551615 4194304 4196468 140730983999536 140368847780464 140369375406722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4638] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4638/stat : 4638 (java) S 4621 4624 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62846536 14317654016 159587 18446744073709551615 4194304 4196468 140730983999536 140368846727904 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4639] ppid=4621 vsize=13982084 CPUtime=0.09 cores=0,2,4,6
/proc/4624/task/4639/stat : 4639 (java) S 4621 4624 18930 0 -1 1077944384 286 0 0 0 5 4 0 0 20 0 15 0 62846540 14317654016 159587 18446744073709551615 4194304 4196468 140730983999536 140368845675184 140369375406722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
Current children cumulated CPU time (s) 171.95
Current children cumulated vsize (KiB) 13982084

[startup+222.307 s]
/proc/loadavg: 1.86 1.62 1.57 6/214 4800
/proc/meminfo: memFree=29557752/32770624 swapFree=0/229300
[pid=4624] ppid=4621 vsize=13982084 CPUtime=233.61 cores=0,2,4,6
/proc/4624/stat : 4624 (java) S 4621 4624 18930 0 -1 1077944320 101550 0 0 0 23280 81 0 0 20 0 15 0 62846519 14317654016 165493 18446744073709551615 4194304 4196468 140730983999536 140730983982080 140369375395575 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 11 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
/proc/4624/statm: 3495521 165493 3813 1 0 3484303 0
[pid=4624/tid=4626] ppid=4621 vsize=13982084 CPUtime=219.84 cores=0,2,4,6
/proc/4624/task/4626/stat : 4626 (java) R 4621 4624 18930 0 -1 4202560 29877 0 0 0 21964 20 0 0 20 0 15 0 62846530 14317654016 165493 18446744073709551615 4194304 4196468 140730983999536 140369379633840 140369016963254 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4627] ppid=4621 vsize=13982084 CPUtime=1.63 cores=0,2,4,6
/proc/4624/task/4627/stat : 4627 (java) S 4621 4624 18930 0 -1 1077944384 2907 0 0 0 152 11 0 0 20 0 15 0 62846531 14317654016 165493 18446744073709551615 4194304 4196468 140730983999536 140369332362384 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4628] ppid=4621 vsize=13982084 CPUtime=1.62 cores=0,2,4,6
/proc/4624/task/4628/stat : 4628 (java) S 4621 4624 18930 0 -1 1077944384 2474 0 0 0 151 11 0 0 20 0 15 0 62846531 14317654016 165493 18446744073709551615 4194304 4196468 140730983999536 140369331309584 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4629] ppid=4621 vsize=13982084 CPUtime=1.63 cores=0,2,4,6
/proc/4624/task/4629/stat : 4629 (java) S 4621 4624 18930 0 -1 1077944384 2761 0 0 0 152 11 0 0 20 0 15 0 62846531 14317654016 165493 18446744073709551615 4194304 4196468 140730983999536 140369330256784 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4630] ppid=4621 vsize=13982084 CPUtime=1.61 cores=0,2,4,6
/proc/4624/task/4630/stat : 4630 (java) S 4621 4624 18930 0 -1 1077944384 3334 0 0 0 151 10 0 0 20 0 15 0 62846531 14317654016 165493 18446744073709551615 4194304 4196468 140730983999536 140368972802832 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4631] ppid=4621 vsize=13982084 CPUtime=0.35 cores=0,2,4,6
/proc/4624/task/4631/stat : 4631 (java) S 4621 4624 18930 0 -1 1077944384 2258 0 0 0 29 6 0 0 20 0 15 0 62846532 14317654016 165493 18446744073709551615 4194304 4196468 140730983999536 140368854096240 140369375406722 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4632] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4632/stat : 4632 (java) S 4621 4624 18930 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 62846533 14317654016 165493 18446744073709551615 4194304 4196468 140730983999536 140368853042272 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4633] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4633/stat : 4633 (java) S 4621 4624 18930 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 62846533 14317654016 165493 18446744073709551615 4194304 4196468 140730983999536 140368851989376 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4634] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4634/stat : 4634 (java) S 4621 4624 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62846535 14317654016 165493 18446744073709551615 4194304 4196468 140730983999536 140368850937680 140369375414171 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4635] ppid=4621 vsize=13982084 CPUtime=2.64 cores=0,2,4,6
/proc/4624/task/4635/stat : 4635 (java) S 4621 4624 18930 0 -1 1077944384 16064 0 0 0 262 2 0 0 20 0 15 0 62846535 14317654016 165493 18446744073709551615 4194304 4196468 140730983999536 140368849886064 140369375406722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4636] ppid=4621 vsize=13982084 CPUtime=2.96 cores=0,2,4,6
/proc/4624/task/4636/stat : 4636 (java) S 4621 4624 18930 0 -1 1077944384 21845 0 0 0 293 3 0 0 20 0 15 0 62846535 14317654016 165493 18446744073709551615 4194304 4196468 140730983999536 140368848833264 140369375406722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4637] ppid=4621 vsize=13982084 CPUtime=1.11 cores=0,2,4,6
/proc/4624/task/4637/stat : 4637 (java) S 4621 4624 18930 0 -1 1077944384 18282 0 0 0 109 2 0 0 20 0 15 0 62846536 14317654016 165493 18446744073709551615 4194304 4196468 140730983999536 140368847780464 140369375406722 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4638] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4638/stat : 4638 (java) S 4621 4624 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62846536 14317654016 165493 18446744073709551615 4194304 4196468 140730983999536 140368846727904 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4639] ppid=4621 vsize=13982084 CPUtime=0.13 cores=0,2,4,6
/proc/4624/task/4639/stat : 4639 (java) S 4621 4624 18930 0 -1 1077944384 311 0 0 0 7 6 0 0 20 0 15 0 62846540 14317654016 165493 18446744073709551615 4194304 4196468 140730983999536 140368845675184 140369375406722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
Current children cumulated CPU time (s) 233.61
Current children cumulated vsize (KiB) 13982084



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.76 1.61 1.56 3/214 4800
/proc/meminfo: memFree=29584840/32770624 swapFree=0/229308
[pid=4624] ppid=4621 vsize=13982084 CPUtime=251.74 cores=0,2,4,6
/proc/4624/stat : 4624 (java) S 4621 4624 18930 0 -1 1077944320 102443 0 0 0 25088 86 0 0 20 0 15 0 62846519 14317654016 164714 18446744073709551615 4194304 4196468 140730983999536 140730983982080 140369375395575 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 11 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
/proc/4624/statm: 3495521 164714 3813 1 0 3484303 0
[pid=4624/tid=4626] ppid=4621 vsize=13982084 CPUtime=237.35 cores=0,2,4,6
/proc/4624/task/4626/stat : 4626 (java) R 4621 4624 18930 0 -1 4202560 30673 0 0 0 23714 21 0 0 20 0 15 0 62846530 14317654016 164714 18446744073709551615 4194304 4196468 140730983999536 140369379633840 140369020505807 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4627] ppid=4621 vsize=13982084 CPUtime=1.77 cores=0,2,4,6
/proc/4624/task/4627/stat : 4627 (java) S 4621 4624 18930 0 -1 1077944384 2931 0 0 0 166 11 0 0 20 0 15 0 62846531 14317654016 164714 18446744073709551615 4194304 4196468 140730983999536 140369332362384 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4628] ppid=4621 vsize=13982084 CPUtime=1.77 cores=0,2,4,6
/proc/4624/task/4628/stat : 4628 (java) S 4621 4624 18930 0 -1 1077944384 2501 0 0 0 165 12 0 0 20 0 15 0 62846531 14317654016 164714 18446744073709551615 4194304 4196468 140730983999536 140369331309584 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4629] ppid=4621 vsize=13982084 CPUtime=1.78 cores=0,2,4,6
/proc/4624/task/4629/stat : 4629 (java) S 4621 4624 18930 0 -1 1077944384 2784 0 0 0 166 12 0 0 20 0 15 0 62846531 14317654016 164714 18446744073709551615 4194304 4196468 140730983999536 140369330256784 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4630] ppid=4621 vsize=13982084 CPUtime=1.76 cores=0,2,4,6
/proc/4624/task/4630/stat : 4630 (java) S 4621 4624 18930 0 -1 1077944384 3357 0 0 0 165 11 0 0 20 0 15 0 62846531 14317654016 164714 18446744073709551615 4194304 4196468 140730983999536 140368972802832 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4631] ppid=4621 vsize=13982084 CPUtime=0.38 cores=0,2,4,6
/proc/4624/task/4631/stat : 4631 (java) S 4621 4624 18930 0 -1 1077944384 2258 0 0 0 31 7 0 0 20 0 15 0 62846532 14317654016 164714 18446744073709551615 4194304 4196468 140730983999536 140368854096240 140369375406722 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4632] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4632/stat : 4632 (java) S 4621 4624 18930 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 62846533 14317654016 164714 18446744073709551615 4194304 4196468 140730983999536 140368853042272 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4633] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4633/stat : 4633 (java) S 4621 4624 18930 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 62846533 14317654016 164714 18446744073709551615 4194304 4196468 140730983999536 140368851989376 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4634] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4634/stat : 4634 (java) S 4621 4624 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62846535 14317654016 164714 18446744073709551615 4194304 4196468 140730983999536 140368850937680 140369375414171 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4635] ppid=4621 vsize=13982084 CPUtime=2.64 cores=0,2,4,6
/proc/4624/task/4635/stat : 4635 (java) S 4621 4624 18930 0 -1 1077944384 16064 0 0 0 262 2 0 0 20 0 15 0 62846535 14317654016 164714 18446744073709551615 4194304 4196468 140730983999536 140368849886064 140369375406722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4636] ppid=4621 vsize=13982084 CPUtime=2.96 cores=0,2,4,6
/proc/4624/task/4636/stat : 4636 (java) S 4621 4624 18930 0 -1 1077944384 21845 0 0 0 293 3 0 0 20 0 15 0 62846535 14317654016 164714 18446744073709551615 4194304 4196468 140730983999536 140368848833264 140369375406722 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4637] ppid=4621 vsize=13982084 CPUtime=1.11 cores=0,2,4,6
/proc/4624/task/4637/stat : 4637 (java) S 4621 4624 18930 0 -1 1077944384 18282 0 0 0 109 2 0 0 20 0 15 0 62846536 14317654016 164714 18446744073709551615 4194304 4196468 140730983999536 140368847780464 140369375406722 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4638] ppid=4621 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/4624/task/4638/stat : 4638 (java) S 4621 4624 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62846536 14317654016 164714 18446744073709551615 4194304 4196468 140730983999536 140368846727904 140369375405781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
[pid=4624/tid=4639] ppid=4621 vsize=13982084 CPUtime=0.14 cores=0,2,4,6
/proc/4624/task/4639/stat : 4639 (java) S 4621 4624 18930 0 -1 1077944384 311 0 0 0 8 6 0 0 20 0 15 0 62846540 14317654016 164714 18446744073709551615 4194304 4196468 140730983999536 140368845675184 140369375406722 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22638592 140730984001941 140730984002122 140730984002122 140730984005583 0
Current children cumulated CPU time (s) 251.74
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 4624 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.029
CPU time (s): 251.773
CPU user time (s): 250.9
CPU system time (s): 0.873576
CPU usage (%): 104.893
Max. virtual memory (cumulated for all children) (KiB): 13982084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.9
system time used= 0.873576
maximum resident set size= 666112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102649
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= 18237
involuntary context switches= 993

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.39772 second user time and 1.18269 second system time

The end

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

Trace number 4256572

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