2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering with restarts 2018-07-02	SAT (TO)	172	2400.08	2360.02

0.67/0.56	c version: 2018-07-02
0.67/0.56	c seed: 77369522
0.67/0.56	c timeout: 2400
0.67/0.56	c memlimit: 11000
0.67/0.56	c nbcore: 4
0.67/0.58	c Parsing instance...
3.82/1.86	c Parsing done, starting search...
4.10/1.95	o 600
4.10/1.96	o 556
4.10/1.96	o 452
4.10/1.97	o 396
4.46/2.05	o 388
4.46/2.05	o 336
4.46/2.06	o 292
5.65/2.48	o 276
6.34/2.86	o 272
6.50/3.01	o 232
8.03/4.22	o 204
40.84/36.65	o 200
78.91/74.27	o 188
469.95/460.00	o 180
661.65/648.96	o 176
957.19/939.40	o 172
2400.04/2360.01	s SATISFIABLE
2400.04/2360.01	v <instantiation>
2400.04/2360.01	v 	<list>
2400.04/2360.01	v 		x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] y[0][0] y[0][1] y[0][2] y[0][3] y[0][4] y[0][5] y[0][6] y[0][7] y[0][8] y[0][9] y[0][10] y[0][11] y[0][12] y[0][13] y[0][14] y[0][15] y[0][16] y[0][17] y[0][18] y[0][19] y[0][20] y[0][21] y[0][22] y[0][23] y[0][24] y[0][25] y[0][26] y[0][27] y[0][28] y[0][29] y[0][30] y[0][31] y[0][32] y[0][33] y[0][34] y[0][35] y[0][36] y[0][37] y[0][38] y[1][0] y[1][1] y[1][2] y[1][3] y[1][4] y[1][5] y[1][6] y[1][7] y[1][8] y[1][9] y[1][10] y[1][11] y[1][12] y[1][13] y[1][14] y[1][15] y[1][16] y[1][17] y[1][18] y[1][19] y[1][20] y[1][21] y[1][22] y[1][23] y[1][24] y[1][25] y[1][26] y[1][27] y[1][28] y[1][29] y[1][30] y[1][31] y[1][32] y[1][33] y[1][34] y[1][35] y[1][36] y[1][37] y[2][0] y[2][1] y[2][2] y[2][3] y[2][4] y[2][5] y[2][6] y[2][7] y[2][8] y[2][9] y[2][10] y[2][11] y[2][12] y[2][13] y[2][14] y[2][15] y[2][16] y[2][17] y[2][18] y[2][19] y[2][20] y[2][21] y[2][22] y[2][23] y[2][24] y[2][25] y[2][26] y[2][27] y[2][28] y[2][29] y[2][30] y[2][31] y[2][32] y[2][33] y[2][34] y[2][35] y[2][36] y[3][0] y[3][1] y[3][2] y[3][3] y[3][4] y[3][5] y[3][6] y[3][7] y[3][8] y[3][9] y[3][10] y[3][11] y[3][12] y[3][13] y[3][14] y[3][15] y[3][16] y[3][17] y[3][18] y[3][19] y[3][20] y[3][21] y[3][22] y[3][23] y[3][24] y[3][25] y[3][26] y[3][27] y[3][28] y[3][29] y[3][30] y[3][31] y[3][32] y[3][33] y[3][34] y[3][35] y[4][0] y[4][1] y[4][2] y[4][3] y[4][4] y[4][5] y[4][6] y[4][7] y[4][8] y[4][9] y[4][10] y[4][11] y[4][12] y[4][13] y[4][14] y[4][15] y[4][16] y[4][17] y[4][18] y[4][19] y[4][20] y[4][21] y[4][22] y[4][23] y[4][24] y[4][25] y[4][26] y[4][27] y[4][28] y[4][29] y[4][30] y[4][31] y[4][32] y[4][33] y[4][34] y[5][0] y[5][1] y[5][2] y[5][3] y[5][4] y[5][5] y[5][6] y[5][7] y[5][8] y[5][9] y[5][10] y[5][11] y[5][12] y[5][13] y[5][14] y[5][15] y[5][16] y[5][17] y[5][18] y[5][19] y[5][20] y[5][21] y[5][22] y[5][23] y[5][24] y[5][25] y[5][26] y[5][27] y[5][28] y[5][29] y[5][30] y[5][31] y[5][32] y[5][33] y[6][0] y[6][1] y[6][2] y[6][3] y[6][4] y[6][5] y[6][6] y[6][7] y[6][8] y[6][9] y[6][10] y[6][11] y[6][12] y[6][13] y[6][14] y[6][15] y[6][16] y[6][17] y[6][18] y[6][19] y[6][20] y[6][21] y[6][22] y[6][23] y[6][24] y[6][25] y[6][26] y[6][27] y[6][28] y[6][29] y[6][30] y[6][31] y[6][32] y[7][0] y[7][1] y[7][2] y[7][3] y[7][4] y[7][5] y[7][6] y[7][7] y[7][8] y[7][9] y[7][10] y[7][11] y[7][12] y[7][13] y[7][14] y[7][15] y[7][16] y[7][17] y[7][18] y[7][19] y[7][20] y[7][21] y[7][22] y[7][23] y[7][24] y[7][25] y[7][26] y[7][27] y[7][28] y[7][29] y[7][30] y[7][31] y[8][0] y[8][1] y[8][2] y[8][3] y[8][4] y[8][5] y[8][6] y[8][7] y[8][8] y[8][9] y[8][10] y[8][11] y[8][12] y[8][13] y[8][14] y[8][15] y[8][16] y[8][17] y[8][18] y[8][19] y[8][20] y[8][21] y[8][22] y[8][23] y[8][24] y[8][25] y[8][26] y[8][27] y[8][28] y[8][29] y[8][30] y[9][0] y[9][1] y[9][2] y[9][3] y[9][4] y[9][5] y[9][6] y[9][7] y[9][8] y[9][9] y[9][10] y[9][11] y[9][12] y[9][13] y[9][14] y[9][15] y[9][16] y[9][17] y[9][18] y[9][19] y[9][20] y[9][21] y[9][22] y[9][23] y[9][24] y[9][25] y[9][26] y[9][27] y[9][28] y[9][29] y[10][0] y[10][1] y[10][2] y[10][3] y[10][4] y[10][5] y[10][6] y[10][7] y[10][8] y[10][9] y[10][10] y[10][11] y[10][12] y[10][13] y[10][14] y[10][15] y[10][16] y[10][17] y[10][18] y[10][19] y[10][20] y[10][21] y[10][22] y[10][23] y[10][24] y[10][25] y[10][26] y[10][27] y[10][28] y[11][0] y[11][1] y[11][2] y[11][3] y[11][4] y[11][5] y[11][6] y[11][7] y[11][8] y[11][9] y[11][10] y[11][11] y[11][12] y[11][13] y[11][14] y[11][15] y[11][16] y[11][17] y[11][18] y[11][19] y[11][20] y[11][21] y[11][22] y[11][23] y[11][24] y[11][25] y[11][26] y[11][27] y[12][0] y[12][1] y[12][2] y[12][3] y[12][4] y[12][5] y[12][6] y[12][7] y[12][8] y[12][9] y[12][10] y[12][11] y[12][12] y[12][13] y[12][14] y[12][15] y[12][16] y[12][17] y[12][18] y[12][19] y[12][20] y[12][21] y[12][22] y[12][23] y[12][24] y[12][25] y[12][26] y[13][0] y[13][1] y[13][2] y[13][3] y[13][4] y[13][5] y[13][6] y[13][7] y[13][8] y[13][9] y[13][10] y[13][11] y[13][12] y[13][13] y[13][14] y[13][15] y[13][16] y[13][17] y[13][18] y[13][19] y[13][20] y[13][21] y[13][22] y[13][23] y[13][24] y[13][25] y[14][0] y[14][1] y[14][2] y[14][3] y[14][4] y[14][5] y[14][6] y[14][7] y[14][8] y[14][9] y[14][10] y[14][11] y[14][12] y[14][13] y[14][14] y[14][15] y[14][16] y[14][17] y[14][18] y[14][19] y[14][20] y[14][21] y[14][22] y[14][23] y[14][24] y[15][0] y[15][1] y[15][2] y[15][3] y[15][4] y[15][5] y[15][6] y[15][7] y[15][8] y[15][9] y[15][10] y[15][11] y[15][12] y[15][13] y[15][14] y[15][15] y[15][16] y[15][17] y[15][18] y[15][19] y[15][20] y[15][21] y[15][22] y[15][23] y[16][0] y[16][1] y[16][2] y[16][3] y[16][4] y[16][5] y[16][6] y[16][7] y[16][8] y[16][9] y[16][10] y[16][11] y[16][12] y[16][13] y[16][14] y[16][15] y[16][16] y[16][17] y[16][18] y[16][19] y[16][20] y[16][21] y[16][22] y[17][0] y[17][1] y[17][2] y[17][3] y[17][4] y[17][5] y[17][6] y[17][7] y[17][8] y[17][9] y[17][10] y[17][11] y[17][12] y[17][13] y[17][14] y[17][15] y[17][16] y[17][17] y[17][18] y[17][19] y[17][20] y[17][21] y[18][0] y[18][1] y[18][2] y[18][3] y[18][4] y[18][5] y[18][6] y[18][7] y[18][8] y[18][9] y[18][10] y[18][11] y[18][12] y[18][13] y[18][14] y[18][15] y[18][16] y[18][17] y[18][18] y[18][19] y[18][20] y[19][0] y[19][1] y[19][2] y[19][3] y[19][4] y[19][5] y[19][6] y[19][7] y[19][8] y[19][9] y[19][10] y[19][11] y[19][12] y[19][13] y[19][14] y[19][15] y[19][16] y[19][17] y[19][18] y[19][19] y[20][0] y[20][1] y[20][2] y[20][3] y[20][4] y[20][5] y[20][6] y[20][7] y[20][8] y[20][9] y[20][10] y[20][11] y[20][12] y[20][13] y[20][14] y[20][15] y[20][16] y[20][17] y[20][18] y[21][0] y[21][1] y[21][2] y[21][3] y[21][4] y[21][5] y[21][6] y[21][7] y[21][8] y[21][9] y[21][10] y[21][11] y[21][12] y[21][13] y[21][14] y[21][15] y[21][16] y[21][17] y[22][0] y[22][1] y[22][2] y[22][3] y[22][4] y[22][5] y[22][6] y[22][7] y[22][8] y[22][9] y[22][10] y[22][11] y[22][12] y[22][13] y[22][14] y[22][15] y[22][16] y[23][0] y[23][1] y[23][2] y[23][3] y[23][4] y[23][5] y[23][6] y[23][7] y[23][8] y[23][9] y[23][10] y[23][11] y[23][12] y[23][13] y[23][14] y[23][15] y[24][0] y[24][1] y[24][2] y[24][3] y[24][4] y[24][5] y[24][6] y[24][7] y[24][8] y[24][9] y[24][10] y[24][11] y[24][12] y[24][13] y[24][14] y[25][0] y[25][1] y[25][2] y[25][3] y[25][4] y[25][5] y[25][6] y[25][7] y[25][8] y[25][9] y[25][10] y[25][11] y[25][12] y[25][13] y[26][0] y[26][1] y[26][2] y[26][3] y[26][4] y[26][5] y[26][6] y[26][7] y[26][8] y[26][9] y[26][10] y[26][11] y[26][12] y[27][0] y[27][1] y[27][2] y[27][3] y[27][4] y[27][5] y[27][6] y[27][7] y[27][8] y[27][9] y[27][10] y[27][11] y[28][0] y[28][1] y[28][2] y[28][3] y[28][4] y[28][5] y[28][6] y[28][7] y[28][8] y[28][9] y[28][10] y[29][0] y[29][1] y[29][2] y[29][3] y[29][4] y[29][5] y[29][6] y[29][7] y[29][8] y[29][9] y[30][0] y[30][1] y[30][2] y[30][3] y[30][4] y[30][5] y[30][6] y[30][7] y[30][8] y[31][0] y[31][1] y[31][2] y[31][3] y[31][4] y[31][5] y[31][6] y[31][7] y[32][0] y[32][1] y[32][2] y[32][3] y[32][4] y[32][5] y[32][6] y[33][0] y[33][1] y[33][2] y[33][3] y[33][4] y[33][5] y[34][0] y[34][1] y[34][2] y[34][3] y[34][4] y[35][0] y[35][1] y[35][2] y[35][3] y[36][0] y[36][1] y[36][2] y[37][0] y[37][1] y[38][0] c[0] c[1] c[2] c[3] c[4] c[5] c[6] c[7] c[8] c[9] c[10] c[11] c[12] c[13] c[14] c[15] c[16] c[17] c[18] c[19] c[20] c[21] c[22] c[23] c[24] c[25] c[26] c[27] c[28] c[29] c[30] c[31] c[32] c[33] c[34] c[35] c[36] c[37] c[38] s[0] s[1] s[2] s[3] s[4] s[5] s[6] s[7] s[8] s[9] s[10] s[11] s[12] s[13] s[14] s[15] s[16] s[17] s[18] s[19] s[20] s[21] s[22] s[23] s[24] s[25] s[26] s[27] s[28] s[29] s[30] s[31] s[32] s[33] s[34] s[35] s[36] s[37] s[38]
2400.04/2360.01	v 	</list>
2400.04/2360.01	v 	<values>
2400.04/2360.01	v 		-1 1 -1 -1 -1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 1 1 1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 1 1 -1 -1 -1 1 1 -1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 1 -1 -1 1 -1 1 1 1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 1 1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 -1 -1 1 -1 1 1 -1 1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 1 1 1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 1 1 -1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 1 -1 1 1 1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 1 -1 -1 1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 1 -1 1 -1 -1 1 -1 1 1 -1 1 1 -1 1 -1 -1 -1 -1 -1 -1 -1 1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 1 1 -1 -1 1 1 -1 1 1 1 -1 1 -1 -1 -1 -1 1 -1 1 1 1 1 -1 1 -1 1 -1 1 -1 1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 -1 -1 -1 1 -1 1 1 1 -1 1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 1 1 1 1 -1 -1 1 -1 -1 1 1 -1 -1 1 -1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 -1 1 1 -1 1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 1 -1 -1 -1 -1 1 -1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 1 -1 1 1 1 1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 -1 1 1 -1 -1 1 1 1 -1 1 1 1 -1 -1 1 -1 -1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 -1 1 -1 1 1 -1 1 1 1 1 1 -1 -1 -1 -1 1 1 -1 -1 -1 1 -1 -1 1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 -1 1 -1 -1 -1 1 1 -1 -1 1 1 1 1 1 1 -1 1 -1 1 1 1 -1 -1 -1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 -1 -1 1 1 1 -1 1 -1 1 1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 1 -1 -1 1 -1 1 -1 -1 1 1 1 -1 -1 -1 1 1 1 1 1 1 -1 -1 1 1 -1 -1 1 1 1 -1 -1 -1 1 -1 -1 -1 -1 -1 -1 1 1 -1 1 -1 1 -1 1 -1 1 1 -1 -1 1 -1 -1 1 -1 -1 -1 1 1 1 -1 1 -1 1 1 1 -1 1 1 -1 -1 -1 1 -1 1 1 1 -1 1 -1 -1 1 -1 1 -1 -1 -1 1 -1 -1 1 1 -1 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 -1 -1 1 -1 1 1 1 1 1 -1 -1 -1 1 1 -1 1 1 -1 1 -1 -1 1 -1 -1 -1 1 1 -1 -1 1 -1 1 0 -5 -2 1 0 -3 0 -1 0 -1 0 -1 0 1 -2 -5 0 1 4 -1 4 1 2 -5 0 1 0 1 -4 1 0 3 0 -1 -2 1 0 -1 1 0 25 4 1 0 9 0 1 0 1 0 1 0 1 4 25 0 1 16 1 16 1 4 25 0 1 0 1 16 1 0 9 0 1 4 1 0 1 
2400.04/2360.01	v 	</values>
2400.04/2360.01	v </instantiation>

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12861 MiB free)
  memory of node 1: 16384 MiB (13781 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290492-1532253621/watcher-4290492-1532253621 -o /tmp/evaluation-result-4290492-1532253621/solver-4290492-1532253621 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532224835-1956 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 77369522 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290492-1532253621.xml 

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

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

solver pid=5470, runsolver pid=5467

[startup+0.109839 s]*
/proc/loadavg: 1.52 1.50 1.48 5/219 5485
/proc/meminfo: memFree=27261240/32770624 swapFree=67108860/67108860
[pid=5470] ppid=5467 vsize=14082740 memory=36356 CPUtime=0.13 cores=1,3,5,7
/proc/5470/stat : 5470 (java) S 5467 5470 1924 0 -1 1077944320 7494 0 0 0 11 2 0 0 20 0 15 0 42925292 14420725760 9089 33554432000 4194304 4196468 140726165407952 140726165390496 140706347065079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
/proc/5470/statm: 3520685 9089 3161 1 0 3482761 0
[pid=5470/tid=5472] ppid=5467 vsize=14082740 memory=-8536678044471751872 CPUtime=0.1 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (java) R 5467 5470 1924 0 -1 4202560 5585 0 0 0 9 1 0 0 20 0 15 0 42925292 14420725760 9155 33554432000 4194304 4196468 140726165407952 140706351270832 140706326594010 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5473] ppid=5467 vsize=14082740 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (java) S 5467 5470 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42925293 14420725760 9155 33554432000 4194304 4196468 140726165407952 140706284665232 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5474] ppid=5467 vsize=14082740 memory=140066409301632 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5474/stat : 5474 (java) S 5467 5470 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42925293 14420725760 9155 33554432000 4194304 4196468 140726165407952 140705941428496 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5475] ppid=5467 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5475/stat : 5475 (java) S 5467 5470 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42925293 14420725760 9155 33554432000 4194304 4196468 140726165407952 140705940376208 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5476] ppid=5467 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5476/stat : 5476 (java) S 5467 5470 1924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42925293 14420725760 9155 33554432000 4194304 4196468 140726165407952 140705939323408 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5477] ppid=5467 vsize=14082740 memory=140066409301632 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5477/stat : 5477 (java) S 5467 5470 1924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42925294 14420725760 9155 33554432000 4194304 4196468 140726165407952 140705889303152 140706347076226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5478] ppid=5467 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5478/stat : 5478 (java) S 5467 5470 1924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42925295 14420725760 9155 33554432000 4194304 4196468 140726165407952 140705888249120 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5479] ppid=5467 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5479/stat : 5479 (java) S 5467 5470 1924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42925295 14420725760 9155 33554432000 4194304 4196468 140726165407952 140705887196784 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5480] ppid=5467 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5480/stat : 5480 (java) S 5467 5470 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42925297 14420725760 9155 33554432000 4194304 4196468 140726165407952 140705886145104 140706347083675 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5481] ppid=5467 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5481/stat : 5481 (java) S 5467 5470 1924 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 42925297 14420725760 9155 33554432000 4194304 4196468 140726165407952 140705885091952 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5482] ppid=5467 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5482/stat : 5482 (java) S 5467 5470 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42925297 14420725760 9155 33554432000 4194304 4196468 140726165407952 140705884039152 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5483] ppid=5467 vsize=14082740 memory=140066409301632 CPUtime=0.01 cores=1,3,5,7
/proc/5470/task/5483/stat : 5483 (java) S 5467 5470 1924 0 -1 1077944384 277 0 0 0 1 0 0 0 20 0 15 0 42925297 14420725760 9155 33554432000 4194304 4196468 140726165407952 140705882986864 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5484] ppid=5467 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5484/stat : 5484 (java) S 5467 5470 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42925297 14420725760 9155 33554432000 4194304 4196468 140726165407952 140705881934304 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5485] ppid=5467 vsize=14082740 memory=140066409301632 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5485/stat : 5485 (java) S 5467 5470 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42925298 14420725760 9155 33554432000 4194304 4196468 140726165407952 140705251191728 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 36356 KiB

