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

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2017-07-26	SAT (TO)	202	250.694	240.028

0.21/0.40	c version: 2017-07-26
0.21/0.40	c seed: 718757320
0.21/0.40	c timeout: 264
0.21/0.40	c memlimit: 11000
0.21/0.40	c nbcore: 4
0.39/0.42	c Parsing instance...
3.75/1.78	c Parsing done, starting first complete search...
5.25/2.25	o 150
5.25/2.25	o 151
5.25/2.25	o 152
5.25/2.25	o 153
5.25/2.25	o 154
5.25/2.26	o 155
5.25/2.26	o 156
5.25/2.26	o 157
5.25/2.26	o 158
5.25/2.26	o 159
5.25/2.27	o 160
5.25/2.27	o 161
5.25/2.27	o 162
5.25/2.27	o 163
5.25/2.27	o 164
5.25/2.27	o 165
5.25/2.28	o 166
5.25/2.28	o 167
5.25/2.29	o 168
5.52/2.31	o 169
5.52/2.33	o 170
5.52/2.35	o 171
5.52/2.37	o 172
5.52/2.38	o 173
5.52/2.38	o 174
5.52/2.38	o 175
5.52/2.38	o 176
5.52/2.38	o 177
5.52/2.38	o 178
5.52/2.38	o 179
5.52/2.39	o 180
5.52/2.39	o 181
5.52/2.39	o 182
5.52/2.39	o 183
5.52/2.39	o 184
5.52/2.39	o 185
5.52/2.39	o 186
5.81/2.40	o 187
5.81/2.41	o 188
5.81/2.41	o 189
5.81/2.45	o 190
5.81/2.47	o 191
6.11/2.56	o 192
6.41/2.64	o 193
7.18/3.23	o 194
9.04/4.58	o 195
9.44/4.97	o 196
14.10/9.33	o 197
14.94/10.13	o 198
24.75/19.88	c First complete search done, starting ALNS search...
25.15/20.08	o 199
28.46/22.70	o 200
74.29/67.04	o 201
74.29/67.07	o 202
210.40/200.85	c ALNS done, starting second complete search
210.40/200.85	c Best operator: KSuccessive(399)_FirstFail(valLearnMin) with improvement of: 3
250.63/240.00	s SATISFIABLE
250.63/240.01	v <instantiation>
250.63/240.01	v 	<list>
250.63/240.01	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] z
250.63/240.01	v 	</list>
250.63/240.01	v 	<values>
250.63/240.01	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 1 1 1 0 1 0 0 0 0 1 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 0 0 0 1 1 0 1 0 1 0 1 1 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 1 1 0 1 0 1 1 1 1 1 1 1 1 0 1 1 1 0 1 0 0 1 0 0 0 1 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 1 0 1 1 1 0 1 0 0 0 0 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 1 1 0 0 0 1 1 0 0 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 1 0 1 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 1 1 0 1 1 0 1 0 0 0 1 1 1 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 1 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 1 2 1 1 1 1 2 1 2 1 2 2 2 1 2 1 2 2 2 1 2 1 1 1 1 0 0 0 1 0 0 1 0 1 1 1 0 1 0 2 0 1 0 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 1 0 0 0 1 2 1 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 2 0 0 0 1 0 1 0 0 1 1 2 1 1 0 1 0 0 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 1 2 2 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 2 1 0 1 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 1 1 2 1 0 1 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 2 2 0 1 0 0 1 0 0 0 1 2 2 2 2 0 0 0 0 0 1 0 0 0 1 0 0 1 2 1 1 0 0 1 1 1 0 1 1 1 2 1 1 1 0 1 0 2 0 0 0 1 0 0 0 2 2 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 2 0 1 0 0 0 0 0 1 1 2 2 0 1 0 1 1 2 0 1 0 1 0 0 0 0 0 1 1 2 1 0 1 0 0 0 0 1 1 1 1 0 1 0 1 1 1 0 1 0 1 0 0 1 0 0 1 1 1 1 0 0 26 80 134 188 242 296 350 399 431 445 458 474 481 492 505 512 514 524 534 539 543 552 564 581 602 614 633 648 202 
250.63/240.01	v 	</values>
250.63/240.01	v </instantiation>

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4256829-1501626048/watcher-4256829-1501626048 -o /tmp/evaluation-result-4256829-1501626048/solver-4256829-1501626048 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501623034-14464 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 718757320 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256829-1501626048.xml 

pid=16069
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.59 1.62 1.68 5/193 16072
/proc/meminfo: memFree=31825288/32770624 swapFree=0/198132
[pid=16072] ppid=16069 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/16072/stat : 16072 (runsolver) D 16069 16072 5131 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 11225112 24240128 107 18446744073709551615 4194304 4338465 140732035605792 140732035603432 139670669152983 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 11313152 140732035612779 140732035613254 140732035613254 140732035616714 0
/proc/16072/statm: 5918 107 54 36 0 2156 0

[startup+0.100184 s]
/proc/loadavg: 1.59 1.62 1.68 5/193 16072
/proc/meminfo: memFree=31825288/32770624 swapFree=0/198132
[pid=16072] ppid=16069 vsize=292 CPUtime=0 cores=0,2,4,6
/proc/16072/stat : 16072 (java) R 16069 16072 5131 0 -1 4194304 126 0 0 0 0 0 0 0 20 0 1 0 11225112 299008 1 18446744073709551615 4194304 4196468 140722223063520 140722223063520 139890132317910 0 0 1 0 0 0 0 17 4 0 0 9 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
/proc/16072/statm: 74 1 0 1 0 38 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 292

[startup+0.200259 s]
/proc/loadavg: 1.59 1.62 1.68 5/193 16072
/proc/meminfo: memFree=31825288/32770624 swapFree=0/198132
[pid=16072] ppid=16069 vsize=13906484 CPUtime=0.05 cores=0,2,4,6
/proc/16072/stat : 16072 (java) S 16069 16072 5131 0 -1 1077944320 4618 0 0 0 4 1 0 0 20 0 14 0 11225112 14240239616 5168 18446744073709551615 4194304 4196468 140722223063520 140722223046064 139890130124535 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
/proc/16072/statm: 3476621 5168 2579 1 0 3466126 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13906484

