2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2018-08-14	SAT (TO)	266	252.125	241.644

0.68/0.55	c version: 2018-08-14
0.68/0.55	c seed: 1777973601
0.68/0.55	c timeout: 252
0.68/0.55	c memlimit: 11000
0.68/0.56	c nbcore: 4
0.68/0.58	c Parsing instance...
5.38/2.42	c Parsing done, starting first complete search...
9.04/4.94	o 178
9.04/4.95	o 179
9.04/4.95	o 180
9.04/4.95	o 181
9.04/4.95	o 182
9.04/4.96	o 183
9.04/4.96	o 184
9.04/4.96	o 185
9.04/4.96	o 186
9.04/4.96	o 187
9.04/4.97	o 188
9.04/4.97	o 189
9.04/4.97	o 190
9.04/4.97	o 191
9.04/4.97	o 192
9.04/4.98	o 193
9.04/4.98	o 194
9.04/4.98	o 195
9.04/4.98	o 196
9.04/4.98	o 197
9.04/4.98	o 198
9.04/4.99	o 199
9.04/4.99	o 200
9.04/4.99	o 201
9.04/4.99	o 202
9.04/4.99	o 203
9.04/4.99	o 204
9.04/5.00	o 205
9.04/5.00	o 206
9.04/5.00	o 207
9.04/5.00	o 208
9.30/5.01	o 209
9.30/5.01	o 210
9.30/5.01	o 211
9.30/5.01	o 212
9.30/5.01	o 213
9.30/5.01	o 214
9.30/5.01	o 215
9.30/5.01	o 216
9.30/5.01	o 217
9.30/5.01	o 218
9.30/5.02	o 219
9.30/5.02	o 220
9.30/5.02	o 221
9.30/5.02	o 222
9.30/5.02	o 223
9.30/5.03	o 224
9.30/5.03	o 225
9.30/5.03	o 226
9.30/5.03	o 227
9.30/5.03	o 228
9.30/5.04	o 229
9.30/5.04	o 230
9.30/5.04	o 231
9.30/5.04	o 232
9.30/5.04	o 233
9.30/5.05	o 234
9.30/5.05	o 235
9.30/5.05	o 236
9.30/5.05	o 237
9.30/5.05	o 238
9.30/5.05	o 239
9.30/5.06	o 240
9.30/5.06	o 241
9.30/5.06	o 242
9.30/5.06	o 243
9.30/5.06	o 244
9.30/5.07	o 245
9.30/5.07	o 246
9.30/5.07	o 247
9.30/5.07	o 248
9.30/5.08	o 249
9.30/5.08	o 250
9.30/5.08	o 251
9.30/5.09	o 252
11.19/5.83	o 253
11.81/6.12	o 254
11.81/6.12	o 255
14.21/8.44	o 256
14.31/8.50	o 257
22.34/16.44	c First complete search done, starting ALNS search...
22.79/16.78	o 258
22.79/16.78	o 259
22.90/16.80	o 260
22.90/16.82	o 261
22.90/16.82	o 262
25.41/18.76	o 263
25.41/18.78	o 264
25.64/18.80	o 265
26.27/19.15	o 266
252.07/241.60	s SATISFIABLE
252.07/241.61	v <instantiation>
252.07/241.61	v 	<list>
252.07/241.61	v 		x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] z
252.07/241.61	v 	</list>
252.07/241.61	v 	<values>
252.07/241.61	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 1 0 0 0 1 1 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 0 0 1 1 0 1 1 0 1 0 1 0 1 0 0 1 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 0 1 1 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 1 0 1 0 0 0 0 1 1 0 1 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 1 0 1 1 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 1 0 1 1 1 1 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 0 1 1 1 0 1 0 0 0 0 0 1 0 1 0 0 1 1 1 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 1 1 0 1 0 1 1 0 0 1 1 0 0 0 1 1 1 0 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 1 0 1 0 0 0 0 1 1 0 0 0 1 0 1 1 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 1 1 1 1 0 0 0 0 1 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 0 1 0 1 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 2 1 1 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 0 0 1 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 0 1 1 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 1 2 2 2 2 2 2 1 1 2 2 2 2 2 2 1 1 2 1 2 2 2 1 2 1 2 2 2 1 2 1 1 2 1 1 2 1 1 2 1 1 1 1 2 1 1 1 1 0 0 1 0 2 0 1 0 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 2 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 1 1 1 1 1 0 0 1 0 0 1 1 2 1 1 0 1 1 0 1 1 2 1 0 1 0 1 0 1 1 0 0 1 1 2 1 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 2 1 0 0 1 1 1 1 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 1 0 1 1 1 0 1 1 0 1 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 1 1 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 1 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 2 2 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 1 1 1 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 2 1 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 2 2 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 2 1 0 1 1 2 0 2 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 2 1 2 2 1 0 0 2 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 2 2 2 2 2 1 0 1 1 1 1 0 0 0 0 0 0 0 1 0 2 0 1 1 1 1 0 1 0 0 0 1 1 2 2 2 2 2 1 1 2 2 0 1 0 1 0 1 0 1 0 2 0 1 0 2 2 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 0 1 1 1 1 0 0 0 30 92 154 216 278 337 390 443 502 552 572 583 604 622 634 646 659 668 677 687 692 701 709 718 729 741 748 763 783 806 835 856 266 
252.07/241.61	v 	</values>
252.07/241.61	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 (13511 MiB free)
  memory of node 1: 16384 MiB (10484 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4310245-1534323825/watcher-4310245-1534323825 -o /tmp/evaluation-result-4310245-1534323825/solver-4310245-1534323825 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1534323825-25433 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-hybrid.jar --randomseed 1777973601 --timelimit 252 --memlimit 11000 --nbcore 4 HOME/instance-4310245-1534323825.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=25466, runsolver pid=25459

[startup+0.100095 s]*
/proc/loadavg: 1.21 1.14 1.34 4/218 25495
/proc/meminfo: memFree=24533512/32770624 swapFree=67108172/67108860
[pid=25466] ppid=25459 vsize=14082736 memory=33976 CPUtime=0.12 cores=0,2,4,6
/proc/25466/stat : 25466 (java) S 25459 25466 21905 0 -1 1077944320 7410 0 0 0 11 1 0 0 20 0 15 0 249945712 14420721664 8494 33554432000 4194304 4196468 140736418849488 140736418832032 140541668429559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
/proc/25466/statm: 3520684 8494 3139 1 0 3482761 0
[pid=25466/tid=25469] ppid=25459 vsize=14082736 memory=5450919713671312938 CPUtime=0.09 cores=0,2,4,6
/proc/25466/task/25469/stat : 25469 (java) R 25459 25466 21905 0 -1 4202560 5503 0 0 0 8 1 0 0 20 0 15 0 249945712 14420721664 8494 33554432000 4194304 4196468 140736418849488 140541672624368 140541652510046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25474] ppid=25459 vsize=14082736 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25474/stat : 25474 (java) S 25459 25466 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249945713 14420721664 8494 33554432000 4194304 4196468 140736418849488 140541263788944 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25475] ppid=25459 vsize=14082736 memory=140319685666432 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25475/stat : 25475 (java) S 25459 25466 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249945713 14420721664 8494 33554432000 4194304 4196468 140736418849488 140541262736144 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25476] ppid=25459 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25476/stat : 25476 (java) S 25459 25466 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249945713 14420721664 8494 33554432000 4194304 4196468 140736418849488 140541261683856 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25477] ppid=25459 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25477/stat : 25477 (java) S 25459 25466 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249945713 14420721664 8494 33554432000 4194304 4196468 140736418849488 140541260631056 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25479] ppid=25459 vsize=14082736 memory=140319685666432 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25479/stat : 25479 (java) S 25459 25466 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249945714 14420721664 8494 33554432000 4194304 4196468 140736418849488 140541210609776 140541668440706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25480] ppid=25459 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25480/stat : 25480 (java) S 25459 25466 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249945715 14420721664 8494 33554432000 4194304 4196468 140736418849488 140541209555744 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25482] ppid=25459 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25482/stat : 25482 (java) S 25459 25466 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249945715 14420721664 8494 33554432000 4194304 4196468 140736418849488 140541208503408 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25484] ppid=25459 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25484/stat : 25484 (java) S 25459 25466 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249945717 14420721664 8494 33554432000 4194304 4196468 140736418849488 140541207451728 140541668448155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25485] ppid=25459 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25485/stat : 25485 (java) S 25459 25466 21905 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 249945717 14420721664 8494 33554432000 4194304 4196468 140736418849488 140541206399600 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25486] ppid=25459 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25486/stat : 25486 (java) R 25459 25466 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249945717 14420721664 8494 33554432000 4194304 4196468 140736418849488 140541205346800 140541668440706 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25488] ppid=25459 vsize=14082736 memory=140319685666432 CPUtime=0.01 cores=0,2,4,6
/proc/25466/task/25488/stat : 25488 (java) S 25459 25466 21905 0 -1 1077944384 235 0 0 0 1 0 0 0 20 0 15 0 249945717 14420721664 8494 33554432000 4194304 4196468 140736418849488 140541204294512 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25492] ppid=25459 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25492/stat : 25492 (java) S 25459 25466 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249945717 14420721664 8494 33554432000 4194304 4196468 140736418849488 140541203241952 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25494] ppid=25459 vsize=14082736 memory=140319685666432 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25494/stat : 25494 (java) S 25459 25466 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249945718 14420721664 8494 33554432000 4194304 4196468 140736418849488 140541202188720 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33976 KiB