[startup+0.210254 s]*
/proc/loadavg: 1.52 1.50 1.48 5/219 5485
/proc/meminfo: memFree=27246588/32770624 swapFree=67108860/67108860
[pid=5470] ppid=5467 vsize=14082740 memory=49804 CPUtime=0.29 cores=1,3,5,7
/proc/5470/stat : 5470 (java) S 5467 5470 1924 0 -1 1077944320 10531 0 0 0 27 2 0 0 20 0 15 0 42925292 14420725760 12451 33554432000 4194304 4196468 140726165407952 140726165390496 140706347065079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
/proc/5470/statm: 3520685 12451 3366 1 0 3482761 0
[pid=5470/tid=5472] ppid=5467 vsize=14082740 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (java) R 5467 5470 1924 0 -1 4202560 8262 0 0 0 18 1 0 0 20 0 15 0 42925292 14420725760 12451 33554432000 4194304 4196468 140726165407952 140706351292144 140706347087005 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5473] ppid=5467 vsize=14082740 memory=345 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (java) S 5467 5470 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42925293 14420725760 12451 33554432000 4194304 4196468 140726165407952 140706284665232 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5474] ppid=5467 vsize=14082740 memory=140066409307285 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5474/stat : 5474 (java) S 5467 5470 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42925293 14420725760 12451 33554432000 4194304 4196468 140726165407952 140705941428496 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5475] ppid=5467 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5475/stat : 5475 (java) S 5467 5470 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42925293 14420725760 12451 33554432000 4194304 4196468 140726165407952 140705940376208 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5476] ppid=5467 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5476/stat : 5476 (java) S 5467 5470 1924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42925293 14420725760 12451 33554432000 4194304 4196468 140726165407952 140705939323408 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5477] ppid=5467 vsize=14082740 memory=140066409301632 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5477/stat : 5477 (java) S 5467 5470 1924 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 42925294 14420725760 12451 33554432000 4194304 4196468 140726165407952 140705889303152 140706347076226 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5478] ppid=5467 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5478/stat : 5478 (java) S 5467 5470 1924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42925295 14420725760 12451 33554432000 4194304 4196468 140726165407952 140705888249120 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5479] ppid=5467 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5479/stat : 5479 (java) S 5467 5470 1924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42925295 14420725760 12451 33554432000 4194304 4196468 140726165407952 140705887196784 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5480] ppid=5467 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5480/stat : 5480 (java) S 5467 5470 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42925297 14420725760 12451 33554432000 4194304 4196468 140726165407952 140705886145104 140706347083675 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5481] ppid=5467 vsize=14082740 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5470/task/5481/stat : 5481 (java) R 5467 5470 1924 0 -1 4202560 439 0 0 0 1 0 0 0 20 0 15 0 42925297 14420725760 12451 33554432000 4194304 4196468 140726165407952 140705885091952 140706325004064 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5482] ppid=5467 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/5470/task/5482/stat : 5482 (java) S 5467 5470 1924 0 -1 1077944384 163 0 0 0 1 0 0 0 20 0 15 0 42925297 14420725760 12451 33554432000 4194304 4196468 140726165407952 140705884039152 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5483] ppid=5467 vsize=14082740 memory=140066409301632 CPUtime=0.05 cores=1,3,5,7
/proc/5470/task/5483/stat : 5483 (java) R 5467 5470 1924 0 -1 4202560 297 0 0 0 5 0 0 0 20 0 15 0 42925297 14420725760 12451 33554432000 4194304 4196468 140726165407952 140705882980528 140706347077014 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5484] ppid=5467 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5484/stat : 5484 (java) S 5467 5470 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42925297 14420725760 12451 33554432000 4194304 4196468 140726165407952 140705881934304 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5485] ppid=5467 vsize=14082740 memory=140066409301632 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5485/stat : 5485 (java) S 5467 5470 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42925298 14420725760 12451 33554432000 4194304 4196468 140726165407952 140705251191728 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 49804 KiB