[startup+0.300384 s]
/proc/loadavg: 1.59 1.62 1.68 5/193 16072
/proc/meminfo: memFree=31825288/32770624 swapFree=0/198132
[pid=16072] ppid=16069 vsize=13975920 CPUtime=0.21 cores=0,2,4,6
/proc/16072/stat : 16072 (java) S 16069 16072 5131 0 -1 1077944320 9605 0 0 0 18 3 0 0 20 0 15 0 11225112 14311342080 9514 18446744073709551615 4194304 4196468 140722223063520 140722223046064 139890130124535 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
/proc/16072/statm: 3493980 9514 3524 1 0 3482767 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 13975920

[startup+0.703608 s]
/proc/loadavg: 1.59 1.62 1.68 5/193 16072
/proc/meminfo: memFree=31825288/32770624 swapFree=0/198132
[pid=16072] ppid=16069 vsize=13977988 CPUtime=1.03 cores=0,2,4,6
/proc/16072/stat : 16072 (java) S 16069 16072 5131 0 -1 1077944320 13569 0 0 0 98 5 0 0 20 0 15 0 11225112 14313459712 16853 18446744073709551615 4194304 4196468 140722223063520 140722223046064 139890130124535 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
/proc/16072/statm: 3494497 16853 3715 1 0 3483279 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 13977988

[startup+1.5006 s]
/proc/loadavg: 1.59 1.62 1.68 2/189 16107
/proc/meminfo: memFree=31797924/32770624 swapFree=0/198124
[pid=16072] ppid=16069 vsize=13982084 CPUtime=3.37 cores=0,2,4,6
/proc/16072/stat : 16072 (java) S 16069 16072 5131 0 -1 1077944320 29669 0 0 0 324 13 0 0 20 0 15 0 11225112 14317654016 56950 18446744073709551615 4194304 4196468 140722223063520 140722223046064 139890130124535 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
/proc/16072/statm: 3495521 56950 3781 1 0 3484303 0
[pid=16072/tid=16074] ppid=16069 vsize=13982084 CPUtime=1.31 cores=0,2,4,6
/proc/16072/task/16074/stat : 16074 (java) R 16069 16072 5131 0 -1 4202560 15161 0 0 0 123 8 0 0 20 0 15 0 11225122 14317654016 56950 18446744073709551615 4194304 4196468 140722223063520 139890134356184 139889725936624 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16075] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16075/stat : 16075 (java) S 16069 16072 5131 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 11225123 14317654016 56950 18446744073709551615 4194304 4196468 140722223063520 139890049539216 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16076] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16076/stat : 16076 (java) S 16069 16072 5131 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 15 0 11225123 14317654016 56950 18446744073709551615 4194304 4196468 140722223063520 139890048486416 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16077] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16077/stat : 16077 (java) S 16069 16072 5131 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 11225123 14317654016 56950 18446744073709551615 4194304 4196468 140722223063520 139890047433616 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16078] ppid=16069 vsize=13982020 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16078/stat : 16078 (java) S 16069 16072 5131 0 -1 1077944384 79 0 0 0 0 0 0 0 20 0 15 0 11225123 14317588480 56951 18446744073709551615 4194304 4196468 140722223063520 139890046380816 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16079] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16079/stat : 16079 (java) S 16069 16072 5131 0 -1 1077944384 716 0 0 0 0 0 0 0 20 0 15 0 11225124 14317654016 56951 18446744073709551615 4194304 4196468 140722223063520 139889608223088 139890130135682 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16080] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16080/stat : 16080 (java) S 16069 16072 5131 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 11225125 14317654016 56951 18446744073709551615 4194304 4196468 140722223063520 139889607169056 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16081] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16081/stat : 16081 (java) S 16069 16072 5131 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 11225125 14317654016 56951 18446744073709551615 4194304 4196468 140722223063520 139889606116208 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16082] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16082/stat : 16082 (java) S 16069 16072 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11225127 14317654016 56951 18446744073709551615 4194304 4196468 140722223063520 139889605064528 139890130143131 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16083] ppid=16069 vsize=13982084 CPUtime=0.65 cores=0,2,4,6
/proc/16072/task/16083/stat : 16083 (java) S 16069 16072 5131 0 -1 1077944384 3501 0 0 0 65 0 0 0 20 0 15 0 11225127 14317654016 56951 18446744073709551615 4194304 4196468 140722223063520 139889604012912 139890130135682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16084] ppid=16069 vsize=13982084 CPUtime=0.62 cores=0,2,4,6
/proc/16072/task/16084/stat : 16084 (java) R 16069 16072 5131 0 -1 4202560 2113 0 0 0 62 0 0 0 20 0 15 0 11225127 14317654016 56951 18446744073709551615 4194304 4196468 140722223063520 139889602938752 139890114027616 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16085] ppid=16069 vsize=13982084 CPUtime=0.69 cores=0,2,4,6
/proc/16072/task/16085/stat : 16085 (java) R 16069 16072 5131 0 -1 4202560 6153 0 0 0 69 0 0 0 20 0 15 0 11225127 14317654016 56951 18446744073709551615 4194304 4196468 140722223063520 139889601904976 139890123221371 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16086] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16086/stat : 16086 (java) S 16069 16072 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11225128 14317654016 56951 18446744073709551615 4194304 4196468 140722223063520 139889600854752 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16087] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16087/stat : 16087 (java) S 16069 16072 5131 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 11225132 14317654016 56951 18446744073709551615 4194304 4196468 140722223063520 139889599802032 139890130135682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
Current children cumulated CPU time (s) 3.37
Current children cumulated vsize (KiB) 13982084

