2017 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Hybrid 2017-07-26	SAT (TO)	363	250.189	240.04601

0.26/0.36	c version: 2017-07-26
0.26/0.36	c seed: 1962741335
0.26/0.37	c timeout: 264
0.26/0.37	c memlimit: 11000
0.26/0.37	c nbcore: 4
0.26/0.39	c Parsing instance...
4.64/2.05	c Parsing done, starting first complete search...
6.58/2.93	o 239
6.58/2.94	o 240
6.58/2.94	o 241
6.58/2.94	o 242
6.58/2.94	o 243
6.58/2.95	o 244
6.58/2.95	o 245
6.58/2.95	o 246
6.58/2.95	o 247
6.58/2.96	o 248
6.58/2.96	o 249
6.58/2.96	o 250
6.58/2.97	o 251
6.58/2.97	o 252
6.58/2.97	o 253
6.58/2.97	o 254
6.58/2.97	o 255
6.58/2.97	o 256
6.58/2.97	o 257
6.58/2.98	o 258
6.58/2.98	o 259
6.58/2.98	o 260
6.58/2.98	o 261
6.58/2.98	o 262
6.58/2.98	o 263
6.58/2.98	o 264
6.58/2.99	o 265
6.58/2.99	o 266
6.58/2.99	o 267
6.58/2.99	o 268
6.58/2.99	o 269
6.58/2.99	o 270
6.58/2.99	o 271
6.58/3.00	o 272
6.58/3.00	o 273
6.87/3.00	o 274
6.87/3.00	o 275
6.87/3.00	o 276
6.87/3.01	o 277
6.87/3.01	o 278
6.87/3.01	o 279
6.87/3.01	o 280
6.87/3.01	o 281
6.87/3.01	o 282
6.87/3.02	o 283
6.87/3.02	o 284
6.87/3.02	o 285
6.87/3.03	o 286
6.87/3.04	o 287
6.87/3.04	o 288
6.87/3.05	o 289
6.87/3.05	o 290
7.18/3.34	o 291
11.18/6.31	c First complete search done, starting ALNS search...
30.64/24.18	o 292
52.25/45.21	o 294
125.50/117.52	o 295
126.90/118.90	o 296
162.81/154.60	o 297
166.76/158.40	o 303
173.46/165.06	o 304
195.03/186.40	c ALNS done, starting second complete search
195.03/186.40	c Best operator: KSuccessive(587)_WeightDeg(Min) with improvement of: 6
227.45/218.05	o 354
235.32/225.66	o 355
235.43/225.78	o 356
236.86/227.15	o 357
239.00/229.20	o 358
239.22/229.44	o 359
244.28/234.38	o 360
244.48/234.53	o 361
245.99/236.07	o 362
248.58/238.55	o 363
250.13/240.01	s SATISFIABLE
250.13/240.01	v <instantiation>
250.13/240.01	v 	<list>
250.13/240.01	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[0][32] x[0][33] 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[1][32] x[1][33] 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[2][32] x[2][33] 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[3][32] x[3][33] 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[4][32] x[4][33] 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[5][32] x[5][33] 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[6][32] x[6][33] 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[7][32] x[7][33] 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[8][32] x[8][33] 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[9][32] x[9][33] 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[10][32] x[10][33] 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[11][32] x[11][33] 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[12][32] x[12][33] 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[13][32] x[13][33] 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[14][32] x[14][33] 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[15][32] x[15][33] 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[16][32] x[16][33] 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[17][32] x[17][33] 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[18][32] x[18][33] 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[19][32] x[19][33] 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[20][32] x[20][33] 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[21][32] x[21][33] 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[22][32] x[22][33] 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[23][32] x[23][33] 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[24][32] x[24][33] 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[25][32] x[25][33] 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[26][32] x[26][33] 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[27][32] x[27][33] 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[28][32] x[28][33] 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[29][32] x[29][33] 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[30][32] x[30][33] 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] x[31][32] x[31][33] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] 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[0][32] w[0][33] 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[1][32] w[1][33] 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[2][32] w[2][33] 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[3][32] w[3][33] 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[4][32] w[4][33] 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[5][32] w[5][33] 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[6][32] w[6][33] 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[7][32] w[7][33] 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[8][32] w[8][33] 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[9][32] w[9][33] 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[10][32] w[10][33] 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[11][32] w[11][33] 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[12][32] w[12][33] 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[13][32] w[13][33] 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[14][32] w[14][33] 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[15][32] w[15][33] 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[16][32] w[16][33] 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[17][32] w[17][33] 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[18][32] w[18][33] 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[19][32] w[19][33] 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[20][32] w[20][33] 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[21][32] w[21][33] 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[22][32] w[22][33] 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[23][32] w[23][33] 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[24][32] w[24][33] 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[25][32] w[25][33] 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[26][32] w[26][33] 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[27][32] w[27][33] 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[28][32] w[28][33] 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[29][32] w[29][33] 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[30][32] w[30][33] 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] w[31][32] w[31][33] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] 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] ws[32] ws[33] z
250.13/240.01	v 	</list>
250.13/240.01	v 	<values>
250.13/240.01	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 1 0 0 0 0 0 1 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 1 0 0 0 1 1 0 1 0 0 1 1 1 0 0 1 0 1 0 1 1 0 1 1 1 1 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 0 0 1 0 1 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 0 0 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 0 1 0 0 0 1 1 1 1 0 0 0 1 1 1 0 0 1 1 1 0 1 1 0 0 0 0 0 1 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 0 1 0 1 0 1 1 1 0 0 0 0 0 0 1 1 1 1 1 0 1 0 1 1 0 0 1 1 0 0 0 0 1 1 1 0 1 0 1 0 0 0 1 1 1 1 1 1 0 0 0 0 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 0 1 0 1 0 1 0 1 1 1 1 1 0 0 1 0 1 0 1 1 1 1 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 1 0 1 0 1 0 0 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 1 1 1 0 1 0 1 0 1 0 1 0 0 1 1 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 1 1 1 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 1 0 0 1 0 0 1 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 0 0 1 0 1 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 1 1 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 0 0 0 1 1 0 1 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 1 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 0 1 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 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 1 1 1 0 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 0 0 0 0 1 0 1 2 2 1 0 0 0 0 1 1 1 0 1 1 2 0 1 0 2 1 1 2 1 0 0 0 1 1 1 0 0 0 0 0 1 0 2 1 0 0 0 0 0 0 1 0 0 1 1 1 2 1 0 1 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 2 0 2 1 1 2 0 1 0 0 0 0 2 2 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 1 1 1 2 1 0 0 0 1 0 0 1 2 0 1 0 1 0 0 0 0 0 0 0 0 0 2 1 0 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 1 0 2 0 0 0 1 0 1 0 0 0 0 0 1 1 1 1 1 2 1 1 2 2 0 0 0 0 0 0 1 0 0 1 0 1 1 1 1 0 0 0 0 1 0 1 0 1 0 1 1 1 1 2 2 2 2 2 1 1 0 0 0 0 0 0 1 0 1 0 1 2 0 2 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 2 1 1 2 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 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 2 2 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 1 1 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 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 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 1 0 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 2 1 1 0 0 2 0 1 1 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 1 0 0 1 0 0 1 0 1 2 2 1 1 0 0 0 0 0 0 1 1 0 2 0 1 0 1 0 1 2 0 1 0 0 1 0 0 0 1 0 0 0 1 2 2 1 0 1 0 0 0 1 0 0 1 2 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 2 2 2 1 1 1 0 1 0 0 1 1 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 1 1 0 1 1 0 0 0 0 0 0 1 0 2 1 1 0 1 1 0 1 0 0 0 1 0 1 0 1 2 2 2 2 2 2 0 1 0 0 0 0 0 1 1 0 1 1 2 2 1 1 0 0 0 0 1 0 0 1 2 1 1 1 2 2 2 2 2 2 2 1 1 1 0 0 1 1 1 1 0 1 0 2 1 0 0 0 0 0 0 0 1 1 2 2 1 1 2 2 2 2 2 2 2 2 2 0 1 0 0 1 1 0 0 0 1 1 2 1 1 0 1 1 1 1 0 1 1 2 1 1 2 2 2 2 2 2 2 2 2 2 1 1 0 1 1 0 1 0 1 1 2 2 0 1 0 2 1 0 0 0 1 2 1 1 2 2 2 2 2 2 2 2 2 2 2 1 0 0 0 1 0 1 0 1 2 1 1 2 0 0 1 0 0 0 1 0 1 1 2 2 2 2 2 2 2 2 2 2 2 1 1 0 0 0 0 0 0 1 0 2 0 0 0 0 0 0 0 1 0 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 1 0 1 1 0 0 0 0 1 1 2 1 1 2 1 1 0 1 0 1 0 1 2 2 2 2 2 2 2 2 2 2 2 2 1 1 0 0 0 1 0 1 0 1 1 2 2 2 2 1 1 0 2 0 1 1 2 2 2 2 2 2 2 2 1 1 2 1 1 0 0 1 0 0 2 1 1 0 1 0 2 2 2 1 0 0 0 2 1 1 2 2 2 2 2 2 2 1 0 0 0 0 0 0 0 0 0 0 2 2 0 0 2 0 1 2 2 2 1 1 2 2 1 1 2 2 2 2 2 2 2 1 1 0 0 0 0 0 1 0 0 1 1 2 2 0 0 0 1 2 2 2 2 2 2 2 1 0 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 1 0 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 22 47 61 78 94 108 129 151 161 168 171 177 184 187 189 193 200 218 237 254 270 295 325 358 395 435 471 501 541 585 624 660 700 724 363 
250.13/240.01	v 	</values>
250.13/240.01	v </instantiation>

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4256833-1501626313/watcher-4256833-1501626313 -o /tmp/evaluation-result-4256833-1501626313/solver-4256833-1501626313 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501623086-29848 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1962741335 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4256833-1501626313.xml 

