2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering 2017-07-26	SAT (TO)	293	2520.1399	2495.95

0.23/0.39	c version: 2017-07-26
0.23/0.39	c seed: 470301667
0.23/0.40	c timeout: 2520
0.23/0.40	c memlimit: 11000
0.23/0.40	c nbcore: 4
0.43/0.42	c Parsing instance...
4.61/2.09	c Parsing done, starting search...
6.59/2.99	o 239
6.59/2.99	o 240
6.59/2.99	o 241
6.59/3.00	o 242
6.59/3.00	o 243
6.81/3.01	o 244
6.81/3.01	o 245
6.81/3.01	o 246
6.81/3.01	o 247
6.81/3.01	o 248
6.81/3.01	o 249
6.81/3.01	o 250
6.81/3.02	o 251
6.81/3.02	o 252
6.81/3.02	o 253
6.81/3.02	o 254
6.81/3.02	o 255
6.81/3.02	o 256
6.81/3.03	o 257
6.81/3.03	o 258
6.81/3.03	o 259
6.81/3.03	o 260
6.81/3.03	o 261
6.81/3.03	o 262
6.81/3.03	o 263
6.81/3.04	o 264
6.81/3.04	o 265
6.81/3.04	o 266
6.81/3.04	o 267
6.81/3.04	o 268
6.81/3.04	o 269
6.81/3.04	o 270
6.81/3.05	o 271
6.81/3.05	o 272
6.81/3.05	o 273
6.81/3.05	o 274
6.81/3.05	o 275
6.81/3.05	o 276
6.81/3.06	o 277
6.81/3.06	o 278
6.81/3.06	o 279
6.81/3.06	o 280
6.81/3.06	o 281
6.81/3.07	o 282
6.81/3.07	o 283
6.81/3.07	o 284
6.81/3.07	o 285
6.81/3.08	o 286
6.81/3.09	o 287
6.81/3.10	o 288
6.81/3.10	o 289
7.13/3.11	o 290
8.00/3.40	o 291
21.01/15.72	o 292
77.25/71.88	o 293
2520.08/2495.91	s SATISFIABLE
2520.08/2495.91	v <instantiation>
2520.08/2495.91	v 	<list>
2520.08/2495.91	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
2520.08/2495.91	v 	</list>
2520.08/2495.91	v 	<values>
2520.08/2495.91	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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 1 0 1 0 1 1 0 0 0 0 1 1 0 1 0 0 1 1 0 1 1 1 1 1 0 1 1 1 1 0 1 1 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 1 0 1 1 1 1 1 0 0 0 1 0 1 1 1 1 1 1 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 1 0 1 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 1 1 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 1 1 0 0 0 1 0 0 1 0 1 1 0 1 0 0 0 0 1 0 1 0 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 0 1 1 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 0 1 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 1 0 1 0 1 0 0 1 1 1 0 1 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 1 0 0 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 1 0 0 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 1 0 1 1 1 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 1 0 1 0 0 1 1 0 1 0 1 1 0 0 0 1 1 0 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 1 1 1 0 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 1 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 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 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 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 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 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 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 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 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 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 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 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 1 2 2 1 2 1 1 1 2 2 1 2 1 2 2 2 1 2 1 2 2 2 1 2 1 2 2 2 1 2 1 2 1 0 2 0 0 0 0 1 0 1 2 1 1 0 0 0 2 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 2 0 0 0 1 0 0 0 0 1 1 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 1 1 0 1 0 0 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 1 1 1 0 1 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 1 0 0 1 0 0 2 1 0 0 1 0 0 1 1 1 1 1 1 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 0 0 2 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 2 0 0 1 1 0 1 0 0 1 0 1 1 0 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 1 1 0 1 1 0 0 1 2 1 1 2 1 0 0 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 2 0 0 0 0 1 0 0 0 0 1 1 2 2 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 1 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 2 2 0 1 0 0 1 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 1 1 0 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 1 0 0 1 1 0 0 0 1 0 0 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 1 1 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 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 2 0 1 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 0 2 0 2 0 0 0 0 0 0 1 0 1 0 1 2 1 1 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 2 0 0 0 1 0 2 0 2 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 0 1 0 0 2 1 1 0 0 0 0 0 1 1 0 1 1 2 0 0 0 2 0 2 0 0 1 1 0 1 0 1 1 0 0 0 0 1 1 2 0 0 0 0 0 1 0 1 0 1 2 1 0 0 1 0 2 1 1 0 1 1 1 0 1 2 1 0 1 1 1 1 2 1 0 0 2 0 0 0 0 0 0 0 2 1 1 0 1 2 2 2 1 1 2 2 1 1 2 2 2 1 1 2 2 2 2 1 0 1 0 1 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 0 0 32 98 164 230 296 362 428 494 560 623 668 682 691 706 717 729 746 760 776 792 808 821 832 836 846 853 857 869 881 895 915 941 979 1004 293 
2520.08/2495.91	v 	</values>
2520.08/2495.91	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 (12991 MiB free)
  memory of node 1: 16384 MiB (15454 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273745-1502698864/watcher-4273745-1502698864 -o /tmp/evaluation-result-4273745-1502698864/solver-4273745-1502698864 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10388 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 470301667 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273745-1502698864.xml 

running on 4 cores: 1,3,5,7

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

solver pid=15600, runsolver pid=15597

[startup+0.100063 s]*
/proc/loadavg: 1.39 1.38 1.37 3/200 15606
/proc/meminfo: memFree=29124224/32770624 swapFree=67105588/67108860
[pid=15600] ppid=15597 vsize=13358552 memory=14668 CPUtime=0.01 cores=1,3,5,7
/proc/15600/stat : 15600 (java) S 15597 15600 12560 0 -1 1077944320 3496 0 0 0 1 0 0 0 20 0 6 0 72081766 13679157248 3667 18446744073709551615 4194304 4196468 140724204688896 140724204671440 139631398063863 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
/proc/15600/statm: 3339638 3667 1913 1 0 3329135 0
[pid=15600/tid=15602] ppid=15597 vsize=13358552 memory=-6439968830534014599 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (java) R 15597 15600 12560 0 -1 4202560 2197 0 0 0 0 0 0 0 20 0 6 0 72081775 13679157248 3667 18446744073709551615 4194304 4196468 140724204688896 139631402299984 139631382144380 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15603] ppid=15597 vsize=13358552 memory=6735269665564437106 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (java) S 15597 15600 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 72081776 13679157248 3667 18446744073709551615 4194304 4196468 140724204688896 139631340010640 139631398074069 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15604] ppid=15597 vsize=13358552 memory=140483155793536 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15604/stat : 15604 (java) S 15597 15600 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 72081776 13679157248 3667 18446744073709551615 4194304 4196468 140724204688896 139631338957840 139631398074069 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15605] ppid=15597 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15605/stat : 15605 (java) S 15597 15600 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 72081776 13679157248 3667 18446744073709551615 4194304 4196468 140724204688896 139631337905040 139631398074069 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15606] ppid=15597 vsize=13358552 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15606/stat : 15606 (java) S 15597 15600 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 72081776 13679157248 3667 18446744073709551615 4194304 4196468 140724204688896 139631336852240 139631398074069 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 14668 KiB