[startup+3.10071 s]
/proc/loadavg: 1.78 1.66 1.69 7/209 16136
/proc/meminfo: memFree=31522196/32770624 swapFree=0/198136
[pid=16072] ppid=16069 vsize=13982084 CPUtime=7.18 cores=0,2,4,6
/proc/16072/stat : 16072 (java) S 16069 16072 5131 0 -1 1077944320 33986 0 0 0 698 20 0 0 20 0 15 0 11225112 14317654016 86367 18446744073709551615 4194304 4196468 140722223063520 140722223046064 139890130124535 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
/proc/16072/statm: 3495521 86367 3799 1 0 3484303 0
[pid=16072/tid=16074] ppid=16069 vsize=13982084 CPUtime=2.87 cores=0,2,4,6
/proc/16072/task/16074/stat : 16074 (java) R 16069 16072 5131 0 -1 4202560 15587 0 0 0 278 9 0 0 20 0 15 0 11225122 14317654016 86367 18446744073709551615 4194304 4196468 140722223063520 139890134360384 139889727973009 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16075] ppid=16069 vsize=13982084 CPUtime=0.03 cores=0,2,4,6
/proc/16072/task/16075/stat : 16075 (java) S 16069 16072 5131 0 -1 1077944384 357 0 0 0 2 1 0 0 20 0 15 0 11225123 14317654016 86367 18446744073709551615 4194304 4196468 140722223063520 139890049539216 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16076] ppid=16069 vsize=13982084 CPUtime=0.03 cores=0,2,4,6
/proc/16072/task/16076/stat : 16076 (java) S 16069 16072 5131 0 -1 1077944384 254 0 0 0 2 1 0 0 20 0 15 0 11225123 14317654016 86367 18446744073709551615 4194304 4196468 140722223063520 139890048486416 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16077] ppid=16069 vsize=13982084 CPUtime=0.03 cores=0,2,4,6
/proc/16072/task/16077/stat : 16077 (java) S 16069 16072 5131 0 -1 1077944384 98 0 0 0 2 1 0 0 20 0 15 0 11225123 14317654016 86367 18446744073709551615 4194304 4196468 140722223063520 139890047433616 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16078] ppid=16069 vsize=13982084 CPUtime=0.03 cores=0,2,4,6
/proc/16072/task/16078/stat : 16078 (java) S 16069 16072 5131 0 -1 1077944384 138 0 0 0 2 1 0 0 20 0 15 0 11225123 14317654016 86367 18446744073709551615 4194304 4196468 140722223063520 139890046380816 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16079] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16079/stat : 16079 (java) S 16069 16072 5131 0 -1 1077944384 717 0 0 0 0 0 0 0 20 0 15 0 11225124 14317654016 86367 18446744073709551615 4194304 4196468 140722223063520 139889608223088 139890130135682 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16080] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16080/stat : 16080 (java) S 16069 16072 5131 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 11225125 14317654016 86367 18446744073709551615 4194304 4196468 140722223063520 139889607169120 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16081] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16081/stat : 16081 (java) S 16069 16072 5131 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 11225125 14317654016 86367 18446744073709551615 4194304 4196468 140722223063520 139889606116224 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16082] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16082/stat : 16082 (java) S 16069 16072 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11225127 14317654016 86367 18446744073709551615 4194304 4196468 140722223063520 139889605064528 139890130143131 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16083] ppid=16069 vsize=13982084 CPUtime=1.66 cores=0,2,4,6
/proc/16072/task/16083/stat : 16083 (java) S 16069 16072 5131 0 -1 1077944384 5535 0 0 0 165 1 0 0 20 0 15 0 11225127 14317654016 86367 18446744073709551615 4194304 4196468 140722223063520 139889604012912 139890130135682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16084] ppid=16069 vsize=13982084 CPUtime=1.59 cores=0,2,4,6
/proc/16072/task/16084/stat : 16084 (java) S 16069 16072 5131 0 -1 1077944384 3526 0 0 0 158 1 0 0 20 0 15 0 11225127 14317654016 86367 18446744073709551615 4194304 4196468 140722223063520 139889602960112 139890130135682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16085] ppid=16069 vsize=13982084 CPUtime=0.83 cores=0,2,4,6
/proc/16072/task/16085/stat : 16085 (java) S 16069 16072 5131 0 -1 1077944384 6355 0 0 0 83 0 0 0 20 0 15 0 11225127 14317654016 86367 18446744073709551615 4194304 4196468 140722223063520 139889601907312 139890130135682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16086] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16086/stat : 16086 (java) S 16069 16072 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11225128 14317654016 86367 18446744073709551615 4194304 4196468 140722223063520 139889600854752 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16087] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16087/stat : 16087 (java) S 16069 16072 5131 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 11225132 14317654016 86367 18446744073709551615 4194304 4196468 140722223063520 139889599802032 139890130135682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
Current children cumulated CPU time (s) 7.18
Current children cumulated vsize (KiB) 13982084