pid=31679
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.70 1.63 1.63 3/200 31682
/proc/meminfo: memFree=28876820/32770624 swapFree=0/222460
[pid=31682] ppid=31679 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/31682/stat : 31682 (runsolver) D 31679 31682 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 62284775 24240128 106 18446744073709551615 4194304 4338465 140722047490640 140722047488280 140711654134487 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 25960448 140722047492201 140722047492677 140722047492677 140722047496138 0
/proc/31682/statm: 5918 106 53 36 0 2156 0

[startup+0.100108 s]
/proc/loadavg: 1.70 1.63 1.63 3/200 31682
/proc/meminfo: memFree=28876820/32770624 swapFree=0/222460
[pid=31682] ppid=31679 vsize=13440536 CPUtime=0.01 cores=1,3,5,7
/proc/31682/stat : 31682 (java) S 31679 31682 18930 0 -1 1077944320 3595 0 0 0 1 0 0 0 20 0 7 0 62284775 13763108864 3761 18446744073709551615 4194304 4196468 140731218560880 140731218543424 140062671417079 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
/proc/31682/statm: 3360134 3761 1974 1 0 3349639 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13440536

[startup+0.203219 s]
/proc/loadavg: 1.70 1.63 1.63 3/200 31682
/proc/meminfo: memFree=28876820/32770624 swapFree=0/222460
[pid=31682] ppid=31679 vsize=13975920 CPUtime=0.1 cores=1,3,5,7
/proc/31682/stat : 31682 (java) S 31679 31682 18930 0 -1 1077944320 6784 0 0 0 10 0 0 0 20 0 15 0 62284775 14311342080 7999 18446744073709551615 4194304 4196468 140731218560880 140731218543424 140062671417079 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
/proc/31682/statm: 3493980 7999 3377 1 0 3482767 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13975920

[startup+0.301348 s]
/proc/loadavg: 1.70 1.63 1.63 3/200 31682
/proc/meminfo: memFree=28876820/32770624 swapFree=0/222460
[pid=31682] ppid=31679 vsize=13975920 CPUtime=0.26 cores=1,3,5,7
/proc/31682/stat : 31682 (java) S 31679 31682 18930 0 -1 1077944320 10473 0 0 0 24 2 0 0 20 0 15 0 62284775 14311342080 10180 18446744073709551615 4194304 4196468 140731218560880 140731218543424 140062671417079 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
/proc/31682/statm: 3493980 10180 3520 1 0 3482767 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13975920

[startup+0.700244 s]
/proc/loadavg: 1.70 1.63 1.63 3/200 31682
/proc/meminfo: memFree=28876820/32770624 swapFree=0/222460
[pid=31682] ppid=31679 vsize=13977988 CPUtime=1.15 cores=1,3,5,7
/proc/31682/stat : 31682 (java) S 31679 31682 18930 0 -1 1077944320 13735 0 0 0 111 4 0 0 20 0 15 0 62284775 14313459712 18059 18446744073709551615 4194304 4196468 140731218560880 140731218543424 140062671417079 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
/proc/31682/statm: 3494497 18059 3725 1 0 3483279 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 13977988