[startup+0.310639 s]*
/proc/loadavg: 1.52 1.50 1.48 3/219 5485
/proc/meminfo: memFree=27243052/32770624 swapFree=67108860/67108860
[pid=5470] ppid=5467 vsize=14082740 memory=53192 CPUtime=0.44 cores=1,3,5,7
/proc/5470/stat : 5470 (java) S 5467 5470 1924 0 -1 1077944320 10912 0 0 0 41 3 0 0 20 0 15 0 42925292 14420725760 13298 33554432000 4194304 4196468 140726165407952 140726165390496 140706347065079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
/proc/5470/statm: 3520685 13298 3413 1 0 3482761 0
[pid=5470/tid=5472] ppid=5467 vsize=14082740 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (java) R 5467 5470 1924 0 -1 4202560 8594 0 0 0 28 2 0 0 20 0 15 0 42925292 14420725760 13298 33554432000 4194304 4196468 140726165407952 140706351276592 140706328628626 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5473] ppid=5467 vsize=14082740 memory=4294980951 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (java) S 5467 5470 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42925293 14420725760 13298 33554432000 4194304 4196468 140726165407952 140706284665232 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5474] ppid=5467 vsize=14082740 memory=140066409544245 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5474/stat : 5474 (java) S 5467 5470 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42925293 14420725760 13298 33554432000 4194304 4196468 140726165407952 140705941428496 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5475] ppid=5467 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5475/stat : 5475 (java) S 5467 5470 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42925293 14420725760 13298 33554432000 4194304 4196468 140726165407952 140705940376208 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5476] ppid=5467 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5476/stat : 5476 (java) S 5467 5470 1924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42925293 14420725760 13298 33554432000 4194304 4196468 140726165407952 140705939323408 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5477] ppid=5467 vsize=14082740 memory=140066409301632 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5477/stat : 5477 (java) S 5467 5470 1924 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 42925294 14420725760 13298 33554432000 4194304 4196468 140726165407952 140705889303152 140706347076226 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5478] ppid=5467 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5478/stat : 5478 (java) S 5467 5470 1924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42925295 14420725760 13298 33554432000 4194304 4196468 140726165407952 140705888249120 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5479] ppid=5467 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5479/stat : 5479 (java) S 5467 5470 1924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42925295 14420725760 13298 33554432000 4194304 4196468 140726165407952 140705887196784 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5480] ppid=5467 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5480/stat : 5480 (java) S 5467 5470 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42925297 14420725760 13298 33554432000 4194304 4196468 140726165407952 140705886145104 140706347083675 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5481] ppid=5467 vsize=14082740 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5470/task/5481/stat : 5481 (java) S 5467 5470 1924 0 -1 1077944384 466 0 0 0 3 0 0 0 20 0 15 0 42925297 14420725760 13298 33554432000 4194304 4196468 140726165407952 140705885091952 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5482] ppid=5467 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/5470/task/5482/stat : 5482 (java) S 5467 5470 1924 0 -1 1077944384 163 0 0 0 1 0 0 0 20 0 15 0 42925297 14420725760 13298 33554432000 4194304 4196468 140726165407952 140705884039152 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5483] ppid=5467 vsize=14082740 memory=140066409301632 CPUtime=0.08 cores=1,3,5,7
/proc/5470/task/5483/stat : 5483 (java) S 5467 5470 1924 0 -1 1077944384 308 0 0 0 8 0 0 0 20 0 15 0 42925297 14420725760 13298 33554432000 4194304 4196468 140726165407952 140705882986864 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5484] ppid=5467 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5484/stat : 5484 (java) S 5467 5470 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42925297 14420725760 13298 33554432000 4194304 4196468 140726165407952 140705881934304 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5485] ppid=5467 vsize=14082740 memory=140066409301632 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5485/stat : 5485 (java) S 5467 5470 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42925298 14420725760 13298 33554432000 4194304 4196468 140726165407952 140705251191728 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 53192 KiB

