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-14	SAT (TO)	258	2520.12	2492.33

0.68/0.56	c version: 2018-08-14
0.68/0.56	c seed: 776547174
0.68/0.56	c timeout: 2520
0.68/0.56	c memlimit: 11000
0.68/0.56	c nbcore: 4
0.68/0.58	c Parsing instance...
4.71/2.24	c Parsing done, starting search...
5.71/2.55	o 129
6.03/2.66	o 130
6.03/2.66	o 131
6.03/2.66	o 132
6.03/2.66	o 133
6.03/2.66	o 134
6.03/2.67	o 135
6.03/2.67	o 136
6.03/2.67	o 137
6.03/2.67	o 138
6.03/2.67	o 139
6.03/2.68	o 140
6.03/2.68	o 141
6.03/2.68	o 142
6.03/2.68	o 143
6.03/2.68	o 144
6.03/2.68	o 145
6.03/2.69	o 146
6.03/2.69	o 147
6.03/2.69	o 148
6.03/2.69	o 149
6.03/2.69	o 150
6.03/2.70	o 151
6.34/2.70	o 152
6.34/2.70	o 153
6.34/2.70	o 154
6.34/2.70	o 155
6.34/2.70	o 156
6.34/2.71	o 157
6.34/2.71	o 158
6.34/2.71	o 159
6.34/2.71	o 160
6.34/2.71	o 161
6.34/2.71	o 162
6.34/2.71	o 163
6.34/2.72	o 164
6.34/2.72	o 165
6.34/2.72	o 166
6.34/2.72	o 167
6.34/2.72	o 168
6.34/2.72	o 169
6.34/2.72	o 170
6.34/2.73	o 171
6.34/2.73	o 172
6.34/2.73	o 173
6.34/2.73	o 174
6.34/2.73	o 175
6.34/2.73	o 176
6.34/2.73	o 177
6.34/2.73	o 178
6.34/2.74	o 179
6.34/2.74	o 180
6.34/2.74	o 181
6.34/2.74	o 182
6.34/2.74	o 183
6.34/2.74	o 184
6.34/2.74	o 185
6.34/2.75	o 186
6.34/2.75	o 187
6.34/2.75	o 188
6.34/2.75	o 189
6.34/2.75	o 190
6.34/2.75	o 191
6.34/2.75	o 192
6.34/2.76	o 193
6.34/2.76	o 194
6.34/2.76	o 195
6.34/2.76	o 196
6.34/2.76	o 197
6.34/2.76	o 198
6.34/2.76	o 199
6.34/2.77	o 200
6.34/2.77	o 201
6.34/2.77	o 202
6.34/2.77	o 203
6.34/2.77	o 204
6.34/2.77	o 205
6.34/2.77	o 206
6.34/2.77	o 207
6.34/2.78	o 208
6.34/2.78	o 209
6.34/2.78	o 210
6.34/2.78	o 211
6.34/2.78	o 212
6.34/2.78	o 213
6.34/2.78	o 214
6.34/2.79	o 215
6.34/2.79	o 216
6.34/2.79	o 217
6.34/2.79	o 218
6.34/2.79	o 219
6.34/2.79	o 220
6.34/2.79	o 221
6.34/2.79	o 222
6.34/2.80	o 223
6.65/2.80	o 224
6.65/2.80	o 225
6.65/2.80	o 226
6.65/2.80	o 227
6.65/2.80	o 228
6.65/2.81	o 229
6.65/2.81	o 230
6.65/2.81	o 231
6.65/2.81	o 232
6.65/2.81	o 233
6.65/2.81	o 234
6.65/2.81	o 235
6.65/2.81	o 236
6.65/2.82	o 237
6.65/2.82	o 238
6.65/2.82	o 239
6.96/2.98	o 240
6.96/3.00	o 241
7.29/3.01	o 243
7.29/3.02	o 244
7.29/3.02	o 245
13.47/8.79	o 246
18.77/13.91	o 247
19.67/14.86	o 248
20.96/16.09	o 249
23.50/18.55	o 250
25.70/20.71	o 251
31.04/26.06	o 252
39.80/34.65	o 253
40.60/35.44	o 254
1083.65/1070.89	o 255
1926.43/1905.46	o 256
1929.78/1908.75	o 257
1929.78/1908.75	o 258
2520.08/2492.30	s SATISFIABLE
2520.08/2492.31	v <instantiation>
2520.08/2492.31	v 	<list>
2520.08/2492.31	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.08/2492.31	v 	</list>
2520.08/2492.31	v 	<values>
2520.08/2492.31	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 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 1 0 0 1 1 1 0 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 0 1 1 0 1 1 0 0 0 1 1 0 0 0 0 0 1 0 1 1 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 1 0 0 1 1 0 0 0 1 0 1 1 0 0 1 0 0 1 1 1 0 1 0 1 1 1 0 0 1 0 1 0 1 1 1 1 0 1 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 1 1 1 1 0 1 1 0 1 1 0 0 1 1 1 1 0 1 1 0 1 0 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 1 1 1 1 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 1 0 1 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 2 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 2 0 0 1 0 0 0 1 2 0 0 2 0 2 1 1 1 0 0 0 0 1 0 0 1 0 2 0 0 1 0 0 0 1 2 1 1 0 0 2 0 1 0 0 0 0 0 0 0 1 1 0 1 0 2 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 2 0 0 2 0 0 1 1 1 1 0 1 0 0 0 1 0 1 1 1 0 0 1 2 2 2 0 0 0 0 0 0 2 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 2 2 2 2 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 2 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 1 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 2 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 2 1 1 1 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 2 1 1 0 0 0 0 0 2 0 0 0 0 0 0 0 0 1 0 2 0 1 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 0 2 0 2 0 2 0 1 0 1 1 1 0 0 0 1 0 0 1 0 0 1 0 1 1 0 0 1 1 1 0 1 1 1 0 1 0 1 0 14 33 42 57 71 81 96 114 135 150 171 194 209 217 222 228 231 238 245 250 257 261 271 281 291 305 318 258 
2520.08/2492.31	v 	</values>
2520.08/2492.31	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 (13928 MiB free)
  memory of node 1: 16384 MiB (11795 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307786-1534268219/watcher-4307786-1534268219 -o /tmp/evaluation-result-4307786-1534268219/solver-4307786-1534268219 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534258226-15074 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 776547174 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307786-1534268219.xml 

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

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=16211, runsolver pid=16208

[startup+0.100096 s]*
/proc/loadavg: 1.58 1.41 1.34 3/215 16226
/proc/meminfo: memFree=26321828/32770624 swapFree=67030672/67108860
[pid=16211] ppid=16208 vsize=14082736 memory=31700 CPUtime=0.12 cores=0,2,4,6
/proc/16211/stat : 16211 (java) S 16208 16211 15043 0 -1 1077944320 6330 0 0 0 11 1 0 0 20 0 15 0 244385100 14420721664 7925 33554432000 4194304 4196468 140730627585360 140730627567904 140099412487927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
/proc/16211/statm: 3520684 7925 3154 1 0 3482761 0
[pid=16211/tid=16213] ppid=16208 vsize=14082736 memory=-8701690554792449404 CPUtime=0.08 cores=0,2,4,6
/proc/16211/task/16213/stat : 16213 (java) R 16208 16211 15043 0 -1 4202560 4358 0 0 0 8 0 0 0 20 0 15 0 244385100 14420721664 7925 33554432000 4194304 4196468 140730627585360 140099416691048 140099412509853 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16214] ppid=16208 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (java) S 16208 16211 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244385101 14420721664 7925 33554432000 4194304 4196468 140730627585360 140099365108496 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16215] ppid=16208 vsize=14082736 memory=140247896864384 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (java) S 16208 16211 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244385101 14420721664 7925 33554432000 4194304 4196468 140730627585360 140099364055952 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16216] ppid=16208 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (java) S 16208 16211 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244385101 14420721664 7925 33554432000 4194304 4196468 140730627585360 140099363003408 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16217] ppid=16208 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16217/stat : 16217 (java) S 16208 16211 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244385101 14420721664 7925 33554432000 4194304 4196468 140730627585360 140099361950864 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16218] ppid=16208 vsize=14082736 memory=140247896864384 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16218/stat : 16218 (java) S 16208 16211 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244385102 14420721664 7925 33554432000 4194304 4196468 140730627585360 140098954639344 140099412499074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16219] ppid=16208 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16219/stat : 16219 (java) S 16208 16211 15043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244385103 14420721664 7925 33554432000 4194304 4196468 140730627585360 140098953585568 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16220] ppid=16208 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16220/stat : 16220 (java) S 16208 16211 15043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244385103 14420721664 7925 33554432000 4194304 4196468 140730627585360 140098952532976 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16221] ppid=16208 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16221/stat : 16221 (java) S 16208 16211 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244385105 14420721664 7925 33554432000 4194304 4196468 140730627585360 140098951481552 140099412506523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16222] ppid=16208 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16222/stat : 16222 (java) S 16208 16211 15043 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 244385105 14420721664 7925 33554432000 4194304 4196468 140730627585360 140098950429168 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16223] ppid=16208 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16223/stat : 16223 (java) S 16208 16211 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244385105 14420721664 7925 33554432000 4194304 4196468 140730627585360 140098949376624 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16224] ppid=16208 vsize=14082736 memory=140247896864384 CPUtime=0.01 cores=0,2,4,6
/proc/16211/task/16224/stat : 16224 (java) S 16208 16211 15043 0 -1 1077944384 289 0 0 0 1 0 0 0 20 0 15 0 244385105 14420721664 7925 33554432000 4194304 4196468 140730627585360 140098880400112 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16225] ppid=16208 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16225/stat : 16225 (java) S 16208 16211 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244385106 14420721664 7925 33554432000 4194304 4196468 140730627585360 140098879347808 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16226] ppid=16208 vsize=14082736 memory=140247896864384 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16226/stat : 16226 (java) S 16208 16211 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244385106 14420721664 7925 33554432000 4194304 4196468 140730627585360 140098878294320 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31700 KiB

