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

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - ALNS 2017-07-26	SAT (TO)	184	251.246	240.033

0.21/0.40	c version: 2017-07-26
0.21/0.68	c seed: 50866998
0.21/0.68	c timeout: 264
0.21/0.68	c memlimit: 11000
0.21/0.68	c nbcore: 4
0.21/0.68	c Parsing instance...
2.72/1.35	c Parsing done, starting search...
3.04/1.42	o 20540
3.65/1.67	o 17576
3.65/1.68	o 12948
4.90/2.09	o 11056
5.52/2.24	o 1436
10.16/5.65	o 1344
14.26/9.31	o 928
14.26/9.37	o 688
14.56/9.62	o 664
17.45/12.27	o 640
18.97/13.72	o 636
21.38/15.93	o 608
21.69/16.23	o 576
21.79/16.35	o 548
22.41/16.98	o 436
23.52/18.01	o 392
31.94/26.22	o 328
53.47/47.31	o 228
62.83/56.56	o 212
68.73/62.34	o 184
251.21/240.00	s SATISFIABLE
251.21/240.00	v <instantiation>
251.21/240.00	v 	<list>
251.21/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] 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.21/240.00	v 	</list>
251.21/240.00	v 	<values>
251.21/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 -3 -2 -5 0 -1 2 -1 2 1 0 1 -2 -3 -2 1 -4 -1 -2 1 -2 -1 -2 5 0 -1 -2 -1 2 -1 4 3 -2 1 -2 1 0 -3 2 -1 9 4 25 0 1 4 1 4 1 0 1 4 9 4 1 16 1 4 1 4 1 4 25 0 1 4 1 4 1 16 9 4 1 4 1 0 9 4 1 
251.21/240.00	v 	</values>
251.21/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-4255577-1501633888/watcher-4255577-1501633888 -o /tmp/evaluation-result-4255577-1501633888/solver-4255577-1501633888 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501622883-15276 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 50866998 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255577-1501633888.xml 

pid=22489
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.90 1.68 1.58 3/194 22492
/proc/meminfo: memFree=30745496/32770624 swapFree=0/945104
[pid=22492] ppid=22489 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/22492/stat : 22492 (runsolver) D 22489 22492 5678 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 12013488 24240128 108 18446744073709551615 4194304 4338465 140723238223936 140723238221576 139669363094231 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 30990336 140723238228078 140723238228550 140723238228550 140723238232010 0
/proc/22492/statm: 5918 108 54 36 0 2156 0

[startup+0.100061 s]
/proc/loadavg: 1.90 1.68 1.58 3/194 22492
/proc/meminfo: memFree=30745496/32770624 swapFree=0/945104
[pid=22492] ppid=22489 vsize=107352 CPUtime=0 cores=0,2,4,6
/proc/22492/stat : 22492 (java) S 22489 22492 5678 0 -1 1077944320 1672 0 0 0 0 0 0 0 20 0 2 0 12013488 109928448 1358 18446744073709551615 4194304 4196468 140729016407344 140729016389888 140452696354551 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
/proc/22492/statm: 26838 1358 1022 1 0 16816 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 107352

[startup+0.200245 s]
/proc/loadavg: 1.90 1.68 1.58 3/194 22492
/proc/meminfo: memFree=30745496/32770624 swapFree=0/945104
[pid=22492] ppid=22489 vsize=13976388 CPUtime=0.05 cores=0,2,4,6
/proc/22492/stat : 22492 (java) S 22489 22492 5678 0 -1 1077944320 5187 0 0 0 5 0 0 0 20 0 15 0 12013488 14311821312 6207 18446744073709551615 4194304 4196468 140729016407344 140729016389888 140452696354551 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
/proc/22492/statm: 3494097 6207 3002 1 0 3482884 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13976388

[startup+0.300231 s]
/proc/loadavg: 1.90 1.68 1.58 3/194 22492
/proc/meminfo: memFree=30745496/32770624 swapFree=0/945104
[pid=22492] ppid=22489 vsize=13976944 CPUtime=0.21 cores=0,2,4,6
/proc/22492/stat : 22492 (java) S 22489 22492 5678 0 -1 1077944320 9650 0 0 0 18 3 0 0 20 0 15 0 12013488 14312390656 10020 18446744073709551615 4194304 4196468 140729016407344 140729016389888 140452696354551 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
/proc/22492/statm: 3493980 10020 3509 1 0 3482767 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 13976944

[startup+0.790565 s]
/proc/loadavg: 1.90 1.68 1.58 3/194 22492
/proc/meminfo: memFree=30745496/32770624 swapFree=0/945104
[pid=22492] ppid=22489 vsize=13977988 CPUtime=1.25 cores=0,2,4,6
/proc/22492/stat : 22492 (java) S 22489 22492 5678 0 -1 1077944320 13751 0 0 0 117 8 0 0 20 0 15 0 12013488 14313459712 18592 18446744073709551615 4194304 4196468 140729016407344 140729016389888 140452696354551 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
/proc/22492/statm: 3494497 18592 3733 1 0 3483279 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 13977988

