2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2017-07-26	SAT (TO)	234	2520.1101	2455.72

0.26/0.38	c version: 2017-07-26
0.26/0.38	c seed: 1103396807
0.26/0.38	c timeout: 2520
0.26/0.38	c memlimit: 11000
0.26/0.38	c nbcore: 4
0.26/0.40	c Parsing instance...
3.47/1.68	c Parsing done, starting first complete search...
4.77/2.13	o 141
4.77/2.13	o 142
4.77/2.13	o 143
4.77/2.14	o 144
4.77/2.14	o 145
4.77/2.14	o 146
4.77/2.14	o 147
4.77/2.14	o 148
4.77/2.14	o 149
4.77/2.15	o 150
4.77/2.15	o 151
4.77/2.15	o 152
4.77/2.15	o 153
4.77/2.15	o 154
4.77/2.15	o 155
4.77/2.15	o 156
4.77/2.15	o 157
4.77/2.16	o 158
4.77/2.16	o 159
4.77/2.16	o 160
4.77/2.16	o 161
4.77/2.16	o 162
4.77/2.16	o 163
4.77/2.17	o 164
4.77/2.17	o 165
4.77/2.17	o 166
4.77/2.17	o 167
4.77/2.17	o 168
4.77/2.17	o 169
4.77/2.17	o 170
4.77/2.18	o 171
4.77/2.18	o 172
4.77/2.18	o 173
4.77/2.18	o 174
4.77/2.19	o 175
5.34/2.32	o 176
7.70/4.26	c First complete search done, starting ALNS search...
16.16/11.38	o 177
21.26/16.14	o 180
219.64/210.67	o 184
239.11/229.64	o 210
329.56/317.84	o 211
369.45/356.61	o 212
369.45/356.65	o 213
472.91/457.44	o 214
600.55/582.04	o 216
603.52/584.98	o 217
604.32/585.76	o 218
605.03/586.47	o 219
605.53/586.91	o 220
734.21/712.32	o 221
917.56/891.39	o 222
917.96/891.70	o 223
918.27/892.01	o 224
968.17/940.77	o 225
978.09/950.43	o 226
978.39/950.75	o 227
978.70/951.07	o 228
1555.08/1513.88	o 229
1555.48/1514.23	o 230
1555.98/1514.76	o 231
1566.20/1524.71	o 232
1566.51/1525.05	o 233
1572.24/1530.60	o 234
1811.15/1763.80	c ALNS done, starting second complete search
1811.15/1763.80	c Best operator: KSuccessive(345)_WeightDeg(Min) with improvement of: 26
2520.06/2455.70	s SATISFIABLE
2520.06/2455.71	v <instantiation>
2520.06/2455.71	v 	<list>
2520.06/2455.71	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z
2520.06/2455.71	v 	</list>
2520.06/2455.71	v 	<values>
2520.06/2455.71	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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 1 0 1 1 0 0 0 1 1 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 1 1 1 0 1 0 0 1 0 0 1 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 1 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 1 1 0 0 0 1 1 1 0 0 0 0 1 1 1 0 0 0 1 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 1 0 0 1 1 1 0 0 1 0 1 0 1 0 0 1 1 1 1 1 1 0 0 1 0 1 1 0 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 0 1 1 1 1 0 0 0 1 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 1 0 0 1 1 1 1 1 1 0 1 0 0 1 1 0 1 1 1 1 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 0 0 0 0 1 0 1 1 1 1 1 1 1 1 0 0 1 1 1 0 1 0 1 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 1 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 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 0 1 0 0 0 1 2 2 1 1 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 1 1 0 0 0 0 1 0 1 1 0 1 2 2 2 2 2 2 2 2 1 1 2 2 2 2 0 0 1 1 1 0 0 0 0 0 0 1 2 2 1 2 1 2 1 1 1 1 2 1 1 1 1 0 1 2 0 0 0 0 0 1 0 2 2 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 2 1 1 0 0 0 0 0 1 2 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 1 1 1 0 0 1 1 2 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 2 1 2 1 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 1 0 1 0 0 0 0 0 1 0 0 0 1 1 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 1 2 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 1 1 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 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 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 2 0 0 1 0 1 0 0 0 0 2 1 1 1 0 2 0 1 0 1 0 1 0 1 0 0 0 0 2 0 0 0 0 0 2 0 1 2 1 1 2 0 0 0 0 0 0 0 2 0 1 1 0 2 2 2 1 1 2 0 0 0 1 2 1 0 1 1 0 0 1 0 0 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 1 0 22 60 92 118 134 147 160 171 180 188 194 197 200 205 213 222 232 238 238 242 244 249 260 275 296 312 234 
2520.06/2455.71	v 	</values>
2520.06/2455.71	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 (12037 MiB free)
  memory of node 1: 16384 MiB (15196 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274730-1502718998/watcher-4274730-1502718998 -o /tmp/evaluation-result-4274730-1502718998/solver-4274730-1502718998 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13745 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1103396807 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274730-1502718998.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=21954, runsolver pid=21951

[startup+0.100158 s]*
/proc/loadavg: 1.67 1.67 1.55 3/205 21961
/proc/meminfo: memFree=27880716/32770624 swapFree=67108860/67108860
[pid=21954] ppid=21951 vsize=13573664 memory=16700 CPUtime=0.02 cores=1,3,5,7
/proc/21954/stat : 21954 (java) S 21951 21954 12395 0 -1 1077944320 4099 0 0 0 2 0 0 0 20 0 9 0 113811237 13899431936 4175 18446744073709551615 4194304 4196468 140722156154848 140722156137392 140474364964599 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
/proc/21954/statm: 3393416 4175 2091 1 0 3382913 0
[pid=21954/tid=21956] ppid=21951 vsize=13573664 memory=-6368489461901267302 CPUtime=0.02 cores=1,3,5,7
/proc/21954/task/21956/stat : 21956 (java) R 21951 21954 12395 0 -1 4202560 2733 0 0 0 2 0 0 0 20 0 9 0 113811245 13899431936 4241 18446744073709551615 4194304 4196468 140722156154848 140474369200360 140474358148721 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21957] ppid=21951 vsize=13573664 memory=5767616189125945737 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21957/stat : 21957 (java) S 21951 21954 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 113811246 13899431936 4241 18446744073709551615 4194304 4196468 140722156154848 140474299399056 140474364974805 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21958] ppid=21951 vsize=13573664 memory=139798827415168 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21958/stat : 21958 (java) S 21951 21954 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 113811246 13899431936 4241 18446744073709551615 4194304 4196468 140722156154848 140474298346256 140474364974805 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21959] ppid=21951 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21959/stat : 21959 (java) S 21951 21954 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 113811246 13899431936 4241 18446744073709551615 4194304 4196468 140722156154848 140474297293968 140474364974805 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21960] ppid=21951 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21960/stat : 21960 (java) S 21951 21954 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 113811246 13899431936 4241 18446744073709551615 4194304 4196468 140722156154848 140474296241168 140474364974805 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21961] ppid=21951 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21961/stat : 21961 (java) S 21951 21954 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 113811247 13899431936 4241 18446744073709551615 4194304 4196468 140722156154848 140473843288176 140474364975746 0 0 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21962] ppid=21951 vsize=13573664 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21962/stat : 21962 (java) S 21951 21954 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 113811248 13899431936 4241 18446744073709551615 4194304 4196468 140722156154848 140473842234144 140474364974805 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21963] ppid=21951 vsize=13573664 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21963/stat : 21963 (java) S 21951 21954 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 113811248 13899431936 4241 18446744073709551615 4194304 4196468 140722156154848 140473841181872 140474364974805 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13573664 KiB
Current children cumulated memory: 16700 KiB