[startup+0.212088 s]*
/proc/loadavg: 1.58 1.41 1.34 6/215 16226
/proc/meminfo: memFree=26306572/32770624 swapFree=67030672/67108860
[pid=16211] ppid=16208 vsize=14082736 memory=47496 CPUtime=0.31 cores=0,2,4,6
/proc/16211/stat : 16211 (java) S 16208 16211 15043 0 -1 1077944320 10004 0 0 0 29 2 0 0 20 0 15 0 244385100 14420721664 11874 33554432000 4194304 4196468 140730627585360 140730627567904 140099412487927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
/proc/16211/statm: 3520684 11874 3357 1 0 3482761 0
[pid=16211/tid=16213] ppid=16208 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/16211/task/16213/stat : 16213 (java) R 16208 16211 15043 0 -1 4202560 7693 0 0 0 19 1 0 0 20 0 15 0 244385100 14420721664 11874 33554432000 4194304 4196468 140730627585360 140099416711024 140099412509853 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16214] ppid=16208 vsize=14082736 memory=343 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (java) S 16208 16211 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244385101 14420721664 11874 33554432000 4194304 4196468 140730627585360 140099365108496 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16215] ppid=16208 vsize=14082736 memory=4049494466893362848 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (java) S 16208 16211 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244385101 14420721664 11874 33554432000 4194304 4196468 140730627585360 140099364055952 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16216] ppid=16208 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (java) S 16208 16211 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244385101 14420721664 11874 33554432000 4194304 4196468 140730627585360 140099363003408 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16217] ppid=16208 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16217/stat : 16217 (java) S 16208 16211 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244385101 14420721664 11874 33554432000 4194304 4196468 140730627585360 140099361950864 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16218] ppid=16208 vsize=14082736 memory=140247896864384 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16218/stat : 16218 (java) S 16208 16211 15043 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 244385102 14420721664 11874 33554432000 4194304 4196468 140730627585360 140098954639344 140099412499074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16219] ppid=16208 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16219/stat : 16219 (java) S 16208 16211 15043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244385103 14420721664 11874 33554432000 4194304 4196468 140730627585360 140098953585568 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16220] ppid=16208 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16220/stat : 16220 (java) S 16208 16211 15043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244385103 14420721664 11874 33554432000 4194304 4196468 140730627585360 140098952532976 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16221] ppid=16208 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16221/stat : 16221 (java) S 16208 16211 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244385105 14420721664 11874 33554432000 4194304 4196468 140730627585360 140098951481552 140099412506523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16222] ppid=16208 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16211/task/16222/stat : 16222 (java) R 16208 16211 15043 0 -1 4202560 412 0 0 0 2 0 0 0 20 0 15 0 244385105 14420721664 11874 33554432000 4194304 4196468 140730627585360 140098950429168 140099391726408 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16223] ppid=16208 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/16211/task/16223/stat : 16223 (java) R 16208 16211 15043 0 -1 1077944384 198 0 0 0 1 0 0 0 20 0 15 0 244385105 14420721664 11874 33554432000 4194304 4196468 140730627585360 140098949376624 140099412499074 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16224] ppid=16208 vsize=14082736 memory=140247896864384 CPUtime=0.06 cores=0,2,4,6
/proc/16211/task/16224/stat : 16224 (java) R 16208 16211 15043 0 -1 4202560 316 0 0 0 6 0 0 0 20 0 15 0 244385105 14420721664 11874 33554432000 4194304 4196468 140730627585360 140098880398072 140099391406509 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16225] ppid=16208 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16225/stat : 16225 (java) S 16208 16211 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244385106 14420721664 11874 33554432000 4194304 4196468 140730627585360 140098879347808 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16226] ppid=16208 vsize=14082736 memory=140247896864384 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16226/stat : 16226 (java) S 16208 16211 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244385106 14420721664 11874 33554432000 4194304 4196468 140730627585360 140098878294320 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47496 KiB

