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 - ALNS 2017-07-26	SAT (TO)	374	2520.1399	2456.4399

0.26/0.38	c version: 2017-07-26
0.26/0.38	c seed: 58817953
0.26/0.38	c timeout: 2520
0.26/0.38	c memlimit: 11000
0.26/0.38	c nbcore: 4
0.26/0.41	c Parsing instance...
4.66/2.09	c Parsing done, starting search...
6.77/2.91	o 299
9.78/5.35	o 301
78.62/72.24	o 302
387.45/375.12	o 306
444.18/430.30	o 310
455.96/441.83	o 311
480.86/466.10	o 314
502.04/486.79	o 315
504.08/488.71	o 316
507.46/492.02	o 318
519.25/503.52	o 320
519.55/503.86	o 322
533.09/517.08	o 323
533.50/517.41	o 329
862.69/838.04	o 330
863.69/839.09	o 331
919.64/893.73	o 332
920.64/894.77	o 333
940.51/914.20	o 334
942.71/916.49	o 336
944.51/918.22	o 337
945.61/919.30	o 338
949.97/923.42	o 339
977.27/950.14	o 340
1048.64/1019.98	o 341
1057.93/1029.08	o 342
1058.33/1029.40	o 343
1192.20/1159.93	o 344
1192.50/1160.26	o 347
1419.45/1381.68	o 348
1521.92/1481.63	o 349
1656.80/1613.17	o 350
1694.63/1650.19	o 351
1696.33/1651.85	o 352
1697.93/1653.48	o 353
1699.63/1655.10	o 354
1701.14/1656.70	o 355
1702.73/1658.29	o 356
1704.33/1659.83	o 357
1705.83/1661.33	o 358
1707.25/1662.78	o 359
1708.74/1664.20	o 360
1710.04/1665.61	o 361
1711.44/1666.96	o 362
1712.74/1668.28	o 363
1714.04/1669.56	o 364
1715.34/1670.82	o 365
1716.54/1672.07	o 366
1717.84/1673.30	o 367
1718.84/1674.34	o 368
1720.04/1675.56	o 369
2098.70/2045.29	o 370
2099.00/2045.59	o 374
2520.08/2456.41	s SATISFIABLE
2520.08/2456.42	v <instantiation>
2520.08/2456.42	v 	<list>
2520.08/2456.42	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/2456.42	v 	</list>
2520.08/2456.42	v 	<values>
2520.08/2456.42	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 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 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 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 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 0 1 0 1 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 1 1 0 0 0 0 1 1 0 0 0 0 0 1 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 1 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 1 0 1 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 0 0 1 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 1 1 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 1 0 0 1 1 1 1 1 0 0 0 1 0 1 1 0 0 0 1 1 1 1 1 1 1 0 0 1 0 1 0 1 1 1 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 0 0 1 0 1 0 0 0 1 1 1 1 1 1 0 0 1 0 0 0 1 1 1 1 0 1 0 0 0 1 0 0 1 0 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 1 0 1 1 1 1 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 1 1 1 1 1 0 0 0 1 0 1 1 0 1 0 1 0 0 0 1 1 1 0 0 1 1 1 0 0 0 0 0 1 0 1 0 0 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 1 0 1 0 0 1 1 1 0 0 0 1 0 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 1 0 0 0 1 0 0 0 1 1 1 1 1 0 0 0 0 1 0 1 0 1 0 1 0 0 1 0 0 1 1 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 1 1 0 1 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 1 1 0 1 1 1 1 0 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 1 0 1 1 1 1 1 1 1 0 0 1 1 0 0 1 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 0 0 1 1 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 0 1 0 1 0 0 0 1 1 0 1 1 0 0 0 1 1 1 0 1 1 1 1 1 1 1 1 0 0 1 0 1 1 1 1 1 0 1 1 1 1 0 1 0 1 1 0 0 0 0 0 0 0 1 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 1 0 1 1 0 1 0 1 1 0 1 1 0 0 1 0 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 0 0 1 1 0 1 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 0 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 0 0 0 0 0 0 0 0 1 1 1 1 1 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 0 1 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 1 1 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 1 1 2 2 2 2 2 0 0 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 0 0 1 2 2 2 2 2 2 2 1 1 2 2 2 2 1 0 0 1 2 1 1 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 2 2 2 1 1 2 2 2 2 1 0 0 1 1 0 0 0 2 1 2 2 2 2 2 2 2 2 2 2 2 1 1 2 2 2 2 2 1 1 2 2 2 2 2 1 1 2 1 1 0 2 0 1 1 2 2 2 1 1 2 2 2 2 1 0 0 1 2 2 2 2 1 1 2 2 2 2 2 2 1 1 2 1 2 0 0 0 1 2 2 1 0 0 1 2 2 2 1 0 0 1 2 2 2 2 1 1 2 1 1 2 2 1 1 0 0 1 2 2 1 1 2 1 2 1 0 0 1 2 2 2 2 0 0 2 2 2 2 2 1 1 1 0 0 0 2 1 0 0 0 1 0 2 2 2 0 1 0 2 1 1 2 2 2 2 1 0 1 1 1 1 2 1 1 1 1 1 0 2 0 0 0 0 0 0 1 1 2 0 0 2 0 0 2 1 1 2 1 1 1 0 0 0 0 0 0 1 0 1 2 1 2 0 0 0 0 0 0 0 0 0 0 1 0 0 2 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 1 2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 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 0 0 0 0 1 0 1 0 0 2 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 2 1 2 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 2 0 0 0 2 2 2 0 0 2 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 0 1 0 2 1 1 0 0 0 0 0 0 0 0 1 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 2 0 0 0 0 0 1 0 0 0 0 0 1 2 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 2 1 1 0 0 0 0 0 0 0 0 1 1 2 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 1 1 1 0 0 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 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 0 0 0 0 0 0 0 1 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 1 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 0 30 88 142 198 254 304 352 396 440 474 495 507 518 524 531 537 544 551 559 571 586 598 604 615 626 632 633 641 643 647 660 662 666 680 374 
2520.08/2456.42	v 	</values>
2520.08/2456.42	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 (13447 MiB free)
  memory of node 1: 16384 MiB (15416 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273265-1502741029/watcher-4273265-1502741029 -o /tmp/evaluation-result-4273265-1502741029/solver-4273265-1502741029 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502658038-4850 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 58817953 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273265-1502741029.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=15782, runsolver pid=15779

[startup+0.100088 s]*
/proc/loadavg: 1.92 1.60 1.54 3/205 15788
/proc/meminfo: memFree=29551672/32770624 swapFree=67108776/67108860
[pid=15782] ppid=15779 vsize=13358552 memory=14932 CPUtime=0.01 cores=1,3,5,7
/proc/15782/stat : 15782 (java) S 15779 15782 7084 0 -1 1077944320 3564 0 0 0 1 0 0 0 20 0 6 0 173755576 13679157248 3733 18446744073709551615 4194304 4196468 140734286472656 140734286455200 140718633692919 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
/proc/15782/statm: 3339638 3733 1913 1 0 3329135 0
[pid=15782/tid=15784] ppid=15779 vsize=13358552 memory=7974038411334692957 CPUtime=0.01 cores=1,3,5,7
/proc/15782/task/15784/stat : 15784 (java) R 15779 15782 7084 0 -1 4202560 2282 0 0 0 1 0 0 0 20 0 6 0 173755585 13679157248 3733 18446744073709551615 4194304 4196468 140734286472656 140718637929040 140718612994448 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15785] ppid=15779 vsize=13358552 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15785/stat : 15785 (java) S 15779 15782 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 173755586 13679157248 3733 18446744073709551615 4194304 4196468 140734286472656 140718568126864 140718633703125 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15786] ppid=15779 vsize=13358552 memory=139924096861824 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15786/stat : 15786 (java) S 15779 15782 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 173755586 13679157248 3733 18446744073709551615 4194304 4196468 140734286472656 140718567074064 140718633703125 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15787] ppid=15779 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15787/stat : 15787 (java) S 15779 15782 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 173755586 13679157248 3733 18446744073709551615 4194304 4196468 140734286472656 140718566021776 140718633703125 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15788] ppid=15779 vsize=13358552 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15788/stat : 15788 (java) S 15779 15782 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 173755586 13679157248 3799 18446744073709551615 4194304 4196468 140734286472656 140718564968976 140718633703125 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 14932 KiB