[startup+0.209991 s]*
/proc/loadavg: 1.39 1.38 1.37 4/209 15615
/proc/meminfo: memFree=29115464/32770624 swapFree=67105588/67108860
[pid=15600] ppid=15597 vsize=13975920 memory=27876 CPUtime=0.08 cores=1,3,5,7
/proc/15600/stat : 15600 (java) S 15597 15600 12560 0 -1 1077944320 6782 0 0 0 8 0 0 0 20 0 15 0 72081766 14311342080 6969 18446744073709551615 4194304 4196468 140724204688896 140724204671440 139631398063863 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
/proc/15600/statm: 3493980 6969 3325 1 0 3482759 0
[pid=15600/tid=15602] ppid=15597 vsize=13975920 memory=8318255677412212789 CPUtime=0.06 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (java) R 15597 15600 12560 0 -1 4202560 4806 0 0 0 6 0 0 0 20 0 15 0 72081775 14311342080 7481 18446744073709551615 4194304 4196468 140724204688896 139631402293240 139631398085789 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15603] ppid=15597 vsize=13975920 memory=328 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (java) S 15597 15600 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72081776 14311342080 7481 18446744073709551615 4194304 4196468 140724204688896 139631340010640 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15604] ppid=15597 vsize=13975920 memory=288370859307505280 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15604/stat : 15604 (java) S 15597 15600 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72081776 14311342080 7481 18446744073709551615 4194304 4196468 140724204688896 139631338957840 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15605] ppid=15597 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15605/stat : 15605 (java) S 15597 15600 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72081776 14311342080 7481 18446744073709551615 4194304 4196468 140724204688896 139631337905040 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15606] ppid=15597 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15606/stat : 15606 (java) S 15597 15600 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72081776 14311342080 7481 18446744073709551615 4194304 4196468 140724204688896 139631336852240 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15607] ppid=15597 vsize=13975920 memory=140483155793536 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15607/stat : 15607 (java) S 15597 15600 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72081777 14311342080 7481 18446744073709551615 4194304 4196468 140724204688896 139630944614768 139631398075010 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15608] ppid=15597 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15608/stat : 15608 (java) S 15597 15600 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72081777 14311342080 7481 18446744073709551615 4194304 4196468 140724204688896 139630943560736 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15609] ppid=15597 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15609/stat : 15609 (java) S 15597 15600 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72081778 14311342080 7481 18446744073709551615 4194304 4196468 140724204688896 139630942507888 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15610] ppid=15597 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15610/stat : 15610 (java) S 15597 15600 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72081780 14311342080 7481 18446744073709551615 4194304 4196468 140724204688896 139630941456208 139631398082459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15611] ppid=15597 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15611/stat : 15611 (java) S 15597 15600 12560 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 72081780 14311342080 7481 18446744073709551615 4194304 4196468 140724204688896 139630940404592 139631398075010 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15612] ppid=15597 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15612/stat : 15612 (java) S 15597 15600 12560 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 15 0 72081780 14311342080 7481 18446744073709551615 4194304 4196468 140724204688896 139630939351792 139631398075010 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15613] ppid=15597 vsize=13975920 memory=140483155793536 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15613/stat : 15613 (java) S 15597 15600 12560 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 72081780 14311342080 7481 18446744073709551615 4194304 4196468 140724204688896 139630938298992 139631398075010 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15614] ppid=15597 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15614/stat : 15614 (java) S 15597 15600 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72081780 14311342080 7481 18446744073709551615 4194304 4196468 140724204688896 139630937246432 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15615] ppid=15597 vsize=13975920 memory=140483155793536 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15615/stat : 15615 (java) S 15597 15600 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72081785 14311342080 7481 18446744073709551615 4194304 4196468 140724204688896 139630936193712 139631398075010 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 27876 KiB