[startup+0.310454 s]*
/proc/loadavg: 1.58 1.41 1.34 3/215 16226
/proc/meminfo: memFree=26303532/32770624 swapFree=67030672/67108860
[pid=16211] ppid=16208 vsize=14082736 memory=51088 CPUtime=0.44 cores=0,2,4,6
/proc/16211/stat : 16211 (java) S 16208 16211 15043 0 -1 1077944320 10365 0 0 0 42 2 0 0 20 0 15 0 244385100 14420721664 12772 33554432000 4194304 4196468 140730627585360 140730627567904 140099412487927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
/proc/16211/statm: 3520684 12772 3407 1 0 3482761 0
[pid=16211/tid=16213] ppid=16208 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/16211/task/16213/stat : 16213 (java) R 16208 16211 15043 0 -1 4202560 8026 0 0 0 28 1 0 0 20 0 15 0 244385100 14420721664 12772 33554432000 4194304 4196468 140730627585360 140099416677200 140099392763257 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16214] ppid=16208 vsize=14082736 memory=4294976238 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (java) S 16208 16211 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244385101 14420721664 12772 33554432000 4194304 4196468 140730627585360 140099365108496 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16215] ppid=16208 vsize=14082736 memory=3979123523692443296 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (java) S 16208 16211 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244385101 14420721664 12772 33554432000 4194304 4196468 140730627585360 140099364055952 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16216] ppid=16208 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (java) S 16208 16211 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244385101 14420721664 12772 33554432000 4194304 4196468 140730627585360 140099363003408 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16217] ppid=16208 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16217/stat : 16217 (java) S 16208 16211 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244385101 14420721664 12772 33554432000 4194304 4196468 140730627585360 140099361950864 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16218] ppid=16208 vsize=14082736 memory=140247896864384 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16218/stat : 16218 (java) S 16208 16211 15043 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 244385102 14420721664 12772 33554432000 4194304 4196468 140730627585360 140098954639344 140099412499074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16219] ppid=16208 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16219/stat : 16219 (java) S 16208 16211 15043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244385103 14420721664 12772 33554432000 4194304 4196468 140730627585360 140098953585568 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16220] ppid=16208 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16220/stat : 16220 (java) S 16208 16211 15043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244385103 14420721664 12772 33554432000 4194304 4196468 140730627585360 140098952532976 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16221] ppid=16208 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16221/stat : 16221 (java) S 16208 16211 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244385105 14420721664 12772 33554432000 4194304 4196468 140730627585360 140098951481552 140099412506523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16222] ppid=16208 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/16211/task/16222/stat : 16222 (java) S 16208 16211 15043 0 -1 1077944384 413 0 0 0 2 0 0 0 20 0 15 0 244385105 14420721664 12772 33554432000 4194304 4196468 140730627585360 140098950429168 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16223] ppid=16208 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/16211/task/16223/stat : 16223 (java) S 16208 16211 15043 0 -1 1077944384 217 0 0 0 2 0 0 0 20 0 15 0 244385105 14420721664 12772 33554432000 4194304 4196468 140730627585360 140098949376624 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16224] ppid=16208 vsize=14082736 memory=140247896864384 CPUtime=0.08 cores=0,2,4,6
/proc/16211/task/16224/stat : 16224 (java) S 16208 16211 15043 0 -1 1077944384 324 0 0 0 8 0 0 0 20 0 15 0 244385105 14420721664 12772 33554432000 4194304 4196468 140730627585360 140098880400112 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16225] ppid=16208 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16225/stat : 16225 (java) S 16208 16211 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244385106 14420721664 12772 33554432000 4194304 4196468 140730627585360 140098879347808 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16226] ppid=16208 vsize=14082736 memory=140247896864384 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16226/stat : 16226 (java) S 16208 16211 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244385106 14420721664 12772 33554432000 4194304 4196468 140730627585360 140098878294320 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 51088 KiB

