2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering with restarts 2018-08-17	SAT (TO)	264	2520.08	2487.83

0.66/0.56	c version: 2018-08-17
0.66/0.56	c seed: 1210841971
0.66/0.56	c timeout: 2520
0.66/0.56	c memlimit: 11000
0.66/0.56	c nbcore: 1
0.66/0.58	c Parsing instance...
4.26/2.05	c Parsing done, starting search...
5.21/2.37	o 129
5.48/2.47	o 130
6.11/2.60	o 131
6.11/2.60	o 132
6.11/2.60	o 133
6.11/2.60	o 134
6.11/2.60	o 135
6.11/2.60	o 136
6.11/2.60	o 137
6.11/2.60	o 138
6.11/2.60	o 139
6.11/2.60	o 140
6.11/2.60	o 141
6.11/2.60	o 142
6.11/2.60	o 143
6.11/2.60	o 144
6.11/2.60	o 145
6.11/2.60	o 146
6.11/2.60	o 147
6.11/2.60	o 148
6.11/2.60	o 149
6.11/2.60	o 150
6.11/2.60	o 151
6.11/2.60	o 152
6.11/2.60	o 153
6.11/2.60	o 154
6.11/2.60	o 155
6.11/2.60	o 156
6.11/2.60	o 157
6.11/2.60	o 158
6.11/2.60	o 159
6.11/2.60	o 160
6.11/2.60	o 161
6.11/2.60	o 162
6.11/2.60	o 163
6.11/2.60	o 164
6.11/2.60	o 165
6.11/2.60	o 166
6.11/2.60	o 167
6.11/2.60	o 168
6.11/2.60	o 169
6.11/2.60	o 170
6.11/2.60	o 171
6.11/2.60	o 172
6.11/2.60	o 173
6.11/2.60	o 174
6.11/2.60	o 175
6.11/2.60	o 176
6.11/2.60	o 177
6.11/2.60	o 178
6.11/2.60	o 179
6.11/2.60	o 180
6.11/2.60	o 181
6.11/2.60	o 182
6.11/2.60	o 183
6.11/2.60	o 184
6.11/2.60	o 185
6.11/2.60	o 186
6.11/2.60	o 187
6.11/2.60	o 188
6.11/2.60	o 189
6.11/2.60	o 190
6.11/2.60	o 191
6.11/2.60	o 192
6.11/2.60	o 193
6.11/2.60	o 194
6.11/2.60	o 195
6.11/2.60	o 196
6.11/2.60	o 197
6.11/2.60	o 198
6.11/2.60	o 199
6.11/2.60	o 200
6.11/2.60	o 201
6.11/2.60	o 202
6.11/2.60	o 203
6.11/2.60	o 204
6.11/2.60	o 205
6.11/2.60	o 206
6.11/2.60	o 207
6.11/2.60	o 208
6.11/2.60	o 209
6.11/2.60	o 210
6.11/2.60	o 211
6.11/2.60	o 212
6.11/2.60	o 213
6.11/2.60	o 214
6.11/2.60	o 215
6.11/2.60	o 216
6.11/2.60	o 217
6.11/2.60	o 218
6.11/2.60	o 219
6.11/2.60	o 220
6.11/2.60	o 221
6.11/2.60	o 222
6.11/2.60	o 223
6.11/2.60	o 224
6.11/2.60	o 225
6.11/2.60	o 226
6.11/2.60	o 227
6.11/2.60	o 228
6.11/2.60	o 229
6.11/2.60	o 230
6.11/2.60	o 231
6.11/2.60	o 232
6.11/2.60	o 233
6.11/2.60	o 234
6.11/2.60	o 235
6.11/2.60	o 236
6.11/2.60	o 237
6.11/2.60	o 238
6.11/2.60	o 239
6.42/2.77	o 240
6.42/2.79	o 241
6.72/2.80	o 243
6.72/2.81	o 244
6.72/2.81	o 245
9.22/4.89	o 246
9.32/4.97	o 247
10.14/5.71	o 248
19.54/14.93	o 249
23.91/19.23	o 250
37.99/33.19	o 251
37.99/33.19	o 252
38.17/33.39	o 253
46.18/41.26	o 254
46.18/41.27	o 255
48.58/43.68	o 256
206.85/201.68	o 257
225.43/220.16	o 258
235.07/229.77	o 259
245.85/240.47	o 260
245.85/240.48	o 261
559.13/551.05	o 262
640.81/631.96	o 263
642.12/633.26	o 264
2520.03/2487.80	s SATISFIABLE
2520.03/2487.81	v <instantiation>
2520.03/2487.81	v 	<list>
2520.03/2487.81	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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] 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] z
2520.03/2487.81	v 	</list>
2520.03/2487.81	v 	<values>
2520.03/2487.81	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 1 0 1 1 0 0 1 0 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 1 1 0 1 0 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 1 1 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 1 1 1 1 1 0 0 1 0 1 0 0 0 1 1 1 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 1 0 1 0 0 1 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 1 0 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 1 0 1 0 0 0 1 1 1 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 1 1 1 1 1 0 0 0 0 0 1 0 1 1 0 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 0 0 0 1 1 0 0 1 1 0 1 0 1 1 1 1 0 1 0 0 0 1 1 0 1 0 1 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 1 0 1 1 0 1 0 0 1 1 0 1 0 1 0 0 0 0 1 1 0 1 0 1 1 1 0 1 1 0 1 1 0 0 0 1 0 0 1 0 1 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 1 1 1 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 1 0 0 1 1 0 1 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 0 0 0 0 0 0 0 0 1 0 1 0 0 1 1 0 1 1 1 0 1 0 0 1 0 0 1 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 1 0 2 1 1 0 0 0 0 0 1 1 1 1 1 0 1 2 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 2 1 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 1 1 0 0 1 0 2 1 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 1 2 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 2 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 1 2 0 1 0 1 0 0 1 0 0 1 1 1 1 0 1 0 0 0 2 0 1 1 1 0 0 1 2 2 1 0 0 0 0 0 0 1 0 2 1 0 2 0 1 0 0 0 2 1 2 0 0 0 2 0 2 1 1 0 1 0 0 2 0 2 1 1 0 0 0 0 2 2 0 0 2 2 0 0 1 0 0 2 0 0 0 0 1 0 0 2 0 0 1 1 1 2 2 1 0 0 2 1 1 0 1 2 2 1 0 0 1 0 1 0 0 0 2 0 0 0 1 2 2 0 1 0 1 0 1 2 1 1 2 2 1 1 0 1 0 1 0 0 0 0 0 0 1 1 2 1 1 0 0 0 0 0 0 1 2 1 1 0 0 1 0 0 0 1 0 0 1 0 0 1 1 1 0 1 0 0 0 1 0 0 2 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 0 0 0 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 0 0 0 0 0 0 0 0 0 0 1 0 0 2 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 2 1 1 0 1 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 2 0 0 0 0 1 1 1 1 1 1 0 0 1 0 1 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 1 0 0 0 0 0 0 0 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 1 0 1 1 0 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 2 0 0 2 1 1 0 0 0 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 2 0 1 1 0 2 2 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 1 0 0 1 1 1 0 0 1 1 1 1 0 1 1 0 0 1 0 0 1 0 1 0 14 32 41 53 64 71 83 100 121 136 157 178 192 200 203 210 217 228 233 236 243 247 252 260 267 281 294 264 
2520.03/2487.81	v 	</values>
2520.03/2487.81	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 (11006 MiB free)
  memory of node 1: 16384 MiB (12546 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4311522-1534541041/watcher-4311522-1534541041 -o /tmp/evaluation-result-4311522-1534541041/solver-4311522-1534541041 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534541038-25262 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1210841971 --timelimit 2520 --memlimit 11000 --nbcore 1 HOME/instance-4311522-1534541041.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=25382, runsolver pid=25379

[startup+0.100716 s]*
/proc/loadavg: 0.00 0.02 0.06 4/215 25397
/proc/meminfo: memFree=24099624/32770624 swapFree=67108196/67108860
[pid=25382] ppid=25379 vsize=14082736 memory=31720 CPUtime=0.12 cores=1,3,5,7
/proc/25382/stat : 25382 (java) S 25379 25382 25230 0 -1 1077944320 6817 0 0 0 11 1 0 0 20 0 15 0 271667260 14420721664 7930 33554432000 4194304 4196468 140722350126688 140722350109232 139895942422263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
/proc/25382/statm: 3520684 7930 3160 1 0 3482761 0
[pid=25382/tid=25384] ppid=25379 vsize=14082736 memory=-6966717417093883519 CPUtime=0.09 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (java) R 25379 25382 25230 0 -1 4202560 4869 0 0 0 8 1 0 0 20 0 15 0 271667261 14420721664 7930 33554432000 4194304 4196468 140722350126688 139895946617600 139895926502780 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25385] ppid=25379 vsize=14082736 memory=5793855192404728249 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (java) S 25379 25382 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667261 14420721664 7930 33554432000 4194304 4196468 140722350126688 139895880022416 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25386] ppid=25379 vsize=14082736 memory=139941394835072 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25386/stat : 25386 (java) S 25379 25382 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667261 14420721664 7930 33554432000 4194304 4196468 140722350126688 139895878969616 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25387] ppid=25379 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25387/stat : 25387 (java) S 25379 25382 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667261 14420721664 7930 33554432000 4194304 4196468 140722350126688 139895877917328 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25388] ppid=25379 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25388/stat : 25388 (java) S 25379 25382 25230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271667261 14420721664 7930 33554432000 4194304 4196468 140722350126688 139895534787088 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25389] ppid=25379 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25389/stat : 25389 (java) S 25379 25382 25230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271667263 14420721664 7930 33554432000 4194304 4196468 140722350126688 139894854716016 139895942433410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25390] ppid=25379 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25390/stat : 25390 (java) S 25379 25382 25230 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271667263 14420721664 7930 33554432000 4194304 4196468 140722350126688 139894853661984 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25391] ppid=25379 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25391/stat : 25391 (java) S 25379 25382 25230 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271667263 14420721664 7930 33554432000 4194304 4196468 140722350126688 139894852609648 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25392] ppid=25379 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25392/stat : 25392 (java) S 25379 25382 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667266 14420721664 7930 33554432000 4194304 4196468 140722350126688 139894851557968 139895942440859 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25393] ppid=25379 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25393/stat : 25393 (java) S 25379 25382 25230 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 271667266 14420721664 7930 33554432000 4194304 4196468 140722350126688 139894850504816 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25394] ppid=25379 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25394/stat : 25394 (java) S 25379 25382 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667266 14420721664 7930 33554432000 4194304 4196468 140722350126688 139894849452016 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25395] ppid=25379 vsize=14082736 memory=139941394835072 CPUtime=0.01 cores=1,3,5,7
/proc/25382/task/25395/stat : 25395 (java) S 25379 25382 25230 0 -1 1077944384 270 0 0 0 1 0 0 0 20 0 15 0 271667266 14420721664 7930 33554432000 4194304 4196468 140722350126688 139894848399728 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25396] ppid=25379 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25396/stat : 25396 (java) S 25379 25382 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667266 14420721664 7930 33554432000 4194304 4196468 140722350126688 139894847347168 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25397] ppid=25379 vsize=14082736 memory=139941394835072 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25397/stat : 25397 (java) S 25379 25382 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667266 14420721664 7930 33554432000 4194304 4196468 140722350126688 139894846294960 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31720 KiB