[startup+0.310103 s]*
/proc/loadavg: 1.39 1.38 1.37 3/209 15615
/proc/meminfo: memFree=29102768/32770624 swapFree=67105588/67108860
[pid=15600] ppid=15597 vsize=13975920 memory=39480 CPUtime=0.23 cores=1,3,5,7
/proc/15600/stat : 15600 (java) S 15597 15600 12560 0 -1 1077944320 10093 0 0 0 21 2 0 0 20 0 15 0 72081766 14311342080 9870 18446744073709551615 4194304 4196468 140724204688896 140724204671440 139631398063863 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
/proc/15600/statm: 3493980 9870 3555 1 0 3482759 0
[pid=15600/tid=15602] ppid=15597 vsize=13975920 memory=-8774313645642428999 CPUtime=0.15 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (java) R 15597 15600 12560 0 -1 4202560 7824 0 0 0 14 1 0 0 20 0 15 0 72081775 14311342080 9870 18446744073709551615 4194304 4196468 140724204688896 139631402294752 139631382144350 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15603] ppid=15597 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (java) S 15597 15600 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72081776 14311342080 9870 18446744073709551615 4194304 4196468 140724204688896 139631340010640 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15604] ppid=15597 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15604/stat : 15604 (java) S 15597 15600 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72081776 14311342080 9870 18446744073709551615 4194304 4196468 140724204688896 139631338957840 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15605] ppid=15597 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15605/stat : 15605 (java) S 15597 15600 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72081776 14311342080 9870 18446744073709551615 4194304 4196468 140724204688896 139631337905040 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15606] ppid=15597 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15606/stat : 15606 (java) S 15597 15600 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72081776 14311342080 9870 18446744073709551615 4194304 4196468 140724204688896 139631336852240 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15607] ppid=15597 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15607/stat : 15607 (java) S 15597 15600 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72081777 14311342080 9870 18446744073709551615 4194304 4196468 140724204688896 139630944614768 139631398075010 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15608] ppid=15597 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15608/stat : 15608 (java) S 15597 15600 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72081777 14311342080 9870 18446744073709551615 4194304 4196468 140724204688896 139630943560736 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15609] ppid=15597 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15609/stat : 15609 (java) S 15597 15600 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72081778 14311342080 9870 18446744073709551615 4194304 4196468 140724204688896 139630942507888 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15610] ppid=15597 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15610/stat : 15610 (java) S 15597 15600 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72081780 14311342080 9870 18446744073709551615 4194304 4196468 140724204688896 139630941456208 139631398082459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15611] ppid=15597 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15600/task/15611/stat : 15611 (java) S 15597 15600 12560 0 -1 1077944384 208 0 0 0 1 0 0 0 20 0 15 0 72081780 14311342080 9870 18446744073709551615 4194304 4196468 140724204688896 139630940404592 139631398075010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15612] ppid=15597 vsize=13975920 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15600/task/15612/stat : 15612 (java) S 15597 15600 12560 0 -1 1077944384 302 0 0 0 1 0 0 0 20 0 15 0 72081780 14311342080 9870 18446744073709551615 4194304 4196468 140724204688896 139630939351792 139631398075010 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15613] ppid=15597 vsize=13975920 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/15600/task/15613/stat : 15613 (java) R 15597 15600 12560 0 -1 4202560 380 0 0 0 4 0 0 0 20 0 15 0 72081780 14311342080 9870 18446744073709551615 4194304 4196468 140724204688896 139630938298992 139631398085210 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15614] ppid=15597 vsize=13975920 memory=140483155793536 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15614/stat : 15614 (java) S 15597 15600 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72081780 14311342080 9870 18446744073709551615 4194304 4196468 140724204688896 139630937246432 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15615] ppid=15597 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15615/stat : 15615 (java) S 15597 15600 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72081785 14311342080 9870 18446744073709551615 4194304 4196468 140724204688896 139630936193712 139631398075010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39480 KiB