[startup+0.209985 s]*
/proc/loadavg: 1.92 1.60 1.54 4/214 15798
/proc/meminfo: memFree=29540224/32770624 swapFree=67108776/67108860
[pid=15782] ppid=15779 vsize=13975920 memory=30708 CPUtime=0.09 cores=1,3,5,7
/proc/15782/stat : 15782 (java) S 15779 15782 7084 0 -1 1077944320 7004 0 0 0 8 1 0 0 20 0 15 0 173755576 14311342080 7677 18446744073709551615 4194304 4196468 140734286472656 140734286455200 140718633692919 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
/proc/15782/statm: 3493980 7677 3368 1 0 3482759 0
[pid=15782/tid=15784] ppid=15779 vsize=13975920 memory=8318255677412212789 CPUtime=0.07 cores=1,3,5,7
/proc/15782/task/15784/stat : 15784 (java) R 15779 15782 7084 0 -1 4202560 5023 0 0 0 7 0 0 0 20 0 15 0 173755585 14311342080 7677 18446744073709551615 4194304 4196468 140734286472656 140718637896048 140718625930046 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15785] ppid=15779 vsize=13975920 memory=329 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15785/stat : 15785 (java) S 15779 15782 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173755586 14311342080 7677 18446744073709551615 4194304 4196468 140734286472656 140718568126864 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15786] ppid=15779 vsize=13975920 memory=139924098099196 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15786/stat : 15786 (java) S 15779 15782 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173755586 14311342080 7677 18446744073709551615 4194304 4196468 140734286472656 140718567074064 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15787] ppid=15779 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15787/stat : 15787 (java) S 15779 15782 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173755586 14311342080 7677 18446744073709551615 4194304 4196468 140734286472656 140718566021776 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15788] ppid=15779 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15788/stat : 15788 (java) S 15779 15782 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 173755586 14311342080 7677 18446744073709551615 4194304 4196468 140734286472656 140718564968976 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15789] ppid=15779 vsize=13975920 memory=139924096861824 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15789/stat : 15789 (java) S 15779 15782 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 173755587 14311342080 7677 18446744073709551615 4194304 4196468 140734286472656 140718112352880 140718633704066 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15790] ppid=15779 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15790/stat : 15790 (java) S 15779 15782 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 173755588 14311342080 7677 18446744073709551615 4194304 4196468 140734286472656 140718111298848 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15791] ppid=15779 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15791/stat : 15791 (java) S 15779 15782 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 173755588 14311342080 7677 18446744073709551615 4194304 4196468 140734286472656 140718110246512 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15792] ppid=15779 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15792/stat : 15792 (java) S 15779 15782 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173755590 14311342080 7677 18446744073709551615 4194304 4196468 140734286472656 140718109194832 140718633711515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15793] ppid=15779 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15793/stat : 15793 (java) S 15779 15782 7084 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 15 0 173755590 14311342080 7677 18446744073709551615 4194304 4196468 140734286472656 140718108141680 140718633704066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15794] ppid=15779 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15794/stat : 15794 (java) S 15779 15782 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173755590 14311342080 7677 18446744073709551615 4194304 4196468 140734286472656 140718107088880 140718633704066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15795] ppid=15779 vsize=13975920 memory=139924096861824 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15795/stat : 15795 (java) R 15779 15782 7084 0 -1 4202560 307 0 0 0 0 0 0 0 20 0 15 0 173755590 14311342080 7677 18446744073709551615 4194304 4196468 140734286472656 140718106036592 140718612393120 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15796] ppid=15779 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15796/stat : 15796 (java) S 15779 15782 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173755590 14311342080 7677 18446744073709551615 4194304 4196468 140734286472656 140718104984032 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15798] ppid=15779 vsize=13975920 memory=139924096861824 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15798/stat : 15798 (java) S 15779 15782 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173755595 14311342080 7677 18446744073709551615 4194304 4196468 140734286472656 140718103931824 140718633704066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 30708 KiB

