Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| Concrete 3.10 | OPT | 7 | 101.853 | 82.8447 |
| Name | OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbo-30-15-1.xml |
| MD5SUM | 0da4913a631570f2aab16967eaf6c11a |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 7 |
| Best CPU time to get the best result obtained on this benchmark | 8.14485 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1380 |
| Number of constraints | 1366 |
| Number of domains | 6 |
| Minimum domain size | 2 |
| Maximum domain size | 16 |
| Distribution of domain sizes | [{"size":2,"count":1065},{"size":3,"count":150},{"size":4,"count":105},{"size":5,"count":30},{"size":15,"count":15},{"size":16,"count":15}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 31 |
| Distribution of variable degrees | [{"degree":2,"count":495},{"degree":3,"count":870},{"degree":31,"count":15}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 31 |
| Distribution of constraint arities | [{"arity":2,"count":480},{"arity":3,"count":870},{"arity":15,"count":1},{"arity":31,"count":15}] |
| Number of extensional constraints | 450 |
| Number of intensional constraints | 450 |
| Distribution of constraint types | [{"type":"extension","count":450},{"type":"intension","count":450},{"type":"allDifferent","count":1},{"type":"sum","count":15},{"type":"element","count":450}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.72/0.55 c Concrete v3.10.1560635388952 running 13.09/4.88 o 12 15.02/5.44 o 11 26.28/11.90 o 10 32.56/17.11 o 9 32.56/17.13 o 8 32.74/17.23 o 7 101.79/82.82 v <instantiation 101.79/82.82 v cost = '7'> 101.79/82.82 v <list> 101.79/82.82 v p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] np[0][0] np[0][1] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[1][0] np[1][1] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[2][0] np[2][1] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[3][0] np[3][1] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[4][0] np[4][1] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[5][0] np[5][1] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[6][0] np[6][1] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[7][0] np[7][1] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[8][0] np[8][1] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[9][0] np[9][1] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[10][0] np[10][1] np[10][2] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[11][0] np[11][1] np[11][2] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[12][0] np[12][1] np[12][2] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[13][0] np[13][1] np[13][2] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[14][0] np[14][1] np[14][2] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] np[15][0] np[15][1] np[15][2] np[15][3] np[15][4] np[15][5] np[15][6] np[15][7] np[15][8] np[15][9] np[15][10] np[15][11] np[15][12] np[15][13] np[15][14] np[16][0] np[16][1] np[16][2] np[16][3] np[16][4] np[16][5] np[16][6] np[16][7] np[16][8] np[16][9] np[16][10] np[16][11] np[16][12] np[16][13] np[16][14] np[17][0] np[17][1] np[17][2] np[17][3] np[17][4] np[17][5] np[17][6] np[17][7] np[17][8] np[17][9] np[17][10] np[17][11] np[17][12] np[17][13] np[17][14] np[18][0] np[18][1] np[18][2] np[18][3] np[18][4] np[18][5] np[18][6] np[18][7] np[18][8] np[18][9] np[18][10] np[18][11] np[18][12] np[18][13] np[18][14] np[19][0] np[19][1] np[19][2] np[19][3] np[19][4] np[19][5] np[19][6] np[19][7] np[19][8] np[19][9] np[19][10] np[19][11] np[19][12] np[19][13] np[19][14] np[20][0] np[20][1] np[20][2] np[20][3] np[20][4] np[20][5] np[20][6] np[20][7] np[20][8] np[20][9] np[20][10] np[20][11] np[20][12] np[20][13] np[20][14] np[21][0] np[21][1] np[21][2] np[21][3] np[21][4] np[21][5] np[21][6] np[21][7] np[21][8] np[21][9] np[21][10] np[21][11] np[21][12] np[21][13] np[21][14] np[22][0] np[22][1] np[22][2] np[22][3] np[22][4] np[22][5] np[22][6] np[22][7] np[22][8] np[22][9] np[22][10] np[22][11] np[22][12] np[22][13] np[22][14] np[23][0] np[23][1] np[23][2] np[23][3] np[23][4] np[23][5] np[23][6] np[23][7] np[23][8] np[23][9] np[23][10] np[23][11] np[23][12] np[23][13] np[23][14] np[24][0] np[24][1] np[24][2] np[24][3] np[24][4] np[24][5] np[24][6] np[24][7] np[24][8] np[24][9] np[24][10] np[24][11] np[24][12] np[24][13] np[24][14] np[25][0] np[25][1] np[25][2] np[25][3] np[25][4] np[25][5] np[25][6] np[25][7] np[25][8] np[25][9] np[25][10] np[25][11] np[25][12] np[25][13] np[25][14] np[26][0] np[26][1] np[26][2] np[26][3] np[26][4] np[26][5] np[26][6] np[26][7] np[26][8] np[26][9] np[26][10] np[26][11] np[26][12] np[26][13] np[26][14] np[27][0] np[27][1] np[27][2] np[27][3] np[27][4] np[27][5] np[27][6] np[27][7] np[27][8] np[27][9] np[27][10] np[27][11] np[27][12] np[27][13] np[27][14] np[28][0] np[28][1] np[28][2] np[28][3] np[28][4] np[28][5] np[28][6] np[28][7] np[28][8] np[28][9] np[28][10] np[28][11] np[28][12] np[28][13] np[28][14] np[29][0] np[29][1] np[29][2] np[29][3] np[29][4] np[29][5] np[29][6] np[29][7] np[29][8] np[29][9] np[29][10] np[29][11] np[29][12] np[29][13] np[29][14] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[16][0] o[16][1] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[17][0] o[17][1] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[18][0] o[18][1] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[19][0] o[19][1] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[20][0] o[20][1] o[20][2] o[20][3] o[20][4] o[20][5] o[20][6] o[20][7] o[20][8] o[20][9] o[20][10] o[20][11] o[20][12] o[20][13] o[20][14] o[21][0] o[21][1] o[21][2] o[21][3] o[21][4] o[21][5] o[21][6] o[21][7] o[21][8] o[21][9] o[21][10] o[21][11] o[21][12] o[21][13] o[21][14] o[22][0] o[22][1] o[22][2] o[22][3] o[22][4] o[22][5] o[22][6] o[22][7] o[22][8] o[22][9] o[22][10] o[22][11] o[22][12] o[22][13] o[22][14] o[23][0] o[23][1] o[23][2] o[23][3] o[23][4] o[23][5] o[23][6] o[23][7] o[23][8] o[23][9] o[23][10] o[23][11] o[23][12] o[23][13] o[23][14] o[24][0] o[24][1] o[24][2] o[24][3] o[24][4] o[24][5] o[24][6] o[24][7] o[24][8] o[24][9] o[24][10] o[24][11] o[24][12] o[24][13] o[24][14] o[25][0] o[25][1] o[25][2] o[25][3] o[25][4] o[25][5] o[25][6] o[25][7] o[25][8] o[25][9] o[25][10] o[25][11] o[25][12] o[25][13] o[25][14] o[26][0] o[26][1] o[26][2] o[26][3] o[26][4] o[26][5] o[26][6] o[26][7] o[26][8] o[26][9] o[26][10] o[26][11] o[26][12] o[26][13] o[26][14] o[27][0] o[27][1] o[27][2] o[27][3] o[27][4] o[27][5] o[27][6] o[27][7] o[27][8] o[27][9] o[27][10] o[27][11] o[27][12] o[27][13] o[27][14] o[28][0] o[28][1] o[28][2] o[28][3] o[28][4] o[28][5] o[28][6] o[28][7] o[28][8] o[28][9] o[28][10] o[28][11] o[28][12] o[28][13] o[28][14] o[29][0] o[29][1] o[29][2] o[29][3] o[29][4] o[29][5] o[29][6] o[29][7] o[29][8] o[29][9] o[29][10] o[29][11] o[29][12] o[29][13] o[29][14] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14] 101.79/82.83 v </list> 101.79/82.83 v <values> 101.79/82.83 v 6 0 5 13 1 12 4 3 14 10 2 9 8 7 11 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 2 2 2 2 2 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 2 2 2 2 2 2 2 2 1 2 3 3 3 3 3 3 3 3 3 3 3 3 3 0 0 0 0 0 0 0 0 0 0 1 1 1 2 2 0 0 0 0 0 0 1 2 3 3 3 3 3 3 3 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 2 3 3 4 4 4 4 4 4 4 4 4 4 4 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 0 1 1 2 2 2 3 3 3 3 3 3 3 3 3 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 2 2 2 3 0 0 0 0 0 0 0 0 0 0 1 1 1 2 3 1 1 1 1 1 1 1 1 1 1 2 3 3 3 3 0 0 0 0 0 0 0 0 1 1 1 1 2 2 2 0 0 1 1 1 2 2 2 3 4 4 4 4 4 4 0 0 0 0 0 0 0 1 1 2 2 3 3 3 3 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 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 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 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 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 1 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 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 0 1 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 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 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 1 1 1 1 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 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 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 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 1 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 1 1 1 1 1 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 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 4 6 6 7 7 6 7 7 7 7 7 7 7 6 4 101.79/82.83 v </values> 101.79/82.83 v </instantiation> 101.79/82.83 s OPTIMUM FOUND
OK 7
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 (9103 MiB free)
memory of node 1: 16384 MiB (12422 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391989-1568312347/watcher-4391989-1568312347 -o /tmp/evaluation-result-4391989-1568312347/solver-4391989-1568312347 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568306047-10998 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1492228063 HOME/instance-4391989-1568312347.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
solver pid=13000, runsolver pid=12997
Current StackSize limit: 8192 KiB
[startup+0.100029 s]*
/proc/loadavg: 1.30 1.38 1.37 3/220 13057
/proc/meminfo: memFree=22036832/32770624 swapFree=66939824/67108860
[pid=13000] ppid=12997 vsize=9972712 memory=17080 CPUtime=0.09 cores=1,3,5,7
/proc/13000/stat : 13000 (java) S 12997 13000 9865 0 -1 1077944320 4502 13255 0 0 1 0 5 3 20 0 6 0 407149632 10212057088 4270 33554432000 4194304 4196468 140733243340304 140733243322848 139976752729847 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
/proc/13000/statm: 2493178 4270 1935 1 0 2481616 0
[pid=13000/tid=13053] ppid=12997 vsize=9972712 memory=7892391828772250251 CPUtime=0.09 cores=1,3,5,7
/proc/13000/task/13053/stat : 13053 (java) R 12997 13000 9865 0 -1 4202560 2329 13255 0 0 1 0 5 3 20 0 6 0 407149641 10212057088 4270 33554432000 4194304 4196468 140733243340304 139976724566608 139976737852784 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13054] ppid=12997 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13054/stat : 13054 (java) S 12997 13000 9865 0 -1 1077944384 1 13255 0 0 0 0 5 3 20 0 6 0 407149641 10212057088 4270 33554432000 4194304 4196468 140733243340304 139976756972688 139976752740053 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13055] ppid=12997 vsize=9972712 memory=139777677104768 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13055/stat : 13055 (java) S 12997 13000 9865 0 -1 1077944384 1 13255 0 0 0 0 5 3 20 0 6 0 407149641 10212057088 4270 33554432000 4194304 4196468 140733243340304 139976325913616 139976752740053 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13056] ppid=12997 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13056/stat : 13056 (java) S 12997 13000 9865 0 -1 1077944384 1 13255 0 0 0 0 5 3 20 0 6 0 407149641 10212057088 4270 33554432000 4194304 4196468 140733243340304 139976324860816 139976752740053 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13057] ppid=12997 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13057/stat : 13057 (java) S 12997 13000 9865 0 -1 1077944384 2 13255 0 0 0 0 5 3 20 0 6 0 407149641 10212057088 4270 33554432000 4194304 4196468 140733243340304 139976323808016 139976752740053 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB
[startup+0.211068 s]*
/proc/loadavg: 1.30 1.38 1.37 3/229 13066
/proc/meminfo: memFree=22015796/32770624 swapFree=66939824/67108860
[pid=13000] ppid=12997 vsize=10818940 memory=38776 CPUtime=0.26 cores=1,3,5,7
/proc/13000/stat : 13000 (java) S 12997 13000 9865 0 -1 1077944320 7043 13255 0 0 17 1 5 3 20 0 15 0 407149632 11078594560 9694 33554432000 4194304 4196468 140733243340304 140733243322848 139976752729847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
/proc/13000/statm: 2704735 9694 2960 1 0 2667149 0
[pid=13000/tid=13053] ppid=12997 vsize=10818940 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/13000/task/13053/stat : 13053 (java) R 12997 13000 9865 0 -1 4202560 3558 13255 0 0 11 0 5 3 20 0 15 0 407149641 11078594560 9694 33554432000 4194304 4196468 140733243340304 139976724559928 139976744966974 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13054] ppid=12997 vsize=10818940 memory=365 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13054/stat : 13054 (java) S 12997 13000 9865 0 -1 1077944384 1 13255 0 0 0 0 5 3 20 0 15 0 407149641 11078594560 9694 33554432000 4194304 4196468 140733243340304 139976756972688 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13055] ppid=12997 vsize=10818940 memory=3617149519072761504 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13055/stat : 13055 (java) S 12997 13000 9865 0 -1 1077944384 1 13255 0 0 0 0 5 3 20 0 15 0 407149641 11078594560 9694 33554432000 4194304 4196468 140733243340304 139976325913616 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13056] ppid=12997 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13056/stat : 13056 (java) S 12997 13000 9865 0 -1 1077944384 1 13255 0 0 0 0 5 3 20 0 15 0 407149641 11078594560 9694 33554432000 4194304 4196468 140733243340304 139976324860816 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13057] ppid=12997 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13057/stat : 13057 (java) S 12997 13000 9865 0 -1 1077944384 2 13255 0 0 0 0 5 3 20 0 15 0 407149641 11078594560 9694 33554432000 4194304 4196468 140733243340304 139976323808016 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13058] ppid=12997 vsize=10818940 memory=139777677104768 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13058/stat : 13058 (java) S 12997 13000 9865 0 -1 1077944384 2 13255 0 0 0 0 5 3 20 0 15 0 407149643 11078594560 9694 33554432000 4194304 4196468 140733243340304 139976279366000 139976752740994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13059] ppid=12997 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13059/stat : 13059 (java) S 12997 13000 9865 0 -1 1077944384 13 13255 0 0 0 0 5 3 20 0 15 0 407149643 11078594560 9694 33554432000 4194304 4196468 140733243340304 139976205394976 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13060] ppid=12997 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13060/stat : 13060 (java) S 12997 13000 9865 0 -1 1077944384 1 13255 0 0 0 0 5 3 20 0 15 0 407149644 11078594560 9694 33554432000 4194304 4196468 140733243340304 139975601415024 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13061] ppid=12997 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13061/stat : 13061 (java) S 12997 13000 9865 0 -1 1077944384 3 13255 0 0 0 0 5 3 20 0 15 0 407149646 11078594560 9694 33554432000 4194304 4196468 140733243340304 139975294015312 139976752748443 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13062] ppid=12997 vsize=10818940 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13000/task/13062/stat : 13062 (java) S 12997 13000 9865 0 -1 1077944384 569 13255 0 0 1 0 5 3 20 0 15 0 407149646 11078594560 9694 33554432000 4194304 4196468 140733243340304 139976278313840 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13063] ppid=12997 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13063/stat : 13063 (java) S 12997 13000 9865 0 -1 1077944384 60 13255 0 0 0 0 5 3 20 0 15 0 407149646 11078594560 9694 33554432000 4194304 4196468 140733243340304 139976277261040 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13064] ppid=12997 vsize=10818940 memory=139777677104768 CPUtime=0.11 cores=1,3,5,7
/proc/13000/task/13064/stat : 13064 (java) S 12997 13000 9865 0 -1 1077944384 630 13255 0 0 3 0 5 3 20 0 15 0 407149646 11078594560 9694 33554432000 4194304 4196468 140733243340304 139976276208240 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13065] ppid=12997 vsize=10818940 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13065/stat : 13065 (java) S 12997 13000 9865 0 -1 1077944384 3 13255 0 0 0 0 5 3 20 0 15 0 407149646 11078594560 9694 33554432000 4194304 4196468 140733243340304 139975260457696 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13066] ppid=12997 vsize=10818940 memory=139777677104768 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13066/stat : 13066 (java) S 12997 13000 9865 0 -1 1077944384 1 13255 0 0 0 0 5 3 20 0 15 0 407149647 11078594560 9694 33554432000 4194304 4196468 140733243340304 139976275155632 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 38776 KiB
[startup+0.313983 s]*
/proc/loadavg: 1.30 1.38 1.37 3/229 13066
/proc/meminfo: memFree=22006016/32770624 swapFree=66939824/67108860
[pid=13000] ppid=12997 vsize=10820096 memory=49928 CPUtime=0.4 cores=1,3,5,7
/proc/13000/stat : 13000 (java) S 12997 13000 9865 0 -1 1077944320 10771 13255 0 0 29 3 5 3 20 0 15 0 407149632 11079778304 12482 33554432000 4194304 4196468 140733243340304 140733243322848 139976752729847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
/proc/13000/statm: 2705024 12482 3214 1 0 2667149 0
[pid=13000/tid=13053] ppid=12997 vsize=10820096 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/13000/task/13053/stat : 13053 (java) R 12997 13000 9865 0 -1 4202560 7263 13255 0 0 19 2 5 3 20 0 15 0 407149641 11079778304 12482 33554432000 4194304 4196468 140733243340304 139976724550064 139976356496110 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13054] ppid=12997 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13054/stat : 13054 (java) S 12997 13000 9865 0 -1 1077944384 1 13255 0 0 0 0 5 3 20 0 15 0 407149641 11079778304 12482 33554432000 4194304 4196468 140733243340304 139976756972688 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13055] ppid=12997 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13055/stat : 13055 (java) S 12997 13000 9865 0 -1 1077944384 1 13255 0 0 0 0 5 3 20 0 15 0 407149641 11079778304 12482 33554432000 4194304 4196468 140733243340304 139976325913616 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13056] ppid=12997 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13056/stat : 13056 (java) S 12997 13000 9865 0 -1 1077944384 1 13255 0 0 0 0 5 3 20 0 15 0 407149641 11079778304 12482 33554432000 4194304 4196468 140733243340304 139976324860816 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13057] ppid=12997 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13057/stat : 13057 (java) S 12997 13000 9865 0 -1 1077944384 2 13255 0 0 0 0 5 3 20 0 15 0 407149641 11079778304 12482 33554432000 4194304 4196468 140733243340304 139976323808016 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13058] ppid=12997 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13058/stat : 13058 (java) S 12997 13000 9865 0 -1 1077944384 2 13255 0 0 0 0 5 3 20 0 15 0 407149643 11079778304 12482 33554432000 4194304 4196468 140733243340304 139976279366000 139976752740994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13059] ppid=12997 vsize=10820096 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13059/stat : 13059 (java) S 12997 13000 9865 0 -1 1077944384 13 13255 0 0 0 0 5 3 20 0 15 0 407149643 11079778304 12482 33554432000 4194304 4196468 140733243340304 139976205394976 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13060] ppid=12997 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13060/stat : 13060 (java) S 12997 13000 9865 0 -1 1077944384 1 13255 0 0 0 0 5 3 20 0 15 0 407149644 11079778304 12482 33554432000 4194304 4196468 140733243340304 139975601415024 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13061] ppid=12997 vsize=10820096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13061/stat : 13061 (java) S 12997 13000 9865 0 -1 1077944384 3 13255 0 0 0 0 5 3 20 0 15 0 407149646 11079778304 12482 33554432000 4194304 4196468 140733243340304 139975294015312 139976752748443 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13062] ppid=12997 vsize=10820096 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/13000/task/13062/stat : 13062 (java) S 12997 13000 9865 0 -1 1077944384 571 13255 0 0 2 0 5 3 20 0 15 0 407149646 11079778304 12482 33554432000 4194304 4196468 140733243340304 139976278313840 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13063] ppid=12997 vsize=10820096 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/13000/task/13063/stat : 13063 (java) S 12997 13000 9865 0 -1 1077944384 60 13255 0 0 1 0 5 3 20 0 15 0 407149646 11079778304 12482 33554432000 4194304 4196468 140733243340304 139976277261040 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13064] ppid=12997 vsize=10820096 memory=139777677104768 CPUtime=0.13 cores=1,3,5,7
/proc/13000/task/13064/stat : 13064 (java) S 12997 13000 9865 0 -1 1077944384 639 13255 0 0 5 0 5 3 20 0 15 0 407149646 11079778304 12482 33554432000 4194304 4196468 140733243340304 139976276208240 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13065] ppid=12997 vsize=10820096 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13065/stat : 13065 (java) S 12997 13000 9865 0 -1 1077944384 3 13255 0 0 0 0 5 3 20 0 15 0 407149646 11079778304 12482 33554432000 4194304 4196468 140733243340304 139975260457696 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13066] ppid=12997 vsize=10820096 memory=139777677104768 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13066/stat : 13066 (java) S 12997 13000 9865 0 -1 1077944384 1 13255 0 0 0 0 5 3 20 0 15 0 407149647 11079778304 12482 33554432000 4194304 4196468 140733243340304 139976275155632 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 49928 KiB
[startup+0.700769 s]
/proc/loadavg: 1.30 1.38 1.37 5/229 13066
/proc/meminfo: memFree=21993004/32770624 swapFree=66939824/67108860
[pid=13000] ppid=12997 vsize=10824340 memory=80588 CPUtime=1.14 cores=1,3,5,7
/proc/13000/stat : 13000 (java) S 12997 13000 9865 0 -1 1077944320 14847 13255 0 0 101 5 5 3 20 0 15 0 407149632 11084124160 20147 33554432000 4194304 4196468 140733243340304 140733243322848 139976752729847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
/proc/13000/statm: 2706085 20147 3499 1 0 2668173 0
[pid=13000/tid=13053] ppid=12997 vsize=10824340 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/13000/task/13053/stat : 13053 (java) R 12997 13000 9865 0 -1 4202560 10533 13255 0 0 55 4 5 3 20 0 15 0 407149641 11084124160 20147 33554432000 4194304 4196468 140733243340304 139976724559424 139976736810334 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13054] ppid=12997 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13054/stat : 13054 (java) S 12997 13000 9865 0 -1 1077944384 1 13255 0 0 0 0 5 3 20 0 15 0 407149641 11084124160 20147 33554432000 4194304 4196468 140733243340304 139976756972688 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13055] ppid=12997 vsize=10824340 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13055/stat : 13055 (java) S 12997 13000 9865 0 -1 1077944384 1 13255 0 0 0 0 5 3 20 0 15 0 407149641 11084124160 20147 33554432000 4194304 4196468 140733243340304 139976325913616 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13056] ppid=12997 vsize=10824340 memory=139777563308240 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13056/stat : 13056 (java) S 12997 13000 9865 0 -1 1077944384 1 13255 0 0 0 0 5 3 20 0 15 0 407149641 11084124160 20147 33554432000 4194304 4196468 140733243340304 139976324860816 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13057] ppid=12997 vsize=10824340 memory=139779710648939 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13057/stat : 13057 (java) S 12997 13000 9865 0 -1 1077944384 2 13255 0 0 0 0 5 3 20 0 15 0 407149641 11084124160 20147 33554432000 4194304 4196468 140733243340304 139976323808016 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13058] ppid=12997 vsize=10824340 memory=1064 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13058/stat : 13058 (java) S 12997 13000 9865 0 -1 1077944384 5 13255 0 0 0 0 5 3 20 0 15 0 407149643 11084124160 20147 33554432000 4194304 4196468 140733243340304 139976279366000 139976752740994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13059] ppid=12997 vsize=10824340 memory=7014751519650698577 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13059/stat : 13059 (java) S 12997 13000 9865 0 -1 1077944384 13 13255 0 0 0 0 5 3 20 0 15 0 407149643 11084124160 20147 33554432000 4194304 4196468 140733243340304 139976205394976 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13060] ppid=12997 vsize=10824340 memory=7813578590249374316 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13060/stat : 13060 (java) S 12997 13000 9865 0 -1 1077944384 1 13255 0 0 0 0 5 3 20 0 15 0 407149644 11084124160 20147 33554432000 4194304 4196468 140733243340304 139975601415024 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13061] ppid=12997 vsize=10824340 memory=14056 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13061/stat : 13061 (java) S 12997 13000 9865 0 -1 1077944384 3 13255 0 0 0 0 5 3 20 0 15 0 407149646 11084124160 20147 33554432000 4194304 4196468 140733243340304 139975294015312 139976752748443 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13062] ppid=12997 vsize=10824340 memory=2116 CPUtime=0.21 cores=1,3,5,7
/proc/13000/task/13062/stat : 13062 (java) S 12997 13000 9865 0 -1 1077944384 835 13255 0 0 13 0 5 3 20 0 15 0 407149646 11084124160 20147 33554432000 4194304 4196468 140733243340304 139976278313840 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13063] ppid=12997 vsize=10824340 memory=520 CPUtime=0.22 cores=1,3,5,7
/proc/13000/task/13063/stat : 13063 (java) S 12997 13000 9865 0 -1 1077944384 427 13255 0 0 14 0 5 3 20 0 15 0 407149646 11084124160 20147 33554432000 4194304 4196468 140733243340304 139976277261040 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13064] ppid=12997 vsize=10824340 memory=1560 CPUtime=0.25 cores=1,3,5,7
/proc/13000/task/13064/stat : 13064 (java) S 12997 13000 9865 0 -1 1077944384 813 13255 0 0 17 0 5 3 20 0 15 0 407149646 11084124160 20147 33554432000 4194304 4196468 140733243340304 139976276208240 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13065] ppid=12997 vsize=10824340 memory=924 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13065/stat : 13065 (java) S 12997 13000 9865 0 -1 1077944384 3 13255 0 0 0 0 5 3 20 0 15 0 407149646 11084124160 20147 33554432000 4194304 4196468 140733243340304 139975260457696 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13066] ppid=12997 vsize=10824340 memory=3688 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13066/stat : 13066 (java) S 12997 13000 9865 0 -1 1077944384 1 13255 0 0 0 0 5 3 20 0 15 0 407149647 11084124160 20147 33554432000 4194304 4196468 140733243340304 139976275155632 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 80588 KiB
[startup+1.50074 s]
/proc/loadavg: 1.30 1.38 1.37 5/229 13066
/proc/meminfo: memFree=21932396/32770624 swapFree=66939824/67108860
[pid=13000] ppid=12997 vsize=10834656 memory=213128 CPUtime=3.38 cores=1,3,5,7
/proc/13000/stat : 13000 (java) S 12997 13000 9865 0 -1 1077944320 33025 13255 0 0 320 10 5 3 20 0 15 0 407149632 11094687744 53282 33554432000 4194304 4196468 140733243340304 140733243322848 139976752729847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
/proc/13000/statm: 2708664 53282 3579 1 0 2670733 0
[pid=13000/tid=13053] ppid=12997 vsize=10834656 memory=193908 CPUtime=1.42 cores=1,3,5,7
/proc/13000/task/13053/stat : 13053 (java) R 12997 13000 9865 0 -1 4202560 16175 13255 0 0 129 5 5 3 20 0 15 0 407149641 11094687744 53282 33554432000 4194304 4196468 140733243340304 139976724559136 139976736810334 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13054] ppid=12997 vsize=10834656 memory=6944656592455359580 CPUtime=0.1 cores=1,3,5,7
/proc/13000/task/13054/stat : 13054 (java) S 12997 13000 9865 0 -1 1077944384 63 13255 0 0 2 0 5 3 20 0 15 0 407149641 11094687744 53282 33554432000 4194304 4196468 140733243340304 139976756972688 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13055] ppid=12997 vsize=10834656 memory=7976406965554101975 CPUtime=0.09 cores=1,3,5,7
/proc/13000/task/13055/stat : 13055 (java) S 12997 13000 9865 0 -1 1077944384 57 13255 0 0 1 0 5 3 20 0 15 0 407149641 11094687744 53282 33554432000 4194304 4196468 140733243340304 139976325913616 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13056] ppid=12997 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13000/task/13056/stat : 13056 (java) S 12997 13000 9865 0 -1 1077944384 9 13255 0 0 1 0 5 3 20 0 15 0 407149641 11094687744 53282 33554432000 4194304 4196468 140733243340304 139976324860816 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13057] ppid=12997 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13057/stat : 13057 (java) S 12997 13000 9865 0 -1 1077944384 327 13255 0 0 0 0 5 3 20 0 15 0 407149641 11094687744 53282 33554432000 4194304 4196468 140733243340304 139976323808016 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13058] ppid=12997 vsize=10834656 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/13000/task/13058/stat : 13058 (java) S 12997 13000 9865 0 -1 1077944384 116 13255 0 0 1 0 5 3 20 0 15 0 407149643 11094687744 53282 33554432000 4194304 4196468 140733243340304 139976279366000 139976752740994 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13059] ppid=12997 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13059/stat : 13059 (java) S 12997 13000 9865 0 -1 1077944384 13 13255 0 0 0 0 5 3 20 0 15 0 407149643 11094687744 53282 33554432000 4194304 4196468 140733243340304 139976205394976 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13060] ppid=12997 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13060/stat : 13060 (java) S 12997 13000 9865 0 -1 1077944384 2 13255 0 0 0 0 5 3 20 0 15 0 407149644 11094687744 53282 33554432000 4194304 4196468 140733243340304 139975601415024 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13061] ppid=12997 vsize=10834656 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13061/stat : 13061 (java) S 12997 13000 9865 0 -1 1077944384 3 13255 0 0 0 0 5 3 20 0 15 0 407149646 11094687744 53282 33554432000 4194304 4196468 140733243340304 139975294015312 139976752748443 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13062] ppid=12997 vsize=10834656 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/13000/task/13062/stat : 13062 (java) S 12997 13000 9865 0 -1 1077944384 4266 13255 0 0 61 0 5 3 20 0 15 0 407149646 11094687744 53282 33554432000 4194304 4196468 140733243340304 139976278313840 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13063] ppid=12997 vsize=10834656 memory=4580 CPUtime=0.85 cores=1,3,5,7
/proc/13000/task/13063/stat : 13063 (java) S 12997 13000 9865 0 -1 1077944384 7340 13255 0 0 76 1 5 3 20 0 15 0 407149646 11094687744 53282 33554432000 4194304 4196468 140733243340304 139976277261040 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13064] ppid=12997 vsize=10834656 memory=8100126773739671910 CPUtime=0.52 cores=1,3,5,7
/proc/13000/task/13064/stat : 13064 (java) S 12997 13000 9865 0 -1 1077944384 2442 13255 0 0 44 0 5 3 20 0 15 0 407149646 11094687744 53282 33554432000 4194304 4196468 140733243340304 139976276208240 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13065] ppid=12997 vsize=10834656 memory=4640467278541901904 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13065/stat : 13065 (java) S 12997 13000 9865 0 -1 1077944384 3 13255 0 0 0 0 5 3 20 0 15 0 407149646 11094687744 53282 33554432000 4194304 4196468 140733243340304 139975260457696 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13066] ppid=12997 vsize=10834656 memory=7446537518443489634 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13066/stat : 13066 (java) S 12997 13000 9865 0 -1 1077944384 1 13255 0 0 0 0 5 3 20 0 15 0 407149647 11094687744 53282 33554432000 4194304 4196468 140733243340304 139976275155632 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
Current children cumulated CPU time: 3.38 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
[pid=13000/tid=13065] ppid=12997 vsize=10851072 memory=1608 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13065/stat : 13065 (java) S 12997 13000 9865 0 -1 1077944384 3 13255 0 0 0 0 5 3 20 0 15 0 407149646 11111497728 235362 33554432000 4194304 4196468 140733243340304 139975260457696 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13066] ppid=12997 vsize=10851072 memory=7980 CPUtime=0.11 cores=1,3,5,7
/proc/13000/task/13066/stat : 13066 (java) S 12997 13000 9865 0 -1 1077944384 768 13255 0 0 2 1 5 3 20 0 15 0 407149647 11111497728 235362 33554432000 4194304 4196468 140733243340304 139976275155632 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
Current children cumulated CPU time: 95.58 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 941448 KiB
[startup+80.0007 s]*
/proc/loadavg: 1.45 1.44 1.40 3/229 13072
/proc/meminfo: memFree=21119936/32770624 swapFree=66939824/67108860
[pid=13000] ppid=12997 vsize=10851072 memory=938884 CPUtime=98.9 cores=1,3,5,7
/proc/13000/stat : 13000 (java) S 12997 13000 9865 0 -1 1077944320 112792 13255 0 0 9821 61 5 3 20 0 15 0 407149632 11111497728 234721 33554432000 4194304 4196468 140733243340304 140733243322848 139976752729847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
/proc/13000/statm: 2712768 234721 3631 1 0 2674829 0
[pid=13000/tid=13053] ppid=12997 vsize=10851072 memory=8317482817917895235 CPUtime=79.59 cores=1,3,5,7
/proc/13000/task/13053/stat : 13053 (java) R 12997 13000 9865 0 -1 4202560 33364 13255 0 0 7933 18 5 3 20 0 15 0 407149641 11111497728 234721 33554432000 4194304 4196468 140733243340304 139976724562736 139976378287598 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13054] ppid=12997 vsize=10851072 memory=4872558044660077418 CPUtime=0.28 cores=1,3,5,7
/proc/13000/task/13054/stat : 13054 (java) S 12997 13000 9865 0 -1 1077944384 1460 13255 0 0 15 5 5 3 20 0 15 0 407149641 11111497728 234721 33554432000 4194304 4196468 140733243340304 139976756972688 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13055] ppid=12997 vsize=10851072 memory=988 CPUtime=0.27 cores=1,3,5,7
/proc/13000/task/13055/stat : 13055 (java) S 12997 13000 9865 0 -1 1077944384 1225 13255 0 0 14 5 5 3 20 0 15 0 407149641 11111497728 234721 33554432000 4194304 4196468 140733243340304 139976325913616 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13056] ppid=12997 vsize=10851072 memory=2008 CPUtime=0.25 cores=1,3,5,7
/proc/13000/task/13056/stat : 13056 (java) S 12997 13000 9865 0 -1 1077944384 607 13255 0 0 12 5 5 3 20 0 15 0 407149641 11111497728 234721 33554432000 4194304 4196468 140733243340304 139976324860816 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13057] ppid=12997 vsize=10851072 memory=1436 CPUtime=0.25 cores=1,3,5,7
/proc/13000/task/13057/stat : 13057 (java) S 12997 13000 9865 0 -1 1077944384 4267 13255 0 0 12 5 5 3 20 0 15 0 407149641 11111497728 234721 33554432000 4194304 4196468 140733243340304 139976323808016 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13058] ppid=12997 vsize=10851072 memory=4164 CPUtime=0.2 cores=1,3,5,7
/proc/13000/task/13058/stat : 13058 (java) S 12997 13000 9865 0 -1 1077944384 5945 13255 0 0 11 1 5 3 20 0 15 0 407149643 11111497728 234721 33554432000 4194304 4196468 140733243340304 139976279366000 139976752740994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13059] ppid=12997 vsize=10851072 memory=288230583132487972 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13059/stat : 13059 (java) S 12997 13000 9865 0 -1 1077944384 24 13255 0 0 0 0 5 3 20 0 15 0 407149643 11111497728 234721 33554432000 4194304 4196468 140733243340304 139976205395040 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13060] ppid=12997 vsize=10851072 memory=15255939406104046 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13060/stat : 13060 (java) S 12997 13000 9865 0 -1 1077944384 4 13255 0 0 0 0 5 3 20 0 15 0 407149644 11111497728 234721 33554432000 4194304 4196468 140733243340304 139975601415040 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13061] ppid=12997 vsize=10851072 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13061/stat : 13061 (java) S 12997 13000 9865 0 -1 1077944384 3 13255 0 0 0 0 5 3 20 0 15 0 407149646 11111497728 234721 33554432000 4194304 4196468 140733243340304 139975294015312 139976752748443 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13062] ppid=12997 vsize=10851072 memory=8 CPUtime=7.17 cores=1,3,5,7
/proc/13000/task/13062/stat : 13062 (java) S 12997 13000 9865 0 -1 1077944384 20551 13255 0 0 705 4 5 3 20 0 15 0 407149646 11111497728 234721 33554432000 4194304 4196468 140733243340304 139976278313840 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13063] ppid=12997 vsize=10851072 memory=8 CPUtime=6.94 cores=1,3,5,7
/proc/13000/task/13063/stat : 13063 (java) R 12997 13000 9865 0 -1 1077944384 23466 13255 0 0 681 5 5 3 20 0 15 0 407149646 11111497728 234721 33554432000 4194304 4196468 140733243340304 139976277261040 139976752740994 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13064] ppid=12997 vsize=10851072 memory=279555126604152 CPUtime=4.43 cores=1,3,5,7
/proc/13000/task/13064/stat : 13064 (java) R 12997 13000 9865 0 -1 1077944384 18895 13255 0 0 428 7 5 3 20 0 15 0 407149646 11111497728 234721 33554432000 4194304 4196468 140733243340304 139976276208240 139976752740994 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13065] ppid=12997 vsize=10851072 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13065/stat : 13065 (java) S 12997 13000 9865 0 -1 1077944384 3 13255 0 0 0 0 5 3 20 0 15 0 407149646 11111497728 234721 33554432000 4194304 4196468 140733243340304 139975260457696 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13066] ppid=12997 vsize=10851072 memory=7444843076533644388 CPUtime=0.11 cores=1,3,5,7
/proc/13000/task/13066/stat : 13066 (java) S 12997 13000 9865 0 -1 1077944384 768 13255 0 0 2 1 5 3 20 0 15 0 407149647 11111497728 234721 33554432000 4194304 4196468 140733243340304 139976275155632 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
Current children cumulated CPU time: 98.9 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 938884 KiB
[startup+81.6008 s]
/proc/loadavg: 1.45 1.44 1.40 3/229 13072
/proc/meminfo: memFree=21120976/32770624 swapFree=66939824/67108860
[pid=13000] ppid=12997 vsize=10851072 memory=937856 CPUtime=100.55 cores=1,3,5,7
/proc/13000/stat : 13000 (java) S 12997 13000 9865 0 -1 1077944320 112843 13255 0 0 9986 61 5 3 20 0 15 0 407149632 11111497728 234464 33554432000 4194304 4196468 140733243340304 140733243322848 139976752729847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
/proc/13000/statm: 2712768 234464 3631 1 0 2674829 0
[pid=13000/tid=13053] ppid=12997 vsize=10851072 memory=988 CPUtime=81.18 cores=1,3,5,7
/proc/13000/task/13053/stat : 13053 (java) R 12997 13000 9865 0 -1 4202560 33367 13255 0 0 8092 18 5 3 20 0 15 0 407149641 11111497728 234464 33554432000 4194304 4196468 140733243340304 139976724562736 139976375996032 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13054] ppid=12997 vsize=10851072 memory=2008 CPUtime=0.28 cores=1,3,5,7
/proc/13000/task/13054/stat : 13054 (java) S 12997 13000 9865 0 -1 1077944384 1460 13255 0 0 15 5 5 3 20 0 15 0 407149641 11111497728 234464 33554432000 4194304 4196468 140733243340304 139976756972688 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13055] ppid=12997 vsize=10851072 memory=1436 CPUtime=0.29 cores=1,3,5,7
/proc/13000/task/13055/stat : 13055 (java) S 12997 13000 9865 0 -1 1077944384 1226 13255 0 0 15 6 5 3 20 0 15 0 407149641 11111497728 234464 33554432000 4194304 4196468 140733243340304 139976325913616 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13056] ppid=12997 vsize=10851072 memory=1440 CPUtime=0.25 cores=1,3,5,7
/proc/13000/task/13056/stat : 13056 (java) S 12997 13000 9865 0 -1 1077944384 608 13255 0 0 12 5 5 3 20 0 15 0 407149641 11111497728 234464 33554432000 4194304 4196468 140733243340304 139976324860816 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13057] ppid=12997 vsize=10851072 memory=804 CPUtime=0.26 cores=1,3,5,7
/proc/13000/task/13057/stat : 13057 (java) S 12997 13000 9865 0 -1 1077944384 4269 13255 0 0 13 5 5 3 20 0 15 0 407149641 11111497728 234464 33554432000 4194304 4196468 140733243340304 139976323808016 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13058] ppid=12997 vsize=10851072 memory=3504 CPUtime=0.2 cores=1,3,5,7
/proc/13000/task/13058/stat : 13058 (java) S 12997 13000 9865 0 -1 1077944384 5945 13255 0 0 11 1 5 3 20 0 15 0 407149643 11111497728 234464 33554432000 4194304 4196468 140733243340304 139976279366000 139976752740994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13059] ppid=12997 vsize=10851072 memory=37800 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13059/stat : 13059 (java) S 12997 13000 9865 0 -1 1077944384 24 13255 0 0 0 0 5 3 20 0 15 0 407149643 11111497728 234464 33554432000 4194304 4196468 140733243340304 139976205395040 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13060] ppid=12997 vsize=10851072 memory=988 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13060/stat : 13060 (java) S 12997 13000 9865 0 -1 1077944384 4 13255 0 0 0 0 5 3 20 0 15 0 407149644 11111497728 234464 33554432000 4194304 4196468 140733243340304 139975601415040 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13061] ppid=12997 vsize=10851072 memory=2008 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13061/stat : 13061 (java) S 12997 13000 9865 0 -1 1077944384 3 13255 0 0 0 0 5 3 20 0 15 0 407149646 11111497728 234464 33554432000 4194304 4196468 140733243340304 139975294015312 139976752748443 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13062] ppid=12997 vsize=10851072 memory=938884 CPUtime=7.2 cores=1,3,5,7
/proc/13000/task/13062/stat : 13062 (java) S 12997 13000 9865 0 -1 1077944384 20551 13255 0 0 708 4 5 3 20 0 15 0 407149646 11111497728 234464 33554432000 4194304 4196468 140733243340304 139976278313840 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13063] ppid=12997 vsize=10851072 memory=4872558044660077418 CPUtime=6.95 cores=1,3,5,7
/proc/13000/task/13063/stat : 13063 (java) S 12997 13000 9865 0 -1 1077944384 23473 13255 0 0 682 5 5 3 20 0 15 0 407149646 11111497728 234464 33554432000 4194304 4196468 140733243340304 139976277261040 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13064] ppid=12997 vsize=10851072 memory=1 CPUtime=4.44 cores=1,3,5,7
/proc/13000/task/13064/stat : 13064 (java) S 12997 13000 9865 0 -1 1077944384 18932 13255 0 0 429 7 5 3 20 0 15 0 407149646 11111497728 234464 33554432000 4194304 4196468 140733243340304 139976276208240 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13065] ppid=12997 vsize=10851072 memory=938884 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13065/stat : 13065 (java) S 12997 13000 9865 0 -1 1077944384 3 13255 0 0 0 0 5 3 20 0 15 0 407149646 11111497728 234464 33554432000 4194304 4196468 140733243340304 139975260457696 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13066] ppid=12997 vsize=10851072 memory=1232 CPUtime=0.11 cores=1,3,5,7
/proc/13000/task/13066/stat : 13066 (java) S 12997 13000 9865 0 -1 1077944384 768 13255 0 0 2 1 5 3 20 0 15 0 407149647 11111497728 234464 33554432000 4194304 4196468 140733243340304 139976275155632 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
Current children cumulated CPU time: 100.55 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 937856 KiB
[startup+82.4008 s]
/proc/loadavg: 1.45 1.44 1.40 3/229 13072
/proc/meminfo: memFree=21121052/32770624 swapFree=66939824/67108860
[pid=13000] ppid=12997 vsize=10851072 memory=936832 CPUtime=101.38 cores=1,3,5,7
/proc/13000/stat : 13000 (java) S 12997 13000 9865 0 -1 1077944320 112846 13255 0 0 10069 61 5 3 20 0 15 0 407149632 11111497728 234208 33554432000 4194304 4196468 140733243340304 140733243322848 139976752729847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
/proc/13000/statm: 2712768 234208 3631 1 0 2674829 0
[pid=13000/tid=13053] ppid=12997 vsize=10851072 memory=808 CPUtime=81.98 cores=1,3,5,7
/proc/13000/task/13053/stat : 13053 (java) R 12997 13000 9865 0 -1 4202560 33368 13255 0 0 8172 18 5 3 20 0 15 0 407149641 11111497728 234208 33554432000 4194304 4196468 140733243340304 139976724565344 139976378287904 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13054] ppid=12997 vsize=10851072 memory=1804 CPUtime=0.28 cores=1,3,5,7
/proc/13000/task/13054/stat : 13054 (java) S 12997 13000 9865 0 -1 1077944384 1460 13255 0 0 15 5 5 3 20 0 15 0 407149641 11111497728 234208 33554432000 4194304 4196468 140733243340304 139976756972688 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13055] ppid=12997 vsize=10851072 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/13000/task/13055/stat : 13055 (java) S 12997 13000 9865 0 -1 1077944384 1226 13255 0 0 15 6 5 3 20 0 15 0 407149641 11111497728 234208 33554432000 4194304 4196468 140733243340304 139976325913616 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13056] ppid=12997 vsize=10851072 memory=14008 CPUtime=0.26 cores=1,3,5,7
/proc/13000/task/13056/stat : 13056 (java) S 12997 13000 9865 0 -1 1077944384 608 13255 0 0 13 5 5 3 20 0 15 0 407149641 11111497728 234208 33554432000 4194304 4196468 140733243340304 139976324860816 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13057] ppid=12997 vsize=10851072 memory=20880 CPUtime=0.26 cores=1,3,5,7
/proc/13000/task/13057/stat : 13057 (java) S 12997 13000 9865 0 -1 1077944384 4269 13255 0 0 13 5 5 3 20 0 15 0 407149641 11111497728 234208 33554432000 4194304 4196468 140733243340304 139976323808016 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13058] ppid=12997 vsize=10851072 memory=14056 CPUtime=0.2 cores=1,3,5,7
/proc/13000/task/13058/stat : 13058 (java) S 12997 13000 9865 0 -1 1077944384 5945 13255 0 0 11 1 5 3 20 0 15 0 407149643 11111497728 234208 33554432000 4194304 4196468 140733243340304 139976279366000 139976752740994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13059] ppid=12997 vsize=10851072 memory=2116 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13059/stat : 13059 (java) S 12997 13000 9865 0 -1 1077944384 24 13255 0 0 0 0 5 3 20 0 15 0 407149643 11111497728 234208 33554432000 4194304 4196468 140733243340304 139976205395040 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13060] ppid=12997 vsize=10851072 memory=520 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13060/stat : 13060 (java) S 12997 13000 9865 0 -1 1077944384 4 13255 0 0 0 0 5 3 20 0 15 0 407149644 11111497728 234208 33554432000 4194304 4196468 140733243340304 139975601415040 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13061] ppid=12997 vsize=10851072 memory=1560 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13061/stat : 13061 (java) S 12997 13000 9865 0 -1 1077944384 3 13255 0 0 0 0 5 3 20 0 15 0 407149646 11111497728 234208 33554432000 4194304 4196468 140733243340304 139975294015312 139976752748443 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13062] ppid=12997 vsize=10851072 memory=1436 CPUtime=7.21 cores=1,3,5,7
/proc/13000/task/13062/stat : 13062 (java) S 12997 13000 9865 0 -1 1077944384 20551 13255 0 0 709 4 5 3 20 0 15 0 407149646 11111497728 234208 33554432000 4194304 4196468 140733243340304 139976278313840 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13063] ppid=12997 vsize=10851072 memory=4164 CPUtime=6.96 cores=1,3,5,7
/proc/13000/task/13063/stat : 13063 (java) S 12997 13000 9865 0 -1 1077944384 23474 13255 0 0 683 5 5 3 20 0 15 0 407149646 11111497728 234208 33554432000 4194304 4196468 140733243340304 139976277261040 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13064] ppid=12997 vsize=10851072 memory=1548 CPUtime=4.44 cores=1,3,5,7
/proc/13000/task/13064/stat : 13064 (java) S 12997 13000 9865 0 -1 1077944384 18933 13255 0 0 429 7 5 3 20 0 15 0 407149646 11111497728 234208 33554432000 4194304 4196468 140733243340304 139976276208240 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13065] ppid=12997 vsize=10851072 memory=1608 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13065/stat : 13065 (java) S 12997 13000 9865 0 -1 1077944384 3 13255 0 0 0 0 5 3 20 0 15 0 407149646 11111497728 234208 33554432000 4194304 4196468 140733243340304 139975260457696 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13066] ppid=12997 vsize=10851072 memory=7980 CPUtime=0.11 cores=1,3,5,7
/proc/13000/task/13066/stat : 13066 (java) S 12997 13000 9865 0 -1 1077944384 768 13255 0 0 2 1 5 3 20 0 15 0 407149647 11111497728 234208 33554432000 4194304 4196468 140733243340304 139976275155632 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
Current children cumulated CPU time: 101.38 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 936832 KiB
[startup+82.8007 s]
/proc/loadavg: 1.45 1.44 1.40 3/229 13072
/proc/meminfo: memFree=21121052/32770624 swapFree=66939824/67108860
[pid=13000] ppid=12997 vsize=10851072 memory=936832 CPUtime=101.79 cores=1,3,5,7
/proc/13000/stat : 13000 (java) S 12997 13000 9865 0 -1 1077944320 112847 13255 0 0 10110 61 5 3 20 0 15 0 407149632 11111497728 234208 33554432000 4194304 4196468 140733243340304 140733243322848 139976752729847 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
/proc/13000/statm: 2712768 234208 3631 1 0 2674829 0
[pid=13000/tid=13053] ppid=12997 vsize=10851072 memory=288230596050944315 CPUtime=82.38 cores=1,3,5,7
/proc/13000/task/13053/stat : 13053 (java) R 12997 13000 9865 0 -1 4202560 33368 13255 0 0 8212 18 5 3 20 0 15 0 407149641 11111497728 234208 33554432000 4194304 4196468 140733243340304 139976724562736 139976362208163 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13054] ppid=12997 vsize=10851072 memory=15817794159643255 CPUtime=0.28 cores=1,3,5,7
/proc/13000/task/13054/stat : 13054 (java) S 12997 13000 9865 0 -1 1077944384 1460 13255 0 0 15 5 5 3 20 0 15 0 407149641 11111497728 234208 33554432000 4194304 4196468 140733243340304 139976756972688 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13055] ppid=12997 vsize=10851072 memory=-8341965534556230502 CPUtime=0.29 cores=1,3,5,7
/proc/13000/task/13055/stat : 13055 (java) S 12997 13000 9865 0 -1 1077944384 1226 13255 0 0 15 6 5 3 20 0 15 0 407149641 11111497728 234208 33554432000 4194304 4196468 140733243340304 139976325913616 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13056] ppid=12997 vsize=10851072 memory=7822038051842261661 CPUtime=0.26 cores=1,3,5,7
/proc/13000/task/13056/stat : 13056 (java) S 12997 13000 9865 0 -1 1077944384 608 13255 0 0 13 5 5 3 20 0 15 0 407149641 11111497728 234208 33554432000 4194304 4196468 140733243340304 139976324860816 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13057] ppid=12997 vsize=10851072 memory=-6520471753822164382 CPUtime=0.26 cores=1,3,5,7
/proc/13000/task/13057/stat : 13057 (java) S 12997 13000 9865 0 -1 1077944384 4269 13255 0 0 13 5 5 3 20 0 15 0 407149641 11111497728 234208 33554432000 4194304 4196468 140733243340304 139976323808016 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13058] ppid=12997 vsize=10851072 memory=8514701219730522529 CPUtime=0.2 cores=1,3,5,7
/proc/13000/task/13058/stat : 13058 (java) S 12997 13000 9865 0 -1 1077944384 5945 13255 0 0 11 1 5 3 20 0 15 0 407149643 11111497728 234208 33554432000 4194304 4196468 140733243340304 139976279366000 139976752740994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13059] ppid=12997 vsize=10851072 memory=7237392805375797352 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13059/stat : 13059 (java) S 12997 13000 9865 0 -1 1077944384 24 13255 0 0 0 0 5 3 20 0 15 0 407149643 11111497728 234208 33554432000 4194304 4196468 140733243340304 139976205395040 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13060] ppid=12997 vsize=10851072 memory=7013039623146923120 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13060/stat : 13060 (java) S 12997 13000 9865 0 -1 1077944384 4 13255 0 0 0 0 5 3 20 0 15 0 407149644 11111497728 234208 33554432000 4194304 4196468 140733243340304 139975601415040 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13061] ppid=12997 vsize=10851072 memory=5936146083275104873 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13061/stat : 13061 (java) S 12997 13000 9865 0 -1 1077944384 3 13255 0 0 0 0 5 3 20 0 15 0 407149646 11111497728 234208 33554432000 4194304 4196468 140733243340304 139975294015312 139976752748443 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13062] ppid=12997 vsize=10851072 memory=3790240454470795296 CPUtime=7.21 cores=1,3,5,7
/proc/13000/task/13062/stat : 13062 (java) S 12997 13000 9865 0 -1 1077944384 20551 13255 0 0 709 4 5 3 20 0 15 0 407149646 11111497728 234208 33554432000 4194304 4196468 140733243340304 139976278313840 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13063] ppid=12997 vsize=10851072 memory=303148769850163535 CPUtime=6.97 cores=1,3,5,7
/proc/13000/task/13063/stat : 13063 (java) S 12997 13000 9865 0 -1 1077944384 23474 13255 0 0 684 5 5 3 20 0 15 0 407149646 11111497728 234208 33554432000 4194304 4196468 140733243340304 139976277261040 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13064] ppid=12997 vsize=10851072 memory=14409345601380815 CPUtime=4.45 cores=1,3,5,7
/proc/13000/task/13064/stat : 13064 (java) S 12997 13000 9865 0 -1 1077944384 18934 13255 0 0 430 7 5 3 20 0 15 0 407149646 11111497728 234208 33554432000 4194304 4196468 140733243340304 139976276208240 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13065] ppid=12997 vsize=10851072 memory=7883943056538943588 CPUtime=0.08 cores=1,3,5,7
/proc/13000/task/13065/stat : 13065 (java) S 12997 13000 9865 0 -1 1077944384 3 13255 0 0 0 0 5 3 20 0 15 0 407149646 11111497728 234208 33554432000 4194304 4196468 140733243340304 139975260457696 139976752740053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
[pid=13000/tid=13066] ppid=12997 vsize=10851072 memory=945040 CPUtime=0.11 cores=1,3,5,7
/proc/13000/task/13066/stat : 13066 (java) S 12997 13000 9865 0 -1 1077944384 768 13255 0 0 2 1 5 3 20 0 15 0 407149647 11111497728 234208 33554432000 4194304 4196468 140733243340304 139976275155632 139976752740994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30707712 140733243345653 140733243348165 140733243348165 140733243350991 0
Current children cumulated CPU time: 101.79 s
Current children cumulated vsize: 10851072 KiB
Current children cumulated memory: 936832 KiB
Child status: 0
Real time (s): 82.8447
CPU time (s): 101.853
CPU user time (s): 101.186
CPU system time (s): 0.667177
CPU usage (%): 122.944
Max. virtual memory (cumulated for all children) (KiB): 10851072
Max. memory (cumulated for all children) (KiB): 984984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 101.186
system time used= 0.667177
maximum resident set size= 984984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 126485
page faults= 0
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23794
involuntary context switches= 145
# summary of solver processes directly reported to runsolver:
# pid: 13000
# total CPU time (s): 101.853
# total CPU user time (s): 101.186
# total CPU system time (s): 0.667177
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.487988 second user time and 0.86607 second system time
The end
Begin job on node119 at 2019-09-12 20:18:27 IDJOB=4391989 IDBENCH=126789 IDSOLVER=2837 FILE ID=node119/4391989-1568312347 RUNJOBID= node119-1568306047-10998 PBS_JOBID= 21701106 Free space on /tmp= 57236 MiB SOLVER NAME= Concrete 3.10 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbo-30-15-1.xml COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391989-1568312347/watcher-4391989-1568312347 -o /tmp/evaluation-result-4391989-1568312347/solver-4391989-1568312347 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568306047-10998 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1492228063 HOME/instance-4391989-1568312347.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0da4913a631570f2aab16967eaf6c11a RANDOM SEED=1492228063 node119.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.47 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.47 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.47 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.47 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: 22042380 kB MemAvailable: 31483052 kB Buffers: 157760 kB Cached: 9506712 kB SwapCached: 61084 kB Active: 2599128 kB Inactive: 7447848 kB Active(anon): 320976 kB Inactive(anon): 102704 kB Active(file): 2278152 kB Inactive(file): 7345144 kB Unevictable: 107484 kB Mlocked: 107484 kB SwapTotal: 67108860 kB SwapFree: 66939824 kB Dirty: 35168 kB Writeback: 0 kB AnonPages: 378908 kB Mapped: 56848 kB Shmem: 32808 kB Slab: 274604 kB SReclaimable: 245836 kB SUnreclaim: 28768 kB KernelStack: 4016 kB PageTables: 8460 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1444352 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 288768 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 57200 MiB End job on node119 at 2019-09-12 20:19:51