[startup+0.210935 s]*
/proc/loadavg: 1.53 1.64 1.54 3/213 21969
/proc/meminfo: memFree=27871008/32770624 swapFree=67108860/67108860
[pid=21954] ppid=21951 vsize=13975920 memory=30700 CPUtime=0.1 cores=1,3,5,7
/proc/21954/stat : 21954 (java) S 21951 21954 12395 0 -1 1077944320 7009 0 0 0 9 1 0 0 20 0 15 0 113811237 14311342080 7675 18446744073709551615 4194304 4196468 140722156154848 140722156137392 140474364964599 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
/proc/21954/statm: 3493980 7675 3372 1 0 3482759 0
[pid=21954/tid=21956] ppid=21951 vsize=13975920 memory=8328733993519193500 CPUtime=0.07 cores=1,3,5,7
/proc/21954/task/21956/stat : 21956 (java) R 21951 21954 12395 0 -1 4202560 5032 0 0 0 7 0 0 0 20 0 15 0 113811245 14311342080 7741 18446744073709551615 4194304 4196468 140722156154848 140474369134560 140474349045086 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21957] ppid=21951 vsize=13975920 memory=732369937164868581 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21957/stat : 21957 (java) S 21951 21954 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113811246 14311342080 7741 18446744073709551615 4194304 4196468 140722156154848 140474299399056 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21958] ppid=21951 vsize=13975920 memory=139798827415168 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21958/stat : 21958 (java) S 21951 21954 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113811246 14311342080 7741 18446744073709551615 4194304 4196468 140722156154848 140474298346256 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21959] ppid=21951 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21959/stat : 21959 (java) S 21951 21954 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113811246 14311342080 7741 18446744073709551615 4194304 4196468 140722156154848 140474297293968 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21960] ppid=21951 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21960/stat : 21960 (java) S 21951 21954 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113811246 14311342080 7741 18446744073709551615 4194304 4196468 140722156154848 140474296241168 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21961] ppid=21951 vsize=13975920 memory=139798827415168 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21961/stat : 21961 (java) S 21951 21954 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113811247 14311342080 7741 18446744073709551615 4194304 4196468 140722156154848 140473843288176 140474364975746 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21962] ppid=21951 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21962/stat : 21962 (java) S 21951 21954 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113811248 14311342080 7741 18446744073709551615 4194304 4196468 140722156154848 140473842234144 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21963] ppid=21951 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21963/stat : 21963 (java) S 21951 21954 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113811248 14311342080 7741 18446744073709551615 4194304 4196468 140722156154848 140473841181808 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21964] ppid=21951 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21964/stat : 21964 (java) S 21951 21954 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113811250 14311342080 7741 18446744073709551615 4194304 4196468 140722156154848 140473840130128 140474364983195 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21965] ppid=21951 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21965/stat : 21965 (java) S 21951 21954 12395 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 113811250 14311342080 7807 18446744073709551615 4194304 4196468 140722156154848 140473839078000 140474364975746 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21966] ppid=21951 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21966/stat : 21966 (java) S 21951 21954 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113811250 14311342080 7807 18446744073709551615 4194304 4196468 140722156154848 140473838025200 140474364975746 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21967] ppid=21951 vsize=13975920 memory=139798827415168 CPUtime=0.01 cores=1,3,5,7
/proc/21954/task/21967/stat : 21967 (java) R 21951 21954 12395 0 -1 4202560 354 0 0 0 1 0 0 0 20 0 15 0 113811250 14311342080 7807 18446744073709551615 4194304 4196468 140722156154848 140473836970088 140474343910669 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21968] ppid=21951 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21968/stat : 21968 (java) S 21951 21954 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113811251 14311342080 7807 18446744073709551615 4194304 4196468 140722156154848 140473835920352 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21969] ppid=21951 vsize=13975920 memory=139798827415168 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21969/stat : 21969 (java) S 21951 21954 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113811256 14311342080 7807 18446744073709551615 4194304 4196468 140722156154848 140473834867120 140474364975746 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 30700 KiB