[startup+0.314548 s]*
/proc/loadavg: 1.92 1.60 1.54 4/214 15798
/proc/meminfo: memFree=29530444/32770624 swapFree=67108776/67108860
[pid=15782] ppid=15779 vsize=13975920 memory=40188 CPUtime=0.26 cores=1,3,5,7
/proc/15782/stat : 15782 (java) S 15779 15782 7084 0 -1 1077944320 10760 0 0 0 23 3 0 0 20 0 15 0 173755576 14311342080 10047 18446744073709551615 4194304 4196468 140734286472656 140734286455200 140718633692919 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
/proc/15782/statm: 3493980 10047 3545 1 0 3482759 0
[pid=15782/tid=15784] ppid=15779 vsize=13975920 memory=7668954370464627011 CPUtime=0.18 cores=1,3,5,7
/proc/15782/task/15784/stat : 15784 (java) R 15779 15782 7084 0 -1 4202560 8495 0 0 0 16 2 0 0 20 0 15 0 173755585 14311342080 10047 18446744073709551615 4194304 4196468 140734286472656 140718637892544 140718617773406 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15785] ppid=15779 vsize=13975920 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15785/stat : 15785 (java) S 15779 15782 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173755586 14311342080 10047 18446744073709551615 4194304 4196468 140734286472656 140718568126864 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15786] ppid=15779 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15786/stat : 15786 (java) S 15779 15782 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173755586 14311342080 10047 18446744073709551615 4194304 4196468 140734286472656 140718567074064 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15787] ppid=15779 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15787/stat : 15787 (java) S 15779 15782 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173755586 14311342080 10047 18446744073709551615 4194304 4196468 140734286472656 140718566021776 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15788] ppid=15779 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15788/stat : 15788 (java) S 15779 15782 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 173755586 14311342080 10047 18446744073709551615 4194304 4196468 140734286472656 140718564968976 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15789] ppid=15779 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15789/stat : 15789 (java) S 15779 15782 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 173755587 14311342080 10047 18446744073709551615 4194304 4196468 140734286472656 140718112352880 140718633704066 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15790] ppid=15779 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15790/stat : 15790 (java) S 15779 15782 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 173755588 14311342080 10047 18446744073709551615 4194304 4196468 140734286472656 140718111298848 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15791] ppid=15779 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15791/stat : 15791 (java) S 15779 15782 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 173755588 14311342080 10047 18446744073709551615 4194304 4196468 140734286472656 140718110246512 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15792] ppid=15779 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15792/stat : 15792 (java) S 15779 15782 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173755590 14311342080 10047 18446744073709551615 4194304 4196468 140734286472656 140718109194832 140718633711515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15793] ppid=15779 vsize=13975920 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/15782/task/15793/stat : 15793 (java) R 15779 15782 7084 0 -1 4202560 356 0 0 0 1 0 0 0 20 0 15 0 173755590 14311342080 10047 18446744073709551615 4194304 4196468 140734286472656 140718108141680 140718625930046 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15794] ppid=15779 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15794/stat : 15794 (java) R 15779 15782 7084 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 15 0 173755590 14311342080 10047 18446744073709551615 4194304 4196468 140734286472656 140718107088880 140718633704066 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15795] ppid=15779 vsize=13975920 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/15782/task/15795/stat : 15795 (java) R 15779 15782 7084 0 -1 4202560 381 0 0 0 5 0 0 0 20 0 15 0 173755590 14311342080 10047 18446744073709551615 4194304 4196468 140734286472656 140718106036592 140718611911718 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15796] ppid=15779 vsize=13975920 memory=139924096861824 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15796/stat : 15796 (java) S 15779 15782 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173755590 14311342080 10047 18446744073709551615 4194304 4196468 140734286472656 140718104984032 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15798] ppid=15779 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15798/stat : 15798 (java) S 15779 15782 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173755595 14311342080 10047 18446744073709551615 4194304 4196468 140734286472656 140718103931824 140718633704066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 40188 KiB