[startup+1.50129 s]
/proc/loadavg: 1.70 1.63 1.63 7/215 31697
/proc/meminfo: memFree=28778712/32770624 swapFree=0/222408
[pid=31682] ppid=31679 vsize=13982084 CPUtime=3.6 cores=1,3,5,7
/proc/31682/stat : 31682 (java) S 31679 31682 18930 0 -1 1077944320 31227 0 0 0 350 10 0 0 20 0 15 0 62284775 14317654016 53013 18446744073709551615 4194304 4196468 140731218560880 140731218543424 140062671417079 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
/proc/31682/statm: 3495521 53013 3759 1 0 3484303 0
[pid=31682/tid=31684] ppid=31679 vsize=13982084 CPUtime=1.36 cores=1,3,5,7
/proc/31682/task/31684/stat : 31684 (java) S 31679 31682 18930 0 -1 1077944384 15107 0 0 0 130 6 0 0 20 0 15 0 62284783 14317654016 53013 18446744073709551615 4194304 4196468 140731218560880 140062675651168 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31685] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31685/stat : 31685 (java) S 31679 31682 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62284784 14317654016 53013 18446744073709551615 4194304 4196468 140731218560880 140062643260304 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31686] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31686/stat : 31686 (java) R 31679 31682 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 62284784 14317654016 53013 18446744073709551615 4194304 4196468 140731218560880 140062270417680 140062671427285 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31687] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31687/stat : 31687 (java) R 31679 31682 18930 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 15 0 62284784 14317654016 53013 18446744073709551615 4194304 4196468 140731218560880 140062269365392 140062656444211 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31688] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31688/stat : 31688 (java) R 31679 31682 18930 0 -1 4202560 20 0 0 0 0 0 0 0 20 0 15 0 62284784 14317654016 53013 18446744073709551615 4194304 4196468 140731218560880 140062268312592 140062663658469 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31689] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31689/stat : 31689 (java) S 31679 31682 18930 0 -1 1077944384 407 0 0 0 0 0 0 0 20 0 15 0 62284785 14317654016 53013 18446744073709551615 4194304 4196468 140731218560880 140062149776032 140062671427285 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31690] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31690/stat : 31690 (java) S 31679 31682 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 62284785 14317654016 53013 18446744073709551615 4194304 4196468 140731218560880 140062148723488 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31691] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31691/stat : 31691 (java) S 31679 31682 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 62284786 14317654016 53013 18446744073709551615 4194304 4196468 140731218560880 140062147671152 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31692] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31692/stat : 31692 (java) S 31679 31682 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62284788 14317654016 53013 18446744073709551615 4194304 4196468 140731218560880 140062146619472 140062671435675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31693] ppid=31679 vsize=13982084 CPUtime=0.77 cores=1,3,5,7
/proc/31682/task/31693/stat : 31693 (java) S 31679 31682 18930 0 -1 1077944384 3391 0 0 0 76 1 0 0 20 0 15 0 62284788 14317654016 53014 18446744073709551615 4194304 4196468 140731218560880 140062145547152 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31694] ppid=31679 vsize=13982084 CPUtime=0.72 cores=1,3,5,7
/proc/31682/task/31694/stat : 31694 (java) R 31679 31682 18930 0 -1 4202560 4468 0 0 0 72 0 0 0 20 0 15 0 62284788 14317654016 53014 18446744073709551615 4194304 4196468 140731218560880 140062144500424 140062651105515 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31695] ppid=31679 vsize=13982084 CPUtime=0.73 cores=1,3,5,7
/proc/31682/task/31695/stat : 31695 (java) S 31679 31682 18930 0 -1 1077944384 6455 0 0 0 71 2 0 0 20 0 15 0 62284788 14317654016 53014 18446744073709551615 4194304 4196468 140731218560880 140062143462256 140062671428226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31696] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31696/stat : 31696 (java) S 31679 31682 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62284788 14317654016 53014 18446744073709551615 4194304 4196468 140731218560880 140062142409696 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31697] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31697/stat : 31697 (java) S 31679 31682 18930 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 62284792 14317654016 53014 18446744073709551615 4194304 4196468 140731218560880 140062141356464 140062671428226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 13982084

[startup+3.10129 s]
/proc/loadavg: 1.72 1.63 1.63 5/215 31697
/proc/meminfo: memFree=28529156/32770624 swapFree=0/222408
[pid=31682] ppid=31679 vsize=13982084 CPUtime=7.18 cores=1,3,5,7
/proc/31682/stat : 31682 (java) S 31679 31682 18930 0 -1 1077944320 35296 0 0 0 698 20 0 0 20 0 15 0 62284775 14317654016 109831 18446744073709551615 4194304 4196468 140731218560880 140731218543424 140062671417079 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
/proc/31682/statm: 3495521 109831 3803 1 0 3484303 0
[pid=31682/tid=31684] ppid=31679 vsize=13982084 CPUtime=2.86 cores=1,3,5,7
/proc/31682/task/31684/stat : 31684 (java) R 31679 31682 18930 0 -1 4202560 15652 0 0 0 279 7 0 0 20 0 15 0 62284783 14317654016 109831 18446744073709551615 4194304 4196468 140731218560880 140062675652432 140062316037412 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31685] ppid=31679 vsize=13982084 CPUtime=0.05 cores=1,3,5,7
/proc/31682/task/31685/stat : 31685 (java) S 31679 31682 18930 0 -1 1077944384 119 0 0 0 4 1 0 0 20 0 15 0 62284784 14317654016 109831 18446744073709551615 4194304 4196468 140731218560880 140062643260304 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31686] ppid=31679 vsize=13982084 CPUtime=0.05 cores=1,3,5,7
/proc/31682/task/31686/stat : 31686 (java) S 31679 31682 18930 0 -1 1077944384 325 0 0 0 4 1 0 0 20 0 15 0 62284784 14317654016 109831 18446744073709551615 4194304 4196468 140731218560880 140062270417680 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31687] ppid=31679 vsize=13982084 CPUtime=0.06 cores=1,3,5,7
/proc/31682/task/31687/stat : 31687 (java) S 31679 31682 18930 0 -1 1077944384 263 0 0 0 4 2 0 0 20 0 15 0 62284784 14317654016 109831 18446744073709551615 4194304 4196468 140731218560880 140062269365392 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31688] ppid=31679 vsize=13982084 CPUtime=0.08 cores=1,3,5,7
/proc/31682/task/31688/stat : 31688 (java) S 31679 31682 18930 0 -1 1077944384 199 0 0 0 6 2 0 0 20 0 15 0 62284784 14317654016 109831 18446744073709551615 4194304 4196468 140731218560880 140062268312592 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31689] ppid=31679 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/31682/task/31689/stat : 31689 (java) S 31679 31682 18930 0 -1 1077944384 702 0 0 0 1 0 0 0 20 0 15 0 62284785 14317654016 109831 18446744073709551615 4194304 4196468 140731218560880 140062149777520 140062671428226 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31690] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31690/stat : 31690 (java) S 31679 31682 18930 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 62284785 14317654016 109831 18446744073709551615 4194304 4196468 140731218560880 140062148723552 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31691] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31691/stat : 31691 (java) S 31679 31682 18930 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 62284786 14317654016 109831 18446744073709551615 4194304 4196468 140731218560880 140062147671168 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31692] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31692/stat : 31692 (java) S 31679 31682 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62284788 14317654016 109831 18446744073709551615 4194304 4196468 140731218560880 140062146619472 140062671435675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31693] ppid=31679 vsize=13982084 CPUtime=1.55 cores=1,3,5,7
/proc/31682/task/31693/stat : 31693 (java) R 31679 31682 18930 0 -1 4202560 4072 0 0 0 154 1 0 0 20 0 15 0 62284788 14317654016 109831 18446744073709551615 4194304 4196468 140731218560880 140062145553280 140062655407816 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31694] ppid=31679 vsize=13982084 CPUtime=1.59 cores=1,3,5,7
/proc/31682/task/31694/stat : 31694 (java) R 31679 31682 18930 0 -1 4202560 5430 0 0 0 158 1 0 0 20 0 15 0 62284788 14317654016 109831 18446744073709551615 4194304 4196468 140731218560880 140062144495136 140062655809503 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31695] ppid=31679 vsize=13982084 CPUtime=0.86 cores=1,3,5,7
/proc/31682/task/31695/stat : 31695 (java) S 31679 31682 18930 0 -1 1077944384 7110 0 0 0 84 2 0 0 20 0 15 0 62284788 14317654016 109831 18446744073709551615 4194304 4196468 140731218560880 140062143462256 140062671428226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31696] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31696/stat : 31696 (java) S 31679 31682 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62284788 14317654016 109831 18446744073709551615 4194304 4196468 140731218560880 140062142409696 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31697] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31697/stat : 31697 (java) S 31679 31682 18930 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 62284792 14317654016 109831 18446744073709551615 4194304 4196468 140731218560880 140062141356464 140062671428226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
Current children cumulated CPU time (s) 7.18
Current children cumulated vsize (KiB) 13982084

