2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering with restarts 2018-07-02	SAT (TO)	258	2400.05	2375.23

0.66/0.57	c version: 2018-07-02
0.66/0.57	c seed: 605105101
0.66/0.57	c timeout: 2400
0.66/0.58	c memlimit: 11000
0.66/0.58	c nbcore: 4
0.66/0.60	c Parsing instance...
4.85/2.45	c Parsing done, starting search...
5.78/2.77	o 129
6.02/2.87	o 130
6.96/3.55	o 131
6.96/3.55	o 132
6.96/3.55	o 133
6.96/3.55	o 134
6.96/3.55	o 135
6.96/3.55	o 136
6.96/3.55	o 137
6.96/3.55	o 138
6.96/3.55	o 139
6.96/3.55	o 140
6.96/3.55	o 141
6.96/3.55	o 142
6.96/3.55	o 143
6.96/3.55	o 144
6.96/3.55	o 145
6.96/3.55	o 146
6.96/3.55	o 147
6.96/3.55	o 148
6.96/3.55	o 149
6.96/3.55	o 150
6.96/3.55	o 151
6.96/3.55	o 152
6.96/3.55	o 153
6.96/3.55	o 154
6.96/3.55	o 155
6.96/3.55	o 156
6.96/3.55	o 157
6.96/3.55	o 158
6.96/3.55	o 159
6.96/3.55	o 160
6.96/3.55	o 161
6.96/3.55	o 162
6.96/3.55	o 163
6.96/3.55	o 164
6.96/3.55	o 165
6.96/3.55	o 166
6.96/3.55	o 167
6.96/3.55	o 168
6.96/3.55	o 169
6.96/3.55	o 170
6.96/3.55	o 171
6.96/3.55	o 172
6.96/3.55	o 173
6.96/3.55	o 174
6.96/3.55	o 175
6.96/3.55	o 176
6.96/3.55	o 177
6.96/3.55	o 178
6.96/3.55	o 179
6.96/3.55	o 180
6.96/3.55	o 181
6.96/3.55	o 182
6.96/3.55	o 183
6.96/3.55	o 184
6.96/3.55	o 185
6.96/3.55	o 186
6.96/3.55	o 187
6.96/3.55	o 188
6.96/3.55	o 189
6.96/3.55	o 190
6.96/3.55	o 191
6.96/3.55	o 192
6.96/3.55	o 193
6.96/3.55	o 194
6.96/3.55	o 195
6.96/3.55	o 196
6.96/3.55	o 197
6.96/3.55	o 198
6.96/3.55	o 199
6.96/3.55	o 200
6.96/3.55	o 201
6.96/3.55	o 202
6.96/3.55	o 203
6.96/3.55	o 204
6.96/3.55	o 205
6.96/3.55	o 206
6.96/3.55	o 207
6.96/3.55	o 208
6.96/3.55	o 209
6.96/3.55	o 210
6.96/3.55	o 211
6.96/3.55	o 212
6.96/3.55	o 213
6.96/3.55	o 214
6.96/3.55	o 215
6.96/3.55	o 216
6.96/3.55	o 217
6.96/3.55	o 218
6.96/3.55	o 219
6.96/3.55	o 220
6.96/3.55	o 221
6.96/3.55	o 222
6.96/3.55	o 223
6.96/3.55	o 224
6.96/3.55	o 225
6.96/3.55	o 226
6.96/3.55	o 227
6.96/3.55	o 228
6.96/3.55	o 229
6.96/3.55	o 230
6.96/3.55	o 231
6.96/3.55	o 232
6.96/3.55	o 233
6.96/3.55	o 234
6.96/3.55	o 235
6.96/3.55	o 236
6.96/3.55	o 237
6.96/3.55	o 238
6.96/3.55	o 239
6.96/3.55	o 240
6.96/3.55	o 241
6.96/3.55	o 243
6.96/3.55	o 244
6.96/3.55	o 245
10.07/5.77	o 246
15.85/11.38	o 247
23.65/18.99	o 248
23.65/18.99	o 249
23.65/18.99	o 250
23.65/18.99	o 251
23.77/19.01	o 252
23.77/19.01	o 253
23.96/19.26	o 254
23.96/19.26	o 255
61.89/57.05	o 256
62.59/57.70	o 257
67.79/62.98	o 258
2400.02/2375.20	s SATISFIABLE
2400.02/2375.20	v <instantiation>
2400.02/2375.20	v 	<list>
2400.02/2375.20	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
2400.02/2375.20	v 	</list>
2400.02/2375.20	v 	<values>
2400.02/2375.20	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 0 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 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 1 0 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 1 1 0 0 1 0 0 0 1 0 1 0 0 1 1 1 0 1 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 0 1 1 1 1 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 0 0 0 1 1 0 0 0 0 0 1 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 1 0 1 1 0 0 1 1 1 1 1 0 0 1 0 1 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 1 1 0 0 0 1 1 0 0 1 1 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 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 1 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 1 0 1 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 1 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 1 0 1 0 0 0 1 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 1 0 0 0 0 0 0 0 1 1 2 1 1 0 0 0 0 0 0 1 2 2 1 0 0 0 1 1 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 1 0 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 2 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 1 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 0 2 0 2 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 2 1 1 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 2 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 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 0 1 0 2 1 1 1 0 0 0 1 0 0 2 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 2 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 2 1 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 2 1 0 1 1 0 0 0 1 2 1 0 0 1 1 0 0 0 1 0 1 0 0 1 0 0 1 1 1 0 0 1 1 0 0 1 1 1 0 0 1 0 14 32 41 53 65 74 87 104 123 138 159 180 195 203 210 218 225 232 241 248 256 262 268 282 293 306 318 258 
2400.02/2375.20	v 	</values>
2400.02/2375.20	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 (8627 MiB free)
  memory of node 1: 16384 MiB (12308 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290242-1532226534/watcher-4290242-1532226534 -o /tmp/evaluation-result-4290242-1532226534/solver-4290242-1532226534 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532226534-30284 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 605105101 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290242-1532226534.xml 

running on 4 cores: 0,2,4,6

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

solver pid=30317, runsolver pid=30310

[startup+0.101853 s]*
/proc/loadavg: 0.91 0.97 1.03 5/218 30346
/proc/meminfo: memFree=21404404/32770624 swapFree=67108860/67108860
[pid=30317] ppid=30310 vsize=14082740 memory=29736 CPUtime=0.09 cores=0,2,4,6
/proc/30317/stat : 30317 (java) S 30310 30317 30253 0 -1 1077944320 6351 0 0 0 8 1 0 0 20 0 15 0 40216675 14420725760 7434 33554432000 4194304 4196468 140734985585472 140734985568016 140201095069431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
/proc/30317/statm: 3520685 7434 3129 1 0 3482761 0
[pid=30317/tid=30319] ppid=30310 vsize=14082740 memory=5450919713671312938 CPUtime=0.08 cores=0,2,4,6
/proc/30317/task/30319/stat : 30319 (java) R 30310 30317 30253 0 -1 4202560 4432 0 0 0 7 1 0 0 20 0 15 0 40216676 14420725760 7434 33554432000 4194304 4196468 140734985585472 140201099295120 140201095091357 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30322] ppid=30310 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30322/stat : 30322 (java) S 30310 30317 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216677 14420725760 7434 33554432000 4194304 4196468 140734985585472 140201025157648 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30323] ppid=30310 vsize=14082740 memory=140690789201536 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30323/stat : 30323 (java) S 30310 30317 30253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40216677 14420725760 7434 33554432000 4194304 4196468 140734985585472 140201024105104 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30325] ppid=30310 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30325/stat : 30325 (java) S 30310 30317 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216677 14420725760 7434 33554432000 4194304 4196468 140734985585472 140201023052048 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30327] ppid=30310 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30327/stat : 30327 (java) S 30310 30317 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216677 14420725760 7434 33554432000 4194304 4196468 140734985585472 140201021999504 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30330] ppid=30310 vsize=14082740 memory=140690789201536 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30330/stat : 30330 (java) S 30310 30317 30253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40216678 14420725760 7434 33554432000 4194304 4196468 140734985585472 140200569846512 140201095080578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30331] ppid=30310 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30331/stat : 30331 (java) S 30310 30317 30253 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40216679 14420725760 7434 33554432000 4194304 4196468 140734985585472 140200568792736 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30333] ppid=30310 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30333/stat : 30333 (java) S 30310 30317 30253 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40216679 14420725760 7434 33554432000 4194304 4196468 140734985585472 140200567739632 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30341] ppid=30310 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30341/stat : 30341 (java) S 30310 30317 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216683 14420725760 7434 33554432000 4194304 4196468 140734985585472 140200566688208 140201095088027 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30342] ppid=30310 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30342/stat : 30342 (java) S 30310 30317 30253 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 40216683 14420725760 7434 33554432000 4194304 4196468 140734985585472 140200565635312 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30343] ppid=30310 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30343/stat : 30343 (java) S 30310 30317 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216683 14420725760 7434 33554432000 4194304 4196468 140734985585472 140200564582768 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30344] ppid=30310 vsize=14082740 memory=140690789201536 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30344/stat : 30344 (java) R 30310 30317 30253 0 -1 4202560 239 0 0 0 0 0 0 0 20 0 15 0 40216683 14420725760 7434 33554432000 4194304 4196468 140734985585472 140200563529712 140201095090778 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30345] ppid=30310 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30345/stat : 30345 (java) S 30310 30317 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216683 14420725760 7434 33554432000 4194304 4196468 140734985585472 140200562477408 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30346] ppid=30310 vsize=14082740 memory=140690789201536 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30346/stat : 30346 (java) S 30310 30317 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216683 14420725760 7434 33554432000 4194304 4196468 140734985585472 140200561425456 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 29736 KiB

