Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-09-20 | OPT | 3 | 24.7807 | 7.17861 |
| Name | OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-30-30-1.xml |
| MD5SUM | 67a2d403e3bfd604d92484151c447548 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 21.818 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2760 |
| Number of constraints | 2731 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 31 |
| Distribution of domain sizes | [{"size":2,"count":1800},{"size":3,"count":900},{"size":30,"count":30},{"size":31,"count":30}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 31 |
| Distribution of variable degrees | [{"degree":2,"count":960},{"degree":3,"count":1770},{"degree":31,"count":30}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 31 |
| Distribution of constraint arities | [{"arity":2,"count":930},{"arity":3,"count":1770},{"arity":30,"count":1},{"arity":31,"count":30}] |
| Number of extensional constraints | 900 |
| Number of intensional constraints | 900 |
| Distribution of constraint types | [{"type":"extension","count":900},{"type":"intension","count":900},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"element","count":900}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404123-1568992489.xml" -tl '2400s' -p 4 0.13/0.18 c Choco 3fb4b153 0.13/0.18 c [HOME/instance-4404123-1568992489.xml, -tl, 2400s, -p, 4] 0.35/0.22 c 4 solvers in parallel 0.35/0.28 c parse instance... 4.41/1.50 c solve instance... 4.78/1.70 o 19 5.52/1.81 o 18 5.52/1.83 o 17 6.19/2.06 o 16 6.19/2.10 o 15 6.43/2.17 o 14 6.75/2.20 o 13 7.87/2.52 o 12 7.87/2.54 o 11 8.91/2.89 o 10 9.24/2.98 o 9 16.59/4.88 o 7 16.78/4.98 o 6 17.47/5.19 o 5 23.52/6.78 o 4 24.01/6.98 o 3 24.59/7.15 s OPTIMUM FOUND 24.59/7.15 v <instantiation> 24.59/7.15 v <list>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] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] 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[0][15] np[0][16] np[0][17] np[0][18] np[0][19] np[0][20] np[0][21] np[0][22] np[0][23] np[0][24] np[0][25] np[0][26] np[0][27] np[0][28] np[0][29] 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[1][15] np[1][16] np[1][17] np[1][18] np[1][19] np[1][20] np[1][21] np[1][22] np[1][23] np[1][24] np[1][25] np[1][26] np[1][27] np[1][28] np[1][29] 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[2][15] np[2][16] np[2][17] np[2][18] np[2][19] np[2][20] np[2][21] np[2][22] np[2][23] np[2][24] np[2][25] np[2][26] np[2][27] np[2][28] np[2][29] 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[3][15] np[3][16] np[3][17] np[3][18] np[3][19] np[3][20] np[3][21] np[3][22] np[3][23] np[3][24] np[3][25] np[3][26] np[3][27] np[3][28] np[3][29] 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[4][15] np[4][16] np[4][17] np[4][18] np[4][19] np[4][20] np[4][21] np[4][22] np[4][23] np[4][24] np[4][25] np[4][26] np[4][27] np[4][28] np[4][29] 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[5][15] np[5][16] np[5][17] np[5][18] np[5][19] np[5][20] np[5][21] np[5][22] np[5][23] np[5][24] np[5][25] np[5][26] np[5][27] np[5][28] np[5][29] 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[6][15] np[6][16] np[6][17] np[6][18] np[6][19] np[6][20] np[6][21] np[6][22] np[6][23] np[6][24] np[6][25] np[6][26] np[6][27] np[6][28] np[6][29] 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[7][15] np[7][16] np[7][17] np[7][18] np[7][19] np[7][20] np[7][21] np[7][22] np[7][23] np[7][24] np[7][25] np[7][26] np[7][27] np[7][28] np[7][29] 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[8][15] np[8][16] np[8][17] np[8][18] np[8][19] np[8][20] np[8][21] np[8][22] np[8][23] np[8][24] np[8][25] np[8][26] np[8][27] np[8][28] np[8][29] 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[9][15] np[9][16] np[9][17] np[9][18] np[9][19] np[9][20] np[9][21] np[9][22] np[9][23] np[9][24] np[9][25] np[9][26] np[9][27] np[9][28] np[9][29] 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[10][15] np[10][16] np[10][17] np[10][18] np[10][19] np[10][20] np[10][21] np[10][22] np[10][23] np[10][24] np[10][25] np[10][26] np[10][27] np[10][28] np[10][29] 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[11][15] np[11][16] np[11][17] np[11][18] np[11][19] np[11][20] np[11][21] np[11][22] np[11][23] np[11][24] np[11][25] np[11][26] np[11][27] np[11][28] np[11][29] 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[12][15] np[12][16] np[12][17] np[12][18] np[12][19] np[12][20] np[12][21] np[12][22] np[12][23] np[12][24] np[12][25] np[12][26] np[12][27] np[12][28] np[12][29] 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[13][15] np[13][16] np[13][17] np[13][18] np[13][19] np[13][20] np[13][21] np[13][22] np[13][23] np[13][24] np[13][25] np[13][26] np[13][27] np[13][28] np[13][29] 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[14][15] np[14][16] np[14][17] np[14][18] np[14][19] np[14][20] np[14][21] np[14][22] np[14][23] np[14][24] np[14][25] np[14][26] np[14][27] np[14][28] np[14][29] 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[15][15] np[15][16] np[15][17] np[15][18] np[15][19] np[15][20] np[15][21] np[15][22] np[15][23] np[15][24] np[15][25] np[15][26] np[15][27] np[15][28] np[15][29] 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[16][15] np[16][16] np[16][17] np[16][18] np[16][19] np[16][20] np[16][21] np[16][22] np[16][23] np[16][24] np[16][25] np[16][26] np[16][27] np[16][28] np[16][29] 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[17][15] np[17][16] np[17][17] np[17][18] np[17][19] np[17][20] np[17][21] np[17][22] np[17][23] np[17][24] np[17][25] np[17][26] np[17][27] np[17][28] np[17][29] 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[18][15] np[18][16] np[18][17] np[18][18] np[18][19] np[18][20] np[18][21] np[18][22] np[18][23] np[18][24] np[18][25] np[18][26] np[18][27] np[18][28] np[18][29] 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[19][15] np[19][16] np[19][17] np[19][18] np[19][19] np[19][20] np[19][21] np[19][22] np[19][23] np[19][24] np[19][25] np[19][26] np[19][27] np[19][28] np[19][29] 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[20][15] np[20][16] np[20][17] np[20][18] np[20][19] np[20][20] np[20][21] np[20][22] np[20][23] np[20][24] np[20][25] np[20][26] np[20][27] np[20][28] np[20][29] 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[21][15] np[21][16] np[21][17] np[21][18] np[21][19] np[21][20] np[21][21] np[21][22] np[21][23] np[21][24] np[21][25] np[21][26] np[21][27] np[21][28] np[21][29] 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[22][15] np[22][16] np[22][17] np[22][18] np[22][19] np[22][20] np[22][21] np[22][22] np[22][23] np[22][24] np[22][25] np[22][26] np[22][27] np[22][28] np[22][29] 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[23][15] np[23][16] np[23][17] np[23][18] np[23][19] np[23][20] np[23][21] np[23][22] np[23][23] np[23][24] np[23][25] np[23][26] np[23][27] np[23][28] np[23][29] 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[24][15] np[24][16] np[24][17] np[24][18] np[24][19] np[24][20] np[24][21] np[24][22] np[24][23] np[24][24] np[24][25] np[24][26] np[24][27] np[24][28] np[24][29] 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[25][15] np[25][16] np[25][17] np[25][18] np[25][19] np[25][20] np[25][21] np[25][22] np[25][23] np[25][24] np[25][25] np[25][26] np[25][27] np[25][28] np[25][29] 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[26][15] np[26][16] np[26][17] np[26][18] np[26][19] np[26][20] np[26][21] np[26][22] np[26][23] np[26][24] np[26][25] np[26][26] np[26][27] np[26][28] np[26][29] 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[27][15] np[27][16] np[27][17] np[27][18] np[27][19] np[27][20] np[27][21] np[27][22] np[27][23] np[27][24] np[27][25] np[27][26] np[27][27] np[27][28] np[27][29] 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[28][15] np[28][16] np[28][17] np[28][18] np[28][19] np[28][20] np[28][21] np[28][22] np[28][23] np[28][24] np[28][25] np[28][26] np[28][27] np[28][28] np[28][29] 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] np[29][15] np[29][16] np[29][17] np[29][18] np[29][19] np[29][20] np[29][21] np[29][22] np[29][23] np[29][24] np[29][25] np[29][26] np[29][27] np[29][28] np[29][29] 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[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[0][20] r[0][21] r[0][22] r[0][23] r[0][24] r[0][25] r[0][26] r[0][27] r[0][28] r[0][29] 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[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[1][20] r[1][21] r[1][22] r[1][23] r[1][24] r[1][25] r[1][26] r[1][27] r[1][28] r[1][29] 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[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[2][20] r[2][21] r[2][22] r[2][23] r[2][24] r[2][25] r[2][26] r[2][27] r[2][28] r[2][29] 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[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[3][20] r[3][21] r[3][22] r[3][23] r[3][24] r[3][25] r[3][26] r[3][27] r[3][28] r[3][29] 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[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[4][20] r[4][21] r[4][22] r[4][23] r[4][24] r[4][25] r[4][26] r[4][27] r[4][28] r[4][29] 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[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[5][20] r[5][21] r[5][22] r[5][23] r[5][24] r[5][25] r[5][26] r[5][27] r[5][28] r[5][29] 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[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[6][20] r[6][21] r[6][22] r[6][23] r[6][24] r[6][25] r[6][26] r[6][27] r[6][28] r[6][29] 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[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[7][20] r[7][21] r[7][22] r[7][23] r[7][24] r[7][25] r[7][26] r[7][27] r[7][28] r[7][29] 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[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[8][20] r[8][21] r[8][22] r[8][23] r[8][24] r[8][25] r[8][26] r[8][27] r[8][28] r[8][29] 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[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[9][20] r[9][21] r[9][22] r[9][23] r[9][24] r[9][25] r[9][26] r[9][27] r[9][28] r[9][29] 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[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[10][20] r[10][21] r[10][22] r[10][23] r[10][24] r[10][25] r[10][26] r[10][27] r[10][28] r[10][29] 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[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[11][20] r[11][21] r[11][22] r[11][23] r[11][24] r[11][25] r[11][26] r[11][27] r[11][28] r[11][29] 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[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[12][20] r[12][21] r[12][22] r[12][23] r[12][24] r[12][25] r[12][26] r[12][27] r[12][28] r[12][29] 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[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[13][20] r[13][21] r[13][22] r[13][23] r[13][24] r[13][25] r[13][26] r[13][27] r[13][28] r[13][29] 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[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[14][20] r[14][21] r[14][22] r[14][23] r[14][24] r[14][25] r[14][26] r[14][27] r[14][28] r[14][29] 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[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[15][20] r[15][21] r[15][22] r[15][23] r[15][24] r[15][25] r[15][26] r[15][27] r[15][28] r[15][29] 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[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[16][20] r[16][21] r[16][22] r[16][23] r[16][24] r[16][25] r[16][26] r[16][27] r[16][28] r[16][29] 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[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[17][20] r[17][21] r[17][22] r[17][23] r[17][24] r[17][25] r[17][26] r[17][27] r[17][28] r[17][29] 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[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[18][20] r[18][21] r[18][22] r[18][23] r[18][24] r[18][25] r[18][26] r[18][27] r[18][28] r[18][29] 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[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[19][20] r[19][21] r[19][22] r[19][23] r[19][24] r[19][25] r[19][26] r[19][27] r[19][28] r[19][29] 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[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[20][20] r[20][21] r[20][22] r[20][23] r[20][24] r[20][25] r[20][26] r[20][27] r[20][28] r[20][29] 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[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[21][20] r[21][21] r[21][22] r[21][23] r[21][24] r[21][25] r[21][26] r[21][27] r[21][28] r[21][29] 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[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[22][20] r[22][21] r[22][22] r[22][23] r[22][24] r[22][25] r[22][26] r[22][27] r[22][28] r[22][29] 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[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[23][20] r[23][21] r[23][22] r[23][23] r[23][24] r[23][25] r[23][26] r[23][27] r[23][28] r[23][29] 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[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[24][20] r[24][21] r[24][22] r[24][23] r[24][24] r[24][25] r[24][26] r[24][27] r[24][28] r[24][29] 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[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[25][20] r[25][21] r[25][22] r[25][23] r[25][24] r[25][25] r[25][26] r[25][27] r[25][28] r[25][29] 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[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[26][20] r[26][21] r[26][22] r[26][23] r[26][24] r[26][25] r[26][26] r[26][27] r[26][28] r[26][29] 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[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[27][20] r[27][21] r[27][22] r[27][23] r[27][24] r[27][25] r[27][26] r[27][27] r[27][28] r[27][29] 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[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[28][20] r[28][21] r[28][22] r[28][23] r[28][24] r[28][25] r[28][26] r[28][27] r[28][28] r[28][29] 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] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[29][20] r[29][21] r[29][22] r[29][23] r[29][24] r[29][25] r[29][26] r[29][27] r[29][28] r[29][29] 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[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] 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[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] 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[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] 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[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] 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[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] 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[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] 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[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] 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[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] 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[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] 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[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] 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[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] 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[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] 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[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] 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[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] 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[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] 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[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] 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[16][15] o[16][16] o[16][17] o[16][18] o[16][19] o[16][20] o[16][21] o[16][22] o[16][23] o[16][24] o[16][25] o[16][26] o[16][27] o[16][28] o[16][29] 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[17][15] o[17][16] o[17][17] o[17][18] o[17][19] o[17][20] o[17][21] o[17][22] o[17][23] o[17][24] o[17][25] o[17][26] o[17][27] o[17][28] o[17][29] 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[18][15] o[18][16] o[18][17] o[18][18] o[18][19] o[18][20] o[18][21] o[18][22] o[18][23] o[18][24] o[18][25] o[18][26] o[18][27] o[18][28] o[18][29] 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[19][15] o[19][16] o[19][17] o[19][18] o[19][19] o[19][20] o[19][21] o[19][22] o[19][23] o[19][24] o[19][25] o[19][26] o[19][27] o[19][28] o[19][29] 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[20][15] o[20][16] o[20][17] o[20][18] o[20][19] o[20][20] o[20][21] o[20][22] o[20][23] o[20][24] o[20][25] o[20][26] o[20][27] o[20][28] o[20][29] 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[21][15] o[21][16] o[21][17] o[21][18] o[21][19] o[21][20] o[21][21] o[21][22] o[21][23] o[21][24] o[21][25] o[21][26] o[21][27] o[21][28] o[21][29] 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[22][15] o[22][16] o[22][17] o[22][18] o[22][19] o[22][20] o[22][21] o[22][22] o[22][23] o[22][24] o[22][25] o[22][26] o[22][27] o[22][28] o[22][29] 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[23][15] o[23][16] o[23][17] o[23][18] o[23][19] o[23][20] o[23][21] o[23][22] o[23][23] o[23][24] o[23][25] o[23][26] o[23][27] o[23][28] o[23][29] 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[24][15] o[24][16] o[24][17] o[24][18] o[24][19] o[24][20] o[24][21] o[24][22] o[24][23] o[24][24] o[24][25] o[24][26] o[24][27] o[24][28] o[24][29] 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[25][15] o[25][16] o[25][17] o[25][18] o[25][19] o[25][20] o[25][21] o[25][22] o[25][23] o[25][24] o[25][25] o[25][26] o[25][27] o[25][28] o[25][29] 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[26][15] o[26][16] o[26][17] o[26][18] o[26][19] o[26][20] o[26][21] o[26][22] o[26][23] o[26][24] o[26][25] o[26][26] o[26][27] o[26][28] o[26][29] 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[27][15] o[27][16] o[27][17] o[27][18] o[27][19] o[27][20] o[27][21] o[27][22] o[27][23] o[27][24] o[27][25] o[27][26] o[27][27] o[27][28] o[27][29] 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[28][15] o[28][16] o[28][17] o[28][18] o[28][19] o[28][20] o[28][21] o[28][22] o[28][23] o[28][24] o[28][25] o[28][26] o[28][27] o[28][28] o[28][29] 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] o[29][15] o[29][16] o[29][17] o[29][18] o[29][19] o[29][20] o[29][21] o[29][22] o[29][23] o[29][24] o[29][25] o[29][26] o[29][27] o[29][28] o[29][29] 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] so[15] so[16] so[17] so[18] so[19] so[20] so[21] so[22] so[23] so[24] so[25] so[26] so[27] so[28] so[29] </list> 24.59/7.16 v <values>0 12 21 15 22 4 10 14 20 7 26 9 11 8 28 27 2 23 1 3 24 18 29 5 6 16 19 25 13 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 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 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 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 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 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 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 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 2 2 2 2 0 0 0 0 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 2 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 0 0 0 0 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 2 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 2 2 3 3 3 2 2 2 </values> 24.59/7.16 v </instantiation>
OK 3
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 (1219 MiB free)
memory of node 1: 16384 MiB (3078 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404123-1568992489/watcher-4404123-1568992489 -o /var/tmp/evaluation-result-4404123-1568992489/solver-4404123-1568992489 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1568988386-31612 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 53867432 HOME/instance-4404123-1568992489.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=8170, runsolver pid=8167
Current StackSize limit: 8192 KiB
[startup+0.100694 s]*
/proc/loadavg: 8.35 8.40 8.30 6/235 8186
/proc/meminfo: memFree=4384860/32770624 swapFree=66976740/67108860
[pid=8170] ppid=8167 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8170/stat : 8170 (xcsp3-exec) S 8167 8170 31580 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475189025 115843072 363 33554432000 4194304 5098028 140729961161008 140729961159112 139688841282172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33775616 140729961165656 140729961165913 140729961165913 140729961168838 0
/proc/8170/statm: 28282 363 304 221 0 87 0
[pid=8172] ppid=8170 vsize=15144776 memory=28900 CPUtime=0.13 cores=1,3,5,7
/proc/8172/stat : 8172 (java) S 8170 8170 31580 0 -1 1077944320 5638 0 0 0 12 1 0 0 20 0 15 0 475189025 15508250624 7225 33554432000 4194304 4196468 140728696202128 140728696184672 139943465135863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
/proc/8172/statm: 3786194 7225 3146 1 0 3748377 0
[pid=8172/tid=8173] ppid=8170 vsize=15144776 memory=7031125463459224206 CPUtime=0.08 cores=1,3,5,7
/proc/8172/task/8173/stat : 8173 (java) R 8170 8170 31580 0 -1 4202560 3589 0 0 0 8 0 0 0 20 0 15 0 475189025 15508250624 7291 33554432000 4194304 4196468 140728696202128 139943469372288 139943445354975 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8174] ppid=8170 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8174/stat : 8174 (java) S 8170 8170 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475189026 15508250624 7291 33554432000 4194304 4196468 140728696202128 139943393176208 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8175] ppid=8170 vsize=15144776 memory=140012917802624 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8175/stat : 8175 (java) S 8170 8170 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475189026 15508250624 7291 33554432000 4194304 4196468 140728696202128 139943392123408 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8176] ppid=8170 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8176/stat : 8176 (java) S 8170 8170 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475189026 15508250624 7291 33554432000 4194304 4196468 140728696202128 139943391070608 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8177] ppid=8170 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8177/stat : 8177 (java) S 8170 8170 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475189026 15508250624 7291 33554432000 4194304 4196468 140728696202128 139943054010640 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8178] ppid=8170 vsize=15144776 memory=140012917802624 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8178/stat : 8178 (java) S 8170 8170 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475189028 15508250624 7291 33554432000 4194304 4196468 140728696202128 139943000898416 139943465147010 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8179] ppid=8170 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8179/stat : 8179 (java) S 8170 8170 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475189028 15508250624 7291 33554432000 4194304 4196468 140728696202128 139942999844384 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8180] ppid=8170 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8180/stat : 8180 (java) S 8170 8170 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475189028 15508250624 7291 33554432000 4194304 4196468 140728696202128 139942998791536 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8181] ppid=8170 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8181/stat : 8181 (java) S 8170 8170 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475189031 15508250624 7291 33554432000 4194304 4196468 140728696202128 139942997739856 139943465154459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8182] ppid=8170 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8182/stat : 8182 (java) R 8170 8170 31580 0 -1 4202560 472 0 0 0 0 0 0 0 20 0 15 0 475189031 15508250624 7291 33554432000 4194304 4196468 140728696202128 139942996686400 139943442380608 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8183] ppid=8170 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8183/stat : 8183 (java) R 8170 8170 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475189031 15508250624 7291 33554432000 4194304 4196468 140728696202128 139942995634416 139943465147010 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8184] ppid=8170 vsize=15144776 memory=140012917802624 CPUtime=0.02 cores=1,3,5,7
/proc/8172/task/8184/stat : 8184 (java) R 8170 8170 31580 0 -1 4202560 324 0 0 0 2 0 0 0 20 0 15 0 475189031 15508250624 7291 33554432000 4194304 4196468 140728696202128 139942994581616 139943465157210 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8185] ppid=8170 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8185/stat : 8185 (java) S 8170 8170 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475189031 15508250624 7291 33554432000 4194304 4196468 140728696202128 139942993529056 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8186] ppid=8170 vsize=15144776 memory=140012917802624 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8186/stat : 8186 (java) S 8170 8170 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475189031 15508250624 7291 33554432000 4194304 4196468 140728696202128 139942992477360 139943465147010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30352 KiB
[startup+0.213058 s]*
/proc/loadavg: 8.35 8.40 8.30 7/235 8186
/proc/meminfo: memFree=4371496/32770624 swapFree=66976740/67108860
[pid=8170] ppid=8167 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8170/stat : 8170 (xcsp3-exec) S 8167 8170 31580 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475189025 115843072 363 33554432000 4194304 5098028 140729961161008 140729961159112 139688841282172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33775616 140729961165656 140729961165913 140729961165913 140729961168838 0
/proc/8170/statm: 28282 363 304 221 0 87 0
[pid=8172] ppid=8170 vsize=15144776 memory=40396 CPUtime=0.35 cores=1,3,5,7
/proc/8172/stat : 8172 (java) S 8170 8170 31580 0 -1 1077944320 9311 0 0 0 32 3 0 0 20 0 15 0 475189025 15508250624 10099 33554432000 4194304 4196468 140728696202128 140728696184672 139943465135863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
/proc/8172/statm: 3786194 10099 3296 1 0 3748377 0
[pid=8172/tid=8173] ppid=8170 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/8172/task/8173/stat : 8173 (java) S 8170 8170 31580 0 -1 1077944384 6558 0 0 0 18 2 0 0 20 0 15 0 475189025 15508250624 10099 33554432000 4194304 4196468 140728696202128 139943469370848 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8174] ppid=8170 vsize=15144776 memory=4296933242 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8174/stat : 8174 (java) S 8170 8170 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475189026 15508250624 10099 33554432000 4194304 4196468 140728696202128 139943393176208 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8175] ppid=8170 vsize=15144776 memory=140012919768672 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8175/stat : 8175 (java) S 8170 8170 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475189026 15508250624 10099 33554432000 4194304 4196468 140728696202128 139943392123408 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8176] ppid=8170 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8176/stat : 8176 (java) S 8170 8170 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475189026 15508250624 10099 33554432000 4194304 4196468 140728696202128 139943391070608 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8177] ppid=8170 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8177/stat : 8177 (java) S 8170 8170 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475189026 15508250624 10099 33554432000 4194304 4196468 140728696202128 139943054010640 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8178] ppid=8170 vsize=15144776 memory=140012917802624 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8178/stat : 8178 (java) S 8170 8170 31580 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475189028 15508250624 10099 33554432000 4194304 4196468 140728696202128 139943000898416 139943465147010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8179] ppid=8170 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8179/stat : 8179 (java) S 8170 8170 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475189028 15508250624 10099 33554432000 4194304 4196468 140728696202128 139942999844384 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8180] ppid=8170 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8180/stat : 8180 (java) S 8170 8170 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475189028 15508250624 10099 33554432000 4194304 4196468 140728696202128 139942998791536 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8181] ppid=8170 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8181/stat : 8181 (java) S 8170 8170 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475189031 15508250624 10099 33554432000 4194304 4196468 140728696202128 139942997739856 139943465154459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8182] ppid=8170 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8172/task/8182/stat : 8182 (java) S 8170 8170 31580 0 -1 1077944384 510 0 0 0 2 0 0 0 20 0 15 0 475189031 15508250624 10099 33554432000 4194304 4196468 140728696202128 139942996687216 139943465147010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8183] ppid=8170 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8172/task/8183/stat : 8183 (java) S 8170 8170 31580 0 -1 1077944384 143 0 0 0 2 0 0 0 20 0 15 0 475189031 15508250624 10099 33554432000 4194304 4196468 140728696202128 139942995634416 139943465147010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8184] ppid=8170 vsize=15144776 memory=140012917802624 CPUtime=0.08 cores=1,3,5,7
/proc/8172/task/8184/stat : 8184 (java) S 8170 8170 31580 0 -1 1077944384 802 0 0 0 8 0 0 0 20 0 15 0 475189031 15508250624 10099 33554432000 4194304 4196468 140728696202128 139942994581616 139943465147010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8185] ppid=8170 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8185/stat : 8185 (java) S 8170 8170 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475189031 15508250624 10099 33554432000 4194304 4196468 140728696202128 139942993529056 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8186] ppid=8170 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8186/stat : 8186 (java) S 8170 8170 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475189031 15508250624 10099 33554432000 4194304 4196468 140728696202128 139942992477360 139943465147010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41848 KiB
[startup+0.311368 s]*
/proc/loadavg: 8.35 8.40 8.30 6/235 8186
/proc/meminfo: memFree=4364484/32770624 swapFree=66976740/67108860
[pid=8170] ppid=8167 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8170/stat : 8170 (xcsp3-exec) S 8167 8170 31580 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475189025 115843072 363 33554432000 4194304 5098028 140729961161008 140729961159112 139688841282172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33775616 140729961165656 140729961165913 140729961165913 140729961168838 0
/proc/8170/statm: 28282 363 304 221 0 87 0
[pid=8172] ppid=8170 vsize=15149032 memory=48964 CPUtime=0.53 cores=1,3,5,7
/proc/8172/stat : 8172 (java) S 8170 8170 31580 0 -1 1077944320 10644 0 0 0 49 4 0 0 20 0 15 0 475189025 15512608768 12241 33554432000 4194304 4196468 140728696202128 140728696184672 139943465135863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
/proc/8172/statm: 3787258 12241 3328 1 0 3748377 0
[pid=8172/tid=8173] ppid=8170 vsize=15149032 memory=6935054825532540783 CPUtime=0.3 cores=1,3,5,7
/proc/8172/task/8173/stat : 8173 (java) R 8170 8170 31580 0 -1 4202560 7738 0 0 0 27 3 0 0 20 0 15 0 475189025 15512608768 12310 33554432000 4194304 4196468 140728696202128 139943469369648 139943465157789 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8174] ppid=8170 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8174/stat : 8174 (java) S 8170 8170 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475189026 15512608768 12310 33554432000 4194304 4196468 140728696202128 139943393176208 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8175] ppid=8170 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8175/stat : 8175 (java) S 8170 8170 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475189026 15512608768 12310 33554432000 4194304 4196468 140728696202128 139943392123408 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8176] ppid=8170 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8176/stat : 8176 (java) S 8170 8170 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475189026 15512608768 12310 33554432000 4194304 4196468 140728696202128 139943391070608 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8177] ppid=8170 vsize=15149032 memory=-2893623298589923098 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8177/stat : 8177 (java) S 8170 8170 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475189026 15512608768 12310 33554432000 4194304 4196468 140728696202128 139943054010640 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8178] ppid=8170 vsize=15149032 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8178/stat : 8178 (java) S 8170 8170 31580 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475189028 15512608768 12310 33554432000 4194304 4196468 140728696202128 139943000898416 139943465147010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8179] ppid=8170 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8179/stat : 8179 (java) S 8170 8170 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475189028 15512608768 12310 33554432000 4194304 4196468 140728696202128 139942999844384 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8180] ppid=8170 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8180/stat : 8180 (java) S 8170 8170 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475189028 15512608768 12310 33554432000 4194304 4196468 140728696202128 139942998791536 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8181] ppid=8170 vsize=15149032 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8181/stat : 8181 (java) S 8170 8170 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475189031 15512608768 12310 33554432000 4194304 4196468 140728696202128 139942997739856 139943465154459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8182] ppid=8170 vsize=15149032 memory=7091006018255220888 CPUtime=0.04 cores=1,3,5,7
/proc/8172/task/8182/stat : 8182 (java) S 8170 8170 31580 0 -1 1077944384 510 0 0 0 4 0 0 0 20 0 15 0 475189031 15512608768 12310 33554432000 4194304 4196468 140728696202128 139942996687216 139943465147010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8183] ppid=8170 vsize=15149032 memory=6944656425123485561 CPUtime=0.04 cores=1,3,5,7
/proc/8172/task/8183/stat : 8183 (java) S 8170 8170 31580 0 -1 1077944384 167 0 0 0 4 0 0 0 20 0 15 0 475189031 15512608768 12310 33554432000 4194304 4196468 140728696202128 139942995634416 139943465147010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8184] ppid=8170 vsize=15149032 memory=-7739291672887926688 CPUtime=0.12 cores=1,3,5,7
/proc/8172/task/8184/stat : 8184 (java) S 8170 8170 31580 0 -1 1077944384 945 0 0 0 12 0 0 0 20 0 15 0 475189031 15512608768 12310 33554432000 4194304 4196468 140728696202128 139942994581616 139943465147010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8185] ppid=8170 vsize=15149032 memory=8514701219781834910 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8185/stat : 8185 (java) S 8170 8170 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475189031 15512608768 12310 33554432000 4194304 4196468 140728696202128 139942993529056 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8186] ppid=8170 vsize=15149032 memory=4628975428865778067 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8186/stat : 8186 (java) S 8170 8170 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475189031 15512608768 12310 33554432000 4194304 4196468 140728696202128 139942992477360 139943465147010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50416 KiB
[startup+0.702905 s]
/proc/loadavg: 8.35 8.40 8.30 8/235 8186
/proc/meminfo: memFree=4340296/32770624 swapFree=66976740/67108860
[pid=8170] ppid=8167 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8170/stat : 8170 (xcsp3-exec) S 8167 8170 31580 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475189025 115843072 363 33554432000 4194304 5098028 140729961161008 140729961159112 139688841282172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33775616 140729961165656 140729961165913 140729961165913 140729961168838 0
/proc/8170/statm: 28282 363 304 221 0 87 0
[pid=8172] ppid=8170 vsize=15151156 memory=103528 CPUtime=1.8 cores=1,3,5,7
/proc/8172/stat : 8172 (java) S 8170 8170 31580 0 -1 1077944320 15965 0 0 0 175 5 0 0 20 0 15 0 475189025 15514783744 25882 33554432000 4194304 4196468 140728696202128 140728696184672 139943465135863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
/proc/8172/statm: 3787789 25882 3446 1 0 3748889 0
[pid=8172/tid=8173] ppid=8170 vsize=15151156 memory=-9110635228796802480 CPUtime=0.67 cores=1,3,5,7
/proc/8172/task/8173/stat : 8173 (java) R 8170 8170 31580 0 -1 4202560 9085 0 0 0 63 4 0 0 20 0 15 0 475189025 15514783744 25882 33554432000 4194304 4196468 140728696202128 139943469373776 139943071552260 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8174] ppid=8170 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8174/stat : 8174 (java) S 8170 8170 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475189026 15514783744 25882 33554432000 4194304 4196468 140728696202128 139943393176208 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8175] ppid=8170 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8175/stat : 8175 (java) S 8170 8170 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475189026 15514783744 25882 33554432000 4194304 4196468 140728696202128 139943392123408 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8176] ppid=8170 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8176/stat : 8176 (java) S 8170 8170 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475189026 15514783744 25882 33554432000 4194304 4196468 140728696202128 139943391070608 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8177] ppid=8170 vsize=15151156 memory=56 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8177/stat : 8177 (java) S 8170 8170 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475189026 15514783744 25882 33554432000 4194304 4196468 140728696202128 139943054010640 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8178] ppid=8170 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8178/stat : 8178 (java) S 8170 8170 31580 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475189028 15514783744 25882 33554432000 4194304 4196468 140728696202128 139943000898416 139943465147010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8179] ppid=8170 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8179/stat : 8179 (java) S 8170 8170 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475189028 15514783744 25882 33554432000 4194304 4196468 140728696202128 139942999844384 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8180] ppid=8170 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8180/stat : 8180 (java) S 8170 8170 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475189028 15514783744 25882 33554432000 4194304 4196468 140728696202128 139942998791536 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8181] ppid=8170 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8181/stat : 8181 (java) S 8170 8170 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475189031 15514783744 25882 33554432000 4194304 4196468 140728696202128 139942997739856 139943465154459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8182] ppid=8170 vsize=15151156 memory=1660 CPUtime=0.34 cores=1,3,5,7
/proc/8172/task/8182/stat : 8182 (java) R 8170 8170 31580 0 -1 1077944384 1758 0 0 0 34 0 0 0 20 0 15 0 475189031 15514783744 25882 33554432000 4194304 4196468 140728696202128 139942996678544 139943465146069 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8183] ppid=8170 vsize=15151156 memory=55892 CPUtime=0.38 cores=1,3,5,7
/proc/8172/task/8183/stat : 8183 (java) R 8170 8170 31580 0 -1 4202560 1757 0 0 0 38 0 0 0 20 0 15 0 475189031 15514783744 25882 33554432000 4194304 4196468 140728696202128 139942995622848 139943450242884 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8184] ppid=8170 vsize=15151156 memory=988 CPUtime=0.38 cores=1,3,5,7
/proc/8172/task/8184/stat : 8184 (java) R 8170 8170 31580 0 -1 4202560 2055 0 0 0 38 0 0 0 20 0 15 0 475189031 15514783744 25882 33554432000 4194304 4196468 140728696202128 139942994577568 139943465147798 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8185] ppid=8170 vsize=15151156 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8185/stat : 8185 (java) S 8170 8170 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475189031 15514783744 25882 33554432000 4194304 4196468 140728696202128 139942993529056 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8186] ppid=8170 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8186/stat : 8186 (java) S 8170 8170 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475189031 15514783744 25882 33554432000 4194304 4196468 140728696202128 139942992477360 139943465147010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 104980 KiB
[startup+1.50232 s]
/proc/loadavg: 8.35 8.40 8.30 8/235 8186
/proc/meminfo: memFree=4265344/32770624 swapFree=66976740/67108860
[pid=8170] ppid=8167 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8170/stat : 8170 (xcsp3-exec) S 8167 8170 31580 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475189025 115843072 363 33554432000 4194304 5098028 140729961161008 140729961159112 139688841282172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33775616 140729961165656 140729961165913 140729961165913 140729961168838 0
/proc/8170/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/8172/task/8182/stat : 8182 (java) S 8170 8170 31580 0 -1 1077944384 6465 0 0 0 360 1 0 0 20 0 19 0 475189031 15857688576 95701 33554432000 4194304 4196468 140728696202128 139942996687216 139943465147010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8183] ppid=8170 vsize=15486024 memory=1452 CPUtime=3.78 cores=1,3,5,7
/proc/8172/task/8183/stat : 8183 (java) S 8170 8170 31580 0 -1 1077944384 6543 0 0 0 376 2 0 0 20 0 19 0 475189031 15857688576 95701 33554432000 4194304 4196468 140728696202128 139942995634416 139943465147010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8184] ppid=8170 vsize=15486024 memory=382532 CPUtime=0.99 cores=1,3,5,7
/proc/8172/task/8184/stat : 8184 (java) S 8170 8170 31580 0 -1 1077944384 5158 0 0 0 98 1 0 0 20 0 19 0 475189031 15857688576 95701 33554432000 4194304 4196468 140728696202128 139942994581616 139943465147010 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8185] ppid=8170 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8185/stat : 8185 (java) S 8170 8170 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475189031 15857688576 95701 33554432000 4194304 4196468 140728696202128 139942993529056 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8186] ppid=8170 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8186/stat : 8186 (java) S 8170 8170 31580 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475189031 15857688576 95701 33554432000 4194304 4196468 140728696202128 139942992477360 139943465147010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8243] ppid=8170 vsize=15486024 memory=0 CPUtime=1.16 cores=1,3,5,7
/proc/8172/task/8243/stat : 8243 (java) R 8170 8170 31580 0 -1 4202560 32 0 0 0 116 0 0 0 20 0 19 0 475189544 15857688576 95701 33554432000 4194304 4196468 140728696202128 139942913006856 139943078386124 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8244] ppid=8170 vsize=15486024 memory=0 CPUtime=1.11 cores=1,3,5,7
/proc/8172/task/8244/stat : 8244 (java) R 8170 8170 31580 0 -1 4202560 78 0 0 0 111 0 0 0 20 0 19 0 475189544 15857688576 95701 33554432000 4194304 4196468 140728696202128 139942908799288 139943081126683 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8245] ppid=8170 vsize=15486024 memory=0 CPUtime=1.1 cores=1,3,5,7
/proc/8172/task/8245/stat : 8245 (java) R 8170 8170 31580 0 -1 4202560 37 0 0 0 110 0 0 0 20 0 19 0 475189544 15857688576 95701 33554432000 4194304 4196468 140728696202128 139942910902288 139943078507537 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8246] ppid=8170 vsize=15486024 memory=0 CPUtime=1.08 cores=1,3,5,7
/proc/8172/task/8246/stat : 8246 (java) R 8170 8170 31580 0 -1 4202560 28 0 0 0 108 0 0 0 20 0 19 0 475189544 15857688576 95701 33554432000 4194304 4196468 140728696202128 139942909851880 139943080825310 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
Current children cumulated CPU time: 22.33 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 384256 KiB
[startup+6.80964 s]
/proc/loadavg: 8.64 8.46 8.32 9/240 8248
/proc/meminfo: memFree=4029452/32770624 swapFree=66976740/67108860
[pid=8170] ppid=8167 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8170/stat : 8170 (xcsp3-exec) S 8167 8170 31580 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475189025 115843072 363 33554432000 4194304 5098028 140729961161008 140729961159112 139688841282172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33775616 140729961165656 140729961165913 140729961165913 140729961168838 0
/proc/8170/statm: 28282 363 304 221 0 87 0
[pid=8172] ppid=8170 vsize=15486024 memory=384896 CPUtime=23.83 cores=1,3,5,7
/proc/8172/stat : 8172 (java) S 8170 8170 31580 0 -1 1077944320 34137 0 0 0 2362 21 0 0 20 0 19 0 475189025 15857688576 96224 33554432000 4194304 4196468 140728696202128 140728696184672 139943465135863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
/proc/8172/statm: 3871506 96224 3541 1 0 3832606 0
[pid=8172/tid=8173] ppid=8170 vsize=15486024 memory=0 CPUtime=1.49 cores=1,3,5,7
/proc/8172/task/8173/stat : 8173 (java) S 8170 8170 31580 0 -1 1077944384 11564 0 0 0 143 6 0 0 20 0 19 0 475189025 15857688576 96224 33554432000 4194304 4196468 140728696202128 139943469376640 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8174] ppid=8170 vsize=15486024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/8172/task/8174/stat : 8174 (java) S 8170 8170 31580 0 -1 1077944384 55 0 0 0 2 1 0 0 20 0 19 0 475189026 15857688576 96224 33554432000 4194304 4196468 140728696202128 139943393176208 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8175] ppid=8170 vsize=15486024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/8172/task/8175/stat : 8175 (java) S 8170 8170 31580 0 -1 1077944384 194 0 0 0 4 1 0 0 20 0 19 0 475189026 15857688576 96224 33554432000 4194304 4196468 140728696202128 139943392123408 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8176] ppid=8170 vsize=15486024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/8172/task/8176/stat : 8176 (java) S 8170 8170 31580 0 -1 1077944384 100 0 0 0 4 1 0 0 20 0 19 0 475189026 15857688576 96224 33554432000 4194304 4196468 140728696202128 139943391070608 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8177] ppid=8170 vsize=15486024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/8172/task/8177/stat : 8177 (java) S 8170 8170 31580 0 -1 1077944384 443 0 0 0 3 1 0 0 20 0 19 0 475189026 15857688576 96224 33554432000 4194304 4196468 140728696202128 139943054010640 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8178] ppid=8170 vsize=15486024 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8172/task/8178/stat : 8178 (java) S 8170 8170 31580 0 -1 1077944384 400 0 0 0 1 0 0 0 20 0 19 0 475189028 15857688576 96224 33554432000 4194304 4196468 140728696202128 139943000898416 139943465147010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8179] ppid=8170 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8179/stat : 8179 (java) S 8170 8170 31580 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475189028 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942999844448 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8180] ppid=8170 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8180/stat : 8180 (java) S 8170 8170 31580 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 475189028 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942998791552 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8181] ppid=8170 vsize=15486024 memory=7300990731935114597 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8181/stat : 8181 (java) S 8170 8170 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475189031 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942997739856 139943465154459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8182] ppid=8170 vsize=15486024 memory=8112282956445269571 CPUtime=3.7 cores=1,3,5,7
/proc/8172/task/8182/stat : 8182 (java) S 8170 8170 31580 0 -1 1077944384 6479 0 0 0 369 1 0 0 20 0 19 0 475189031 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942996687216 139943465147010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8183] ppid=8170 vsize=15486024 memory=0 CPUtime=3.82 cores=1,3,5,7
/proc/8172/task/8183/stat : 8183 (java) R 8170 8170 31580 0 -1 1077944384 6549 0 0 0 380 2 0 0 20 0 19 0 475189031 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942995634416 139943465147010 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8184] ppid=8170 vsize=15486024 memory=0 CPUtime=1 cores=1,3,5,7
/proc/8172/task/8184/stat : 8184 (java) R 8170 8170 31580 0 -1 4202560 5160 0 0 0 99 1 0 0 20 0 19 0 475189031 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942994581616 139943465147798 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8185] ppid=8170 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8185/stat : 8185 (java) S 8170 8170 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475189031 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942993529056 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8186] ppid=8170 vsize=15486024 memory=23137 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8186/stat : 8186 (java) S 8170 8170 31580 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475189031 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942992477360 139943465147010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
Current children cumulated CPU time: 23.83 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 386348 KiB
[startup+7.00163 s]*
/proc/loadavg: 8.64 8.46 8.32 10/240 8256
/proc/meminfo: memFree=4027156/32770624 swapFree=66976740/67108860
[pid=8170] ppid=8167 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8170/stat : 8170 (xcsp3-exec) S 8167 8170 31580 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475189025 115843072 363 33554432000 4194304 5098028 140729961161008 140729961159112 139688841282172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33775616 140729961165656 140729961165913 140729961165913 140729961168838 0
/proc/8170/statm: 28282 363 304 221 0 87 0
[pid=8172] ppid=8170 vsize=15486024 memory=384896 CPUtime=24.18 cores=1,3,5,7
/proc/8172/stat : 8172 (java) S 8170 8170 31580 0 -1 1077944320 34222 0 0 0 2397 21 0 0 20 0 19 0 475189025 15857688576 96224 33554432000 4194304 4196468 140728696202128 140728696184672 139943465135863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
/proc/8172/statm: 3871506 96224 3541 1 0 3832606 0
[pid=8172/tid=8173] ppid=8170 vsize=15486024 memory=6935054825532540783 CPUtime=1.49 cores=1,3,5,7
/proc/8172/task/8173/stat : 8173 (java) S 8170 8170 31580 0 -1 1077944384 11564 0 0 0 143 6 0 0 20 0 19 0 475189025 15857688576 96224 33554432000 4194304 4196468 140728696202128 139943469376640 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8174] ppid=8170 vsize=15486024 memory=4126316290023845779 CPUtime=0.03 cores=1,3,5,7
/proc/8172/task/8174/stat : 8174 (java) S 8170 8170 31580 0 -1 1077944384 55 0 0 0 2 1 0 0 20 0 19 0 475189026 15857688576 96224 33554432000 4194304 4196468 140728696202128 139943393176208 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8175] ppid=8170 vsize=15486024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/8172/task/8175/stat : 8175 (java) S 8170 8170 31580 0 -1 1077944384 194 0 0 0 4 1 0 0 20 0 19 0 475189026 15857688576 96224 33554432000 4194304 4196468 140728696202128 139943392123408 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8176] ppid=8170 vsize=15486024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/8172/task/8176/stat : 8176 (java) S 8170 8170 31580 0 -1 1077944384 100 0 0 0 4 1 0 0 20 0 19 0 475189026 15857688576 96224 33554432000 4194304 4196468 140728696202128 139943391070608 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8177] ppid=8170 vsize=15486024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/8172/task/8177/stat : 8177 (java) S 8170 8170 31580 0 -1 1077944384 443 0 0 0 3 1 0 0 20 0 19 0 475189026 15857688576 96224 33554432000 4194304 4196468 140728696202128 139943054010640 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8178] ppid=8170 vsize=15486024 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8172/task/8178/stat : 8178 (java) S 8170 8170 31580 0 -1 1077944384 400 0 0 0 1 0 0 0 20 0 19 0 475189028 15857688576 96224 33554432000 4194304 4196468 140728696202128 139943000898416 139943465147010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8179] ppid=8170 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8179/stat : 8179 (java) S 8170 8170 31580 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475189028 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942999844448 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8180] ppid=8170 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8180/stat : 8180 (java) S 8170 8170 31580 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 475189028 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942998791552 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8181] ppid=8170 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8181/stat : 8181 (java) S 8170 8170 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475189031 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942997739856 139943465154459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8182] ppid=8170 vsize=15486024 memory=0 CPUtime=3.7 cores=1,3,5,7
/proc/8172/task/8182/stat : 8182 (java) S 8170 8170 31580 0 -1 1077944384 6479 0 0 0 369 1 0 0 20 0 19 0 475189031 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942996687216 139943465147010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8183] ppid=8170 vsize=15486024 memory=0 CPUtime=3.82 cores=1,3,5,7
/proc/8172/task/8183/stat : 8183 (java) S 8170 8170 31580 0 -1 1077944384 6549 0 0 0 380 2 0 0 20 0 19 0 475189031 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942995634416 139943465147010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8184] ppid=8170 vsize=15486024 memory=0 CPUtime=1 cores=1,3,5,7
/proc/8172/task/8184/stat : 8184 (java) S 8170 8170 31580 0 -1 1077944384 5165 0 0 0 99 1 0 0 20 0 19 0 475189031 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942994581616 139943465147010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8185] ppid=8170 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8185/stat : 8185 (java) S 8170 8170 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475189031 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942993529056 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8186] ppid=8170 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8186/stat : 8186 (java) S 8170 8170 31580 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475189031 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942992477360 139943465147010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8253] ppid=8170 vsize=15486024 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8172/task/8253/stat : 8253 (java) R 8170 8170 31580 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 475189724 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942910905800 139943078651860 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8254] ppid=8170 vsize=15486024 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8172/task/8254/stat : 8254 (java) R 8170 8170 31580 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 475189724 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942909854400 139943074295222 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8255] ppid=8170 vsize=15486024 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8172/task/8255/stat : 8255 (java) R 8170 8170 31580 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 475189724 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942908804296 139943079466461 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8256] ppid=8170 vsize=15486024 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8172/task/8256/stat : 8256 (java) R 8170 8170 31580 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 475189724 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942913014856 139943081575017 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
Current children cumulated CPU time: 24.18 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 386348 KiB
[startup+7.11164 s]
/proc/loadavg: 8.64 8.46 8.32 10/240 8256
/proc/meminfo: memFree=4027156/32770624 swapFree=66976740/67108860
[pid=8170] ppid=8167 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8170/stat : 8170 (xcsp3-exec) S 8167 8170 31580 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475189025 115843072 363 33554432000 4194304 5098028 140729961161008 140729961159112 139688841282172 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33775616 140729961165656 140729961165913 140729961165913 140729961168838 0
/proc/8170/statm: 28282 363 304 221 0 87 0
[pid=8172] ppid=8170 vsize=15486024 memory=384896 CPUtime=24.59 cores=1,3,5,7
/proc/8172/stat : 8172 (java) S 8170 8170 31580 0 -1 1077944320 34230 0 0 0 2438 21 0 0 20 0 19 0 475189025 15857688576 96224 33554432000 4194304 4196468 140728696202128 140728696184672 139943465135863 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
/proc/8172/statm: 3871506 96224 3541 1 0 3832606 0
[pid=8172/tid=8173] ppid=8170 vsize=15486024 memory=-7387007932599496084 CPUtime=1.49 cores=1,3,5,7
/proc/8172/task/8173/stat : 8173 (java) S 8170 8170 31580 0 -1 1077944384 11564 0 0 0 143 6 0 0 20 0 19 0 475189025 15857688576 96224 33554432000 4194304 4196468 140728696202128 139943469376640 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8174] ppid=8170 vsize=15486024 memory=280025560038480 CPUtime=0.03 cores=1,3,5,7
/proc/8172/task/8174/stat : 8174 (java) S 8170 8170 31580 0 -1 1077944384 55 0 0 0 2 1 0 0 20 0 19 0 475189026 15857688576 96224 33554432000 4194304 4196468 140728696202128 139943393176208 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8175] ppid=8170 vsize=15486024 memory=280025559968816 CPUtime=0.05 cores=1,3,5,7
/proc/8172/task/8175/stat : 8175 (java) S 8170 8170 31580 0 -1 1077944384 194 0 0 0 4 1 0 0 20 0 19 0 475189026 15857688576 96224 33554432000 4194304 4196468 140728696202128 139943392123408 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8176] ppid=8170 vsize=15486024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/8172/task/8176/stat : 8176 (java) S 8170 8170 31580 0 -1 1077944384 100 0 0 0 4 1 0 0 20 0 19 0 475189026 15857688576 96224 33554432000 4194304 4196468 140728696202128 139943391070608 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8177] ppid=8170 vsize=15486024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/8172/task/8177/stat : 8177 (java) S 8170 8170 31580 0 -1 1077944384 443 0 0 0 3 1 0 0 20 0 19 0 475189026 15857688576 96224 33554432000 4194304 4196468 140728696202128 139943054010640 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8178] ppid=8170 vsize=15486024 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/8172/task/8178/stat : 8178 (java) S 8170 8170 31580 0 -1 1077944384 400 0 0 0 1 0 0 0 20 0 19 0 475189028 15857688576 96224 33554432000 4194304 4196468 140728696202128 139943000898416 139943465147010 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8179] ppid=8170 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8179/stat : 8179 (java) S 8170 8170 31580 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475189028 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942999844448 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8180] ppid=8170 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8180/stat : 8180 (java) S 8170 8170 31580 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 475189028 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942998791552 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8181] ppid=8170 vsize=15486024 memory=3184237932855871856 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8181/stat : 8181 (java) S 8170 8170 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475189031 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942997739856 139943465154459 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8182] ppid=8170 vsize=15486024 memory=4465 CPUtime=3.7 cores=1,3,5,7
/proc/8172/task/8182/stat : 8182 (java) S 8170 8170 31580 0 -1 1077944384 6479 0 0 0 369 1 0 0 20 0 19 0 475189031 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942996687216 139943465147010 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8183] ppid=8170 vsize=15486024 memory=4420 CPUtime=3.82 cores=1,3,5,7
/proc/8172/task/8183/stat : 8183 (java) S 8170 8170 31580 0 -1 1077944384 6549 0 0 0 380 2 0 0 20 0 19 0 475189031 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942995634416 139943465147010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8184] ppid=8170 vsize=15486024 memory=0 CPUtime=1 cores=1,3,5,7
/proc/8172/task/8184/stat : 8184 (java) S 8170 8170 31580 0 -1 1077944384 5169 0 0 0 99 1 0 0 20 0 19 0 475189031 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942994581616 139943465147010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8185] ppid=8170 vsize=15486024 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8185/stat : 8185 (java) S 8170 8170 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475189031 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942993529056 139943465146069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8186] ppid=8170 vsize=15486024 memory=55892 CPUtime=0 cores=1,3,5,7
/proc/8172/task/8186/stat : 8186 (java) S 8170 8170 31580 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475189031 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942992477360 139943465147010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8253] ppid=8170 vsize=15486024 memory=988 CPUtime=0.12 cores=1,3,5,7
/proc/8172/task/8253/stat : 8253 (java) R 8170 8170 31580 0 -1 4202560 18 0 0 0 12 0 0 0 20 0 19 0 475189724 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942910905800 139943081574815 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8254] ppid=8170 vsize=15486024 memory=1452 CPUtime=0.12 cores=1,3,5,7
/proc/8172/task/8254/stat : 8254 (java) R 8170 8170 31580 0 -1 4202560 22 0 0 0 12 0 0 0 20 0 19 0 475189724 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942909854400 139943079258815 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8255] ppid=8170 vsize=15486024 memory=382836 CPUtime=0.12 cores=1,3,5,7
/proc/8172/task/8255/stat : 8255 (java) R 8170 8170 31580 0 -1 4202560 18 0 0 0 12 0 0 0 20 0 19 0 475189724 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942908799496 139943074295231 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
[pid=8172/tid=8256] ppid=8170 vsize=15486024 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8172/task/8256/stat : 8256 (java) R 8170 8170 31580 0 -1 4202560 18 0 0 0 10 0 0 0 20 0 19 0 475189724 15857688576 96224 33554432000 4194304 4196468 140728696202128 139942913014856 139943081653146 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36798464 140728696206299 140728696206474 140728696206474 140728696209359 0
Current children cumulated CPU time: 24.59 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 386348 KiB
Child status: 0
Real time (s): 7.17861
CPU time (s): 24.7807
CPU user time (s): 24.554
CPU system time (s): 0.226739
CPU usage (%): 345.202
Max. virtual memory (cumulated for all children) (KiB): 15599152
Max. memory (cumulated for all children) (KiB): 386348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.554
system time used= 0.226739
maximum resident set size= 385804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34875
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3633
involuntary context switches= 907
# summary of solver processes directly reported to runsolver:
# pid: 8170
# total CPU time (s): 24.7807
# total CPU user time (s): 24.554
# total CPU system time (s): 0.226739
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.078219 second user time and 0.119192 second system time
The end
Begin job on node124 at 2019-09-20 17:14:08 IDJOB=4404123 IDBENCH=140491 IDSOLVER=2864 FILE ID=node124/4404123-1568992489 RUNJOBID= node124-1568988386-31612 PBS_JOBID= 21704644 Free space on /var/tmp= 13484 MiB SOLVER NAME= choco-solver 2019-09-20 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-wbop-30-30-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404123-1568992489/watcher-4404123-1568992489 -o /var/tmp/evaluation-result-4404123-1568992489/solver-4404123-1568992489 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1568988386-31612 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 53867432 HOME/instance-4404123-1568992489.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 67a2d403e3bfd604d92484151c447548 RANDOM SEED=53867432 node124.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: 4401196 kB MemAvailable: 29514024 kB Buffers: 157216 kB Cached: 24884928 kB SwapCached: 28940 kB Active: 14738920 kB Inactive: 12645468 kB Active(anon): 2309388 kB Inactive(anon): 81972 kB Active(file): 12429532 kB Inactive(file): 12563496 kB Unevictable: 108088 kB Mlocked: 108088 kB SwapTotal: 67108860 kB SwapFree: 66976740 kB Dirty: 26264 kB Writeback: 0 kB AnonPages: 2451096 kB Mapped: 65852 kB Shmem: 40884 kB Slab: 577628 kB SReclaimable: 548260 kB SUnreclaim: 29368 kB KernelStack: 4096 kB PageTables: 10520 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4784276 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 2330624 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /var/tmp at the end= 13460 MiB End job on node124 at 2019-09-20 17:14:16