[startup+0.210458 s]*
/proc/loadavg: 1.21 1.14 1.34 6/218 25495
/proc/meminfo: memFree=24502380/32770624 swapFree=67108172/67108860
[pid=25466] ppid=25459 vsize=14082736 memory=47360 CPUtime=0.31 cores=0,2,4,6
/proc/25466/stat : 25466 (java) S 25459 25466 21905 0 -1 1077944320 10435 0 0 0 29 2 0 0 20 0 15 0 249945712 14420721664 11840 33554432000 4194304 4196468 140736418849488 140736418832032 140541668429559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
/proc/25466/statm: 3520684 11840 3375 1 0 3482761 0
[pid=25466/tid=25469] ppid=25459 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/25466/task/25469/stat : 25469 (java) R 25459 25466 21905 0 -1 4202560 8199 0 0 0 19 1 0 0 20 0 15 0 249945712 14420721664 11840 33554432000 4194304 4196468 140736418849488 140541672655312 140541647952560 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25474] ppid=25459 vsize=14082736 memory=343 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25474/stat : 25474 (java) S 25459 25466 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249945713 14420721664 11840 33554432000 4194304 4196468 140736418849488 140541263788944 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25475] ppid=25459 vsize=14082736 memory=140319685688620 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25475/stat : 25475 (java) S 25459 25466 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249945713 14420721664 11840 33554432000 4194304 4196468 140736418849488 140541262736144 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25476] ppid=25459 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25476/stat : 25476 (java) S 25459 25466 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249945713 14420721664 11840 33554432000 4194304 4196468 140736418849488 140541261683856 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25477] ppid=25459 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25477/stat : 25477 (java) S 25459 25466 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249945713 14420721664 11840 33554432000 4194304 4196468 140736418849488 140541260631056 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25479] ppid=25459 vsize=14082736 memory=140319685666432 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25479/stat : 25479 (java) S 25459 25466 21905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 249945714 14420721664 11840 33554432000 4194304 4196468 140736418849488 140541210609776 140541668440706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25480] ppid=25459 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25480/stat : 25480 (java) S 25459 25466 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249945715 14420721664 11840 33554432000 4194304 4196468 140736418849488 140541209555744 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25482] ppid=25459 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25482/stat : 25482 (java) S 25459 25466 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249945715 14420721664 11840 33554432000 4194304 4196468 140736418849488 140541208503408 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25484] ppid=25459 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25484/stat : 25484 (java) S 25459 25466 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249945717 14420721664 11840 33554432000 4194304 4196468 140736418849488 140541207451728 140541668448155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25485] ppid=25459 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25466/task/25485/stat : 25485 (java) R 25459 25466 21905 0 -1 1077944384 474 0 0 0 1 0 0 0 20 0 15 0 249945717 14420721664 11840 33554432000 4194304 4196468 140736418849488 140541206399600 140541668440706 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25486] ppid=25459 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/25466/task/25486/stat : 25486 (java) R 25459 25466 21905 0 -1 4202560 114 0 0 0 2 0 0 0 20 0 15 0 249945717 14420721664 11840 33554432000 4194304 4196468 140736418849488 140541205346800 140541645967360 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25488] ppid=25459 vsize=14082736 memory=140319685666432 CPUtime=0.06 cores=0,2,4,6
/proc/25466/task/25488/stat : 25488 (java) R 25459 25466 21905 0 -1 4202560 276 0 0 0 6 0 0 0 20 0 15 0 249945717 14420721664 11840 33554432000 4194304 4196468 140736418849488 140541204291448 140541652681580 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25492] ppid=25459 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25492/stat : 25492 (java) S 25459 25466 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249945717 14420721664 11840 33554432000 4194304 4196468 140736418849488 140541203241952 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25494] ppid=25459 vsize=14082736 memory=140319685666432 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25494/stat : 25494 (java) S 25459 25466 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249945718 14420721664 11840 33554432000 4194304 4196468 140736418849488 140541202188720 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47360 KiB