[startup+0.210413 s]*
/proc/loadavg: 0.00 0.02 0.06 5/215 25397
/proc/meminfo: memFree=24083872/32770624 swapFree=67108196/67108860
[pid=25382] ppid=25379 vsize=14082736 memory=47276 CPUtime=0.29 cores=1,3,5,7
/proc/25382/stat : 25382 (java) S 25379 25382 25230 0 -1 1077944320 10431 0 0 0 28 1 0 0 20 0 15 0 271667260 14420721664 11819 33554432000 4194304 4196468 140722350126688 140722350109232 139895942422263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
/proc/25382/statm: 3520684 11819 3338 1 0 3482761 0
[pid=25382/tid=25384] ppid=25379 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (java) S 25379 25382 25230 0 -1 1077944384 8210 0 0 0 19 1 0 0 20 0 15 0 271667261 14420721664 11885 33554432000 4194304 4196468 140722350126688 139895946649376 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25385] ppid=25379 vsize=14082736 memory=4211973667599625610 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (java) S 25379 25382 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667261 14420721664 11885 33554432000 4194304 4196468 140722350126688 139895880022416 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25386] ppid=25379 vsize=14082736 memory=139941394835072 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25386/stat : 25386 (java) S 25379 25382 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667261 14420721664 11885 33554432000 4194304 4196468 140722350126688 139895878969616 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25387] ppid=25379 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25387/stat : 25387 (java) S 25379 25382 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667261 14420721664 11885 33554432000 4194304 4196468 140722350126688 139895877917328 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25388] ppid=25379 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25388/stat : 25388 (java) S 25379 25382 25230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271667261 14420721664 11885 33554432000 4194304 4196468 140722350126688 139895534787088 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25389] ppid=25379 vsize=14082736 memory=139941394835072 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25389/stat : 25389 (java) S 25379 25382 25230 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271667263 14420721664 11885 33554432000 4194304 4196468 140722350126688 139894854716016 139895942433410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25390] ppid=25379 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25390/stat : 25390 (java) S 25379 25382 25230 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271667263 14420721664 11885 33554432000 4194304 4196468 140722350126688 139894853661984 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25391] ppid=25379 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25391/stat : 25391 (java) S 25379 25382 25230 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271667263 14420721664 11885 33554432000 4194304 4196468 140722350126688 139894852609648 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25392] ppid=25379 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25392/stat : 25392 (java) S 25379 25382 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667266 14420721664 11885 33554432000 4194304 4196468 140722350126688 139894851557968 139895942440859 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25393] ppid=25379 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25382/task/25393/stat : 25393 (java) R 25379 25382 25230 0 -1 4202560 538 0 0 0 2 0 0 0 20 0 15 0 271667266 14420721664 11885 33554432000 4194304 4196468 140722350126688 139894850504000 139895926811837 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25394] ppid=25379 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25394/stat : 25394 (java) R 25379 25382 25230 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 271667266 14420721664 11885 33554432000 4194304 4196468 140722350126688 139894849452016 139895942433410 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25395] ppid=25379 vsize=14082736 memory=139941394835072 CPUtime=0.06 cores=1,3,5,7
/proc/25382/task/25395/stat : 25395 (java) S 25379 25382 25230 0 -1 1077944384 292 0 0 0 6 0 0 0 20 0 15 0 271667266 14420721664 11885 33554432000 4194304 4196468 140722350126688 139894848399728 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25396] ppid=25379 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25396/stat : 25396 (java) S 25379 25382 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667266 14420721664 11885 33554432000 4194304 4196468 140722350126688 139894847347168 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25397] ppid=25379 vsize=14082736 memory=139941394835072 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25397/stat : 25397 (java) S 25379 25382 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667266 14420721664 11885 33554432000 4194304 4196468 140722350126688 139894846294960 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47276 KiB