[startup+6.30059 s]
/proc/loadavg: 1.72 1.63 1.63 3/215 31698
/proc/meminfo: memFree=28427184/32770624 swapFree=0/222416
[pid=31682] ppid=31679 vsize=13982084 CPUtime=11.18 cores=1,3,5,7
/proc/31682/stat : 31682 (java) S 31679 31682 18930 0 -1 1077944320 36582 0 0 0 1095 23 0 0 20 0 15 0 62284775 14317654016 116088 18446744073709551615 4194304 4196468 140731218560880 140731218543424 140062671417079 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
/proc/31682/statm: 3495521 116088 3804 1 0 3484303 0
[pid=31682/tid=31684] ppid=31679 vsize=13982084 CPUtime=6.04 cores=1,3,5,7
/proc/31682/task/31684/stat : 31684 (java) R 31679 31682 18930 0 -1 4202560 15766 0 0 0 597 7 0 0 20 0 15 0 62284783 14317654016 116088 18446744073709551615 4194304 4196468 140731218560880 140062675652432 140062322145340 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31685] ppid=31679 vsize=13982084 CPUtime=0.07 cores=1,3,5,7
/proc/31682/task/31685/stat : 31685 (java) S 31679 31682 18930 0 -1 1077944384 139 0 0 0 5 2 0 0 20 0 15 0 62284784 14317654016 116088 18446744073709551615 4194304 4196468 140731218560880 140062643260304 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31686] ppid=31679 vsize=13982084 CPUtime=0.07 cores=1,3,5,7
/proc/31682/task/31686/stat : 31686 (java) S 31679 31682 18930 0 -1 1077944384 346 0 0 0 5 2 0 0 20 0 15 0 62284784 14317654016 116088 18446744073709551615 4194304 4196468 140731218560880 140062270417680 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31687] ppid=31679 vsize=13982084 CPUtime=0.07 cores=1,3,5,7
/proc/31682/task/31687/stat : 31687 (java) S 31679 31682 18930 0 -1 1077944384 351 0 0 0 5 2 0 0 20 0 15 0 62284784 14317654016 116088 18446744073709551615 4194304 4196468 140731218560880 140062269365392 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31688] ppid=31679 vsize=13982084 CPUtime=0.09 cores=1,3,5,7
/proc/31682/task/31688/stat : 31688 (java) S 31679 31682 18930 0 -1 1077944384 253 0 0 0 7 2 0 0 20 0 15 0 62284784 14317654016 116088 18446744073709551615 4194304 4196468 140731218560880 140062268312592 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31689] ppid=31679 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/31682/task/31689/stat : 31689 (java) S 31679 31682 18930 0 -1 1077944384 702 0 0 0 1 0 0 0 20 0 15 0 62284785 14317654016 116088 18446744073709551615 4194304 4196468 140731218560880 140062149777520 140062671428226 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31690] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31690/stat : 31690 (java) S 31679 31682 18930 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 62284785 14317654016 116088 18446744073709551615 4194304 4196468 140731218560880 140062148723552 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31691] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31691/stat : 31691 (java) S 31679 31682 18930 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 62284786 14317654016 116088 18446744073709551615 4194304 4196468 140731218560880 140062147671168 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31692] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31692/stat : 31692 (java) S 31679 31682 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62284788 14317654016 116088 18446744073709551615 4194304 4196468 140731218560880 140062146619472 140062671435675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31693] ppid=31679 vsize=13982084 CPUtime=1.91 cores=1,3,5,7
/proc/31682/task/31693/stat : 31693 (java) S 31679 31682 18930 0 -1 1077944384 4400 0 0 0 190 1 0 0 20 0 15 0 62284788 14317654016 116088 18446744073709551615 4194304 4196468 140731218560880 140062145567344 140062671428226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31694] ppid=31679 vsize=13982084 CPUtime=1.95 cores=1,3,5,7
/proc/31682/task/31694/stat : 31694 (java) S 31679 31682 18930 0 -1 1077944384 6051 0 0 0 194 1 0 0 20 0 15 0 62284788 14317654016 116088 18446744073709551615 4194304 4196468 140731218560880 140062144514544 140062671428226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31695] ppid=31679 vsize=13982084 CPUtime=0.87 cores=1,3,5,7
/proc/31682/task/31695/stat : 31695 (java) S 31679 31682 18930 0 -1 1077944384 7140 0 0 0 85 2 0 0 20 0 15 0 62284788 14317654016 116088 18446744073709551615 4194304 4196468 140731218560880 140062143462256 140062671428226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31696] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31696/stat : 31696 (java) S 31679 31682 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62284788 14317654016 116088 18446744073709551615 4194304 4196468 140731218560880 140062142409696 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31697] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31697/stat : 31697 (java) S 31679 31682 18930 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 62284792 14317654016 116088 18446744073709551615 4194304 4196468 140731218560880 140062141356464 140062671428226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
Current children cumulated CPU time (s) 11.18
Current children cumulated vsize (KiB) 13982084