[startup+0.310403 s]*
/proc/loadavg: 1.53 1.64 1.54 3/213 21969
/proc/meminfo: memFree=27861220/32770624 swapFree=67108860/67108860
[pid=21954] ppid=21951 vsize=13975920 memory=39880 CPUtime=0.26 cores=1,3,5,7
/proc/21954/stat : 21954 (java) S 21951 21954 12395 0 -1 1077944320 10745 0 0 0 23 3 0 0 20 0 15 0 113811237 14311342080 9970 18446744073709551615 4194304 4196468 140722156154848 140722156137392 140474364964599 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
/proc/21954/statm: 3493980 9970 3487 1 0 3482759 0
[pid=21954/tid=21956] ppid=21951 vsize=13975920 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/21954/task/21956/stat : 21956 (java) R 21951 21954 12395 0 -1 4202560 8473 0 0 0 15 2 0 0 20 0 15 0 113811245 14311342080 9970 18446744073709551615 4194304 4196468 140722156154848 140474369175760 140474349045086 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21957] ppid=21951 vsize=13975920 memory=-7003737579269690708 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21957/stat : 21957 (java) S 21951 21954 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113811246 14311342080 9970 18446744073709551615 4194304 4196468 140722156154848 140474299399056 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21958] ppid=21951 vsize=13975920 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21958/stat : 21958 (java) S 21951 21954 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113811246 14311342080 9970 18446744073709551615 4194304 4196468 140722156154848 140474298346256 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21959] ppid=21951 vsize=13975920 memory=-8180884773532966261 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21959/stat : 21959 (java) S 21951 21954 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113811246 14311342080 9970 18446744073709551615 4194304 4196468 140722156154848 140474297293968 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21960] ppid=21951 vsize=13975920 memory=8110268428378128441 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21960/stat : 21960 (java) S 21951 21954 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113811246 14311342080 9970 18446744073709551615 4194304 4196468 140722156154848 140474296241168 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21961] ppid=21951 vsize=13975920 memory=1398720917958146503 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21961/stat : 21961 (java) S 21951 21954 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113811247 14311342080 9970 18446744073709551615 4194304 4196468 140722156154848 140473843288176 140474364975746 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21962] ppid=21951 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21962/stat : 21962 (java) S 21951 21954 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113811248 14311342080 9970 18446744073709551615 4194304 4196468 140722156154848 140473842234144 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21963] ppid=21951 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21963/stat : 21963 (java) S 21951 21954 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113811248 14311342080 9970 18446744073709551615 4194304 4196468 140722156154848 140473841181808 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21964] ppid=21951 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21964/stat : 21964 (java) S 21951 21954 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113811250 14311342080 9970 18446744073709551615 4194304 4196468 140722156154848 140473840130128 140474364983195 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21965] ppid=21951 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21954/task/21965/stat : 21965 (java) S 21951 21954 12395 0 -1 1077944384 380 0 0 0 1 0 0 0 20 0 15 0 113811250 14311342080 9970 18446744073709551615 4194304 4196468 140722156154848 140473839078000 140474364975746 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21966] ppid=21951 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21954/task/21966/stat : 21966 (java) S 21951 21954 12395 0 -1 1077944384 124 0 0 0 1 0 0 0 20 0 15 0 113811250 14311342080 9970 18446744073709551615 4194304 4196468 140722156154848 140473838025200 140474364975746 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21967] ppid=21951 vsize=13975920 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/21954/task/21967/stat : 21967 (java) S 21951 21954 12395 0 -1 1077944384 389 0 0 0 5 0 0 0 20 0 15 0 113811250 14311342080 9970 18446744073709551615 4194304 4196468 140722156154848 140473836972912 140474364975746 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21968] ppid=21951 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21968/stat : 21968 (java) S 21951 21954 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113811251 14311342080 9970 18446744073709551615 4194304 4196468 140722156154848 140473835920352 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21969] ppid=21951 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21969/stat : 21969 (java) S 21951 21954 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113811256 14311342080 9970 18446744073709551615 4194304 4196468 140722156154848 140473834867120 140474364975746 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39880 KiB