[startup+0.21094 s]*
/proc/loadavg: 0.91 0.97 1.03 8/218 30346
/proc/meminfo: memFree=21373956/32770624 swapFree=67108860/67108860
[pid=30317] ppid=30310 vsize=14082740 memory=46460 CPUtime=0.25 cores=0,2,4,6
/proc/30317/stat : 30317 (java) S 30310 30317 30253 0 -1 1077944320 10285 0 0 0 23 2 0 0 20 0 15 0 40216675 14420725760 11615 33554432000 4194304 4196468 140734985585472 140734985568016 140201095069431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
/proc/30317/statm: 3520685 11615 3258 1 0 3482761 0
[pid=30317/tid=30319] ppid=30310 vsize=14082740 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/30317/task/30319/stat : 30319 (java) R 30310 30317 30253 0 -1 4202560 8113 0 0 0 17 2 0 0 20 0 15 0 40216676 14420725760 11615 33554432000 4194304 4196468 140734985585472 140201099294864 140201095081366 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30322] ppid=30310 vsize=14082740 memory=343 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30322/stat : 30322 (java) S 30310 30317 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216677 14420725760 11615 33554432000 4194304 4196468 140734985585472 140201025157648 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30323] ppid=30310 vsize=14082740 memory=140690789230456 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30323/stat : 30323 (java) S 30310 30317 30253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40216677 14420725760 11615 33554432000 4194304 4196468 140734985585472 140201024105104 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30325] ppid=30310 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30325/stat : 30325 (java) S 30310 30317 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216677 14420725760 11615 33554432000 4194304 4196468 140734985585472 140201023052048 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30327] ppid=30310 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30327/stat : 30327 (java) S 30310 30317 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216677 14420725760 11615 33554432000 4194304 4196468 140734985585472 140201021999504 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30330] ppid=30310 vsize=14082740 memory=140690789201536 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30330/stat : 30330 (java) S 30310 30317 30253 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40216678 14420725760 11615 33554432000 4194304 4196468 140734985585472 140200569846512 140201095080578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30331] ppid=30310 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30331/stat : 30331 (java) S 30310 30317 30253 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40216679 14420725760 11615 33554432000 4194304 4196468 140734985585472 140200568792736 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30333] ppid=30310 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30333/stat : 30333 (java) S 30310 30317 30253 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40216679 14420725760 11615 33554432000 4194304 4196468 140734985585472 140200567739632 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30341] ppid=30310 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30341/stat : 30341 (java) S 30310 30317 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216683 14420725760 11615 33554432000 4194304 4196468 140734985585472 140200566688208 140201095088027 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30342] ppid=30310 vsize=14082740 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30317/task/30342/stat : 30342 (java) S 30310 30317 30253 0 -1 1077944384 356 0 0 0 1 0 0 0 20 0 15 0 40216683 14420725760 11615 33554432000 4194304 4196468 140734985585472 140200565635312 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30343] ppid=30310 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30343/stat : 30343 (java) S 30310 30317 30253 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 40216683 14420725760 11615 33554432000 4194304 4196468 140734985585472 140200564582768 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30344] ppid=30310 vsize=14082740 memory=140690789201536 CPUtime=0.03 cores=0,2,4,6
/proc/30317/task/30344/stat : 30344 (java) R 30310 30317 30253 0 -1 4202560 302 0 0 0 3 0 0 0 20 0 15 0 40216683 14420725760 11615 33554432000 4194304 4196468 140734985585472 140200563526080 140201095081366 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30345] ppid=30310 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30345/stat : 30345 (java) S 30310 30317 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216683 14420725760 11615 33554432000 4194304 4196468 140734985585472 140200562477408 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30346] ppid=30310 vsize=14082740 memory=140690789201536 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30346/stat : 30346 (java) S 30310 30317 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216683 14420725760 11615 33554432000 4194304 4196468 140734985585472 140200561425456 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 46460 KiB