[startup+12.7006 s]
/proc/loadavg: 1.69 1.63 1.63 3/215 31698
/proc/meminfo: memFree=28142800/32770624 swapFree=0/222424
[pid=31682] ppid=31679 vsize=13982084 CPUtime=18.78 cores=1,3,5,7
/proc/31682/stat : 31682 (java) S 31679 31682 18930 0 -1 1077944320 43947 0 0 0 1843 35 0 0 20 0 15 0 62284775 14317654016 189141 18446744073709551615 4194304 4196468 140731218560880 140731218543424 140062671417079 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
/proc/31682/statm: 3495521 189141 3806 1 0 3484303 0
[pid=31682/tid=31684] ppid=31679 vsize=13982084 CPUtime=12.36 cores=1,3,5,7
/proc/31682/task/31684/stat : 31684 (java) R 31679 31682 18930 0 -1 4202560 18166 0 0 0 1226 10 0 0 20 0 15 0 62284783 14317654016 189141 18446744073709551615 4194304 4196468 140731218560880 140062675651912 140062321769468 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31685] ppid=31679 vsize=13982084 CPUtime=0.14 cores=1,3,5,7
/proc/31682/task/31685/stat : 31685 (java) S 31679 31682 18930 0 -1 1077944384 194 0 0 0 10 4 0 0 20 0 15 0 62284784 14317654016 189141 18446744073709551615 4194304 4196468 140731218560880 140062643260304 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31686] ppid=31679 vsize=13982084 CPUtime=0.13 cores=1,3,5,7
/proc/31682/task/31686/stat : 31686 (java) S 31679 31682 18930 0 -1 1077944384 415 0 0 0 9 4 0 0 20 0 15 0 62284784 14317654016 189141 18446744073709551615 4194304 4196468 140731218560880 140062270417680 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31687] ppid=31679 vsize=13982084 CPUtime=0.14 cores=1,3,5,7
/proc/31682/task/31687/stat : 31687 (java) S 31679 31682 18930 0 -1 1077944384 426 0 0 0 10 4 0 0 20 0 15 0 62284784 14317654016 189141 18446744073709551615 4194304 4196468 140731218560880 140062269365392 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31688] ppid=31679 vsize=13982084 CPUtime=0.16 cores=1,3,5,7
/proc/31682/task/31688/stat : 31688 (java) S 31679 31682 18930 0 -1 1077944384 1999 0 0 0 11 5 0 0 20 0 15 0 62284784 14317654016 189141 18446744073709551615 4194304 4196468 140731218560880 140062268312592 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31689] ppid=31679 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/31682/task/31689/stat : 31689 (java) S 31679 31682 18930 0 -1 1077944384 1213 0 0 0 2 0 0 0 20 0 15 0 62284785 14317654016 189141 18446744073709551615 4194304 4196468 140731218560880 140062149777520 140062671428226 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31690] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31690/stat : 31690 (java) S 31679 31682 18930 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 62284785 14317654016 189141 18446744073709551615 4194304 4196468 140731218560880 140062148723552 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31691] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31691/stat : 31691 (java) S 31679 31682 18930 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 62284786 14317654016 189141 18446744073709551615 4194304 4196468 140731218560880 140062147671168 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31692] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31692/stat : 31692 (java) S 31679 31682 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62284788 14317654016 189141 18446744073709551615 4194304 4196468 140731218560880 140062146619472 140062671435675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0

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

[pid=31682/tid=31697] ppid=31679 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/31682/task/31697/stat : 31697 (java) S 31679 31682 18930 0 -1 1077944384 568 0 0 0 1 0 0 0 20 0 15 0 62284792 14317654016 876250 18446744073709551615 4194304 4196468 140731218560880 140062141356464 140062671428226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
Current children cumulated CPU time (s) 58.2
Current children cumulated vsize (KiB) 13982084