[startup+1.50928 s]
/proc/loadavg: 1.90 1.68 1.58 5/209 22507
/proc/meminfo: memFree=30352868/32770624 swapFree=0/945068
[pid=22492] ppid=22489 vsize=13982084 CPUtime=3.36 cores=0,2,4,6
/proc/22492/stat : 22492 (java) S 22489 22492 5678 0 -1 1077944320 27087 0 0 0 322 14 0 0 20 0 15 0 12013488 14317654016 43505 18446744073709551615 4194304 4196468 140729016407344 140729016389888 140452696354551 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
/proc/22492/statm: 3495521 43505 3750 1 0 3484303 0
[pid=22492/tid=22494] ppid=22489 vsize=13982084 CPUtime=1.34 cores=0,2,4,6
/proc/22492/task/22494/stat : 22494 (java) R 22489 22492 5678 0 -1 4202560 13870 0 0 0 125 9 0 0 20 0 15 0 12013497 14317654016 43505 18446744073709551615 4194304 4196468 140729016407344 140452700588720 140452696375898 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22495] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22495/stat : 22495 (java) S 22489 22492 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12013498 14317654016 43505 18446744073709551615 4194304 4196468 140729016407344 140452615768720 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22496] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22496/stat : 22496 (java) S 22489 22492 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12013498 14317654016 43505 18446744073709551615 4194304 4196468 140729016407344 140452614715920 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22497] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22497/stat : 22497 (java) S 22489 22492 5678 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12013498 14317654016 43505 18446744073709551615 4194304 4196468 140729016407344 140452613663120 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22498] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22498/stat : 22498 (java) S 22489 22492 5678 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12013498 14317654016 43505 18446744073709551615 4194304 4196468 140729016407344 140452612610320 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22499] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22499/stat : 22499 (java) S 22489 22492 5678 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 12013499 14317654016 43505 18446744073709551615 4194304 4196468 140729016407344 140451613739888 140452696365698 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22500] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22500/stat : 22500 (java) S 22489 22492 5678 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12013500 14317654016 43505 18446744073709551615 4194304 4196468 140729016407344 140451612685856 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22501] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22501/stat : 22501 (java) S 22489 22492 5678 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12013500 14317654016 43505 18446744073709551615 4194304 4196468 140729016407344 140451611633008 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22502] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22502/stat : 22502 (java) S 22489 22492 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12013502 14317654016 43505 18446744073709551615 4194304 4196468 140729016407344 140451610581328 140452696373147 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22503] ppid=22489 vsize=13982084 CPUtime=0.62 cores=0,2,4,6
/proc/22492/task/22503/stat : 22503 (java) R 22489 22492 5678 0 -1 1077944384 3724 0 0 0 62 0 0 0 20 0 15 0 12013502 14317654016 43505 18446744073709551615 4194304 4196468 140729016407344 140451609527872 140452696364757 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22504] ppid=22489 vsize=13982084 CPUtime=0.6 cores=0,2,4,6
/proc/22492/task/22504/stat : 22504 (java) R 22489 22492 5678 0 -1 4202560 2826 0 0 0 59 1 0 0 20 0 15 0 12013503 14317654016 43505 18446744073709551615 4194304 4196468 140729016407344 140451608461088 140452696366486 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22505] ppid=22489 vsize=13982084 CPUtime=0.75 cores=0,2,4,6
/proc/22492/task/22505/stat : 22505 (java) R 22489 22492 5678 0 -1 4202560 5275 0 0 0 74 1 0 0 20 0 15 0 12013503 14317654016 43505 18446744073709551615 4194304 4196468 140729016407344 140451607420880 140452696366486 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22506] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22506/stat : 22506 (java) S 22489 22492 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12013503 14317654016 43505 18446744073709551615 4194304 4196468 140729016407344 140451606370528 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22507] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22507/stat : 22507 (java) S 22489 22492 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12013507 14317654016 43505 18446744073709551615 4194304 4196468 140729016407344 140451134827696 140452696365698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
Current children cumulated CPU time (s) 3.36
Current children cumulated vsize (KiB) 13982084

