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-06-14 | OPT | 3 | 31.1796 | 9.00284 |
| 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 | 24.6929 |
| 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-4393359-1568317564.xml" -tl '2520s' -p 4 0.14/0.18 c Choco e747e1e 0.14/0.18 c [HOME/instance-4393359-1568317564.xml, -tl, 2520s, -p, 4] 0.34/0.22 c 4 solvers in parallel 0.34/0.28 c parse instance... 4.43/1.50 c solve instance... 5.23/1.71 o 19 5.23/1.74 o 18 5.55/1.86 o 17 5.55/1.87 o 16 6.56/2.15 o 15 6.56/2.19 o 14 6.90/2.25 o 13 7.96/2.57 o 12 7.96/2.59 o 11 9.37/2.90 o 10 9.37/2.96 o 9 16.11/4.67 o 8 16.59/5.03 o 7 24.00/6.92 o 6 24.33/7.11 o 5 30.24/8.68 o 4 30.64/8.87 o 3 30.84/8.99 s OPTIMUM FOUND 30.84/8.99 v <instantiation> 30.84/8.99 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> 30.84/8.99 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> 30.84/8.99 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 (3622 MiB free)
memory of node 1: 16384 MiB (14308 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393359-1568317564/watcher-4393359-1568317564 -o /tmp/evaluation-result-4393359-1568317564/solver-4393359-1568317564 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14094 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1211849347 HOME/instance-4393359-1568317564.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18657, runsolver pid=18654
[startup+0.100058 s]*
/proc/loadavg: 7.95 7.99 8.10 7/229 18673
/proc/meminfo: memFree=18344580/32770624 swapFree=66996244/67108860
[pid=18657] ppid=18654 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18657/stat : 18657 (xcsp3-exec) S 18654 18657 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408011102 115843072 363 33554432000 4194304 5098028 140725782595696 140725782593800 140313988268668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20672512 140725782602618 140725782602861 140725782602861 140725782605770 0
/proc/18657/statm: 28282 363 304 221 0 87 0
[pid=18659] ppid=18657 vsize=15144768 memory=29000 CPUtime=0.14 cores=1,3,5,7
/proc/18659/stat : 18659 (java) S 18657 18657 14062 0 -1 1077944320 5699 0 0 0 13 1 0 0 20 0 15 0 408011102 15508242432 7250 33554432000 4194304 4196468 140734854535696 140734854518240 140235829313271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
/proc/18659/statm: 3786192 7250 3158 1 0 3748377 0
[pid=18659/tid=18660] ppid=18657 vsize=15144768 memory=-2698087569006908830 CPUtime=0.09 cores=1,3,5,7
/proc/18659/task/18660/stat : 18660 (java) R 18657 18657 14062 0 -1 4202560 3565 0 0 0 9 0 0 0 20 0 15 0 408011103 15508242432 7250 33554432000 4194304 4196468 140734854535696 140235833544416 140235821550398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18661] ppid=18657 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18661/stat : 18661 (java) S 18657 18657 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408011104 15508242432 7250 33554432000 4194304 4196468 140734854535696 140235785866000 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18662] ppid=18657 vsize=15144768 memory=140503954257536 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18662/stat : 18662 (java) S 18657 18657 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408011104 15508242432 7250 33554432000 4194304 4196468 140734854535696 140235784813456 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18663] ppid=18657 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18663/stat : 18663 (java) S 18657 18657 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408011104 15508242432 7250 33554432000 4194304 4196468 140734854535696 140235783760912 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18664] ppid=18657 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18664/stat : 18664 (java) S 18657 18657 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408011104 15508242432 7250 33554432000 4194304 4196468 140734854535696 140235418819728 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18665] ppid=18657 vsize=15144768 memory=140503954257536 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18665/stat : 18665 (java) S 18657 18657 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408011105 15508242432 7250 33554432000 4194304 4196468 140734854535696 140235297847280 140235829324418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18666] ppid=18657 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18666/stat : 18666 (java) S 18657 18657 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408011105 15508242432 7250 33554432000 4194304 4196468 140734854535696 140235296793504 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18667] ppid=18657 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18667/stat : 18667 (java) S 18657 18657 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408011106 15508242432 7250 33554432000 4194304 4196468 140734854535696 140235295740912 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18668] ppid=18657 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18668/stat : 18668 (java) S 18657 18657 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408011108 15508242432 7250 33554432000 4194304 4196468 140734854535696 140235294689488 140235829331867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18669] ppid=18657 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18669/stat : 18669 (java) S 18657 18657 14062 0 -1 1077944384 450 0 0 0 0 0 0 0 20 0 15 0 408011108 15508242432 7250 33554432000 4194304 4196468 140734854535696 140235293637104 140235829324418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18670] ppid=18657 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18670/stat : 18670 (java) S 18657 18657 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408011108 15508242432 7250 33554432000 4194304 4196468 140734854535696 140235292584560 140235829324418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18671] ppid=18657 vsize=15144768 memory=140503954257536 CPUtime=0.02 cores=1,3,5,7
/proc/18659/task/18671/stat : 18671 (java) R 18657 18657 14062 0 -1 4202560 382 0 0 0 2 0 0 0 20 0 15 0 408011108 15508242432 7250 33554432000 4194304 4196468 140734854535696 140235291532016 140235807682056 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18672] ppid=18657 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18672/stat : 18672 (java) S 18657 18657 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408011108 15508242432 7250 33554432000 4194304 4196468 140734854535696 140235290479712 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18673] ppid=18657 vsize=15144768 memory=140503954257536 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18673/stat : 18673 (java) S 18657 18657 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408011108 15508242432 7250 33554432000 4194304 4196468 140734854535696 140235289426224 140235829324418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30452 KiB
[startup+0.210917 s]*
/proc/loadavg: 7.95 7.99 8.10 7/229 18673
/proc/meminfo: memFree=18331144/32770624 swapFree=66996244/67108860
[pid=18657] ppid=18654 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18657/stat : 18657 (xcsp3-exec) S 18654 18657 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408011102 115843072 363 33554432000 4194304 5098028 140725782595696 140725782593800 140313988268668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20672512 140725782602618 140725782602861 140725782602861 140725782605770 0
/proc/18657/statm: 28282 363 304 221 0 87 0
[pid=18659] ppid=18657 vsize=15144768 memory=40820 CPUtime=0.34 cores=1,3,5,7
/proc/18659/stat : 18659 (java) S 18657 18657 14062 0 -1 1077944320 9463 0 0 0 31 3 0 0 20 0 15 0 408011102 15508242432 10205 33554432000 4194304 4196468 140734854535696 140734854518240 140235829313271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
/proc/18659/statm: 3786192 10205 3266 1 0 3748377 0
[pid=18659/tid=18660] ppid=18657 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/18659/task/18660/stat : 18660 (java) R 18657 18657 14062 0 -1 4202560 6582 0 0 0 18 2 0 0 20 0 15 0 408011103 15508242432 10205 33554432000 4194304 4196468 140734854535696 140235833547328 140235829335197 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18661] ppid=18657 vsize=15144768 memory=2670165 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18661/stat : 18661 (java) S 18657 18657 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408011104 15508242432 10205 33554432000 4194304 4196468 140734854535696 140235785866000 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18662] ppid=18657 vsize=15144768 memory=2854506 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18662/stat : 18662 (java) S 18657 18657 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408011104 15508242432 10205 33554432000 4194304 4196468 140734854535696 140235784813456 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18663] ppid=18657 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18663/stat : 18663 (java) S 18657 18657 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408011104 15508242432 10205 33554432000 4194304 4196468 140734854535696 140235783760912 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18664] ppid=18657 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18664/stat : 18664 (java) S 18657 18657 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408011104 15508242432 10205 33554432000 4194304 4196468 140734854535696 140235418819728 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18665] ppid=18657 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18665/stat : 18665 (java) S 18657 18657 14062 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408011105 15508242432 10205 33554432000 4194304 4196468 140734854535696 140235297847280 140235829324418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18666] ppid=18657 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18666/stat : 18666 (java) S 18657 18657 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408011105 15508242432 10205 33554432000 4194304 4196468 140734854535696 140235296793504 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18667] ppid=18657 vsize=15144768 memory=140503954257536 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18667/stat : 18667 (java) S 18657 18657 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408011106 15508242432 10205 33554432000 4194304 4196468 140734854535696 140235295740912 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18668] ppid=18657 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18668/stat : 18668 (java) S 18657 18657 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408011108 15508242432 10205 33554432000 4194304 4196468 140734854535696 140235294689488 140235829331867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18669] ppid=18657 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18659/task/18669/stat : 18669 (java) S 18657 18657 14062 0 -1 1077944384 483 0 0 0 2 0 0 0 20 0 15 0 408011108 15508242432 10205 33554432000 4194304 4196468 140734854535696 140235293637104 140235829324418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18670] ppid=18657 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/18659/task/18670/stat : 18670 (java) S 18657 18657 14062 0 -1 1077944384 322 0 0 0 2 0 0 0 20 0 15 0 408011108 15508242432 10205 33554432000 4194304 4196468 140734854535696 140235292584560 140235829324418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18671] ppid=18657 vsize=15144768 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/18659/task/18671/stat : 18671 (java) S 18657 18657 14062 0 -1 1077944384 767 0 0 0 8 0 0 0 20 0 15 0 408011108 15508242432 10205 33554432000 4194304 4196468 140734854535696 140235291532016 140235829324418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18672] ppid=18657 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18672/stat : 18672 (java) S 18657 18657 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408011108 15508242432 10205 33554432000 4194304 4196468 140734854535696 140235290479712 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18673] ppid=18657 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18673/stat : 18673 (java) S 18657 18657 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408011108 15508242432 10205 33554432000 4194304 4196468 140734854535696 140235289426224 140235829324418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42272 KiB
[startup+0.317274 s]*
/proc/loadavg: 7.95 7.99 8.10 7/229 18673
/proc/meminfo: memFree=18324348/32770624 swapFree=66996244/67108860
[pid=18657] ppid=18654 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18657/stat : 18657 (xcsp3-exec) S 18654 18657 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408011102 115843072 363 33554432000 4194304 5098028 140725782595696 140725782593800 140313988268668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20672512 140725782602618 140725782602861 140725782602861 140725782605770 0
/proc/18657/statm: 28282 363 304 221 0 87 0
[pid=18659] ppid=18657 vsize=15149024 memory=50612 CPUtime=0.54 cores=1,3,5,7
/proc/18659/stat : 18659 (java) S 18657 18657 14062 0 -1 1077944320 10954 0 0 0 50 4 0 0 20 0 15 0 408011102 15512600576 12653 33554432000 4194304 4196468 140734854535696 140734854518240 140235829313271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
/proc/18659/statm: 3787256 12653 3366 1 0 3748377 0
[pid=18659/tid=18660] ppid=18657 vsize=15149024 memory=8389772277269004345 CPUtime=0.31 cores=1,3,5,7
/proc/18659/task/18660/stat : 18660 (java) R 18657 18657 14062 0 -1 4202560 7839 0 0 0 28 3 0 0 20 0 15 0 408011103 15512600576 12653 33554432000 4194304 4196468 140734854535696 140235833547056 140235829335197 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18661] ppid=18657 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18661/stat : 18661 (java) S 18657 18657 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408011104 15512600576 12653 33554432000 4194304 4196468 140734854535696 140235785866000 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18662] ppid=18657 vsize=15149024 memory=2856532 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18662/stat : 18662 (java) S 18657 18657 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408011104 15512600576 12653 33554432000 4194304 4196468 140734854535696 140235784813456 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18663] ppid=18657 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18663/stat : 18663 (java) S 18657 18657 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408011104 15512600576 12653 33554432000 4194304 4196468 140734854535696 140235783760912 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18664] ppid=18657 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18664/stat : 18664 (java) S 18657 18657 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408011104 15512600576 12653 33554432000 4194304 4196468 140734854535696 140235418819728 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18665] ppid=18657 vsize=15149024 memory=140503954257536 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18665/stat : 18665 (java) S 18657 18657 14062 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408011105 15512600576 12653 33554432000 4194304 4196468 140734854535696 140235297847280 140235829324418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18666] ppid=18657 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18666/stat : 18666 (java) S 18657 18657 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408011105 15512600576 12653 33554432000 4194304 4196468 140734854535696 140235296793504 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18667] ppid=18657 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18667/stat : 18667 (java) S 18657 18657 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408011106 15512600576 12653 33554432000 4194304 4196468 140734854535696 140235295740912 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18668] ppid=18657 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18668/stat : 18668 (java) S 18657 18657 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408011108 15512600576 12653 33554432000 4194304 4196468 140734854535696 140235294689488 140235829331867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18669] ppid=18657 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/18659/task/18669/stat : 18669 (java) S 18657 18657 14062 0 -1 1077944384 610 0 0 0 4 0 0 0 20 0 15 0 408011108 15512600576 12653 33554432000 4194304 4196468 140734854535696 140235293637104 140235829324418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18670] ppid=18657 vsize=15149024 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/18659/task/18670/stat : 18670 (java) S 18657 18657 14062 0 -1 1077944384 337 0 0 0 4 0 0 0 20 0 15 0 408011108 15512600576 12653 33554432000 4194304 4196468 140734854535696 140235292584560 140235829324418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18671] ppid=18657 vsize=15149024 memory=140503954257536 CPUtime=0.12 cores=1,3,5,7
/proc/18659/task/18671/stat : 18671 (java) R 18657 18657 14062 0 -1 4202560 862 0 0 0 12 0 0 0 20 0 15 0 408011108 15512600576 12718 33554432000 4194304 4196468 140734854535696 140235291532016 140235809642937 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18672] ppid=18657 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18672/stat : 18672 (java) S 18657 18657 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408011108 15512600576 12718 33554432000 4194304 4196468 140734854535696 140235290479712 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18673] ppid=18657 vsize=15149024 memory=140503954257536 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18673/stat : 18673 (java) S 18657 18657 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408011108 15512600576 12718 33554432000 4194304 4196468 140734854535696 140235289426224 140235829324418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52064 KiB
[startup+0.701478 s]
/proc/loadavg: 7.95 7.99 8.10 7/229 18673
/proc/meminfo: memFree=18301188/32770624 swapFree=66996244/67108860
[pid=18657] ppid=18654 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18657/stat : 18657 (xcsp3-exec) S 18654 18657 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408011102 115843072 363 33554432000 4194304 5098028 140725782595696 140725782593800 140313988268668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20672512 140725782602618 140725782602861 140725782602861 140725782605770 0
/proc/18657/statm: 28282 363 304 221 0 87 0
[pid=18659] ppid=18657 vsize=15151148 memory=102292 CPUtime=1.83 cores=1,3,5,7
/proc/18659/stat : 18659 (java) S 18657 18657 14062 0 -1 1077944320 15629 0 0 0 177 6 0 0 20 0 15 0 408011102 15514775552 25573 33554432000 4194304 4196468 140734854535696 140734854518240 140235829313271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
/proc/18659/statm: 3787787 25573 3448 1 0 3748889 0
[pid=18659/tid=18660] ppid=18657 vsize=15151148 memory=12024 CPUtime=0.67 cores=1,3,5,7
/proc/18659/task/18660/stat : 18660 (java) R 18657 18657 14062 0 -1 1077944384 9085 0 0 0 64 3 0 0 20 0 15 0 408011103 15514775552 25573 33554432000 4194304 4196468 140734854535696 140235833547664 140235829323477 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18661] ppid=18657 vsize=15151148 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18661/stat : 18661 (java) S 18657 18657 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408011104 15514775552 25573 33554432000 4194304 4196468 140734854535696 140235785866000 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18662] ppid=18657 vsize=15151148 memory=500 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18662/stat : 18662 (java) S 18657 18657 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408011104 15514775552 25573 33554432000 4194304 4196468 140734854535696 140235784813456 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18663] ppid=18657 vsize=15151148 memory=928 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18663/stat : 18663 (java) S 18657 18657 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408011104 15514775552 25573 33554432000 4194304 4196468 140734854535696 140235783760912 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18664] ppid=18657 vsize=15151148 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18664/stat : 18664 (java) S 18657 18657 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408011104 15514775552 25573 33554432000 4194304 4196468 140734854535696 140235418819728 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18665] ppid=18657 vsize=15151148 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18665/stat : 18665 (java) S 18657 18657 14062 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 408011105 15514775552 25573 33554432000 4194304 4196468 140734854535696 140235297847280 140235829324418 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18666] ppid=18657 vsize=15151148 memory=876 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18666/stat : 18666 (java) S 18657 18657 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408011105 15514775552 25573 33554432000 4194304 4196468 140734854535696 140235296793504 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18667] ppid=18657 vsize=15151148 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18667/stat : 18667 (java) S 18657 18657 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408011106 15514775552 25573 33554432000 4194304 4196468 140734854535696 140235295740912 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18668] ppid=18657 vsize=15151148 memory=7086240636179075427 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18668/stat : 18668 (java) S 18657 18657 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408011108 15514775552 25573 33554432000 4194304 4196468 140734854535696 140235294689488 140235829331867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18669] ppid=18657 vsize=15151148 memory=7453282923427948884 CPUtime=0.38 cores=1,3,5,7
/proc/18659/task/18669/stat : 18669 (java) R 18657 18657 14062 0 -1 4202560 1729 0 0 0 38 0 0 0 20 0 15 0 408011108 15514775552 25573 33554432000 4194304 4196468 140734854535696 140235293628560 140235829334618 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18670] ppid=18657 vsize=15151148 memory=7223879631928058176 CPUtime=0.36 cores=1,3,5,7
/proc/18659/task/18670/stat : 18670 (java) R 18657 18657 14062 0 -1 4202560 1479 0 0 0 36 0 0 0 20 0 15 0 408011108 15514775552 25573 33554432000 4194304 4196468 140734854535696 140235292584560 140235808560071 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18671] ppid=18657 vsize=15151148 memory=8514726395714826909 CPUtime=0.38 cores=1,3,5,7
/proc/18659/task/18671/stat : 18671 (java) R 18657 18657 14062 0 -1 4202560 2027 0 0 0 37 1 0 0 20 0 15 0 408011108 15514775552 25573 33554432000 4194304 4196468 140734854535696 140235291532016 140235829325206 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18672] ppid=18657 vsize=15151148 memory=7594596650029836651 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18672/stat : 18672 (java) S 18657 18657 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408011108 15514775552 25573 33554432000 4194304 4196468 140734854535696 140235290479712 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18673] ppid=18657 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18673/stat : 18673 (java) S 18657 18657 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408011108 15514775552 25573 33554432000 4194304 4196468 140734854535696 140235289426224 140235829324418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
Current children cumulated CPU time: 1.83 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 103744 KiB
[startup+1.5008 s]
/proc/loadavg: 7.95 7.99 8.10 8/229 18673
/proc/meminfo: memFree=18219688/32770624 swapFree=66996244/67108860
[pid=18657] ppid=18654 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18657/stat : 18657 (xcsp3-exec) S 18654 18657 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408011102 115843072 363 33554432000 4194304 5098028 140725782595696 140725782593800 140313988268668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20672512 140725782602618 140725782602861 140725782602861 140725782605770 0
/proc/18657/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/18659/task/18665/stat : 18665 (java) S 18657 18657 14062 0 -1 1077944384 652 0 0 0 1 0 0 0 20 0 19 0 408011105 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235297847280 140235829324418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18666] ppid=18657 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18666/stat : 18666 (java) S 18657 18657 14062 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 408011105 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235296793568 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18667] ppid=18657 vsize=15420480 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18667/stat : 18667 (java) S 18657 18657 14062 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 408011106 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235295740928 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18668] ppid=18657 vsize=15420480 memory=948 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18668/stat : 18668 (java) S 18657 18657 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408011108 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235294689488 140235829331867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18669] ppid=18657 vsize=15420480 memory=2832 CPUtime=3.87 cores=1,3,5,7
/proc/18659/task/18669/stat : 18669 (java) S 18657 18657 14062 0 -1 1077944384 12511 0 0 0 386 1 0 0 20 0 19 0 408011108 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235293637104 140235829324418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18670] ppid=18657 vsize=15420480 memory=9404 CPUtime=3.61 cores=1,3,5,7
/proc/18659/task/18670/stat : 18670 (java) S 18657 18657 14062 0 -1 1077944384 7150 0 0 0 360 1 0 0 20 0 19 0 408011108 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235292584560 140235829324418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18671] ppid=18657 vsize=15420480 memory=1548 CPUtime=1.05 cores=1,3,5,7
/proc/18659/task/18671/stat : 18671 (java) S 18657 18657 14062 0 -1 1077944384 5080 0 0 0 103 2 0 0 20 0 19 0 408011108 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235291532016 140235829324418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18672] ppid=18657 vsize=15420480 memory=628 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18672/stat : 18672 (java) S 18657 18657 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408011108 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235290479712 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18673] ppid=18657 vsize=15420480 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18673/stat : 18673 (java) S 18657 18657 14062 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 19 0 408011108 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235289426224 140235829324418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18734] ppid=18657 vsize=15420480 memory=1556 CPUtime=0.73 cores=1,3,5,7
/proc/18659/task/18734/stat : 18734 (java) R 18657 18657 14062 0 -1 4202560 114 0 0 0 73 0 0 0 20 0 19 0 408011814 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235274959992 140235471582727 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18735] ppid=18657 vsize=15420480 memory=5908 CPUtime=0.82 cores=1,3,5,7
/proc/18659/task/18735/stat : 18735 (java) R 18657 18657 14062 0 -1 4202560 299 0 0 0 82 0 0 0 20 0 19 0 408011814 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235277068656 140235473880926 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18736] ppid=18657 vsize=15420480 memory=14012 CPUtime=0.67 cores=1,3,5,7
/proc/18659/task/18736/stat : 18736 (java) R 18657 18657 14062 0 -1 4202560 358 0 0 0 67 0 0 0 20 0 19 0 408011814 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235278118600 140235472079919 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18737] ppid=18657 vsize=15420480 memory=2116 CPUtime=0.66 cores=1,3,5,7
/proc/18659/task/18737/stat : 18737 (java) R 18657 18657 14062 0 -1 4202560 74 0 0 0 66 0 0 0 20 0 19 0 408011814 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235276012712 140235472914818 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
Current children cumulated CPU time: 27.9 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 407632 KiB
[startup+8.40128 s]
/proc/loadavg: 7.87 7.97 8.09 12/233 18737
/proc/meminfo: memFree=17967496/32770624 swapFree=66996244/67108860
[pid=18657] ppid=18654 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18657/stat : 18657 (xcsp3-exec) S 18654 18657 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408011102 115843072 363 33554432000 4194304 5098028 140725782595696 140725782593800 140313988268668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20672512 140725782602618 140725782602861 140725782602861 140725782605770 0
/proc/18657/statm: 28282 363 304 221 0 87 0
[pid=18659] ppid=18657 vsize=15420480 memory=406180 CPUtime=29.43 cores=1,3,5,7
/proc/18659/stat : 18659 (java) S 18657 18657 14062 0 -1 1077944320 43847 0 0 0 2922 21 0 0 20 0 19 0 408011102 15790571520 101545 33554432000 4194304 4196468 140734854535696 140734854518240 140235829313271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
/proc/18659/statm: 3855120 101545 3540 1 0 3816222 0
[pid=18659/tid=18660] ppid=18657 vsize=15420480 memory=0 CPUtime=1.51 cores=1,3,5,7
/proc/18659/task/18660/stat : 18660 (java) S 18657 18657 14062 0 -1 1077944384 11427 0 0 0 146 5 0 0 20 0 19 0 408011103 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235833554048 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18661] ppid=18657 vsize=15420480 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/18659/task/18661/stat : 18661 (java) S 18657 18657 14062 0 -1 1077944384 1388 0 0 0 5 1 0 0 20 0 19 0 408011104 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235785866000 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18662] ppid=18657 vsize=15420480 memory=7295938381028020304 CPUtime=0.06 cores=1,3,5,7
/proc/18659/task/18662/stat : 18662 (java) S 18657 18657 14062 0 -1 1077944384 543 0 0 0 5 1 0 0 20 0 19 0 408011104 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235784813456 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18663] ppid=18657 vsize=15420480 memory=7739548558266947938 CPUtime=0.08 cores=1,3,5,7
/proc/18659/task/18663/stat : 18663 (java) S 18657 18657 14062 0 -1 1077944384 679 0 0 0 7 1 0 0 20 0 19 0 408011104 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235783760912 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18664] ppid=18657 vsize=15420480 memory=7235684147627321173 CPUtime=0.06 cores=1,3,5,7
/proc/18659/task/18664/stat : 18664 (java) S 18657 18657 14062 0 -1 1077944384 324 0 0 0 5 1 0 0 20 0 19 0 408011104 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235418819728 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18665] ppid=18657 vsize=15420480 memory=281007631136376 CPUtime=0.01 cores=1,3,5,7
/proc/18659/task/18665/stat : 18665 (java) S 18657 18657 14062 0 -1 1077944384 652 0 0 0 1 0 0 0 20 0 19 0 408011105 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235297847280 140235829324418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18666] ppid=18657 vsize=15420480 memory=281007630892688 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18666/stat : 18666 (java) S 18657 18657 14062 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 408011105 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235296793568 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18667] ppid=18657 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18667/stat : 18667 (java) S 18657 18657 14062 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 408011106 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235295740928 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18668] ppid=18657 vsize=15420480 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18668/stat : 18668 (java) S 18657 18657 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408011108 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235294689488 140235829331867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18669] ppid=18657 vsize=15420480 memory=384560 CPUtime=3.87 cores=1,3,5,7
/proc/18659/task/18669/stat : 18669 (java) S 18657 18657 14062 0 -1 1077944384 12511 0 0 0 386 1 0 0 20 0 19 0 408011108 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235293637104 140235829324418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18670] ppid=18657 vsize=15420480 memory=0 CPUtime=3.61 cores=1,3,5,7
/proc/18659/task/18670/stat : 18670 (java) S 18657 18657 14062 0 -1 1077944384 7150 0 0 0 360 1 0 0 20 0 19 0 408011108 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235292584560 140235829324418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18671] ppid=18657 vsize=15420480 memory=0 CPUtime=1.05 cores=1,3,5,7
/proc/18659/task/18671/stat : 18671 (java) S 18657 18657 14062 0 -1 1077944384 5084 0 0 0 103 2 0 0 20 0 19 0 408011108 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235291532016 140235829324418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18672] ppid=18657 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18672/stat : 18672 (java) S 18657 18657 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408011108 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235290479712 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18673] ppid=18657 vsize=15420480 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18673/stat : 18673 (java) S 18657 18657 14062 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 19 0 408011108 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235289426224 140235829324418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18734] ppid=18657 vsize=15420480 memory=0 CPUtime=1.11 cores=1,3,5,7
/proc/18659/task/18734/stat : 18734 (java) R 18657 18657 14062 0 -1 4202560 114 0 0 0 111 0 0 0 20 0 19 0 408011814 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235274959992 140235472914830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18735] ppid=18657 vsize=15420480 memory=0 CPUtime=1.2 cores=1,3,5,7
/proc/18659/task/18735/stat : 18735 (java) R 18657 18657 14062 0 -1 4202560 314 0 0 0 120 0 0 0 20 0 19 0 408011814 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235277068656 140235467561679 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18736] ppid=18657 vsize=15420480 memory=0 CPUtime=1.05 cores=1,3,5,7
/proc/18659/task/18736/stat : 18736 (java) R 18657 18657 14062 0 -1 4202560 359 0 0 0 105 0 0 0 20 0 19 0 408011814 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235278118600 140235472914136 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18737] ppid=18657 vsize=15420480 memory=0 CPUtime=1.05 cores=1,3,5,7
/proc/18659/task/18737/stat : 18737 (java) R 18657 18657 14062 0 -1 4202560 76 0 0 0 105 0 0 0 20 0 19 0 408011814 15790571520 101545 33554432000 4194304 4196468 140734854535696 140235276013768 140235472567511 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
Current children cumulated CPU time: 29.43 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 407632 KiB
[startup+8.80081 s]
/proc/loadavg: 7.87 7.97 8.09 12/233 18737
/proc/meminfo: memFree=17967496/32770624 swapFree=66996244/67108860
[pid=18657] ppid=18654 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18657/stat : 18657 (xcsp3-exec) S 18654 18657 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408011102 115843072 363 33554432000 4194304 5098028 140725782595696 140725782593800 140313988268668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20672512 140725782602618 140725782602861 140725782602861 140725782605770 0
/proc/18657/statm: 28282 363 304 221 0 87 0
[pid=18659] ppid=18657 vsize=15420480 memory=405976 CPUtime=30.64 cores=1,3,5,7
/proc/18659/stat : 18659 (java) S 18657 18657 14062 0 -1 1077944320 44365 0 0 0 3042 22 0 0 20 0 19 0 408011102 15790571520 101494 33554432000 4194304 4196468 140734854535696 140734854518240 140235829313271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
/proc/18659/statm: 3855120 101494 3540 1 0 3816222 0
[pid=18659/tid=18660] ppid=18657 vsize=15420480 memory=6791534058613427641 CPUtime=1.51 cores=1,3,5,7
/proc/18659/task/18660/stat : 18660 (java) S 18657 18657 14062 0 -1 1077944384 11536 0 0 0 146 5 0 0 20 0 19 0 408011103 15790571520 101494 33554432000 4194304 4196468 140734854535696 140235833554048 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18661] ppid=18657 vsize=15420480 memory=406180 CPUtime=0.06 cores=1,3,5,7
/proc/18659/task/18661/stat : 18661 (java) S 18657 18657 14062 0 -1 1077944384 1388 0 0 0 5 1 0 0 20 0 19 0 408011104 15790571520 101494 33554432000 4194304 4196468 140734854535696 140235785866000 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18662] ppid=18657 vsize=15420480 memory=5 CPUtime=0.06 cores=1,3,5,7
/proc/18659/task/18662/stat : 18662 (java) S 18657 18657 14062 0 -1 1077944384 543 0 0 0 5 1 0 0 20 0 19 0 408011104 15790571520 101494 33554432000 4194304 4196468 140734854535696 140235784813456 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18663] ppid=18657 vsize=15420480 memory=8114530436730757788 CPUtime=0.08 cores=1,3,5,7
/proc/18659/task/18663/stat : 18663 (java) S 18657 18657 14062 0 -1 1077944384 679 0 0 0 7 1 0 0 20 0 19 0 408011104 15790571520 101494 33554432000 4194304 4196468 140734854535696 140235783760912 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18664] ppid=18657 vsize=15420480 memory=2 CPUtime=0.06 cores=1,3,5,7
/proc/18659/task/18664/stat : 18664 (java) S 18657 18657 14062 0 -1 1077944384 324 0 0 0 5 1 0 0 20 0 19 0 408011104 15790571520 101494 33554432000 4194304 4196468 140734854535696 140235418819728 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18665] ppid=18657 vsize=15420480 memory=1178 CPUtime=0.01 cores=1,3,5,7
/proc/18659/task/18665/stat : 18665 (java) S 18657 18657 14062 0 -1 1077944384 652 0 0 0 1 0 0 0 20 0 19 0 408011105 15790571520 101494 33554432000 4194304 4196468 140734854535696 140235297847280 140235829324418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 27 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18666] ppid=18657 vsize=15420480 memory=252 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18666/stat : 18666 (java) S 18657 18657 14062 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 408011105 15790571520 101494 33554432000 4194304 4196468 140734854535696 140235296793568 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18667] ppid=18657 vsize=15420480 memory=273 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18667/stat : 18667 (java) S 18657 18657 14062 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 408011106 15790571520 101494 33554432000 4194304 4196468 140734854535696 140235295740928 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18668] ppid=18657 vsize=15420480 memory=244988 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18668/stat : 18668 (java) S 18657 18657 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408011108 15790571520 101494 33554432000 4194304 4196468 140734854535696 140235294689488 140235829331867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18669] ppid=18657 vsize=15420480 memory=1 CPUtime=3.9 cores=1,3,5,7
/proc/18659/task/18669/stat : 18669 (java) S 18657 18657 14062 0 -1 1077944384 12568 0 0 0 389 1 0 0 20 0 19 0 408011108 15790571520 101494 33554432000 4194304 4196468 140734854535696 140235293637104 140235829324418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18670] ppid=18657 vsize=15420480 memory=8852 CPUtime=3.65 cores=1,3,5,7
/proc/18659/task/18670/stat : 18670 (java) S 18657 18657 14062 0 -1 1077944384 7261 0 0 0 364 1 0 0 20 0 19 0 408011108 15790571520 101494 33554432000 4194304 4196468 140734854535696 140235292584560 140235829324418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18671] ppid=18657 vsize=15420480 memory=12024 CPUtime=1.06 cores=1,3,5,7
/proc/18659/task/18671/stat : 18671 (java) S 18657 18657 14062 0 -1 1077944384 5122 0 0 0 104 2 0 0 20 0 19 0 408011108 15790571520 101494 33554432000 4194304 4196468 140734854535696 140235291532016 140235829324418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18672] ppid=18657 vsize=15420480 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18672/stat : 18672 (java) S 18657 18657 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408011108 15790571520 101494 33554432000 4194304 4196468 140734854535696 140235290479712 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18673] ppid=18657 vsize=15420480 memory=500 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18673/stat : 18673 (java) S 18657 18657 14062 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 19 0 408011108 15790571520 101494 33554432000 4194304 4196468 140734854535696 140235289426224 140235829324418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
Current children cumulated CPU time: 30.64 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 407428 KiB
[startup+8.90828 s]
/proc/loadavg: 7.87 7.97 8.09 12/233 18737
/proc/meminfo: memFree=17967496/32770624 swapFree=66996244/67108860
[pid=18657] ppid=18654 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/18657/stat : 18657 (xcsp3-exec) S 18654 18657 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 408011102 115843072 363 33554432000 4194304 5098028 140725782595696 140725782593800 140313988268668 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 20672512 140725782602618 140725782602861 140725782602861 140725782605770 0
/proc/18657/statm: 28282 363 304 221 0 87 0
[pid=18659] ppid=18657 vsize=15420480 memory=405992 CPUtime=30.84 cores=1,3,5,7
/proc/18659/stat : 18659 (java) S 18657 18657 14062 0 -1 1077944320 44529 0 0 0 3062 22 0 0 20 0 19 0 408011102 15790571520 101498 33554432000 4194304 4196468 140734854535696 140734854518240 140235829313271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
/proc/18659/statm: 3855120 101498 3541 1 0 3816222 0
[pid=18659/tid=18660] ppid=18657 vsize=15420480 memory=405976 CPUtime=1.51 cores=1,3,5,7
/proc/18659/task/18660/stat : 18660 (java) S 18657 18657 14062 0 -1 1077944384 11537 0 0 0 146 5 0 0 20 0 19 0 408011103 15790571520 101498 33554432000 4194304 4196468 140734854535696 140235833554048 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18661] ppid=18657 vsize=15420480 memory=1452 CPUtime=0.06 cores=1,3,5,7
/proc/18659/task/18661/stat : 18661 (java) S 18657 18657 14062 0 -1 1077944384 1388 0 0 0 5 1 0 0 20 0 19 0 408011104 15790571520 101498 33554432000 4194304 4196468 140734854535696 140235785866000 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18662] ppid=18657 vsize=15420480 memory=4 CPUtime=0.06 cores=1,3,5,7
/proc/18659/task/18662/stat : 18662 (java) S 18657 18657 14062 0 -1 1077944384 543 0 0 0 5 1 0 0 20 0 19 0 408011104 15790571520 101498 33554432000 4194304 4196468 140734854535696 140235784813456 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18663] ppid=18657 vsize=15420480 memory=6 CPUtime=0.08 cores=1,3,5,7
/proc/18659/task/18663/stat : 18663 (java) S 18657 18657 14062 0 -1 1077944384 679 0 0 0 7 1 0 0 20 0 19 0 408011104 15790571520 101498 33554432000 4194304 4196468 140734854535696 140235783760912 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18664] ppid=18657 vsize=15420480 memory=3624 CPUtime=0.06 cores=1,3,5,7
/proc/18659/task/18664/stat : 18664 (java) S 18657 18657 14062 0 -1 1077944384 324 0 0 0 5 1 0 0 20 0 19 0 408011104 15790571520 101498 33554432000 4194304 4196468 140734854535696 140235418819728 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18665] ppid=18657 vsize=15420480 memory=22980 CPUtime=0.01 cores=1,3,5,7
/proc/18659/task/18665/stat : 18665 (java) S 18657 18657 14062 0 -1 1077944384 654 0 0 0 1 0 0 0 20 0 19 0 408011105 15790571520 101498 33554432000 4194304 4196468 140734854535696 140235297847280 140235829324418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18666] ppid=18657 vsize=15420480 memory=281007631108896 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18666/stat : 18666 (java) S 18657 18657 14062 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 408011105 15790571520 101498 33554432000 4194304 4196468 140734854535696 140235296793568 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18667] ppid=18657 vsize=15420480 memory=7234303152781525078 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18667/stat : 18667 (java) S 18657 18657 14062 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 408011106 15790571520 101498 33554432000 4194304 4196468 140734854535696 140235295740928 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18668] ppid=18657 vsize=15420480 memory=281007630897792 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18668/stat : 18668 (java) S 18657 18657 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408011108 15790571520 101498 33554432000 4194304 4196468 140734854535696 140235294689488 140235829331867 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18669] ppid=18657 vsize=15420480 memory=0 CPUtime=3.9 cores=1,3,5,7
/proc/18659/task/18669/stat : 18669 (java) S 18657 18657 14062 0 -1 1077944384 12568 0 0 0 389 1 0 0 20 0 19 0 408011108 15790571520 101498 33554432000 4194304 4196468 140734854535696 140235293637104 140235829324418 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18670] ppid=18657 vsize=15420480 memory=0 CPUtime=3.65 cores=1,3,5,7
/proc/18659/task/18670/stat : 18670 (java) S 18657 18657 14062 0 -1 1077944384 7262 0 0 0 364 1 0 0 20 0 19 0 408011108 15790571520 101498 33554432000 4194304 4196468 140734854535696 140235292584560 140235829324418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18671] ppid=18657 vsize=15420480 memory=1452 CPUtime=1.06 cores=1,3,5,7
/proc/18659/task/18671/stat : 18671 (java) S 18657 18657 14062 0 -1 1077944384 5194 0 0 0 104 2 0 0 20 0 19 0 408011108 15790571520 101498 33554432000 4194304 4196468 140734854535696 140235291532016 140235829324418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18672] ppid=18657 vsize=15420480 memory=376280 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18672/stat : 18672 (java) S 18657 18657 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408011108 15790571520 101498 33554432000 4194304 4196468 140734854535696 140235290479712 140235829323477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
[pid=18659/tid=18673] ppid=18657 vsize=15420480 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/18659/task/18673/stat : 18673 (java) S 18657 18657 14062 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 19 0 408011108 15790571520 101498 33554432000 4194304 4196468 140734854535696 140235289426224 140235829324418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 28237824 140734854538223 140734854538394 140734854538394 140734854541263 0
Current children cumulated CPU time: 30.84 s
Current children cumulated vsize: 15533608 KiB
Current children cumulated memory: 407444 KiB
Child status: 0
Real time (s): 9.00284
CPU time (s): 31.1796
CPU user time (s): 30.9533
CPU system time (s): 0.226278
CPU usage (%): 346.331
Max. virtual memory (cumulated for all children) (KiB): 15533608
Max. memory (cumulated for all children) (KiB): 407676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.9533
system time used= 0.226278
maximum resident set size= 406756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45831
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= 3407
involuntary context switches= 1079
# summary of solver processes directly reported to runsolver:
# pid: 18657
# total CPU time (s): 31.1796
# total CPU user time (s): 30.9533
# total CPU system time (s): 0.226278
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.08575 second user time and 0.135172 second system time
The end
Begin job on node106 at 2019-09-12 20:44:47 IDJOB=4393359 IDBENCH=126803 IDSOLVER=2840 FILE ID=node106/4393359-1568317564 RUNJOBID= node106-1568309633-14094 PBS_JOBID= 21701134 Free space on /tmp= 56704 MiB SOLVER NAME= choco-solver 2019-06-14 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-4393359-1568317564/watcher-4393359-1568317564 -o /tmp/evaluation-result-4393359-1568317564/solver-4393359-1568317564 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14094 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1211849347 HOME/instance-4393359-1568317564.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 305bfce3403e7be8ea8343edd9c7d9a7 RANDOM SEED=1211849347 node106.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.79 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.79 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.79 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.79 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: 18360856 kB MemAvailable: 19427592 kB Buffers: 126376 kB Cached: 1236544 kB SwapCached: 10248 kB Active: 12867572 kB Inactive: 983020 kB Active(anon): 12486672 kB Inactive(anon): 33360 kB Active(file): 380900 kB Inactive(file): 949660 kB Unevictable: 107784 kB Mlocked: 107784 kB SwapTotal: 67108860 kB SwapFree: 66996244 kB Dirty: 26172 kB Writeback: 0 kB AnonPages: 12644960 kB Mapped: 48668 kB Shmem: 23872 kB Slab: 132780 kB SReclaimable: 104024 kB SUnreclaim: 28756 kB KernelStack: 4000 kB PageTables: 30252 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 13308844 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 11700224 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 56680 MiB End job on node106 at 2019-09-12 20:44:56