[startup+102.301 s]
/proc/loadavg: 1.92 1.73 1.67 3/213 31779
/proc/meminfo: memFree=28244312/32770624 swapFree=0/222536
[pid=31682] ppid=31679 vsize=13982084 CPUtime=110.11 cores=1,3,5,7
/proc/31682/stat : 31682 (java) S 31679 31682 18930 0 -1 1077944320 71940 0 0 0 10922 89 0 0 20 0 15 0 62284775 14317654016 835938 18446744073709551615 4194304 4196468 140731218560880 140731218543424 140062671417079 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
/proc/31682/statm: 3495521 835938 3815 1 0 3484303 0
[pid=31682/tid=31684] ppid=31679 vsize=13982084 CPUtime=101.81 cores=1,3,5,7
/proc/31682/task/31684/stat : 31684 (java) R 31679 31682 18930 0 -1 4202560 29521 0 0 0 10128 53 0 0 20 0 15 0 62284783 14317654016 835938 18446744073709551615 4194304 4196468 140731218560880 140062675651744 140062321769468 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31685] ppid=31679 vsize=13982084 CPUtime=0.26 cores=1,3,5,7
/proc/31682/task/31685/stat : 31685 (java) S 31679 31682 18930 0 -1 1077944384 856 0 0 0 20 6 0 0 20 0 15 0 62284784 14317654016 835938 18446744073709551615 4194304 4196468 140731218560880 140062643260304 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31686] ppid=31679 vsize=13982084 CPUtime=0.26 cores=1,3,5,7
/proc/31682/task/31686/stat : 31686 (java) S 31679 31682 18930 0 -1 1077944384 1154 0 0 0 20 6 0 0 20 0 15 0 62284784 14317654016 835938 18446744073709551615 4194304 4196468 140731218560880 140062270417680 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31687] ppid=31679 vsize=13982084 CPUtime=0.26 cores=1,3,5,7
/proc/31682/task/31687/stat : 31687 (java) S 31679 31682 18930 0 -1 1077944384 537 0 0 0 20 6 0 0 20 0 15 0 62284784 14317654016 835938 18446744073709551615 4194304 4196468 140731218560880 140062269365392 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31688] ppid=31679 vsize=13982084 CPUtime=0.29 cores=1,3,5,7
/proc/31682/task/31688/stat : 31688 (java) S 31679 31682 18930 0 -1 1077944384 2247 0 0 0 22 7 0 0 20 0 15 0 62284784 14317654016 835938 18446744073709551615 4194304 4196468 140731218560880 140062268312592 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31689] ppid=31679 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/31682/task/31689/stat : 31689 (java) S 31679 31682 18930 0 -1 1077944384 2815 0 0 0 3 0 0 0 20 0 15 0 62284785 14317654016 835938 18446744073709551615 4194304 4196468 140731218560880 140062149777520 140062671428226 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31690] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31690/stat : 31690 (java) S 31679 31682 18930 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 62284785 14317654016 835938 18446744073709551615 4194304 4196468 140731218560880 140062148723552 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31691] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31691/stat : 31691 (java) S 31679 31682 18930 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 62284786 14317654016 835938 18446744073709551615 4194304 4196468 140731218560880 140062147671168 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31692] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31692/stat : 31692 (java) S 31679 31682 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62284788 14317654016 835938 18446744073709551615 4194304 4196468 140731218560880 140062146619472 140062671435675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31693] ppid=31679 vsize=13982084 CPUtime=2.93 cores=1,3,5,7
/proc/31682/task/31693/stat : 31693 (java) S 31679 31682 18930 0 -1 1077944384 9090 0 0 0 291 2 0 0 20 0 15 0 62284788 14317654016 835938 18446744073709551615 4194304 4196468 140731218560880 140062145567344 140062671428226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31694] ppid=31679 vsize=13982084 CPUtime=3 cores=1,3,5,7
/proc/31682/task/31694/stat : 31694 (java) S 31679 31682 18930 0 -1 1077944384 12465 0 0 0 298 2 0 0 20 0 15 0 62284788 14317654016 835938 18446744073709551615 4194304 4196468 140731218560880 140062144514544 140062671428226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31695] ppid=31679 vsize=13982084 CPUtime=1.14 cores=1,3,5,7
/proc/31682/task/31695/stat : 31695 (java) S 31679 31682 18930 0 -1 1077944384 11166 0 0 0 111 3 0 0 20 0 15 0 62284788 14317654016 835938 18446744073709551615 4194304 4196468 140731218560880 140062143462256 140062671428226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31696] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31696/stat : 31696 (java) S 31679 31682 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62284788 14317654016 835938 18446744073709551615 4194304 4196468 140731218560880 140062142409696 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31697] ppid=31679 vsize=13982084 CPUtime=0.04 cores=1,3,5,7
/proc/31682/task/31697/stat : 31697 (java) S 31679 31682 18930 0 -1 1077944384 648 0 0 0 2 2 0 0 20 0 15 0 62284792 14317654016 835938 18446744073709551615 4194304 4196468 140731218560880 140062141356464 140062671428226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
Current children cumulated CPU time (s) 110.11
Current children cumulated vsize (KiB) 13982084

[startup+162.301 s]
/proc/loadavg: 1.67 1.69 1.66 3/213 31781
/proc/meminfo: memFree=28452504/32770624 swapFree=0/222580
[pid=31682] ppid=31679 vsize=13982084 CPUtime=170.72 cores=1,3,5,7
/proc/31682/stat : 31682 (java) S 31679 31682 18930 0 -1 1077944320 83533 0 0 0 16979 93 0 0 20 0 15 0 62284775 14317654016 775268 18446744073709551615 4194304 4196468 140731218560880 140731218543424 140062671417079 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
/proc/31682/statm: 3495521 775268 3816 1 0 3484303 0
[pid=31682/tid=31684] ppid=31679 vsize=13982084 CPUtime=161.67 cores=1,3,5,7
/proc/31682/task/31684/stat : 31684 (java) R 31679 31682 18930 0 -1 4202560 33893 0 0 0 16114 53 0 0 20 0 15 0 62284783 14317654016 775268 18446744073709551615 4194304 4196468 140731218560880 140062675654688 140062323870166 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31685] ppid=31679 vsize=13982084 CPUtime=0.36 cores=1,3,5,7
/proc/31682/task/31685/stat : 31685 (java) S 31679 31682 18930 0 -1 1077944384 908 0 0 0 30 6 0 0 20 0 15 0 62284784 14317654016 775268 18446744073709551615 4194304 4196468 140731218560880 140062643260304 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31686] ppid=31679 vsize=13982084 CPUtime=0.36 cores=1,3,5,7
/proc/31682/task/31686/stat : 31686 (java) S 31679 31682 18930 0 -1 1077944384 1509 0 0 0 30 6 0 0 20 0 15 0 62284784 14317654016 775268 18446744073709551615 4194304 4196468 140731218560880 140062270417680 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31687] ppid=31679 vsize=13982084 CPUtime=0.36 cores=1,3,5,7
/proc/31682/task/31687/stat : 31687 (java) S 31679 31682 18930 0 -1 1077944384 1138 0 0 0 30 6 0 0 20 0 15 0 62284784 14317654016 775268 18446744073709551615 4194304 4196468 140731218560880 140062269365392 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31688] ppid=31679 vsize=13982084 CPUtime=0.39 cores=1,3,5,7
/proc/31682/task/31688/stat : 31688 (java) S 31679 31682 18930 0 -1 1077944384 2381 0 0 0 32 7 0 0 20 0 15 0 62284784 14317654016 775268 18446744073709551615 4194304 4196468 140731218560880 140062268312592 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31689] ppid=31679 vsize=13982084 CPUtime=0.05 cores=1,3,5,7
/proc/31682/task/31689/stat : 31689 (java) S 31679 31682 18930 0 -1 1077944384 3097 0 0 0 4 1 0 0 20 0 15 0 62284785 14317654016 775268 18446744073709551615 4194304 4196468 140731218560880 140062149777520 140062671428226 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31690] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31690/stat : 31690 (java) S 31679 31682 18930 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 62284785 14317654016 775268 18446744073709551615 4194304 4196468 140731218560880 140062148723552 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31691] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31691/stat : 31691 (java) S 31679 31682 18930 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 62284786 14317654016 775268 18446744073709551615 4194304 4196468 140731218560880 140062147671168 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31692] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31692/stat : 31692 (java) S 31679 31682 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62284788 14317654016 775268 18446744073709551615 4194304 4196468 140731218560880 140062146619472 140062671435675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31693] ppid=31679 vsize=13982084 CPUtime=3.05 cores=1,3,5,7
/proc/31682/task/31693/stat : 31693 (java) S 31679 31682 18930 0 -1 1077944384 10956 0 0 0 303 2 0 0 20 0 15 0 62284788 14317654016 775268 18446744073709551615 4194304 4196468 140731218560880 140062145567344 140062671428226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31694] ppid=31679 vsize=13982084 CPUtime=3.13 cores=1,3,5,7
/proc/31682/task/31694/stat : 31694 (java) S 31679 31682 18930 0 -1 1077944384 15264 0 0 0 311 2 0 0 20 0 15 0 62284788 14317654016 775268 18446744073709551615 4194304 4196468 140731218560880 140062144514544 140062671428226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31695] ppid=31679 vsize=13982084 CPUtime=1.15 cores=1,3,5,7
/proc/31682/task/31695/stat : 31695 (java) S 31679 31682 18930 0 -1 1077944384 12178 0 0 0 112 3 0 0 20 0 15 0 62284788 14317654016 775268 18446744073709551615 4194304 4196468 140731218560880 140062143462256 140062671428226 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31696] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31696/stat : 31696 (java) S 31679 31682 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62284788 14317654016 775268 18446744073709551615 4194304 4196468 140731218560880 140062142409696 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31697] ppid=31679 vsize=13982084 CPUtime=0.07 cores=1,3,5,7
/proc/31682/task/31697/stat : 31697 (java) S 31679 31682 18930 0 -1 1077944384 768 0 0 0 3 4 0 0 20 0 15 0 62284792 14317654016 775268 18446744073709551615 4194304 4196468 140731218560880 140062141356464 140062671428226 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
Current children cumulated CPU time (s) 170.72
Current children cumulated vsize (KiB) 13982084