[startup+0.310308 s]*
/proc/loadavg: 1.21 1.14 1.34 4/218 25495
/proc/meminfo: memFree=24495308/32770624 swapFree=67108172/67108860
[pid=25466] ppid=25459 vsize=14082736 memory=50608 CPUtime=0.44 cores=0,2,4,6
/proc/25466/stat : 25466 (java) S 25459 25466 21905 0 -1 1077944320 10783 0 0 0 42 2 0 0 20 0 15 0 249945712 14420721664 12652 33554432000 4194304 4196468 140736418849488 140736418832032 140541668429559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
/proc/25466/statm: 3520684 12652 3377 1 0 3482761 0
[pid=25466/tid=25469] ppid=25459 vsize=14082736 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/25466/task/25469/stat : 25469 (java) R 25459 25466 21905 0 -1 4202560 8524 0 0 0 28 1 0 0 20 0 15 0 249945712 14420721664 12652 33554432000 4194304 4196468 140736418849488 140541672610608 140541648704961 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25474] ppid=25459 vsize=14082736 memory=4294977828 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25474/stat : 25474 (java) S 25459 25466 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249945713 14420721664 12652 33554432000 4194304 4196468 140736418849488 140541263788944 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25475] ppid=25459 vsize=14082736 memory=140319685688594 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25475/stat : 25475 (java) S 25459 25466 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249945713 14420721664 12652 33554432000 4194304 4196468 140736418849488 140541262736144 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25476] ppid=25459 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25476/stat : 25476 (java) S 25459 25466 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249945713 14420721664 12652 33554432000 4194304 4196468 140736418849488 140541261683856 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25477] ppid=25459 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25477/stat : 25477 (java) S 25459 25466 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249945713 14420721664 12652 33554432000 4194304 4196468 140736418849488 140541260631056 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25479] ppid=25459 vsize=14082736 memory=140319685666432 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25479/stat : 25479 (java) S 25459 25466 21905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 249945714 14420721664 12652 33554432000 4194304 4196468 140736418849488 140541210609776 140541668440706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25480] ppid=25459 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25480/stat : 25480 (java) S 25459 25466 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249945715 14420721664 12652 33554432000 4194304 4196468 140736418849488 140541209555744 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25482] ppid=25459 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25482/stat : 25482 (java) S 25459 25466 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249945715 14420721664 12652 33554432000 4194304 4196468 140736418849488 140541208503408 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25484] ppid=25459 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25484/stat : 25484 (java) S 25459 25466 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249945717 14420721664 12652 33554432000 4194304 4196468 140736418849488 140541207451728 140541668448155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25485] ppid=25459 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25466/task/25485/stat : 25485 (java) S 25459 25466 21905 0 -1 1077944384 479 0 0 0 2 0 0 0 20 0 15 0 249945717 14420721664 12652 33554432000 4194304 4196468 140736418849488 140541206399600 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25486] ppid=25459 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/25466/task/25486/stat : 25486 (java) S 25459 25466 21905 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 15 0 249945717 14420721664 12652 33554432000 4194304 4196468 140736418849488 140541205346800 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25488] ppid=25459 vsize=14082736 memory=140319685666432 CPUtime=0.08 cores=0,2,4,6
/proc/25466/task/25488/stat : 25488 (java) S 25459 25466 21905 0 -1 1077944384 284 0 0 0 8 0 0 0 20 0 15 0 249945717 14420721664 12652 33554432000 4194304 4196468 140736418849488 140541204294512 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25492] ppid=25459 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25492/stat : 25492 (java) S 25459 25466 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249945717 14420721664 12652 33554432000 4194304 4196468 140736418849488 140541203241952 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25494] ppid=25459 vsize=14082736 memory=140319685666432 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25494/stat : 25494 (java) S 25459 25466 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249945718 14420721664 12652 33554432000 4194304 4196468 140736418849488 140541202188720 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50608 KiB