[startup+0.70067 s]
/proc/loadavg: 1.58 1.41 1.34 3/215 16226
/proc/meminfo: memFree=26279596/32770624 swapFree=67030672/67108860
[pid=16211] ppid=16208 vsize=14084804 memory=88712 CPUtime=0.99 cores=0,2,4,6
/proc/16211/stat : 16211 (java) S 16208 16211 15043 0 -1 1077944320 17125 0 0 0 96 3 0 0 20 0 15 0 244385100 14422839296 22178 33554432000 4194304 4196468 140730627585360 140730627567904 140099412487927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
/proc/16211/statm: 3521201 22178 3502 1 0 3483273 0
[pid=16211/tid=16213] ppid=16208 vsize=14084804 memory=33172 CPUtime=0.68 cores=0,2,4,6
/proc/16211/task/16213/stat : 16213 (java) R 16208 16211 15043 0 -1 4202560 14408 0 0 0 65 3 0 0 20 0 15 0 244385100 14422839296 22178 33554432000 4194304 4196468 140730627585360 140099416712144 140099396568444 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16214] ppid=16208 vsize=14084804 memory=11908 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (java) S 16208 16211 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244385101 14422839296 22178 33554432000 4194304 4196468 140730627585360 140099365108496 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16215] ppid=16208 vsize=14084804 memory=492 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (java) S 16208 16211 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244385101 14422839296 22178 33554432000 4194304 4196468 140730627585360 140099364055952 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16216] ppid=16208 vsize=14084804 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (java) S 16208 16211 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244385101 14422839296 22178 33554432000 4194304 4196468 140730627585360 140099363003408 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16217] ppid=16208 vsize=14084804 memory=932 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16217/stat : 16217 (java) S 16208 16211 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244385101 14422839296 22178 33554432000 4194304 4196468 140730627585360 140099361950864 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16218] ppid=16208 vsize=14084804 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16218/stat : 16218 (java) S 16208 16211 15043 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 244385102 14422839296 22178 33554432000 4194304 4196468 140730627585360 140098954639344 140099412499074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16219] ppid=16208 vsize=14084804 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16219/stat : 16219 (java) S 16208 16211 15043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 244385103 14422839296 22178 33554432000 4194304 4196468 140730627585360 140098953585568 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16220] ppid=16208 vsize=14084804 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16220/stat : 16220 (java) S 16208 16211 15043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 244385103 14422839296 22178 33554432000 4194304 4196468 140730627585360 140098952532976 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16221] ppid=16208 vsize=14084804 memory=7086240636212695395 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16221/stat : 16221 (java) S 16208 16211 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244385105 14422839296 22178 33554432000 4194304 4196468 140730627585360 140098951481552 140099412506523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16222] ppid=16208 vsize=14084804 memory=7881696724453321575 CPUtime=0.07 cores=0,2,4,6
/proc/16211/task/16222/stat : 16222 (java) S 16208 16211 15043 0 -1 1077944384 550 0 0 0 7 0 0 0 20 0 15 0 244385105 14422839296 22178 33554432000 4194304 4196468 140730627585360 140098950429168 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16223] ppid=16208 vsize=14084804 memory=7453282923461570405 CPUtime=0.07 cores=0,2,4,6
/proc/16211/task/16223/stat : 16223 (java) S 16208 16211 15043 0 -1 1077944384 387 0 0 0 7 0 0 0 20 0 15 0 244385105 14422839296 22178 33554432000 4194304 4196468 140730627585360 140098949376624 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16224] ppid=16208 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/16211/task/16224/stat : 16224 (java) S 16208 16211 15043 0 -1 1077944384 396 0 0 0 15 0 0 0 20 0 15 0 244385105 14422839296 22178 33554432000 4194304 4196468 140730627585360 140098880400112 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16225] ppid=16208 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16225/stat : 16225 (java) S 16208 16211 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244385106 14422839296 22178 33554432000 4194304 4196468 140730627585360 140098879347808 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16226] ppid=16208 vsize=14084804 memory=972 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16226/stat : 16226 (java) S 16208 16211 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244385106 14422839296 22178 33554432000 4194304 4196468 140730627585360 140098878294320 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88712 KiB