[startup+222.301 s]
/proc/loadavg: 1.43 1.62 1.64 3/214 31784
/proc/meminfo: memFree=28644008/32770624 swapFree=0/222616
[pid=31682] ppid=31679 vsize=13982084 CPUtime=231.94 cores=1,3,5,7
/proc/31682/stat : 31682 (java) S 31679 31682 18930 0 -1 1077944320 96970 0 0 0 23095 99 0 0 20 0 15 0 62284775 14317654016 726341 18446744073709551615 4194304 4196468 140731218560880 140731218543424 140062671417079 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
/proc/31682/statm: 3495521 726341 3816 1 0 3484303 0
[pid=31682/tid=31684] ppid=31679 vsize=13982084 CPUtime=221.21 cores=1,3,5,7
/proc/31682/task/31684/stat : 31684 (java) R 31679 31682 18930 0 -1 4202560 38634 0 0 0 22068 53 0 0 20 0 15 0 62284783 14317654016 726341 18446744073709551615 4194304 4196468 140731218560880 140062675655264 140062315955985 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31685] ppid=31679 vsize=13982084 CPUtime=0.74 cores=1,3,5,7
/proc/31682/task/31685/stat : 31685 (java) S 31679 31682 18930 0 -1 1077944384 1727 0 0 0 67 7 0 0 20 0 15 0 62284784 14317654016 726341 18446744073709551615 4194304 4196468 140731218560880 140062643260304 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31686] ppid=31679 vsize=13982084 CPUtime=0.74 cores=1,3,5,7
/proc/31682/task/31686/stat : 31686 (java) S 31679 31682 18930 0 -1 1077944384 1890 0 0 0 67 7 0 0 20 0 15 0 62284784 14317654016 726341 18446744073709551615 4194304 4196468 140731218560880 140062270417680 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31687] ppid=31679 vsize=13982084 CPUtime=0.74 cores=1,3,5,7
/proc/31682/task/31687/stat : 31687 (java) S 31679 31682 18930 0 -1 1077944384 1324 0 0 0 67 7 0 0 20 0 15 0 62284784 14317654016 726341 18446744073709551615 4194304 4196468 140731218560880 140062269365392 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31688] ppid=31679 vsize=13982084 CPUtime=0.76 cores=1,3,5,7
/proc/31682/task/31688/stat : 31688 (java) S 31679 31682 18930 0 -1 1077944384 2689 0 0 0 68 8 0 0 20 0 15 0 62284784 14317654016 726341 18446744073709551615 4194304 4196468 140731218560880 140062268312592 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31689] ppid=31679 vsize=13982084 CPUtime=0.09 cores=1,3,5,7
/proc/31682/task/31689/stat : 31689 (java) S 31679 31682 18930 0 -1 1077944384 3365 0 0 0 7 2 0 0 20 0 15 0 62284785 14317654016 726341 18446744073709551615 4194304 4196468 140731218560880 140062149777520 140062671428226 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31690] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31690/stat : 31690 (java) S 31679 31682 18930 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 62284785 14317654016 726341 18446744073709551615 4194304 4196468 140731218560880 140062148723552 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31691] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31691/stat : 31691 (java) S 31679 31682 18930 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 62284786 14317654016 726341 18446744073709551615 4194304 4196468 140731218560880 140062147671168 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31692] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31692/stat : 31692 (java) S 31679 31682 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62284788 14317654016 726341 18446744073709551615 4194304 4196468 140731218560880 140062146619472 140062671435675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31693] ppid=31679 vsize=13982084 CPUtime=3.11 cores=1,3,5,7
/proc/31682/task/31693/stat : 31693 (java) S 31679 31682 18930 0 -1 1077944384 12584 0 0 0 309 2 0 0 20 0 15 0 62284788 14317654016 726341 18446744073709551615 4194304 4196468 140731218560880 140062145567344 140062671428226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31694] ppid=31679 vsize=13982084 CPUtime=3.17 cores=1,3,5,7
/proc/31682/task/31694/stat : 31694 (java) S 31679 31682 18930 0 -1 1077944384 16468 0 0 0 315 2 0 0 20 0 15 0 62284788 14317654016 726341 18446744073709551615 4194304 4196468 140731218560880 140062144514544 140062671428226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31695] ppid=31679 vsize=13982084 CPUtime=1.18 cores=1,3,5,7
/proc/31682/task/31695/stat : 31695 (java) S 31679 31682 18930 0 -1 1077944384 16037 0 0 0 114 4 0 0 20 0 15 0 62284788 14317654016 726341 18446744073709551615 4194304 4196468 140731218560880 140062143462256 140062671428226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31696] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31696/stat : 31696 (java) S 31679 31682 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62284788 14317654016 726341 18446744073709551615 4194304 4196468 140731218560880 140062142409696 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31697] ppid=31679 vsize=13982084 CPUtime=0.11 cores=1,3,5,7
/proc/31682/task/31697/stat : 31697 (java) S 31679 31682 18930 0 -1 1077944384 804 0 0 0 5 6 0 0 20 0 15 0 62284792 14317654016 726341 18446744073709551615 4194304 4196468 140731218560880 140062141356464 140062671428226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
Current children cumulated CPU time (s) 231.94
Current children cumulated vsize (KiB) 13982084



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 1.47 1.62 1.63 3/214 31785
/proc/meminfo: memFree=28652860/32770624 swapFree=0/222644
[pid=31682] ppid=31679 vsize=13982084 CPUtime=250.13 cores=1,3,5,7
/proc/31682/stat : 31682 (java) S 31679 31682 18930 0 -1 1077944320 100242 0 0 0 24909 104 0 0 20 0 15 0 62284775 14317654016 724339 18446744073709551615 4194304 4196468 140731218560880 140731218543424 140062671417079 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 7 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
/proc/31682/statm: 3495521 724339 3816 1 0 3484303 0
[pid=31682/tid=31684] ppid=31679 vsize=13982084 CPUtime=238.75 cores=1,3,5,7
/proc/31682/task/31684/stat : 31684 (java) R 31679 31682 18930 0 -1 4202560 39860 0 0 0 23821 54 0 0 20 0 15 0 62284783 14317654016 724339 18446744073709551615 4194304 4196468 140731218560880 140062675655104 140062315956164 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31685] ppid=31679 vsize=13982084 CPUtime=0.89 cores=1,3,5,7
/proc/31682/task/31685/stat : 31685 (java) S 31679 31682 18930 0 -1 1077944384 1864 0 0 0 81 8 0 0 20 0 15 0 62284784 14317654016 724339 18446744073709551615 4194304 4196468 140731218560880 140062643260304 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31686] ppid=31679 vsize=13982084 CPUtime=0.89 cores=1,3,5,7
/proc/31682/task/31686/stat : 31686 (java) S 31679 31682 18930 0 -1 1077944384 2526 0 0 0 81 8 0 0 20 0 15 0 62284784 14317654016 724339 18446744073709551615 4194304 4196468 140731218560880 140062270417680 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31687] ppid=31679 vsize=13982084 CPUtime=0.9 cores=1,3,5,7
/proc/31682/task/31687/stat : 31687 (java) S 31679 31682 18930 0 -1 1077944384 1385 0 0 0 82 8 0 0 20 0 15 0 62284784 14317654016 724339 18446744073709551615 4194304 4196468 140731218560880 140062269365392 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31688] ppid=31679 vsize=13982084 CPUtime=0.91 cores=1,3,5,7
/proc/31682/task/31688/stat : 31688 (java) S 31679 31682 18930 0 -1 1077944384 2775 0 0 0 82 9 0 0 20 0 15 0 62284784 14317654016 724339 18446744073709551615 4194304 4196468 140731218560880 140062268312592 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31689] ppid=31679 vsize=13982084 CPUtime=0.11 cores=1,3,5,7
/proc/31682/task/31689/stat : 31689 (java) S 31679 31682 18930 0 -1 1077944384 3611 0 0 0 9 2 0 0 20 0 15 0 62284785 14317654016 724339 18446744073709551615 4194304 4196468 140731218560880 140062149777520 140062671428226 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31690] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31690/stat : 31690 (java) S 31679 31682 18930 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 62284785 14317654016 724339 18446744073709551615 4194304 4196468 140731218560880 140062148723552 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31691] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31691/stat : 31691 (java) S 31679 31682 18930 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 62284786 14317654016 724339 18446744073709551615 4194304 4196468 140731218560880 140062147671168 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31692] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31692/stat : 31692 (java) S 31679 31682 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62284788 14317654016 724339 18446744073709551615 4194304 4196468 140731218560880 140062146619472 140062671435675 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31693] ppid=31679 vsize=13982084 CPUtime=3.12 cores=1,3,5,7
/proc/31682/task/31693/stat : 31693 (java) S 31679 31682 18930 0 -1 1077944384 12694 0 0 0 310 2 0 0 20 0 15 0 62284788 14317654016 724339 18446744073709551615 4194304 4196468 140731218560880 140062145567344 140062671428226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31694] ppid=31679 vsize=13982084 CPUtime=3.17 cores=1,3,5,7
/proc/31682/task/31694/stat : 31694 (java) S 31679 31682 18930 0 -1 1077944384 17061 0 0 0 315 2 0 0 20 0 15 0 62284788 14317654016 724339 18446744073709551615 4194304 4196468 140731218560880 140062144514544 140062671428226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31695] ppid=31679 vsize=13982084 CPUtime=1.18 cores=1,3,5,7
/proc/31682/task/31695/stat : 31695 (java) S 31679 31682 18930 0 -1 1077944384 16191 0 0 0 114 4 0 0 20 0 15 0 62284788 14317654016 724339 18446744073709551615 4194304 4196468 140731218560880 140062143462256 140062671428226 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31696] ppid=31679 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/31682/task/31696/stat : 31696 (java) S 31679 31682 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 62284788 14317654016 724339 18446744073709551615 4194304 4196468 140731218560880 140062142409696 140062671427285 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
[pid=31682/tid=31697] ppid=31679 vsize=13982084 CPUtime=0.12 cores=1,3,5,7
/proc/31682/task/31697/stat : 31697 (java) S 31679 31682 18930 0 -1 1077944384 827 0 0 0 5 7 0 0 20 0 15 0 62284792 14317654016 724339 18446744073709551615 4194304 4196468 140731218560880 140062141356464 140062671428226 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13520896 140731218563476 140731218563658 140731218563658 140731218567119 0
Current children cumulated CPU time (s) 250.13
Current children cumulated vsize (KiB) 13982084

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 31682 sig 9
??? kill -31682 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.046
CPU time (s): 250.189
CPU user time (s): 249.128
CPU system time (s): 1.06109
CPU usage (%): 104.225
Max. virtual memory (cumulated for all children) (KiB): 13982084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.128
system time used= 1.06109
maximum resident set size= 3512240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101551
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11794
involuntary context switches= 432

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.14763 second user time and 1.45981 second system time

The end

Name	StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml
MD5SUM	3de3ac871f1e1c584be6c245f66daf9e
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	491
Best CPU time to get the best result obtained on this benchmark	251.978
Satisfiable
(Un)Satisfiability was proved
Number of variables	2347
Number of constraints	1352
Number of domains	4
Minimum domain size	2
Maximum domain size	2313
Distribution of domain sizes	[{"size":2,"count":1156},{"size":3,"count":1156},{"size":1025,"count":1},{"size":2313,"count":34}]
Minimum variable degree	1
Maximum variable degree	35
Distribution of variable degrees	[{"degree":1,"count":4},{"degree":2,"count":1153},{"degree":3,"count":37},{"degree":4,"count":128},{"degree":8,"count":124},{"degree":9,"count":900},{"degree":35,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	36
Distribution of constraint arities	[{"arity":2,"count":162},{"arity":3,"count":128},{"arity":10,"count":1024},{"arity":34,"count":4},{"arity":35,"count":1},{"arity":36,"count":33}]
Number of extensional constraints	1152
Number of intensional constraints	161
Distribution of constraint types	[{"type":"extension","count":1152},{"type":"intension","count":161},{"type":"sum","count":35},{"type":"instantiation","count":4}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4256833

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