[startup+3.10063 s]
/proc/loadavg: 1.90 1.68 1.58 5/209 22507
/proc/meminfo: memFree=29732160/32770624 swapFree=0/945068
[pid=22492] ppid=22489 vsize=13982084 CPUtime=7.17 cores=0,2,4,6
/proc/22492/stat : 22492 (java) S 22489 22492 5678 0 -1 1077944320 33938 0 0 0 695 22 0 0 20 0 15 0 12013488 14317654016 94811 18446744073709551615 4194304 4196468 140729016407344 140729016389888 140452696354551 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
/proc/22492/statm: 3495521 94811 3803 1 0 3484303 0
[pid=22492/tid=22494] ppid=22489 vsize=13982084 CPUtime=2.87 cores=0,2,4,6
/proc/22492/task/22494/stat : 22494 (java) R 22489 22492 5678 0 -1 4202560 15286 0 0 0 275 12 0 0 20 0 15 0 12013497 14317654016 94811 18446744073709551615 4194304 4196468 140729016407344 140452700592304 140452301616433 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22495] ppid=22489 vsize=13982084 CPUtime=0.03 cores=0,2,4,6
/proc/22492/task/22495/stat : 22495 (java) S 22489 22492 5678 0 -1 1077944384 103 0 0 0 2 1 0 0 20 0 15 0 12013498 14317654016 94811 18446744073709551615 4194304 4196468 140729016407344 140452615768720 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22496] ppid=22489 vsize=13982084 CPUtime=0.03 cores=0,2,4,6
/proc/22492/task/22496/stat : 22496 (java) S 22489 22492 5678 0 -1 1077944384 277 0 0 0 2 1 0 0 20 0 15 0 12013498 14317654016 94811 18446744073709551615 4194304 4196468 140729016407344 140452614715920 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22497] ppid=22489 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/22492/task/22497/stat : 22497 (java) S 22489 22492 5678 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 15 0 12013498 14317654016 94811 18446744073709551615 4194304 4196468 140729016407344 140452613663120 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22498] ppid=22489 vsize=13982084 CPUtime=0.03 cores=0,2,4,6
/proc/22492/task/22498/stat : 22498 (java) S 22489 22492 5678 0 -1 1077944384 947 0 0 0 2 1 0 0 20 0 15 0 12013498 14317654016 94811 18446744073709551615 4194304 4196468 140729016407344 140452612610320 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22499] ppid=22489 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/22492/task/22499/stat : 22499 (java) S 22489 22492 5678 0 -1 1077944384 390 0 0 0 1 0 0 0 20 0 15 0 12013499 14317654016 94811 18446744073709551615 4194304 4196468 140729016407344 140451613739888 140452696365698 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22500] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22500/stat : 22500 (java) S 22489 22492 5678 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 12013500 14317654016 94811 18446744073709551615 4194304 4196468 140729016407344 140451612685920 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22501] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22501/stat : 22501 (java) S 22489 22492 5678 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 12013500 14317654016 94811 18446744073709551615 4194304 4196468 140729016407344 140451611633024 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22502] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22502/stat : 22502 (java) S 22489 22492 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12013502 14317654016 94811 18446744073709551615 4194304 4196468 140729016407344 140451610581328 140452696373147 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22503] ppid=22489 vsize=13982084 CPUtime=1.55 cores=0,2,4,6
/proc/22492/task/22503/stat : 22503 (java) S 22489 22492 5678 0 -1 1077944384 5541 0 0 0 155 0 0 0 20 0 15 0 12013502 14317654016 94811 18446744073709551615 4194304 4196468 140729016407344 140451609528688 140452696365698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22504] ppid=22489 vsize=13982084 CPUtime=1.66 cores=0,2,4,6
/proc/22492/task/22504/stat : 22504 (java) S 22489 22492 5678 0 -1 1077944384 4211 0 0 0 165 1 0 0 20 0 15 0 12013503 14317654016 94811 18446744073709551615 4194304 4196468 140729016407344 140451608475888 140452696365698 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22505] ppid=22489 vsize=13982084 CPUtime=0.89 cores=0,2,4,6
/proc/22492/task/22505/stat : 22505 (java) S 22489 22492 5678 0 -1 1077944384 5728 0 0 0 87 2 0 0 20 0 15 0 12013503 14317654016 94811 18446744073709551615 4194304 4196468 140729016407344 140451607423088 140452696365698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22506] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22506/stat : 22506 (java) S 22489 22492 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12013503 14317654016 94811 18446744073709551615 4194304 4196468 140729016407344 140451606370528 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22507] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22507/stat : 22507 (java) S 22489 22492 5678 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 12013507 14317654016 94811 18446744073709551615 4194304 4196468 140729016407344 140451134827696 140452696365698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
Current children cumulated CPU time (s) 7.17
Current children cumulated vsize (KiB) 13982084