[startup+0.700678 s]
/proc/loadavg: 1.52 1.50 1.48 3/219 5485
/proc/meminfo: memFree=27219364/32770624 swapFree=67108860/67108860
[pid=5470] ppid=5467 vsize=14084808 memory=92848 CPUtime=0.98 cores=1,3,5,7
/proc/5470/stat : 5470 (java) S 5467 5470 1924 0 -1 1077944320 17606 0 0 0 93 5 0 0 20 0 15 0 42925292 14422843392 23212 33554432000 4194304 4196468 140726165407952 140726165390496 140706347065079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
/proc/5470/statm: 3521202 23212 3483 1 0 3483273 0
[pid=5470/tid=5472] ppid=5467 vsize=14084808 memory=1236 CPUtime=0.67 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (java) R 5467 5470 1924 0 -1 4202560 14925 0 0 0 63 4 0 0 20 0 15 0 42925292 14422843392 23212 33554432000 4194304 4196468 140726165407952 140706351290496 140706314654924 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5473] ppid=5467 vsize=14084808 memory=9068 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (java) S 5467 5470 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42925293 14422843392 23212 33554432000 4194304 4196468 140726165407952 140706284665232 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5474] ppid=5467 vsize=14084808 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5474/stat : 5474 (java) S 5467 5470 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42925293 14422843392 23212 33554432000 4194304 4196468 140726165407952 140705941428496 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5475] ppid=5467 vsize=14084808 memory=644 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5475/stat : 5475 (java) S 5467 5470 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42925293 14422843392 23212 33554432000 4194304 4196468 140726165407952 140705940376208 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5476] ppid=5467 vsize=14084808 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5476/stat : 5476 (java) S 5467 5470 1924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42925293 14422843392 23212 33554432000 4194304 4196468 140726165407952 140705939323408 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5477] ppid=5467 vsize=14084808 memory=956 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5477/stat : 5477 (java) S 5467 5470 1924 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 42925294 14422843392 23212 33554432000 4194304 4196468 140726165407952 140705889303152 140706347076226 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5478] ppid=5467 vsize=14084808 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5478/stat : 5478 (java) S 5467 5470 1924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 42925295 14422843392 23212 33554432000 4194304 4196468 140726165407952 140705888249120 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5479] ppid=5467 vsize=14084808 memory=928 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5479/stat : 5479 (java) S 5467 5470 1924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 42925295 14422843392 23212 33554432000 4194304 4196468 140726165407952 140705887196784 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5480] ppid=5467 vsize=14084808 memory=6153431502485415525 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5480/stat : 5480 (java) S 5467 5470 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42925297 14422843392 23212 33554432000 4194304 4196468 140726165407952 140705886145104 140706347083675 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5481] ppid=5467 vsize=14084808 memory=7450757349647805273 CPUtime=0.06 cores=1,3,5,7
/proc/5470/task/5481/stat : 5481 (java) S 5467 5470 1924 0 -1 1077944384 606 0 0 0 6 0 0 0 20 0 15 0 42925297 14422843392 23212 33554432000 4194304 4196468 140726165407952 140705885091952 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5482] ppid=5467 vsize=14084808 memory=6300092137356946789 CPUtime=0.08 cores=1,3,5,7
/proc/5470/task/5482/stat : 5482 (java) S 5467 5470 1924 0 -1 1077944384 328 0 0 0 8 0 0 0 20 0 15 0 42925297 14422843392 23212 33554432000 4194304 4196468 140726165407952 140705884039152 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5483] ppid=5467 vsize=14084808 memory=4640185803565191248 CPUtime=0.15 cores=1,3,5,7
/proc/5470/task/5483/stat : 5483 (java) S 5467 5470 1924 0 -1 1077944384 366 0 0 0 15 0 0 0 20 0 15 0 42925297 14422843392 23212 33554432000 4194304 4196468 140726165407952 140705882986864 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5484] ppid=5467 vsize=14084808 memory=7013061621801575013 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5484/stat : 5484 (java) S 5467 5470 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42925297 14422843392 23212 33554432000 4194304 4196468 140726165407952 140705881934304 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5485] ppid=5467 vsize=14084808 memory=10416 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5485/stat : 5485 (java) S 5467 5470 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42925298 14422843392 23212 33554432000 4194304 4196468 140726165407952 140705251191728 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 92848 KiB