[startup+0.310146 s]*
/proc/loadavg: 0.91 0.97 1.03 4/218 30346
/proc/meminfo: memFree=21364316/32770624 swapFree=67108860/67108860
[pid=30317] ppid=30310 vsize=14082740 memory=50112 CPUtime=0.41 cores=0,2,4,6
/proc/30317/stat : 30317 (java) S 30310 30317 30253 0 -1 1077944320 10741 0 0 0 39 2 0 0 20 0 15 0 40216675 14420725760 12528 33554432000 4194304 4196468 140734985585472 140734985568016 140201095069431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
/proc/30317/statm: 3520685 12528 3368 1 0 3482761 0
[pid=30317/tid=30319] ppid=30310 vsize=14082740 memory=7311146985107750967 CPUtime=0.28 cores=0,2,4,6
/proc/30317/task/30319/stat : 30319 (java) R 30310 30317 30253 0 -1 4202560 8416 0 0 0 26 2 0 0 20 0 15 0 40216676 14420725760 12528 33554432000 4194304 4196468 140734985585472 140201099289248 140201076634404 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30322] ppid=30310 vsize=14082740 memory=288230604707987479 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30322/stat : 30322 (java) S 30310 30317 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216677 14420725760 12528 33554432000 4194304 4196468 140734985585472 140201025157648 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30323] ppid=30310 vsize=14082740 memory=140690789230314 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30323/stat : 30323 (java) S 30310 30317 30253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40216677 14420725760 12528 33554432000 4194304 4196468 140734985585472 140201024105104 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30325] ppid=30310 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30325/stat : 30325 (java) S 30310 30317 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216677 14420725760 12528 33554432000 4194304 4196468 140734985585472 140201023052048 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30327] ppid=30310 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30327/stat : 30327 (java) S 30310 30317 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216677 14420725760 12528 33554432000 4194304 4196468 140734985585472 140201021999504 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30330] ppid=30310 vsize=14082740 memory=140690789201536 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30330/stat : 30330 (java) S 30310 30317 30253 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40216678 14420725760 12528 33554432000 4194304 4196468 140734985585472 140200569846512 140201095080578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30331] ppid=30310 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30331/stat : 30331 (java) S 30310 30317 30253 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40216679 14420725760 12528 33554432000 4194304 4196468 140734985585472 140200568792736 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30333] ppid=30310 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30333/stat : 30333 (java) S 30310 30317 30253 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40216679 14420725760 12528 33554432000 4194304 4196468 140734985585472 140200567739632 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30341] ppid=30310 vsize=14082740 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30341/stat : 30341 (java) S 30310 30317 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216683 14420725760 12528 33554432000 4194304 4196468 140734985585472 140200566688208 140201095088027 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30342] ppid=30310 vsize=14082740 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/30317/task/30342/stat : 30342 (java) S 30310 30317 30253 0 -1 1077944384 441 0 0 0 2 0 0 0 20 0 15 0 40216683 14420725760 12528 33554432000 4194304 4196468 140734985585472 140200565635312 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30343] ppid=30310 vsize=14082740 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/30317/task/30343/stat : 30343 (java) S 30310 30317 30253 0 -1 1077944384 183 0 0 0 2 0 0 0 20 0 15 0 40216683 14420725760 12528 33554432000 4194304 4196468 140734985585472 140200564582768 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30344] ppid=30310 vsize=14082740 memory=140690789201536 CPUtime=0.07 cores=0,2,4,6
/proc/30317/task/30344/stat : 30344 (java) S 30310 30317 30253 0 -1 1077944384 319 0 0 0 7 0 0 0 20 0 15 0 40216683 14420725760 12528 33554432000 4194304 4196468 140734985585472 140200563529712 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30345] ppid=30310 vsize=14082740 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30345/stat : 30345 (java) S 30310 30317 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216683 14420725760 12528 33554432000 4194304 4196468 140734985585472 140200562477408 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30346] ppid=30310 vsize=14082740 memory=140690789201536 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30346/stat : 30346 (java) S 30310 30317 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216683 14420725760 12528 33554432000 4194304 4196468 140734985585472 140200561425456 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 50112 KiB