[startup+0.3106 s]*
/proc/loadavg: 0.00 0.02 0.06 4/215 25397
/proc/meminfo: memFree=24080708/32770624 swapFree=67108196/67108860
[pid=25382] ppid=25379 vsize=14082736 memory=50668 CPUtime=0.44 cores=1,3,5,7
/proc/25382/stat : 25382 (java) S 25379 25382 25230 0 -1 1077944320 10849 0 0 0 42 2 0 0 20 0 15 0 271667260 14420721664 12667 33554432000 4194304 4196468 140722350126688 140722350109232 139895942422263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
/proc/25382/statm: 3520684 12667 3374 1 0 3482761 0
[pid=25382/tid=25384] ppid=25379 vsize=14082736 memory=4871374705135476842 CPUtime=0.29 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (java) R 25379 25382 25230 0 -1 4202560 8545 0 0 0 28 1 0 0 20 0 15 0 271667261 14420721664 12667 33554432000 4194304 4196468 140722350126688 139895946631616 139895934659390 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25385] ppid=25379 vsize=14082736 memory=4211973667599625610 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (java) S 25379 25382 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667261 14420721664 12667 33554432000 4194304 4196468 140722350126688 139895880022416 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25386] ppid=25379 vsize=14082736 memory=139941394837423 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25386/stat : 25386 (java) S 25379 25382 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667261 14420721664 12667 33554432000 4194304 4196468 140722350126688 139895878969616 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25387] ppid=25379 vsize=14082736 memory=139941241809154 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25387/stat : 25387 (java) S 25379 25382 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667261 14420721664 12667 33554432000 4194304 4196468 140722350126688 139895877917328 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25388] ppid=25379 vsize=14082736 memory=139941241802191 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25388/stat : 25388 (java) S 25379 25382 25230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271667261 14420721664 12667 33554432000 4194304 4196468 140722350126688 139895534787088 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25389] ppid=25379 vsize=14082736 memory=139941394860328 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25389/stat : 25389 (java) S 25379 25382 25230 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271667263 14420721664 12667 33554432000 4194304 4196468 140722350126688 139894854716016 139895942433410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25390] ppid=25379 vsize=14082736 memory=139941241811375 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25390/stat : 25390 (java) S 25379 25382 25230 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271667263 14420721664 12667 33554432000 4194304 4196468 140722350126688 139894853661984 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25391] ppid=25379 vsize=14082736 memory=279882483613584 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25391/stat : 25391 (java) S 25379 25382 25230 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271667263 14420721664 12667 33554432000 4194304 4196468 140722350126688 139894852609648 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25392] ppid=25379 vsize=14082736 memory=279882483611280 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25392/stat : 25392 (java) S 25379 25382 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667266 14420721664 12667 33554432000 4194304 4196468 140722350126688 139894851557968 139895942440859 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25393] ppid=25379 vsize=14082736 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/25382/task/25393/stat : 25393 (java) S 25379 25382 25230 0 -1 1077944384 574 0 0 0 3 0 0 0 20 0 15 0 271667266 14420721664 12667 33554432000 4194304 4196468 140722350126688 139894850504816 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25394] ppid=25379 vsize=14082736 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/25382/task/25394/stat : 25394 (java) S 25379 25382 25230 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 15 0 271667266 14420721664 12667 33554432000 4194304 4196468 140722350126688 139894849452016 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25395] ppid=25379 vsize=14082736 memory=139941394835072 CPUtime=0.08 cores=1,3,5,7
/proc/25382/task/25395/stat : 25395 (java) S 25379 25382 25230 0 -1 1077944384 303 0 0 0 8 0 0 0 20 0 15 0 271667266 14420721664 12718 33554432000 4194304 4196468 140722350126688 139894848399728 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25396] ppid=25379 vsize=14082736 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25396/stat : 25396 (java) S 25379 25382 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667266 14420721664 12718 33554432000 4194304 4196468 140722350126688 139894847347168 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25397] ppid=25379 vsize=14082736 memory=139941394835072 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25397/stat : 25397 (java) S 25379 25382 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667266 14420721664 12718 33554432000 4194304 4196468 140722350126688 139894846294960 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50668 KiB