[startup+0.701473 s]
/proc/loadavg: 1.92 1.60 1.54 4/214 15798
/proc/meminfo: memFree=29515720/32770624 swapFree=67108776/67108860
[pid=15782] ppid=15779 vsize=13977988 memory=69764 CPUtime=1.07 cores=1,3,5,7
/proc/15782/stat : 15782 (java) S 15779 15782 7084 0 -1 1077944320 14150 0 0 0 103 4 0 0 20 0 15 0 173755576 14313459712 17441 18446744073709551615 4194304 4196468 140734286472656 140734286455200 140718633692919 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
/proc/15782/statm: 3494497 17441 3736 1 0 3483271 0
[pid=15782/tid=15784] ppid=15779 vsize=13977988 memory=7662705889289527641 CPUtime=0.55 cores=1,3,5,7
/proc/15782/task/15784/stat : 15784 (java) R 15779 15782 7084 0 -1 4202560 10378 0 0 0 53 2 0 0 20 0 15 0 173755585 14313459712 17441 18446744073709551615 4194304 4196468 140734286472656 140718637927400 140718245024961 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15785] ppid=15779 vsize=13977988 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15785/stat : 15785 (java) S 15779 15782 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173755586 14313459712 17441 18446744073709551615 4194304 4196468 140734286472656 140718568126864 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15786] ppid=15779 vsize=13977988 memory=6296683625556824416 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15786/stat : 15786 (java) S 15779 15782 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173755586 14313459712 17441 18446744073709551615 4194304 4196468 140734286472656 140718567074064 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15787] ppid=15779 vsize=13977988 memory=7523638460580128064 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15787/stat : 15787 (java) S 15779 15782 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173755586 14313459712 17441 18446744073709551615 4194304 4196468 140734286472656 140718566021776 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15788] ppid=15779 vsize=13977988 memory=6566 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15788/stat : 15788 (java) S 15779 15782 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 173755586 14313459712 17441 18446744073709551615 4194304 4196468 140734286472656 140718564968976 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15789] ppid=15779 vsize=13977988 memory=60 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15789/stat : 15789 (java) S 15779 15782 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 173755587 14313459712 17441 18446744073709551615 4194304 4196468 140734286472656 140718112352880 140718633704066 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15790] ppid=15779 vsize=13977988 memory=542 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15790/stat : 15790 (java) S 15779 15782 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 173755588 14313459712 17441 18446744073709551615 4194304 4196468 140734286472656 140718111298848 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15791] ppid=15779 vsize=13977988 memory=1113 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15791/stat : 15791 (java) S 15779 15782 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 173755588 14313459712 17441 18446744073709551615 4194304 4196468 140734286472656 140718110246512 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15792] ppid=15779 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15792/stat : 15792 (java) S 15779 15782 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173755590 14313459712 17441 18446744073709551615 4194304 4196468 140734286472656 140718109194832 140718633711515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15793] ppid=15779 vsize=13977988 memory=768 CPUtime=0.13 cores=1,3,5,7
/proc/15782/task/15793/stat : 15793 (java) R 15779 15782 7084 0 -1 4202560 760 0 0 0 13 0 0 0 20 0 15 0 173755590 14313459712 17441 18446744073709551615 4194304 4196468 140734286472656 140718108127208 140718618797445 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15794] ppid=15779 vsize=13977988 memory=16444 CPUtime=0.13 cores=1,3,5,7
/proc/15782/task/15794/stat : 15794 (java) R 15779 15782 7084 0 -1 4202560 687 0 0 0 13 0 0 0 20 0 15 0 173755590 14313459712 17441 18446744073709551615 4194304 4196468 140734286472656 140718107069896 140718617189620 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15795] ppid=15779 vsize=13977988 memory=7668954370464627011 CPUtime=0.23 cores=1,3,5,7
/proc/15782/task/15795/stat : 15795 (java) R 15779 15782 7084 0 -1 4202560 949 0 0 0 23 0 0 0 20 0 15 0 173755590 14313459712 17441 18446744073709551615 4194304 4196468 140734286472656 140718106032536 140718612349793 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15796] ppid=15779 vsize=13977988 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15796/stat : 15796 (java) S 15779 15782 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173755590 14313459712 17507 18446744073709551615 4194304 4196468 140734286472656 140718104984032 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15798] ppid=15779 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15798/stat : 15798 (java) S 15779 15782 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173755595 14313459712 17507 18446744073709551615 4194304 4196468 140734286472656 140718103931824 140718633704066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 69764 KiB

[startup+1.50947 s]
/proc/loadavg: 1.92 1.60 1.54 6/214 15798
/proc/meminfo: memFree=29468648/32770624 swapFree=67108776/67108860
[pid=15782] ppid=15779 vsize=13982084 memory=197516 CPUtime=3.59 cores=1,3,5,7
/proc/15782/stat : 15782 (java) S 15779 15782 7084 0 -1 1077944320 31535 0 0 0 348 11 0 0 20 0 15 0 173755576 14317654016 49379 18446744073709551615 4194304 4196468 140734286472656 140734286455200 140718633692919 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
/proc/15782/statm: 3495521 49379 3765 1 0 3484295 0
[pid=15782/tid=15784] ppid=15779 vsize=13982084 memory=0 CPUtime=1.36 cores=1,3,5,7
/proc/15782/task/15784/stat : 15784 (java) R 15779 15782 7084 0 -1 4202560 15489 0 0 0 129 7 0 0 20 0 15 0 173755585 14317654016 49379 18446744073709551615 4194304 4196468 140734286472656 140718637929504 140718245041026 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15785] ppid=15779 vsize=13982084 memory=136912 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15785/stat : 15785 (java) S 15779 15782 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173755586 14317654016 49379 18446744073709551615 4194304 4196468 140734286472656 140718568126864 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15786] ppid=15779 vsize=13982084 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15786/stat : 15786 (java) S 15779 15782 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173755586 14317654016 49379 18446744073709551615 4194304 4196468 140734286472656 140718567074064 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15787] ppid=15779 vsize=13982084 memory=170926129 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15787/stat : 15787 (java) S 15779 15782 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 173755586 14317654016 49379 18446744073709551615 4194304 4196468 140734286472656 140718566021776 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15788] ppid=15779 vsize=13982084 memory=6566 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15788/stat : 15788 (java) S 15779 15782 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 173755586 14317654016 49379 18446744073709551615 4194304 4196468 140734286472656 140718564968976 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15789] ppid=15779 vsize=13982084 memory=60 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15789/stat : 15789 (java) S 15779 15782 7084 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 173755587 14317654016 49379 18446744073709551615 4194304 4196468 140734286472656 140718112352880 140718633704066 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15790] ppid=15779 vsize=13982084 memory=542 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15790/stat : 15790 (java) S 15779 15782 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 173755588 14317654016 49379 18446744073709551615 4194304 4196468 140734286472656 140718111298848 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15791] ppid=15779 vsize=13982084 memory=1113 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15791/stat : 15791 (java) S 15779 15782 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 173755588 14317654016 49379 18446744073709551615 4194304 4196468 140734286472656 140718110246512 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15792] ppid=15779 vsize=13982084 memory=279847989517664 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15792/stat : 15792 (java) S 15779 15782 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173755590 14317654016 49379 18446744073709551615 4194304 4196468 140734286472656 140718109194832 140718633711515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15793] ppid=15779 vsize=13982084 memory=-8774313645642428999 CPUtime=0.77 cores=1,3,5,7
/proc/15782/task/15793/stat : 15793 (java) S 15779 15782 7084 0 -1 1077944384 3337 0 0 0 76 1 0 0 20 0 15 0 173755590 14317654016 49379 18446744073709551615 4194304 4196468 140734286472656 140718108141680 140718633704066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15794] ppid=15779 vsize=13982084 memory=836 CPUtime=0.71 cores=1,3,5,7
/proc/15782/task/15794/stat : 15794 (java) R 15779 15782 7084 0 -1 4202560 4404 0 0 0 70 1 0 0 20 0 15 0 173755590 14317654016 49379 18446744073709551615 4194304 4196468 140734286472656 140718107074824 140718611709911 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15795] ppid=15779 vsize=13982084 memory=2768 CPUtime=0.72 cores=1,3,5,7
/proc/15782/task/15795/stat : 15795 (java) S 15779 15782 7084 0 -1 1077944384 6503 0 0 0 71 1 0 0 20 0 15 0 173755590 14317654016 49379 18446744073709551615 4194304 4196468 140734286472656 140718106036592 140718633704066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15796] ppid=15779 vsize=13982084 memory=7955440999175110756 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15796/stat : 15796 (java) S 15779 15782 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173755590 14317654016 49379 18446744073709551615 4194304 4196468 140734286472656 140718104984032 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15798] ppid=15779 vsize=13982084 memory=7955440999175110756 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15798/stat : 15798 (java) S 15779 15782 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 173755595 14317654016 49379 18446744073709551615 4194304 4196468 140734286472656 140718103931824 140718633704066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
Current children cumulated CPU time: 3.59 s
Current children cumulated vsize: 13982084 KiB

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