[startup+6.30067 s]
/proc/loadavg: 1.99 1.70 1.59 3/209 22507
/proc/meminfo: memFree=29333628/32770624 swapFree=0/945068
[pid=22492] ppid=22489 vsize=13982084 CPUtime=10.97 cores=0,2,4,6
/proc/22492/stat : 22492 (java) S 22489 22492 5678 0 -1 1077944320 35167 0 0 0 1066 31 0 0 20 0 15 0 12013488 14317654016 163416 18446744073709551615 4194304 4196468 140729016407344 140729016389888 140452696354551 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
/proc/22492/statm: 3495521 163416 3807 1 0 3484303 0
[pid=22492/tid=22494] ppid=22489 vsize=13982084 CPUtime=6.02 cores=0,2,4,6
/proc/22492/task/22494/stat : 22494 (java) R 22489 22492 5678 0 -1 4202560 15530 0 0 0 587 15 0 0 20 0 15 0 12013497 14317654016 163416 18446744073709551615 4194304 4196468 140729016407344 140452700591112 140452301730823 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22495] ppid=22489 vsize=13982084 CPUtime=0.06 cores=0,2,4,6
/proc/22492/task/22495/stat : 22495 (java) S 22489 22492 5678 0 -1 1077944384 127 0 0 0 4 2 0 0 20 0 15 0 12013498 14317654016 163416 18446744073709551615 4194304 4196468 140729016407344 140452615768720 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22496] ppid=22489 vsize=13982084 CPUtime=0.08 cores=0,2,4,6
/proc/22492/task/22496/stat : 22496 (java) S 22489 22492 5678 0 -1 1077944384 300 0 0 0 5 3 0 0 20 0 15 0 12013498 14317654016 163416 18446744073709551615 4194304 4196468 140729016407344 140452614715920 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22497] ppid=22489 vsize=13982084 CPUtime=0.05 cores=0,2,4,6
/proc/22492/task/22497/stat : 22497 (java) S 22489 22492 5678 0 -1 1077944384 64 0 0 0 3 2 0 0 20 0 15 0 12013498 14317654016 163416 18446744073709551615 4194304 4196468 140729016407344 140452613663120 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22498] ppid=22489 vsize=13982084 CPUtime=0.06 cores=0,2,4,6
/proc/22492/task/22498/stat : 22498 (java) S 22489 22492 5678 0 -1 1077944384 973 0 0 0 4 2 0 0 20 0 15 0 12013498 14317654016 163416 18446744073709551615 4194304 4196468 140729016407344 140452612610320 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22499] ppid=22489 vsize=13982084 CPUtime=0.02 cores=0,2,4,6
/proc/22492/task/22499/stat : 22499 (java) S 22489 22492 5678 0 -1 1077944384 644 0 0 0 2 0 0 0 20 0 15 0 12013499 14317654016 163416 18446744073709551615 4194304 4196468 140729016407344 140451613739888 140452696365698 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22500] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22500/stat : 22500 (java) S 22489 22492 5678 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 12013500 14317654016 163416 18446744073709551615 4194304 4196468 140729016407344 140451612685920 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22501] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22501/stat : 22501 (java) S 22489 22492 5678 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 12013500 14317654016 163416 18446744073709551615 4194304 4196468 140729016407344 140451611633024 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22502] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22502/stat : 22502 (java) S 22489 22492 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12013502 14317654016 163416 18446744073709551615 4194304 4196468 140729016407344 140451610581328 140452696373147 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22503] ppid=22489 vsize=13982084 CPUtime=1.72 cores=0,2,4,6
/proc/22492/task/22503/stat : 22503 (java) R 22489 22492 5678 0 -1 4202560 5640 0 0 0 171 1 0 0 20 0 15 0 12013502 14317654016 163416 18446744073709551615 4194304 4196468 140729016407344 140451609528688 140452675532056 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22504] ppid=22489 vsize=13982084 CPUtime=1.92 cores=0,2,4,6
/proc/22492/task/22504/stat : 22504 (java) S 22489 22492 5678 0 -1 1077944384 4338 0 0 0 191 1 0 0 20 0 15 0 12013503 14317654016 163416 18446744073709551615 4194304 4196468 140729016407344 140451608475888 140452696365698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22505] ppid=22489 vsize=13982084 CPUtime=0.97 cores=0,2,4,6
/proc/22492/task/22505/stat : 22505 (java) S 22489 22492 5678 0 -1 1077944384 6100 0 0 0 95 2 0 0 20 0 15 0 12013503 14317654016 163416 18446744073709551615 4194304 4196468 140729016407344 140451607423088 140452696365698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22506] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22506/stat : 22506 (java) S 22489 22492 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12013503 14317654016 163416 18446744073709551615 4194304 4196468 140729016407344 140451606370528 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22507] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22507/stat : 22507 (java) S 22489 22492 5678 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 12013507 14317654016 163416 18446744073709551615 4194304 4196468 140729016407344 140451134827696 140452696365698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
Current children cumulated CPU time (s) 10.97
Current children cumulated vsize (KiB) 13982084

[startup+12.7006 s]
/proc/loadavg: 1.83 1.67 1.58 3/209 22507
/proc/meminfo: memFree=28065756/32770624 swapFree=0/945076
[pid=22492] ppid=22489 vsize=13982084 CPUtime=17.95 cores=0,2,4,6
/proc/22492/stat : 22492 (java) S 22489 22492 5678 0 -1 1077944320 37181 0 0 0 1739 56 0 0 20 0 15 0 12013488 14317654016 530193 18446744073709551615 4194304 4196468 140729016407344 140729016389888 140452696354551 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
/proc/22492/statm: 3495521 530193 3808 1 0 3484303 0
[pid=22492/tid=22494] ppid=22489 vsize=13982084 CPUtime=12.4 cores=0,2,4,6
/proc/22492/task/22494/stat : 22494 (java) R 22489 22492 5678 0 -1 4202560 16763 0 0 0 1203 37 0 0 20 0 15 0 12013497 14317654016 530193 18446744073709551615 4194304 4196468 140729016407344 140452700589864 140452302800533 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22495] ppid=22489 vsize=13982084 CPUtime=0.08 cores=0,2,4,6
/proc/22492/task/22495/stat : 22495 (java) S 22489 22492 5678 0 -1 1077944384 140 0 0 0 6 2 0 0 20 0 15 0 12013498 14317654016 530193 18446744073709551615 4194304 4196468 140729016407344 140452615768720 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22496] ppid=22489 vsize=13982084 CPUtime=0.09 cores=0,2,4,6
/proc/22492/task/22496/stat : 22496 (java) S 22489 22492 5678 0 -1 1077944384 310 0 0 0 6 3 0 0 20 0 15 0 12013498 14317654016 530193 18446744073709551615 4194304 4196468 140729016407344 140452614715920 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22497] ppid=22489 vsize=13982084 CPUtime=0.07 cores=0,2,4,6
/proc/22492/task/22497/stat : 22497 (java) S 22489 22492 5678 0 -1 1077944384 79 0 0 0 5 2 0 0 20 0 15 0 12013498 14317654016 530193 18446744073709551615 4194304 4196468 140729016407344 140452613663120 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22498] ppid=22489 vsize=13982084 CPUtime=0.08 cores=0,2,4,6
/proc/22492/task/22498/stat : 22498 (java) S 22489 22492 5678 0 -1 1077944384 1015 0 0 0 5 3 0 0 20 0 15 0 12013498 14317654016 530193 18446744073709551615 4194304 4196468 140729016407344 140452612610320 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22499] ppid=22489 vsize=13982084 CPUtime=0.02 cores=0,2,4,6
/proc/22492/task/22499/stat : 22499 (java) S 22489 22492 5678 0 -1 1077944384 1152 0 0 0 2 0 0 0 20 0 15 0 12013499 14317654016 530193 18446744073709551615 4194304 4196468 140729016407344 140451613739888 140452696365698 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22500] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22500/stat : 22500 (java) S 22489 22492 5678 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 12013500 14317654016 530193 18446744073709551615 4194304 4196468 140729016407344 140451612685920 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22501] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22501/stat : 22501 (java) S 22489 22492 5678 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 12013500 14317654016 530193 18446744073709551615 4194304 4196468 140729016407344 140451611633024 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22502] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22502/stat : 22502 (java) S 22489 22492 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12013502 14317654016 530193 18446744073709551615 4194304 4196468 140729016407344 140451610581328 140452696373147 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0

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