[startup+0.700769 s]
/proc/loadavg: 0.00 0.02 0.06 3/215 25397
/proc/meminfo: memFree=24056400/32770624 swapFree=67108196/67108860
[pid=25382] ppid=25379 vsize=14084804 memory=90564 CPUtime=0.98 cores=1,3,5,7
/proc/25382/stat : 25382 (java) S 25379 25382 25230 0 -1 1077944320 17549 0 0 0 95 3 0 0 20 0 15 0 271667260 14422839296 22641 33554432000 4194304 4196468 140722350126688 140722350109232 139895942422263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
/proc/25382/statm: 3521201 22641 3500 1 0 3483273 0
[pid=25382/tid=25384] ppid=25379 vsize=14084804 memory=752 CPUtime=0.67 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (java) R 25379 25382 25230 0 -1 4202560 14876 0 0 0 64 3 0 0 20 0 15 0 271667261 14422839296 22641 33554432000 4194304 4196468 140722350126688 139895946646368 139895926502750 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25385] ppid=25379 vsize=14084804 memory=1124 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (java) S 25379 25382 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667261 14422839296 22641 33554432000 4194304 4196468 140722350126688 139895880022416 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25386] ppid=25379 vsize=14084804 memory=1824 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25386/stat : 25386 (java) S 25379 25382 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667261 14422839296 22641 33554432000 4194304 4196468 140722350126688 139895878969616 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25387] ppid=25379 vsize=14084804 memory=7302135314614015845 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25387/stat : 25387 (java) S 25379 25382 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667261 14422839296 22641 33554432000 4194304 4196468 140722350126688 139895877917328 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25388] ppid=25379 vsize=14084804 memory=7378396380443208548 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25388/stat : 25388 (java) S 25379 25382 25230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271667261 14422839296 22641 33554432000 4194304 4196468 140722350126688 139895534787088 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25389] ppid=25379 vsize=14084804 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25389/stat : 25389 (java) S 25379 25382 25230 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 271667263 14422839296 22641 33554432000 4194304 4196468 140722350126688 139894854716016 139895942433410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25390] ppid=25379 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25390/stat : 25390 (java) S 25379 25382 25230 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 271667263 14422839296 22641 33554432000 4194304 4196468 140722350126688 139894853661984 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25391] ppid=25379 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25391/stat : 25391 (java) S 25379 25382 25230 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 271667263 14422839296 22641 33554432000 4194304 4196468 140722350126688 139894852609648 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25392] ppid=25379 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25392/stat : 25392 (java) S 25379 25382 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667266 14422839296 22641 33554432000 4194304 4196468 140722350126688 139894851557968 139895942440859 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25393] ppid=25379 vsize=14084804 memory=231 CPUtime=0.07 cores=1,3,5,7
/proc/25382/task/25393/stat : 25393 (java) S 25379 25382 25230 0 -1 1077944384 701 0 0 0 7 0 0 0 20 0 15 0 271667266 14422839296 22641 33554432000 4194304 4196468 140722350126688 139894850504816 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25394] ppid=25379 vsize=14084804 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/25382/task/25394/stat : 25394 (java) S 25379 25382 25230 0 -1 1077944384 225 0 0 0 7 0 0 0 20 0 15 0 271667266 14422839296 22641 33554432000 4194304 4196468 140722350126688 139894849452016 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25395] ppid=25379 vsize=14084804 memory=711 CPUtime=0.14 cores=1,3,5,7
/proc/25382/task/25395/stat : 25395 (java) S 25379 25382 25230 0 -1 1077944384 367 0 0 0 14 0 0 0 20 0 15 0 271667266 14422839296 22641 33554432000 4194304 4196468 140722350126688 139894848399728 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25396] ppid=25379 vsize=14084804 memory=279882483797488 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25396/stat : 25396 (java) S 25379 25382 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667266 14422839296 22641 33554432000 4194304 4196468 140722350126688 139894847347168 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25397] ppid=25379 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25397/stat : 25397 (java) S 25379 25382 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667266 14422839296 22641 33554432000 4194304 4196468 140722350126688 139894846294960 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 90564 KiB