[startup+0.700739 s]
/proc/loadavg: 1.21 1.14 1.34 5/218 25495
/proc/meminfo: memFree=24452028/32770624 swapFree=67108172/67108860
[pid=25466] ppid=25459 vsize=14084804 memory=90560 CPUtime=1 cores=0,2,4,6
/proc/25466/stat : 25466 (java) S 25459 25466 21905 0 -1 1077944320 17525 0 0 0 95 5 0 0 20 0 15 0 249945712 14422839296 22640 33554432000 4194304 4196468 140736418849488 140736418832032 140541668429559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
/proc/25466/statm: 3521201 22640 3504 1 0 3483273 0
[pid=25466/tid=25469] ppid=25459 vsize=14084804 memory=249751006115557 CPUtime=0.68 cores=0,2,4,6
/proc/25466/task/25469/stat : 25469 (java) R 25459 25466 21905 0 -1 4202560 14848 0 0 0 64 4 0 0 20 0 15 0 249945712 14422839296 22640 33554432000 4194304 4196468 140736418849488 140541672644496 140541668451485 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25474] ppid=25459 vsize=14084804 memory=288230376153003213 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25474/stat : 25474 (java) S 25459 25466 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249945713 14422839296 22640 33554432000 4194304 4196468 140736418849488 140541263788944 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25475] ppid=25459 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25475/stat : 25475 (java) S 25459 25466 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249945713 14422839296 22640 33554432000 4194304 4196468 140736418849488 140541262736144 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25476] ppid=25459 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25476/stat : 25476 (java) S 25459 25466 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249945713 14422839296 22640 33554432000 4194304 4196468 140736418849488 140541261683856 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25477] ppid=25459 vsize=14084804 memory=7809523229951467572 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25477/stat : 25477 (java) S 25459 25466 21905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249945713 14422839296 22640 33554432000 4194304 4196468 140736418849488 140541260631056 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25479] ppid=25459 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25479/stat : 25479 (java) S 25459 25466 21905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 249945714 14422839296 22640 33554432000 4194304 4196468 140736418849488 140541210609776 140541668440706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25480] ppid=25459 vsize=14084804 memory=-3535359994705172066 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25480/stat : 25480 (java) S 25459 25466 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249945715 14422839296 22640 33554432000 4194304 4196468 140736418849488 140541209555744 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25482] ppid=25459 vsize=14084804 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25482/stat : 25482 (java) S 25459 25466 21905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249945715 14422839296 22640 33554432000 4194304 4196468 140736418849488 140541208503408 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25484] ppid=25459 vsize=14084804 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25484/stat : 25484 (java) S 25459 25466 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249945717 14422839296 22640 33554432000 4194304 4196468 140736418849488 140541207451728 140541668448155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25485] ppid=25459 vsize=14084804 memory=6944656592455359580 CPUtime=0.06 cores=0,2,4,6
/proc/25466/task/25485/stat : 25485 (java) S 25459 25466 21905 0 -1 1077944384 659 0 0 0 6 0 0 0 20 0 15 0 249945717 14422839296 22640 33554432000 4194304 4196468 140736418849488 140541206399600 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25486] ppid=25459 vsize=14084804 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/25466/task/25486/stat : 25486 (java) S 25459 25466 21905 0 -1 1077944384 274 0 0 0 8 0 0 0 20 0 15 0 249945717 14422839296 22640 33554432000 4194304 4196468 140736418849488 140541205346800 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25488] ppid=25459 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/25466/task/25488/stat : 25488 (java) S 25459 25466 21905 0 -1 1077944384 366 0 0 0 15 0 0 0 20 0 15 0 249945717 14422839296 22640 33554432000 4194304 4196468 140736418849488 140541204294512 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25492] ppid=25459 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25492/stat : 25492 (java) S 25459 25466 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249945717 14422839296 22640 33554432000 4194304 4196468 140736418849488 140541203241952 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25494] ppid=25459 vsize=14084804 memory=12552 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25494/stat : 25494 (java) S 25459 25466 21905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249945718 14422839296 22640 33554432000 4194304 4196468 140736418849488 140541202188720 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 90560 KiB

[startup+1.50943 s]
/proc/loadavg: 1.21 1.14 1.34 10/218 25495
/proc/meminfo: memFree=24374312/32770624 swapFree=67108172/67108860
[pid=25466] ppid=25459 vsize=14088900 memory=218788 CPUtime=3.21 cores=0,2,4,6
/proc/25466/stat : 25466 (java) S 25459 25466 21905 0 -1 1077944320 24817 0 0 0 313 8 0 0 20 0 15 0 249945712 14427033600 54697 33554432000 4194304 4196468 140736418849488 140736418832032 140541668429559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
/proc/25466/statm: 3522225 54697 3547 1 0 3484297 0
[pid=25466/tid=25469] ppid=25459 vsize=14088900 memory=10759 CPUtime=1.47 cores=0,2,4,6
/proc/25466/task/25469/stat : 25469 (java) R 25459 25466 21905 0 -1 4202560 17408 0 0 0 141 6 0 0 20 0 15 0 249945712 14427033600 54697 33554432000 4194304 4196468 140736418849488 140541672667616 140541652510046 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25474] ppid=25459 vsize=14088900 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25474/stat : 25474 (java) S 25459 25466 21905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249945713 14427033600 54697 33554432000 4194304 4196468 140736418849488 140541263788944 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25475] ppid=25459 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25475/stat : 25475 (java) S 25459 25466 21905 0 -1 1077944384 152 0 0 0 0 0 0 0 20 0 15 0 249945713 14427033600 54697 33554432000 4194304 4196468 140736418849488 140541262736144 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25476] ppid=25459 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25476/stat : 25476 (java) S 25459 25466 21905 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 249945713 14427033600 54697 33554432000 4194304 4196468 140736418849488 140541261683856 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25477] ppid=25459 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25477/stat : 25477 (java) S 25459 25466 21905 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 249945713 14427033600 54697 33554432000 4194304 4196468 140736418849488 140541260631056 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25479] ppid=25459 vsize=14088900 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25479/stat : 25479 (java) S 25459 25466 21905 0 -1 1077944384 230 0 0 0 0 0 0 0 20 0 15 0 249945714 14427033600 54697 33554432000 4194304 4196468 140736418849488 140541210609776 140541668440706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0

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