[startup+1.50081 s]
/proc/loadavg: 1.52 1.50 1.48 4/219 5485
/proc/meminfo: memFree=27183264/32770624 swapFree=67108860/67108860
[pid=5470] ppid=5467 vsize=14088904 memory=167224 CPUtime=2.95 cores=1,3,5,7
/proc/5470/stat : 5470 (java) S 5467 5470 1924 0 -1 1077944320 22181 0 0 0 286 9 0 0 20 0 15 0 42925292 14427037696 41806 33554432000 4194304 4196468 140726165407952 140726165390496 140706347065079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
/proc/5470/statm: 3522226 41806 3542 1 0 3484297 0
[pid=5470/tid=5472] ppid=5467 vsize=14088904 memory=152984 CPUtime=1.47 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (java) R 5467 5470 1924 0 -1 4202560 16786 0 0 0 141 6 0 0 20 0 15 0 42925292 14427037696 41806 33554432000 4194304 4196468 140726165407952 140706351300720 140705970418309 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5473] ppid=5467 vsize=14088904 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (java) S 5467 5470 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42925293 14427037696 41806 33554432000 4194304 4196468 140726165407952 140706284665232 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5474] ppid=5467 vsize=14088904 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5474/stat : 5474 (java) S 5467 5470 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42925293 14427037696 41806 33554432000 4194304 4196468 140726165407952 140705941428496 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5475] ppid=5467 vsize=14088904 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5475/stat : 5475 (java) S 5467 5470 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 42925293 14427037696 41806 33554432000 4194304 4196468 140726165407952 140705940376208 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5476] ppid=5467 vsize=14088904 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5476/stat : 5476 (java) S 5467 5470 1924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 42925293 14427037696 41806 33554432000 4194304 4196468 140726165407952 140705939323408 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5477] ppid=5467 vsize=14088904 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5477/stat : 5477 (java) S 5467 5470 1924 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 42925294 14427037696 41806 33554432000 4194304 4196468 140726165407952 140705889303152 140706347076226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0

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