[startup+1.50075 s]
/proc/loadavg: 0.16 0.05 0.07 5/215 25397
/proc/meminfo: memFree=24018740/32770624 swapFree=67108196/67108860
[pid=25382] ppid=25379 vsize=14090948 memory=192408 CPUtime=2.99 cores=1,3,5,7
/proc/25382/stat : 25382 (java) S 25379 25382 25230 0 -1 1077944320 23558 0 0 0 293 6 0 0 20 0 15 0 271667260 14429130752 48102 33554432000 4194304 4196468 140722350126688 140722350109232 139895942422263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
/proc/25382/statm: 3522737 48102 3542 1 0 3484809 0
[pid=25382/tid=25384] ppid=25379 vsize=14090948 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (java) R 25379 25382 25230 0 -1 4202560 18116 0 0 0 142 4 0 0 20 0 15 0 271667261 14429130752 48102 33554432000 4194304 4196468 140722350126688 139895946657216 139895557459969 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25385] ppid=25379 vsize=14090948 memory=-3535359994705172579 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (java) S 25379 25382 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667261 14429130752 48102 33554432000 4194304 4196468 140722350126688 139895880022416 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25386] ppid=25379 vsize=14090948 memory=-2746958450906831424 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25386/stat : 25386 (java) S 25379 25382 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667261 14429130752 48102 33554432000 4194304 4196468 140722350126688 139895878969616 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25387] ppid=25379 vsize=14090948 memory=-6366504964593181794 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25387/stat : 25387 (java) S 25379 25382 25230 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 271667261 14429130752 48102 33554432000 4194304 4196468 140722350126688 139895877917328 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25388] ppid=25379 vsize=14090948 memory=-6441413357968170793 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25388/stat : 25388 (java) S 25379 25382 25230 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 271667261 14429130752 48102 33554432000 4194304 4196468 140722350126688 139895534787088 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25389] ppid=25379 vsize=14090948 memory=9051564105007268013 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25389/stat : 25389 (java) S 25379 25382 25230 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 271667263 14429130752 48102 33554432000 4194304 4196468 140722350126688 139894854716016 139895942433410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0

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

/proc/25382/task/25384/stat : 25384 (java) R 25379 25382 25230 0 -1 4202560 78056 0 0 0 230296 45 0 0 20 0 15 0 271667261 14429130752 499235 33554432000 4194304 4196468 140722350126688 139895946660256 139895568161311 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25385] ppid=25379 vsize=14090948 memory=1996940 CPUtime=9.12 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (java) S 25379 25382 25230 0 -1 1077944384 24071 0 0 0 863 49 0 0 20 0 15 0 271667261 14429130752 499235 33554432000 4194304 4196468 140722350126688 139895880022416 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25386] ppid=25379 vsize=14090948 memory=1996940 CPUtime=9.17 cores=1,3,5,7
/proc/25382/task/25386/stat : 25386 (java) S 25379 25382 25230 0 -1 1077944384 28124 0 0 0 869 48 0 0 20 0 15 0 271667261 14429130752 499235 33554432000 4194304 4196468 140722350126688 139895878969616 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25387] ppid=25379 vsize=14090948 memory=1996940 CPUtime=9.16 cores=1,3,5,7
/proc/25382/task/25387/stat : 25387 (java) S 25379 25382 25230 0 -1 1077944384 24495 0 0 0 868 48 0 0 20 0 15 0 271667261 14429130752 499235 33554432000 4194304 4196468 140722350126688 139895877917328 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25388] ppid=25379 vsize=14090948 memory=1996940 CPUtime=9.16 cores=1,3,5,7
/proc/25382/task/25388/stat : 25388 (java) S 25379 25382 25230 0 -1 1077944384 22445 0 0 0 868 48 0 0 20 0 15 0 271667261 14429130752 499235 33554432000 4194304 4196468 140722350126688 139895534787088 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25389] ppid=25379 vsize=14090948 memory=1996940 CPUtime=6.09 cores=1,3,5,7
/proc/25382/task/25389/stat : 25389 (java) S 25379 25382 25230 0 -1 1077944384 19397 0 0 0 570 39 0 0 20 0 15 0 271667263 14429130752 499235 33554432000 4194304 4196468 140722350126688 139894854716016 139895942433410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25390] ppid=25379 vsize=14090948 memory=1996940 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25390/stat : 25390 (java) S 25379 25382 25230 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 271667263 14429130752 499235 33554432000 4194304 4196468 140722350126688 139894853662048 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25391] ppid=25379 vsize=14090948 memory=1996940 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25391/stat : 25391 (java) S 25379 25382 25230 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 271667263 14429130752 499235 33554432000 4194304 4196468 140722350126688 139894852609648 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25392] ppid=25379 vsize=14090948 memory=1996940 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25392/stat : 25392 (java) S 25379 25382 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667266 14429130752 499235 33554432000 4194304 4196468 140722350126688 139894851557968 139895942440859 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25393] ppid=25379 vsize=14090948 memory=1996940 CPUtime=1.9 cores=1,3,5,7
/proc/25382/task/25393/stat : 25393 (java) S 25379 25382 25230 0 -1 1077944384 7809 0 0 0 189 1 0 0 20 0 15 0 271667266 14429130752 499235 33554432000 4194304 4196468 140722350126688 139894850504816 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25394] ppid=25379 vsize=14090948 memory=1996940 CPUtime=1.85 cores=1,3,5,7
/proc/25382/task/25394/stat : 25394 (java) S 25379 25382 25230 0 -1 1077944384 7452 0 0 0 184 1 0 0 20 0 15 0 271667266 14429130752 499235 33554432000 4194304 4196468 140722350126688 139894849452016 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25395] ppid=25379 vsize=14090948 memory=1996940 CPUtime=0.98 cores=1,3,5,7
/proc/25382/task/25395/stat : 25395 (java) S 25379 25382 25230 0 -1 1077944384 10028 0 0 0 96 2 0 0 20 0 15 0 271667266 14429130752 499235 33554432000 4194304 4196468 140722350126688 139894848399728 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25396] ppid=25379 vsize=14090948 memory=1996940 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25396/stat : 25396 (java) S 25379 25382 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667266 14429130752 499235 33554432000 4194304 4196468 140722350126688 139894847347168 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25397] ppid=25379 vsize=14090948 memory=3760 CPUtime=1.27 cores=1,3,5,7
/proc/25382/task/25397/stat : 25397 (java) S 25379 25382 25230 0 -1 1077944384 1840 0 0 0 53 74 0 0 20 0 15 0 271667266 14429130752 499235 33554432000 4194304 4196468 140722350126688 139894846294960 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
Current children cumulated CPU time: 2352.23 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1996940 KiB