[startup+0.700678 s]
/proc/loadavg: 0.91 0.97 1.03 4/218 30346
/proc/meminfo: memFree=21325496/32770624 swapFree=67108860/67108860
[pid=30317] ppid=30310 vsize=14084808 memory=88628 CPUtime=0.96 cores=0,2,4,6
/proc/30317/stat : 30317 (java) S 30310 30317 30253 0 -1 1077944320 17562 0 0 0 92 4 0 0 20 0 15 0 40216675 14422843392 22157 33554432000 4194304 4196468 140734985585472 140734985568016 140201095069431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
/proc/30317/statm: 3521202 22157 3505 1 0 3483273 0
[pid=30317/tid=30319] ppid=30310 vsize=14084808 memory=1836 CPUtime=0.65 cores=0,2,4,6
/proc/30317/task/30319/stat : 30319 (java) R 30310 30317 30253 0 -1 4202560 14857 0 0 0 62 3 0 0 20 0 15 0 40216676 14422843392 22157 33554432000 4194304 4196468 140734985585472 140201099294656 140201080750874 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30322] ppid=30310 vsize=14084808 memory=792 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30322/stat : 30322 (java) S 30310 30317 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216677 14422843392 22157 33554432000 4194304 4196468 140734985585472 140201025157648 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30323] ppid=30310 vsize=14084808 memory=1960 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30323/stat : 30323 (java) S 30310 30317 30253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40216677 14422843392 22157 33554432000 4194304 4196468 140734985585472 140201024105104 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30325] ppid=30310 vsize=14084808 memory=5380 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30325/stat : 30325 (java) S 30310 30317 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216677 14422843392 22157 33554432000 4194304 4196468 140734985585472 140201023052048 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30327] ppid=30310 vsize=14084808 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30327/stat : 30327 (java) S 30310 30317 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216677 14422843392 22157 33554432000 4194304 4196468 140734985585472 140201021999504 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30330] ppid=30310 vsize=14084808 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30330/stat : 30330 (java) S 30310 30317 30253 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 40216678 14422843392 22157 33554432000 4194304 4196468 140734985585472 140200569846512 140201095080578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30331] ppid=30310 vsize=14084808 memory=11964 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30331/stat : 30331 (java) S 30310 30317 30253 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 40216679 14422843392 22157 33554432000 4194304 4196468 140734985585472 140200568792736 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30333] ppid=30310 vsize=14084808 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30333/stat : 30333 (java) S 30310 30317 30253 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 40216679 14422843392 22157 33554432000 4194304 4196468 140734985585472 140200567739632 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30341] ppid=30310 vsize=14084808 memory=8380 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30341/stat : 30341 (java) S 30310 30317 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216683 14422843392 22157 33554432000 4194304 4196468 140734985585472 140200566688208 140201095088027 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30342] ppid=30310 vsize=14084808 memory=6297835844906604903 CPUtime=0.08 cores=0,2,4,6
/proc/30317/task/30342/stat : 30342 (java) S 30310 30317 30253 0 -1 1077944384 600 0 0 0 8 0 0 0 20 0 15 0 40216683 14422843392 22157 33554432000 4194304 4196468 140734985585472 140200565635312 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30343] ppid=30310 vsize=14084808 memory=7597685182856913236 CPUtime=0.05 cores=0,2,4,6
/proc/30317/task/30343/stat : 30343 (java) S 30310 30317 30253 0 -1 1077944384 328 0 0 0 5 0 0 0 20 0 15 0 40216683 14422843392 22157 33554432000 4194304 4196468 140734985585472 140200564582768 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30344] ppid=30310 vsize=14084808 memory=7151832006225055824 CPUtime=0.14 cores=0,2,4,6
/proc/30317/task/30344/stat : 30344 (java) S 30310 30317 30253 0 -1 1077944384 395 0 0 0 14 0 0 0 20 0 15 0 40216683 14422843392 22157 33554432000 4194304 4196468 140734985585472 140200563529712 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30345] ppid=30310 vsize=14084808 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30345/stat : 30345 (java) S 30310 30317 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216683 14422843392 22157 33554432000 4194304 4196468 140734985585472 140200562477408 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30346] ppid=30310 vsize=14084808 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30346/stat : 30346 (java) S 30310 30317 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216683 14422843392 22157 33554432000 4194304 4196468 140734985585472 140200561425456 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 88628 KiB