/proc/25466/task/25469/stat : 25469 (java) R 25459 25466 21905 0 -1 4202560 35657 0 0 0 10031 53 0 0 20 0 15 0 249945712 14431227904 975044 33554432000 4194304 4196468 140736418849488 140541672667160 140541292162558 0 4 0 16800975 0 0 0 -1 2 0 0 40 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25474] ppid=25459 vsize=14092996 memory=3900176 CPUtime=0.8 cores=0,2,4,6
/proc/25466/task/25474/stat : 25474 (java) S 25459 25466 21905 0 -1 1077944384 1762 0 0 0 63 17 0 0 20 0 15 0 249945713 14431227904 975044 33554432000 4194304 4196468 140736418849488 140541263788944 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25475] ppid=25459 vsize=14092996 memory=3900176 CPUtime=0.82 cores=0,2,4,6
/proc/25466/task/25475/stat : 25475 (java) S 25459 25466 21905 0 -1 1077944384 1414 0 0 0 63 19 0 0 20 0 15 0 249945713 14431227904 975044 33554432000 4194304 4196468 140736418849488 140541262736144 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25476] ppid=25459 vsize=14092996 memory=0 CPUtime=0.79 cores=0,2,4,6
/proc/25466/task/25476/stat : 25476 (java) S 25459 25466 21905 0 -1 1077944384 1458 0 0 0 61 18 0 0 20 0 15 0 249945713 14431227904 975044 33554432000 4194304 4196468 140736418849488 140541261683856 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25477] ppid=25459 vsize=14092996 memory=132 CPUtime=0.81 cores=0,2,4,6
/proc/25466/task/25477/stat : 25477 (java) S 25459 25466 21905 0 -1 1077944384 3159 0 0 0 63 18 0 0 20 0 15 0 249945713 14431227904 975044 33554432000 4194304 4196468 140736418849488 140541260631056 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25479] ppid=25459 vsize=14092996 memory=3895896 CPUtime=0.17 cores=0,2,4,6
/proc/25466/task/25479/stat : 25479 (java) S 25459 25466 21905 0 -1 1077944384 4046 0 0 0 17 0 0 0 20 0 15 0 249945714 14431227904 975044 33554432000 4194304 4196468 140736418849488 140541210609776 140541668440706 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25480] ppid=25459 vsize=14092996 memory=3895916 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25480/stat : 25480 (java) S 25459 25466 21905 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 249945715 14431227904 975044 33554432000 4194304 4196468 140736418849488 140541209555808 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25482] ppid=25459 vsize=14092996 memory=1671784 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25482/stat : 25482 (java) S 25459 25466 21905 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 249945715 14431227904 975044 33554432000 4194304 4196468 140736418849488 140541208503424 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25484] ppid=25459 vsize=14092996 memory=280639069715664 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25484/stat : 25484 (java) S 25459 25466 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249945717 14431227904 975044 33554432000 4194304 4196468 140736418849488 140541207451728 140541668448155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25485] ppid=25459 vsize=14092996 memory=2148 CPUtime=3.41 cores=0,2,4,6
/proc/25466/task/25485/stat : 25485 (java) S 25459 25466 21905 0 -1 1077944384 10298 0 0 0 339 2 0 0 20 0 15 0 249945717 14431227904 975044 33554432000 4194304 4196468 140736418849488 140541206399600 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25486] ppid=25459 vsize=14092996 memory=1196 CPUtime=3.27 cores=0,2,4,6
/proc/25466/task/25486/stat : 25486 (java) S 25459 25466 21905 0 -1 1077944384 8810 0 0 0 325 2 0 0 20 0 15 0 249945717 14431227904 975044 33554432000 4194304 4196468 140736418849488 140541205346800 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25488] ppid=25459 vsize=14092996 memory=33 CPUtime=1.28 cores=0,2,4,6
/proc/25466/task/25488/stat : 25488 (java) S 25459 25466 21905 0 -1 1077944384 10421 0 0 0 126 2 0 0 20 0 15 0 249945717 14431227904 975044 33554432000 4194304 4196468 140736418849488 140541204294512 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 43 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25492] ppid=25459 vsize=14092996 memory=5787213827181732953 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25492/stat : 25492 (java) S 25459 25466 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249945717 14431227904 975044 33554432000 4194304 4196468 140736418849488 140541203241952 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25494] ppid=25459 vsize=14092996 memory=56 CPUtime=0.06 cores=0,2,4,6
/proc/25466/task/25494/stat : 25494 (java) S 25459 25466 21905 0 -1 1077944384 360 0 0 0 3 3 0 0 20 0 15 0 249945718 14431227904 975044 33554432000 4194304 4196468 140736418849488 140541202188720 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 114 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
Current children cumulated CPU time: 112.35 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 3900176 KiB