/proc/15782/task/15784/stat : 15784 (java) R 15779 15782 7084 0 -1 4202560 125796 0 0 0 229956 93 0 0 20 0 15 0 173755585 14317654016 258840 18446744073709551615 4194304 4196468 140734286472656 140718637930640 140718256281806 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15785] ppid=15779 vsize=13982084 memory=1028964 CPUtime=17.95 cores=1,3,5,7
/proc/15782/task/15785/stat : 15785 (java) S 15779 15782 7084 0 -1 1077944384 17076 0 0 0 1756 39 0 0 20 0 15 0 173755586 14317654016 258840 18446744073709551615 4194304 4196468 140734286472656 140718568126864 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15786] ppid=15779 vsize=13982084 memory=1028964 CPUtime=17.96 cores=1,3,5,7
/proc/15782/task/15786/stat : 15786 (java) S 15779 15782 7084 0 -1 1077944384 19572 0 0 0 1758 38 0 0 20 0 15 0 173755586 14317654016 258840 18446744073709551615 4194304 4196468 140734286472656 140718567074064 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15787] ppid=15779 vsize=13982084 memory=1021144 CPUtime=17.97 cores=1,3,5,7
/proc/15782/task/15787/stat : 15787 (java) S 15779 15782 7084 0 -1 1077944384 19431 0 0 0 1758 39 0 0 20 0 15 0 173755586 14317654016 258840 18446744073709551615 4194304 4196468 140734286472656 140718566021776 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15788] ppid=15779 vsize=13982084 memory=1156 CPUtime=17.96 cores=1,3,5,7
/proc/15782/task/15788/stat : 15788 (java) S 15779 15782 7084 0 -1 1077944384 20157 0 0 0 1759 37 0 0 20 0 15 0 173755586 14317654016 258840 18446744073709551615 4194304 4196468 140734286472656 140718564968976 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15789] ppid=15779 vsize=13982084 memory=3188 CPUtime=2.24 cores=1,3,5,7
/proc/15782/task/15789/stat : 15789 (java) S 15779 15782 7084 0 -1 1077944384 81282 0 0 0 183 41 0 0 20 0 15 0 173755587 14317654016 258840 18446744073709551615 4194304 4196468 140734286472656 140718112352880 140718633704066 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15790] ppid=15779 vsize=13982084 memory=139923995774264 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15790/stat : 15790 (java) S 15779 15782 7084 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 173755588 14317654016 258840 18446744073709551615 4194304 4196468 140734286472656 140718111298912 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15791] ppid=15779 vsize=13982084 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15791/stat : 15791 (java) S 15779 15782 7084 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 173755588 14317654016 258840 18446744073709551615 4194304 4196468 140734286472656 140718110246528 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15792] ppid=15779 vsize=13982084 memory=4156 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15792/stat : 15792 (java) S 15779 15782 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173755590 14317654016 258840 18446744073709551615 4194304 4196468 140734286472656 140718109194832 140718633711515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15793] ppid=15779 vsize=13982084 memory=74184 CPUtime=2.78 cores=1,3,5,7
/proc/15782/task/15793/stat : 15793 (java) S 15779 15782 7084 0 -1 1077944384 17945 0 0 0 274 4 0 0 20 0 15 0 173755590 14317654016 258840 18446744073709551615 4194304 4196468 140734286472656 140718108141680 140718633704066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15794] ppid=15779 vsize=13982084 memory=1038072 CPUtime=2.72 cores=1,3,5,7
/proc/15782/task/15794/stat : 15794 (java) S 15779 15782 7084 0 -1 1077944384 19835 0 0 0 269 3 0 0 20 0 15 0 173755590 14317654016 258840 18446744073709551615 4194304 4196468 140734286472656 140718107088880 140718633704066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15795] ppid=15779 vsize=13982084 memory=1836 CPUtime=1.17 cores=1,3,5,7
/proc/15782/task/15795/stat : 15795 (java) S 15779 15782 7084 0 -1 1077944384 32559 0 0 0 113 4 0 0 20 0 15 0 173755590 14317654016 258840 18446744073709551615 4194304 4196468 140734286472656 140718106036592 140718633704066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15796] ppid=15779 vsize=13982084 memory=1051408 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15796/stat : 15796 (java) S 15779 15782 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173755590 14317654016 258840 18446744073709551615 4194304 4196468 140734286472656 140718104984032 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15798] ppid=15779 vsize=13982084 memory=2460 CPUtime=1.27 cores=1,3,5,7
/proc/15782/task/15798/stat : 15798 (java) S 15779 15782 7084 0 -1 1077944384 1708 0 0 0 57 70 0 0 20 0 15 0 173755595 14317654016 258840 18446744073709551615 4194304 4196468 140734286472656 140718103931824 140718633704066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
Current children cumulated CPU time: 2382.59 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1035360 KiB