[startup+1.50529 s]
/proc/loadavg: 0.91 0.97 1.03 8/218 30346
/proc/meminfo: memFree=21249536/32770624 swapFree=67108860/67108860
[pid=30317] ppid=30310 vsize=14088904 memory=174380 CPUtime=2.86 cores=0,2,4,6
/proc/30317/stat : 30317 (java) S 30310 30317 30253 0 -1 1077944320 23389 0 0 0 278 8 0 0 20 0 15 0 40216675 14427037696 43595 33554432000 4194304 4196468 140734985585472 140734985568016 140201095069431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
/proc/30317/statm: 3522226 43595 3547 1 0 3484297 0
[pid=30317/tid=30319] ppid=30310 vsize=14088904 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/30317/task/30319/stat : 30319 (java) R 30310 30317 30253 0 -1 4202560 17877 0 0 0 141 5 0 0 20 0 15 0 40216676 14427037696 43595 33554432000 4194304 4196468 140734985585472 140201099298144 140201079149918 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30322] ppid=30310 vsize=14088904 memory=-8253362762724047225 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30322/stat : 30322 (java) S 30310 30317 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216677 14427037696 43595 33554432000 4194304 4196468 140734985585472 140201025157648 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30323] ppid=30310 vsize=14088904 memory=-8609294068986781045 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30323/stat : 30323 (java) S 30310 30317 30253 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 40216677 14427037696 43595 33554432000 4194304 4196468 140734985585472 140201024105104 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30325] ppid=30310 vsize=14088904 memory=-6517102902069810590 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30325/stat : 30325 (java) S 30310 30317 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216677 14427037696 43595 33554432000 4194304 4196468 140734985585472 140201023052048 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30327] ppid=30310 vsize=14088904 memory=4134692831991786133 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30327/stat : 30327 (java) S 30310 30317 30253 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 40216677 14427037696 43595 33554432000 4194304 4196468 140734985585472 140201021999504 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30330] ppid=30310 vsize=14088904 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30330/stat : 30330 (java) S 30310 30317 30253 0 -1 1077944384 179 0 0 0 0 0 0 0 20 0 15 0 40216678 14427037696 43595 33554432000 4194304 4196468 140734985585472 140200569846512 140201095080578 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0

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

/proc/30317/task/30319/stat : 30319 (java) R 30310 30317 30253 0 -1 4202560 66536 0 0 0 218863 42 0 0 20 0 15 0 40216676 14431232000 388023 33554432000 4194304 4196468 140734985585472 140201099307472 140200712044337 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30322] ppid=30310 vsize=14093000 memory=7532 CPUtime=6.46 cores=0,2,4,6
/proc/30317/task/30322/stat : 30322 (java) S 30310 30317 30253 0 -1 1077944384 17133 0 0 0 607 39 0 0 20 0 15 0 40216677 14431232000 388023 33554432000 4194304 4196468 140734985585472 140201025157648 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30323] ppid=30310 vsize=14093000 memory=1552092 CPUtime=6.44 cores=0,2,4,6
/proc/30317/task/30323/stat : 30323 (java) S 30310 30317 30253 0 -1 1077944384 12426 0 0 0 604 40 0 0 20 0 15 0 40216677 14431232000 388023 33554432000 4194304 4196468 140734985585472 140201024105104 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30325] ppid=30310 vsize=14093000 memory=1552092 CPUtime=6.45 cores=0,2,4,6
/proc/30317/task/30325/stat : 30325 (java) S 30310 30317 30253 0 -1 1077944384 16077 0 0 0 607 38 0 0 20 0 15 0 40216677 14431232000 388023 33554432000 4194304 4196468 140734985585472 140201023052048 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30327] ppid=30310 vsize=14093000 memory=1547996 CPUtime=6.43 cores=0,2,4,6
/proc/30317/task/30327/stat : 30327 (java) S 30310 30317 30253 0 -1 1077944384 13982 0 0 0 605 38 0 0 20 0 15 0 40216677 14431232000 388023 33554432000 4194304 4196468 140734985585472 140201021999504 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30330] ppid=30310 vsize=14093000 memory=1552092 CPUtime=4.66 cores=0,2,4,6
/proc/30317/task/30330/stat : 30330 (java) S 30310 30317 30253 0 -1 1077944384 13423 0 0 0 434 32 0 0 20 0 15 0 40216678 14431232000 388023 33554432000 4194304 4196468 140734985585472 140200569846512 140201095080578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30331] ppid=30310 vsize=14093000 memory=1552092 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30331/stat : 30331 (java) S 30310 30317 30253 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 40216679 14431232000 388023 33554432000 4194304 4196468 140734985585472 140200568792800 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30333] ppid=30310 vsize=14093000 memory=1552092 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30333/stat : 30333 (java) S 30310 30317 30253 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 40216679 14431232000 388023 33554432000 4194304 4196468 140734985585472 140200567739648 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30341] ppid=30310 vsize=14093000 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30341/stat : 30341 (java) S 30310 30317 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216683 14431232000 388023 33554432000 4194304 4196468 140734985585472 140200566688208 140201095088027 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30342] ppid=30310 vsize=14093000 memory=1552092 CPUtime=1.8 cores=0,2,4,6
/proc/30317/task/30342/stat : 30342 (java) S 30310 30317 30253 0 -1 1077944384 5225 0 0 0 177 3 0 0 20 0 15 0 40216683 14431232000 388023 33554432000 4194304 4196468 140734985585472 140200565635312 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30343] ppid=30310 vsize=14093000 memory=1552092 CPUtime=1.64 cores=0,2,4,6
/proc/30317/task/30343/stat : 30343 (java) S 30310 30317 30253 0 -1 1077944384 4490 0 0 0 163 1 0 0 20 0 15 0 40216683 14431232000 388023 33554432000 4194304 4196468 140734985585472 140200564582768 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30344] ppid=30310 vsize=14093000 memory=1552092 CPUtime=1.06 cores=0,2,4,6
/proc/30317/task/30344/stat : 30344 (java) S 30310 30317 30253 0 -1 1077944384 10751 0 0 0 104 2 0 0 20 0 15 0 40216683 14431232000 388023 33554432000 4194304 4196468 140734985585472 140200563529712 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30345] ppid=30310 vsize=14093000 memory=260644385385740 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30345/stat : 30345 (java) S 30310 30317 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216683 14431232000 388023 33554432000 4194304 4196468 140734985585472 140200562477408 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30346] ppid=30310 vsize=14093000 memory=4140 CPUtime=1.29 cores=0,2,4,6
/proc/30317/task/30346/stat : 30346 (java) S 30310 30317 30253 0 -1 1077944384 1232 0 0 0 64 65 0 0 20 0 15 0 40216683 14431232000 388023 33554432000 4194304 4196468 140734985585472 140200561425456 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
Current children cumulated CPU time: 2225.37 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1552092 KiB