/proc/5470/task/5472/stat : 5472 (java) R 5467 5470 1924 0 -1 4202560 79657 0 0 0 217823 42 0 0 20 0 15 0 42925292 14429134848 100046 33554432000 4194304 4196468 140726165407952 140706351303200 140705974644972 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5473] ppid=5467 vsize=14090952 memory=400184 CPUtime=11.99 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (java) S 5467 5470 1924 0 -1 1077944384 10759 0 0 0 1143 56 0 0 20 0 15 0 42925293 14429134848 100046 33554432000 4194304 4196468 140726165407952 140706284665232 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5474] ppid=5467 vsize=14090952 memory=400184 CPUtime=11.97 cores=1,3,5,7
/proc/5470/task/5474/stat : 5474 (java) S 5467 5470 1924 0 -1 1077944384 9182 0 0 0 1148 49 0 0 20 0 15 0 42925293 14429134848 100046 33554432000 4194304 4196468 140726165407952 140705941428496 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5475] ppid=5467 vsize=14090952 memory=400184 CPUtime=11.95 cores=1,3,5,7
/proc/5470/task/5475/stat : 5475 (java) S 5467 5470 1924 0 -1 1077944384 9070 0 0 0 1138 57 0 0 20 0 15 0 42925293 14429134848 100046 33554432000 4194304 4196468 140726165407952 140705940376208 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5476] ppid=5467 vsize=14090952 memory=400184 CPUtime=11.98 cores=1,3,5,7
/proc/5470/task/5476/stat : 5476 (java) S 5467 5470 1924 0 -1 1077944384 11593 0 0 0 1141 57 0 0 20 0 15 0 42925293 14429134848 100046 33554432000 4194304 4196468 140726165407952 140705939323408 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5477] ppid=5467 vsize=14090952 memory=400184 CPUtime=7.97 cores=1,3,5,7
/proc/5470/task/5477/stat : 5477 (java) S 5467 5470 1924 0 -1 1077944384 8824 0 0 0 739 58 0 0 20 0 15 0 42925294 14429134848 100046 33554432000 4194304 4196468 140726165407952 140705889303152 140706347076226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5478] ppid=5467 vsize=14090952 memory=400184 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5478/stat : 5478 (java) S 5467 5470 1924 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 42925295 14429134848 100046 33554432000 4194304 4196468 140726165407952 140705888249120 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5479] ppid=5467 vsize=14090952 memory=400184 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5479/stat : 5479 (java) S 5467 5470 1924 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 42925295 14429134848 100046 33554432000 4194304 4196468 140726165407952 140705887196784 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5480] ppid=5467 vsize=14090952 memory=400184 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5480/stat : 5480 (java) S 5467 5470 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42925297 14429134848 100046 33554432000 4194304 4196468 140726165407952 140705886145104 140706347083675 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5481] ppid=5467 vsize=14090952 memory=400184 CPUtime=1.6 cores=1,3,5,7
/proc/5470/task/5481/stat : 5481 (java) S 5467 5470 1924 0 -1 1077944384 8995 0 0 0 159 1 0 0 20 0 15 0 42925297 14429134848 100046 33554432000 4194304 4196468 140726165407952 140705885091952 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5482] ppid=5467 vsize=14090952 memory=8112282956445269571 CPUtime=1.7 cores=1,3,5,7
/proc/5470/task/5482/stat : 5482 (java) S 5467 5470 1924 0 -1 1077944384 9133 0 0 0 169 1 0 0 20 0 15 0 42925297 14429134848 100046 33554432000 4194304 4196468 140726165407952 140705884039152 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5483] ppid=5467 vsize=14090952 memory=400184 CPUtime=1 cores=1,3,5,7
/proc/5470/task/5483/stat : 5483 (java) S 5467 5470 1924 0 -1 1077944384 14849 0 0 0 98 2 0 0 20 0 15 0 42925297 14429134848 100046 33554432000 4194304 4196468 140726165407952 140705882986864 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5484] ppid=5467 vsize=14090952 memory=400184 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5484/stat : 5484 (java) S 5467 5470 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42925297 14429134848 100046 33554432000 4194304 4196468 140726165407952 140705881934304 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5485] ppid=5467 vsize=14090952 memory=400184 CPUtime=1.23 cores=1,3,5,7
/proc/5470/task/5485/stat : 5485 (java) S 5467 5470 1924 0 -1 1077944384 944 0 0 0 62 61 0 0 20 0 15 0 42925298 14429134848 100046 33554432000 4194304 4196468 140726165407952 140705251191728 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
Current children cumulated CPU time: 2240.14 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 400184 KiB