[startup+1.50076 s]
/proc/loadavg: 1.58 1.41 1.34 6/215 16226
/proc/meminfo: memFree=26243484/32770624 swapFree=67030672/67108860
[pid=16211] ppid=16208 vsize=14088900 memory=180848 CPUtime=3.07 cores=0,2,4,6
/proc/16211/stat : 16211 (java) S 16208 16211 15043 0 -1 1077944320 24023 0 0 0 301 6 0 0 20 0 15 0 244385100 14427033600 45212 33554432000 4194304 4196468 140730627585360 140730627567904 140099412487927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
/proc/16211/statm: 3522225 45212 3544 1 0 3484297 0
[pid=16211/tid=16213] ppid=16208 vsize=14088900 memory=147092 CPUtime=1.46 cores=0,2,4,6
/proc/16211/task/16213/stat : 16213 (java) R 16208 16211 15043 0 -1 4202560 16913 0 0 0 142 4 0 0 20 0 15 0 244385100 14427033600 45255 33554432000 4194304 4196468 140730627585360 140099416714288 140099404725054 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16214] ppid=16208 vsize=14088900 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (java) S 16208 16211 15043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 244385101 14427033600 45255 33554432000 4194304 4196468 140730627585360 140099365108496 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16215] ppid=16208 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (java) S 16208 16211 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244385101 14427033600 45255 33554432000 4194304 4196468 140730627585360 140099364055952 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16216] ppid=16208 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (java) S 16208 16211 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244385101 14427033600 45255 33554432000 4194304 4196468 140730627585360 140099363003408 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16217] ppid=16208 vsize=14088900 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16217/stat : 16217 (java) S 16208 16211 15043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 244385101 14427033600 45255 33554432000 4194304 4196468 140730627585360 140099361950864 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16218] ppid=16208 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16218/stat : 16218 (java) S 16208 16211 15043 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 15 0 244385102 14427033600 45255 33554432000 4194304 4196468 140730627585360 140098954639344 140099412499074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0

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

/proc/16211/task/16213/stat : 16213 (java) R 16208 16211 15043 0 -1 4202560 75908 0 0 0 236443 45 0 0 20 0 15 0 244385100 14429130752 496855 33554432000 4194304 4196468 140730627585360 140099416726208 140099042239231 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16214] ppid=16208 vsize=14090948 memory=1987420 CPUtime=8.1 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (java) S 16208 16211 15043 0 -1 1077944384 21824 0 0 0 768 42 0 0 20 0 15 0 244385101 14429130752 496855 33554432000 4194304 4196468 140730627585360 140099365108496 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16215] ppid=16208 vsize=14090948 memory=1987420 CPUtime=8.12 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (java) S 16208 16211 15043 0 -1 1077944384 21453 0 0 0 772 40 0 0 20 0 15 0 244385101 14429130752 496855 33554432000 4194304 4196468 140730627585360 140099364055952 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16216] ppid=16208 vsize=14090948 memory=1985372 CPUtime=8.14 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (java) S 16208 16211 15043 0 -1 1077944384 24979 0 0 0 774 40 0 0 20 0 15 0 244385101 14429130752 496855 33554432000 4194304 4196468 140730627585360 140099363003408 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16217] ppid=16208 vsize=14090948 memory=1987420 CPUtime=8.12 cores=0,2,4,6
/proc/16211/task/16217/stat : 16217 (java) S 16208 16211 15043 0 -1 1077944384 21864 0 0 0 771 41 0 0 20 0 15 0 244385101 14429130752 496855 33554432000 4194304 4196468 140730627585360 140099361950864 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16218] ppid=16208 vsize=14090948 memory=1987420 CPUtime=5.08 cores=0,2,4,6
/proc/16211/task/16218/stat : 16218 (java) S 16208 16211 15043 0 -1 1077944384 19056 0 0 0 475 33 0 0 20 0 15 0 244385102 14429130752 496855 33554432000 4194304 4196468 140730627585360 140098954639344 140099412499074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16219] ppid=16208 vsize=14090948 memory=1987420 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16219/stat : 16219 (java) S 16208 16211 15043 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 244385103 14429130752 496855 33554432000 4194304 4196468 140730627585360 140098953585632 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16220] ppid=16208 vsize=14090948 memory=1987420 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16220/stat : 16220 (java) S 16208 16211 15043 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 244385103 14429130752 496855 33554432000 4194304 4196468 140730627585360 140098952532992 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16221] ppid=16208 vsize=14090948 memory=1987420 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16221/stat : 16221 (java) S 16208 16211 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244385105 14429130752 496855 33554432000 4194304 4196468 140730627585360 140098951481552 140099412506523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16222] ppid=16208 vsize=14090948 memory=1987420 CPUtime=1.97 cores=0,2,4,6
/proc/16211/task/16222/stat : 16222 (java) S 16208 16211 15043 0 -1 1077944384 7029 0 0 0 196 1 0 0 20 0 15 0 244385105 14429130752 496855 33554432000 4194304 4196468 140730627585360 140098950429168 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16223] ppid=16208 vsize=14090948 memory=1985372 CPUtime=1.92 cores=0,2,4,6
/proc/16211/task/16223/stat : 16223 (java) S 16208 16211 15043 0 -1 1077944384 6121 0 0 0 191 1 0 0 20 0 15 0 244385105 14429130752 496855 33554432000 4194304 4196468 140730627585360 140098949376624 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16224] ppid=16208 vsize=14090948 memory=1987420 CPUtime=1.01 cores=0,2,4,6
/proc/16211/task/16224/stat : 16224 (java) S 16208 16211 15043 0 -1 1077944384 12419 0 0 0 99 2 0 0 20 0 15 0 244385105 14429130752 496855 33554432000 4194304 4196468 140730627585360 140098880400112 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16225] ppid=16208 vsize=14090948 memory=1987420 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16225/stat : 16225 (java) S 16208 16211 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244385106 14429130752 496855 33554432000 4194304 4196468 140730627585360 140098879347808 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16226] ppid=16208 vsize=14090948 memory=3544 CPUtime=1.34 cores=0,2,4,6
/proc/16211/task/16226/stat : 16226 (java) S 16208 16211 15043 0 -1 1077944384 1518 0 0 0 67 67 0 0 20 0 15 0 244385106 14429130752 496855 33554432000 4194304 4196468 140730627585360 140098878294320 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 27 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
Current children cumulated CPU time: 2408.77 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1987420 KiB