[startup+162.301 s]
/proc/loadavg: 1.80 1.42 1.41 4/218 25497
/proc/meminfo: memFree=20260684/32770624 swapFree=67108172/67108860
[pid=25466] ppid=25459 vsize=14092996 memory=3954308 CPUtime=172.53 cores=0,2,4,6
/proc/25466/stat : 25466 (java) S 25459 25466 21905 0 -1 1077944320 89335 0 0 0 17110 143 0 0 20 0 15 0 249945712 14431227904 988577 33554432000 4194304 4196468 140736418849488 140736418832032 140541668429559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
/proc/25466/statm: 3523249 988577 3624 1 0 3485321 0
[pid=25466/tid=25469] ppid=25459 vsize=14092996 memory=3948080 CPUtime=160.81 cores=0,2,4,6
/proc/25466/task/25469/stat : 25469 (java) R 25459 25466 21905 0 -1 4202560 41978 0 0 0 16026 55 0 0 20 0 15 0 249945712 14431227904 988577 33554432000 4194304 4196468 140736418849488 140541672665080 140541284714447 0 4 0 16800975 0 0 0 -1 2 0 0 40 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25474] ppid=25459 vsize=14092996 memory=3954308 CPUtime=0.83 cores=0,2,4,6
/proc/25466/task/25474/stat : 25474 (java) S 25459 25466 21905 0 -1 1077944384 2619 0 0 0 65 18 0 0 20 0 15 0 249945713 14431227904 988577 33554432000 4194304 4196468 140736418849488 140541263788944 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25475] ppid=25459 vsize=14092996 memory=3954308 CPUtime=0.84 cores=0,2,4,6
/proc/25466/task/25475/stat : 25475 (java) S 25459 25466 21905 0 -1 1077944384 1796 0 0 0 65 19 0 0 20 0 15 0 249945713 14431227904 988577 33554432000 4194304 4196468 140736418849488 140541262736144 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25476] ppid=25459 vsize=14092996 memory=3954308 CPUtime=0.82 cores=0,2,4,6
/proc/25466/task/25476/stat : 25476 (java) S 25459 25466 21905 0 -1 1077944384 1521 0 0 0 63 19 0 0 20 0 15 0 249945713 14431227904 988577 33554432000 4194304 4196468 140736418849488 140541261683856 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25477] ppid=25459 vsize=14092996 memory=3954308 CPUtime=0.84 cores=0,2,4,6
/proc/25466/task/25477/stat : 25477 (java) S 25459 25466 21905 0 -1 1077944384 3252 0 0 0 66 18 0 0 20 0 15 0 249945713 14431227904 988577 33554432000 4194304 4196468 140736418849488 140541260631056 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25479] ppid=25459 vsize=14092996 memory=164 CPUtime=0.18 cores=0,2,4,6
/proc/25466/task/25479/stat : 25479 (java) S 25459 25466 21905 0 -1 1077944384 4275 0 0 0 18 0 0 0 20 0 15 0 249945714 14431227904 988577 33554432000 4194304 4196468 140736418849488 140541210609776 140541668440706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25480] ppid=25459 vsize=14092996 memory=3954308 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25480/stat : 25480 (java) S 25459 25466 21905 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 249945715 14431227904 988577 33554432000 4194304 4196468 140736418849488 140541209555808 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25482] ppid=25459 vsize=14092996 memory=-8412656567318647667 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25482/stat : 25482 (java) S 25459 25466 21905 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 249945715 14431227904 988577 33554432000 4194304 4196468 140736418849488 140541208503424 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25484] ppid=25459 vsize=14092996 memory=3954308 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25484/stat : 25484 (java) S 25459 25466 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249945717 14431227904 988577 33554432000 4194304 4196468 140736418849488 140541207451728 140541668448155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25485] ppid=25459 vsize=14092996 memory=3954308 CPUtime=3.43 cores=0,2,4,6
/proc/25466/task/25485/stat : 25485 (java) S 25459 25466 21905 0 -1 1077944384 11130 0 0 0 341 2 0 0 20 0 15 0 249945717 14431227904 988577 33554432000 4194304 4196468 140736418849488 140541206399600 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25486] ppid=25459 vsize=14092996 memory=3954308 CPUtime=3.3 cores=0,2,4,6
/proc/25466/task/25486/stat : 25486 (java) S 25459 25466 21905 0 -1 1077944384 9899 0 0 0 328 2 0 0 20 0 15 0 249945717 14431227904 988577 33554432000 4194304 4196468 140736418849488 140541205346800 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25488] ppid=25459 vsize=14092996 memory=3954308 CPUtime=1.29 cores=0,2,4,6
/proc/25466/task/25488/stat : 25488 (java) S 25459 25466 21905 0 -1 1077944384 11022 0 0 0 127 2 0 0 20 0 15 0 249945717 14431227904 988577 33554432000 4194304 4196468 140736418849488 140541204294512 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 43 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25492] ppid=25459 vsize=14092996 memory=3752 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25492/stat : 25492 (java) S 25459 25466 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249945717 14431227904 988577 33554432000 4194304 4196468 140736418849488 140541203241952 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25494] ppid=25459 vsize=14092996 memory=67988 CPUtime=0.09 cores=0,2,4,6
/proc/25466/task/25494/stat : 25494 (java) S 25459 25466 21905 0 -1 1077944384 398 0 0 0 5 4 0 0 20 0 15 0 249945718 14431227904 988577 33554432000 4194304 4196468 140736418849488 140541202188720 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 114 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
Current children cumulated CPU time: 172.53 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 3954308 KiB

