Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - ALNS 2017-07-26 | SAT (TO) | 1273 | 248.161 | 240.04201 |
| Name | Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml |
| MD5SUM | 65a76f6052f0c7193e3442ad9f3b990a |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT TO |
| Best value of the objective obtained on this benchmark | 743 |
| Best CPU time to get the best result obtained on this benchmark | 251.907 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1122 |
| Number of constraints | 1088 |
| Number of domains | 3 |
| Minimum domain size | 1 |
| Maximum domain size | 101 |
| Distribution of domain sizes | [{"size":1,"count":33},{"size":2,"count":1056},{"size":101,"count":32}] |
| Minimum variable degree | 0 |
| Maximum variable degree | 63 |
| Distribution of variable degrees | [{"degree":0,"count":1},{"degree":1,"count":33},{"degree":2,"count":64},{"degree":4,"count":992},{"degree":63,"count":32}] |
| Minimum constraint arity | 1 |
| Maximum constraint arity | 32 |
| Distribution of constraint arities | [{"arity":1,"count":32},{"arity":3,"count":992},{"arity":32,"count":64}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 32 |
| Distribution of constraint types | [{"type":"intension","count":32},{"type":"sum","count":992},{"type":"count","count":64}] |
| Optimization problem | YES |
| Type of objective | min SUM |
0.36/0.40 c version: 2017-07-26 0.36/0.41 c seed: 559820767 0.36/0.41 c timeout: 264 0.36/0.41 c memlimit: 11000 0.36/0.41 c nbcore: 4 0.36/0.43 c Parsing instance... 2.03/1.20 c Parsing done, starting search... 2.35/1.27 o 1669 10.82/7.27 o 1491 20.34/16.44 o 1485 57.63/53.35 o 1457 131.10/125.90 o 1435 136.96/131.60 o 1430 140.75/135.38 o 1429 141.89/136.45 o 1423 151.63/145.94 o 1419 181.34/174.93 o 1417 190.98/184.33 o 1414 192.11/185.49 o 1412 199.88/193.06 o 1410 202.86/195.91 o 1403 202.96/196.02 o 1402 211.78/204.65 o 1387 212.91/205.71 o 1382 216.80/209.51 o 1358 221.63/214.25 o 1352 225.52/218.02 o 1341 226.54/219.05 o 1336 238.03/230.22 o 1310 238.03/230.28 o 1273 248.10/240.01 s SATISFIABLE 248.10/240.01 v <instantiation> 248.10/240.01 v <list> 248.10/240.01 v x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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] u[1] u[2] u[3] u[4] u[5] u[6] u[7] u[8] u[9] u[10] u[11] u[12] u[13] u[14] u[15] u[16] u[17] u[18] u[19] u[20] u[21] u[22] u[23] u[24] u[25] u[26] u[27] u[28] u[29] u[30] u[31] u[32] 248.10/240.01 v </list> 248.10/240.01 v <values> 248.10/240.01 v 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 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 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 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 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 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 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 0 0 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 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 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 0 0 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 0 0 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 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 0 0 0 0 0 0 0 0 0 0 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 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 0 0 0 0 0 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 0 0 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 0 0 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 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 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 55 72 78 93 100 29 24 36 53 54 100 84 26 100 20 9 18 43 65 75 100 26 10 47 26 68 79 100 53 78 3 31 248.10/240.01 v </values> 248.10/240.01 v </instantiation>
OK 1273
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL This is runsolver version 3.3.7 (svn: 2553) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255863-1501630482/watcher-4255863-1501630482 -o /tmp/evaluation-result-4255863-1501630482/solver-4255863-1501630482 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501623099-24765 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 559820767 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255863-1501630482.xml pid=29407 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.76 1.75 1.70 2/198 29410 /proc/meminfo: memFree=31279604/32770624 swapFree=0/301780 [pid=29410] ppid=29407 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/29410/stat : 29410 (runsolver) D 29407 29410 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 10553978 24240128 107 18446744073709551615 4194304 4338465 140732317278928 140732317276568 139843955081943 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 8478720 140732317286509 140732317286982 140732317286982 140732317290442 0 /proc/29410/statm: 5918 107 54 36 0 2156 0 [startup+0.100076 s] /proc/loadavg: 1.76 1.75 1.70 2/198 29410 /proc/meminfo: memFree=31279604/32770624 swapFree=0/301780 [pid=29410] ppid=29407 vsize=356952 CPUtime=0 cores=0,2,4,6 /proc/29410/stat : 29410 (java) S 29407 29410 5234 0 -1 1077944320 1731 0 0 0 0 0 0 0 20 0 2 0 10553978 365518848 1881 18446744073709551615 4194304 4196468 140723814262016 140723814244560 140532548767479 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 /proc/29410/statm: 89238 1881 1032 1 0 79216 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 356952 [startup+0.200323 s] /proc/loadavg: 1.76 1.75 1.70 2/198 29410 /proc/meminfo: memFree=31279604/32770624 swapFree=0/301780 [pid=29410] ppid=29407 vsize=13906484 CPUtime=0.06 cores=0,2,4,6 /proc/29410/stat : 29410 (java) S 29407 29410 5234 0 -1 1077944320 5008 0 0 0 5 1 0 0 20 0 14 0 10553978 14240239616 5537 18446744073709551615 4194304 4196468 140723814262016 140723814244560 140532548767479 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 /proc/29410/statm: 3476621 5537 2559 1 0 3466126 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 13906484 [startup+0.300271 s] /proc/loadavg: 1.76 1.75 1.70 2/198 29410 /proc/meminfo: memFree=31279604/32770624 swapFree=0/301780 [pid=29410] ppid=29407 vsize=13975920 CPUtime=0.19 cores=0,2,4,6 /proc/29410/stat : 29410 (java) S 29407 29410 5234 0 -1 1077944320 9938 0 0 0 17 2 0 0 20 0 15 0 10553978 14311342080 9274 18446744073709551615 4194304 4196468 140723814262016 140723814244560 140532548767479 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 /proc/29410/statm: 3493980 9274 3508 1 0 3482767 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 13975920 [startup+0.707885 s] /proc/loadavg: 1.76 1.75 1.70 2/198 29410 /proc/meminfo: memFree=31279604/32770624 swapFree=0/301780 [pid=29410] ppid=29407 vsize=13977988 CPUtime=1.04 cores=0,2,4,6 /proc/29410/stat : 29410 (java) S 29407 29410 5234 0 -1 1077944320 13924 0 0 0 100 4 0 0 20 0 15 0 10553978 14313459712 16672 18446744073709551615 4194304 4196468 140723814262016 140723814244560 140532548767479 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 /proc/29410/statm: 3494497 16672 3713 1 0 3483279 0 Current children cumulated CPU time (s) 1.04 Current children cumulated vsize (KiB) 13977988 [startup+1.50059 s] /proc/loadavg: 1.76 1.75 1.70 4/213 29425 /proc/meminfo: memFree=31189868/32770624 swapFree=0/301768 [pid=29410] ppid=29407 vsize=13982084 CPUtime=3.29 cores=0,2,4,6 /proc/29410/stat : 29410 (java) S 29407 29410 5234 0 -1 1077944320 30634 0 0 0 318 11 0 0 20 0 15 0 10553978 14317654016 46469 18446744073709551615 4194304 4196468 140723814262016 140723814244560 140532548767479 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 /proc/29410/statm: 3495521 46469 3767 1 0 3484303 0 [pid=29410/tid=29412] ppid=29407 vsize=13982084 CPUtime=1.32 cores=0,2,4,6 /proc/29410/task/29412/stat : 29412 (java) R 29407 29410 5234 0 -1 4202560 15564 0 0 0 125 7 0 0 20 0 15 0 10553988 14317654016 46469 18446744073709551615 4194304 4196468 140723814262016 140532552986720 140532160117083 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29413] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29413/stat : 29413 (java) S 29407 29410 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 10553988 14317654016 46469 18446744073709551615 4194304 4196468 140723814262016 140532483201936 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29414] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29414/stat : 29414 (java) S 29407 29410 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10553988 14317654016 46469 18446744073709551615 4194304 4196468 140723814262016 140532482149136 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29415] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29415/stat : 29415 (java) S 29407 29410 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10553988 14317654016 46469 18446744073709551615 4194304 4196468 140723814262016 140532481096848 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29416] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29416/stat : 29416 (java) S 29407 29410 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 10553988 14317654016 46469 18446744073709551615 4194304 4196468 140723814262016 140532480044048 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29417] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29417/stat : 29417 (java) S 29407 29410 5234 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 10553990 14317654016 46469 18446744073709551615 4194304 4196468 140723814262016 140532026673264 140532548778626 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29418] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29418/stat : 29418 (java) S 29407 29410 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 10553990 14317654016 46469 18446744073709551615 4194304 4196468 140723814262016 140532025619232 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29419] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29419/stat : 29419 (java) S 29407 29410 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 10553990 14317654016 46469 18446744073709551615 4194304 4196468 140723814262016 140532024566896 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29420] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29420/stat : 29420 (java) S 29407 29410 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10553993 14317654016 46469 18446744073709551615 4194304 4196468 140723814262016 140532023515216 140532548786075 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29421] ppid=29407 vsize=13982084 CPUtime=0.64 cores=0,2,4,6 /proc/29410/task/29421/stat : 29421 (java) R 29407 29410 5234 0 -1 4202560 3416 0 0 0 63 1 0 0 20 0 15 0 10553993 14317654016 46469 18446744073709551615 4194304 4196468 140723814262016 140532022463088 140532528000458 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29422] ppid=29407 vsize=13982084 CPUtime=0.64 cores=0,2,4,6 /proc/29410/task/29422/stat : 29422 (java) R 29407 29410 5234 0 -1 4202560 2636 0 0 0 63 1 0 0 20 0 15 0 10553993 14317654016 46469 18446744073709551615 4194304 4196468 140723814262016 140532021395600 140532532267862 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29423] ppid=29407 vsize=13982084 CPUtime=0.66 cores=0,2,4,6 /proc/29410/task/29423/stat : 29423 (java) R 29407 29410 5234 0 -1 1077944384 7222 0 0 0 65 1 0 0 20 0 15 0 10553993 14317654016 46469 18446744073709551615 4194304 4196468 140723814262016 140532020358000 140532548778626 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29424] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29424/stat : 29424 (java) S 29407 29410 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10553993 14317654016 46469 18446744073709551615 4194304 4196468 140723814262016 140532019305440 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29425] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29425/stat : 29425 (java) S 29407 29410 5234 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 10553999 14317654016 46469 18446744073709551615 4194304 4196468 140723814262016 140532018252208 140532548778626 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 Current children cumulated CPU time (s) 3.29 Current children cumulated vsize (KiB) 13982084 [startup+3.10072 s] /proc/loadavg: 1.94 1.78 1.71 3/213 29425 /proc/meminfo: memFree=31003672/32770624 swapFree=0/301768 [pid=29410] ppid=29407 vsize=13982084 CPUtime=6.13 cores=0,2,4,6 /proc/29410/stat : 29410 (java) S 29407 29410 5234 0 -1 1077944320 33791 0 0 0 591 22 0 0 20 0 15 0 10553978 14317654016 97358 18446744073709551615 4194304 4196468 140723814262016 140723814244560 140532548767479 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 /proc/29410/statm: 3495521 97358 3795 1 0 3484303 0 [pid=29410/tid=29412] ppid=29407 vsize=13982084 CPUtime=2.85 cores=0,2,4,6 /proc/29410/task/29412/stat : 29412 (java) R 29407 29410 5234 0 -1 4202560 15903 0 0 0 276 9 0 0 20 0 15 0 10553988 14317654016 97358 18446744073709551615 4194304 4196468 140723814262016 140532552989216 140532161077678 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29413] ppid=29407 vsize=13982084 CPUtime=0.04 cores=0,2,4,6 /proc/29410/task/29413/stat : 29413 (java) S 29407 29410 5234 0 -1 1077944384 68 0 0 0 3 1 0 0 20 0 15 0 10553988 14317654016 97358 18446744073709551615 4194304 4196468 140723814262016 140532483201936 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29414] ppid=29407 vsize=13982084 CPUtime=0.04 cores=0,2,4,6 /proc/29410/task/29414/stat : 29414 (java) S 29407 29410 5234 0 -1 1077944384 51 0 0 0 3 1 0 0 20 0 15 0 10553988 14317654016 97358 18446744073709551615 4194304 4196468 140723814262016 140532482149136 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29415] ppid=29407 vsize=13982084 CPUtime=0.04 cores=0,2,4,6 /proc/29410/task/29415/stat : 29415 (java) S 29407 29410 5234 0 -1 1077944384 295 0 0 0 3 1 0 0 20 0 15 0 10553988 14317654016 97358 18446744073709551615 4194304 4196468 140723814262016 140532481096848 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29416] ppid=29407 vsize=13982084 CPUtime=0.04 cores=0,2,4,6 /proc/29410/task/29416/stat : 29416 (java) S 29407 29410 5234 0 -1 1077944384 233 0 0 0 3 1 0 0 20 0 15 0 10553988 14317654016 97358 18446744073709551615 4194304 4196468 140723814262016 140532480044048 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29417] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29417/stat : 29417 (java) S 29407 29410 5234 0 -1 1077944384 722 0 0 0 0 0 0 0 20 0 15 0 10553990 14317654016 97358 18446744073709551615 4194304 4196468 140723814262016 140532026673264 140532548778626 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29418] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29418/stat : 29418 (java) S 29407 29410 5234 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10553990 14317654016 97358 18446744073709551615 4194304 4196468 140723814262016 140532025619296 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29419] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29419/stat : 29419 (java) S 29407 29410 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10553990 14317654016 97358 18446744073709551615 4194304 4196468 140723814262016 140532024566912 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29420] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29420/stat : 29420 (java) S 29407 29410 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10553993 14317654016 97358 18446744073709551615 4194304 4196468 140723814262016 140532023515216 140532548786075 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29421] ppid=29407 vsize=13982084 CPUtime=1.05 cores=0,2,4,6 /proc/29410/task/29421/stat : 29421 (java) S 29407 29410 5234 0 -1 1077944384 3540 0 0 0 104 1 0 0 20 0 15 0 10553993 14317654016 97358 18446744073709551615 4194304 4196468 140723814262016 140532022463088 140532548778626 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29422] ppid=29407 vsize=13982084 CPUtime=1.2 cores=0,2,4,6 /proc/29410/task/29422/stat : 29422 (java) S 29407 29410 5234 0 -1 1077944384 3523 0 0 0 119 1 0 0 20 0 15 0 10553993 14317654016 97358 18446744073709551615 4194304 4196468 140723814262016 140532021410288 140532548778626 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29423] ppid=29407 vsize=13982084 CPUtime=0.75 cores=0,2,4,6 /proc/29410/task/29423/stat : 29423 (java) S 29407 29410 5234 0 -1 1077944384 8026 0 0 0 74 1 0 0 20 0 15 0 10553993 14317654016 97358 18446744073709551615 4194304 4196468 140723814262016 140532020358000 140532548778626 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29424] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29424/stat : 29424 (java) S 29407 29410 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10553993 14317654016 97358 18446744073709551615 4194304 4196468 140723814262016 140532019305440 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29425] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29425/stat : 29425 (java) S 29407 29410 5234 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 10553999 14317654016 97358 18446744073709551615 4194304 4196468 140723814262016 140532018252208 140532548778626 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 Current children cumulated CPU time (s) 6.13 Current children cumulated vsize (KiB) 13982084 [startup+6.30064 s] /proc/loadavg: 1.94 1.78 1.71 3/213 29425 /proc/meminfo: memFree=30705952/32770624 swapFree=0/301780 [pid=29410] ppid=29407 vsize=13982084 CPUtime=9.9 cores=0,2,4,6 /proc/29410/stat : 29410 (java) S 29407 29410 5234 0 -1 1077944320 34671 0 0 0 958 32 0 0 20 0 15 0 10553978 14317654016 162343 18446744073709551615 4194304 4196468 140723814262016 140723814244560 140532548767479 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 /proc/29410/statm: 3495521 162343 3796 1 0 3484303 0 [pid=29410/tid=29412] ppid=29407 vsize=13982084 CPUtime=6.02 cores=0,2,4,6 /proc/29410/task/29412/stat : 29412 (java) R 29407 29410 5234 0 -1 4202560 16193 0 0 0 589 13 0 0 20 0 15 0 10553988 14317654016 162343 18446744073709551615 4194304 4196468 140723814262016 140532553005216 140532161077678 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29413] ppid=29407 vsize=13982084 CPUtime=0.08 cores=0,2,4,6 /proc/29410/task/29413/stat : 29413 (java) S 29407 29410 5234 0 -1 1077944384 98 0 0 0 5 3 0 0 20 0 15 0 10553988 14317654016 162343 18446744073709551615 4194304 4196468 140723814262016 140532483201936 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29414] ppid=29407 vsize=13982084 CPUtime=0.08 cores=0,2,4,6 /proc/29410/task/29414/stat : 29414 (java) S 29407 29410 5234 0 -1 1077944384 70 0 0 0 5 3 0 0 20 0 15 0 10553988 14317654016 162343 18446744073709551615 4194304 4196468 140723814262016 140532482149136 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29415] ppid=29407 vsize=13982084 CPUtime=0.08 cores=0,2,4,6 /proc/29410/task/29415/stat : 29415 (java) S 29407 29410 5234 0 -1 1077944384 317 0 0 0 5 3 0 0 20 0 15 0 10553988 14317654016 162343 18446744073709551615 4194304 4196468 140723814262016 140532481096848 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29416] ppid=29407 vsize=13982084 CPUtime=0.08 cores=0,2,4,6 /proc/29410/task/29416/stat : 29416 (java) S 29407 29410 5234 0 -1 1077944384 252 0 0 0 5 3 0 0 20 0 15 0 10553988 14317654016 162343 18446744073709551615 4194304 4196468 140723814262016 140532480044048 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29417] ppid=29407 vsize=13982084 CPUtime=0.01 cores=0,2,4,6 /proc/29410/task/29417/stat : 29417 (java) S 29407 29410 5234 0 -1 1077944384 979 0 0 0 1 0 0 0 20 0 15 0 10553990 14317654016 162343 18446744073709551615 4194304 4196468 140723814262016 140532026673264 140532548778626 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29418] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29418/stat : 29418 (java) S 29407 29410 5234 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10553990 14317654016 162343 18446744073709551615 4194304 4196468 140723814262016 140532025619296 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29419] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29419/stat : 29419 (java) S 29407 29410 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10553990 14317654016 162343 18446744073709551615 4194304 4196468 140723814262016 140532024566912 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29420] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29420/stat : 29420 (java) S 29407 29410 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10553993 14317654016 162343 18446744073709551615 4194304 4196468 140723814262016 140532023515216 140532548786075 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29421] ppid=29407 vsize=13982084 CPUtime=1.16 cores=0,2,4,6 /proc/29410/task/29421/stat : 29421 (java) S 29407 29410 5234 0 -1 1077944384 3568 0 0 0 115 1 0 0 20 0 15 0 10553993 14317654016 162343 18446744073709551615 4194304 4196468 140723814262016 140532022463088 140532548778626 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29422] ppid=29407 vsize=13982084 CPUtime=1.53 cores=0,2,4,6 /proc/29410/task/29422/stat : 29422 (java) S 29407 29410 5234 0 -1 1077944384 3711 0 0 0 152 1 0 0 20 0 15 0 10553993 14317654016 162343 18446744073709551615 4194304 4196468 140723814262016 140532021410288 140532548778626 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29423] ppid=29407 vsize=13982084 CPUtime=0.78 cores=0,2,4,6 /proc/29410/task/29423/stat : 29423 (java) S 29407 29410 5234 0 -1 1077944384 8049 0 0 0 77 1 0 0 20 0 15 0 10553993 14317654016 162343 18446744073709551615 4194304 4196468 140723814262016 140532020358000 140532548778626 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29424] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29424/stat : 29424 (java) S 29407 29410 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10553993 14317654016 162343 18446744073709551615 4194304 4196468 140723814262016 140532019305440 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29425] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29425/stat : 29425 (java) S 29407 29410 5234 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 10553999 14317654016 162343 18446744073709551615 4194304 4196468 140723814262016 140532018252208 140532548778626 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 Current children cumulated CPU time (s) 9.9 Current children cumulated vsize (KiB) 13982084 [startup+12.7007 s] /proc/loadavg: 1.95 1.79 1.72 3/213 29425 /proc/meminfo: memFree=30554232/32770624 swapFree=0/301788 [pid=29410] ppid=29407 vsize=13982084 CPUtime=16.57 cores=0,2,4,6 /proc/29410/stat : 29410 (java) S 29407 29410 5234 0 -1 1077944320 38067 0 0 0 1621 36 0 0 20 0 15 0 10553978 14317654016 178429 18446744073709551615 4194304 4196468 140723814262016 140723814244560 140532548767479 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 /proc/29410/statm: 3495521 178429 3797 1 0 3484303 0 [pid=29410/tid=29412] ppid=29407 vsize=13982084 CPUtime=12.4 cores=0,2,4,6 /proc/29410/task/29412/stat : 29412 (java) R 29407 29410 5234 0 -1 4202560 17626 0 0 0 1226 14 0 0 20 0 15 0 10553988 14317654016 178429 18446744073709551615 4194304 4196468 140723814262016 140532553005464 140532161767511 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29413] ppid=29407 vsize=13982084 CPUtime=0.1 cores=0,2,4,6 /proc/29410/task/29413/stat : 29413 (java) S 29407 29410 5234 0 -1 1077944384 108 0 0 0 6 4 0 0 20 0 15 0 10553988 14317654016 178429 18446744073709551615 4194304 4196468 140723814262016 140532483201936 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29414] ppid=29407 vsize=13982084 CPUtime=0.09 cores=0,2,4,6 /proc/29410/task/29414/stat : 29414 (java) S 29407 29410 5234 0 -1 1077944384 81 0 0 0 6 3 0 0 20 0 15 0 10553988 14317654016 178429 18446744073709551615 4194304 4196468 140723814262016 140532482149136 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29415] ppid=29407 vsize=13982084 CPUtime=0.09 cores=0,2,4,6 /proc/29410/task/29415/stat : 29415 (java) S 29407 29410 5234 0 -1 1077944384 328 0 0 0 6 3 0 0 20 0 15 0 10553988 14317654016 178429 18446744073709551615 4194304 4196468 140723814262016 140532481096848 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29416] ppid=29407 vsize=13982084 CPUtime=0.1 cores=0,2,4,6 /proc/29410/task/29416/stat : 29416 (java) S 29407 29410 5234 0 -1 1077944384 265 0 0 0 6 4 0 0 20 0 15 0 10553988 14317654016 178429 18446744073709551615 4194304 4196468 140723814262016 140532480044048 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29417] ppid=29407 vsize=13982084 CPUtime=0.01 cores=0,2,4,6 /proc/29410/task/29417/stat : 29417 (java) S 29407 29410 5234 0 -1 1077944384 1023 0 0 0 1 0 0 0 20 0 15 0 10553990 14317654016 178429 18446744073709551615 4194304 4196468 140723814262016 140532026673264 140532548778626 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29418] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29418/stat : 29418 (java) S 29407 29410 5234 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 10553990 14317654016 178429 18446744073709551615 4194304 4196468 140723814262016 140532025619296 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29419] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29419/stat : 29419 (java) S 29407 29410 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 10553990 14317654016 178429 18446744073709551615 4194304 4196468 140723814262016 140532024566912 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29420] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29420/stat : 29420 (java) S 29407 29410 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10553993 14317654016 178429 18446744073709551615 4194304 4196468 140723814262016 140532023515216 140532548786075 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 ################ # More data... # ################ /proc/29410/task/29424/stat : 29424 (java) S 29407 29410 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10553993 14317654016 498536 18446744073709551615 4194304 4196468 140723814262016 140532019305440 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29425] ppid=29407 vsize=13982084 CPUtime=0.04 cores=0,2,4,6 /proc/29410/task/29425/stat : 29425 (java) S 29407 29410 5234 0 -1 1077944384 191 0 0 0 2 2 0 0 20 0 15 0 10553999 14317654016 498536 18446744073709551615 4194304 4196468 140723814262016 140532018252208 140532548778626 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 Current children cumulated CPU time (s) 107.19 Current children cumulated vsize (KiB) 13982084 [startup+162.301 s] /proc/loadavg: 1.48 1.70 1.69 3/213 29429 /proc/meminfo: memFree=26539712/32770624 swapFree=0/301888 [pid=29410] ppid=29407 vsize=13982084 CPUtime=168.44 cores=0,2,4,6 /proc/29410/stat : 29410 (java) S 29407 29410 5234 0 -1 1077944320 66406 0 0 0 16766 78 0 0 20 0 15 0 10553978 14317654016 455869 18446744073709551615 4194304 4196468 140723814262016 140723814244560 140532548767479 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 /proc/29410/statm: 3495521 455869 3802 1 0 3484303 0 [pid=29410/tid=29412] ppid=29407 vsize=13982084 CPUtime=161.39 cores=0,2,4,6 /proc/29410/task/29412/stat : 29412 (java) R 29407 29410 5234 0 -1 4202560 26276 0 0 0 16102 37 0 0 20 0 15 0 10553988 14317654016 455869 18446744073709551615 4194304 4196468 140723814262016 140532553005248 140532160229801 0 4 1 16800974 0 0 0 -1 0 0 0 5 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29413] ppid=29407 vsize=13982084 CPUtime=0.57 cores=0,2,4,6 /proc/29410/task/29413/stat : 29413 (java) S 29407 29410 5234 0 -1 1077944384 1788 0 0 0 50 7 0 0 20 0 15 0 10553988 14317654016 455869 18446744073709551615 4194304 4196468 140723814262016 140532483201936 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29414] ppid=29407 vsize=13982084 CPUtime=0.56 cores=0,2,4,6 /proc/29410/task/29414/stat : 29414 (java) S 29407 29410 5234 0 -1 1077944384 434 0 0 0 50 6 0 0 20 0 15 0 10553988 14317654016 455869 18446744073709551615 4194304 4196468 140723814262016 140532482149136 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29415] ppid=29407 vsize=13982084 CPUtime=0.56 cores=0,2,4,6 /proc/29410/task/29415/stat : 29415 (java) S 29407 29410 5234 0 -1 1077944384 2152 0 0 0 50 6 0 0 20 0 15 0 10553988 14317654016 455869 18446744073709551615 4194304 4196468 140723814262016 140532481096848 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29416] ppid=29407 vsize=13982084 CPUtime=0.57 cores=0,2,4,6 /proc/29410/task/29416/stat : 29416 (java) S 29407 29410 5234 0 -1 1077944384 626 0 0 0 50 7 0 0 20 0 15 0 10553988 14317654016 455869 18446744073709551615 4194304 4196468 140723814262016 140532480044048 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29417] ppid=29407 vsize=13982084 CPUtime=0.12 cores=0,2,4,6 /proc/29410/task/29417/stat : 29417 (java) S 29407 29410 5234 0 -1 1077944384 2363 0 0 0 9 3 0 0 20 0 15 0 10553990 14317654016 455869 18446744073709551615 4194304 4196468 140723814262016 140532026673264 140532548778626 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29418] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29418/stat : 29418 (java) S 29407 29410 5234 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10553990 14317654016 455869 18446744073709551615 4194304 4196468 140723814262016 140532025619296 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29419] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29419/stat : 29419 (java) S 29407 29410 5234 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10553990 14317654016 455869 18446744073709551615 4194304 4196468 140723814262016 140532024566912 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29420] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29420/stat : 29420 (java) S 29407 29410 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10553993 14317654016 455869 18446744073709551615 4194304 4196468 140723814262016 140532023515216 140532548786075 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29421] ppid=29407 vsize=13982084 CPUtime=1.65 cores=0,2,4,6 /proc/29410/task/29421/stat : 29421 (java) S 29407 29410 5234 0 -1 1077944384 8565 0 0 0 163 2 0 0 20 0 15 0 10553993 14317654016 455869 18446744073709551615 4194304 4196468 140723814262016 140532022463088 140532548778626 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29422] ppid=29407 vsize=13982084 CPUtime=1.93 cores=0,2,4,6 /proc/29410/task/29422/stat : 29422 (java) S 29407 29410 5234 0 -1 1077944384 7688 0 0 0 192 1 0 0 20 0 15 0 10553993 14317654016 455869 18446744073709551615 4194304 4196468 140723814262016 140532021410288 140532548778626 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29423] ppid=29407 vsize=13982084 CPUtime=0.93 cores=0,2,4,6 /proc/29410/task/29423/stat : 29423 (java) S 29407 29410 5234 0 -1 1077944384 14867 0 0 0 90 3 0 0 20 0 15 0 10553993 14317654016 455869 18446744073709551615 4194304 4196468 140723814262016 140532020358000 140532548778626 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29424] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29424/stat : 29424 (java) S 29407 29410 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10553993 14317654016 455869 18446744073709551615 4194304 4196468 140723814262016 140532019305440 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29425] ppid=29407 vsize=13982084 CPUtime=0.08 cores=0,2,4,6 /proc/29410/task/29425/stat : 29425 (java) S 29407 29410 5234 0 -1 1077944384 219 0 0 0 4 4 0 0 20 0 15 0 10553999 14317654016 455869 18446744073709551615 4194304 4196468 140723814262016 140532018252208 140532548778626 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 Current children cumulated CPU time (s) 168.44 Current children cumulated vsize (KiB) 13982084 [startup+222.301 s] /proc/loadavg: 1.47 1.66 1.68 3/213 29509 /proc/meminfo: memFree=29618820/32770624 swapFree=0/301992 [pid=29410] ppid=29407 vsize=13982084 CPUtime=229.92 cores=0,2,4,6 /proc/29410/stat : 29410 (java) S 29407 29410 5234 0 -1 1077944320 75167 0 0 0 22899 93 0 0 20 0 15 0 10553978 14317654016 451723 18446744073709551615 4194304 4196468 140723814262016 140723814244560 140532548767479 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 /proc/29410/statm: 3495521 451723 3802 1 0 3484303 0 [pid=29410/tid=29412] ppid=29407 vsize=13982084 CPUtime=220.76 cores=0,2,4,6 /proc/29410/task/29412/stat : 29412 (java) R 29407 29410 5234 0 -1 4202560 29508 0 0 0 22037 39 0 0 20 0 15 0 10553988 14317654016 451723 18446744073709551615 4194304 4196468 140723814262016 140532553005248 140532160158731 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29413] ppid=29407 vsize=13982084 CPUtime=1.05 cores=0,2,4,6 /proc/29410/task/29413/stat : 29413 (java) S 29407 29410 5234 0 -1 1077944384 2277 0 0 0 96 9 0 0 20 0 15 0 10553988 14317654016 451723 18446744073709551615 4194304 4196468 140723814262016 140532483201936 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29414] ppid=29407 vsize=13982084 CPUtime=1.05 cores=0,2,4,6 /proc/29410/task/29414/stat : 29414 (java) S 29407 29410 5234 0 -1 1077944384 1301 0 0 0 96 9 0 0 20 0 15 0 10553988 14317654016 451723 18446744073709551615 4194304 4196468 140723814262016 140532482149136 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29415] ppid=29407 vsize=13982084 CPUtime=1.06 cores=0,2,4,6 /proc/29410/task/29415/stat : 29415 (java) S 29407 29410 5234 0 -1 1077944384 2920 0 0 0 97 9 0 0 20 0 15 0 10553988 14317654016 451723 18446744073709551615 4194304 4196468 140723814262016 140532481096848 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29416] ppid=29407 vsize=13982084 CPUtime=1.05 cores=0,2,4,6 /proc/29410/task/29416/stat : 29416 (java) S 29407 29410 5234 0 -1 1077944384 1223 0 0 0 96 9 0 0 20 0 15 0 10553988 14317654016 451723 18446744073709551615 4194304 4196468 140723814262016 140532480044048 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29417] ppid=29407 vsize=13982084 CPUtime=0.21 cores=0,2,4,6 /proc/29410/task/29417/stat : 29417 (java) S 29407 29410 5234 0 -1 1077944384 2848 0 0 0 16 5 0 0 20 0 15 0 10553990 14317654016 451723 18446744073709551615 4194304 4196468 140723814262016 140532026673264 140532548778626 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29418] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29418/stat : 29418 (java) S 29407 29410 5234 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10553990 14317654016 451723 18446744073709551615 4194304 4196468 140723814262016 140532025619296 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29419] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29419/stat : 29419 (java) S 29407 29410 5234 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10553990 14317654016 451723 18446744073709551615 4194304 4196468 140723814262016 140532024566912 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29420] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29420/stat : 29420 (java) S 29407 29410 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10553993 14317654016 451723 18446744073709551615 4194304 4196468 140723814262016 140532023515216 140532548786075 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29421] ppid=29407 vsize=13982084 CPUtime=1.66 cores=0,2,4,6 /proc/29410/task/29421/stat : 29421 (java) S 29407 29410 5234 0 -1 1077944384 9433 0 0 0 164 2 0 0 20 0 15 0 10553993 14317654016 451723 18446744073709551615 4194304 4196468 140723814262016 140532022463088 140532548778626 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29422] ppid=29407 vsize=13982084 CPUtime=1.94 cores=0,2,4,6 /proc/29410/task/29422/stat : 29422 (java) S 29407 29410 5234 0 -1 1077944384 8521 0 0 0 193 1 0 0 20 0 15 0 10553993 14317654016 451723 18446744073709551615 4194304 4196468 140723814262016 140532021410288 140532548778626 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29423] ppid=29407 vsize=13982084 CPUtime=0.93 cores=0,2,4,6 /proc/29410/task/29423/stat : 29423 (java) S 29407 29410 5234 0 -1 1077944384 15447 0 0 0 90 3 0 0 20 0 15 0 10553993 14317654016 451723 18446744073709551615 4194304 4196468 140723814262016 140532020358000 140532548778626 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29424] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29424/stat : 29424 (java) S 29407 29410 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10553993 14317654016 451723 18446744073709551615 4194304 4196468 140723814262016 140532019305440 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29425] ppid=29407 vsize=13982084 CPUtime=0.11 cores=0,2,4,6 /proc/29410/task/29425/stat : 29425 (java) S 29407 29410 5234 0 -1 1077944384 261 0 0 0 6 5 0 0 20 0 15 0 10553999 14317654016 451723 18446744073709551615 4194304 4196468 140723814262016 140532018252208 140532548778626 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 Current children cumulated CPU time (s) 229.92 Current children cumulated vsize (KiB) 13982084 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+240.001 s] /proc/loadavg: 1.52 1.66 1.68 3/213 29510 /proc/meminfo: memFree=29479468/32770624 swapFree=0/302012 [pid=29410] ppid=29407 vsize=13982084 CPUtime=248.1 cores=0,2,4,6 /proc/29410/stat : 29410 (java) S 29407 29410 5234 0 -1 1077944320 78088 0 0 0 24714 96 0 0 20 0 15 0 10553978 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140723814244560 140532548767479 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 /proc/29410/statm: 3495521 449994 3802 1 0 3484303 0 [pid=29410/tid=29412] ppid=29407 vsize=13982084 CPUtime=238.26 cores=0,2,4,6 /proc/29410/task/29412/stat : 29412 (java) R 29407 29410 5234 0 -1 4202560 29901 0 0 0 23787 39 0 0 20 0 15 0 10553988 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532553005136 140532160229718 0 4 1 16800974 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29413] ppid=29407 vsize=13982084 CPUtime=1.21 cores=0,2,4,6 /proc/29410/task/29413/stat : 29413 (java) S 29407 29410 5234 0 -1 1077944384 2359 0 0 0 111 10 0 0 20 0 15 0 10553988 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532483201936 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29414] ppid=29407 vsize=13982084 CPUtime=1.2 cores=0,2,4,6 /proc/29410/task/29414/stat : 29414 (java) S 29407 29410 5234 0 -1 1077944384 1369 0 0 0 111 9 0 0 20 0 15 0 10553988 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532482149136 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29415] ppid=29407 vsize=13982084 CPUtime=1.21 cores=0,2,4,6 /proc/29410/task/29415/stat : 29415 (java) S 29407 29410 5234 0 -1 1077944384 3026 0 0 0 111 10 0 0 20 0 15 0 10553988 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532481096848 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29416] ppid=29407 vsize=13982084 CPUtime=1.21 cores=0,2,4,6 /proc/29410/task/29416/stat : 29416 (java) S 29407 29410 5234 0 -1 1077944384 1284 0 0 0 111 10 0 0 20 0 15 0 10553988 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532480044048 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29417] ppid=29407 vsize=13982084 CPUtime=0.22 cores=0,2,4,6 /proc/29410/task/29417/stat : 29417 (java) S 29407 29410 5234 0 -1 1077944384 2855 0 0 0 17 5 0 0 20 0 15 0 10553990 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532026673264 140532548778626 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29418] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29418/stat : 29418 (java) S 29407 29410 5234 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10553990 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532025619296 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29419] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29419/stat : 29419 (java) S 29407 29410 5234 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10553990 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532024566912 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29420] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29420/stat : 29420 (java) S 29407 29410 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10553993 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532023515216 140532548786075 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29421] ppid=29407 vsize=13982084 CPUtime=1.66 cores=0,2,4,6 /proc/29410/task/29421/stat : 29421 (java) S 29407 29410 5234 0 -1 1077944384 9433 0 0 0 164 2 0 0 20 0 15 0 10553993 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532022463088 140532548778626 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29422] ppid=29407 vsize=13982084 CPUtime=1.98 cores=0,2,4,6 /proc/29410/task/29422/stat : 29422 (java) S 29407 29410 5234 0 -1 1077944384 9429 0 0 0 197 1 0 0 20 0 15 0 10553993 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532021410288 140532548778626 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29423] ppid=29407 vsize=13982084 CPUtime=0.94 cores=0,2,4,6 /proc/29410/task/29423/stat : 29423 (java) S 29407 29410 5234 0 -1 1077944384 16738 0 0 0 91 3 0 0 20 0 15 0 10553993 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532020358000 140532548778626 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29424] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29424/stat : 29424 (java) S 29407 29410 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10553993 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532019305440 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29425] ppid=29407 vsize=13982084 CPUtime=0.13 cores=0,2,4,6 /proc/29410/task/29425/stat : 29425 (java) S 29407 29410 5234 0 -1 1077944384 266 0 0 0 7 6 0 0 20 0 15 0 10553999 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532018252208 140532548778626 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 Current children cumulated CPU time (s) 248.1 Current children cumulated vsize (KiB) 13982084 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 29410 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+240.001 s] /proc/loadavg: 1.52 1.66 1.68 3/213 29510 /proc/meminfo: memFree=29479468/32770624 swapFree=0/302012 [pid=29410] ppid=29407 vsize=13982084 CPUtime=248.1 cores=0,2,4,6 /proc/29410/stat : 29410 (java) S 29407 29410 5234 0 -1 1077944320 78088 0 0 0 24714 96 0 0 20 0 15 0 10553978 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140723814244560 140532548767479 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 9 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 /proc/29410/statm: 3495521 449994 3802 1 0 3484303 0 [pid=29410/tid=29412] ppid=29407 vsize=13982084 CPUtime=238.26 cores=0,2,4,6 /proc/29410/task/29412/stat : 29412 (java) R 29407 29410 5234 0 -1 4202560 29901 0 0 0 23787 39 0 0 20 0 15 0 10553988 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532553005136 140532160229718 0 4 1 16800974 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29413] ppid=29407 vsize=13982084 CPUtime=1.21 cores=0,2,4,6 /proc/29410/task/29413/stat : 29413 (java) S 29407 29410 5234 0 -1 1077944384 2359 0 0 0 111 10 0 0 20 0 15 0 10553988 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532483201936 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29414] ppid=29407 vsize=13982084 CPUtime=1.2 cores=0,2,4,6 /proc/29410/task/29414/stat : 29414 (java) S 29407 29410 5234 0 -1 1077944384 1369 0 0 0 111 9 0 0 20 0 15 0 10553988 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532482149136 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29415] ppid=29407 vsize=13982084 CPUtime=1.21 cores=0,2,4,6 /proc/29410/task/29415/stat : 29415 (java) S 29407 29410 5234 0 -1 1077944384 3026 0 0 0 111 10 0 0 20 0 15 0 10553988 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532481096848 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29416] ppid=29407 vsize=13982084 CPUtime=1.21 cores=0,2,4,6 /proc/29410/task/29416/stat : 29416 (java) S 29407 29410 5234 0 -1 1077944384 1284 0 0 0 111 10 0 0 20 0 15 0 10553988 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532480044048 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29417] ppid=29407 vsize=13982084 CPUtime=0.22 cores=0,2,4,6 /proc/29410/task/29417/stat : 29417 (java) S 29407 29410 5234 0 -1 1077944384 2855 0 0 0 17 5 0 0 20 0 15 0 10553990 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532026673264 140532548778626 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29418] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29418/stat : 29418 (java) S 29407 29410 5234 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 10553990 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532025619296 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29419] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29419/stat : 29419 (java) S 29407 29410 5234 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 10553990 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532024566912 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29420] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29420/stat : 29420 (java) S 29407 29410 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10553993 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532023515216 140532548786075 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29421] ppid=29407 vsize=13982084 CPUtime=1.66 cores=0,2,4,6 /proc/29410/task/29421/stat : 29421 (java) S 29407 29410 5234 0 -1 1077944384 9433 0 0 0 164 2 0 0 20 0 15 0 10553993 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532022463088 140532548778626 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29422] ppid=29407 vsize=13982084 CPUtime=1.98 cores=0,2,4,6 /proc/29410/task/29422/stat : 29422 (java) S 29407 29410 5234 0 -1 1077944384 9429 0 0 0 197 1 0 0 20 0 15 0 10553993 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532021410288 140532548778626 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29423] ppid=29407 vsize=13982084 CPUtime=0.94 cores=0,2,4,6 /proc/29410/task/29423/stat : 29423 (java) S 29407 29410 5234 0 -1 1077944384 16738 0 0 0 91 3 0 0 20 0 15 0 10553993 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532020358000 140532548778626 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29424] ppid=29407 vsize=13982084 CPUtime=0 cores=0,2,4,6 /proc/29410/task/29424/stat : 29424 (java) S 29407 29410 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 10553993 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532019305440 140532548777685 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 [pid=29410/tid=29425] ppid=29407 vsize=13982084 CPUtime=0.13 cores=0,2,4,6 /proc/29410/task/29425/stat : 29425 (java) S 29407 29410 5234 0 -1 1077944384 266 0 0 0 7 6 0 0 20 0 15 0 10553999 14317654016 449994 18446744073709551615 4194304 4196468 140723814262016 140532018252208 140532548778626 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28950528 140723814265240 140723814265419 140723814265419 140723814268879 0 Current children cumulated CPU time (s) 248.1 Current children cumulated vsize (KiB) 13982084 Child status: 143 Real time (s): 240.042 CPU time (s): 248.161 CPU user time (s): 247.181 CPU system time (s): 0.979463 CPU usage (%): 103.382 Max. virtual memory (cumulated for all children) (KiB): 13982084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 247.181 system time used= 0.979463 maximum resident set size= 2182408 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 78821 page faults= 0 swaps= 0 block input operations= 0 block output operations= 8 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 14112 involuntary context switches= 519 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.06999 second user time and 1.46982 second system time The end
Begin job on node134 at 2017-08-02 01:20:41 IDJOB=4255863 IDBENCH=124413 IDSOLVER=2638 FILE ID=node134/4255863-1501630482 RUNJOBID= node134-1501623099-24765 PBS_JOBID= Free space on /tmp= 61856 MiB SOLVER NAME= OscaR - ALNS 2017-07-26 BENCH NAME= XCSP17/Vrp/Vrp-zinc-s1/Vrp-A-n33-k6.xml COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4255863-1501630482/watcher-4255863-1501630482 -o /tmp/evaluation-result-4255863-1501630482/solver-4255863-1501630482 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501623099-24765 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 559820767 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255863-1501630482.xml TIME LIMIT= 264 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 65a76f6052f0c7193e3442ad9f3b990a RANDOM SEED=559820767 node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.43 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 31280008 kB MemAvailable: 31594052 kB Buffers: 106140 kB Cached: 487844 kB SwapCached: 0 kB Active: 771368 kB Inactive: 308676 kB Active(anon): 488292 kB Inactive(anon): 6652 kB Active(file): 283076 kB Inactive(file): 302024 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 42296 kB Writeback: 0 kB AnonPages: 486060 kB Mapped: 44360 kB Shmem: 8892 kB Slab: 115024 kB SReclaimable: 89560 kB SUnreclaim: 25464 kB KernelStack: 3408 kB PageTables: 5932 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1637616 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 372736 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /tmp at the end= 61816 MiB End job on node134 at 2017-08-02 01:24:41