[startup+2442.3 s]
/proc/loadavg: 1.32 1.33 1.37 3/215 16405
/proc/meminfo: memFree=25407148/32770624 swapFree=67030672/67108860
[pid=16211] ppid=16208 vsize=14090948 memory=1992556 CPUtime=2469.52 cores=0,2,4,6
/proc/16211/stat : 16211 (java) S 16208 16211 15043 0 -1 1077944320 217136 0 0 0 246682 270 0 0 20 0 15 0 244385100 14429130752 498139 33554432000 4194304 4196468 140730627585360 140730627567904 140099412487927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
/proc/16211/statm: 3522737 498139 3598 1 0 3484809 0
[pid=16211/tid=16213] ppid=16208 vsize=14090948 memory=1992556 CPUtime=2424.38 cores=0,2,4,6
/proc/16211/task/16213/stat : 16213 (java) R 16208 16211 15043 0 -1 4202560 77004 0 0 0 242393 45 0 0 20 0 15 0 244385100 14429130752 498139 33554432000 4194304 4196468 140730627585360 140099416726208 140099042003492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16214] ppid=16208 vsize=14090948 memory=1992556 CPUtime=8.36 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (java) S 16208 16211 15043 0 -1 1077944384 22250 0 0 0 793 43 0 0 20 0 15 0 244385101 14429130752 498139 33554432000 4194304 4196468 140730627585360 140099365108496 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16215] ppid=16208 vsize=14090948 memory=1990344 CPUtime=8.38 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (java) S 16208 16211 15043 0 -1 1077944384 21739 0 0 0 797 41 0 0 20 0 15 0 244385101 14429130752 498139 33554432000 4194304 4196468 140730627585360 140099364055952 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16216] ppid=16208 vsize=14090948 memory=1992392 CPUtime=8.4 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (java) S 16208 16211 15043 0 -1 1077944384 25158 0 0 0 799 41 0 0 20 0 15 0 244385101 14429130752 498139 33554432000 4194304 4196468 140730627585360 140099363003408 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16217] ppid=16208 vsize=14090948 memory=1992556 CPUtime=8.38 cores=0,2,4,6
/proc/16211/task/16217/stat : 16217 (java) S 16208 16211 15043 0 -1 1077944384 22478 0 0 0 796 42 0 0 20 0 15 0 244385101 14429130752 498139 33554432000 4194304 4196468 140730627585360 140099361950864 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16218] ppid=16208 vsize=14090948 memory=1992556 CPUtime=5.22 cores=0,2,4,6
/proc/16211/task/16218/stat : 16218 (java) S 16208 16211 15043 0 -1 1077944384 19402 0 0 0 488 34 0 0 20 0 15 0 244385102 14429130752 498139 33554432000 4194304 4196468 140730627585360 140098954639344 140099412499074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16219] ppid=16208 vsize=14090948 memory=1992556 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16219/stat : 16219 (java) S 16208 16211 15043 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 244385103 14429130752 498139 33554432000 4194304 4196468 140730627585360 140098953585632 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16220] ppid=16208 vsize=14090948 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16220/stat : 16220 (java) S 16208 16211 15043 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 244385103 14429130752 498139 33554432000 4194304 4196468 140730627585360 140098952532992 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16221] ppid=16208 vsize=14090948 memory=1992556 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16221/stat : 16221 (java) S 16208 16211 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244385105 14429130752 498139 33554432000 4194304 4196468 140730627585360 140098951481552 140099412506523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16222] ppid=16208 vsize=14090948 memory=1992556 CPUtime=1.97 cores=0,2,4,6
/proc/16211/task/16222/stat : 16222 (java) S 16208 16211 15043 0 -1 1077944384 7125 0 0 0 196 1 0 0 20 0 15 0 244385105 14429130752 498139 33554432000 4194304 4196468 140730627585360 140098950429168 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16223] ppid=16208 vsize=14090948 memory=1989468 CPUtime=1.97 cores=0,2,4,6
/proc/16211/task/16223/stat : 16223 (java) S 16208 16211 15043 0 -1 1077944384 6605 0 0 0 196 1 0 0 20 0 15 0 244385105 14429130752 498139 33554432000 4194304 4196468 140730627585360 140098949376624 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16224] ppid=16208 vsize=14090948 memory=1992556 CPUtime=1.01 cores=0,2,4,6
/proc/16211/task/16224/stat : 16224 (java) S 16208 16211 15043 0 -1 1077944384 12423 0 0 0 99 2 0 0 20 0 15 0 244385105 14429130752 498139 33554432000 4194304 4196468 140730627585360 140098880400112 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16225] ppid=16208 vsize=14090948 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16225/stat : 16225 (java) S 16208 16211 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244385106 14429130752 498139 33554432000 4194304 4196468 140730627585360 140098879347808 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16226] ppid=16208 vsize=14090948 memory=1992556 CPUtime=1.37 cores=0,2,4,6
/proc/16211/task/16226/stat : 16226 (java) S 16208 16211 15043 0 -1 1077944384 1536 0 0 0 69 68 0 0 20 0 15 0 244385106 14429130752 498139 33554432000 4194304 4196468 140730627585360 140098878294320 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 27 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
Current children cumulated CPU time: 2469.52 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1992556 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2492.3 s]
/proc/loadavg: 1.35 1.33 1.37 3/215 16406
/proc/meminfo: memFree=25402668/32770624 swapFree=67030672/67108860
[pid=16211] ppid=16208 vsize=14090948 memory=1996652 CPUtime=2520.08 cores=0,2,4,6
/proc/16211/stat : 16211 (java) S 16208 16211 15043 0 -1 1077944320 219859 0 0 0 251734 274 0 0 20 0 15 0 244385100 14429130752 499163 33554432000 4194304 4196468 140730627585360 140730627567904 140099412487927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
/proc/16211/statm: 3522737 499163 3598 1 0 3484809 0
[pid=16211/tid=16213] ppid=16208 vsize=14090948 memory=1996652 CPUtime=2473.95 cores=0,2,4,6
/proc/16211/task/16213/stat : 16213 (java) R 16208 16211 15043 0 -1 4202560 77853 0 0 0 247350 45 0 0 20 0 15 0 244385100 14429130752 499163 33554432000 4194304 4196468 140730627585360 140099416725984 140099397697791 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16214] ppid=16208 vsize=14090948 memory=1996652 CPUtime=8.57 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (java) S 16208 16211 15043 0 -1 1077944384 22663 0 0 0 813 44 0 0 20 0 15 0 244385101 14429130752 499163 33554432000 4194304 4196468 140730627585360 140099365108496 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16215] ppid=16208 vsize=14090948 memory=1996652 CPUtime=8.6 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (java) S 16208 16211 15043 0 -1 1077944384 22135 0 0 0 818 42 0 0 20 0 15 0 244385101 14429130752 499163 33554432000 4194304 4196468 140730627585360 140099364055952 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16216] ppid=16208 vsize=14090948 memory=1996652 CPUtime=8.61 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (java) S 16208 16211 15043 0 -1 1077944384 25520 0 0 0 820 41 0 0 20 0 15 0 244385101 14429130752 499163 33554432000 4194304 4196468 140730627585360 140099363003408 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16217] ppid=16208 vsize=14090948 memory=1996652 CPUtime=8.6 cores=0,2,4,6
/proc/16211/task/16217/stat : 16217 (java) S 16208 16211 15043 0 -1 1077944384 22805 0 0 0 817 43 0 0 20 0 15 0 244385101 14429130752 499163 33554432000 4194304 4196468 140730627585360 140099361950864 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16218] ppid=16208 vsize=14090948 memory=7884236583277652564 CPUtime=5.33 cores=0,2,4,6
/proc/16211/task/16218/stat : 16218 (java) S 16208 16211 15043 0 -1 1077944384 19742 0 0 0 498 35 0 0 20 0 15 0 244385102 14429130752 499163 33554432000 4194304 4196468 140730627585360 140098954639344 140099412499074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16219] ppid=16208 vsize=14090948 memory=1996652 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16219/stat : 16219 (java) S 16208 16211 15043 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 244385103 14429130752 499163 33554432000 4194304 4196468 140730627585360 140098953585632 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16220] ppid=16208 vsize=14090948 memory=1996652 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16220/stat : 16220 (java) S 16208 16211 15043 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 244385103 14429130752 499163 33554432000 4194304 4196468 140730627585360 140098952532992 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16221] ppid=16208 vsize=14090948 memory=1996652 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16221/stat : 16221 (java) S 16208 16211 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244385105 14429130752 499163 33554432000 4194304 4196468 140730627585360 140098951481552 140099412506523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16222] ppid=16208 vsize=14090948 memory=1996652 CPUtime=1.97 cores=0,2,4,6
/proc/16211/task/16222/stat : 16222 (java) S 16208 16211 15043 0 -1 1077944384 7129 0 0 0 196 1 0 0 20 0 15 0 244385105 14429130752 499163 33554432000 4194304 4196468 140730627585360 140098950429168 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16223] ppid=16208 vsize=14090948 memory=1996652 CPUtime=1.97 cores=0,2,4,6
/proc/16211/task/16223/stat : 16223 (java) S 16208 16211 15043 0 -1 1077944384 6609 0 0 0 196 1 0 0 20 0 15 0 244385105 14429130752 499163 33554432000 4194304 4196468 140730627585360 140098949376624 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16224] ppid=16208 vsize=14090948 memory=1996652 CPUtime=1.01 cores=0,2,4,6
/proc/16211/task/16224/stat : 16224 (java) S 16208 16211 15043 0 -1 1077944384 12427 0 0 0 99 2 0 0 20 0 15 0 244385105 14429130752 499163 33554432000 4194304 4196468 140730627585360 140098880400112 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16225] ppid=16208 vsize=14090948 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16225/stat : 16225 (java) S 16208 16211 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244385106 14429130752 499163 33554432000 4194304 4196468 140730627585360 140098879347808 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16226] ppid=16208 vsize=14090948 memory=64620 CPUtime=1.39 cores=0,2,4,6
/proc/16211/task/16226/stat : 16226 (java) S 16208 16211 15043 0 -1 1077944384 1560 0 0 0 70 69 0 0 20 0 15 0 244385106 14429130752 499163 33554432000 4194304 4196468 140730627585360 140098878294320 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 27 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1996652 KiB

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