[startup+222.301 s]
/proc/loadavg: 1.55 1.41 1.41 5/218 25498
/proc/meminfo: memFree=20176840/32770624 swapFree=67108172/67108860
[pid=25466] ppid=25459 vsize=14092996 memory=4038912 CPUtime=232.73 cores=0,2,4,6
/proc/25466/stat : 25466 (java) S 25459 25466 21905 0 -1 1077944320 100714 0 0 0 23123 150 0 0 20 0 15 0 249945712 14431227904 1009728 33554432000 4194304 4196468 140736418849488 140736418832032 140541668429559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
/proc/25466/statm: 3523249 1009728 3625 1 0 3485321 0
[pid=25466/tid=25469] ppid=25459 vsize=14092996 memory=4016384 CPUtime=220.76 cores=0,2,4,6
/proc/25466/task/25469/stat : 25469 (java) R 25459 25466 21905 0 -1 4202560 47375 0 0 0 22020 56 0 0 20 0 15 0 249945712 14431227904 1009728 33554432000 4194304 4196468 140736418849488 140541672667152 140541284713990 0 4 0 16800975 0 0 0 -1 2 0 0 40 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25474] ppid=25459 vsize=14092996 memory=3983404 CPUtime=0.87 cores=0,2,4,6
/proc/25466/task/25474/stat : 25474 (java) S 25459 25466 21905 0 -1 1077944384 2986 0 0 0 68 19 0 0 20 0 15 0 249945713 14431227904 1009728 33554432000 4194304 4196468 140736418849488 140541263788944 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25475] ppid=25459 vsize=14092996 memory=4008156 CPUtime=0.87 cores=0,2,4,6
/proc/25466/task/25475/stat : 25475 (java) S 25459 25466 21905 0 -1 1077944384 2606 0 0 0 67 20 0 0 20 0 15 0 249945713 14431227904 1009728 33554432000 4194304 4196468 140736418849488 140541262736144 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25476] ppid=25459 vsize=14092996 memory=4008160 CPUtime=0.86 cores=0,2,4,6
/proc/25466/task/25476/stat : 25476 (java) S 25459 25466 21905 0 -1 1077944384 1699 0 0 0 66 20 0 0 20 0 15 0 249945713 14431227904 1009728 33554432000 4194304 4196468 140736418849488 140541261683856 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25477] ppid=25459 vsize=14092996 memory=4016384 CPUtime=0.87 cores=0,2,4,6
/proc/25466/task/25477/stat : 25477 (java) S 25459 25466 21905 0 -1 1077944384 3431 0 0 0 68 19 0 0 20 0 15 0 249945713 14431227904 1009728 33554432000 4194304 4196468 140736418849488 140541260631056 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25479] ppid=25459 vsize=14092996 memory=4016384 CPUtime=0.18 cores=0,2,4,6
/proc/25466/task/25479/stat : 25479 (java) S 25459 25466 21905 0 -1 1077944384 4506 0 0 0 18 0 0 0 20 0 15 0 249945714 14431227904 1009728 33554432000 4194304 4196468 140736418849488 140541210609776 140541668440706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25480] ppid=25459 vsize=14092996 memory=4038912 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25480/stat : 25480 (java) S 25459 25466 21905 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 249945715 14431227904 1009728 33554432000 4194304 4196468 140736418849488 140541209555808 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25482] ppid=25459 vsize=14092996 memory=4038912 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25482/stat : 25482 (java) S 25459 25466 21905 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 249945715 14431227904 1009728 33554432000 4194304 4196468 140736418849488 140541208503424 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25484] ppid=25459 vsize=14092996 memory=4038912 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25484/stat : 25484 (java) S 25459 25466 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249945717 14431227904 1009728 33554432000 4194304 4196468 140736418849488 140541207451728 140541668448155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25485] ppid=25459 vsize=14092996 memory=4038912 CPUtime=3.44 cores=0,2,4,6
/proc/25466/task/25485/stat : 25485 (java) S 25459 25466 21905 0 -1 1077944384 11605 0 0 0 342 2 0 0 20 0 15 0 249945717 14431227904 1009728 33554432000 4194304 4196468 140736418849488 140541206399600 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 43 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25486] ppid=25459 vsize=14092996 memory=4038912 CPUtime=3.32 cores=0,2,4,6
/proc/25466/task/25486/stat : 25486 (java) S 25459 25466 21905 0 -1 1077944384 10523 0 0 0 329 3 0 0 20 0 15 0 249945717 14431227904 1009728 33554432000 4194304 4196468 140736418849488 140541205346800 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25488] ppid=25459 vsize=14092996 memory=6791534058613427641 CPUtime=1.32 cores=0,2,4,6
/proc/25466/task/25488/stat : 25488 (java) S 25459 25466 21905 0 -1 1077944384 14109 0 0 0 130 2 0 0 20 0 15 0 249945717 14431227904 1009728 33554432000 4194304 4196468 140736418849488 140541204294512 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 43 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25492] ppid=25459 vsize=14092996 memory=1600 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25492/stat : 25492 (java) S 25459 25466 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249945717 14431227904 1009728 33554432000 4194304 4196468 140736418849488 140541203241952 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25494] ppid=25459 vsize=14092996 memory=4016384 CPUtime=0.13 cores=0,2,4,6
/proc/25466/task/25494/stat : 25494 (java) S 25459 25466 21905 0 -1 1077944384 429 0 0 0 7 6 0 0 20 0 15 0 249945718 14431227904 1009728 33554432000 4194304 4196468 140736418849488 140541202188720 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 114 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
Current children cumulated CPU time: 232.73 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4038912 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+241.601 s]
/proc/loadavg: 1.54 1.41 1.41 4/218 25499
/proc/meminfo: memFree=20121144/32770624 swapFree=67108172/67108860
[pid=25466] ppid=25459 vsize=14092996 memory=4045284 CPUtime=252.07 cores=0,2,4,6
/proc/25466/stat : 25466 (java) S 25459 25466 21905 0 -1 1077944320 102287 0 0 0 25056 151 0 0 20 0 15 0 249945712 14431227904 1011321 33554432000 4194304 4196468 140736418849488 140736418832032 140541668429559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
/proc/25466/statm: 3523249 1011321 3625 1 0 3485321 0
[pid=25466/tid=25469] ppid=25459 vsize=14092996 memory=2296 CPUtime=240.06 cores=0,2,4,6
/proc/25466/task/25469/stat : 25469 (java) R 25459 25466 21905 0 -1 4202560 48616 0 0 0 23950 56 0 0 20 0 15 0 249945712 14431227904 1011321 33554432000 4194304 4196468 140736418849488 140541672667184 140541284713430 0 4 0 16800975 0 0 0 -1 2 0 0 40 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25474] ppid=25459 vsize=14092996 memory=6791534058613427641 CPUtime=0.87 cores=0,2,4,6
/proc/25466/task/25474/stat : 25474 (java) S 25459 25466 21905 0 -1 1077944384 2989 0 0 0 68 19 0 0 20 0 15 0 249945713 14431227904 1011321 33554432000 4194304 4196468 140736418849488 140541263788944 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25475] ppid=25459 vsize=14092996 memory=4045284 CPUtime=0.88 cores=0,2,4,6
/proc/25466/task/25475/stat : 25475 (java) S 25459 25466 21905 0 -1 1077944384 2708 0 0 0 68 20 0 0 20 0 15 0 249945713 14431227904 1011321 33554432000 4194304 4196468 140736418849488 140541262736144 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25476] ppid=25459 vsize=14092996 memory=1136 CPUtime=0.86 cores=0,2,4,6
/proc/25466/task/25476/stat : 25476 (java) S 25459 25466 21905 0 -1 1077944384 1702 0 0 0 66 20 0 0 20 0 15 0 249945713 14431227904 1011321 33554432000 4194304 4196468 140736418849488 140541261683856 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25477] ppid=25459 vsize=14092996 memory=1808 CPUtime=0.88 cores=0,2,4,6
/proc/25466/task/25477/stat : 25477 (java) S 25459 25466 21905 0 -1 1077944384 3435 0 0 0 69 19 0 0 20 0 15 0 249945713 14431227904 1011321 33554432000 4194304 4196468 140736418849488 140541260631056 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25479] ppid=25459 vsize=14092996 memory=1196 CPUtime=0.18 cores=0,2,4,6
/proc/25466/task/25479/stat : 25479 (java) S 25459 25466 21905 0 -1 1077944384 4507 0 0 0 18 0 0 0 20 0 15 0 249945714 14431227904 1011321 33554432000 4194304 4196468 140736418849488 140541210609776 140541668440706 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25480] ppid=25459 vsize=14092996 memory=1500 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25480/stat : 25480 (java) S 25459 25466 21905 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 249945715 14431227904 1011321 33554432000 4194304 4196468 140736418849488 140541209555808 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25482] ppid=25459 vsize=14092996 memory=844 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25482/stat : 25482 (java) S 25459 25466 21905 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 249945715 14431227904 1011321 33554432000 4194304 4196468 140736418849488 140541208503424 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25484] ppid=25459 vsize=14092996 memory=3880 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25484/stat : 25484 (java) S 25459 25466 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249945717 14431227904 1011321 33554432000 4194304 4196468 140736418849488 140541207451728 140541668448155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25485] ppid=25459 vsize=14092996 memory=2672 CPUtime=3.44 cores=0,2,4,6
/proc/25466/task/25485/stat : 25485 (java) S 25459 25466 21905 0 -1 1077944384 11613 0 0 0 342 2 0 0 20 0 15 0 249945717 14431227904 1011321 33554432000 4194304 4196468 140736418849488 140541206399600 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 43 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25486] ppid=25459 vsize=14092996 memory=1992 CPUtime=3.33 cores=0,2,4,6
/proc/25466/task/25486/stat : 25486 (java) S 25459 25466 21905 0 -1 1077944384 10524 0 0 0 330 3 0 0 20 0 15 0 249945717 14431227904 1011321 33554432000 4194304 4196468 140736418849488 140541205346800 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25488] ppid=25459 vsize=14092996 memory=2236 CPUtime=1.33 cores=0,2,4,6
/proc/25466/task/25488/stat : 25488 (java) S 25459 25466 21905 0 -1 1077944384 14317 0 0 0 131 2 0 0 20 0 15 0 249945717 14431227904 1011321 33554432000 4194304 4196468 140736418849488 140541204294512 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 43 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25492] ppid=25459 vsize=14092996 memory=3752 CPUtime=0 cores=0,2,4,6
/proc/25466/task/25492/stat : 25492 (java) S 25459 25466 21905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249945717 14431227904 1011321 33554432000 4194304 4196468 140736418849488 140541203241952 140541668439765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
[pid=25466/tid=25494] ppid=25459 vsize=14092996 memory=67988 CPUtime=0.13 cores=0,2,4,6
/proc/25466/task/25494/stat : 25494 (java) S 25459 25466 21905 0 -1 1077944384 431 0 0 0 7 6 0 0 20 0 15 0 249945718 14431227904 1011321 33554432000 4194304 4196468 140736418849488 140541202188720 140541668440706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 114 0 0 6293624 6294260 36483072 140736418853978 140736418854158 140736418854158 140736418856911 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 14092996 KiB
Current children cumulated memory: 4045284 KiB

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