[startup+6.30869 s]
/proc/loadavg: 1.78 1.66 1.69 3/209 16136
/proc/meminfo: memFree=31015372/32770624 swapFree=0/198144
[pid=16072] ppid=16069 vsize=13982084 CPUtime=10.92 cores=0,2,4,6
/proc/16072/stat : 16072 (java) S 16069 16072 5131 0 -1 1077944320 34623 0 0 0 1065 27 0 0 20 0 15 0 11225112 14317654016 109233 18446744073709551615 4194304 4196468 140722223063520 140722223046064 139890130124535 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
/proc/16072/statm: 3495521 109233 3804 1 0 3484303 0
[pid=16072/tid=16074] ppid=16069 vsize=13982084 CPUtime=6.04 cores=0,2,4,6
/proc/16072/task/16074/stat : 16074 (java) R 16069 16072 5131 0 -1 4202560 15678 0 0 0 594 10 0 0 20 0 15 0 11225122 14317654016 109233 18446744073709551615 4194304 4196468 140722223063520 139890134359728 139889728615113 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16075] ppid=16069 vsize=13982084 CPUtime=0.07 cores=0,2,4,6
/proc/16072/task/16075/stat : 16075 (java) S 16069 16072 5131 0 -1 1077944384 387 0 0 0 4 3 0 0 20 0 15 0 11225123 14317654016 109233 18446744073709551615 4194304 4196468 140722223063520 139890049539216 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16076] ppid=16069 vsize=13982084 CPUtime=0.08 cores=0,2,4,6
/proc/16072/task/16076/stat : 16076 (java) S 16069 16072 5131 0 -1 1077944384 351 0 0 0 5 3 0 0 20 0 15 0 11225123 14317654016 109233 18446744073709551615 4194304 4196468 140722223063520 139890048486416 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16077] ppid=16069 vsize=13982084 CPUtime=0.08 cores=0,2,4,6
/proc/16072/task/16077/stat : 16077 (java) S 16069 16072 5131 0 -1 1077944384 130 0 0 0 5 3 0 0 20 0 15 0 11225123 14317654016 109233 18446744073709551615 4194304 4196468 140722223063520 139890047433616 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16078] ppid=16069 vsize=13982084 CPUtime=0.08 cores=0,2,4,6
/proc/16072/task/16078/stat : 16078 (java) S 16069 16072 5131 0 -1 1077944384 239 0 0 0 5 3 0 0 20 0 15 0 11225123 14317654016 109233 18446744073709551615 4194304 4196468 140722223063520 139890046380816 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16079] ppid=16069 vsize=13982084 CPUtime=0.01 cores=0,2,4,6
/proc/16072/task/16079/stat : 16079 (java) S 16069 16072 5131 0 -1 1077944384 844 0 0 0 1 0 0 0 20 0 15 0 11225124 14317654016 109233 18446744073709551615 4194304 4196468 140722223063520 139889608223088 139890130135682 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16080] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16080/stat : 16080 (java) S 16069 16072 5131 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 11225125 14317654016 109233 18446744073709551615 4194304 4196468 140722223063520 139889607169120 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16081] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16081/stat : 16081 (java) S 16069 16072 5131 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 11225125 14317654016 109233 18446744073709551615 4194304 4196468 140722223063520 139889606116224 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16082] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16082/stat : 16082 (java) S 16069 16072 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11225127 14317654016 109233 18446744073709551615 4194304 4196468 140722223063520 139889605064528 139890130143131 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16083] ppid=16069 vsize=13982084 CPUtime=1.81 cores=0,2,4,6
/proc/16072/task/16083/stat : 16083 (java) S 16069 16072 5131 0 -1 1077944384 5553 0 0 0 180 1 0 0 20 0 15 0 11225127 14317654016 109233 18446744073709551615 4194304 4196468 140722223063520 139889604012912 139890130135682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16084] ppid=16069 vsize=13982084 CPUtime=1.83 cores=0,2,4,6
/proc/16072/task/16084/stat : 16084 (java) R 16069 16072 5131 0 -1 4202560 3639 0 0 0 182 1 0 0 20 0 15 0 11225127 14317654016 109233 18446744073709551615 4194304 4196468 140722223063520 139889602960408 139890111643958 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16085] ppid=16069 vsize=13982084 CPUtime=0.85 cores=0,2,4,6
/proc/16072/task/16085/stat : 16085 (java) S 16069 16072 5131 0 -1 1077944384 6376 0 0 0 85 0 0 0 20 0 15 0 11225127 14317654016 109233 18446744073709551615 4194304 4196468 140722223063520 139889601907312 139890130135682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16086] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16086/stat : 16086 (java) S 16069 16072 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11225128 14317654016 109233 18446744073709551615 4194304 4196468 140722223063520 139889600854752 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16087] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16087/stat : 16087 (java) S 16069 16072 5131 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 11225132 14317654016 109233 18446744073709551615 4194304 4196468 140722223063520 139889599802032 139890130135682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
Current children cumulated CPU time (s) 10.92
Current children cumulated vsize (KiB) 13982084

[startup+12.7007 s]
/proc/loadavg: 1.89 1.69 1.70 3/209 16137
/proc/meminfo: memFree=30486756/32770624 swapFree=0/198156
[pid=16072] ppid=16069 vsize=13982084 CPUtime=17.6 cores=0,2,4,6
/proc/16072/stat : 16072 (java) S 16069 16072 5131 0 -1 1077944320 39843 0 0 0 1723 37 0 0 20 0 15 0 11225112 14317654016 174643 18446744073709551615 4194304 4196468 140722223063520 140722223046064 139890130124535 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
/proc/16072/statm: 3495521 174643 3804 1 0 3484303 0
[pid=16072/tid=16074] ppid=16069 vsize=13982084 CPUtime=12.38 cores=0,2,4,6
/proc/16072/task/16074/stat : 16074 (java) R 16069 16072 5131 0 -1 4202560 17362 0 0 0 1225 13 0 0 20 0 15 0 11225122 14317654016 174643 18446744073709551615 4194304 4196468 140722223063520 139890134360608 139889728613201 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16075] ppid=16069 vsize=13982084 CPUtime=0.11 cores=0,2,4,6
/proc/16072/task/16075/stat : 16075 (java) S 16069 16072 5131 0 -1 1077944384 883 0 0 0 6 5 0 0 20 0 15 0 11225123 14317654016 174643 18446744073709551615 4194304 4196468 140722223063520 139890049539216 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16076] ppid=16069 vsize=13982084 CPUtime=0.11 cores=0,2,4,6
/proc/16072/task/16076/stat : 16076 (java) S 16069 16072 5131 0 -1 1077944384 1487 0 0 0 7 4 0 0 20 0 15 0 11225123 14317654016 174643 18446744073709551615 4194304 4196468 140722223063520 139890048486416 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16077] ppid=16069 vsize=13982084 CPUtime=0.1 cores=0,2,4,6
/proc/16072/task/16077/stat : 16077 (java) S 16069 16072 5131 0 -1 1077944384 164 0 0 0 6 4 0 0 20 0 15 0 11225123 14317654016 174643 18446744073709551615 4194304 4196468 140722223063520 139890047433616 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16078] ppid=16069 vsize=13982084 CPUtime=0.11 cores=0,2,4,6
/proc/16072/task/16078/stat : 16078 (java) S 16069 16072 5131 0 -1 1077944384 468 0 0 0 6 5 0 0 20 0 15 0 11225123 14317654016 174643 18446744073709551615 4194304 4196468 140722223063520 139890046380816 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16079] ppid=16069 vsize=13982084 CPUtime=0.02 cores=0,2,4,6
/proc/16072/task/16079/stat : 16079 (java) S 16069 16072 5131 0 -1 1077944384 1319 0 0 0 2 0 0 0 20 0 15 0 11225124 14317654016 174643 18446744073709551615 4194304 4196468 140722223063520 139889608223088 139890130135682 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16080] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16080/stat : 16080 (java) S 16069 16072 5131 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 11225125 14317654016 174643 18446744073709551615 4194304 4196468 140722223063520 139889607169120 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16081] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16081/stat : 16081 (java) S 16069 16072 5131 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 11225125 14317654016 174643 18446744073709551615 4194304 4196468 140722223063520 139889606116224 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16082] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16082/stat : 16082 (java) S 16069 16072 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11225127 14317654016 174643 18446744073709551615 4194304 4196468 140722223063520 139889605064528 139890130143131 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0

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