/proc/22492/task/22506/stat : 22506 (java) S 22489 22492 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12013503 14317654016 554086 18446744073709551615 4194304 4196468 140729016407344 140451606370528 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22507] ppid=22489 vsize=13982084 CPUtime=0.06 cores=0,2,4,6
/proc/22492/task/22507/stat : 22507 (java) S 22489 22492 5678 0 -1 1077944384 110 0 0 0 2 4 0 0 20 0 15 0 12013507 14317654016 554086 18446744073709551615 4194304 4196468 140729016407344 140451134827696 140452696365698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
Current children cumulated CPU time (s) 109.74
Current children cumulated vsize (KiB) 13982084

[startup+162.301 s]
/proc/loadavg: 1.45 1.57 1.55 3/209 22517
/proc/meminfo: memFree=27671484/32770624 swapFree=0/945184
[pid=22492] ppid=22489 vsize=13982084 CPUtime=171.32 cores=0,2,4,6
/proc/22492/stat : 22492 (java) S 22489 22492 5678 0 -1 1077944320 67943 0 0 0 17019 113 0 0 20 0 15 0 12013488 14317654016 567438 18446744073709551615 4194304 4196468 140729016407344 140729016389888 140452696354551 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
/proc/22492/statm: 3495521 567438 3809 1 0 3484303 0
[pid=22492/tid=22494] ppid=22489 vsize=13982084 CPUtime=160.75 cores=0,2,4,6
/proc/22492/task/22494/stat : 22494 (java) R 22489 22492 5678 0 -1 4202560 24481 0 0 0 16036 39 0 0 20 0 15 0 12013497 14317654016 567438 18446744073709551615 4194304 4196468 140729016407344 140452700591984 140452304423215 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22495] ppid=22489 vsize=13982084 CPUtime=1.06 cores=0,2,4,6
/proc/22492/task/22495/stat : 22495 (java) S 22489 22492 5678 0 -1 1077944384 2496 0 0 0 91 15 0 0 20 0 15 0 12013498 14317654016 567438 18446744073709551615 4194304 4196468 140729016407344 140452615768720 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22496] ppid=22489 vsize=13982084 CPUtime=1.05 cores=0,2,4,6
/proc/22492/task/22496/stat : 22496 (java) S 22489 22492 5678 0 -1 1077944384 1349 0 0 0 89 16 0 0 20 0 15 0 12013498 14317654016 567438 18446744073709551615 4194304 4196468 140729016407344 140452614715920 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22497] ppid=22489 vsize=13982084 CPUtime=1.03 cores=0,2,4,6
/proc/22492/task/22497/stat : 22497 (java) S 22489 22492 5678 0 -1 1077944384 1629 0 0 0 89 14 0 0 20 0 15 0 12013498 14317654016 567438 18446744073709551615 4194304 4196468 140729016407344 140452613663120 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22498] ppid=22489 vsize=13982084 CPUtime=1.05 cores=0,2,4,6
/proc/22492/task/22498/stat : 22498 (java) S 22489 22492 5678 0 -1 1077944384 2318 0 0 0 90 15 0 0 20 0 15 0 12013498 14317654016 567438 18446744073709551615 4194304 4196468 140729016407344 140452612610320 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22499] ppid=22489 vsize=13982084 CPUtime=0.22 cores=0,2,4,6
/proc/22492/task/22499/stat : 22499 (java) S 22489 22492 5678 0 -1 1077944384 2695 0 0 0 19 3 0 0 20 0 15 0 12013499 14317654016 567438 18446744073709551615 4194304 4196468 140729016407344 140451613739888 140452696365698 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22500] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22500/stat : 22500 (java) S 22489 22492 5678 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 12013500 14317654016 567438 18446744073709551615 4194304 4196468 140729016407344 140451612685920 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22501] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22501/stat : 22501 (java) S 22489 22492 5678 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 12013500 14317654016 567438 18446744073709551615 4194304 4196468 140729016407344 140451611633024 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22502] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22502/stat : 22502 (java) S 22489 22492 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12013502 14317654016 567438 18446744073709551615 4194304 4196468 140729016407344 140451610581328 140452696373147 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22503] ppid=22489 vsize=13982084 CPUtime=2.43 cores=0,2,4,6
/proc/22492/task/22503/stat : 22503 (java) S 22489 22492 5678 0 -1 1077944384 11897 0 0 0 242 1 0 0 20 0 15 0 12013502 14317654016 567438 18446744073709551615 4194304 4196468 140729016407344 140451609528688 140452696365698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22504] ppid=22489 vsize=13982084 CPUtime=2.45 cores=0,2,4,6
/proc/22492/task/22504/stat : 22504 (java) S 22489 22492 5678 0 -1 1077944384 8973 0 0 0 243 2 0 0 20 0 15 0 12013503 14317654016 567438 18446744073709551615 4194304 4196468 140729016407344 140451608475888 140452696365698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22505] ppid=22489 vsize=13982084 CPUtime=1.08 cores=0,2,4,6
/proc/22492/task/22505/stat : 22505 (java) S 22489 22492 5678 0 -1 1077944384 10532 0 0 0 105 3 0 0 20 0 15 0 12013503 14317654016 567438 18446744073709551615 4194304 4196468 140729016407344 140451607423088 140452696365698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22506] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22506/stat : 22506 (java) S 22489 22492 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12013503 14317654016 567438 18446744073709551615 4194304 4196468 140729016407344 140451606370528 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22507] ppid=22489 vsize=13982084 CPUtime=0.1 cores=0,2,4,6
/proc/22492/task/22507/stat : 22507 (java) S 22489 22492 5678 0 -1 1077944384 155 0 0 0 4 6 0 0 20 0 15 0 12013507 14317654016 567438 18446744073709551615 4194304 4196468 140729016407344 140451134827696 140452696365698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
Current children cumulated CPU time (s) 171.32
Current children cumulated vsize (KiB) 13982084