[startup+0.706138 s]
/proc/loadavg: 1.39 1.38 1.37 3/209 15615
/proc/meminfo: memFree=29089852/32770624 swapFree=67105588/67108860
[pid=15600] ppid=15597 vsize=13977988 memory=68908 CPUtime=1.03 cores=1,3,5,7
/proc/15600/stat : 15600 (java) S 15597 15600 12560 0 -1 1077944320 13908 0 0 0 99 4 0 0 20 0 15 0 72081766 14313459712 17227 18446744073709551615 4194304 4196468 140724204688896 140724204671440 139631398063863 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
/proc/15600/statm: 3494497 17227 3726 1 0 3483271 0
[pid=15600/tid=15602] ppid=15597 vsize=13977988 memory=53 CPUtime=0.54 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (java) R 15597 15600 12560 0 -1 1077944384 10367 0 0 0 51 3 0 0 20 0 15 0 72081775 14313459712 17227 18446744073709551615 4194304 4196468 140724204688896 139631402296624 139631398074069 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15603] ppid=15597 vsize=13977988 memory=2209 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (java) S 15597 15600 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72081776 14313459712 17227 18446744073709551615 4194304 4196468 140724204688896 139631340010640 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15604] ppid=15597 vsize=13977988 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15604/stat : 15604 (java) S 15597 15600 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72081776 14313459712 17227 18446744073709551615 4194304 4196468 140724204688896 139631338957840 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15605] ppid=15597 vsize=13977988 memory=33 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15605/stat : 15605 (java) S 15597 15600 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72081776 14313459712 17227 18446744073709551615 4194304 4196468 140724204688896 139631337905040 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15606] ppid=15597 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15606/stat : 15606 (java) S 15597 15600 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72081776 14313459712 17227 18446744073709551615 4194304 4196468 140724204688896 139631336852240 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15607] ppid=15597 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15607/stat : 15607 (java) S 15597 15600 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72081777 14313459712 17227 18446744073709551615 4194304 4196468 140724204688896 139630944614768 139631398075010 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15608] ppid=15597 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15608/stat : 15608 (java) S 15597 15600 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72081777 14313459712 17227 18446744073709551615 4194304 4196468 140724204688896 139630943560736 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15609] ppid=15597 vsize=13977988 memory=280966023173776 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15609/stat : 15609 (java) S 15597 15600 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72081778 14313459712 17227 18446744073709551615 4194304 4196468 140724204688896 139630942507888 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15610] ppid=15597 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15610/stat : 15610 (java) S 15597 15600 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72081780 14313459712 17227 18446744073709551615 4194304 4196468 140724204688896 139630941456208 139631398082459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15611] ppid=15597 vsize=13977988 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/15600/task/15611/stat : 15611 (java) R 15597 15600 12560 0 -1 4202560 623 0 0 0 12 0 0 0 20 0 15 0 72081780 14313459712 17227 18446744073709551615 4194304 4196468 140724204688896 139630940393824 139631378764160 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15612] ppid=15597 vsize=13977988 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/15600/task/15612/stat : 15612 (java) R 15597 15600 12560 0 -1 4202560 710 0 0 0 12 0 0 0 20 0 15 0 72081780 14313459712 17227 18446744073709551615 4194304 4196468 140724204688896 139630939342624 139631377916072 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15613] ppid=15597 vsize=13977988 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/15600/task/15613/stat : 15613 (java) R 15597 15600 12560 0 -1 4202560 825 0 0 0 22 0 0 0 20 0 15 0 72081780 14313459712 17227 18446744073709551615 4194304 4196468 140724204688896 139630938296784 139631398075798 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15614] ppid=15597 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15614/stat : 15614 (java) S 15597 15600 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72081780 14313459712 17227 18446744073709551615 4194304 4196468 140724204688896 139630937246432 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15615] ppid=15597 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15615/stat : 15615 (java) S 15597 15600 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72081785 14313459712 17227 18446744073709551615 4194304 4196468 140724204688896 139630936193712 139631398075010 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
Current children cumulated CPU time: 1.03 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 68908 KiB

[startup+1.5011 s]
/proc/loadavg: 1.39 1.38 1.37 6/209 15615
/proc/meminfo: memFree=29040840/32770624 swapFree=67105588/67108860
[pid=15600] ppid=15597 vsize=13982084 memory=190016 CPUtime=3.5 cores=1,3,5,7
/proc/15600/stat : 15600 (java) S 15597 15600 12560 0 -1 1077944320 31777 0 0 0 341 9 0 0 20 0 15 0 72081766 14317654016 47504 18446744073709551615 4194304 4196468 140724204688896 140724204671440 139631398063863 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
/proc/15600/statm: 3495521 47504 3763 1 0 3484295 0
[pid=15600/tid=15602] ppid=15597 vsize=13982084 memory=-8774313645642428999 CPUtime=1.32 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (java) R 15597 15600 12560 0 -1 4202560 15541 0 0 0 126 6 0 0 20 0 15 0 72081775 14317654016 47504 18446744073709551615 4194304 4196468 140724204688896 139631402297336 139631014520718 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15603] ppid=15597 vsize=13982084 memory=7674596115929182250 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (java) S 15597 15600 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72081776 14317654016 47504 18446744073709551615 4194304 4196468 140724204688896 139631340010640 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15604] ppid=15597 vsize=13982084 memory=4638778398333030736 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15604/stat : 15604 (java) S 15597 15600 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72081776 14317654016 47504 18446744073709551615 4194304 4196468 140724204688896 139631338957840 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15605] ppid=15597 vsize=13982084 memory=2984339746955739232 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15605/stat : 15605 (java) S 15597 15600 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72081776 14317654016 47504 18446744073709551615 4194304 4196468 140724204688896 139631337905040 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15606] ppid=15597 vsize=13982084 memory=4638778406922633312 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15606/stat : 15606 (java) S 15597 15600 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72081776 14317654016 47504 18446744073709551615 4194304 4196468 140724204688896 139631336852240 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15607] ppid=15597 vsize=13982084 memory=-9123011406873206402 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15607/stat : 15607 (java) S 15597 15600 12560 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 72081777 14317654016 47504 18446744073709551615 4194304 4196468 140724204688896 139630944614768 139631398075010 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15608] ppid=15597 vsize=13982084 memory=4346044353833085232 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15608/stat : 15608 (java) S 15597 15600 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72081777 14317654016 47504 18446744073709551615 4194304 4196468 140724204688896 139630943560736 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15609] ppid=15597 vsize=13982084 memory=-8253362664916754368 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15609/stat : 15609 (java) S 15597 15600 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72081778 14317654016 47504 18446744073709551615 4194304 4196468 140724204688896 139630942507888 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15610] ppid=15597 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15610/stat : 15610 (java) S 15597 15600 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72081780 14317654016 47504 18446744073709551615 4194304 4196468 140724204688896 139630941456208 139631398082459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15611] ppid=15597 vsize=13982084 memory=-3395018481981096024 CPUtime=0.72 cores=1,3,5,7
/proc/15600/task/15611/stat : 15611 (java) R 15597 15600 12560 0 -1 4202560 4315 0 0 0 72 0 0 0 20 0 15 0 72081780 14317654016 47504 18446744073709551615 4194304 4196468 140724204688896 139630940385608 139631381564061 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15612] ppid=15597 vsize=13982084 memory=1399101730491701635 CPUtime=0.72 cores=1,3,5,7
/proc/15600/task/15612/stat : 15612 (java) R 15597 15600 12560 0 -1 4202560 3640 0 0 0 71 1 0 0 20 0 15 0 72081780 14317654016 47504 18446744073709551615 4194304 4196468 140724204688896 139630939333424 139631379607967 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15613] ppid=15597 vsize=13982084 memory=1399101730491701635 CPUtime=0.71 cores=1,3,5,7
/proc/15600/task/15613/stat : 15613 (java) S 15597 15600 12560 0 -1 1077944384 6480 0 0 0 70 1 0 0 20 0 15 0 72081780 14317654016 47504 18446744073709551615 4194304 4196468 140724204688896 139630938298992 139631398075010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15614] ppid=15597 vsize=13982084 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15614/stat : 15614 (java) S 15597 15600 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72081780 14317654016 47504 18446744073709551615 4194304 4196468 140724204688896 139630937246432 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15615] ppid=15597 vsize=13982084 memory=6944656592455360569 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15615/stat : 15615 (java) S 15597 15600 12560 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 72081785 14317654016 47504 18446744073709551615 4194304 4196468 140724204688896 139630936193712 139631398075010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
Current children cumulated CPU time: 3.5 s
Current children cumulated vsize: 13982084 KiB

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