/proc/16072/task/16086/stat : 16086 (java) S 16069 16072 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11225128 14317654016 566705 18446744073709551615 4194304 4196468 140722223063520 139889600854752 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16087] ppid=16069 vsize=13982084 CPUtime=0.02 cores=0,2,4,6
/proc/16072/task/16087/stat : 16087 (java) S 16069 16072 5131 0 -1 1077944384 206 0 0 0 1 1 0 0 20 0 15 0 11225132 14317654016 566705 18446744073709551615 4194304 4196468 140722223063520 139889599802032 139890130135682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
Current children cumulated CPU time (s) 58.19
Current children cumulated vsize (KiB) 13982084

[startup+102.301 s]
/proc/loadavg: 1.89 1.76 1.72 3/209 16140
/proc/meminfo: memFree=27300700/32770624 swapFree=0/198248
[pid=16072] ppid=16069 vsize=13982084 CPUtime=110.07 cores=0,2,4,6
/proc/16072/stat : 16072 (java) S 16069 16072 5131 0 -1 1077944320 69891 0 0 0 10924 83 0 0 20 0 15 0 11225112 14317654016 567552 18446744073709551615 4194304 4196468 140722223063520 140722223046064 139890130124535 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
/proc/16072/statm: 3495521 567552 3810 1 0 3484303 0
[pid=16072/tid=16074] ppid=16069 vsize=13982084 CPUtime=101.78 cores=0,2,4,6
/proc/16072/task/16074/stat : 16074 (java) R 16069 16072 5131 0 -1 4202560 28077 0 0 0 10143 35 0 0 20 0 15 0 11225122 14317654016 567552 18446744073709551615 4194304 4196468 140722223063520 139890134362096 139889729935466 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16075] ppid=16069 vsize=13982084 CPUtime=0.28 cores=0,2,4,6
/proc/16072/task/16075/stat : 16075 (java) S 16069 16072 5131 0 -1 1077944384 1256 0 0 0 18 10 0 0 20 0 15 0 11225123 14317654016 567552 18446744073709551615 4194304 4196468 140722223063520 139890049539216 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16076] ppid=16069 vsize=13982084 CPUtime=0.27 cores=0,2,4,6
/proc/16072/task/16076/stat : 16076 (java) S 16069 16072 5131 0 -1 1077944384 1745 0 0 0 18 9 0 0 20 0 15 0 11225123 14317654016 567552 18446744073709551615 4194304 4196468 140722223063520 139890048486416 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16077] ppid=16069 vsize=13982084 CPUtime=0.26 cores=0,2,4,6
/proc/16072/task/16077/stat : 16077 (java) S 16069 16072 5131 0 -1 1077944384 1348 0 0 0 17 9 0 0 20 0 15 0 11225123 14317654016 567552 18446744073709551615 4194304 4196468 140722223063520 139890047433616 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16078] ppid=16069 vsize=13982084 CPUtime=0.27 cores=0,2,4,6
/proc/16072/task/16078/stat : 16078 (java) S 16069 16072 5131 0 -1 1077944384 659 0 0 0 18 9 0 0 20 0 15 0 11225123 14317654016 567552 18446744073709551615 4194304 4196468 140722223063520 139890046380816 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16079] ppid=16069 vsize=13982084 CPUtime=0.04 cores=0,2,4,6
/proc/16072/task/16079/stat : 16079 (java) S 16069 16072 5131 0 -1 1077944384 2891 0 0 0 4 0 0 0 20 0 15 0 11225124 14317654016 567552 18446744073709551615 4194304 4196468 140722223063520 139889608223088 139890130135682 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16080] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16080/stat : 16080 (java) S 16069 16072 5131 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 11225125 14317654016 567552 18446744073709551615 4194304 4196468 140722223063520 139889607169120 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16081] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16081/stat : 16081 (java) S 16069 16072 5131 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 11225125 14317654016 567552 18446744073709551615 4194304 4196468 140722223063520 139889606116224 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16082] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16082/stat : 16082 (java) S 16069 16072 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11225127 14317654016 567552 18446744073709551615 4194304 4196468 140722223063520 139889605064528 139890130143131 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16083] ppid=16069 vsize=13982084 CPUtime=2.75 cores=0,2,4,6
/proc/16072/task/16083/stat : 16083 (java) S 16069 16072 5131 0 -1 1077944384 10183 0 0 0 273 2 0 0 20 0 15 0 11225127 14317654016 567552 18446744073709551615 4194304 4196468 140722223063520 139889604012912 139890130135682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16084] ppid=16069 vsize=13982084 CPUtime=3.14 cores=0,2,4,6
/proc/16072/task/16084/stat : 16084 (java) S 16069 16072 5131 0 -1 1077944384 9963 0 0 0 312 2 0 0 20 0 15 0 11225127 14317654016 567552 18446744073709551615 4194304 4196468 140722223063520 139889602960112 139890130135682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16085] ppid=16069 vsize=13982084 CPUtime=1.12 cores=0,2,4,6
/proc/16072/task/16085/stat : 16085 (java) S 16069 16072 5131 0 -1 1077944384 12025 0 0 0 111 1 0 0 20 0 15 0 11225127 14317654016 567552 18446744073709551615 4194304 4196468 140722223063520 139889601907312 139890130135682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16086] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16086/stat : 16086 (java) S 16069 16072 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11225128 14317654016 567552 18446744073709551615 4194304 4196468 140722223063520 139889600854752 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16087] ppid=16069 vsize=13982084 CPUtime=0.05 cores=0,2,4,6
/proc/16072/task/16087/stat : 16087 (java) S 16069 16072 5131 0 -1 1077944384 308 0 0 0 3 2 0 0 20 0 15 0 11225132 14317654016 567552 18446744073709551615 4194304 4196468 140722223063520 139889599802032 139890130135682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
Current children cumulated CPU time (s) 110.07
Current children cumulated vsize (KiB) 13982084