[startup+0.700929 s]
/proc/loadavg: 1.53 1.64 1.54 4/213 21969
/proc/meminfo: memFree=27845980/32770624 swapFree=67108860/67108860
[pid=21954] ppid=21951 vsize=13977988 memory=70148 CPUtime=1.08 cores=1,3,5,7
/proc/21954/stat : 21954 (java) S 21951 21954 12395 0 -1 1077944320 14235 0 0 0 104 4 0 0 20 0 15 0 113811237 14313459712 17537 18446744073709551615 4194304 4196468 140722156154848 140722156137392 140474364964599 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
/proc/21954/statm: 3494497 17537 3733 1 0 3483271 0
[pid=21954/tid=21956] ppid=21951 vsize=13977988 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/21954/task/21956/stat : 21956 (java) R 21951 21954 12395 0 -1 4202560 10366 0 0 0 52 3 0 0 20 0 15 0 113811245 14313459712 17537 18446744073709551615 4194304 4196468 140722156154848 140474369198576 140473968774128 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21957] ppid=21951 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21957/stat : 21957 (java) S 21951 21954 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113811246 14313459712 17537 18446744073709551615 4194304 4196468 140722156154848 140474299399056 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21958] ppid=21951 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21958/stat : 21958 (java) S 21951 21954 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113811246 14313459712 17537 18446744073709551615 4194304 4196468 140722156154848 140474298346256 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21959] ppid=21951 vsize=13977988 memory=13 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21959/stat : 21959 (java) S 21951 21954 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113811246 14313459712 17537 18446744073709551615 4194304 4196468 140722156154848 140474297293968 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21960] ppid=21951 vsize=13977988 memory=2 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21960/stat : 21960 (java) S 21951 21954 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113811246 14313459712 17537 18446744073709551615 4194304 4196468 140722156154848 140474296241168 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21961] ppid=21951 vsize=13977988 memory=8320808402719682870 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21961/stat : 21961 (java) S 21951 21954 12395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113811247 14313459712 17537 18446744073709551615 4194304 4196468 140722156154848 140473843288176 140474364975746 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21962] ppid=21951 vsize=13977988 memory=7079767819798401898 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21962/stat : 21962 (java) S 21951 21954 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113811248 14313459712 17537 18446744073709551615 4194304 4196468 140722156154848 140473842234144 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21963] ppid=21951 vsize=13977988 memory=6440526044203406950 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21963/stat : 21963 (java) S 21951 21954 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113811248 14313459712 17537 18446744073709551615 4194304 4196468 140722156154848 140473841181808 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21964] ppid=21951 vsize=13977988 memory=6940152923233595434 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21964/stat : 21964 (java) S 21951 21954 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113811250 14313459712 17537 18446744073709551615 4194304 4196468 140722156154848 140473840130128 140474364983195 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21965] ppid=21951 vsize=13977988 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/21954/task/21965/stat : 21965 (java) R 21951 21954 12395 0 -1 4202560 922 0 0 0 12 0 0 0 20 0 15 0 113811250 14313459712 17537 18446744073709551615 4194304 4196468 140722156154848 140473839064464 140474343378447 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21966] ppid=21951 vsize=13977988 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/21954/task/21966/stat : 21966 (java) R 21951 21954 12395 0 -1 4202560 592 0 0 0 15 0 0 0 20 0 15 0 113811250 14313459712 17537 18446744073709551615 4194304 4196468 140722156154848 140473838014464 140474348522832 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21967] ppid=21951 vsize=13977988 memory=4132 CPUtime=0.23 cores=1,3,5,7
/proc/21954/task/21967/stat : 21967 (java) R 21951 21954 12395 0 -1 4202560 975 0 0 0 23 0 0 0 20 0 15 0 113811250 14313459712 17537 18446744073709551615 4194304 4196468 140722156154848 140473836972096 140474349045086 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21968] ppid=21951 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21968/stat : 21968 (java) S 21951 21954 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113811251 14313459712 17537 18446744073709551615 4194304 4196468 140722156154848 140473835920352 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21969] ppid=21951 vsize=13977988 memory=3688932247639170096 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21969/stat : 21969 (java) S 21951 21954 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113811256 14313459712 17537 18446744073709551615 4194304 4196468 140722156154848 140473834867120 140474364975746 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
Current children cumulated CPU time: 1.08 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 70148 KiB

[startup+1.50093 s]
/proc/loadavg: 1.53 1.64 1.54 3/213 21969
/proc/meminfo: memFree=27804352/32770624 swapFree=67108860/67108860
[pid=21954] ppid=21951 vsize=13982084 memory=227932 CPUtime=3.33 cores=1,3,5,7
/proc/21954/stat : 21954 (java) S 21951 21954 12395 0 -1 1077944320 30824 0 0 0 322 11 0 0 20 0 15 0 113811237 14317654016 56983 18446744073709551615 4194304 4196468 140722156154848 140722156137392 140474364964599 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
/proc/21954/statm: 3495521 56983 3785 1 0 3484295 0
[pid=21954/tid=21956] ppid=21951 vsize=13982084 memory=1591 CPUtime=1.33 cores=1,3,5,7
/proc/21954/task/21956/stat : 21956 (java) R 21951 21954 12395 0 -1 4202560 15513 0 0 0 126 7 0 0 20 0 15 0 113811245 14317654016 56983 18446744073709551615 4194304 4196468 140722156154848 140474369200528 140473975578288 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21957] ppid=21951 vsize=13982084 memory=94356136547792 CPUtime=0.01 cores=1,3,5,7
/proc/21954/task/21957/stat : 21957 (java) S 21951 21954 12395 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 15 0 113811246 14317654016 56983 18446744073709551615 4194304 4196468 140722156154848 140474299399056 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21958] ppid=21951 vsize=13982084 memory=288230583166042426 CPUtime=0.01 cores=1,3,5,7
/proc/21954/task/21958/stat : 21958 (java) S 21951 21954 12395 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 15 0 113811246 14317654016 56983 18446744073709551615 4194304 4196468 140722156154848 140474298346256 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21959] ppid=21951 vsize=13982084 memory=14695184197749125 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21959/stat : 21959 (java) S 21951 21954 12395 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 113811246 14317654016 56983 18446744073709551615 4194304 4196468 140722156154848 140474297293968 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21960] ppid=21951 vsize=13982084 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21954/task/21960/stat : 21960 (java) S 21951 21954 12395 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 15 0 113811246 14317654016 56983 18446744073709551615 4194304 4196468 140722156154848 140474296241168 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21961] ppid=21951 vsize=13982084 memory=279597404988352 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21961/stat : 21961 (java) S 21951 21954 12395 0 -1 1077944384 716 0 0 0 0 0 0 0 20 0 15 0 113811247 14317654016 56983 18446744073709551615 4194304 4196468 140722156154848 140473843288176 140474364975746 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21962] ppid=21951 vsize=13982084 memory=139798702599856 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21962/stat : 21962 (java) S 21951 21954 12395 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 113811248 14317654016 56983 18446744073709551615 4194304 4196468 140722156154848 140473842234144 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21963] ppid=21951 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21963/stat : 21963 (java) S 21951 21954 12395 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 113811248 14317654016 56983 18446744073709551615 4194304 4196468 140722156154848 140473841181808 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21964] ppid=21951 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21964/stat : 21964 (java) S 21951 21954 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113811250 14317654016 56983 18446744073709551615 4194304 4196468 140722156154848 140473840130128 140474364983195 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21965] ppid=21951 vsize=13982084 memory=6944656575208382560 CPUtime=0.6 cores=1,3,5,7
/proc/21954/task/21965/stat : 21965 (java) R 21951 21954 12395 0 -1 4202560 2527 0 0 0 60 0 0 0 20 0 15 0 113811250 14317654016 56983 18446744073709551615 4194304 4196468 140722156154848 140473839064024 140474349356704 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21966] ppid=21951 vsize=13982084 memory=6944656592387989600 CPUtime=0.62 cores=1,3,5,7
/proc/21954/task/21966/stat : 21966 (java) R 21951 21954 12395 0 -1 4202560 2611 0 0 0 62 0 0 0 20 0 15 0 113811250 14317654016 56983 18446744073709551615 4194304 4196468 140722156154848 140473838025200 140474364978463 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21967] ppid=21951 vsize=13982084 memory=6944656592387989600 CPUtime=0.69 cores=1,3,5,7
/proc/21954/task/21967/stat : 21967 (java) S 21951 21954 12395 0 -1 1077944384 7415 0 0 0 68 1 0 0 20 0 15 0 113811250 14317654016 56983 18446744073709551615 4194304 4196468 140722156154848 140473836972912 140474364975746 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0

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

