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-16 | OPT | 3 | 25.4304 | 7.33533 |
| Name | OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbop-30-30-1.xml |
| MD5SUM | 305bfce3403e7be8ea8343edd9c7d9a7 |
| 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 | 25.4304 |
| 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-4400519-1568692029.xml" -tl '2400s' -p 4 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4400519-1568692029.xml, -tl, 2400s, -p, 4] 0.34/0.22 c 4 solvers in parallel 0.34/0.29 c parse instance... 4.40/1.53 c solve instance... 5.14/1.71 o 19 5.14/1.73 o 18 5.14/1.74 o 17 5.51/1.85 o 16 6.50/2.11 o 15 6.50/2.13 o 14 6.50/2.18 o 13 7.92/2.53 o 12 8.26/2.62 o 11 9.44/2.98 o 10 9.77/3.05 o 9 16.82/4.82 o 7 17.28/5.04 o 6 17.60/5.24 o 5 24.21/6.93 o 4 24.67/7.13 o 3 25.36/7.31 s OPTIMUM FOUND 25.36/7.31 v <instantiation> 25.36/7.31 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> 25.36/7.31 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> 25.36/7.31 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 (15241 MiB free)
memory of node 1: 16384 MiB (15293 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400519-1568692029/watcher-4400519-1568692029 -o /tmp/evaluation-result-4400519-1568692029/solver-4400519-1568692029 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568691240-24303 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 18117877 HOME/instance-4400519-1568692029.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=25339, runsolver pid=25334
[startup+0.100058 s]*
/proc/loadavg: 8.00 7.98 7.90 7/233 25355
/proc/meminfo: memFree=31253940/32770624 swapFree=66997372/67108860
[pid=25339] ppid=25334 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25339/stat : 25339 (xcsp3-exec) S 25334 25339 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445455947 115843072 363 33554432000 4194304 5098028 140728583882624 140728583880728 139777328030332 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34549760 140728583885692 140728583885933 140728583885933 140728583888842 0
/proc/25339/statm: 28282 363 304 221 0 87 0
[pid=25341] ppid=25339 vsize=15144776 memory=27476 CPUtime=0.13 cores=0,2,4,6
/proc/25341/stat : 25341 (java) S 25339 25339 24272 0 -1 1077944320 5796 0 0 0 12 1 0 0 20 0 15 0 445455947 15508250624 6869 33554432000 4194304 4196468 140730195075568 140730195058112 139998852128503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
/proc/25341/statm: 3786194 6869 3148 1 0 3748377 0
[pid=25341/tid=25342] ppid=25339 vsize=15144776 memory=7100839870104831090 CPUtime=0.09 cores=0,2,4,6
/proc/25341/task/25342/stat : 25342 (java) R 25339 25339 24272 0 -1 4202560 3630 0 0 0 9 0 0 0 20 0 15 0 445455947 15508250624 6869 33554432000 4194304 4196468 140730195075568 139998856359824 139998852150429 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25343] ppid=25339 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25343/stat : 25343 (java) S 25339 25339 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455948 15508250624 6869 33554432000 4194304 4196468 140730195075568 139998444259856 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25344] ppid=25339 vsize=15144776 memory=140066617288320 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25344/stat : 25344 (java) S 25339 25339 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455948 15508250624 6869 33554432000 4194304 4196468 140730195075568 139998443207312 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25345] ppid=25339 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25345/stat : 25345 (java) S 25339 25339 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455948 15508250624 6869 33554432000 4194304 4196468 140730195075568 139998442154256 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25346] ppid=25339 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25346/stat : 25346 (java) S 25339 25339 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445455948 15508250624 6935 33554432000 4194304 4196468 140730195075568 139998441101712 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25347] ppid=25339 vsize=15144776 memory=140066617288320 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25347/stat : 25347 (java) S 25339 25339 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445455949 15508250624 6935 33554432000 4194304 4196468 140730195075568 139997725887216 139998852139650 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25348] ppid=25339 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25348/stat : 25348 (java) S 25339 25339 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445455950 15508250624 6935 33554432000 4194304 4196468 140730195075568 139997724833440 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25349] ppid=25339 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25349/stat : 25349 (java) S 25339 25339 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445455950 15508250624 6935 33554432000 4194304 4196468 140730195075568 139997723780336 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25350] ppid=25339 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25350/stat : 25350 (java) S 25339 25339 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445455952 15508250624 6935 33554432000 4194304 4196468 140730195075568 139997722728912 139998852147099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25351] ppid=25339 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25351/stat : 25351 (java) R 25339 25339 24272 0 -1 4202560 466 0 0 0 0 0 0 0 20 0 15 0 445455952 15508250624 6935 33554432000 4194304 4196468 140730195075568 139997721676016 139998829961360 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25352] ppid=25339 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25352/stat : 25352 (java) R 25339 25339 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445455952 15508250624 6935 33554432000 4194304 4196468 140730195075568 139997720623472 139998852139650 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25353] ppid=25339 vsize=15144776 memory=140066617288320 CPUtime=0.02 cores=0,2,4,6
/proc/25341/task/25353/stat : 25353 (java) R 25339 25339 24272 0 -1 4202560 415 0 0 0 2 0 0 0 20 0 15 0 445455953 15508250624 6935 33554432000 4194304 4196468 140730195075568 139997719567952 139998830762549 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25354] ppid=25339 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25354/stat : 25354 (java) S 25339 25339 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445455953 15508250624 6935 33554432000 4194304 4196468 140730195075568 139997718518112 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25355] ppid=25339 vsize=15144776 memory=140066617288320 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25355/stat : 25355 (java) S 25339 25339 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455953 15508250624 6935 33554432000 4194304 4196468 140730195075568 139997717466160 139998852139650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28928 KiB
[startup+0.210683 s]*
/proc/loadavg: 8.00 7.98 7.90 7/233 25355
/proc/meminfo: memFree=31238964/32770624 swapFree=66997372/67108860
[pid=25339] ppid=25334 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25339/stat : 25339 (xcsp3-exec) S 25334 25339 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445455947 115843072 363 33554432000 4194304 5098028 140728583882624 140728583880728 139777328030332 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34549760 140728583885692 140728583885933 140728583885933 140728583888842 0
/proc/25339/statm: 28282 363 304 221 0 87 0
[pid=25341] ppid=25339 vsize=15144776 memory=40120 CPUtime=0.34 cores=0,2,4,6
/proc/25341/stat : 25341 (java) S 25339 25339 24272 0 -1 1077944320 9711 0 0 0 31 3 0 0 20 0 15 0 445455947 15508250624 10030 33554432000 4194304 4196468 140730195075568 140730195058112 139998852128503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
/proc/25341/statm: 3786194 10030 3325 1 0 3748377 0
[pid=25341/tid=25342] ppid=25339 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/25341/task/25342/stat : 25342 (java) R 25339 25339 24272 0 -1 4202560 6655 0 0 0 18 2 0 0 20 0 15 0 445455947 15508250624 10030 33554432000 4194304 4196468 140730195075568 139998856366528 139998852140438 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25343] ppid=25339 vsize=15144776 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25343/stat : 25343 (java) S 25339 25339 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455948 15508250624 10030 33554432000 4194304 4196468 140730195075568 139998444259856 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25344] ppid=25339 vsize=15144776 memory=288370442769000064 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25344/stat : 25344 (java) S 25339 25339 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455948 15508250624 10030 33554432000 4194304 4196468 140730195075568 139998443207312 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25345] ppid=25339 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25345/stat : 25345 (java) S 25339 25339 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455948 15508250624 10030 33554432000 4194304 4196468 140730195075568 139998442154256 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25346] ppid=25339 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25346/stat : 25346 (java) S 25339 25339 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445455948 15508250624 10030 33554432000 4194304 4196468 140730195075568 139998441101712 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25347] ppid=25339 vsize=15144776 memory=140066617288320 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25347/stat : 25347 (java) S 25339 25339 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445455949 15508250624 10030 33554432000 4194304 4196468 140730195075568 139997725887216 139998852139650 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25348] ppid=25339 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25348/stat : 25348 (java) S 25339 25339 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445455950 15508250624 10030 33554432000 4194304 4196468 140730195075568 139997724833440 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25349] ppid=25339 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25349/stat : 25349 (java) S 25339 25339 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445455950 15508250624 10030 33554432000 4194304 4196468 140730195075568 139997723780336 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25350] ppid=25339 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25350/stat : 25350 (java) S 25339 25339 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445455952 15508250624 10030 33554432000 4194304 4196468 140730195075568 139997722728912 139998852147099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25351] ppid=25339 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/25341/task/25351/stat : 25351 (java) S 25339 25339 24272 0 -1 1077944384 739 0 0 0 2 0 0 0 20 0 15 0 445455952 15508250624 10030 33554432000 4194304 4196468 140730195075568 139997721676016 139998852139650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25352] ppid=25339 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/25341/task/25352/stat : 25352 (java) S 25339 25339 24272 0 -1 1077944384 78 0 0 0 2 0 0 0 20 0 15 0 445455952 15508250624 10030 33554432000 4194304 4196468 140730195075568 139997720623472 139998852139650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25353] ppid=25339 vsize=15144776 memory=140066617288320 CPUtime=0.08 cores=0,2,4,6
/proc/25341/task/25353/stat : 25353 (java) S 25339 25339 24272 0 -1 1077944384 934 0 0 0 8 0 0 0 20 0 15 0 445455953 15508250624 10030 33554432000 4194304 4196468 140730195075568 139997719570416 139998852139650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25354] ppid=25339 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25354/stat : 25354 (java) S 25339 25339 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445455953 15508250624 10030 33554432000 4194304 4196468 140730195075568 139997718518112 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25355] ppid=25339 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25355/stat : 25355 (java) S 25339 25339 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455953 15508250624 10030 33554432000 4194304 4196468 140730195075568 139997717466160 139998852139650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41572 KiB
[startup+0.313385 s]*
/proc/loadavg: 8.00 7.98 7.90 7/233 25355
/proc/meminfo: memFree=31232284/32770624 swapFree=66997372/67108860
[pid=25339] ppid=25334 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25339/stat : 25339 (xcsp3-exec) S 25334 25339 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445455947 115843072 363 33554432000 4194304 5098028 140728583882624 140728583880728 139777328030332 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34549760 140728583885692 140728583885933 140728583885933 140728583888842 0
/proc/25339/statm: 28282 363 304 221 0 87 0
[pid=25341] ppid=25339 vsize=15149032 memory=49220 CPUtime=0.53 cores=0,2,4,6
/proc/25341/stat : 25341 (java) S 25339 25339 24272 0 -1 1077944320 11173 0 0 0 50 3 0 0 20 0 15 0 445455947 15512608768 12305 33554432000 4194304 4196468 140730195075568 140730195058112 139998852128503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
/proc/25341/statm: 3787258 12305 3364 1 0 3748377 0
[pid=25341/tid=25342] ppid=25339 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/25341/task/25342/stat : 25342 (java) R 25339 25339 24272 0 -1 4202560 7820 0 0 0 28 2 0 0 20 0 15 0 445455947 15512608768 12305 33554432000 4194304 4196468 140730195075568 139998856359616 139998836208990 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25343] ppid=25339 vsize=15149032 memory=9461 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25343/stat : 25343 (java) S 25339 25339 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455948 15512608768 12305 33554432000 4194304 4196468 140730195075568 139998444259856 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25344] ppid=25339 vsize=15149032 memory=288230376155267454 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25344/stat : 25344 (java) S 25339 25339 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455948 15512608768 12305 33554432000 4194304 4196468 140730195075568 139998443207312 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25345] ppid=25339 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25345/stat : 25345 (java) S 25339 25339 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455948 15512608768 12305 33554432000 4194304 4196468 140730195075568 139998442154256 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25346] ppid=25339 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25346/stat : 25346 (java) S 25339 25339 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445455948 15512608768 12305 33554432000 4194304 4196468 140730195075568 139998441101712 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25347] ppid=25339 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25347/stat : 25347 (java) S 25339 25339 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445455949 15512608768 12305 33554432000 4194304 4196468 140730195075568 139997725887216 139998852139650 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25348] ppid=25339 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25348/stat : 25348 (java) S 25339 25339 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445455950 15512608768 12305 33554432000 4194304 4196468 140730195075568 139997724833440 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25349] ppid=25339 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25349/stat : 25349 (java) S 25339 25339 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445455950 15512608768 12305 33554432000 4194304 4196468 140730195075568 139997723780336 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25350] ppid=25339 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25350/stat : 25350 (java) S 25339 25339 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445455952 15512608768 12305 33554432000 4194304 4196468 140730195075568 139997722728912 139998852147099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25351] ppid=25339 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/25341/task/25351/stat : 25351 (java) R 25339 25339 24272 0 -1 4202560 839 0 0 0 5 0 0 0 20 0 15 0 445455952 15512608768 12305 33554432000 4194304 4196468 140730195075568 139997721666400 139998829724656 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25352] ppid=25339 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/25341/task/25352/stat : 25352 (java) S 25339 25339 24272 0 -1 1077944384 123 0 0 0 3 0 0 0 20 0 15 0 445455952 15512608768 12305 33554432000 4194304 4196468 140730195075568 139997720623472 139998852139650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25353] ppid=25339 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/25341/task/25353/stat : 25353 (java) S 25339 25339 24272 0 -1 1077944384 1097 0 0 0 12 0 0 0 20 0 15 0 445455953 15512608768 12305 33554432000 4194304 4196468 140730195075568 139997719570416 139998852139650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25354] ppid=25339 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25354/stat : 25354 (java) S 25339 25339 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445455953 15512608768 12305 33554432000 4194304 4196468 140730195075568 139997718518112 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25355] ppid=25339 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25355/stat : 25355 (java) S 25339 25339 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455953 15512608768 12305 33554432000 4194304 4196468 140730195075568 139997717466160 139998852139650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50672 KiB
[startup+0.700727 s]
/proc/loadavg: 8.00 7.98 7.90 7/233 25355
/proc/meminfo: memFree=31209520/32770624 swapFree=66997372/67108860
[pid=25339] ppid=25334 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25339/stat : 25339 (xcsp3-exec) S 25334 25339 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445455947 115843072 363 33554432000 4194304 5098028 140728583882624 140728583880728 139777328030332 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34549760 140728583885692 140728583885933 140728583885933 140728583888842 0
/proc/25339/statm: 28282 363 304 221 0 87 0
[pid=25341] ppid=25339 vsize=15151156 memory=99332 CPUtime=1.77 cores=0,2,4,6
/proc/25341/stat : 25341 (java) S 25339 25339 24272 0 -1 1077944320 15946 0 0 0 172 5 0 0 20 0 15 0 445455947 15514783744 24833 33554432000 4194304 4196468 140730195075568 140730195058112 139998852128503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
/proc/25341/statm: 3787789 24833 3446 1 0 3748889 0
[pid=25341/tid=25342] ppid=25339 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/25341/task/25342/stat : 25342 (java) R 25339 25339 24272 0 -1 4202560 9186 0 0 0 64 4 0 0 20 0 15 0 445455947 15514783744 24833 33554432000 4194304 4196468 140730195075568 139998856365408 139998852140438 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25343] ppid=25339 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25343/stat : 25343 (java) S 25339 25339 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455948 15514783744 24833 33554432000 4194304 4196468 140730195075568 139998444259856 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25344] ppid=25339 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25344/stat : 25344 (java) S 25339 25339 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455948 15514783744 24833 33554432000 4194304 4196468 140730195075568 139998443207312 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25345] ppid=25339 vsize=15151156 memory=932 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25345/stat : 25345 (java) S 25339 25339 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455948 15514783744 24833 33554432000 4194304 4196468 140730195075568 139998442154256 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25346] ppid=25339 vsize=15151156 memory=3768 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25346/stat : 25346 (java) S 25339 25339 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445455948 15514783744 24833 33554432000 4194304 4196468 140730195075568 139998441101712 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25347] ppid=25339 vsize=15151156 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25347/stat : 25347 (java) S 25339 25339 24272 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445455949 15514783744 24833 33554432000 4194304 4196468 140730195075568 139997725887216 139998852139650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25348] ppid=25339 vsize=15151156 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25348/stat : 25348 (java) S 25339 25339 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445455950 15514783744 24833 33554432000 4194304 4196468 140730195075568 139997724833440 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25349] ppid=25339 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25349/stat : 25349 (java) S 25339 25339 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445455950 15514783744 24833 33554432000 4194304 4196468 140730195075568 139997723780336 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25350] ppid=25339 vsize=15151156 memory=812 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25350/stat : 25350 (java) S 25339 25339 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445455952 15514783744 24833 33554432000 4194304 4196468 140730195075568 139997722728912 139998852147099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25351] ppid=25339 vsize=15151156 memory=1764 CPUtime=0.37 cores=0,2,4,6
/proc/25341/task/25351/stat : 25351 (java) R 25339 25339 24272 0 -1 1077944384 1890 0 0 0 37 0 0 0 20 0 15 0 445455952 15514783744 24833 33554432000 4194304 4196468 140730195075568 139997721676016 139998852139650 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25352] ppid=25339 vsize=15151156 memory=111628 CPUtime=0.33 cores=0,2,4,6
/proc/25341/task/25352/stat : 25352 (java) R 25339 25339 24272 0 -1 4202560 1209 0 0 0 33 0 0 0 20 0 15 0 445455952 15514783744 24833 33554432000 4194304 4196468 140730195075568 139997720613392 139998852149850 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25353] ppid=25339 vsize=15151156 memory=796 CPUtime=0.37 cores=0,2,4,6
/proc/25341/task/25353/stat : 25353 (java) R 25339 25339 24272 0 -1 4202560 2354 0 0 0 37 0 0 0 20 0 15 0 445455953 15514783744 24833 33554432000 4194304 4196468 140730195075568 139997719570544 139998852140438 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25354] ppid=25339 vsize=15151156 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25354/stat : 25354 (java) S 25339 25339 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445455953 15514783744 24833 33554432000 4194304 4196468 140730195075568 139997718518112 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25355] ppid=25339 vsize=15151156 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25355/stat : 25355 (java) S 25339 25339 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445455953 15514783744 24833 33554432000 4194304 4196468 140730195075568 139997717466160 139998852139650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 100784 KiB
[startup+1.50126 s]
/proc/loadavg: 8.00 7.98 7.90 8/233 25355
/proc/meminfo: memFree=31134748/32770624 swapFree=66997372/67108860
[pid=25339] ppid=25334 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25339/stat : 25339 (xcsp3-exec) S 25334 25339 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445455947 115843072 363 33554432000 4194304 5098028 140728583882624 140728583880728 139777328030332 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34549760 140728583885692 140728583885933 140728583885933 140728583888842 0
/proc/25339/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/25341/task/25347/stat : 25347 (java) S 25339 25339 24272 0 -1 1077944384 382 0 0 0 0 0 0 0 20 0 19 0 445455949 15790579712 93930 33554432000 4194304 4196468 140730195075568 139997725887216 139998852139650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25348] ppid=25339 vsize=15420488 memory=7378981294893000548 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25348/stat : 25348 (java) S 25339 25339 24272 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 445455950 15790579712 93930 33554432000 4194304 4196468 140730195075568 139997724833504 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25349] ppid=25339 vsize=15420488 memory=7450192277896717913 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25349/stat : 25349 (java) S 25339 25339 24272 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 445455950 15790579712 93930 33554432000 4194304 4196468 140730195075568 139997723780352 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25350] ppid=25339 vsize=15420488 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25350/stat : 25350 (java) S 25339 25339 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445455952 15790579712 93930 33554432000 4194304 4196468 140730195075568 139997722728912 139998852147099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25351] ppid=25339 vsize=15420488 memory=1388 CPUtime=3.42 cores=0,2,4,6
/proc/25341/task/25351/stat : 25351 (java) S 25339 25339 24272 0 -1 1077944384 6101 0 0 0 341 1 0 0 20 0 19 0 445455952 15790579712 93930 33554432000 4194304 4196468 140730195075568 139997721676016 139998852139650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25352] ppid=25339 vsize=15420488 memory=776 CPUtime=3.4 cores=0,2,4,6
/proc/25341/task/25352/stat : 25352 (java) R 25339 25339 24272 0 -1 1077944384 6366 0 0 0 339 1 0 0 20 0 19 0 445455952 15790579712 93930 33554432000 4194304 4196468 140730195075568 139997720623472 139998852139650 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25353] ppid=25339 vsize=15420488 memory=3992 CPUtime=1.04 cores=0,2,4,6
/proc/25341/task/25353/stat : 25353 (java) R 25339 25339 24272 0 -1 4202560 5948 0 0 0 103 1 0 0 20 0 19 0 445455953 15790579712 93930 33554432000 4194304 4196468 140730195075568 139997719570416 139998852140438 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25354] ppid=25339 vsize=15420488 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25354/stat : 25354 (java) S 25339 25339 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445455953 15790579712 93930 33554432000 4194304 4196468 140730195075568 139997718518112 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25355] ppid=25339 vsize=15420488 memory=676 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25355/stat : 25355 (java) S 25339 25339 24272 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 445455953 15790579712 93930 33554432000 4194304 4196468 140730195075568 139997717466160 139998852139650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25414] ppid=25339 vsize=15420488 memory=0 CPUtime=1.02 cores=0,2,4,6
/proc/25341/task/25414/stat : 25414 (java) R 25339 25339 24272 0 -1 4202560 20 0 0 0 102 0 0 0 20 0 19 0 445456472 15790579712 93930 33554432000 4194304 4196468 140730195075568 139997702176088 139998498094601 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25415] ppid=25339 vsize=15420488 memory=4420 CPUtime=1 cores=0,2,4,6
/proc/25341/task/25415/stat : 25415 (java) R 25339 25339 24272 0 -1 4202560 69 0 0 0 100 0 0 0 20 0 19 0 445456472 15790579712 93930 33554432000 4194304 4196468 140730195075568 139997705334888 139998493013964 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25416] ppid=25339 vsize=15420488 memory=6628 CPUtime=1.12 cores=0,2,4,6
/proc/25341/task/25416/stat : 25416 (java) R 25339 25339 24272 0 -1 4202560 30 0 0 0 112 0 0 0 20 0 19 0 445456472 15790579712 93930 33554432000 4194304 4196468 140730195075568 139997703229688 139998490312864 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25417] ppid=25339 vsize=15420488 memory=6724 CPUtime=1.1 cores=0,2,4,6
/proc/25341/task/25417/stat : 25417 (java) R 25339 25339 24272 0 -1 4202560 20 0 0 0 110 0 0 0 20 0 19 0 445456472 15790579712 93930 33554432000 4194304 4196468 140730195075568 139997704283560 139998493014007 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
Current children cumulated CPU time: 22.23 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 377172 KiB
[startup+6.80127 s]
/proc/loadavg: 7.92 7.96 7.89 10/238 25417
/proc/meminfo: memFree=30773020/32770624 swapFree=66997372/67108860
[pid=25339] ppid=25334 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25339/stat : 25339 (xcsp3-exec) S 25334 25339 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445455947 115843072 363 33554432000 4194304 5098028 140728583882624 140728583880728 139777328030332 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34549760 140728583885692 140728583885933 140728583885933 140728583888842 0
/proc/25339/statm: 28282 363 304 221 0 87 0
[pid=25341] ppid=25339 vsize=15420488 memory=377768 CPUtime=23.81 cores=0,2,4,6
/proc/25341/stat : 25341 (java) S 25339 25339 24272 0 -1 1077944320 33622 0 0 0 2360 21 0 0 20 0 19 0 445455947 15790579712 94442 33554432000 4194304 4196468 140730195075568 140730195058112 139998852128503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
/proc/25341/statm: 3855122 94442 3538 1 0 3816222 0
[pid=25341/tid=25342] ppid=25339 vsize=15420488 memory=6872598998417432672 CPUtime=1.53 cores=0,2,4,6
/proc/25341/task/25342/stat : 25342 (java) S 25339 25339 24272 0 -1 1077944384 10414 0 0 0 148 5 0 0 20 0 19 0 445455947 15790579712 94442 33554432000 4194304 4196468 140730195075568 139998856369280 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25343] ppid=25339 vsize=15420488 memory=6943526294502006880 CPUtime=0.04 cores=0,2,4,6
/proc/25341/task/25343/stat : 25343 (java) S 25339 25339 24272 0 -1 1077944384 171 0 0 0 3 1 0 0 20 0 19 0 445455948 15790579712 94442 33554432000 4194304 4196468 140730195075568 139998444259856 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25344] ppid=25339 vsize=15420488 memory=6943526294502006880 CPUtime=0.04 cores=0,2,4,6
/proc/25341/task/25344/stat : 25344 (java) S 25339 25339 24272 0 -1 1077944384 127 0 0 0 3 1 0 0 20 0 19 0 445455948 15790579712 94442 33554432000 4194304 4196468 140730195075568 139998443207312 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25345] ppid=25339 vsize=15420488 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/25341/task/25345/stat : 25345 (java) S 25339 25339 24272 0 -1 1077944384 280 0 0 0 3 2 0 0 20 0 19 0 445455948 15790579712 94442 33554432000 4194304 4196468 140730195075568 139998442154256 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25346] ppid=25339 vsize=15420488 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/25341/task/25346/stat : 25346 (java) S 25339 25339 24272 0 -1 1077944384 197 0 0 0 3 2 0 0 20 0 19 0 445455948 15790579712 94442 33554432000 4194304 4196468 140730195075568 139998441101712 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25347] ppid=25339 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25347/stat : 25347 (java) S 25339 25339 24272 0 -1 1077944384 382 0 0 0 0 0 0 0 20 0 19 0 445455949 15790579712 94442 33554432000 4194304 4196468 140730195075568 139997725887216 139998852139650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25348] ppid=25339 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25348/stat : 25348 (java) S 25339 25339 24272 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 445455950 15790579712 94442 33554432000 4194304 4196468 140730195075568 139997724833504 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25349] ppid=25339 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25349/stat : 25349 (java) S 25339 25339 24272 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 445455950 15790579712 94442 33554432000 4194304 4196468 140730195075568 139997723780352 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25350] ppid=25339 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25350/stat : 25350 (java) S 25339 25339 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445455952 15790579712 94442 33554432000 4194304 4196468 140730195075568 139997722728912 139998852147099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25351] ppid=25339 vsize=15420488 memory=0 CPUtime=3.47 cores=0,2,4,6
/proc/25341/task/25351/stat : 25351 (java) S 25339 25339 24272 0 -1 1077944384 6103 0 0 0 346 1 0 0 20 0 19 0 445455952 15790579712 94442 33554432000 4194304 4196468 140730195075568 139997721676016 139998852139650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25352] ppid=25339 vsize=15420488 memory=0 CPUtime=3.41 cores=0,2,4,6
/proc/25341/task/25352/stat : 25352 (java) S 25339 25339 24272 0 -1 1077944384 6369 0 0 0 340 1 0 0 20 0 19 0 445455952 15790579712 94442 33554432000 4194304 4196468 140730195075568 139997720623472 139998852139650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25353] ppid=25339 vsize=15420488 memory=0 CPUtime=1.05 cores=0,2,4,6
/proc/25341/task/25353/stat : 25353 (java) S 25339 25339 24272 0 -1 1077944384 5951 0 0 0 104 1 0 0 20 0 19 0 445455953 15790579712 94442 33554432000 4194304 4196468 140730195075568 139997719570416 139998852139650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25354] ppid=25339 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25354/stat : 25354 (java) S 25339 25339 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445455953 15790579712 94442 33554432000 4194304 4196468 140730195075568 139997718518112 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25355] ppid=25339 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25355/stat : 25355 (java) S 25339 25339 24272 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 445455953 15790579712 94442 33554432000 4194304 4196468 140730195075568 139997717466160 139998852139650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25414] ppid=25339 vsize=15420488 memory=0 CPUtime=1.41 cores=0,2,4,6
/proc/25341/task/25414/stat : 25414 (java) R 25339 25339 24272 0 -1 4202560 20 0 0 0 141 0 0 0 20 0 19 0 445456472 15790579712 94442 33554432000 4194304 4196468 140730195075568 139997702175816 139998833534820 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25415] ppid=25339 vsize=15420488 memory=0 CPUtime=1.4 cores=0,2,4,6
/proc/25341/task/25415/stat : 25415 (java) R 25339 25339 24272 0 -1 4202560 83 0 0 0 140 0 0 0 20 0 19 0 445456472 15790579712 94442 33554432000 4194304 4196468 140730195075568 139997705334304 139998500118129 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25416] ppid=25339 vsize=15420488 memory=303148748257886234 CPUtime=1.47 cores=0,2,4,6
/proc/25341/task/25416/stat : 25416 (java) R 25339 25339 24272 0 -1 4202560 39 0 0 0 147 0 0 0 20 0 19 0 445456472 15790579712 94442 33554432000 4194304 4196468 140730195075568 139997703231976 139998497021806 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25417] ppid=25339 vsize=15420488 memory=0 CPUtime=1.49 cores=0,2,4,6
/proc/25341/task/25417/stat : 25417 (java) R 25339 25339 24272 0 -1 4202560 21 0 0 0 149 0 0 0 20 0 19 0 445456472 15790579712 94442 33554432000 4194304 4196468 140730195075568 139997704281184 139998496510844 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
Current children cumulated CPU time: 23.81 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 379220 KiB
[startup+7.20127 s]
/proc/loadavg: 7.93 7.97 7.89 6/238 25421
/proc/meminfo: memFree=30768924/32770624 swapFree=66997372/67108860
[pid=25339] ppid=25334 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25339/stat : 25339 (xcsp3-exec) S 25334 25339 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445455947 115843072 363 33554432000 4194304 5098028 140728583882624 140728583880728 139777328030332 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34549760 140728583885692 140728583885933 140728583885933 140728583888842 0
/proc/25339/statm: 28282 363 304 221 0 87 0
[pid=25341] ppid=25339 vsize=15420488 memory=379752 CPUtime=24.97 cores=0,2,4,6
/proc/25341/stat : 25341 (java) S 25339 25339 24272 0 -1 1077944320 33802 0 0 0 2475 22 0 0 20 0 19 0 445455947 15790579712 94938 33554432000 4194304 4196468 140730195075568 140730195058112 139998852128503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
/proc/25341/statm: 3855122 94938 3538 1 0 3816222 0
[pid=25341/tid=25342] ppid=25339 vsize=15420488 memory=17732 CPUtime=1.54 cores=0,2,4,6
/proc/25341/task/25342/stat : 25342 (java) S 25339 25339 24272 0 -1 1077944384 10415 0 0 0 149 5 0 0 20 0 19 0 445455947 15790579712 94938 33554432000 4194304 4196468 140730195075568 139998856369280 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25343] ppid=25339 vsize=15420488 memory=7595714831930911062 CPUtime=0.04 cores=0,2,4,6
/proc/25341/task/25343/stat : 25343 (java) S 25339 25339 24272 0 -1 1077944384 171 0 0 0 3 1 0 0 20 0 19 0 445455948 15790579712 94938 33554432000 4194304 4196468 140730195075568 139998444259856 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25344] ppid=25339 vsize=15420488 memory=57 CPUtime=0.04 cores=0,2,4,6
/proc/25341/task/25344/stat : 25344 (java) S 25339 25339 24272 0 -1 1077944384 127 0 0 0 3 1 0 0 20 0 19 0 445455948 15790579712 94938 33554432000 4194304 4196468 140730195075568 139998443207312 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25345] ppid=25339 vsize=15420488 memory=7300704776819335744 CPUtime=0.05 cores=0,2,4,6
/proc/25341/task/25345/stat : 25345 (java) S 25339 25339 24272 0 -1 1077944384 280 0 0 0 3 2 0 0 20 0 19 0 445455948 15790579712 94938 33554432000 4194304 4196468 140730195075568 139998442154256 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25346] ppid=25339 vsize=15420488 memory=7649399384264881458 CPUtime=0.05 cores=0,2,4,6
/proc/25341/task/25346/stat : 25346 (java) S 25339 25339 24272 0 -1 1077944384 197 0 0 0 3 2 0 0 20 0 19 0 445455948 15790579712 94938 33554432000 4194304 4196468 140730195075568 139998441101712 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25347] ppid=25339 vsize=15420488 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/25341/task/25347/stat : 25347 (java) S 25339 25339 24272 0 -1 1077944384 382 0 0 0 1 0 0 0 20 0 19 0 445455949 15790579712 94938 33554432000 4194304 4196468 140730195075568 139997725887216 139998852139650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25348] ppid=25339 vsize=15420488 memory=9198851636692691099 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25348/stat : 25348 (java) S 25339 25339 24272 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 445455950 15790579712 94938 33554432000 4194304 4196468 140730195075568 139997724833504 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25349] ppid=25339 vsize=15420488 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25349/stat : 25349 (java) S 25339 25339 24272 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 445455950 15790579712 94938 33554432000 4194304 4196468 140730195075568 139997723780352 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25350] ppid=25339 vsize=15420488 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25350/stat : 25350 (java) S 25339 25339 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445455952 15790579712 94938 33554432000 4194304 4196468 140730195075568 139997722728912 139998852147099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25351] ppid=25339 vsize=15420488 memory=375720 CPUtime=3.5 cores=0,2,4,6
/proc/25341/task/25351/stat : 25351 (java) R 25339 25339 24272 0 -1 4202560 6104 0 0 0 349 1 0 0 20 0 19 0 445455952 15790579712 94938 33554432000 4194304 4196468 140730195075568 139997721662560 139998833652821 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25352] ppid=25339 vsize=15420488 memory=0 CPUtime=3.43 cores=0,2,4,6
/proc/25341/task/25352/stat : 25352 (java) R 25339 25339 24272 0 -1 4202560 6373 0 0 0 342 1 0 0 20 0 19 0 445455952 15790579712 94938 33554432000 4194304 4196468 140730195075568 139997720614400 139998836520480 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25353] ppid=25339 vsize=15420488 memory=0 CPUtime=1.05 cores=0,2,4,6
/proc/25341/task/25353/stat : 25353 (java) S 25339 25339 24272 0 -1 1077944384 5957 0 0 0 104 1 0 0 20 0 19 0 445455953 15790579712 94938 33554432000 4194304 4196468 140730195075568 139997719570416 139998852139650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25354] ppid=25339 vsize=15420488 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25354/stat : 25354 (java) S 25339 25339 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445455953 15790579712 94938 33554432000 4194304 4196468 140730195075568 139997718518112 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25355] ppid=25339 vsize=15420488 memory=48196 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25355/stat : 25355 (java) S 25339 25339 24272 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 445455953 15790579712 94938 33554432000 4194304 4196468 140730195075568 139997717466160 139998852139650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
Current children cumulated CPU time: 24.97 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 381204 KiB
[startup+7.30126 s]
/proc/loadavg: 7.93 7.97 7.89 6/238 25421
/proc/meminfo: memFree=30768924/32770624 swapFree=66997372/67108860
[pid=25339] ppid=25334 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/25339/stat : 25339 (xcsp3-exec) S 25334 25339 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445455947 115843072 363 33554432000 4194304 5098028 140728583882624 140728583880728 139777328030332 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 34549760 140728583885692 140728583885933 140728583885933 140728583888842 0
/proc/25339/statm: 28282 363 304 221 0 87 0
[pid=25341] ppid=25339 vsize=15420488 memory=380712 CPUtime=25.36 cores=0,2,4,6
/proc/25341/stat : 25341 (java) S 25339 25339 24272 0 -1 1077944320 34040 0 0 0 2514 22 0 0 20 0 19 0 445455947 15790579712 95178 33554432000 4194304 4196468 140730195075568 140730195058112 139998852128503 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
/proc/25341/statm: 3855122 95178 3538 1 0 3816222 0
[pid=25341/tid=25342] ppid=25339 vsize=15420488 memory=375720 CPUtime=1.54 cores=0,2,4,6
/proc/25341/task/25342/stat : 25342 (java) S 25339 25339 24272 0 -1 1077944384 10415 0 0 0 149 5 0 0 20 0 19 0 445455947 15790579712 95178 33554432000 4194304 4196468 140730195075568 139998856369280 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25343] ppid=25339 vsize=15420488 memory=377768 CPUtime=0.04 cores=0,2,4,6
/proc/25341/task/25343/stat : 25343 (java) S 25339 25339 24272 0 -1 1077944384 171 0 0 0 3 1 0 0 20 0 19 0 445455948 15790579712 95178 33554432000 4194304 4196468 140730195075568 139998444259856 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25344] ppid=25339 vsize=15420488 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/25341/task/25344/stat : 25344 (java) S 25339 25339 24272 0 -1 1077944384 127 0 0 0 3 1 0 0 20 0 19 0 445455948 15790579712 95178 33554432000 4194304 4196468 140730195075568 139998443207312 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25345] ppid=25339 vsize=15420488 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/25341/task/25345/stat : 25345 (java) S 25339 25339 24272 0 -1 1077944384 280 0 0 0 3 2 0 0 20 0 19 0 445455948 15790579712 95178 33554432000 4194304 4196468 140730195075568 139998442154256 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25346] ppid=25339 vsize=15420488 memory=379752 CPUtime=0.05 cores=0,2,4,6
/proc/25341/task/25346/stat : 25346 (java) S 25339 25339 24272 0 -1 1077944384 197 0 0 0 3 2 0 0 20 0 19 0 445455948 15790579712 95178 33554432000 4194304 4196468 140730195075568 139998441101712 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25347] ppid=25339 vsize=15420488 memory=48196 CPUtime=0.01 cores=0,2,4,6
/proc/25341/task/25347/stat : 25347 (java) S 25339 25339 24272 0 -1 1077944384 382 0 0 0 1 0 0 0 20 0 19 0 445455949 15790579712 95178 33554432000 4194304 4196468 140730195075568 139997725887216 139998852139650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25348] ppid=25339 vsize=15420488 memory=3028 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25348/stat : 25348 (java) S 25339 25339 24272 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 445455950 15790579712 95178 33554432000 4194304 4196468 140730195075568 139997724833504 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25349] ppid=25339 vsize=15420488 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25349/stat : 25349 (java) S 25339 25339 24272 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 445455950 15790579712 95178 33554432000 4194304 4196468 140730195075568 139997723780352 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25350] ppid=25339 vsize=15420488 memory=48196 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25350/stat : 25350 (java) S 25339 25339 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445455952 15790579712 95178 33554432000 4194304 4196468 140730195075568 139997722728912 139998852147099 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25351] ppid=25339 vsize=15420488 memory=3028 CPUtime=3.54 cores=0,2,4,6
/proc/25341/task/25351/stat : 25351 (java) S 25339 25339 24272 0 -1 1077944384 6105 0 0 0 353 1 0 0 20 0 19 0 445455952 15790579712 95178 33554432000 4194304 4196468 140730195075568 139997721676016 139998852139650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25352] ppid=25339 vsize=15420488 memory=57 CPUtime=3.49 cores=0,2,4,6
/proc/25341/task/25352/stat : 25352 (java) R 25339 25339 24272 0 -1 4202560 6607 0 0 0 348 1 0 0 20 0 19 0 445455952 15790579712 95178 33554432000 4194304 4196468 140730195075568 139997720614400 139998835627458 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25353] ppid=25339 vsize=15420488 memory=9319 CPUtime=1.05 cores=0,2,4,6
/proc/25341/task/25353/stat : 25353 (java) S 25339 25339 24272 0 -1 1077944384 5957 0 0 0 104 1 0 0 20 0 19 0 445455953 15790579712 95178 33554432000 4194304 4196468 140730195075568 139997719570416 139998852139650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25354] ppid=25339 vsize=15420488 memory=3525043 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25354/stat : 25354 (java) S 25339 25339 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445455953 15790579712 95178 33554432000 4194304 4196468 140730195075568 139997718518112 139998852138709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
[pid=25341/tid=25355] ppid=25339 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25341/task/25355/stat : 25355 (java) S 25339 25339 24272 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 445455953 15790579712 95178 33554432000 4194304 4196468 140730195075568 139997717466160 139998852139650 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20537344 140730195080175 140730195080346 140730195080346 140730195083215 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 382164 KiB
Child status: 0
Real time (s): 7.33533
CPU time (s): 25.4304
CPU user time (s): 25.1988
CPU system time (s): 0.231564
CPU usage (%): 346.683
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 382164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.1988
system time used= 0.231564
maximum resident set size= 382300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34879
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= 3518
involuntary context switches= 843
# summary of solver processes directly reported to runsolver:
# pid: 25339
# total CPU time (s): 25.4304
# total CPU user time (s): 25.1988
# total CPU system time (s): 0.231564
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.067989 second user time and 0.123838 second system time
The end
Begin job on node103 at 2019-09-17 05:46:10 IDJOB=4400519 IDBENCH=126803 IDSOLVER=2856 FILE ID=node103/4400519-1568692029 RUNJOBID= node103-1568691240-24303 PBS_JOBID= 21703799 Free space on /tmp= 61692 MiB SOLVER NAME= choco-solver 2019-09-16 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-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 /tmp/evaluation-result-4400519-1568692029/watcher-4400519-1568692029 -o /tmp/evaluation-result-4400519-1568692029/solver-4400519-1568692029 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568691240-24303 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 18117877 HOME/instance-4400519-1568692029.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 305bfce3403e7be8ea8343edd9c7d9a7 RANDOM SEED=18117877 node103.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.74 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.74 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.74 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.74 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: 31267960 kB MemAvailable: 31665016 kB Buffers: 74176 kB Cached: 617916 kB SwapCached: 9016 kB Active: 655972 kB Inactive: 270124 kB Active(anon): 226068 kB Inactive(anon): 57316 kB Active(file): 429904 kB Inactive(file): 212808 kB Unevictable: 111148 kB Mlocked: 111148 kB SwapTotal: 67108860 kB SwapFree: 66997372 kB Dirty: 26244 kB Writeback: 0 kB AnonPages: 348244 kB Mapped: 61864 kB Shmem: 40856 kB Slab: 170356 kB SReclaimable: 140360 kB SUnreclaim: 29996 kB KernelStack: 4064 kB PageTables: 6784 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1652480 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 247808 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61668 MiB End job on node103 at 2019-09-17 05:46:17