[startup+162.301 s]
/proc/loadavg: 1.61 1.71 1.71 3/209 16142
/proc/meminfo: memFree=27269696/32770624 swapFree=0/198268
[pid=16072] ppid=16069 vsize=13982084 CPUtime=171.13 cores=0,2,4,6
/proc/16072/stat : 16072 (java) S 16069 16072 5131 0 -1 1077944320 79643 0 0 0 17008 105 0 0 20 0 15 0 11225112 14317654016 571746 18446744073709551615 4194304 4196468 140722223063520 140722223046064 139890130124535 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
/proc/16072/statm: 3495521 571746 3810 1 0 3484303 0
[pid=16072/tid=16074] ppid=16069 vsize=13982084 CPUtime=161.39 cores=0,2,4,6
/proc/16072/task/16074/stat : 16074 (java) R 16069 16072 5131 0 -1 4202560 30355 0 0 0 16103 36 0 0 20 0 15 0 11225122 14317654016 571746 18446744073709551615 4194304 4196468 140722223063520 139890134362208 139889729993079 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16075] ppid=16069 vsize=13982084 CPUtime=0.58 cores=0,2,4,6
/proc/16072/task/16075/stat : 16075 (java) S 16069 16072 5131 0 -1 1077944384 1969 0 0 0 43 15 0 0 20 0 15 0 11225123 14317654016 571746 18446744073709551615 4194304 4196468 140722223063520 139890049539216 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16076] ppid=16069 vsize=13982084 CPUtime=0.58 cores=0,2,4,6
/proc/16072/task/16076/stat : 16076 (java) S 16069 16072 5131 0 -1 1077944384 1907 0 0 0 44 14 0 0 20 0 15 0 11225123 14317654016 571746 18446744073709551615 4194304 4196468 140722223063520 139890048486416 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16077] ppid=16069 vsize=13982084 CPUtime=0.57 cores=0,2,4,6
/proc/16072/task/16077/stat : 16077 (java) S 16069 16072 5131 0 -1 1077944384 1566 0 0 0 43 14 0 0 20 0 15 0 11225123 14317654016 571746 18446744073709551615 4194304 4196468 140722223063520 139890047433616 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16078] ppid=16069 vsize=13982084 CPUtime=0.58 cores=0,2,4,6
/proc/16072/task/16078/stat : 16078 (java) S 16069 16072 5131 0 -1 1077944384 1061 0 0 0 44 14 0 0 20 0 15 0 11225123 14317654016 571746 18446744073709551615 4194304 4196468 140722223063520 139890046380816 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16079] ppid=16069 vsize=13982084 CPUtime=0.08 cores=0,2,4,6
/proc/16072/task/16079/stat : 16079 (java) S 16069 16072 5131 0 -1 1077944384 3118 0 0 0 7 1 0 0 20 0 15 0 11225124 14317654016 571746 18446744073709551615 4194304 4196468 140722223063520 139889608223088 139890130135682 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16080] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16080/stat : 16080 (java) S 16069 16072 5131 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 11225125 14317654016 571746 18446744073709551615 4194304 4196468 140722223063520 139889607169120 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16081] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16081/stat : 16081 (java) S 16069 16072 5131 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 11225125 14317654016 571746 18446744073709551615 4194304 4196468 140722223063520 139889606116224 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16082] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16082/stat : 16082 (java) S 16069 16072 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11225127 14317654016 571746 18446744073709551615 4194304 4196468 140722223063520 139889605064528 139890130143131 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16083] ppid=16069 vsize=13982084 CPUtime=2.8 cores=0,2,4,6
/proc/16072/task/16083/stat : 16083 (java) S 16069 16072 5131 0 -1 1077944384 10980 0 0 0 278 2 0 0 20 0 15 0 11225127 14317654016 571746 18446744073709551615 4194304 4196468 140722223063520 139889604012912 139890130135682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16084] ppid=16069 vsize=13982084 CPUtime=3.23 cores=0,2,4,6
/proc/16072/task/16084/stat : 16084 (java) S 16069 16072 5131 0 -1 1077944384 12503 0 0 0 321 2 0 0 20 0 15 0 11225127 14317654016 571746 18446744073709551615 4194304 4196468 140722223063520 139889602960112 139890130135682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16085] ppid=16069 vsize=13982084 CPUtime=1.14 cores=0,2,4,6
/proc/16072/task/16085/stat : 16085 (java) S 16069 16072 5131 0 -1 1077944384 14390 0 0 0 113 1 0 0 20 0 15 0 11225127 14317654016 571746 18446744073709551615 4194304 4196468 140722223063520 139889601907312 139890130135682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16086] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16086/stat : 16086 (java) S 16069 16072 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11225128 14317654016 571746 18446744073709551615 4194304 4196468 140722223063520 139889600854752 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16087] ppid=16069 vsize=13982084 CPUtime=0.08 cores=0,2,4,6
/proc/16072/task/16087/stat : 16087 (java) S 16069 16072 5131 0 -1 1077944384 358 0 0 0 4 4 0 0 20 0 15 0 11225132 14317654016 571746 18446744073709551615 4194304 4196468 140722223063520 139889599802032 139890130135682 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
Current children cumulated CPU time (s) 171.13
Current children cumulated vsize (KiB) 13982084