[startup+2382.3 s]
/proc/loadavg: 1.46 1.43 1.32 3/217 25511
/proc/meminfo: memFree=22103568/32770624 swapFree=67108196/67108860
[pid=25382] ppid=25379 vsize=14090948 memory=2001036 CPUtime=2413.06 cores=1,3,5,7
/proc/25382/stat : 25382 (java) S 25379 25382 25230 0 -1 1077944320 227800 0 0 0 240997 309 0 0 20 0 15 0 271667260 14429130752 500259 33554432000 4194304 4196468 140722350126688 140722350109232 139895942422263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
/proc/25382/statm: 3522737 500259 3598 1 0 3484809 0
[pid=25382/tid=25384] ppid=25379 vsize=14090948 memory=2001036 CPUtime=2362.82 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (java) R 25379 25382 25230 0 -1 4202560 79162 0 0 0 236236 46 0 0 20 0 15 0 271667261 14429130752 500259 33554432000 4194304 4196468 140722350126688 139895946660304 139895568161914 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25385] ppid=25379 vsize=14090948 memory=2001036 CPUtime=9.43 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (java) S 25379 25382 25230 0 -1 1077944384 24355 0 0 0 893 50 0 0 20 0 15 0 271667261 14429130752 500259 33554432000 4194304 4196468 140722350126688 139895880022416 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25386] ppid=25379 vsize=14090948 memory=2001036 CPUtime=9.48 cores=1,3,5,7
/proc/25382/task/25386/stat : 25386 (java) S 25379 25382 25230 0 -1 1077944384 28507 0 0 0 897 51 0 0 20 0 15 0 271667261 14429130752 500259 33554432000 4194304 4196468 140722350126688 139895878969616 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25387] ppid=25379 vsize=14090948 memory=2001036 CPUtime=9.47 cores=1,3,5,7
/proc/25382/task/25387/stat : 25387 (java) S 25379 25382 25230 0 -1 1077944384 24847 0 0 0 897 50 0 0 20 0 15 0 271667261 14429130752 500259 33554432000 4194304 4196468 140722350126688 139895877917328 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25388] ppid=25379 vsize=14090948 memory=1994892 CPUtime=9.46 cores=1,3,5,7
/proc/25382/task/25388/stat : 25388 (java) S 25379 25382 25230 0 -1 1077944384 22743 0 0 0 897 49 0 0 20 0 15 0 271667261 14429130752 500259 33554432000 4194304 4196468 140722350126688 139895534787088 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25389] ppid=25379 vsize=14090948 memory=1996940 CPUtime=6.27 cores=1,3,5,7
/proc/25382/task/25389/stat : 25389 (java) S 25379 25382 25230 0 -1 1077944384 19604 0 0 0 587 40 0 0 20 0 15 0 271667263 14429130752 500259 33554432000 4194304 4196468 140722350126688 139894854716016 139895942433410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25390] ppid=25379 vsize=14090948 memory=1998988 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25390/stat : 25390 (java) S 25379 25382 25230 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 271667263 14429130752 500259 33554432000 4194304 4196468 140722350126688 139894853662048 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25391] ppid=25379 vsize=14090948 memory=2001036 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25391/stat : 25391 (java) S 25379 25382 25230 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 271667263 14429130752 500259 33554432000 4194304 4196468 140722350126688 139894852609648 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25392] ppid=25379 vsize=14090948 memory=279882484099376 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25392/stat : 25392 (java) S 25379 25382 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667266 14429130752 500259 33554432000 4194304 4196468 140722350126688 139894851557968 139895942440859 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25393] ppid=25379 vsize=14090948 memory=2001036 CPUtime=1.9 cores=1,3,5,7
/proc/25382/task/25393/stat : 25393 (java) S 25379 25382 25230 0 -1 1077944384 7813 0 0 0 189 1 0 0 20 0 15 0 271667266 14429130752 500259 33554432000 4194304 4196468 140722350126688 139894850504816 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25394] ppid=25379 vsize=14090948 memory=0 CPUtime=1.85 cores=1,3,5,7
/proc/25382/task/25394/stat : 25394 (java) S 25379 25382 25230 0 -1 1077944384 7456 0 0 0 184 1 0 0 20 0 15 0 271667266 14429130752 500259 33554432000 4194304 4196468 140722350126688 139894849452016 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25395] ppid=25379 vsize=14090948 memory=1998988 CPUtime=0.98 cores=1,3,5,7
/proc/25382/task/25395/stat : 25395 (java) S 25379 25382 25230 0 -1 1077944384 10032 0 0 0 96 2 0 0 20 0 15 0 271667266 14429130752 500259 33554432000 4194304 4196468 140722350126688 139894848399728 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25396] ppid=25379 vsize=14090948 memory=3760 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25396/stat : 25396 (java) S 25379 25382 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667266 14429130752 500259 33554432000 4194304 4196468 140722350126688 139894847347168 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25397] ppid=25379 vsize=14090948 memory=2001036 CPUtime=1.31 cores=1,3,5,7
/proc/25382/task/25397/stat : 25397 (java) S 25379 25382 25230 0 -1 1077944384 1859 0 0 0 55 76 0 0 20 0 15 0 271667266 14429130752 500259 33554432000 4194304 4196468 140722350126688 139894846294960 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
Current children cumulated CPU time: 2413.06 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2001036 KiB