[startup+2382.3 s]
/proc/loadavg: 1.40 1.31 1.36 3/213 16050
/proc/meminfo: memFree=29603960/32770624 swapFree=67108776/67108860
[pid=15782] ppid=15779 vsize=13982084 memory=1154284 CPUtime=2444.14 cores=1,3,5,7
/proc/15782/stat : 15782 (java) S 15779 15782 7084 0 -1 1077944320 363957 0 0 0 244046 368 0 0 20 0 15 0 173755576 14317654016 288571 18446744073709551615 4194304 4196468 140734286472656 140734286455200 140718633692919 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
/proc/15782/statm: 3495521 288571 3841 1 0 3484295 0
[pid=15782/tid=15784] ppid=15779 vsize=13982084 memory=796 CPUtime=2359.87 cores=1,3,5,7
/proc/15782/task/15784/stat : 15784 (java) R 15779 15782 7084 0 -1 4202560 128925 0 0 0 235893 94 0 0 20 0 15 0 173755585 14317654016 288571 18446744073709551615 4194304 4196468 140734286472656 140718637930752 140718254787655 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15785] ppid=15779 vsize=13982084 memory=1154284 CPUtime=18.46 cores=1,3,5,7
/proc/15782/task/15785/stat : 15785 (java) S 15779 15782 7084 0 -1 1077944384 17555 0 0 0 1803 43 0 0 20 0 15 0 173755586 14317654016 288571 18446744073709551615 4194304 4196468 140734286472656 140718568126864 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15786] ppid=15779 vsize=13982084 memory=1156168 CPUtime=18.46 cores=1,3,5,7
/proc/15782/task/15786/stat : 15786 (java) S 15779 15782 7084 0 -1 1077944384 20066 0 0 0 1804 42 0 0 20 0 15 0 173755586 14317654016 288571 18446744073709551615 4194304 4196468 140734286472656 140718567074064 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15787] ppid=15779 vsize=13982084 memory=1156088 CPUtime=18.49 cores=1,3,5,7
/proc/15782/task/15787/stat : 15787 (java) S 15779 15782 7084 0 -1 1077944384 19911 0 0 0 1806 43 0 0 20 0 15 0 173755586 14317654016 288571 18446744073709551615 4194304 4196468 140734286472656 140718566021776 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15788] ppid=15779 vsize=13982084 memory=1156088 CPUtime=18.48 cores=1,3,5,7
/proc/15782/task/15788/stat : 15788 (java) S 15779 15782 7084 0 -1 1077944384 20730 0 0 0 1807 41 0 0 20 0 15 0 173755586 14317654016 288571 18446744073709551615 4194304 4196468 140734286472656 140718564968976 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15789] ppid=15779 vsize=13982084 memory=0 CPUtime=2.3 cores=1,3,5,7
/proc/15782/task/15789/stat : 15789 (java) S 15779 15782 7084 0 -1 1077944384 83255 0 0 0 189 41 0 0 20 0 15 0 173755587 14317654016 288571 18446744073709551615 4194304 4196468 140734286472656 140718112352880 140718633704066 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15790] ppid=15779 vsize=13982084 memory=1151952 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15790/stat : 15790 (java) S 15779 15782 7084 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 173755588 14317654016 288571 18446744073709551615 4194304 4196468 140734286472656 140718111298912 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15791] ppid=15779 vsize=13982084 memory=1156612 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15791/stat : 15791 (java) S 15779 15782 7084 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 173755588 14317654016 288571 18446744073709551615 4194304 4196468 140734286472656 140718110246528 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15792] ppid=15779 vsize=13982084 memory=1154112 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15792/stat : 15792 (java) S 15779 15782 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173755590 14317654016 288571 18446744073709551615 4194304 4196468 140734286472656 140718109194832 140718633711515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15793] ppid=15779 vsize=13982084 memory=1154284 CPUtime=2.78 cores=1,3,5,7
/proc/15782/task/15793/stat : 15793 (java) S 15779 15782 7084 0 -1 1077944384 17947 0 0 0 274 4 0 0 20 0 15 0 173755590 14317654016 288571 18446744073709551615 4194304 4196468 140734286472656 140718108141680 140718633704066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15794] ppid=15779 vsize=13982084 memory=1156088 CPUtime=2.72 cores=1,3,5,7
/proc/15782/task/15794/stat : 15794 (java) S 15779 15782 7084 0 -1 1077944384 19837 0 0 0 269 3 0 0 20 0 15 0 173755590 14317654016 288571 18446744073709551615 4194304 4196468 140734286472656 140718107088880 140718633704066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15795] ppid=15779 vsize=13982084 memory=1154284 CPUtime=1.18 cores=1,3,5,7
/proc/15782/task/15795/stat : 15795 (java) S 15779 15782 7084 0 -1 1077944384 32561 0 0 0 114 4 0 0 20 0 15 0 173755590 14317654016 288571 18446744073709551615 4194304 4196468 140734286472656 140718106036592 140718633704066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15796] ppid=15779 vsize=13982084 memory=1196 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15796/stat : 15796 (java) S 15779 15782 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173755590 14317654016 288571 18446744073709551615 4194304 4196468 140734286472656 140718104984032 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15798] ppid=15779 vsize=13982084 memory=1154284 CPUtime=1.3 cores=1,3,5,7
/proc/15782/task/15798/stat : 15798 (java) S 15779 15782 7084 0 -1 1077944384 1723 0 0 0 58 72 0 0 20 0 15 0 173755595 14317654016 288571 18446744073709551615 4194304 4196468 140734286472656 140718103931824 140718633704066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
Current children cumulated CPU time: 2444.14 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1154284 KiB