[startup+222.307 s]
/proc/loadavg: 1.39 1.63 1.68 3/210 16152
/proc/meminfo: memFree=27154932/32770624 swapFree=0/198304
[pid=16072] ppid=16069 vsize=13982084 CPUtime=232.5 cores=0,2,4,6
/proc/16072/stat : 16072 (java) S 16069 16072 5131 0 -1 1077944320 88799 0 0 0 23123 127 0 0 20 0 15 0 11225112 14317654016 587715 18446744073709551615 4194304 4196468 140722223063520 140722223046064 139890130124535 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
/proc/16072/statm: 3495521 587715 3816 1 0 3484303 0
[pid=16072/tid=16074] ppid=16069 vsize=13982084 CPUtime=220.85 cores=0,2,4,6
/proc/16072/task/16074/stat : 16074 (java) R 16069 16072 5131 0 -1 4202560 33792 0 0 0 22049 36 0 0 20 0 15 0 11225122 14317654016 587715 18446744073709551615 4194304 4196468 140722223063520 139890134362720 139889729382908 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16075] ppid=16069 vsize=13982084 CPUtime=1.01 cores=0,2,4,6
/proc/16072/task/16075/stat : 16075 (java) S 16069 16072 5131 0 -1 1077944384 2332 0 0 0 81 20 0 0 20 0 15 0 11225123 14317654016 587715 18446744073709551615 4194304 4196468 140722223063520 139890049539216 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16076] ppid=16069 vsize=13982084 CPUtime=1.01 cores=0,2,4,6
/proc/16072/task/16076/stat : 16076 (java) S 16069 16072 5131 0 -1 1077944384 2144 0 0 0 82 19 0 0 20 0 15 0 11225123 14317654016 587715 18446744073709551615 4194304 4196468 140722223063520 139890048486416 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16077] ppid=16069 vsize=13982084 CPUtime=1 cores=0,2,4,6
/proc/16072/task/16077/stat : 16077 (java) S 16069 16072 5131 0 -1 1077944384 2429 0 0 0 81 19 0 0 20 0 15 0 11225123 14317654016 587715 18446744073709551615 4194304 4196468 140722223063520 139890047433616 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16078] ppid=16069 vsize=13982084 CPUtime=1.01 cores=0,2,4,6
/proc/16072/task/16078/stat : 16078 (java) S 16069 16072 5131 0 -1 1077944384 1301 0 0 0 82 19 0 0 20 0 15 0 11225123 14317654016 587715 18446744073709551615 4194304 4196468 140722223063520 139890046380816 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16079] ppid=16069 vsize=13982084 CPUtime=0.15 cores=0,2,4,6
/proc/16072/task/16079/stat : 16079 (java) S 16069 16072 5131 0 -1 1077944384 3369 0 0 0 13 2 0 0 20 0 15 0 11225124 14317654016 587715 18446744073709551615 4194304 4196468 140722223063520 139889608223088 139890130135682 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16080] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16080/stat : 16080 (java) S 16069 16072 5131 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 11225125 14317654016 587715 18446744073709551615 4194304 4196468 140722223063520 139889607169120 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16081] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16081/stat : 16081 (java) S 16069 16072 5131 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 11225125 14317654016 587715 18446744073709551615 4194304 4196468 140722223063520 139889606116224 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16082] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16082/stat : 16082 (java) S 16069 16072 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11225127 14317654016 587715 18446744073709551615 4194304 4196468 140722223063520 139889605064528 139890130143131 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16083] ppid=16069 vsize=13982084 CPUtime=2.84 cores=0,2,4,6
/proc/16072/task/16083/stat : 16083 (java) S 16069 16072 5131 0 -1 1077944384 11791 0 0 0 281 3 0 0 20 0 15 0 11225127 14317654016 587715 18446744073709551615 4194304 4196468 140722223063520 139889604012912 139890130135682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16084] ppid=16069 vsize=13982084 CPUtime=3.25 cores=0,2,4,6
/proc/16072/task/16084/stat : 16084 (java) S 16069 16072 5131 0 -1 1077944384 13133 0 0 0 323 2 0 0 20 0 15 0 11225127 14317654016 587715 18446744073709551615 4194304 4196468 140722223063520 139889602960112 139890130135682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16085] ppid=16069 vsize=13982084 CPUtime=1.15 cores=0,2,4,6
/proc/16072/task/16085/stat : 16085 (java) S 16069 16072 5131 0 -1 1077944384 16680 0 0 0 114 1 0 0 20 0 15 0 11225127 14317654016 587715 18446744073709551615 4194304 4196468 140722223063520 139889601907312 139890130135682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16086] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16086/stat : 16086 (java) S 16069 16072 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11225128 14317654016 587715 18446744073709551615 4194304 4196468 140722223063520 139889600854752 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16087] ppid=16069 vsize=13982084 CPUtime=0.12 cores=0,2,4,6
/proc/16072/task/16087/stat : 16087 (java) S 16069 16072 5131 0 -1 1077944384 384 0 0 0 6 6 0 0 20 0 15 0 11225132 14317654016 587715 18446744073709551615 4194304 4196468 140722223063520 139889599802032 139890130135682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
Current children cumulated CPU time (s) 232.5
Current children cumulated vsize (KiB) 13982084



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.22 1.58 1.66 3/210 16152
/proc/meminfo: memFree=27114372/32770624 swapFree=0/198312
[pid=16072] ppid=16069 vsize=13982084 CPUtime=250.63 cores=0,2,4,6
/proc/16072/stat : 16072 (java) S 16069 16072 5131 0 -1 1077944320 91515 0 0 0 24929 134 0 0 20 0 15 0 11225112 14317654016 592502 18446744073709551615 4194304 4196468 140722223063520 140722223046064 139890130124535 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
/proc/16072/statm: 3495521 592502 3816 1 0 3484303 0
[pid=16072/tid=16074] ppid=16069 vsize=13982084 CPUtime=238.35 cores=0,2,4,6
/proc/16072/task/16074/stat : 16074 (java) R 16069 16072 5131 0 -1 4202560 34494 0 0 0 23799 36 0 0 20 0 15 0 11225122 14317654016 592502 18446744073709551615 4194304 4196468 140722223063520 139890134362720 139889729382965 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16075] ppid=16069 vsize=13982084 CPUtime=1.16 cores=0,2,4,6
/proc/16072/task/16075/stat : 16075 (java) S 16069 16072 5131 0 -1 1077944384 2598 0 0 0 94 22 0 0 20 0 15 0 11225123 14317654016 592502 18446744073709551615 4194304 4196468 140722223063520 139890049539216 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16076] ppid=16069 vsize=13982084 CPUtime=1.16 cores=0,2,4,6
/proc/16072/task/16076/stat : 16076 (java) S 16069 16072 5131 0 -1 1077944384 2306 0 0 0 96 20 0 0 20 0 15 0 11225123 14317654016 592502 18446744073709551615 4194304 4196468 140722223063520 139890048486416 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16077] ppid=16069 vsize=13982084 CPUtime=1.16 cores=0,2,4,6
/proc/16072/task/16077/stat : 16077 (java) S 16069 16072 5131 0 -1 1077944384 3030 0 0 0 95 21 0 0 20 0 15 0 11225123 14317654016 592502 18446744073709551615 4194304 4196468 140722223063520 139890047433616 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16078] ppid=16069 vsize=13982084 CPUtime=1.16 cores=0,2,4,6
/proc/16072/task/16078/stat : 16078 (java) S 16069 16072 5131 0 -1 1077944384 1357 0 0 0 95 21 0 0 20 0 15 0 11225123 14317654016 592502 18446744073709551615 4194304 4196468 140722223063520 139890046380816 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16079] ppid=16069 vsize=13982084 CPUtime=0.17 cores=0,2,4,6
/proc/16072/task/16079/stat : 16079 (java) S 16069 16072 5131 0 -1 1077944384 3613 0 0 0 14 3 0 0 20 0 15 0 11225124 14317654016 592502 18446744073709551615 4194304 4196468 140722223063520 139889608223088 139890130135682 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16080] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16080/stat : 16080 (java) S 16069 16072 5131 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 11225125 14317654016 592502 18446744073709551615 4194304 4196468 140722223063520 139889607169120 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16081] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16081/stat : 16081 (java) S 16069 16072 5131 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 11225125 14317654016 592502 18446744073709551615 4194304 4196468 140722223063520 139889606116224 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16082] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16082/stat : 16082 (java) S 16069 16072 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11225127 14317654016 592502 18446744073709551615 4194304 4196468 140722223063520 139889605064528 139890130143131 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16083] ppid=16069 vsize=13982084 CPUtime=2.84 cores=0,2,4,6
/proc/16072/task/16083/stat : 16083 (java) S 16069 16072 5131 0 -1 1077944384 11793 0 0 0 281 3 0 0 20 0 15 0 11225127 14317654016 592502 18446744073709551615 4194304 4196468 140722223063520 139889604012912 139890130135682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16084] ppid=16069 vsize=13982084 CPUtime=3.25 cores=0,2,4,6
/proc/16072/task/16084/stat : 16084 (java) S 16069 16072 5131 0 -1 1077944384 13794 0 0 0 323 2 0 0 20 0 15 0 11225127 14317654016 592502 18446744073709551615 4194304 4196468 140722223063520 139889602960112 139890130135682 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16085] ppid=16069 vsize=13982084 CPUtime=1.15 cores=0,2,4,6
/proc/16072/task/16085/stat : 16085 (java) S 16069 16072 5131 0 -1 1077944384 16682 0 0 0 114 1 0 0 20 0 15 0 11225127 14317654016 592502 18446744073709551615 4194304 4196468 140722223063520 139889601907312 139890130135682 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16086] ppid=16069 vsize=13982084 CPUtime=0 cores=0,2,4,6
/proc/16072/task/16086/stat : 16086 (java) S 16069 16072 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11225128 14317654016 592502 18446744073709551615 4194304 4196468 140722223063520 139889600854752 139890130134741 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
[pid=16072/tid=16087] ppid=16069 vsize=13982084 CPUtime=0.13 cores=0,2,4,6
/proc/16072/task/16087/stat : 16087 (java) S 16069 16072 5131 0 -1 1077944384 404 0 0 0 7 6 0 0 20 0 15 0 11225132 14317654016 592502 18446744073709551615 4194304 4196468 140722223063520 139889599802032 139890130135682 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31584256 140722223067542 140722223067723 140722223067723 140722223071183 0
Current children cumulated CPU time (s) 250.63
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 16072 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.028
CPU time (s): 250.694
CPU user time (s): 249.331
CPU system time (s): 1.36367
CPU usage (%): 104.444
Max. virtual memory (cumulated for all children) (KiB): 13982084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.331
system time used= 1.36367
maximum resident set size= 2370456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93542
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= 13394
involuntary context switches= 529

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.06999 second user time and 1.46565 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml
MD5SUM	a21a0b86f7fa853bf556b3925b3cd061
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	338
Best CPU time to get the best result obtained on this benchmark	251.815
Satisfiable
(Un)Satisfiability was proved
Number of variables	1597
Number of constraints	944
Number of domains	4
Minimum domain size	2
Maximum domain size	1569
Distribution of domain sizes	[{"size":2,"count":784},{"size":3,"count":784},{"size":677,"count":1},{"size":1569,"count":28}]
Minimum variable degree	1
Maximum variable degree	29
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":781},{"degree":3,"count":31},{"degree":4,"count":104},{"degree":8,"count":100},{"degree":9,"count":576},{"degree":29,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	30
Distribution of constraint arities	[{"arity":2,"count":132},{"arity":3,"count":104},{"arity":10,"count":676},{"arity":28,"count":4},{"arity":29,"count":1},{"arity":30,"count":27}]
Number of extensional constraints	780
Number of intensional constraints	131
Distribution of constraint types	[{"type":"extension","count":780},{"type":"intension","count":131},{"type":"sum","count":29},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4256829

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