[startup+2262.3 s]
/proc/loadavg: 1.28 1.27 1.29 4/215 30440
/proc/meminfo: memFree=19556364/32770624 swapFree=67108860/67108860
[pid=30317] ppid=30310 vsize=14093000 memory=1556188 CPUtime=2285.98 cores=0,2,4,6
/proc/30317/stat : 30317 (java) S 30310 30317 30253 0 -1 1077944320 164761 0 0 0 228343 255 0 0 20 0 15 0 40216675 14431232000 389047 33554432000 4194304 4196468 140734985585472 140734985568016 140201095069431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
/proc/30317/statm: 3523250 389047 3600 1 0 3485321 0
[pid=30317/tid=30319] ppid=30310 vsize=14093000 memory=1556188 CPUtime=2248.63 cores=0,2,4,6
/proc/30317/task/30319/stat : 30319 (java) R 30310 30317 30253 0 -1 4202560 67357 0 0 0 224820 43 0 0 20 0 15 0 40216676 14431232000 389047 33554432000 4194304 4196468 140734985585472 140201099307584 140200712914215 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30322] ppid=30310 vsize=14093000 memory=1556188 CPUtime=6.67 cores=0,2,4,6
/proc/30317/task/30322/stat : 30322 (java) S 30310 30317 30253 0 -1 1077944384 17335 0 0 0 627 40 0 0 20 0 15 0 40216677 14431232000 389047 33554432000 4194304 4196468 140734985585472 140201025157648 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30323] ppid=30310 vsize=14093000 memory=1556188 CPUtime=6.65 cores=0,2,4,6
/proc/30317/task/30323/stat : 30323 (java) S 30310 30317 30253 0 -1 1077944384 12626 0 0 0 624 41 0 0 20 0 15 0 40216677 14431232000 389047 33554432000 4194304 4196468 140734985585472 140201024105104 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30325] ppid=30310 vsize=14093000 memory=1556188 CPUtime=6.66 cores=0,2,4,6
/proc/30317/task/30325/stat : 30325 (java) S 30310 30317 30253 0 -1 1077944384 16386 0 0 0 628 38 0 0 20 0 15 0 40216677 14431232000 389047 33554432000 4194304 4196468 140734985585472 140201023052048 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30327] ppid=30310 vsize=14093000 memory=1556188 CPUtime=6.64 cores=0,2,4,6
/proc/30317/task/30327/stat : 30327 (java) S 30310 30317 30253 0 -1 1077944384 14149 0 0 0 625 39 0 0 20 0 15 0 40216677 14431232000 389047 33554432000 4194304 4196468 140734985585472 140201021999504 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30330] ppid=30310 vsize=14093000 memory=1556188 CPUtime=4.8 cores=0,2,4,6
/proc/30317/task/30330/stat : 30330 (java) S 30310 30317 30253 0 -1 1077944384 13756 0 0 0 448 32 0 0 20 0 15 0 40216678 14431232000 389047 33554432000 4194304 4196468 140734985585472 140200569846512 140201095080578 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30331] ppid=30310 vsize=14093000 memory=56 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30331/stat : 30331 (java) S 30310 30317 30253 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 40216679 14431232000 389047 33554432000 4194304 4196468 140734985585472 140200568792800 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30333] ppid=30310 vsize=14093000 memory=1556188 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30333/stat : 30333 (java) S 30310 30317 30253 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 40216679 14431232000 389047 33554432000 4194304 4196468 140734985585472 140200567739648 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30341] ppid=30310 vsize=14093000 memory=1554140 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30341/stat : 30341 (java) S 30310 30317 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216683 14431232000 389047 33554432000 4194304 4196468 140734985585472 140200566688208 140201095088027 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30342] ppid=30310 vsize=14093000 memory=4140 CPUtime=1.8 cores=0,2,4,6
/proc/30317/task/30342/stat : 30342 (java) S 30310 30317 30253 0 -1 1077944384 5227 0 0 0 177 3 0 0 20 0 15 0 40216683 14431232000 389047 33554432000 4194304 4196468 140734985585472 140200565635312 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30343] ppid=30310 vsize=14093000 memory=1556188 CPUtime=1.64 cores=0,2,4,6
/proc/30317/task/30343/stat : 30343 (java) S 30310 30317 30253 0 -1 1077944384 4492 0 0 0 163 1 0 0 20 0 15 0 40216683 14431232000 389047 33554432000 4194304 4196468 140734985585472 140200564582768 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30344] ppid=30310 vsize=14093000 memory=1556188 CPUtime=1.06 cores=0,2,4,6
/proc/30317/task/30344/stat : 30344 (java) S 30310 30317 30253 0 -1 1077944384 10753 0 0 0 104 2 0 0 20 0 15 0 40216683 14431232000 389047 33554432000 4194304 4196468 140734985585472 140200563529712 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30345] ppid=30310 vsize=14093000 memory=1556188 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30345/stat : 30345 (java) S 30310 30317 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216683 14431232000 389047 33554432000 4194304 4196468 140734985585472 140200562477408 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30346] ppid=30310 vsize=14093000 memory=0 CPUtime=1.32 cores=0,2,4,6
/proc/30317/task/30346/stat : 30346 (java) S 30310 30317 30253 0 -1 1077944384 1256 0 0 0 66 66 0 0 20 0 15 0 40216683 14431232000 389047 33554432000 4194304 4196468 140734985585472 140200561425456 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
Current children cumulated CPU time: 2285.98 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1556188 KiB