[startup+2262.3 s]
/proc/loadavg: 1.45 1.43 1.42 3/220 5676
/proc/meminfo: memFree=25646520/32770624 swapFree=67108860/67108860
[pid=5470] ppid=5467 vsize=14090952 memory=402080 CPUtime=2300.96 cores=1,3,5,7
/proc/5470/stat : 5470 (java) S 5467 5470 1924 0 -1 1077944320 165549 0 0 0 229758 338 0 0 20 0 15 0 42925292 14429134848 100520 33554432000 4194304 4196468 140726165407952 140726165390496 140706347065079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
/proc/5470/statm: 3522738 100520 3599 1 0 3484809 0
[pid=5470/tid=5472] ppid=5467 vsize=14090952 memory=402592 CPUtime=2237.94 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (java) R 5467 5470 1924 0 -1 4202560 80390 0 0 0 223751 43 0 0 20 0 15 0 42925292 14429134848 100520 33554432000 4194304 4196468 140726165407952 140706351303200 140705974880917 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5473] ppid=5467 vsize=14090952 memory=402080 CPUtime=12.31 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (java) S 5467 5470 1924 0 -1 1077944384 10802 0 0 0 1174 57 0 0 20 0 15 0 42925293 14429134848 100520 33554432000 4194304 4196468 140726165407952 140706284665232 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5474] ppid=5467 vsize=14090952 memory=402080 CPUtime=12.28 cores=1,3,5,7
/proc/5470/task/5474/stat : 5474 (java) S 5467 5470 1924 0 -1 1077944384 9276 0 0 0 1178 50 0 0 20 0 15 0 42925293 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705941428496 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5475] ppid=5467 vsize=14090952 memory=164 CPUtime=12.26 cores=1,3,5,7
/proc/5470/task/5475/stat : 5475 (java) S 5467 5470 1924 0 -1 1077944384 9082 0 0 0 1167 59 0 0 20 0 15 0 42925293 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705940376208 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5476] ppid=5467 vsize=14090952 memory=6656426216303648864 CPUtime=12.28 cores=1,3,5,7
/proc/5470/task/5476/stat : 5476 (java) S 5467 5470 1924 0 -1 1077944384 11636 0 0 0 1170 58 0 0 20 0 15 0 42925293 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705939323408 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5477] ppid=5467 vsize=14090952 memory=402592 CPUtime=8.22 cores=1,3,5,7
/proc/5470/task/5477/stat : 5477 (java) S 5467 5470 1924 0 -1 1077944384 8985 0 0 0 762 60 0 0 20 0 15 0 42925294 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705889303152 140706347076226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5478] ppid=5467 vsize=14090952 memory=402592 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5478/stat : 5478 (java) S 5467 5470 1924 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 42925295 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705888249120 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5479] ppid=5467 vsize=14090952 memory=140066265711313 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5479/stat : 5479 (java) S 5467 5470 1924 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 42925295 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705887196784 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5480] ppid=5467 vsize=14090952 memory=402080 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5480/stat : 5480 (java) S 5467 5470 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42925297 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705886145104 140706347083675 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5481] ppid=5467 vsize=14090952 memory=4096 CPUtime=1.6 cores=1,3,5,7
/proc/5470/task/5481/stat : 5481 (java) S 5467 5470 1924 0 -1 1077944384 8997 0 0 0 159 1 0 0 20 0 15 0 42925297 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705885091952 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5482] ppid=5467 vsize=14090952 memory=402080 CPUtime=1.7 cores=1,3,5,7
/proc/5470/task/5482/stat : 5482 (java) S 5467 5470 1924 0 -1 1077944384 9135 0 0 0 169 1 0 0 20 0 15 0 42925297 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705884039152 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5483] ppid=5467 vsize=14090952 memory=10416 CPUtime=1 cores=1,3,5,7
/proc/5470/task/5483/stat : 5483 (java) S 5467 5470 1924 0 -1 1077944384 14851 0 0 0 98 2 0 0 20 0 15 0 42925297 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705882986864 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5484] ppid=5467 vsize=14090952 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5484/stat : 5484 (java) S 5467 5470 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42925297 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705881934304 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5485] ppid=5467 vsize=14090952 memory=14896 CPUtime=1.27 cores=1,3,5,7
/proc/5470/task/5485/stat : 5485 (java) S 5467 5470 1924 0 -1 1077944384 957 0 0 0 64 63 0 0 20 0 15 0 42925298 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705251191728 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
Current children cumulated CPU time: 2300.96 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 402080 KiB