[startup+2442.3 s]
/proc/loadavg: 1.33 1.42 1.33 3/217 25512
/proc/meminfo: memFree=22096900/32770624 swapFree=67108196/67108860
[pid=25382] ppid=25379 vsize=14090948 memory=2005132 CPUtime=2473.9 cores=1,3,5,7
/proc/25382/stat : 25382 (java) S 25379 25382 25230 0 -1 1077944320 230580 0 0 0 247074 316 0 0 20 0 15 0 271667260 14429130752 501283 33554432000 4194304 4196468 140722350126688 140722350109232 139895942422263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
/proc/25382/statm: 3522737 501283 3598 1 0 3484809 0
[pid=25382/tid=25384] ppid=25379 vsize=14090948 memory=1998988 CPUtime=2422.2 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (java) R 25379 25382 25230 0 -1 4202560 80326 0 0 0 242173 47 0 0 20 0 15 0 271667261 14429130752 501283 33554432000 4194304 4196468 140722350126688 139895946660240 139895568062986 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25385] ppid=25379 vsize=14090948 memory=2003084 CPUtime=9.74 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (java) S 25379 25382 25230 0 -1 1077944384 24815 0 0 0 923 51 0 0 20 0 15 0 271667261 14429130752 501283 33554432000 4194304 4196468 140722350126688 139895880022416 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25386] ppid=25379 vsize=14090948 memory=2003084 CPUtime=9.78 cores=1,3,5,7
/proc/25382/task/25386/stat : 25386 (java) S 25379 25382 25230 0 -1 1077944384 28922 0 0 0 926 52 0 0 20 0 15 0 271667261 14429130752 501283 33554432000 4194304 4196468 140722350126688 139895878969616 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25387] ppid=25379 vsize=14090948 memory=2005132 CPUtime=9.78 cores=1,3,5,7
/proc/25382/task/25387/stat : 25387 (java) S 25379 25382 25230 0 -1 1077944384 25194 0 0 0 927 51 0 0 20 0 15 0 271667261 14429130752 501283 33554432000 4194304 4196468 140722350126688 139895877917328 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25388] ppid=25379 vsize=14090948 memory=2003084 CPUtime=9.76 cores=1,3,5,7
/proc/25382/task/25388/stat : 25388 (java) S 25379 25382 25230 0 -1 1077944384 22897 0 0 0 926 50 0 0 20 0 15 0 271667261 14429130752 501283 33554432000 4194304 4196468 140722350126688 139895534787088 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25389] ppid=25379 vsize=14090948 memory=2005132 CPUtime=6.46 cores=1,3,5,7
/proc/25382/task/25389/stat : 25389 (java) S 25379 25382 25230 0 -1 1077944384 19813 0 0 0 605 41 0 0 20 0 15 0 271667263 14429130752 501283 33554432000 4194304 4196468 140722350126688 139894854716016 139895942433410 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25390] ppid=25379 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25390/stat : 25390 (java) S 25379 25382 25230 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 271667263 14429130752 501283 33554432000 4194304 4196468 140722350126688 139894853662048 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25391] ppid=25379 vsize=14090948 memory=2005132 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25391/stat : 25391 (java) S 25379 25382 25230 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 271667263 14429130752 501283 33554432000 4194304 4196468 140722350126688 139894852609648 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25392] ppid=25379 vsize=14090948 memory=2005132 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25392/stat : 25392 (java) S 25379 25382 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667266 14429130752 501283 33554432000 4194304 4196468 140722350126688 139894851557968 139895942440859 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25393] ppid=25379 vsize=14090948 memory=2005132 CPUtime=1.9 cores=1,3,5,7
/proc/25382/task/25393/stat : 25393 (java) S 25379 25382 25230 0 -1 1077944384 7817 0 0 0 189 1 0 0 20 0 15 0 271667266 14429130752 501283 33554432000 4194304 4196468 140722350126688 139894850504816 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25394] ppid=25379 vsize=14090948 memory=2005132 CPUtime=1.85 cores=1,3,5,7
/proc/25382/task/25394/stat : 25394 (java) S 25379 25382 25230 0 -1 1077944384 7460 0 0 0 184 1 0 0 20 0 15 0 271667266 14429130752 501283 33554432000 4194304 4196468 140722350126688 139894849452016 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25395] ppid=25379 vsize=14090948 memory=2005132 CPUtime=0.98 cores=1,3,5,7
/proc/25382/task/25395/stat : 25395 (java) S 25379 25382 25230 0 -1 1077944384 10036 0 0 0 96 2 0 0 20 0 15 0 271667266 14429130752 501283 33554432000 4194304 4196468 140722350126688 139894848399728 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25396] ppid=25379 vsize=14090948 memory=2005132 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25396/stat : 25396 (java) S 25379 25382 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667266 14429130752 501283 33554432000 4194304 4196468 140722350126688 139894847347168 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25397] ppid=25379 vsize=14090948 memory=2005132 CPUtime=1.34 cores=1,3,5,7
/proc/25382/task/25397/stat : 25397 (java) S 25379 25382 25230 0 -1 1077944384 1878 0 0 0 57 77 0 0 20 0 15 0 271667266 14429130752 501283 33554432000 4194304 4196468 140722350126688 139894846294960 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
Current children cumulated CPU time: 2473.9 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2005132 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2487.8 s]
/proc/loadavg: 1.65 1.50 1.36 3/216 25513
/proc/meminfo: memFree=22091208/32770624 swapFree=67108196/67108860
[pid=25382] ppid=25379 vsize=14090948 memory=2009228 CPUtime=2520.03 cores=1,3,5,7
/proc/25382/stat : 25382 (java) S 25379 25382 25230 0 -1 1077944320 232739 0 0 0 251682 321 0 0 20 0 15 0 271667260 14429130752 502307 33554432000 4194304 4196468 140722350126688 140722350109232 139895942422263 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
/proc/25382/statm: 3522737 502307 3598 1 0 3484809 0
[pid=25382/tid=25384] ppid=25379 vsize=14090948 memory=6791534058613427641 CPUtime=2467.26 cores=1,3,5,7
/proc/25382/task/25384/stat : 25384 (java) R 25379 25382 25230 0 -1 4202560 81142 0 0 0 246678 48 0 0 20 0 15 0 271667261 14429130752 502307 33554432000 4194304 4196468 140722350126688 139895946660288 139895568423276 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25385] ppid=25379 vsize=14090948 memory=1704 CPUtime=9.96 cores=1,3,5,7
/proc/25382/task/25385/stat : 25385 (java) S 25379 25382 25230 0 -1 1077944384 25150 0 0 0 945 51 0 0 20 0 15 0 271667261 14429130752 502307 33554432000 4194304 4196468 140722350126688 139895880022416 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25386] ppid=25379 vsize=14090948 memory=1176 CPUtime=10.02 cores=1,3,5,7
/proc/25382/task/25386/stat : 25386 (java) S 25379 25382 25230 0 -1 1077944384 29305 0 0 0 949 53 0 0 20 0 15 0 271667261 14429130752 502307 33554432000 4194304 4196468 140722350126688 139895878969616 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25387] ppid=25379 vsize=14090948 memory=932 CPUtime=10.01 cores=1,3,5,7
/proc/25382/task/25387/stat : 25387 (java) S 25379 25382 25230 0 -1 1077944384 25486 0 0 0 949 52 0 0 20 0 15 0 271667261 14429130752 502307 33554432000 4194304 4196468 140722350126688 139895877917328 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25388] ppid=25379 vsize=14090948 memory=2056 CPUtime=10 cores=1,3,5,7
/proc/25382/task/25388/stat : 25388 (java) S 25379 25382 25230 0 -1 1077944384 23062 0 0 0 948 52 0 0 20 0 15 0 271667261 14429130752 502307 33554432000 4194304 4196468 140722350126688 139895534787088 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25389] ppid=25379 vsize=14090948 memory=928 CPUtime=6.59 cores=1,3,5,7
/proc/25382/task/25389/stat : 25389 (java) S 25379 25382 25230 0 -1 1077944384 19952 0 0 0 617 42 0 0 20 0 15 0 271667263 14429130752 502307 33554432000 4194304 4196468 140722350126688 139894854716016 139895942433410 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25390] ppid=25379 vsize=14090948 memory=1568 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25390/stat : 25390 (java) S 25379 25382 25230 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 271667263 14429130752 502307 33554432000 4194304 4196468 140722350126688 139894853662048 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25391] ppid=25379 vsize=14090948 memory=2216 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25391/stat : 25391 (java) S 25379 25382 25230 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 271667263 14429130752 502307 33554432000 4194304 4196468 140722350126688 139894852609648 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25392] ppid=25379 vsize=14090948 memory=3984 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25392/stat : 25392 (java) S 25379 25382 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667266 14429130752 502307 33554432000 4194304 4196468 140722350126688 139894851557968 139895942440859 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25393] ppid=25379 vsize=14090948 memory=1356 CPUtime=1.9 cores=1,3,5,7
/proc/25382/task/25393/stat : 25393 (java) S 25379 25382 25230 0 -1 1077944384 7819 0 0 0 189 1 0 0 20 0 15 0 271667266 14429130752 502307 33554432000 4194304 4196468 140722350126688 139894850504816 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25394] ppid=25379 vsize=14090948 memory=4140 CPUtime=1.85 cores=1,3,5,7
/proc/25382/task/25394/stat : 25394 (java) S 25379 25382 25230 0 -1 1077944384 7462 0 0 0 184 1 0 0 20 0 15 0 271667266 14429130752 502307 33554432000 4194304 4196468 140722350126688 139894849452016 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25395] ppid=25379 vsize=14090948 memory=6364 CPUtime=0.98 cores=1,3,5,7
/proc/25382/task/25395/stat : 25395 (java) S 25379 25382 25230 0 -1 1077944384 10038 0 0 0 96 2 0 0 20 0 15 0 271667266 14429130752 502307 33554432000 4194304 4196468 140722350126688 139894848399728 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25396] ppid=25379 vsize=14090948 memory=1628 CPUtime=0 cores=1,3,5,7
/proc/25382/task/25396/stat : 25396 (java) S 25379 25382 25230 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 271667266 14429130752 502307 33554432000 4194304 4196468 140722350126688 139894847347168 139895942432469 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
[pid=25382/tid=25397] ppid=25379 vsize=14090948 memory=1100 CPUtime=1.37 cores=1,3,5,7
/proc/25382/task/25397/stat : 25397 (java) S 25379 25382 25230 0 -1 1077944384 1901 0 0 0 58 79 0 0 20 0 15 0 271667266 14429130752 502307 33554432000 4194304 4196468 140722350126688 139894846294960 139895942433410 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23298048 140722350130248 140722350130441 140722350130441 140722350133199 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 2009228 KiB

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