[startup+222.301 s]
/proc/loadavg: 1.44 1.54 1.55 3/210 22520
/proc/meminfo: memFree=27615136/32770624 swapFree=0/945204
[pid=22492] ppid=22489 vsize=13982084 CPUtime=233.06 cores=0,2,4,6
/proc/22492/stat : 22492 (java) S 22489 22492 5678 0 -1 1077944320 81018 0 0 0 23170 136 0 0 20 0 15 0 12013488 14317654016 578951 18446744073709551615 4194304 4196468 140729016407344 140729016389888 140452696354551 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
/proc/22492/statm: 3495521 578951 3809 1 0 3484303 0
[pid=22492/tid=22494] ppid=22489 vsize=13982084 CPUtime=220.12 cores=0,2,4,6
/proc/22492/task/22494/stat : 22494 (java) R 22489 22492 5678 0 -1 4202560 26526 0 0 0 21973 39 0 0 20 0 15 0 12013497 14317654016 578951 18446744073709551615 4194304 4196468 140729016407344 140452700592048 140452304423290 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22495] ppid=22489 vsize=13982084 CPUtime=1.54 cores=0,2,4,6
/proc/22492/task/22495/stat : 22495 (java) S 22489 22492 5678 0 -1 1077944384 3353 0 0 0 135 19 0 0 20 0 15 0 12013498 14317654016 578951 18446744073709551615 4194304 4196468 140729016407344 140452615768720 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22496] ppid=22489 vsize=13982084 CPUtime=1.55 cores=0,2,4,6
/proc/22492/task/22496/stat : 22496 (java) S 22489 22492 5678 0 -1 1077944384 2427 0 0 0 133 22 0 0 20 0 15 0 12013498 14317654016 578951 18446744073709551615 4194304 4196468 140729016407344 140452614715920 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22497] ppid=22489 vsize=13982084 CPUtime=1.52 cores=0,2,4,6
/proc/22492/task/22497/stat : 22497 (java) S 22489 22492 5678 0 -1 1077944384 2152 0 0 0 133 19 0 0 20 0 15 0 12013498 14317654016 578951 18446744073709551615 4194304 4196468 140729016407344 140452613663120 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22498] ppid=22489 vsize=13982084 CPUtime=1.53 cores=0,2,4,6
/proc/22492/task/22498/stat : 22498 (java) S 22489 22492 5678 0 -1 1077944384 2735 0 0 0 133 20 0 0 20 0 15 0 12013498 14317654016 578951 18446744073709551615 4194304 4196468 140729016407344 140452612610320 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22499] ppid=22489 vsize=13982084 CPUtime=0.32 cores=0,2,4,6
/proc/22492/task/22499/stat : 22499 (java) S 22489 22492 5678 0 -1 1077944384 2985 0 0 0 27 5 0 0 20 0 15 0 12013499 14317654016 578951 18446744073709551615 4194304 4196468 140729016407344 140451613739888 140452696365698 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22500] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22500/stat : 22500 (java) S 22489 22492 5678 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 12013500 14317654016 578951 18446744073709551615 4194304 4196468 140729016407344 140451612685920 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22501] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22501/stat : 22501 (java) S 22489 22492 5678 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 12013500 14317654016 578951 18446744073709551615 4194304 4196468 140729016407344 140451611633024 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22502] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22502/stat : 22502 (java) S 22489 22492 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12013502 14317654016 578951 18446744073709551615 4194304 4196468 140729016407344 140451610581328 140452696373147 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22503] ppid=22489 vsize=13982084 CPUtime=2.48 cores=0,2,4,6
/proc/22492/task/22503/stat : 22503 (java) S 22489 22492 5678 0 -1 1077944384 13735 0 0 0 247 1 0 0 20 0 15 0 12013502 14317654016 578951 18446744073709551615 4194304 4196468 140729016407344 140451609528688 140452696365698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22504] ppid=22489 vsize=13982084 CPUtime=2.66 cores=0,2,4,6
/proc/22492/task/22504/stat : 22504 (java) S 22489 22492 5678 0 -1 1077944384 13686 0 0 0 264 2 0 0 20 0 15 0 12013503 14317654016 578951 18446744073709551615 4194304 4196468 140729016407344 140451608475888 140452696365698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22505] ppid=22489 vsize=13982084 CPUtime=1.1 cores=0,2,4,6
/proc/22492/task/22505/stat : 22505 (java) S 22489 22492 5678 0 -1 1077944384 11769 0 0 0 107 3 0 0 20 0 15 0 12013503 14317654016 578951 18446744073709551615 4194304 4196468 140729016407344 140451607423088 140452696365698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22506] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22506/stat : 22506 (java) S 22489 22492 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12013503 14317654016 578951 18446744073709551615 4194304 4196468 140729016407344 140451606370528 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22507] ppid=22489 vsize=13982084 CPUtime=0.13 cores=0,2,4,6
/proc/22492/task/22507/stat : 22507 (java) S 22489 22492 5678 0 -1 1077944384 232 0 0 0 6 7 0 0 20 0 15 0 12013507 14317654016 578951 18446744073709551615 4194304 4196468 140729016407344 140451134827696 140452696365698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
Current children cumulated CPU time (s) 233.06
Current children cumulated vsize (KiB) 13982084



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.49 1.55 1.55 3/193 22578
/proc/meminfo: memFree=28763808/32770624 swapFree=0/945500
[pid=22492] ppid=22489 vsize=13982084 CPUtime=251.21 cores=0,2,4,6
/proc/22492/stat : 22492 (java) S 22489 22492 5678 0 -1 1077944320 83890 0 0 0 24979 142 0 0 20 0 15 0 12013488 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140729016389888 140452696354551 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
/proc/22492/statm: 3495521 582392 3809 1 0 3484303 0
[pid=22492/tid=22494] ppid=22489 vsize=13982084 CPUtime=237.63 cores=0,2,4,6
/proc/22492/task/22494/stat : 22494 (java) R 22489 22492 5678 0 -1 4202560 27569 0 0 0 23724 39 0 0 20 0 15 0 12013497 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140452700592448 140452304347519 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22495] ppid=22489 vsize=13982084 CPUtime=1.69 cores=0,2,4,6
/proc/22492/task/22495/stat : 22495 (java) S 22489 22492 5678 0 -1 1077944384 3393 0 0 0 149 20 0 0 20 0 15 0 12013498 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140452615768720 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22496] ppid=22489 vsize=13982084 CPUtime=1.69 cores=0,2,4,6
/proc/22492/task/22496/stat : 22496 (java) S 22489 22492 5678 0 -1 1077944384 2611 0 0 0 146 23 0 0 20 0 15 0 12013498 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140452614715920 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22497] ppid=22489 vsize=13982084 CPUtime=1.67 cores=0,2,4,6
/proc/22492/task/22497/stat : 22497 (java) S 22489 22492 5678 0 -1 1077944384 2538 0 0 0 147 20 0 0 20 0 15 0 12013498 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140452613663120 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22498] ppid=22489 vsize=13982084 CPUtime=1.68 cores=0,2,4,6
/proc/22492/task/22498/stat : 22498 (java) S 22489 22492 5678 0 -1 1077944384 2987 0 0 0 146 22 0 0 20 0 15 0 12013498 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140452612610320 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22499] ppid=22489 vsize=13982084 CPUtime=0.35 cores=0,2,4,6
/proc/22492/task/22499/stat : 22499 (java) S 22489 22492 5678 0 -1 1077944384 3209 0 0 0 30 5 0 0 20 0 15 0 12013499 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140451613739888 140452696365698 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22500] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22500/stat : 22500 (java) S 22489 22492 5678 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 12013500 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140451612685920 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22501] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22501/stat : 22501 (java) S 22489 22492 5678 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 12013500 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140451611633024 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22502] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22502/stat : 22502 (java) S 22489 22492 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12013502 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140451610581328 140452696373147 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22503] ppid=22489 vsize=13982084 CPUtime=2.48 cores=0,2,4,6
/proc/22492/task/22503/stat : 22503 (java) S 22489 22492 5678 0 -1 1077944384 13735 0 0 0 247 1 0 0 20 0 15 0 12013502 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140451609528688 140452696365698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22504] ppid=22489 vsize=13982084 CPUtime=2.66 cores=0,2,4,6
/proc/22492/task/22504/stat : 22504 (java) S 22489 22492 5678 0 -1 1077944384 13686 0 0 0 264 2 0 0 20 0 15 0 12013503 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140451608475888 140452696365698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22505] ppid=22489 vsize=13982084 CPUtime=1.1 cores=0,2,4,6
/proc/22492/task/22505/stat : 22505 (java) S 22489 22492 5678 0 -1 1077944384 12496 0 0 0 107 3 0 0 20 0 15 0 12013503 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140451607423088 140452696365698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22506] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22506/stat : 22506 (java) S 22489 22492 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12013503 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140451606370528 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22507] ppid=22489 vsize=13982084 CPUtime=0.15 cores=0,2,4,6
/proc/22492/task/22507/stat : 22507 (java) S 22489 22492 5678 0 -1 1077944384 248 0 0 0 7 8 0 0 20 0 15 0 12013507 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140451134827696 140452696365698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
Current children cumulated CPU time (s) 251.21
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 22492 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+240.001 s]
/proc/loadavg: 1.49 1.55 1.55 3/193 22578
/proc/meminfo: memFree=28763808/32770624 swapFree=0/945500
[pid=22492] ppid=22489 vsize=13982084 CPUtime=251.21 cores=0,2,4,6
/proc/22492/stat : 22492 (java) S 22489 22492 5678 0 -1 1077944320 83890 0 0 0 24979 142 0 0 20 0 15 0 12013488 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140729016389888 140452696354551 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
/proc/22492/statm: 3495521 582392 3809 1 0 3484303 0
[pid=22492/tid=22494] ppid=22489 vsize=13982084 CPUtime=237.63 cores=0,2,4,6
/proc/22492/task/22494/stat : 22494 (java) R 22489 22492 5678 0 -1 4202560 27569 0 0 0 23724 39 0 0 20 0 15 0 12013497 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140452700592448 140452304347519 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22495] ppid=22489 vsize=13982084 CPUtime=1.69 cores=0,2,4,6
/proc/22492/task/22495/stat : 22495 (java) S 22489 22492 5678 0 -1 1077944384 3393 0 0 0 149 20 0 0 20 0 15 0 12013498 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140452615768720 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22496] ppid=22489 vsize=13982084 CPUtime=1.69 cores=0,2,4,6
/proc/22492/task/22496/stat : 22496 (java) S 22489 22492 5678 0 -1 1077944384 2611 0 0 0 146 23 0 0 20 0 15 0 12013498 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140452614715920 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22497] ppid=22489 vsize=13982084 CPUtime=1.67 cores=0,2,4,6
/proc/22492/task/22497/stat : 22497 (java) S 22489 22492 5678 0 -1 1077944384 2538 0 0 0 147 20 0 0 20 0 15 0 12013498 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140452613663120 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22498] ppid=22489 vsize=13982084 CPUtime=1.68 cores=0,2,4,6
/proc/22492/task/22498/stat : 22498 (java) S 22489 22492 5678 0 -1 1077944384 2987 0 0 0 146 22 0 0 20 0 15 0 12013498 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140452612610320 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22499] ppid=22489 vsize=13982084 CPUtime=0.35 cores=0,2,4,6
/proc/22492/task/22499/stat : 22499 (java) S 22489 22492 5678 0 -1 1077944384 3209 0 0 0 30 5 0 0 20 0 15 0 12013499 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140451613739888 140452696365698 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22500] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22500/stat : 22500 (java) S 22489 22492 5678 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 12013500 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140451612685920 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22501] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22501/stat : 22501 (java) S 22489 22492 5678 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 12013500 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140451611633024 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22502] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22502/stat : 22502 (java) S 22489 22492 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12013502 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140451610581328 140452696373147 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22503] ppid=22489 vsize=13982084 CPUtime=2.48 cores=0,2,4,6
/proc/22492/task/22503/stat : 22503 (java) S 22489 22492 5678 0 -1 1077944384 13735 0 0 0 247 1 0 0 20 0 15 0 12013502 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140451609528688 140452696365698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22504] ppid=22489 vsize=13982084 CPUtime=2.66 cores=0,2,4,6
/proc/22492/task/22504/stat : 22504 (java) S 22489 22492 5678 0 -1 1077944384 13686 0 0 0 264 2 0 0 20 0 15 0 12013503 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140451608475888 140452696365698 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22505] ppid=22489 vsize=13982084 CPUtime=1.1 cores=0,2,4,6
/proc/22492/task/22505/stat : 22505 (java) S 22489 22492 5678 0 -1 1077944384 12496 0 0 0 107 3 0 0 20 0 15 0 12013503 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140451607423088 140452696365698 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22506] ppid=22489 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/22492/task/22506/stat : 22506 (java) S 22489 22492 5678 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12013503 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140451606370528 140452696364757 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
[pid=22492/tid=22507] ppid=22489 vsize=13982084 CPUtime=0.15 cores=0,2,4,6
/proc/22492/task/22507/stat : 22507 (java) S 22489 22492 5678 0 -1 1077944384 248 0 0 0 7 8 0 0 20 0 15 0 12013507 14317654016 582392 18446744073709551615 4194304 4196468 140729016407344 140451134827696 140452696365698 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14573568 140729016414617 140729016414795 140729016414795 140729016418255 0
Current children cumulated CPU time (s) 251.21
Current children cumulated vsize (KiB) 13982084

Child status: 143
Real time (s): 240.033
CPU time (s): 251.246
CPU user time (s): 249.805
CPU system time (s): 1.44087
CPU usage (%): 104.672
Max. virtual memory (cumulated for all children) (KiB): 13982084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.805
system time used= 1.44087
maximum resident set size= 2330136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84475
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= 16918
involuntary context switches= 634

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.989094 second user time and 1.562 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 4255577

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