/proc/15600/task/15602/stat : 15602 (java) R 15597 15600 12560 0 -1 4202560 87287 0 0 0 236837 68 0 0 20 0 15 0 72081775 14317654016 775344 18446744073709551615 4194304 4196468 140724204688896 139631402302496 139631023156992 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15603] ppid=15597 vsize=13982084 memory=3101376 CPUtime=6.36 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (java) S 15597 15600 12560 0 -1 1077944384 26296 0 0 0 599 37 0 0 20 0 15 0 72081776 14317654016 775344 18446744073709551615 4194304 4196468 140724204688896 139631340010640 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15604] ppid=15597 vsize=13982084 memory=3101376 CPUtime=6.38 cores=1,3,5,7
/proc/15600/task/15604/stat : 15604 (java) S 15597 15600 12560 0 -1 1077944384 19257 0 0 0 596 42 0 0 20 0 15 0 72081776 14317654016 775344 18446744073709551615 4194304 4196468 140724204688896 139631338957840 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15605] ppid=15597 vsize=13982084 memory=3101376 CPUtime=6.37 cores=1,3,5,7
/proc/15600/task/15605/stat : 15605 (java) S 15597 15600 12560 0 -1 1077944384 24418 0 0 0 599 38 0 0 20 0 15 0 72081776 14317654016 775344 18446744073709551615 4194304 4196468 140724204688896 139631337905040 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15606] ppid=15597 vsize=13982084 memory=3101376 CPUtime=6.4 cores=1,3,5,7
/proc/15600/task/15606/stat : 15606 (java) S 15597 15600 12560 0 -1 1077944384 22619 0 0 0 605 35 0 0 20 0 15 0 72081776 14317654016 775344 18446744073709551615 4194304 4196468 140724204688896 139631336852240 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15607] ppid=15597 vsize=13982084 memory=3101376 CPUtime=4.28 cores=1,3,5,7
/proc/15600/task/15607/stat : 15607 (java) S 15597 15600 12560 0 -1 1077944384 24040 0 0 0 394 34 0 0 20 0 15 0 72081777 14317654016 775344 18446744073709551615 4194304 4196468 140724204688896 139630944614768 139631398075010 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15608] ppid=15597 vsize=13982084 memory=3101376 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15608/stat : 15608 (java) S 15597 15600 12560 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 72081777 14317654016 775344 18446744073709551615 4194304 4196468 140724204688896 139630943560800 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15609] ppid=15597 vsize=13982084 memory=3101376 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15609/stat : 15609 (java) S 15597 15600 12560 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 72081778 14317654016 775344 18446744073709551615 4194304 4196468 140724204688896 139630942507904 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15610] ppid=15597 vsize=13982084 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15610/stat : 15610 (java) S 15597 15600 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72081780 14317654016 775344 18446744073709551615 4194304 4196468 140724204688896 139630941456208 139631398082459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15611] ppid=15597 vsize=13982084 memory=3101376 CPUtime=2.19 cores=1,3,5,7
/proc/15600/task/15611/stat : 15611 (java) S 15597 15600 12560 0 -1 1077944384 7024 0 0 0 218 1 0 0 20 0 15 0 72081780 14317654016 775344 18446744073709551615 4194304 4196468 140724204688896 139630940404592 139631398075010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15612] ppid=15597 vsize=13982084 memory=3101376 CPUtime=2.06 cores=1,3,5,7
/proc/15600/task/15612/stat : 15612 (java) S 15597 15600 12560 0 -1 1077944384 6342 0 0 0 204 2 0 0 20 0 15 0 72081780 14317654016 775344 18446744073709551615 4194304 4196468 140724204688896 139630939351792 139631398075010 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15613] ppid=15597 vsize=13982084 memory=832 CPUtime=0.89 cores=1,3,5,7
/proc/15600/task/15613/stat : 15613 (java) S 15597 15600 12560 0 -1 1077944384 8276 0 0 0 87 2 0 0 20 0 15 0 72081780 14317654016 775344 18446744073709551615 4194304 4196468 140724204688896 139630938298992 139631398075010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15614] ppid=15597 vsize=13982084 memory=16448 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15614/stat : 15614 (java) S 15597 15600 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72081780 14317654016 775344 18446744073709551615 4194304 4196468 140724204688896 139630937246432 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15615] ppid=15597 vsize=13982084 memory=2384 CPUtime=1.23 cores=1,3,5,7
/proc/15600/task/15615/stat : 15615 (java) S 15597 15600 12560 0 -1 1077944384 1884 0 0 0 56 67 0 0 20 0 15 0 72081785 14317654016 775344 18446744073709551615 4194304 4196468 140724204688896 139630936193712 139631398075010 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 55 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
Current children cumulated CPU time: 2405.29 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3101376 KiB