[startup+2322.3 s]
/proc/loadavg: 1.56 1.47 1.43 3/220 5677
/proc/meminfo: memFree=25179388/32770624 swapFree=67108860/67108860
[pid=5470] ppid=5467 vsize=14090952 memory=402080 CPUtime=2361.9 cores=1,3,5,7
/proc/5470/stat : 5470 (java) S 5467 5470 1924 0 -1 1077944320 166790 0 0 0 235843 347 0 0 20 0 15 0 42925292 14429134848 100520 33554432000 4194304 4196468 140726165407952 140726165390496 140706347065079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
/proc/5470/statm: 3522738 100520 3599 1 0 3484809 0
[pid=5470/tid=5472] ppid=5467 vsize=14090952 memory=402080 CPUtime=2297.23 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (java) R 5467 5470 1924 0 -1 4202560 80964 0 0 0 229679 44 0 0 20 0 15 0 42925292 14429134848 100520 33554432000 4194304 4196468 140726165407952 140706351303200 140705974643978 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5473] ppid=5467 vsize=14090952 memory=402080 CPUtime=12.65 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (java) S 5467 5470 1924 0 -1 1077944384 10992 0 0 0 1206 59 0 0 20 0 15 0 42925293 14429134848 100520 33554432000 4194304 4196468 140726165407952 140706284665232 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5474] ppid=5467 vsize=14090952 memory=402080 CPUtime=12.62 cores=1,3,5,7
/proc/5470/task/5474/stat : 5474 (java) S 5467 5470 1924 0 -1 1077944384 9401 0 0 0 1210 52 0 0 20 0 15 0 42925293 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705941428496 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5475] ppid=5467 vsize=14090952 memory=402080 CPUtime=12.6 cores=1,3,5,7
/proc/5470/task/5475/stat : 5475 (java) S 5467 5470 1924 0 -1 1077944384 9194 0 0 0 1200 60 0 0 20 0 15 0 42925293 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705940376208 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5476] ppid=5467 vsize=14090952 memory=402080 CPUtime=12.62 cores=1,3,5,7
/proc/5470/task/5476/stat : 5476 (java) S 5467 5470 1924 0 -1 1077944384 11683 0 0 0 1203 59 0 0 20 0 15 0 42925293 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705939323408 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5477] ppid=5467 vsize=14090952 memory=402080 CPUtime=8.48 cores=1,3,5,7
/proc/5470/task/5477/stat : 5477 (java) S 5467 5470 1924 0 -1 1077944384 9157 0 0 0 787 61 0 0 20 0 15 0 42925294 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705889303152 140706347076226 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5478] ppid=5467 vsize=14090952 memory=402080 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5478/stat : 5478 (java) S 5467 5470 1924 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 42925295 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705888249120 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5479] ppid=5467 vsize=14090952 memory=402080 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5479/stat : 5479 (java) S 5467 5470 1924 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 42925295 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705887196784 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5480] ppid=5467 vsize=14090952 memory=402080 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5480/stat : 5480 (java) S 5467 5470 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42925297 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705886145104 140706347083675 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5481] ppid=5467 vsize=14090952 memory=402080 CPUtime=1.6 cores=1,3,5,7
/proc/5470/task/5481/stat : 5481 (java) S 5467 5470 1924 0 -1 1077944384 8999 0 0 0 159 1 0 0 20 0 15 0 42925297 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705885091952 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5482] ppid=5467 vsize=14090952 memory=402080 CPUtime=1.7 cores=1,3,5,7
/proc/5470/task/5482/stat : 5482 (java) S 5467 5470 1924 0 -1 1077944384 9137 0 0 0 169 1 0 0 20 0 15 0 42925297 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705884039152 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5483] ppid=5467 vsize=14090952 memory=402080 CPUtime=1 cores=1,3,5,7
/proc/5470/task/5483/stat : 5483 (java) S 5467 5470 1924 0 -1 1077944384 14853 0 0 0 98 2 0 0 20 0 15 0 42925297 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705882986864 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5484] ppid=5467 vsize=14090952 memory=402080 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5484/stat : 5484 (java) S 5467 5470 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42925297 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705881934304 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5485] ppid=5467 vsize=14090952 memory=1732 CPUtime=1.3 cores=1,3,5,7
/proc/5470/task/5485/stat : 5485 (java) S 5467 5470 1924 0 -1 1077944384 972 0 0 0 65 65 0 0 20 0 15 0 42925298 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705251191728 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 23 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
Current children cumulated CPU time: 2361.9 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 402080 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2360 s]*
/proc/loadavg: 1.66 1.51 1.44 3/220 5677
/proc/meminfo: memFree=24838800/32770624 swapFree=67108860/67108860
[pid=5470] ppid=5467 vsize=14090952 memory=402080 CPUtime=2400.04 cores=1,3,5,7
/proc/5470/stat : 5470 (java) S 5467 5470 1924 0 -1 1077944320 167616 0 0 0 239654 350 0 0 20 0 15 0 42925292 14429134848 100520 33554432000 4194304 4196468 140726165407952 140726165390496 140706347065079 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
/proc/5470/statm: 3522738 100520 3599 1 0 3484809 0
[pid=5470/tid=5472] ppid=5467 vsize=14090952 memory=2196 CPUtime=2334.54 cores=1,3,5,7
/proc/5470/task/5472/stat : 5472 (java) R 5467 5470 1924 0 -1 4202560 81497 0 0 0 233410 44 0 0 20 0 15 0 42925292 14429134848 100520 33554432000 4194304 4196468 140726165407952 140706351303200 140705974499655 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5473] ppid=5467 vsize=14090952 memory=4126316290023845779 CPUtime=12.81 cores=1,3,5,7
/proc/5470/task/5473/stat : 5473 (java) S 5467 5470 1924 0 -1 1077944384 11037 0 0 0 1222 59 0 0 20 0 15 0 42925293 14429134848 100520 33554432000 4194304 4196468 140726165407952 140706284665232 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5474] ppid=5467 vsize=14090952 memory=840 CPUtime=12.79 cores=1,3,5,7
/proc/5470/task/5474/stat : 5474 (java) S 5467 5470 1924 0 -1 1077944384 9515 0 0 0 1226 53 0 0 20 0 15 0 42925293 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705941428496 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5475] ppid=5467 vsize=14090952 memory=4104 CPUtime=12.77 cores=1,3,5,7
/proc/5470/task/5475/stat : 5475 (java) S 5467 5470 1924 0 -1 1077944384 9276 0 0 0 1216 61 0 0 20 0 15 0 42925293 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705940376208 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5476] ppid=5467 vsize=14090952 memory=1408 CPUtime=12.79 cores=1,3,5,7
/proc/5470/task/5476/stat : 5476 (java) S 5467 5470 1924 0 -1 1077944384 11718 0 0 0 1219 60 0 0 20 0 15 0 42925293 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705939323408 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5477] ppid=5467 vsize=14090952 memory=3220 CPUtime=8.62 cores=1,3,5,7
/proc/5470/task/5477/stat : 5477 (java) S 5467 5470 1924 0 -1 1077944384 9170 0 0 0 800 62 0 0 20 0 15 0 42925294 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705889303152 140706347076226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 26 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5478] ppid=5467 vsize=14090952 memory=402080 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5478/stat : 5478 (java) S 5467 5470 1924 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 42925295 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705888249120 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5479] ppid=5467 vsize=14090952 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5479/stat : 5479 (java) S 5467 5470 1924 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 42925295 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705887196784 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5480] ppid=5467 vsize=14090952 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5480/stat : 5480 (java) S 5467 5470 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42925297 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705886145104 140706347083675 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5481] ppid=5467 vsize=14090952 memory=10940 CPUtime=1.6 cores=1,3,5,7
/proc/5470/task/5481/stat : 5481 (java) S 5467 5470 1924 0 -1 1077944384 9000 0 0 0 159 1 0 0 20 0 15 0 42925297 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705885091952 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5482] ppid=5467 vsize=14090952 memory=1200 CPUtime=1.7 cores=1,3,5,7
/proc/5470/task/5482/stat : 5482 (java) S 5467 5470 1924 0 -1 1077944384 9137 0 0 0 169 1 0 0 20 0 15 0 42925297 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705884039152 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5483] ppid=5467 vsize=14090952 memory=1228 CPUtime=1 cores=1,3,5,7
/proc/5470/task/5483/stat : 5483 (java) S 5467 5470 1924 0 -1 1077944384 14853 0 0 0 98 2 0 0 20 0 15 0 42925297 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705882986864 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5484] ppid=5467 vsize=14090952 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/5470/task/5484/stat : 5484 (java) S 5467 5470 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 42925297 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705881934304 140706347075285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
[pid=5470/tid=5485] ppid=5467 vsize=14090952 memory=1408 CPUtime=1.33 cores=1,3,5,7
/proc/5470/task/5485/stat : 5485 (java) S 5467 5470 1924 0 -1 1077944384 975 0 0 0 67 66 0 0 20 0 15 0 42925298 14429134848 100520 33554432000 4194304 4196468 140726165407952 140705251191728 140706347076226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 23 0 0 6293624 6294260 14442496 140726165414986 140726165415177 140726165415177 140726165417935 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 402080 KiB

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

[startup+2360.02 s]
# the end of solver process 5470 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2396.57 s, system=3.51389 s

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

Child status: 143
Real time (s): 2360.02
CPU time (s): 2400.08
CPU user time (s): 2396.57
CPU system time (s): 3.51389
CPU usage (%): 101.697
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 596164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.57
system time used= 3.51389
maximum resident set size= 612932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168213
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 259875
involuntary context switches= 9049


# summary of solver processes directly reported to runsolver:
#   pid: 5470
#   total CPU time (s): 2400.08
#   total CPU user time (s): 2396.57
#   total CPU system time (s): 3.51389

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.494 second user time and 25.0659 second system time

The end

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

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