/proc/21954/task/21956/stat : 21956 (java) R 21951 21954 12395 0 -1 4202560 136282 0 0 0 235653 95 0 0 20 0 15 0 113811245 14317654016 223508 18446744073709551615 4194304 4196468 140722156154848 140474369203024 140473978864652 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21957] ppid=21951 vsize=13982084 memory=800452 CPUtime=19.03 cores=1,3,5,7
/proc/21954/task/21957/stat : 21957 (java) S 21951 21954 12395 0 -1 1077944384 20779 0 0 0 1852 51 0 0 20 0 15 0 113811246 14317654016 223508 18446744073709551615 4194304 4196468 140722156154848 140474299399056 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21958] ppid=21951 vsize=13982084 memory=909332 CPUtime=18.98 cores=1,3,5,7
/proc/21954/task/21958/stat : 21958 (java) S 21951 21954 12395 0 -1 1077944384 23853 0 0 0 1848 50 0 0 20 0 15 0 113811246 14317654016 223508 18446744073709551615 4194304 4196468 140722156154848 140474298346256 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21959] ppid=21951 vsize=13982084 memory=906252 CPUtime=18.98 cores=1,3,5,7
/proc/21954/task/21959/stat : 21959 (java) S 21951 21954 12395 0 -1 1077944384 17885 0 0 0 1850 48 0 0 20 0 15 0 113811246 14317654016 223508 18446744073709551615 4194304 4196468 140722156154848 140474297293968 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21960] ppid=21951 vsize=13982084 memory=897112 CPUtime=18.99 cores=1,3,5,7
/proc/21954/task/21960/stat : 21960 (java) S 21951 21954 12395 0 -1 1077944384 23424 0 0 0 1850 49 0 0 20 0 15 0 113811246 14317654016 223508 18446744073709551615 4194304 4196468 140722156154848 140474296241168 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21961] ppid=21951 vsize=13982084 memory=-8774313645642428999 CPUtime=3.48 cores=1,3,5,7
/proc/21954/task/21961/stat : 21961 (java) S 21951 21954 12395 0 -1 1077944384 88294 0 0 0 289 59 0 0 20 0 15 0 113811247 14317654016 223508 18446744073709551615 4194304 4196468 140722156154848 140473843288176 140474364975746 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21962] ppid=21951 vsize=13982084 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21962/stat : 21962 (java) S 21951 21954 12395 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 113811248 14317654016 223508 18446744073709551615 4194304 4196468 140722156154848 140473842234208 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21963] ppid=21951 vsize=13982084 memory=894032 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21963/stat : 21963 (java) S 21951 21954 12395 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 113811248 14317654016 223508 18446744073709551615 4194304 4196468 140722156154848 140473841181824 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21964] ppid=21951 vsize=13982084 memory=906252 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21964/stat : 21964 (java) S 21951 21954 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113811250 14317654016 223508 18446744073709551615 4194304 4196468 140722156154848 140473840130128 140474364983195 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21965] ppid=21951 vsize=13982084 memory=900188 CPUtime=2.37 cores=1,3,5,7
/proc/21954/task/21965/stat : 21965 (java) S 21951 21954 12395 0 -1 1077944384 16656 0 0 0 233 4 0 0 20 0 15 0 113811250 14317654016 223508 18446744073709551615 4194304 4196468 140722156154848 140473839078000 140474364975746 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21966] ppid=21951 vsize=13982084 memory=897112 CPUtime=2.79 cores=1,3,5,7
/proc/21954/task/21966/stat : 21966 (java) S 21951 21954 12395 0 -1 1077944384 19183 0 0 0 276 3 0 0 20 0 15 0 113811250 14317654016 223508 18446744073709551615 4194304 4196468 140722156154848 140473838025200 140474364975746 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21967] ppid=21951 vsize=13982084 memory=4132 CPUtime=1.13 cores=1,3,5,7
/proc/21954/task/21967/stat : 21967 (java) S 21951 21954 12395 0 -1 1077944384 36068 0 0 0 110 3 0 0 20 0 15 0 113811250 14317654016 223508 18446744073709551615 4194304 4196468 140722156154848 140473836972912 140474364975746 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21968] ppid=21951 vsize=13982084 memory=894032 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21968/stat : 21968 (java) S 21951 21954 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113811251 14317654016 223508 18446744073709551615 4194304 4196468 140722156154848 140473835920352 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21969] ppid=21951 vsize=13982084 memory=894032 CPUtime=1.47 cores=1,3,5,7
/proc/21954/task/21969/stat : 21969 (java) S 21951 21954 12395 0 -1 1077944384 1677 0 0 0 62 85 0 0 20 0 15 0 113811256 14317654016 223508 18446744073709551615 4194304 4196468 140722156154848 140473834867120 140474364975746 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
Current children cumulated CPU time: 2444.83 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 894032 KiB