[startup+2442.3 s]
/proc/loadavg: 1.58 1.34 1.37 2/195 15843
/proc/meminfo: memFree=28408692/32770624 swapFree=67105588/67108860
[pid=15600] ppid=15597 vsize=13982084 memory=3105472 CPUtime=2465.92 cores=1,3,5,7
/proc/15600/stat : 15600 (java) S 15597 15600 12560 0 -1 1077944320 232672 0 0 0 246305 287 0 0 20 0 15 0 72081766 14317654016 776368 18446744073709551615 4194304 4196468 140724204688896 140724204671440 139631398063863 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
/proc/15600/statm: 3495521 776368 3810 1 0 3484295 0
[pid=15600/tid=15602] ppid=15597 vsize=13982084 memory=3105472 CPUtime=2428.58 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (java) R 15597 15600 12560 0 -1 4202560 88371 0 0 0 242789 69 0 0 20 0 15 0 72081775 14317654016 776368 18446744073709551615 4194304 4196468 140724204688896 139631402302256 139631024506836 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15603] ppid=15597 vsize=13982084 memory=3105472 CPUtime=6.59 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (java) S 15597 15600 12560 0 -1 1077944384 26573 0 0 0 621 38 0 0 20 0 15 0 72081776 14317654016 776368 18446744073709551615 4194304 4196468 140724204688896 139631340010640 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15604] ppid=15597 vsize=13982084 memory=4144 CPUtime=6.61 cores=1,3,5,7
/proc/15600/task/15604/stat : 15604 (java) S 15597 15600 12560 0 -1 1077944384 20104 0 0 0 618 43 0 0 20 0 15 0 72081776 14317654016 776368 18446744073709551615 4194304 4196468 140724204688896 139631338957840 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15605] ppid=15597 vsize=13982084 memory=3105472 CPUtime=6.6 cores=1,3,5,7
/proc/15600/task/15605/stat : 15605 (java) S 15597 15600 12560 0 -1 1077944384 25231 0 0 0 621 39 0 0 20 0 15 0 72081776 14317654016 776368 18446744073709551615 4194304 4196468 140724204688896 139631337905040 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15606] ppid=15597 vsize=13982084 memory=3103424 CPUtime=6.63 cores=1,3,5,7
/proc/15600/task/15606/stat : 15606 (java) S 15597 15600 12560 0 -1 1077944384 22848 0 0 0 627 36 0 0 20 0 15 0 72081776 14317654016 776368 18446744073709551615 4194304 4196468 140724204688896 139631336852240 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15607] ppid=15597 vsize=13982084 memory=3103424 CPUtime=4.42 cores=1,3,5,7
/proc/15600/task/15607/stat : 15607 (java) S 15597 15600 12560 0 -1 1077944384 24548 0 0 0 407 35 0 0 20 0 15 0 72081777 14317654016 776368 18446744073709551615 4194304 4196468 140724204688896 139630944614768 139631398075010 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15608] ppid=15597 vsize=13982084 memory=3105472 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15608/stat : 15608 (java) S 15597 15600 12560 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 72081777 14317654016 776368 18446744073709551615 4194304 4196468 140724204688896 139630943560800 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15609] ppid=15597 vsize=13982084 memory=3105472 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15609/stat : 15609 (java) S 15597 15600 12560 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 72081778 14317654016 776368 18446744073709551615 4194304 4196468 140724204688896 139630942507904 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15610] ppid=15597 vsize=13982084 memory=3105472 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15610/stat : 15610 (java) S 15597 15600 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72081780 14317654016 776368 18446744073709551615 4194304 4196468 140724204688896 139630941456208 139631398082459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15611] ppid=15597 vsize=13982084 memory=3105472 CPUtime=2.19 cores=1,3,5,7
/proc/15600/task/15611/stat : 15611 (java) S 15597 15600 12560 0 -1 1077944384 7028 0 0 0 218 1 0 0 20 0 15 0 72081780 14317654016 776368 18446744073709551615 4194304 4196468 140724204688896 139630940404592 139631398075010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15612] ppid=15597 vsize=13982084 memory=3105472 CPUtime=2.06 cores=1,3,5,7
/proc/15600/task/15612/stat : 15612 (java) S 15597 15600 12560 0 -1 1077944384 6346 0 0 0 204 2 0 0 20 0 15 0 72081780 14317654016 776368 18446744073709551615 4194304 4196468 140724204688896 139630939351792 139631398075010 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15613] ppid=15597 vsize=13982084 memory=280966024284128 CPUtime=0.89 cores=1,3,5,7
/proc/15600/task/15613/stat : 15613 (java) S 15597 15600 12560 0 -1 1077944384 8280 0 0 0 87 2 0 0 20 0 15 0 72081780 14317654016 776368 18446744073709551615 4194304 4196468 140724204688896 139630938298992 139631398075010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15614] ppid=15597 vsize=13982084 memory=3105472 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15614/stat : 15614 (java) S 15597 15600 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72081780 14317654016 776368 18446744073709551615 4194304 4196468 140724204688896 139630937246432 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15615] ppid=15597 vsize=13982084 memory=3105472 CPUtime=1.26 cores=1,3,5,7
/proc/15600/task/15615/stat : 15615 (java) S 15597 15600 12560 0 -1 1077944384 1924 0 0 0 57 69 0 0 20 0 15 0 72081785 14317654016 776368 18446744073709551615 4194304 4196468 140724204688896 139630936193712 139631398075010 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 55 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
Current children cumulated CPU time: 2465.92 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3105472 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2495.9 s]
/proc/loadavg: 1.49 1.35 1.37 3/209 15858
/proc/meminfo: memFree=28271276/32770624 swapFree=67105588/67108860
[pid=15600] ppid=15597 vsize=13982084 memory=3109568 CPUtime=2520.08 cores=1,3,5,7
/proc/15600/stat : 15600 (java) S 15597 15600 12560 0 -1 1077944320 236529 0 0 0 251715 293 0 0 20 0 15 0 72081766 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 140724204671440 139631398063863 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
/proc/15600/statm: 3495521 777392 3810 1 0 3484295 0
[pid=15600/tid=15602] ppid=15597 vsize=13982084 memory=3105472 CPUtime=2481.76 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (java) R 15597 15600 12560 0 -1 4202560 89546 0 0 0 248106 70 0 0 20 0 15 0 72081775 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139631402302384 139631024504467 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15603] ppid=15597 vsize=13982084 memory=3105472 CPUtime=6.8 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (java) S 15597 15600 12560 0 -1 1077944384 27211 0 0 0 641 39 0 0 20 0 15 0 72081776 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139631340010640 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15604] ppid=15597 vsize=13982084 memory=3107520 CPUtime=6.81 cores=1,3,5,7
/proc/15600/task/15604/stat : 15604 (java) S 15597 15600 12560 0 -1 1077944384 20468 0 0 0 638 43 0 0 20 0 15 0 72081776 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139631338957840 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15605] ppid=15597 vsize=13982084 memory=3107520 CPUtime=6.81 cores=1,3,5,7
/proc/15600/task/15605/stat : 15605 (java) S 15597 15600 12560 0 -1 1077944384 26093 0 0 0 640 41 0 0 20 0 15 0 72081776 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139631337905040 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15606] ppid=15597 vsize=13982084 memory=161 CPUtime=6.83 cores=1,3,5,7
/proc/15600/task/15606/stat : 15606 (java) S 15597 15600 12560 0 -1 1077944384 23103 0 0 0 647 36 0 0 20 0 15 0 72081776 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139631336852240 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15607] ppid=15597 vsize=13982084 memory=3109568 CPUtime=4.55 cores=1,3,5,7
/proc/15600/task/15607/stat : 15607 (java) S 15597 15600 12560 0 -1 1077944384 25059 0 0 0 419 36 0 0 20 0 15 0 72081777 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139630944614768 139631398075010 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15608] ppid=15597 vsize=13982084 memory=3109568 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15608/stat : 15608 (java) S 15597 15600 12560 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 72081777 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139630943560800 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15609] ppid=15597 vsize=13982084 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15609/stat : 15609 (java) S 15597 15600 12560 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 72081778 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139630942507904 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15610] ppid=15597 vsize=13982084 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15610/stat : 15610 (java) S 15597 15600 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72081780 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139630941456208 139631398082459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15611] ppid=15597 vsize=13982084 memory=1292 CPUtime=2.19 cores=1,3,5,7
/proc/15600/task/15611/stat : 15611 (java) S 15597 15600 12560 0 -1 1077944384 7032 0 0 0 218 1 0 0 20 0 15 0 72081780 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139630940404592 139631398075010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15612] ppid=15597 vsize=13982084 memory=2384 CPUtime=2.06 cores=1,3,5,7
/proc/15600/task/15612/stat : 15612 (java) S 15597 15600 12560 0 -1 1077944384 6350 0 0 0 204 2 0 0 20 0 15 0 72081780 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139630939351792 139631398075010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15613] ppid=15597 vsize=13982084 memory=3107520 CPUtime=0.89 cores=1,3,5,7
/proc/15600/task/15613/stat : 15613 (java) S 15597 15600 12560 0 -1 1077944384 8284 0 0 0 87 2 0 0 20 0 15 0 72081780 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139630938298992 139631398075010 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15614] ppid=15597 vsize=13982084 memory=1688 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15614/stat : 15614 (java) S 15597 15600 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72081780 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139630937246432 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15615] ppid=15597 vsize=13982084 memory=5808 CPUtime=1.29 cores=1,3,5,7
/proc/15600/task/15615/stat : 15615 (java) S 15597 15600 12560 0 -1 1077944384 1964 0 0 0 59 70 0 0 20 0 15 0 72081785 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139630936193712 139631398075010 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 55 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3109568 KiB

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