[startup+2492.33 s]
# the end of solver process 16211 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.37 s, system=2.75567 s

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

[startup+2492.3 s]
/proc/loadavg: 1.35 1.33 1.37 3/215 16406
/proc/meminfo: memFree=25402668/32770624 swapFree=67030672/67108860
[pid=16211] ppid=16208 vsize=14090948 memory=1996652 CPUtime=2520.08 cores=0,2,4,6
/proc/16211/stat : 16211 (java) S 16208 16211 15043 0 -1 1077944320 219859 0 0 0 251734 274 0 0 20 0 15 0 244385100 14429130752 499163 33554432000 4194304 4196468 140730627585360 140730627567904 140099412487927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
/proc/16211/statm: 3522737 499163 3598 1 0 3484809 0
[pid=16211/tid=16213] ppid=16208 vsize=14090948 memory=1996652 CPUtime=2473.95 cores=0,2,4,6
/proc/16211/task/16213/stat : 16213 (java) R 16208 16211 15043 0 -1 4202560 77853 0 0 0 247350 45 0 0 20 0 15 0 244385100 14429130752 499163 33554432000 4194304 4196468 140730627585360 140099416725984 140099397697791 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16214] ppid=16208 vsize=14090948 memory=1996652 CPUtime=8.57 cores=0,2,4,6
/proc/16211/task/16214/stat : 16214 (java) S 16208 16211 15043 0 -1 1077944384 22663 0 0 0 813 44 0 0 20 0 15 0 244385101 14429130752 499163 33554432000 4194304 4196468 140730627585360 140099365108496 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16215] ppid=16208 vsize=14090948 memory=1996652 CPUtime=8.6 cores=0,2,4,6
/proc/16211/task/16215/stat : 16215 (java) S 16208 16211 15043 0 -1 1077944384 22135 0 0 0 818 42 0 0 20 0 15 0 244385101 14429130752 499163 33554432000 4194304 4196468 140730627585360 140099364055952 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16216] ppid=16208 vsize=14090948 memory=1996652 CPUtime=8.61 cores=0,2,4,6
/proc/16211/task/16216/stat : 16216 (java) S 16208 16211 15043 0 -1 1077944384 25520 0 0 0 820 41 0 0 20 0 15 0 244385101 14429130752 499163 33554432000 4194304 4196468 140730627585360 140099363003408 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16217] ppid=16208 vsize=14090948 memory=1996652 CPUtime=8.6 cores=0,2,4,6
/proc/16211/task/16217/stat : 16217 (java) S 16208 16211 15043 0 -1 1077944384 22805 0 0 0 817 43 0 0 20 0 15 0 244385101 14429130752 499163 33554432000 4194304 4196468 140730627585360 140099361950864 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16218] ppid=16208 vsize=14090948 memory=7884236583277652564 CPUtime=5.33 cores=0,2,4,6
/proc/16211/task/16218/stat : 16218 (java) S 16208 16211 15043 0 -1 1077944384 19742 0 0 0 498 35 0 0 20 0 15 0 244385102 14429130752 499163 33554432000 4194304 4196468 140730627585360 140098954639344 140099412499074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16219] ppid=16208 vsize=14090948 memory=1996652 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16219/stat : 16219 (java) S 16208 16211 15043 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 244385103 14429130752 499163 33554432000 4194304 4196468 140730627585360 140098953585632 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16220] ppid=16208 vsize=14090948 memory=1996652 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16220/stat : 16220 (java) S 16208 16211 15043 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 15 0 244385103 14429130752 499163 33554432000 4194304 4196468 140730627585360 140098952532992 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16221] ppid=16208 vsize=14090948 memory=1996652 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16221/stat : 16221 (java) S 16208 16211 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244385105 14429130752 499163 33554432000 4194304 4196468 140730627585360 140098951481552 140099412506523 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16222] ppid=16208 vsize=14090948 memory=1996652 CPUtime=1.97 cores=0,2,4,6
/proc/16211/task/16222/stat : 16222 (java) S 16208 16211 15043 0 -1 1077944384 7129 0 0 0 196 1 0 0 20 0 15 0 244385105 14429130752 499163 33554432000 4194304 4196468 140730627585360 140098950429168 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16223] ppid=16208 vsize=14090948 memory=1996652 CPUtime=1.97 cores=0,2,4,6
/proc/16211/task/16223/stat : 16223 (java) S 16208 16211 15043 0 -1 1077944384 6609 0 0 0 196 1 0 0 20 0 15 0 244385105 14429130752 499163 33554432000 4194304 4196468 140730627585360 140098949376624 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16224] ppid=16208 vsize=14090948 memory=1996652 CPUtime=1.01 cores=0,2,4,6
/proc/16211/task/16224/stat : 16224 (java) S 16208 16211 15043 0 -1 1077944384 12427 0 0 0 99 2 0 0 20 0 15 0 244385105 14429130752 499163 33554432000 4194304 4196468 140730627585360 140098880400112 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16225] ppid=16208 vsize=14090948 memory=3544 CPUtime=0 cores=0,2,4,6
/proc/16211/task/16225/stat : 16225 (java) S 16208 16211 15043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 244385106 14429130752 499163 33554432000 4194304 4196468 140730627585360 140098879347808 140099412498133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
[pid=16211/tid=16226] ppid=16208 vsize=14090948 memory=64620 CPUtime=1.39 cores=0,2,4,6
/proc/16211/task/16226/stat : 16226 (java) S 16208 16211 15043 0 -1 1077944384 1560 0 0 0 70 69 0 0 20 0 15 0 244385106 14429130752 499163 33554432000 4194304 4196468 140730627585360 140098878294320 140099412499074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 27 0 0 6293624 6294260 11755520 140730627589193 140730627589385 140730627589385 140730627592143 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 1996652 KiB

Child status: 143
Real time (s): 2492.33
CPU time (s): 2520.12
CPU user time (s): 2517.37
CPU system time (s): 2.75567
CPU usage (%): 101.115
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 1996652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.37
system time used= 2.75567
maximum resident set size= 1997220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 220310
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 195354
involuntary context switches= 9225


# summary of solver processes directly reported to runsolver:
#   pid: 16211
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2517.37
#   total CPU system time (s): 2.75567

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6752 second user time and 23.4678 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 4307786

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