[startup+2487.83 s]
# the end of solver process 25382 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.85 s, system=3.22947 s

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

Child status: 143
Real time (s): 2487.83
CPU time (s): 2520.08
CPU user time (s): 2516.85
CPU system time (s): 3.22947
CPU usage (%): 101.296
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 2009228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.85
system time used= 3.22947
maximum resident set size= 2009772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 233299
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 213489
involuntary context switches= 6864


# summary of solver processes directly reported to runsolver:
#   pid: 25382
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2516.85
#   total CPU system time (s): 3.22947

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.7127 second user time and 23.5174 second system time

The end

Name	StillLife/ StillLife-wastage-25_c18.xml
MD5SUM	633a0f5b4e603fff9205bbaeb6c03cff
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	326
Best CPU time to get the best result obtained on this benchmark	300.557
Satisfiable
(Un)Satisfiability was proved
Number of variables	1486
Number of constraints	883
Number of domains	4
Minimum domain size	2
Maximum domain size	1459
Distribution of domain sizes	[{"size":2,"count":729},{"size":3,"count":729},{"size":626,"count":1},{"size":1459,"count":27}]
Minimum variable degree	1
Maximum variable degree	28
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":726},{"degree":3,"count":30},{"degree":4,"count":100},{"degree":8,"count":96},{"degree":9,"count":529},{"degree":28,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	29
Distribution of constraint arities	[{"arity":2,"count":127},{"arity":3,"count":100},{"arity":10,"count":625},{"arity":27,"count":4},{"arity":28,"count":1},{"arity":29,"count":26}]
Number of extensional constraints	725
Number of intensional constraints	126
Distribution of constraint types	[{"type":"extension","count":725},{"type":"intension","count":126},{"type":"sum","count":28},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4311522

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