[startup+2442.3 s]
/proc/loadavg: 1.43 1.44 1.47 3/214 22224
/proc/meminfo: memFree=27836576/32770624 swapFree=67108860/67108860
[pid=21954] ppid=21951 vsize=13982084 memory=788644 CPUtime=2506.34 cores=1,3,5,7
/proc/21954/stat : 21954 (java) S 21951 21954 12395 0 -1 1077944320 390876 0 0 0 250213 421 0 0 20 0 15 0 113811237 14317654016 197161 18446744073709551615 4194304 4196468 140722156154848 140722156137392 140474364964599 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
/proc/21954/statm: 3495521 197161 3838 1 0 3484295 0
[pid=21954/tid=21956] ppid=21951 vsize=13982084 memory=844048 CPUtime=2416.81 cores=1,3,5,7
/proc/21954/task/21956/stat : 21956 (java) R 21951 21954 12395 0 -1 4202560 137654 0 0 0 241585 96 0 0 20 0 15 0 113811245 14317654016 197161 18446744073709551615 4194304 4196468 140722156154848 140474369202976 140473978188551 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21957] ppid=21951 vsize=13982084 memory=813268 CPUtime=19.53 cores=1,3,5,7
/proc/21954/task/21957/stat : 21957 (java) S 21951 21954 12395 0 -1 1077944384 21200 0 0 0 1902 51 0 0 20 0 15 0 113811246 14317654016 197161 18446744073709551615 4194304 4196468 140722156154848 140474299399056 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21958] ppid=21951 vsize=13982084 memory=807112 CPUtime=19.5 cores=1,3,5,7
/proc/21954/task/21958/stat : 21958 (java) S 21951 21954 12395 0 -1 1077944384 24290 0 0 0 1899 51 0 0 20 0 15 0 113811246 14317654016 197161 18446744073709551615 4194304 4196468 140722156154848 140474298346256 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21959] ppid=21951 vsize=13982084 memory=800956 CPUtime=19.5 cores=1,3,5,7
/proc/21954/task/21959/stat : 21959 (java) S 21951 21954 12395 0 -1 1077944384 18413 0 0 0 1901 49 0 0 20 0 15 0 113811246 14317654016 197161 18446744073709551615 4194304 4196468 140722156154848 140474297293968 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21960] ppid=21951 vsize=13982084 memory=794800 CPUtime=19.51 cores=1,3,5,7
/proc/21954/task/21960/stat : 21960 (java) S 21951 21954 12395 0 -1 1077944384 23890 0 0 0 1901 50 0 0 20 0 15 0 113811246 14317654016 197161 18446744073709551615 4194304 4196468 140722156154848 140474296241168 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21961] ppid=21951 vsize=13982084 memory=788644 CPUtime=3.59 cores=1,3,5,7
/proc/21954/task/21961/stat : 21961 (java) S 21951 21954 12395 0 -1 1077944384 90361 0 0 0 298 61 0 0 20 0 15 0 113811247 14317654016 197161 18446744073709551615 4194304 4196468 140722156154848 140473843288176 140474364975746 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21962] ppid=21951 vsize=13982084 memory=791724 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21962/stat : 21962 (java) S 21951 21954 12395 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 113811248 14317654016 197161 18446744073709551615 4194304 4196468 140722156154848 140473842234208 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21963] ppid=21951 vsize=13982084 memory=794800 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21963/stat : 21963 (java) S 21951 21954 12395 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 113811248 14317654016 197161 18446744073709551615 4194304 4196468 140722156154848 140473841181824 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21964] ppid=21951 vsize=13982084 memory=794800 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21964/stat : 21964 (java) S 21951 21954 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113811250 14317654016 197161 18446744073709551615 4194304 4196468 140722156154848 140473840130128 140474364983195 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21965] ppid=21951 vsize=13982084 memory=794800 CPUtime=2.37 cores=1,3,5,7
/proc/21954/task/21965/stat : 21965 (java) S 21951 21954 12395 0 -1 1077944384 16656 0 0 0 233 4 0 0 20 0 15 0 113811250 14317654016 197161 18446744073709551615 4194304 4196468 140722156154848 140473839078000 140474364975746 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21966] ppid=21951 vsize=13982084 memory=800956 CPUtime=2.79 cores=1,3,5,7
/proc/21954/task/21966/stat : 21966 (java) S 21951 21954 12395 0 -1 1077944384 19183 0 0 0 276 3 0 0 20 0 15 0 113811250 14317654016 197161 18446744073709551615 4194304 4196468 140722156154848 140473838025200 140474364975746 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21967] ppid=21951 vsize=13982084 memory=1436 CPUtime=1.13 cores=1,3,5,7
/proc/21954/task/21967/stat : 21967 (java) S 21951 21954 12395 0 -1 1077944384 36068 0 0 0 110 3 0 0 20 0 15 0 113811250 14317654016 197161 18446744073709551615 4194304 4196468 140722156154848 140473836972912 140474364975746 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21968] ppid=21951 vsize=13982084 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21968/stat : 21968 (java) S 21951 21954 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113811251 14317654016 197161 18446744073709551615 4194304 4196468 140722156154848 140473835920352 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21969] ppid=21951 vsize=13982084 memory=56280 CPUtime=1.51 cores=1,3,5,7
/proc/21954/task/21969/stat : 21969 (java) S 21951 21954 12395 0 -1 1077944384 1690 0 0 0 63 88 0 0 20 0 15 0 113811256 14317654016 197161 18446744073709551615 4194304 4196468 140722156154848 140473834867120 140474364975746 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
Current children cumulated CPU time: 2506.34 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 788644 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2455.7 s]
/proc/loadavg: 1.52 1.46 1.48 3/214 22224
/proc/meminfo: memFree=27857208/32770624 swapFree=67108860/67108860
[pid=21954] ppid=21951 vsize=13982084 memory=764020 CPUtime=2520.06 cores=1,3,5,7
/proc/21954/stat : 21954 (java) S 21951 21954 12395 0 -1 1077944320 391028 0 0 0 251585 421 0 0 20 0 15 0 113811237 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140722156137392 140474364964599 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
/proc/21954/statm: 3495521 191005 3838 1 0 3484295 0
[pid=21954/tid=21956] ppid=21951 vsize=13982084 memory=767100 CPUtime=2430.07 cores=1,3,5,7
/proc/21954/task/21956/stat : 21956 (java) R 21951 21954 12395 0 -1 4202560 137725 0 0 0 242911 96 0 0 20 0 15 0 113811245 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140474369203024 140473978575240 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21957] ppid=21951 vsize=13982084 memory=767100 CPUtime=19.65 cores=1,3,5,7
/proc/21954/task/21957/stat : 21957 (java) S 21951 21954 12395 0 -1 1077944384 21216 0 0 0 1914 51 0 0 20 0 15 0 113811246 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140474299399056 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21958] ppid=21951 vsize=13982084 memory=767100 CPUtime=19.61 cores=1,3,5,7
/proc/21954/task/21958/stat : 21958 (java) S 21951 21954 12395 0 -1 1077944384 24305 0 0 0 1910 51 0 0 20 0 15 0 113811246 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140474298346256 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21959] ppid=21951 vsize=13982084 memory=770176 CPUtime=19.61 cores=1,3,5,7
/proc/21954/task/21959/stat : 21959 (java) S 21951 21954 12395 0 -1 1077944384 18435 0 0 0 1912 49 0 0 20 0 15 0 113811246 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140474297293968 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21960] ppid=21951 vsize=13982084 memory=773256 CPUtime=19.62 cores=1,3,5,7
/proc/21954/task/21960/stat : 21960 (java) S 21951 21954 12395 0 -1 1077944384 23905 0 0 0 1912 50 0 0 20 0 15 0 113811246 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140474296241168 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21961] ppid=21951 vsize=13982084 memory=782488 CPUtime=3.6 cores=1,3,5,7
/proc/21954/task/21961/stat : 21961 (java) S 21951 21954 12395 0 -1 1077944384 90366 0 0 0 299 61 0 0 20 0 15 0 113811247 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140473843288176 140474364975746 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21962] ppid=21951 vsize=13982084 memory=785568 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21962/stat : 21962 (java) S 21951 21954 12395 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 113811248 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140473842234208 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21963] ppid=21951 vsize=13982084 memory=807112 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21963/stat : 21963 (java) S 21951 21954 12395 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 113811248 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140473841181824 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21964] ppid=21951 vsize=13982084 memory=813268 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21964/stat : 21964 (java) S 21951 21954 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113811250 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140473840130128 140474364983195 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21965] ppid=21951 vsize=13982084 memory=844048 CPUtime=2.37 cores=1,3,5,7
/proc/21954/task/21965/stat : 21965 (java) S 21951 21954 12395 0 -1 1077944384 16658 0 0 0 233 4 0 0 20 0 15 0 113811250 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140473839078000 140474364975746 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21966] ppid=21951 vsize=13982084 memory=776332 CPUtime=2.79 cores=1,3,5,7
/proc/21954/task/21966/stat : 21966 (java) S 21951 21954 12395 0 -1 1077944384 19185 0 0 0 276 3 0 0 20 0 15 0 113811250 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140473838025200 140474364975746 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21967] ppid=21951 vsize=13982084 memory=767100 CPUtime=1.13 cores=1,3,5,7
/proc/21954/task/21967/stat : 21967 (java) S 21951 21954 12395 0 -1 1077944384 36070 0 0 0 110 3 0 0 20 0 15 0 113811250 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140473836972912 140474364975746 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21968] ppid=21951 vsize=13982084 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21968/stat : 21968 (java) S 21951 21954 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113811251 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140473835920352 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21969] ppid=21951 vsize=13982084 memory=15884 CPUtime=1.52 cores=1,3,5,7
/proc/21954/task/21969/stat : 21969 (java) S 21951 21954 12395 0 -1 1077944384 1692 0 0 0 64 88 0 0 20 0 15 0 113811256 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140473834867120 140474364975746 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 764020 KiB

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