[startup+2322.31 s]
/proc/loadavg: 1.13 1.23 1.28 4/215 30441
/proc/meminfo: memFree=19554152/32770624 swapFree=67108860/67108860
[pid=30317] ppid=30310 vsize=14093000 memory=1558236 CPUtime=2346.6 cores=0,2,4,6
/proc/30317/stat : 30317 (java) S 30310 30317 30253 0 -1 1077944320 166505 0 0 0 234399 261 0 0 20 0 15 0 40216675 14431232000 389559 33554432000 4194304 4196468 140734985585472 140734985568016 140201095069431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
/proc/30317/statm: 3523250 389559 3600 1 0 3485321 0
[pid=30317/tid=30319] ppid=30310 vsize=14093000 memory=1558236 CPUtime=2308.24 cores=0,2,4,6
/proc/30317/task/30319/stat : 30319 (java) R 30310 30317 30253 0 -1 4202560 68162 0 0 0 230780 44 0 0 20 0 15 0 40216676 14431232000 389559 33554432000 4194304 4196468 140734985585472 140201099307472 140200712087211 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30322] ppid=30310 vsize=14093000 memory=1558236 CPUtime=6.89 cores=0,2,4,6
/proc/30317/task/30322/stat : 30322 (java) S 30310 30317 30253 0 -1 1077944384 17380 0 0 0 647 42 0 0 20 0 15 0 40216677 14431232000 389559 33554432000 4194304 4196468 140734985585472 140201025157648 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30323] ppid=30310 vsize=14093000 memory=1558236 CPUtime=6.87 cores=0,2,4,6
/proc/30317/task/30323/stat : 30323 (java) S 30310 30317 30253 0 -1 1077944384 12945 0 0 0 645 42 0 0 20 0 15 0 40216677 14431232000 389559 33554432000 4194304 4196468 140734985585472 140201024105104 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30325] ppid=30310 vsize=14093000 memory=1558236 CPUtime=6.87 cores=0,2,4,6
/proc/30317/task/30325/stat : 30325 (java) S 30310 30317 30253 0 -1 1077944384 16626 0 0 0 648 39 0 0 20 0 15 0 40216677 14431232000 389559 33554432000 4194304 4196468 140734985585472 140201023052048 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30327] ppid=30310 vsize=14093000 memory=1558236 CPUtime=6.85 cores=0,2,4,6
/proc/30317/task/30327/stat : 30327 (java) S 30310 30317 30253 0 -1 1077944384 14268 0 0 0 645 40 0 0 20 0 15 0 40216677 14431232000 389559 33554432000 4194304 4196468 140734985585472 140201021999504 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30330] ppid=30310 vsize=14093000 memory=1558236 CPUtime=4.93 cores=0,2,4,6
/proc/30317/task/30330/stat : 30330 (java) S 30310 30317 30253 0 -1 1077944384 13943 0 0 0 460 33 0 0 20 0 15 0 40216678 14431232000 389559 33554432000 4194304 4196468 140734985585472 140200569846512 140201095080578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30331] ppid=30310 vsize=14093000 memory=1558236 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30331/stat : 30331 (java) S 30310 30317 30253 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 40216679 14431232000 389559 33554432000 4194304 4196468 140734985585472 140200568792800 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30333] ppid=30310 vsize=14093000 memory=8380 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30333/stat : 30333 (java) S 30310 30317 30253 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 40216679 14431232000 389559 33554432000 4194304 4196468 140734985585472 140200567739648 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30341] ppid=30310 vsize=14093000 memory=1558236 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30341/stat : 30341 (java) S 30310 30317 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216683 14431232000 389559 33554432000 4194304 4196468 140734985585472 140200566688208 140201095088027 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30342] ppid=30310 vsize=14093000 memory=1558236 CPUtime=1.8 cores=0,2,4,6
/proc/30317/task/30342/stat : 30342 (java) S 30310 30317 30253 0 -1 1077944384 5231 0 0 0 177 3 0 0 20 0 15 0 40216683 14431232000 389559 33554432000 4194304 4196468 140734985585472 140200565635312 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30343] ppid=30310 vsize=14093000 memory=1558236 CPUtime=1.64 cores=0,2,4,6
/proc/30317/task/30343/stat : 30343 (java) S 30310 30317 30253 0 -1 1077944384 4496 0 0 0 163 1 0 0 20 0 15 0 40216683 14431232000 389559 33554432000 4194304 4196468 140734985585472 140200564582768 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30344] ppid=30310 vsize=14093000 memory=1792 CPUtime=1.06 cores=0,2,4,6
/proc/30317/task/30344/stat : 30344 (java) S 30310 30317 30253 0 -1 1077944384 10757 0 0 0 104 2 0 0 20 0 15 0 40216683 14431232000 389559 33554432000 4194304 4196468 140734985585472 140200563529712 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30345] ppid=30310 vsize=14093000 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30345/stat : 30345 (java) S 30310 30317 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216683 14431232000 389559 33554432000 4194304 4196468 140734985585472 140200562477408 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30346] ppid=30310 vsize=14093000 memory=14168 CPUtime=1.36 cores=0,2,4,6
/proc/30317/task/30346/stat : 30346 (java) S 30310 30317 30253 0 -1 1077944384 1273 0 0 0 68 68 0 0 20 0 15 0 40216683 14431232000 389559 33554432000 4194304 4196468 140734985585472 140200561425456 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
Current children cumulated CPU time: 2346.6 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1558236 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2375.2 s]
/proc/loadavg: 1.20 1.23 1.27 5/215 30522
/proc/meminfo: memFree=19461744/32770624 swapFree=67108860/67108860
[pid=30317] ppid=30310 vsize=14093000 memory=1562332 CPUtime=2400.02 cores=0,2,4,6
/proc/30317/stat : 30317 (java) S 30310 30317 30253 0 -1 1077944320 168547 0 0 0 239735 267 0 0 20 0 15 0 40216675 14431232000 390583 33554432000 4194304 4196468 140734985585472 140734985568016 140201095069431 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
/proc/30317/statm: 3523250 390583 3600 1 0 3485321 0
[pid=30317/tid=30319] ppid=30310 vsize=14093000 memory=1562332 CPUtime=2360.79 cores=0,2,4,6
/proc/30317/task/30319/stat : 30319 (java) R 30310 30317 30253 0 -1 4202560 68934 0 0 0 236035 44 0 0 20 0 15 0 40216676 14431232000 390583 33554432000 4194304 4196468 140734985585472 140201099307584 140200712682507 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30322] ppid=30310 vsize=14093000 memory=1562332 CPUtime=7.06 cores=0,2,4,6
/proc/30317/task/30322/stat : 30322 (java) S 30310 30317 30253 0 -1 1077944384 17555 0 0 0 664 42 0 0 20 0 15 0 40216677 14431232000 390583 33554432000 4194304 4196468 140734985585472 140201025157648 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30323] ppid=30310 vsize=14093000 memory=11964 CPUtime=7.05 cores=0,2,4,6
/proc/30317/task/30323/stat : 30323 (java) S 30310 30317 30253 0 -1 1077944384 12972 0 0 0 662 43 0 0 20 0 15 0 40216677 14431232000 390583 33554432000 4194304 4196468 140734985585472 140201024105104 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30325] ppid=30310 vsize=14093000 memory=1708 CPUtime=7.04 cores=0,2,4,6
/proc/30317/task/30325/stat : 30325 (java) S 30310 30317 30253 0 -1 1077944384 16843 0 0 0 664 40 0 0 20 0 15 0 40216677 14431232000 390583 33554432000 4194304 4196468 140734985585472 140201023052048 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30327] ppid=30310 vsize=14093000 memory=8380 CPUtime=7.04 cores=0,2,4,6
/proc/30317/task/30327/stat : 30327 (java) S 30310 30317 30253 0 -1 1077944384 14750 0 0 0 663 41 0 0 20 0 15 0 40216677 14431232000 390583 33554432000 4194304 4196468 140734985585472 140201021999504 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30330] ppid=30310 vsize=14093000 memory=1562332 CPUtime=5.06 cores=0,2,4,6
/proc/30317/task/30330/stat : 30330 (java) S 30310 30317 30253 0 -1 1077944384 14273 0 0 0 472 34 0 0 20 0 15 0 40216678 14431232000 390583 33554432000 4194304 4196468 140734985585472 140200569846512 140201095080578 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30331] ppid=30310 vsize=14093000 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30331/stat : 30331 (java) S 30310 30317 30253 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 40216679 14431232000 390583 33554432000 4194304 4196468 140734985585472 140200568792800 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30333] ppid=30310 vsize=14093000 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30333/stat : 30333 (java) S 30310 30317 30253 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 40216679 14431232000 390583 33554432000 4194304 4196468 140734985585472 140200567739648 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30341] ppid=30310 vsize=14093000 memory=1562332 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30341/stat : 30341 (java) S 30310 30317 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216683 14431232000 390583 33554432000 4194304 4196468 140734985585472 140200566688208 140201095088027 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30342] ppid=30310 vsize=14093000 memory=11964 CPUtime=1.8 cores=0,2,4,6
/proc/30317/task/30342/stat : 30342 (java) S 30310 30317 30253 0 -1 1077944384 5233 0 0 0 177 3 0 0 20 0 15 0 40216683 14431232000 390583 33554432000 4194304 4196468 140734985585472 140200565635312 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30343] ppid=30310 vsize=14093000 memory=1708 CPUtime=1.64 cores=0,2,4,6
/proc/30317/task/30343/stat : 30343 (java) S 30310 30317 30253 0 -1 1077944384 4498 0 0 0 163 1 0 0 20 0 15 0 40216683 14431232000 390583 33554432000 4194304 4196468 140734985585472 140200564582768 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30344] ppid=30310 vsize=14093000 memory=8380 CPUtime=1.06 cores=0,2,4,6
/proc/30317/task/30344/stat : 30344 (java) S 30310 30317 30253 0 -1 1077944384 10759 0 0 0 104 2 0 0 20 0 15 0 40216683 14431232000 390583 33554432000 4194304 4196468 140734985585472 140200563529712 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30345] ppid=30310 vsize=14093000 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/30317/task/30345/stat : 30345 (java) S 30310 30317 30253 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 40216683 14431232000 390583 33554432000 4194304 4196468 140734985585472 140200562477408 140201095079637 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
[pid=30317/tid=30346] ppid=30310 vsize=14093000 memory=6791534058613427641 CPUtime=1.38 cores=0,2,4,6
/proc/30317/task/30346/stat : 30346 (java) S 30310 30317 30253 0 -1 1077944384 1306 0 0 0 69 69 0 0 20 0 15 0 40216683 14431232000 390583 33554432000 4194304 4196468 140734985585472 140200561425456 140201095080578 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 27459584 140734985589833 140734985590025 140734985590025 140734985592783 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 14093000 KiB
Current children cumulated memory: 1562332 KiB

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

[startup+2375.23 s]
# the end of solver process 30317 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2397.37 s, system=2.67962 s

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

Child status: 143
Real time (s): 2375.23
CPU time (s): 2400.05
CPU user time (s): 2397.37
CPU system time (s): 2.67962
CPU usage (%): 101.045
Max. virtual memory (cumulated for all children) (KiB): 14093000
Max. memory (cumulated for all children) (KiB): 1808140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.37
system time used= 2.67962
maximum resident set size= 1810268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 169058
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 187302
involuntary context switches= 6729


# summary of solver processes directly reported to runsolver:
#   pid: 30317
#   total CPU time (s): 2400.05
#   total CPU user time (s): 2397.37
#   total CPU system time (s): 2.67962

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8631 second user time and 21.9247 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 4290242

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