[startup+2442.3 s]
/proc/loadavg: 1.29 1.30 1.35 3/216 16066
/proc/meminfo: memFree=29677356/32770624 swapFree=67108776/67108860
[pid=15782] ppid=15779 vsize=13982084 memory=1070900 CPUtime=2505.65 cores=1,3,5,7
/proc/15782/stat : 15782 (java) S 15779 15782 7084 0 -1 1077944320 370042 0 0 0 250190 375 0 0 20 0 15 0 173755576 14317654016 267725 18446744073709551615 4194304 4196468 140734286472656 140734286455200 140718633692919 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
/proc/15782/statm: 3495521 267725 3841 1 0 3484295 0
[pid=15782/tid=15784] ppid=15779 vsize=13982084 memory=1082184 CPUtime=2419.27 cores=1,3,5,7
/proc/15782/task/15784/stat : 15784 (java) R 15779 15782 7084 0 -1 4202560 131544 0 0 0 241832 95 0 0 20 0 15 0 173755585 14317654016 267725 18446744073709551615 4194304 4196468 140734286472656 140718637930816 140718255313351 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15785] ppid=15779 vsize=13982084 memory=1076028 CPUtime=18.97 cores=1,3,5,7
/proc/15782/task/15785/stat : 15785 (java) S 15779 15782 7084 0 -1 1077944384 18142 0 0 0 1854 43 0 0 20 0 15 0 173755586 14317654016 267725 18446744073709551615 4194304 4196468 140734286472656 140718568126864 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15786] ppid=15779 vsize=13982084 memory=0 CPUtime=18.96 cores=1,3,5,7
/proc/15782/task/15786/stat : 15786 (java) S 15779 15782 7084 0 -1 1077944384 20334 0 0 0 1853 43 0 0 20 0 15 0 173755586 14317654016 267725 18446744073709551615 4194304 4196468 140734286472656 140718567074064 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15787] ppid=15779 vsize=13982084 memory=1082184 CPUtime=19 cores=1,3,5,7
/proc/15782/task/15787/stat : 15787 (java) S 15779 15782 7084 0 -1 1077944384 20105 0 0 0 1856 44 0 0 20 0 15 0 173755586 14317654016 267725 18446744073709551615 4194304 4196468 140734286472656 140718566021776 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15788] ppid=15779 vsize=13982084 memory=1087316 CPUtime=18.99 cores=1,3,5,7
/proc/15782/task/15788/stat : 15788 (java) S 15779 15782 7084 0 -1 1077944384 21003 0 0 0 1857 42 0 0 20 0 15 0 173755586 14317654016 267725 18446744073709551615 4194304 4196468 140734286472656 140718564968976 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15789] ppid=15779 vsize=13982084 memory=1088340 CPUtime=2.36 cores=1,3,5,7
/proc/15782/task/15789/stat : 15789 (java) S 15779 15782 7084 0 -1 1077944384 85164 0 0 0 194 42 0 0 20 0 15 0 173755587 14317654016 267725 18446744073709551615 4194304 4196468 140734286472656 140718112352880 140718633704066 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15790] ppid=15779 vsize=13982084 memory=1093472 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15790/stat : 15790 (java) S 15779 15782 7084 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 173755588 14317654016 267725 18446744073709551615 4194304 4196468 140734286472656 140718111298912 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15791] ppid=15779 vsize=13982084 memory=1110912 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15791/stat : 15791 (java) S 15779 15782 7084 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 173755588 14317654016 267725 18446744073709551615 4194304 4196468 140734286472656 140718110246528 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15792] ppid=15779 vsize=13982084 memory=1087316 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15792/stat : 15792 (java) S 15779 15782 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173755590 14317654016 267725 18446744073709551615 4194304 4196468 140734286472656 140718109194832 140718633711515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15793] ppid=15779 vsize=13982084 memory=11384 CPUtime=2.78 cores=1,3,5,7
/proc/15782/task/15793/stat : 15793 (java) S 15779 15782 7084 0 -1 1077944384 17949 0 0 0 274 4 0 0 20 0 15 0 173755590 14317654016 267725 18446744073709551615 4194304 4196468 140734286472656 140718108141680 140718633704066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15794] ppid=15779 vsize=13982084 memory=1070900 CPUtime=2.72 cores=1,3,5,7
/proc/15782/task/15794/stat : 15794 (java) S 15779 15782 7084 0 -1 1077944384 19840 0 0 0 269 3 0 0 20 0 15 0 173755590 14317654016 267725 18446744073709551615 4194304 4196468 140734286472656 140718107088880 140718633704066 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15795] ppid=15779 vsize=13982084 memory=1070900 CPUtime=1.18 cores=1,3,5,7
/proc/15782/task/15795/stat : 15795 (java) S 15779 15782 7084 0 -1 1077944384 32776 0 0 0 114 4 0 0 20 0 15 0 173755590 14317654016 267725 18446744073709551615 4194304 4196468 140734286472656 140718106036592 140718633704066 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15796] ppid=15779 vsize=13982084 memory=272 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15796/stat : 15796 (java) S 15779 15782 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173755590 14317654016 267725 18446744073709551615 4194304 4196468 140734286472656 140718104984032 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15798] ppid=15779 vsize=13982084 memory=1076028 CPUtime=1.33 cores=1,3,5,7
/proc/15782/task/15798/stat : 15798 (java) S 15779 15782 7084 0 -1 1077944384 1738 0 0 0 59 74 0 0 20 0 15 0 173755595 14317654016 267725 18446744073709551615 4194304 4196468 140734286472656 140718103931824 140718633704066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
Current children cumulated CPU time: 2505.65 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1070900 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2456.4 s]
/proc/loadavg: 1.23 1.29 1.35 3/216 16066
/proc/meminfo: memFree=29703844/32770624 swapFree=67108776/67108860
[pid=15782] ppid=15779 vsize=13982084 memory=1044736 CPUtime=2520.08 cores=1,3,5,7
/proc/15782/stat : 15782 (java) S 15779 15782 7084 0 -1 1077944320 370199 0 0 0 251632 376 0 0 20 0 15 0 173755576 14317654016 261184 18446744073709551615 4194304 4196468 140734286472656 140734286455200 140718633692919 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
/proc/15782/statm: 3495521 261184 3841 1 0 3484295 0
[pid=15782/tid=15784] ppid=15779 vsize=13982084 memory=15884 CPUtime=2433.23 cores=1,3,5,7
/proc/15782/task/15784/stat : 15784 (java) R 15779 15782 7084 0 -1 4202560 131691 0 0 0 243228 95 0 0 20 0 15 0 173755585 14317654016 261184 18446744073709551615 4194304 4196468 140734286472656 140718637930704 140718256281888 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15785] ppid=15779 vsize=13982084 memory=4044 CPUtime=19.08 cores=1,3,5,7
/proc/15782/task/15785/stat : 15785 (java) S 15779 15782 7084 0 -1 1077944384 18146 0 0 0 1864 44 0 0 20 0 15 0 173755586 14317654016 261184 18446744073709551615 4194304 4196468 140734286472656 140718568126864 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15786] ppid=15779 vsize=13982084 memory=43252 CPUtime=19.07 cores=1,3,5,7
/proc/15782/task/15786/stat : 15786 (java) S 15779 15782 7084 0 -1 1077944384 20336 0 0 0 1864 43 0 0 20 0 15 0 173755586 14317654016 261184 18446744073709551615 4194304 4196468 140734286472656 140718567074064 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15787] ppid=15779 vsize=13982084 memory=636 CPUtime=19.1 cores=1,3,5,7
/proc/15782/task/15787/stat : 15787 (java) S 15779 15782 7084 0 -1 1077944384 20107 0 0 0 1866 44 0 0 20 0 15 0 173755586 14317654016 261184 18446744073709551615 4194304 4196468 140734286472656 140718566021776 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15788] ppid=15779 vsize=13982084 memory=1796 CPUtime=19.1 cores=1,3,5,7
/proc/15782/task/15788/stat : 15788 (java) S 15779 15782 7084 0 -1 1077944384 21005 0 0 0 1868 42 0 0 20 0 15 0 173755586 14317654016 261184 18446744073709551615 4194304 4196468 140734286472656 140718564968976 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15789] ppid=15779 vsize=13982084 memory=960 CPUtime=2.38 cores=1,3,5,7
/proc/15782/task/15789/stat : 15789 (java) S 15779 15782 7084 0 -1 1077944384 85164 0 0 0 195 43 0 0 20 0 15 0 173755587 14317654016 261184 18446744073709551615 4194304 4196468 140734286472656 140718112352880 140718633704066 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15790] ppid=15779 vsize=13982084 memory=1236 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15790/stat : 15790 (java) S 15779 15782 7084 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 173755588 14317654016 261184 18446744073709551615 4194304 4196468 140734286472656 140718111298912 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15791] ppid=15779 vsize=13982084 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15791/stat : 15791 (java) S 15779 15782 7084 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 173755588 14317654016 261184 18446744073709551615 4194304 4196468 140734286472656 140718110246528 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15792] ppid=15779 vsize=13982084 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15792/stat : 15792 (java) S 15779 15782 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173755590 14317654016 261184 18446744073709551615 4194304 4196468 140734286472656 140718109194832 140718633711515 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15793] ppid=15779 vsize=13982084 memory=288230621803970871 CPUtime=2.78 cores=1,3,5,7
/proc/15782/task/15793/stat : 15793 (java) S 15779 15782 7084 0 -1 1077944384 17949 0 0 0 274 4 0 0 20 0 15 0 173755590 14317654016 261184 18446744073709551615 4194304 4196468 140734286472656 140718108141680 140718633704066 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15794] ppid=15779 vsize=13982084 memory=13563786715989427 CPUtime=2.72 cores=1,3,5,7
/proc/15782/task/15794/stat : 15794 (java) S 15779 15782 7084 0 -1 1077944384 19840 0 0 0 269 3 0 0 20 0 15 0 173755590 14317654016 261184 18446744073709551615 4194304 4196468 140734286472656 140718107088880 140718633704066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15795] ppid=15779 vsize=13982084 memory=636 CPUtime=1.18 cores=1,3,5,7
/proc/15782/task/15795/stat : 15795 (java) S 15779 15782 7084 0 -1 1077944384 32776 0 0 0 114 4 0 0 20 0 15 0 173755590 14317654016 261184 18446744073709551615 4194304 4196468 140734286472656 140718106036592 140718633704066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15796] ppid=15779 vsize=13982084 memory=1796 CPUtime=0 cores=1,3,5,7
/proc/15782/task/15796/stat : 15796 (java) S 15779 15782 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 173755590 14317654016 261184 18446744073709551615 4194304 4196468 140734286472656 140718104984032 140718633703125 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
[pid=15782/tid=15798] ppid=15779 vsize=13982084 memory=960 CPUtime=1.33 cores=1,3,5,7
/proc/15782/task/15798/stat : 15798 (java) S 15779 15782 7084 0 -1 1077944384 1738 0 0 0 59 74 0 0 20 0 15 0 173755595 14317654016 261184 18446744073709551615 4194304 4196468 140734286472656 140718103931824 140718633704066 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31735808 140734286475638 140734286475817 140734286475817 140734286479311 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 1044736 KiB

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

[startup+2456.44 s]
# the end of solver process 15782 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.36 s, system=3.77565 s

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

Child status: 143
Real time (s): 2456.44
CPU time (s): 2520.14
CPU user time (s): 2516.36
CPU system time (s): 3.77565
CPU usage (%): 102.593
Max. virtual memory (cumulated for all children) (KiB): 13983108
Max. memory (cumulated for all children) (KiB): 3838908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.36
system time used= 3.77565
maximum resident set size= 3841508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 370423
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 100781
involuntary context switches= 5063


# summary of solver processes directly reported to runsolver:
#   pid: 15782
#   total CPU time (s): 2520.14
#   total CPU user time (s): 2516.36
#   total CPU system time (s): 3.77565

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6715 second user time and 23.9424 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 4273265

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