[startup+2455.72 s]
# the end of solver process 21954 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.89 s, system=4.2223 s

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

[startup+2455.7 s]
/proc/loadavg: 1.52 1.46 1.48 3/214 22224
/proc/meminfo: memFree=27857208/32770624 swapFree=67108860/67108860
[pid=21954] ppid=21951 vsize=13982084 memory=764020 CPUtime=2520.06 cores=1,3,5,7
/proc/21954/stat : 21954 (java) S 21951 21954 12395 0 -1 1077944320 391028 0 0 0 251585 421 0 0 20 0 15 0 113811237 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140722156137392 140474364964599 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
/proc/21954/statm: 3495521 191005 3838 1 0 3484295 0
[pid=21954/tid=21956] ppid=21951 vsize=13982084 memory=767100 CPUtime=2430.07 cores=1,3,5,7
/proc/21954/task/21956/stat : 21956 (java) R 21951 21954 12395 0 -1 4202560 137725 0 0 0 242911 96 0 0 20 0 15 0 113811245 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140474369203024 140473978575240 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21957] ppid=21951 vsize=13982084 memory=767100 CPUtime=19.65 cores=1,3,5,7
/proc/21954/task/21957/stat : 21957 (java) S 21951 21954 12395 0 -1 1077944384 21216 0 0 0 1914 51 0 0 20 0 15 0 113811246 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140474299399056 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21958] ppid=21951 vsize=13982084 memory=767100 CPUtime=19.61 cores=1,3,5,7
/proc/21954/task/21958/stat : 21958 (java) S 21951 21954 12395 0 -1 1077944384 24305 0 0 0 1910 51 0 0 20 0 15 0 113811246 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140474298346256 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21959] ppid=21951 vsize=13982084 memory=770176 CPUtime=19.61 cores=1,3,5,7
/proc/21954/task/21959/stat : 21959 (java) S 21951 21954 12395 0 -1 1077944384 18435 0 0 0 1912 49 0 0 20 0 15 0 113811246 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140474297293968 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21960] ppid=21951 vsize=13982084 memory=773256 CPUtime=19.62 cores=1,3,5,7
/proc/21954/task/21960/stat : 21960 (java) S 21951 21954 12395 0 -1 1077944384 23905 0 0 0 1912 50 0 0 20 0 15 0 113811246 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140474296241168 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21961] ppid=21951 vsize=13982084 memory=782488 CPUtime=3.6 cores=1,3,5,7
/proc/21954/task/21961/stat : 21961 (java) S 21951 21954 12395 0 -1 1077944384 90366 0 0 0 299 61 0 0 20 0 15 0 113811247 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140473843288176 140474364975746 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21962] ppid=21951 vsize=13982084 memory=785568 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21962/stat : 21962 (java) S 21951 21954 12395 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 113811248 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140473842234208 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21963] ppid=21951 vsize=13982084 memory=807112 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21963/stat : 21963 (java) S 21951 21954 12395 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 113811248 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140473841181824 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21964] ppid=21951 vsize=13982084 memory=813268 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21964/stat : 21964 (java) S 21951 21954 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113811250 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140473840130128 140474364983195 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21965] ppid=21951 vsize=13982084 memory=844048 CPUtime=2.37 cores=1,3,5,7
/proc/21954/task/21965/stat : 21965 (java) S 21951 21954 12395 0 -1 1077944384 16658 0 0 0 233 4 0 0 20 0 15 0 113811250 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140473839078000 140474364975746 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21966] ppid=21951 vsize=13982084 memory=776332 CPUtime=2.79 cores=1,3,5,7
/proc/21954/task/21966/stat : 21966 (java) S 21951 21954 12395 0 -1 1077944384 19185 0 0 0 276 3 0 0 20 0 15 0 113811250 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140473838025200 140474364975746 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21967] ppid=21951 vsize=13982084 memory=767100 CPUtime=1.13 cores=1,3,5,7
/proc/21954/task/21967/stat : 21967 (java) S 21951 21954 12395 0 -1 1077944384 36070 0 0 0 110 3 0 0 20 0 15 0 113811250 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140473836972912 140474364975746 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21968] ppid=21951 vsize=13982084 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/21954/task/21968/stat : 21968 (java) S 21951 21954 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113811251 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140473835920352 140474364974805 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
[pid=21954/tid=21969] ppid=21951 vsize=13982084 memory=15884 CPUtime=1.52 cores=1,3,5,7
/proc/21954/task/21969/stat : 21969 (java) S 21951 21954 12395 0 -1 1077944384 1692 0 0 0 64 88 0 0 20 0 15 0 113811256 14317654016 191005 18446744073709551615 4194304 4196468 140722156154848 140473834867120 140474364975746 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6430720 140722156163442 140722156163625 140722156163625 140722156167119 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 764020 KiB