[startup+2495.95 s]
# the end of solver process 15600 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.19 s, system=2.94983 s

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

[startup+2495.9 s]
/proc/loadavg: 1.49 1.35 1.37 3/209 15858
/proc/meminfo: memFree=28271276/32770624 swapFree=67105588/67108860
[pid=15600] ppid=15597 vsize=13982084 memory=3109568 CPUtime=2520.08 cores=1,3,5,7
/proc/15600/stat : 15600 (java) S 15597 15600 12560 0 -1 1077944320 236529 0 0 0 251715 293 0 0 20 0 15 0 72081766 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 140724204671440 139631398063863 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
/proc/15600/statm: 3495521 777392 3810 1 0 3484295 0
[pid=15600/tid=15602] ppid=15597 vsize=13982084 memory=3105472 CPUtime=2481.76 cores=1,3,5,7
/proc/15600/task/15602/stat : 15602 (java) R 15597 15600 12560 0 -1 4202560 89546 0 0 0 248106 70 0 0 20 0 15 0 72081775 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139631402302384 139631024504467 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15603] ppid=15597 vsize=13982084 memory=3105472 CPUtime=6.8 cores=1,3,5,7
/proc/15600/task/15603/stat : 15603 (java) S 15597 15600 12560 0 -1 1077944384 27211 0 0 0 641 39 0 0 20 0 15 0 72081776 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139631340010640 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15604] ppid=15597 vsize=13982084 memory=3107520 CPUtime=6.81 cores=1,3,5,7
/proc/15600/task/15604/stat : 15604 (java) S 15597 15600 12560 0 -1 1077944384 20468 0 0 0 638 43 0 0 20 0 15 0 72081776 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139631338957840 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15605] ppid=15597 vsize=13982084 memory=3107520 CPUtime=6.81 cores=1,3,5,7
/proc/15600/task/15605/stat : 15605 (java) S 15597 15600 12560 0 -1 1077944384 26093 0 0 0 640 41 0 0 20 0 15 0 72081776 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139631337905040 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15606] ppid=15597 vsize=13982084 memory=161 CPUtime=6.83 cores=1,3,5,7
/proc/15600/task/15606/stat : 15606 (java) S 15597 15600 12560 0 -1 1077944384 23103 0 0 0 647 36 0 0 20 0 15 0 72081776 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139631336852240 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15607] ppid=15597 vsize=13982084 memory=3109568 CPUtime=4.55 cores=1,3,5,7
/proc/15600/task/15607/stat : 15607 (java) S 15597 15600 12560 0 -1 1077944384 25059 0 0 0 419 36 0 0 20 0 15 0 72081777 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139630944614768 139631398075010 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15608] ppid=15597 vsize=13982084 memory=3109568 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15608/stat : 15608 (java) S 15597 15600 12560 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 72081777 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139630943560800 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15609] ppid=15597 vsize=13982084 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15609/stat : 15609 (java) S 15597 15600 12560 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 72081778 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139630942507904 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15610] ppid=15597 vsize=13982084 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15610/stat : 15610 (java) S 15597 15600 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72081780 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139630941456208 139631398082459 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15611] ppid=15597 vsize=13982084 memory=1292 CPUtime=2.19 cores=1,3,5,7
/proc/15600/task/15611/stat : 15611 (java) S 15597 15600 12560 0 -1 1077944384 7032 0 0 0 218 1 0 0 20 0 15 0 72081780 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139630940404592 139631398075010 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15612] ppid=15597 vsize=13982084 memory=2384 CPUtime=2.06 cores=1,3,5,7
/proc/15600/task/15612/stat : 15612 (java) S 15597 15600 12560 0 -1 1077944384 6350 0 0 0 204 2 0 0 20 0 15 0 72081780 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139630939351792 139631398075010 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15613] ppid=15597 vsize=13982084 memory=3107520 CPUtime=0.89 cores=1,3,5,7
/proc/15600/task/15613/stat : 15613 (java) S 15597 15600 12560 0 -1 1077944384 8284 0 0 0 87 2 0 0 20 0 15 0 72081780 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139630938298992 139631398075010 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15614] ppid=15597 vsize=13982084 memory=1688 CPUtime=0 cores=1,3,5,7
/proc/15600/task/15614/stat : 15614 (java) S 15597 15600 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72081780 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139630937246432 139631398074069 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
[pid=15600/tid=15615] ppid=15597 vsize=13982084 memory=5808 CPUtime=1.29 cores=1,3,5,7
/proc/15600/task/15615/stat : 15615 (java) S 15597 15600 12560 0 -1 1077944384 1964 0 0 0 59 70 0 0 20 0 15 0 72081785 14317654016 777392 18446744073709551615 4194304 4196468 140724204688896 139630936193712 139631398075010 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 55 0 0 6293624 6294260 15728640 140724204691823 140724204692009 140724204692009 140724204695503 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 3109568 KiB

Child status: 143
Real time (s): 2495.95
CPU time (s): 2520.14
CPU user time (s): 2517.19
CPU system time (s): 2.94983
CPU usage (%): 100.969
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 3473460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.19
system time used= 2.94983
maximum resident set size= 3474596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238548
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 178668
involuntary context switches= 6724


# summary of solver processes directly reported to runsolver:
#   pid: 15600
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2517.19
#   total CPU system time (s): 2.94983

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4457 second user time and 23.2753 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	516
Best CPU time to get the best result obtained on this benchmark	2519.78
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 4273745

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