[startup+241.644 s]
# the end of solver process 25466 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.587 s, system=1.53858 s

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

Child status: 143
Real time (s): 241.644
CPU time (s): 252.125
CPU user time (s): 250.587
CPU system time (s): 1.53858
CPU usage (%): 104.337
Max. virtual memory (cumulated for all children) (KiB): 14092996
Max. memory (cumulated for all children) (KiB): 4045284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.587
system time used= 1.53858
maximum resident set size= 4045856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102856
page faults= 0
swaps= 0
block input operations= 0
block output operations= 432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10712
involuntary context switches= 419


# summary of solver processes directly reported to runsolver:
#   pid: 25466
#   total CPU time (s): 252.125
#   total CPU user time (s): 250.587
#   total CPU system time (s): 1.53858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.41445 second user time and 2.27486 second system time

The end

Name	StillLife/ StillLife-wastage-30_c18.xml
MD5SUM	bc7ca4ef6af3dcde4f5a5d75f0a5d481
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	396
Best CPU time to get the best result obtained on this benchmark	252.181
Satisfiable
(Un)Satisfiability was proved
Number of variables	2081
Number of constraints	1208
Number of domains	4
Minimum domain size	2
Maximum domain size	2049
Distribution of domain sizes	[{"size":2,"count":1024},{"size":3,"count":1024},{"size":901,"count":1},{"size":2049,"count":32}]
Minimum variable degree	1
Maximum variable degree	33
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":1021},{"degree":3,"count":35},{"degree":4,"count":120},{"degree":8,"count":116},{"degree":9,"count":784},{"degree":33,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	34
Distribution of constraint arities	[{"arity":2,"count":152},{"arity":3,"count":120},{"arity":10,"count":900},{"arity":32,"count":4},{"arity":33,"count":1},{"arity":34,"count":31}]
Number of extensional constraints	1020
Number of intensional constraints	151
Distribution of constraint types	[{"type":"extension","count":1020},{"type":"intension","count":151},{"type":"sum","count":33},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4310245

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