Child status: 143
Real time (s): 2455.72
CPU time (s): 2520.11
CPU user time (s): 2515.89
CPU system time (s): 4.2223
CPU usage (%): 102.622
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 3482168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.89
system time used= 4.2223
maximum resident set size= 3485248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 391618
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 135113
involuntary context switches= 8259


# summary of solver processes directly reported to runsolver:
#   pid: 21954
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2515.89
#   total CPU system time (s): 4.2223

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3087 second user time and 25.0468 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml
MD5SUM	e0f1e7fd363778103a4292aa9d177ae8
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	297
Best CPU time to get the best result obtained on this benchmark	2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables	1379
Number of constraints	824
Number of domains	4
Minimum domain size	2
Maximum domain size	1353
Distribution of domain sizes	[{"size":2,"count":676},{"size":3,"count":676},{"size":577,"count":1},{"size":1353,"count":26}]
Minimum variable degree	1
Maximum variable degree	27
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":673},{"degree":3,"count":29},{"degree":4,"count":96},{"degree":8,"count":92},{"degree":9,"count":484},{"degree":27,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	28
Distribution of constraint arities	[{"arity":2,"count":122},{"arity":3,"count":96},{"arity":10,"count":576},{"arity":26,"count":4},{"arity":27,"count":1},{"arity":28,"count":25}]
Number of extensional constraints	672
Number of intensional constraints	121
Distribution of constraint types	[{"type":"extension","count":672},{"type":"intension","count":121},{"type":"sum","count":27},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4274730

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