Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-09-16 parallel | OPT | 3 | 39.443 | 6.76307 |
| Name | OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-30-30-1.xml |
| MD5SUM | 67a2d403e3bfd604d92484151c447548 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 21.818 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2760 |
| Number of constraints | 2731 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 31 |
| Distribution of domain sizes | [{"size":2,"count":1800},{"size":3,"count":900},{"size":30,"count":30},{"size":31,"count":30}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 31 |
| Distribution of variable degrees | [{"degree":2,"count":960},{"degree":3,"count":1770},{"degree":31,"count":30}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 31 |
| Distribution of constraint arities | [{"arity":2,"count":930},{"arity":3,"count":1770},{"arity":30,"count":1},{"arity":31,"count":30}] |
| Number of extensional constraints | 900 |
| Number of intensional constraints | 900 |
| Distribution of constraint types | [{"type":"extension","count":900},{"type":"intension","count":900},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"element","count":900}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400223-1568720270.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400223-1568720270.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 6.71/1.88 c solve instance... 8.66/2.19 o 19 9.87/2.33 o 18 10.85/2.59 o 17 11.29/2.63 o 16 11.29/2.65 o 15 11.82/2.71 o 14 12.31/2.89 o 13 14.28/3.14 o 12 14.93/3.23 o 11 15.73/3.41 o 10 15.73/3.46 o 9 25.87/4.75 o 7 27.03/4.96 o 6 27.03/5.01 o 5 37.76/6.42 o 4 38.29/6.60 o 3 39.06/6.74 s OPTIMUM FOUND 39.06/6.74 v <instantiation> 39.06/6.74 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> 39.06/6.75 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> 39.06/6.75 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 (14530 MiB free)
memory of node 1: 16384 MiB (14111 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400223-1568720270/watcher-4400223-1568720270 -o /tmp/evaluation-result-4400223-1568720270/solver-4400223-1568720270 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568711035-16420 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1522096785 HOME/instance-4400223-1568720270.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=22870, runsolver pid=22867
Current StackSize limit: 8192 KiB
[startup+0.100135 s]*
/proc/loadavg: 7.78 8.04 8.06 3/211 22891
/proc/meminfo: memFree=29312992/32770624 swapFree=66939908/67108860
[pid=22870] ppid=22867 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/22870/stat : 22870 (xcsp3-exec) S 22867 22870 16393 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447941883 115843072 363 33554432000 4194304 5098028 140735904705088 140735904703192 140298164220540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25157632 140735904707451 140735904707694 140735904707694 140735904710602 0
/proc/22870/statm: 28282 363 304 221 0 87 0
[pid=22872] ppid=22870 vsize=28227396 memory=29332 CPUtime=0.12 cores=0-7
/proc/22872/stat : 22872 (java) S 22870 22870 16393 0 -1 1077944320 5735 0 0 0 11 1 0 0 20 0 20 0 447941884 28904853504 7333 33554432000 4194304 4196468 140722923834832 140722923817376 140037938933495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
/proc/22872/statm: 7056849 7333 3152 1 0 7019032 0
[pid=22872/tid=22873] ppid=22870 vsize=28227396 memory=8317482817917895235 CPUtime=0.09 cores=0-7
/proc/22872/task/22873/stat : 22873 (java) R 22870 22870 16393 0 -1 4202560 3653 0 0 0 8 1 0 0 20 0 20 0 447941884 28904853504 7333 33554432000 4194304 4196468 140722923834832 140037943168720 140037938945430 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22874] ppid=22870 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/22872/task/22874/stat : 22874 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447941885 28904853504 7333 33554432000 4194304 4196468 140722923834832 140037891554448 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22875] ppid=22870 vsize=28227396 memory=140460241241728 CPUtime=0 cores=0-7
/proc/22872/task/22875/stat : 22875 (java) S 22870 22870 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447941885 28904853504 7333 33554432000 4194304 4196468 140722923834832 140037890501648 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22876] ppid=22870 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22876/stat : 22876 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447941885 28904853504 7333 33554432000 4194304 4196468 140722923834832 140037889448848 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22877] ppid=22870 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22877/stat : 22877 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447941885 28904853504 7333 33554432000 4194304 4196468 140722923834832 140037888396048 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22878] ppid=22870 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22878/stat : 22878 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447941885 28904853504 7333 33554432000 4194304 4196468 140722923834832 140037887343248 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22879] ppid=22870 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/22872/task/22879/stat : 22879 (java) S 22870 22870 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447941885 28904853504 7333 33554432000 4194304 4196468 140722923834832 140037886290448 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22880] ppid=22870 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22880/stat : 22880 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447941885 28904853504 7333 33554432000 4194304 4196468 140722923834832 140037885237648 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22881] ppid=22870 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22881/stat : 22881 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447941885 28904853504 7333 33554432000 4194304 4196468 140722923834832 140037884184848 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22882] ppid=22870 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22882/stat : 22882 (java) S 22870 22870 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447941886 28904853504 7333 33554432000 4194304 4196468 140722923834832 140036536265584 140037938944642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22883] ppid=22870 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22883/stat : 22883 (java) S 22870 22870 16393 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447941887 28904853504 7333 33554432000 4194304 4196468 140722923834832 140036535211552 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22884] ppid=22870 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22884/stat : 22884 (java) S 22870 22870 16393 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447941887 28904853504 7333 33554432000 4194304 4196468 140722923834832 140036534158704 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22885] ppid=22870 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22885/stat : 22885 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447941889 28904853504 7333 33554432000 4194304 4196468 140722923834832 140036533107024 140037938952091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22886] ppid=22870 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22886/stat : 22886 (java) S 22870 22870 16393 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 20 0 447941889 28904853504 7333 33554432000 4194304 4196468 140722923834832 140036532054384 140037938944642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22887] ppid=22870 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22887/stat : 22887 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447941889 28904853504 7333 33554432000 4194304 4196468 140722923834832 140036531001584 140037938944642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22888] ppid=22870 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22888/stat : 22888 (java) S 22870 22870 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447941889 28904853504 7333 33554432000 4194304 4196468 140722923834832 140036529948784 140037938944642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22889] ppid=22870 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/22872/task/22889/stat : 22889 (java) R 22870 22870 16393 0 -1 4202560 353 0 0 0 1 0 0 0 20 0 20 0 447941889 28904853504 7333 33554432000 4194304 4196468 140722923834832 140036528895984 140037938945430 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22890] ppid=22870 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22890/stat : 22890 (java) S 22870 22870 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447941890 28904853504 7333 33554432000 4194304 4196468 140722923834832 140036527844448 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22891] ppid=22870 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/22872/task/22891/stat : 22891 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447941890 28904853504 7333 33554432000 4194304 4196468 140722923834832 140036526791728 140037938944642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30784 KiB
[startup+0.210467 s]*
/proc/loadavg: 7.78 8.04 8.06 3/211 22891
/proc/meminfo: memFree=29299492/32770624 swapFree=66939908/67108860
[pid=22870] ppid=22867 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/22870/stat : 22870 (xcsp3-exec) S 22867 22870 16393 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447941883 115843072 363 33554432000 4194304 5098028 140735904705088 140735904703192 140298164220540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25157632 140735904707451 140735904707694 140735904707694 140735904710602 0
/proc/22870/statm: 28282 363 304 221 0 87 0
[pid=22872] ppid=22870 vsize=28227396 memory=40896 CPUtime=0.34 cores=0-7
/proc/22872/stat : 22872 (java) S 22870 22870 16393 0 -1 1077944320 9487 0 0 0 31 3 0 0 20 0 20 0 447941884 28904853504 10224 33554432000 4194304 4196468 140722923834832 140722923817376 140037938933495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
/proc/22872/statm: 7056849 10224 3298 1 0 7019032 0
[pid=22872/tid=22873] ppid=22870 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/22872/task/22873/stat : 22873 (java) R 22870 22870 16393 0 -1 4202560 6650 0 0 0 18 2 0 0 20 0 20 0 447941884 28904853504 10224 33554432000 4194304 4196468 140722923834832 140037943171808 140037938945430 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22874] ppid=22870 vsize=28227396 memory=342 CPUtime=0 cores=0-7
/proc/22872/task/22874/stat : 22874 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447941885 28904853504 10224 33554432000 4194304 4196468 140722923834832 140037891554448 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22875] ppid=22870 vsize=28227396 memory=4049220909432358560 CPUtime=0 cores=0-7
/proc/22872/task/22875/stat : 22875 (java) S 22870 22870 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447941885 28904853504 10224 33554432000 4194304 4196468 140722923834832 140037890501648 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22876] ppid=22870 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/22872/task/22876/stat : 22876 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447941885 28904853504 10224 33554432000 4194304 4196468 140722923834832 140037889448848 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22877] ppid=22870 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22877/stat : 22877 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447941885 28904853504 10224 33554432000 4194304 4196468 140722923834832 140037888396048 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22878] ppid=22870 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22878/stat : 22878 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447941885 28904853504 10224 33554432000 4194304 4196468 140722923834832 140037887343248 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22879] ppid=22870 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/22872/task/22879/stat : 22879 (java) S 22870 22870 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447941885 28904853504 10224 33554432000 4194304 4196468 140722923834832 140037886290448 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22880] ppid=22870 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22880/stat : 22880 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447941885 28904853504 10224 33554432000 4194304 4196468 140722923834832 140037885237648 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22881] ppid=22870 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22881/stat : 22881 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447941885 28904853504 10224 33554432000 4194304 4196468 140722923834832 140037884184848 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22882] ppid=22870 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22882/stat : 22882 (java) S 22870 22870 16393 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447941886 28904853504 10224 33554432000 4194304 4196468 140722923834832 140036536265584 140037938944642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22883] ppid=22870 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22883/stat : 22883 (java) S 22870 22870 16393 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447941887 28904853504 10224 33554432000 4194304 4196468 140722923834832 140036535211552 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22884] ppid=22870 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22884/stat : 22884 (java) S 22870 22870 16393 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447941887 28904853504 10224 33554432000 4194304 4196468 140722923834832 140036534158704 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22885] ppid=22870 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22885/stat : 22885 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447941889 28904853504 10224 33554432000 4194304 4196468 140722923834832 140036533107024 140037938952091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22886] ppid=22870 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/22872/task/22886/stat : 22886 (java) S 22870 22870 16393 0 -1 1077944384 577 0 0 0 1 0 0 0 20 0 20 0 447941889 28904853504 10224 33554432000 4194304 4196468 140722923834832 140036532054384 140037938944642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22887] ppid=22870 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/22872/task/22887/stat : 22887 (java) S 22870 22870 16393 0 -1 1077944384 103 0 0 0 1 0 0 0 20 0 20 0 447941889 28904853504 10224 33554432000 4194304 4196468 140722923834832 140036531001584 140037938944642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22888] ppid=22870 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/22872/task/22888/stat : 22888 (java) S 22870 22870 16393 0 -1 1077944384 80 0 0 0 1 0 0 0 20 0 20 0 447941889 28904853504 10224 33554432000 4194304 4196468 140722923834832 140036529948784 140037938944642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22889] ppid=22870 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/22872/task/22889/stat : 22889 (java) S 22870 22870 16393 0 -1 1077944384 768 0 0 0 8 0 0 0 20 0 20 0 447941889 28904853504 10224 33554432000 4194304 4196468 140722923834832 140036528895984 140037938944642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22890] ppid=22870 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22890/stat : 22890 (java) S 22870 22870 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447941890 28904853504 10224 33554432000 4194304 4196468 140722923834832 140036527844448 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22891] ppid=22870 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/22872/task/22891/stat : 22891 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447941890 28904853504 10224 33554432000 4194304 4196468 140722923834832 140036526791728 140037938944642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42348 KiB
[startup+0.310414 s]*
/proc/loadavg: 7.78 8.04 8.06 4/211 22891
/proc/meminfo: memFree=29291848/32770624 swapFree=66939908/67108860
[pid=22870] ppid=22867 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/22870/stat : 22870 (xcsp3-exec) S 22867 22870 16393 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447941883 115843072 363 33554432000 4194304 5098028 140735904705088 140735904703192 140298164220540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25157632 140735904707451 140735904707694 140735904707694 140735904710602 0
/proc/22870/statm: 28282 363 304 221 0 87 0
[pid=22872] ppid=22870 vsize=28231652 memory=50072 CPUtime=0.52 cores=0-7
/proc/22872/stat : 22872 (java) S 22870 22870 16393 0 -1 1077944320 10928 0 0 0 48 4 0 0 20 0 20 0 447941884 28909211648 12518 33554432000 4194304 4196468 140722923834832 140722923817376 140037938933495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
/proc/22872/statm: 7057913 12518 3350 1 0 7019032 0
[pid=22872/tid=22873] ppid=22870 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/22872/task/22873/stat : 22873 (java) R 22870 22870 16393 0 -1 4202560 7828 0 0 0 27 3 0 0 20 0 20 0 447941884 28909211648 12518 33554432000 4194304 4196468 140722923834832 140037943167280 140037938957085 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22874] ppid=22870 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22874/stat : 22874 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447941885 28909211648 12518 33554432000 4194304 4196468 140722923834832 140037891554448 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22875] ppid=22870 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22875/stat : 22875 (java) S 22870 22870 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447941885 28909211648 12518 33554432000 4194304 4196468 140722923834832 140037890501648 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22876] ppid=22870 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22876/stat : 22876 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447941885 28909211648 12518 33554432000 4194304 4196468 140722923834832 140037889448848 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22877] ppid=22870 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22877/stat : 22877 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447941885 28909211648 12518 33554432000 4194304 4196468 140722923834832 140037888396048 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22878] ppid=22870 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22878/stat : 22878 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447941885 28909211648 12518 33554432000 4194304 4196468 140722923834832 140037887343248 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22879] ppid=22870 vsize=28231652 memory=140460127513263 CPUtime=0 cores=0-7
/proc/22872/task/22879/stat : 22879 (java) S 22870 22870 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447941885 28909211648 12518 33554432000 4194304 4196468 140722923834832 140037886290448 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22880] ppid=22870 vsize=28231652 memory=140460127515568 CPUtime=0 cores=0-7
/proc/22872/task/22880/stat : 22880 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447941885 28909211648 12518 33554432000 4194304 4196468 140722923834832 140037885237648 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22881] ppid=22870 vsize=28231652 memory=140460127517872 CPUtime=0 cores=0-7
/proc/22872/task/22881/stat : 22881 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447941885 28909211648 12518 33554432000 4194304 4196468 140722923834832 140037884184848 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22882] ppid=22870 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22882/stat : 22882 (java) S 22870 22870 16393 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447941886 28909211648 12518 33554432000 4194304 4196468 140722923834832 140036536265584 140037938944642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22883] ppid=22870 vsize=28231652 memory=280920255049616 CPUtime=0 cores=0-7
/proc/22872/task/22883/stat : 22883 (java) S 22870 22870 16393 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447941887 28909211648 12518 33554432000 4194304 4196468 140722923834832 140036535211552 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22884] ppid=22870 vsize=28231652 memory=280920255047312 CPUtime=0 cores=0-7
/proc/22872/task/22884/stat : 22884 (java) S 22870 22870 16393 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447941887 28909211648 12518 33554432000 4194304 4196468 140722923834832 140036534158704 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22885] ppid=22870 vsize=28231652 memory=280920255054224 CPUtime=0 cores=0-7
/proc/22872/task/22885/stat : 22885 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447941889 28909211648 12518 33554432000 4194304 4196468 140722923834832 140036533107024 140037938952091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22886] ppid=22870 vsize=28231652 memory=280920254995504 CPUtime=0.03 cores=0-7
/proc/22872/task/22886/stat : 22886 (java) R 22870 22870 16393 0 -1 4202560 703 0 0 0 3 0 0 0 20 0 20 0 447941889 28909211648 12518 33554432000 4194304 4196468 140722923834832 140036532052784 140037916194752 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22887] ppid=22870 vsize=28231652 memory=280920255068048 CPUtime=0.02 cores=0-7
/proc/22872/task/22887/stat : 22887 (java) S 22870 22870 16393 0 -1 1077944384 113 0 0 0 2 0 0 0 20 0 20 0 447941889 28909211648 12518 33554432000 4194304 4196468 140722923834832 140036531001584 140037938944642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22888] ppid=22870 vsize=28231652 memory=280920255074960 CPUtime=0.02 cores=0-7
/proc/22872/task/22888/stat : 22888 (java) S 22870 22870 16393 0 -1 1077944384 114 0 0 0 2 0 0 0 20 0 20 0 447941889 28909211648 12583 33554432000 4194304 4196468 140722923834832 140036529948784 140037938944642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22889] ppid=22870 vsize=28231652 memory=280920255072656 CPUtime=0.12 cores=0-7
/proc/22872/task/22889/stat : 22889 (java) S 22870 22870 16393 0 -1 1077944384 870 0 0 0 12 0 0 0 20 0 20 0 447941889 28909211648 12583 33554432000 4194304 4196468 140722923834832 140036528895984 140037938944642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22890] ppid=22870 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22890/stat : 22890 (java) S 22870 22870 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447941890 28909211648 12583 33554432000 4194304 4196468 140722923834832 140036527844448 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22891] ppid=22870 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/22872/task/22891/stat : 22891 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447941890 28909211648 12583 33554432000 4194304 4196468 140722923834832 140036526791728 140037938944642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51524 KiB
[startup+0.700943 s]
/proc/loadavg: 7.78 8.04 8.06 5/211 22891
/proc/meminfo: memFree=29268284/32770624 swapFree=66939908/67108860
[pid=22870] ppid=22867 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/22870/stat : 22870 (xcsp3-exec) S 22867 22870 16393 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447941883 115843072 363 33554432000 4194304 5098028 140735904705088 140735904703192 140298164220540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25157632 140735904707451 140735904707694 140735904707694 140735904710602 0
/proc/22870/statm: 28282 363 304 221 0 87 0
[pid=22872] ppid=22870 vsize=28233776 memory=108144 CPUtime=1.97 cores=0-7
/proc/22872/stat : 22872 (java) S 22870 22870 16393 0 -1 1077944320 16476 0 0 0 191 6 0 0 20 0 20 0 447941884 28911386624 27036 33554432000 4194304 4196468 140722923834832 140722923817376 140037938933495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
/proc/22872/statm: 7058444 27036 3451 1 0 7019544 0
[pid=22872/tid=22873] ppid=22870 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/22872/task/22873/stat : 22873 (java) R 22870 22870 16393 0 -1 4202560 8995 0 0 0 64 4 0 0 20 0 20 0 447941884 28911386624 27036 33554432000 4194304 4196468 140722923834832 140037943169200 140037560089184 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22874] ppid=22870 vsize=28233776 memory=140460127724400 CPUtime=0 cores=0-7
/proc/22872/task/22874/stat : 22874 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447941885 28911386624 27036 33554432000 4194304 4196468 140722923834832 140037891554448 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22875] ppid=22870 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22875/stat : 22875 (java) S 22870 22870 16393 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447941885 28911386624 27036 33554432000 4194304 4196468 140722923834832 140037890501648 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22876] ppid=22870 vsize=28233776 memory=1256 CPUtime=0 cores=0-7
/proc/22872/task/22876/stat : 22876 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447941885 28911386624 27036 33554432000 4194304 4196468 140722923834832 140037889448848 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
################
# More data... #
################
[pid=22872/tid=22873] ppid=22870 vsize=28768336 memory=7596275574673527403 CPUtime=1.89 cores=0-7
/proc/22872/task/22873/stat : 22873 (java) S 22870 22870 16393 0 -1 1077944384 10898 0 0 0 183 6 0 0 20 0 28 0 447941884 29458776064 110690 33554432000 4194304 4196468 140722923834832 140037943174272 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22874] ppid=22870 vsize=28768336 memory=7229210133104255568 CPUtime=0.07 cores=0-7
/proc/22872/task/22874/stat : 22874 (java) S 22870 22870 16393 0 -1 1077944384 225 0 0 0 6 1 0 0 20 0 28 0 447941885 29458776064 110690 33554432000 4194304 4196468 140722923834832 140037891554448 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22875] ppid=22870 vsize=28768336 memory=0 CPUtime=0.07 cores=0-7
/proc/22872/task/22875/stat : 22875 (java) S 22870 22870 16393 0 -1 1077944384 169 0 0 0 5 2 0 0 20 0 28 0 447941885 29458776064 110690 33554432000 4194304 4196468 140722923834832 140037890501648 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22876] ppid=22870 vsize=28768336 memory=0 CPUtime=0.06 cores=0-7
/proc/22872/task/22876/stat : 22876 (java) S 22870 22870 16393 0 -1 1077944384 182 0 0 0 5 1 0 0 20 0 28 0 447941885 29458776064 110690 33554432000 4194304 4196468 140722923834832 140037889448848 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22877] ppid=22870 vsize=28768336 memory=0 CPUtime=0.06 cores=0-7
/proc/22872/task/22877/stat : 22877 (java) S 22870 22870 16393 0 -1 1077944384 144 0 0 0 5 1 0 0 20 0 28 0 447941885 29458776064 110690 33554432000 4194304 4196468 140722923834832 140037888396048 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22878] ppid=22870 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7
/proc/22872/task/22878/stat : 22878 (java) S 22870 22870 16393 0 -1 1077944384 186 0 0 0 7 1 0 0 20 0 28 0 447941885 29458776064 110690 33554432000 4194304 4196468 140722923834832 140037887343248 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22879] ppid=22870 vsize=28768336 memory=0 CPUtime=0.07 cores=0-7
/proc/22872/task/22879/stat : 22879 (java) S 22870 22870 16393 0 -1 1077944384 152 0 0 0 6 1 0 0 20 0 28 0 447941885 29458776064 110690 33554432000 4194304 4196468 140722923834832 140037886290448 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22880] ppid=22870 vsize=28768336 memory=1 CPUtime=0.06 cores=0-7
/proc/22872/task/22880/stat : 22880 (java) S 22870 22870 16393 0 -1 1077944384 115 0 0 0 5 1 0 0 20 0 28 0 447941885 29458776064 110690 33554432000 4194304 4196468 140722923834832 140037885237648 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22881] ppid=22870 vsize=28768336 memory=0 CPUtime=0.05 cores=0-7
/proc/22872/task/22881/stat : 22881 (java) S 22870 22870 16393 0 -1 1077944384 146 0 0 0 4 1 0 0 20 0 28 0 447941885 29458776064 110690 33554432000 4194304 4196468 140722923834832 140037884184848 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22882] ppid=22870 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/22872/task/22882/stat : 22882 (java) S 22870 22870 16393 0 -1 1077944384 441 0 0 0 1 0 0 0 20 0 28 0 447941886 29458776064 110690 33554432000 4194304 4196468 140722923834832 140036536265584 140037938944642 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22883] ppid=22870 vsize=28768336 memory=280920255596128 CPUtime=0 cores=0-7
/proc/22872/task/22883/stat : 22883 (java) S 22870 22870 16393 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 447941887 29458776064 110690 33554432000 4194304 4196468 140722923834832 140036535211616 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22884] ppid=22870 vsize=28768336 memory=1414351094373861289 CPUtime=0 cores=0-7
/proc/22872/task/22884/stat : 22884 (java) S 22870 22870 16393 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 447941887 29458776064 110690 33554432000 4194304 4196468 140722923834832 140036534158720 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22885] ppid=22870 vsize=28768336 memory=8187704045996132563 CPUtime=0 cores=0-7
/proc/22872/task/22885/stat : 22885 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447941889 29458776064 110690 33554432000 4194304 4196468 140722923834832 140036533107024 140037938952091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22886] ppid=22870 vsize=28768336 memory=8292088525465231505 CPUtime=3.48 cores=0-7
/proc/22872/task/22886/stat : 22886 (java) S 22870 22870 16393 0 -1 1077944384 6169 0 0 0 347 1 0 0 20 0 28 0 447941889 29458776064 110690 33554432000 4194304 4196468 140722923834832 140036532054384 140037938944642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22887] ppid=22870 vsize=28768336 memory=7679937479730885434 CPUtime=3.51 cores=0-7
/proc/22872/task/22887/stat : 22887 (java) S 22870 22870 16393 0 -1 1077944384 6059 0 0 0 349 2 0 0 20 0 28 0 447941889 29458776064 110690 33554432000 4194304 4196468 140722923834832 140036531001584 140037938944642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22888] ppid=22870 vsize=28768336 memory=-7029379521808015264 CPUtime=3.55 cores=0-7
/proc/22872/task/22888/stat : 22888 (java) S 22870 22870 16393 0 -1 1077944384 10728 0 0 0 353 2 0 0 20 0 28 0 447941889 29458776064 110690 33554432000 4194304 4196468 140722923834832 140036529948784 140037938944642 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22889] ppid=22870 vsize=28768336 memory=-7606742959547834223 CPUtime=1.06 cores=0-7
/proc/22872/task/22889/stat : 22889 (java) S 22870 22870 16393 0 -1 1077944384 5919 0 0 0 104 2 0 0 20 0 28 0 447941889 29458776064 110690 33554432000 4194304 4196468 140722923834832 140036528895984 140037938944642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22890] ppid=22870 vsize=28768336 memory=7007112401514140524 CPUtime=0 cores=0-7
/proc/22872/task/22890/stat : 22890 (java) S 22870 22870 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447941890 29458776064 110690 33554432000 4194304 4196468 140722923834832 140036527844448 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22891] ppid=22870 vsize=28768336 memory=7809358381220653586 CPUtime=0 cores=0-7
/proc/22872/task/22891/stat : 22891 (java) S 22870 22870 16393 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 447941890 29458776064 110690 33554432000 4194304 4196468 140722923834832 140036526791728 140037938944642 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=23004] ppid=22870 vsize=28768336 memory=6947385631855743600 CPUtime=1.28 cores=0-7
/proc/22872/task/23004/stat : 23004 (java) S 22870 22870 16393 0 -1 1077944384 17 0 0 0 128 0 0 0 20 0 28 0 447942385 29458776064 110690 33554432000 4194304 4196468 140722923834832 140036509400944 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=23005] ppid=22870 vsize=28768336 memory=331 CPUtime=1.28 cores=0-7
/proc/22872/task/23005/stat : 23005 (java) S 22870 22870 16393 0 -1 1077944384 18 0 0 0 128 0 0 0 20 0 28 0 447942385 29458776064 110690 33554432000 4194304 4196468 140722923834832 140036513613008 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=23006] ppid=22870 vsize=28768336 memory=12 CPUtime=1.28 cores=0-7
/proc/22872/task/23006/stat : 23006 (java) S 22870 22870 16393 0 -1 1077944384 17 0 0 0 128 0 0 0 20 0 28 0 447942385 29458776064 110690 33554432000 4194304 4196468 140722923834832 140036515718224 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=23007] ppid=22870 vsize=28768336 memory=1503 CPUtime=1.26 cores=0-7
/proc/22872/task/23007/stat : 23007 (java) S 22870 22870 16393 0 -1 1077944384 17 0 0 0 126 0 0 0 20 0 28 0 447942385 29458776064 110690 33554432000 4194304 4196468 140722923834832 140036508349392 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=23008] ppid=22870 vsize=28768336 memory=31108 CPUtime=1.2 cores=0-7
/proc/22872/task/23008/stat : 23008 (java) S 22870 22870 16393 0 -1 1077944384 18 0 0 0 120 0 0 0 20 0 28 0 447942385 29458776064 110690 33554432000 4194304 4196468 140722923834832 140036514665296 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=23009] ppid=22870 vsize=28768336 memory=0 CPUtime=1.28 cores=0-7
/proc/22872/task/23009/stat : 23009 (java) R 22870 22870 16393 0 -1 4202560 17 0 0 0 128 0 0 0 20 0 28 0 447942385 29458776064 110690 33554432000 4194304 4196468 140722923834832 140036512556456 140037569756521 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=23010] ppid=22870 vsize=28768336 memory=0 CPUtime=1.22 cores=0-7
/proc/22872/task/23010/stat : 23010 (java) S 22870 22870 16393 0 -1 1077944384 18 0 0 0 122 0 0 0 20 0 28 0 447942385 29458776064 110690 33554432000 4194304 4196468 140722923834832 140036510455376 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=23011] ppid=22870 vsize=28768336 memory=1 CPUtime=1.26 cores=0-7
/proc/22872/task/23011/stat : 23011 (java) S 22870 22870 16393 0 -1 1077944384 17 0 0 0 124 2 0 0 20 0 28 0 447942385 29458776064 110690 33554432000 4194304 4196468 140722923834832 140036511507920 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
Current children cumulated CPU time: 37.76 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 444212 KiB
[startup+6.60098 s]
/proc/loadavg: 7.48 7.97 8.04 9/219 23011
/proc/meminfo: memFree=28898140/32770624 swapFree=66939908/67108860
[pid=22870] ppid=22867 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/22870/stat : 22870 (xcsp3-exec) S 22867 22870 16393 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447941883 115843072 363 33554432000 4194304 5098028 140735904705088 140735904703192 140298164220540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25157632 140735904707451 140735904707694 140735904707694 140735904710602 0
/proc/22870/statm: 28282 363 304 221 0 87 0
[pid=22872] ppid=22870 vsize=28768336 memory=442780 CPUtime=38.29 cores=0-7
/proc/22872/stat : 22872 (java) S 22870 22870 16393 0 -1 1077944320 45851 0 0 0 3795 34 0 0 20 0 28 0 447941884 29458776064 110695 33554432000 4194304 4196468 140722923834832 140722923817376 140037938933495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
/proc/22872/statm: 7192084 110695 3540 1 0 7153184 0
[pid=22872/tid=22873] ppid=22870 vsize=28768336 memory=0 CPUtime=1.89 cores=0-7
/proc/22872/task/22873/stat : 22873 (java) S 22870 22870 16393 0 -1 1077944384 10899 0 0 0 183 6 0 0 20 0 28 0 447941884 29458776064 110695 33554432000 4194304 4196468 140722923834832 140037943174272 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22874] ppid=22870 vsize=28768336 memory=140460128041328 CPUtime=0.07 cores=0-7
/proc/22872/task/22874/stat : 22874 (java) S 22870 22870 16393 0 -1 1077944384 225 0 0 0 6 1 0 0 20 0 28 0 447941885 29458776064 110695 33554432000 4194304 4196468 140722923834832 140037891554448 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22875] ppid=22870 vsize=28768336 memory=1452 CPUtime=0.07 cores=0-7
/proc/22872/task/22875/stat : 22875 (java) S 22870 22870 16393 0 -1 1077944384 169 0 0 0 5 2 0 0 20 0 28 0 447941885 29458776064 110695 33554432000 4194304 4196468 140722923834832 140037890501648 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22876] ppid=22870 vsize=28768336 memory=238452 CPUtime=0.06 cores=0-7
/proc/22872/task/22876/stat : 22876 (java) S 22870 22870 16393 0 -1 1077944384 182 0 0 0 5 1 0 0 20 0 28 0 447941885 29458776064 110695 33554432000 4194304 4196468 140722923834832 140037889448848 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22877] ppid=22870 vsize=28768336 memory=4639931717578149968 CPUtime=0.06 cores=0-7
/proc/22872/task/22877/stat : 22877 (java) S 22870 22870 16393 0 -1 1077944384 144 0 0 0 5 1 0 0 20 0 28 0 447941885 29458776064 110695 33554432000 4194304 4196468 140722923834832 140037888396048 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22878] ppid=22870 vsize=28768336 memory=7373053875070724434 CPUtime=0.08 cores=0-7
/proc/22872/task/22878/stat : 22878 (java) S 22870 22870 16393 0 -1 1077944384 186 0 0 0 7 1 0 0 20 0 28 0 447941885 29458776064 110695 33554432000 4194304 4196468 140722923834832 140037887343248 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22879] ppid=22870 vsize=28768336 memory=6935649255759568960 CPUtime=0.07 cores=0-7
/proc/22872/task/22879/stat : 22879 (java) S 22870 22870 16393 0 -1 1077944384 152 0 0 0 6 1 0 0 20 0 28 0 447941885 29458776064 110695 33554432000 4194304 4196468 140722923834832 140037886290448 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22880] ppid=22870 vsize=28768336 memory=48532 CPUtime=0.06 cores=0-7
/proc/22872/task/22880/stat : 22880 (java) S 22870 22870 16393 0 -1 1077944384 115 0 0 0 5 1 0 0 20 0 28 0 447941885 29458776064 110695 33554432000 4194304 4196468 140722923834832 140037885237648 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22881] ppid=22870 vsize=28768336 memory=988 CPUtime=0.05 cores=0-7
/proc/22872/task/22881/stat : 22881 (java) S 22870 22870 16393 0 -1 1077944384 146 0 0 0 4 1 0 0 20 0 28 0 447941885 29458776064 110695 33554432000 4194304 4196468 140722923834832 140037884184848 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22882] ppid=22870 vsize=28768336 memory=2008 CPUtime=0.01 cores=0-7
/proc/22872/task/22882/stat : 22882 (java) S 22870 22870 16393 0 -1 1077944384 441 0 0 0 1 0 0 0 20 0 28 0 447941886 29458776064 110695 33554432000 4194304 4196468 140722923834832 140036536265584 140037938944642 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22883] ppid=22870 vsize=28768336 memory=1436 CPUtime=0 cores=0-7
/proc/22872/task/22883/stat : 22883 (java) S 22870 22870 16393 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 447941887 29458776064 110695 33554432000 4194304 4196468 140722923834832 140036535211616 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22884] ppid=22870 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/22872/task/22884/stat : 22884 (java) S 22870 22870 16393 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 447941887 29458776064 110695 33554432000 4194304 4196468 140722923834832 140036534158720 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22885] ppid=22870 vsize=28768336 memory=442760 CPUtime=0 cores=0-7
/proc/22872/task/22885/stat : 22885 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447941889 29458776064 110695 33554432000 4194304 4196468 140722923834832 140036533107024 140037938952091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22886] ppid=22870 vsize=28768336 memory=1728 CPUtime=3.48 cores=0-7
/proc/22872/task/22886/stat : 22886 (java) S 22870 22870 16393 0 -1 1077944384 6169 0 0 0 347 1 0 0 20 0 28 0 447941889 29458776064 110695 33554432000 4194304 4196468 140722923834832 140036532054384 140037938944642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22887] ppid=22870 vsize=28768336 memory=197564200694700 CPUtime=3.51 cores=0-7
/proc/22872/task/22887/stat : 22887 (java) S 22870 22870 16393 0 -1 1077944384 6059 0 0 0 349 2 0 0 20 0 28 0 447941889 29458776064 110695 33554432000 4194304 4196468 140722923834832 140036531001584 140037938944642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22888] ppid=22870 vsize=28768336 memory=7452722275558779497 CPUtime=3.55 cores=0-7
/proc/22872/task/22888/stat : 22888 (java) S 22870 22870 16393 0 -1 1077944384 10728 0 0 0 353 2 0 0 20 0 28 0 447941889 29458776064 110695 33554432000 4194304 4196468 140722923834832 140036529948784 140037938944642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22889] ppid=22870 vsize=28768336 memory=7523376918531162212 CPUtime=1.07 cores=0-7
/proc/22872/task/22889/stat : 22889 (java) S 22870 22870 16393 0 -1 1077944384 5923 0 0 0 105 2 0 0 20 0 28 0 447941889 29458776064 110695 33554432000 4194304 4196468 140722923834832 140036528895984 140037938944642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22890] ppid=22870 vsize=28768336 memory=280920254967880 CPUtime=0 cores=0-7
/proc/22872/task/22890/stat : 22890 (java) S 22870 22870 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447941890 29458776064 110695 33554432000 4194304 4196468 140722923834832 140036527844448 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22891] ppid=22870 vsize=28768336 memory=6944656592455360604 CPUtime=0 cores=0-7
/proc/22872/task/22891/stat : 22891 (java) S 22870 22870 16393 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 447941890 29458776064 110695 33554432000 4194304 4196468 140722923834832 140036526791728 140037938944642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
Current children cumulated CPU time: 38.29 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 444232 KiB
[startup+6.70111 s]
/proc/loadavg: 7.48 7.97 8.04 9/219 23011
/proc/meminfo: memFree=28898140/32770624 swapFree=66939908/67108860
[pid=22870] ppid=22867 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/22870/stat : 22870 (xcsp3-exec) S 22867 22870 16393 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447941883 115843072 363 33554432000 4194304 5098028 140735904705088 140735904703192 140298164220540 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25157632 140735904707451 140735904707694 140735904707694 140735904710602 0
/proc/22870/statm: 28282 363 304 221 0 87 0
[pid=22872] ppid=22870 vsize=28768336 memory=442780 CPUtime=39.06 cores=0-7
/proc/22872/stat : 22872 (java) S 22870 22870 16393 0 -1 1077944320 45991 0 0 0 3872 34 0 0 20 0 28 0 447941884 29458776064 110695 33554432000 4194304 4196468 140722923834832 140722923817376 140037938933495 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
/proc/22872/statm: 7192084 110695 3540 1 0 7153184 0
[pid=22872/tid=22873] ppid=22870 vsize=28768336 memory=56 CPUtime=1.9 cores=0-7
/proc/22872/task/22873/stat : 22873 (java) S 22870 22870 16393 0 -1 1077944384 10899 0 0 0 184 6 0 0 20 0 28 0 447941884 29458776064 110695 33554432000 4194304 4196468 140722923834832 140037943174272 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22874] ppid=22870 vsize=28768336 memory=442760 CPUtime=0.07 cores=0-7
/proc/22872/task/22874/stat : 22874 (java) S 22870 22870 16393 0 -1 1077944384 225 0 0 0 6 1 0 0 20 0 28 0 447941885 29458776064 110695 33554432000 4194304 4196468 140722923834832 140037891554448 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22875] ppid=22870 vsize=28768336 memory=6944656592455097440 CPUtime=0.07 cores=0-7
/proc/22872/task/22875/stat : 22875 (java) S 22870 22870 16393 0 -1 1077944384 169 0 0 0 5 2 0 0 20 0 28 0 447941885 29458776064 110695 33554432000 4194304 4196468 140722923834832 140037890501648 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22876] ppid=22870 vsize=28768336 memory=140460128041345 CPUtime=0.06 cores=0-7
/proc/22872/task/22876/stat : 22876 (java) S 22870 22870 16393 0 -1 1077944384 182 0 0 0 5 1 0 0 20 0 28 0 447941885 29458776064 110695 33554432000 4194304 4196468 140722923834832 140037889448848 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22877] ppid=22870 vsize=28768336 memory=-7812736537705029536 CPUtime=0.06 cores=0-7
/proc/22872/task/22877/stat : 22877 (java) S 22870 22870 16393 0 -1 1077944384 144 0 0 0 5 1 0 0 20 0 28 0 447941885 29458776064 110695 33554432000 4194304 4196468 140722923834832 140037888396048 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22878] ppid=22870 vsize=28768336 memory=140460127483972 CPUtime=0.08 cores=0-7
/proc/22872/task/22878/stat : 22878 (java) S 22870 22870 16393 0 -1 1077944384 186 0 0 0 7 1 0 0 20 0 28 0 447941885 29458776064 110695 33554432000 4194304 4196468 140722923834832 140037887343248 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22879] ppid=22870 vsize=28768336 memory=280920255129056 CPUtime=0.07 cores=0-7
/proc/22872/task/22879/stat : 22879 (java) S 22870 22870 16393 0 -1 1077944384 152 0 0 0 6 1 0 0 20 0 28 0 447941885 29458776064 110695 33554432000 4194304 4196468 140722923834832 140037886290448 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22880] ppid=22870 vsize=28768336 memory=56 CPUtime=0.06 cores=0-7
/proc/22872/task/22880/stat : 22880 (java) S 22870 22870 16393 0 -1 1077944384 115 0 0 0 5 1 0 0 20 0 28 0 447941885 29458776064 110695 33554432000 4194304 4196468 140722923834832 140037885237648 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22881] ppid=22870 vsize=28768336 memory=303711706952247599 CPUtime=0.05 cores=0-7
/proc/22872/task/22881/stat : 22881 (java) S 22870 22870 16393 0 -1 1077944384 146 0 0 0 4 1 0 0 20 0 28 0 447941885 29458776064 110695 33554432000 4194304 4196468 140722923834832 140037884184848 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22882] ppid=22870 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/22872/task/22882/stat : 22882 (java) S 22870 22870 16393 0 -1 1077944384 441 0 0 0 1 0 0 0 20 0 28 0 447941886 29458776064 110695 33554432000 4194304 4196468 140722923834832 140036536265584 140037938944642 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22883] ppid=22870 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/22872/task/22883/stat : 22883 (java) S 22870 22870 16393 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 447941887 29458776064 110695 33554432000 4194304 4196468 140722923834832 140036535211616 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22884] ppid=22870 vsize=28768336 memory=348 CPUtime=0 cores=0-7
/proc/22872/task/22884/stat : 22884 (java) S 22870 22870 16393 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 28 0 447941887 29458776064 110695 33554432000 4194304 4196468 140722923834832 140036534158720 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22885] ppid=22870 vsize=28768336 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/22872/task/22885/stat : 22885 (java) S 22870 22870 16393 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447941889 29458776064 110695 33554432000 4194304 4196468 140722923834832 140036533107024 140037938952091 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22886] ppid=22870 vsize=28768336 memory=0 CPUtime=3.48 cores=0-7
/proc/22872/task/22886/stat : 22886 (java) S 22870 22870 16393 0 -1 1077944384 6169 0 0 0 347 1 0 0 20 0 28 0 447941889 29458776064 110695 33554432000 4194304 4196468 140722923834832 140036532054384 140037938944642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22887] ppid=22870 vsize=28768336 memory=3504 CPUtime=3.51 cores=0-7
/proc/22872/task/22887/stat : 22887 (java) S 22870 22870 16393 0 -1 1077944384 6059 0 0 0 349 2 0 0 20 0 28 0 447941889 29458776064 110695 33554432000 4194304 4196468 140722923834832 140036531001584 140037938944642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22888] ppid=22870 vsize=28768336 memory=288230574492221466 CPUtime=3.55 cores=0-7
/proc/22872/task/22888/stat : 22888 (java) S 22870 22870 16393 0 -1 1077944384 10728 0 0 0 353 2 0 0 20 0 28 0 447941889 29458776064 110695 33554432000 4194304 4196468 140722923834832 140036529948784 140037938944642 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22889] ppid=22870 vsize=28768336 memory=288230596050944315 CPUtime=1.07 cores=0-7
/proc/22872/task/22889/stat : 22889 (java) S 22870 22870 16393 0 -1 1077944384 5923 0 0 0 105 2 0 0 20 0 28 0 447941889 29458776064 110695 33554432000 4194304 4196468 140722923834832 140036528895984 140037938944642 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22890] ppid=22870 vsize=28768336 memory=15815586596793693 CPUtime=0 cores=0-7
/proc/22872/task/22890/stat : 22890 (java) S 22870 22870 16393 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447941890 29458776064 110695 33554432000 4194304 4196468 140722923834832 140036527844448 140037938943701 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
[pid=22872/tid=22891] ppid=22870 vsize=28768336 memory=331 CPUtime=0 cores=0-7
/proc/22872/task/22891/stat : 22891 (java) R 22870 22870 16393 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 447941890 29458776064 110695 33554432000 4194304 4196468 140722923834832 140036526791728 140037938944642 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21803008 140722923836400 140722923836571 140722923836571 140722923839439 0
Current children cumulated CPU time: 39.06 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 444232 KiB
Child status: 0
Real time (s): 6.76307
CPU time (s): 39.443
CPU user time (s): 39.0883
CPU system time (s): 0.354675
CPU usage (%): 583.212
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 450964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.0883
system time used= 0.354675
maximum resident set size= 449648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46620
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5549
involuntary context switches= 856
# summary of solver processes directly reported to runsolver:
# pid: 22870
# total CPU time (s): 39.443
# total CPU user time (s): 39.0883
# total CPU system time (s): 0.354675
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.075868 second user time and 0.112242 second system time
The end
Begin job on node119 at 2019-09-17 13:37:10 IDJOB=4400223 IDBENCH=140491 IDSOLVER=2855 FILE ID=node119/4400223-1568720270 RUNJOBID= node119-1568711035-16420 PBS_JOBID= 21703922 Free space on /tmp= 61344 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-wbop-30-30-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400223-1568720270/watcher-4400223-1568720270 -o /tmp/evaluation-result-4400223-1568720270/solver-4400223-1568720270 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568711035-16420 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1522096785 HOME/instance-4400223-1568720270.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 67a2d403e3bfd604d92484151c447548 RANDOM SEED=1522096785 node119.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 29330360 kB MemAvailable: 31820232 kB Buffers: 134528 kB Cached: 2638628 kB SwapCached: 61072 kB Active: 1404576 kB Inactive: 1434008 kB Active(anon): 4140 kB Inactive(anon): 110908 kB Active(file): 1400436 kB Inactive(file): 1323100 kB Unevictable: 107484 kB Mlocked: 107484 kB SwapTotal: 67108860 kB SwapFree: 66939908 kB Dirty: 26320 kB Writeback: 0 kB AnonPages: 113744 kB Mapped: 48936 kB Shmem: 41008 kB Slab: 193692 kB SReclaimable: 164344 kB SUnreclaim: 29348 kB KernelStack: 3360 kB PageTables: 5448 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 507592 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 126336 kB DirectMap2M: 33419264 kB Free space on /tmp at the end= 61320 MiB End job on node119 at 2019-09-17 13:37:17