Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-09-16 | OPT | 3 | 21.818 | 6.28467 |
| Name | OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-30-30-1.xml |
| MD5SUM | 67a2d403e3bfd604d92484151c447548 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 21.818 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2760 |
| Number of constraints | 2731 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 31 |
| Distribution of domain sizes | [{"size":2,"count":1800},{"size":3,"count":900},{"size":30,"count":30},{"size":31,"count":30}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 31 |
| Distribution of variable degrees | [{"degree":2,"count":960},{"degree":3,"count":1770},{"degree":31,"count":30}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 31 |
| Distribution of constraint arities | [{"arity":2,"count":930},{"arity":3,"count":1770},{"arity":30,"count":1},{"arity":31,"count":30}] |
| Number of extensional constraints | 900 |
| Number of intensional constraints | 900 |
| Distribution of constraint types | [{"type":"extension","count":900},{"type":"intension","count":900},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"element","count":900}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400523-1568697210.xml" -tl '2400s' -p 4 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4400523-1568697210.xml, -tl, 2400s, -p, 4] 0.34/0.22 c 4 solvers in parallel 0.34/0.28 c parse instance... 4.44/1.54 c solve instance... 5.17/1.74 o 19 5.17/1.75 o 19 5.17/1.76 o 18 5.17/1.78 o 17 5.17/1.79 o 16 5.88/1.90 o 15 5.88/1.93 o 14 6.89/2.20 o 13 7.64/2.42 o 12 7.64/2.44 o 11 8.80/2.77 o 10 9.13/2.85 o 9 14.56/4.21 o 7 14.56/4.27 o 6 16.06/4.74 o 5 20.83/5.91 o 4 21.24/6.12 o 3 21.55/6.26 s OPTIMUM FOUND 21.55/6.26 v <instantiation> 21.55/6.26 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> 21.55/6.26 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> 21.55/6.26 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 (15234 MiB free)
memory of node 1: 16384 MiB (12089 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400523-1568697210/watcher-4400523-1568697210 -o /tmp/evaluation-result-4400523-1568697210/solver-4400523-1568697210 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568691240-24303 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1431176889 HOME/instance-4400523-1568697210.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5933, runsolver pid=5930
[startup+0.100126 s]*
/proc/loadavg: 8.72 8.74 8.61 7/234 5949
/proc/meminfo: memFree=27957612/32770624 swapFree=66997372/67108860
[pid=5933] ppid=5930 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5933/stat : 5933 (xcsp3-exec) S 5930 5933 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445974021 115843072 363 33554432000 4194304 5098028 140724020414864 140724020412968 140444238004860 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35766272 140724020421498 140724020421741 140724020421741 140724020424650 0
/proc/5933/statm: 28282 363 304 221 0 87 0
[pid=5935] ppid=5933 vsize=15144776 memory=28924 CPUtime=0.12 cores=0,2,4,6
/proc/5935/stat : 5935 (java) S 5933 5933 24272 0 -1 1077944320 5656 0 0 0 11 1 0 0 20 0 15 0 445974022 15508250624 7231 33554432000 4194304 4196468 140735859296736 140735859279280 139875930402551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
/proc/5935/statm: 3786194 7231 3152 1 0 3748377 0
[pid=5935/tid=5936] ppid=5933 vsize=15144776 memory=-7828588039587135835 CPUtime=0.08 cores=0,2,4,6
/proc/5935/task/5936/stat : 5936 (java) R 5933 5933 24272 0 -1 4202560 3584 0 0 0 8 0 0 0 20 0 15 0 445974022 15508250624 7231 33554432000 4194304 4196468 140735859296736 139875934632928 139875558976087 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5937] ppid=5933 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5937/stat : 5937 (java) S 5933 5933 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445974023 15508250624 7231 33554432000 4194304 4196468 140735859296736 139875883022608 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5938] ppid=5933 vsize=15144776 memory=139753704527488 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5938/stat : 5938 (java) S 5933 5933 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445974023 15508250624 7231 33554432000 4194304 4196468 140735859296736 139875881970064 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5939] ppid=5933 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5939/stat : 5939 (java) S 5933 5933 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445974023 15508250624 7231 33554432000 4194304 4196468 140735859296736 139875880917520 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5940] ppid=5933 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5940/stat : 5940 (java) S 5933 5933 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445974023 15508250624 7231 33554432000 4194304 4196468 140735859296736 139875879864976 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5941] ppid=5933 vsize=15144776 memory=139753704527488 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5941/stat : 5941 (java) S 5933 5933 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445974024 15508250624 7231 33554432000 4194304 4196468 140735859296736 139875399055856 139875930413698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5942] ppid=5933 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5942/stat : 5942 (java) S 5933 5933 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445974025 15508250624 7231 33554432000 4194304 4196468 140735859296736 139875398002080 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5943] ppid=5933 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5943/stat : 5943 (java) S 5933 5933 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445974025 15508250624 7231 33554432000 4194304 4196468 140735859296736 139875396949488 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5944] ppid=5933 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5944/stat : 5944 (java) S 5933 5933 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445974027 15508250624 7231 33554432000 4194304 4196468 140735859296736 139875395898064 139875930421147 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5945] ppid=5933 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5945/stat : 5945 (java) R 5933 5933 24272 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 445974027 15508250624 7231 33554432000 4194304 4196468 140735859296736 139875394844656 139875930413698 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5946] ppid=5933 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5946/stat : 5946 (java) R 5933 5933 24272 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 15 0 445974027 15508250624 7231 33554432000 4194304 4196468 140735859296736 139875393783616 139875908235408 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5947] ppid=5933 vsize=15144776 memory=139753704527488 CPUtime=0.02 cores=0,2,4,6
/proc/5935/task/5947/stat : 5947 (java) S 5933 5933 24272 0 -1 1077944384 355 0 0 0 2 0 0 0 20 0 15 0 445974027 15508250624 7231 33554432000 4194304 4196468 140735859296736 139875392739568 139875930413698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5948] ppid=5933 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5948/stat : 5948 (java) S 5933 5933 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445974027 15508250624 7231 33554432000 4194304 4196468 140735859296736 139875391687264 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5949] ppid=5933 vsize=15144776 memory=139753704527488 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5949/stat : 5949 (java) S 5933 5933 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445974028 15508250624 7231 33554432000 4194304 4196468 140735859296736 139875390634800 139875930413698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30376 KiB
[startup+0.210833 s]*
/proc/loadavg: 8.72 8.74 8.61 7/234 5949
/proc/meminfo: memFree=27937076/32770624 swapFree=66997372/67108860
[pid=5933] ppid=5930 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5933/stat : 5933 (xcsp3-exec) S 5930 5933 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445974021 115843072 363 33554432000 4194304 5098028 140724020414864 140724020412968 140444238004860 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35766272 140724020421498 140724020421741 140724020421741 140724020424650 0
/proc/5933/statm: 28282 363 304 221 0 87 0
[pid=5935] ppid=5933 vsize=15144776 memory=41076 CPUtime=0.34 cores=0,2,4,6
/proc/5935/stat : 5935 (java) S 5933 5933 24272 0 -1 1077944320 9487 0 0 0 31 3 0 0 20 0 15 0 445974022 15508250624 10269 33554432000 4194304 4196468 140735859296736 140735859279280 139875930402551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
/proc/5935/statm: 3786194 10269 3311 1 0 3748377 0
[pid=5935/tid=5936] ppid=5933 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/5935/task/5936/stat : 5936 (java) R 5933 5933 24272 0 -1 4202560 6616 0 0 0 18 2 0 0 20 0 15 0 445974022 15508250624 10269 33554432000 4194304 4196468 140735859296736 139875934640016 139875930423898 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5937] ppid=5933 vsize=15144776 memory=4294976396 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5937/stat : 5937 (java) S 5933 5933 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445974023 15508250624 10269 33554432000 4194304 4196468 140735859296736 139875883022608 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5938] ppid=5933 vsize=15144776 memory=139753704552043 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5938/stat : 5938 (java) S 5933 5933 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445974023 15508250624 10269 33554432000 4194304 4196468 140735859296736 139875881970064 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5939] ppid=5933 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5939/stat : 5939 (java) S 5933 5933 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445974023 15508250624 10269 33554432000 4194304 4196468 140735859296736 139875880917520 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5940] ppid=5933 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5940/stat : 5940 (java) S 5933 5933 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445974023 15508250624 10269 33554432000 4194304 4196468 140735859296736 139875879864976 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5941] ppid=5933 vsize=15144776 memory=139753704527488 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5941/stat : 5941 (java) S 5933 5933 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445974024 15508250624 10269 33554432000 4194304 4196468 140735859296736 139875399055856 139875930413698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5942] ppid=5933 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5942/stat : 5942 (java) S 5933 5933 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445974025 15508250624 10269 33554432000 4194304 4196468 140735859296736 139875398002080 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5943] ppid=5933 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5943/stat : 5943 (java) S 5933 5933 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445974025 15508250624 10269 33554432000 4194304 4196468 140735859296736 139875396949488 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5944] ppid=5933 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5944/stat : 5944 (java) S 5933 5933 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445974027 15508250624 10269 33554432000 4194304 4196468 140735859296736 139875395898064 139875930421147 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5945] ppid=5933 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5935/task/5945/stat : 5945 (java) S 5933 5933 24272 0 -1 1077944384 509 0 0 0 2 0 0 0 20 0 15 0 445974027 15508250624 10269 33554432000 4194304 4196468 140735859296736 139875394844656 139875930413698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5946] ppid=5933 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5935/task/5946/stat : 5946 (java) S 5933 5933 24272 0 -1 1077944384 322 0 0 0 2 0 0 0 20 0 15 0 445974027 15508250624 10269 33554432000 4194304 4196468 140735859296736 139875393792112 139875930413698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5947] ppid=5933 vsize=15144776 memory=139753704527488 CPUtime=0.08 cores=0,2,4,6
/proc/5935/task/5947/stat : 5947 (java) S 5933 5933 24272 0 -1 1077944384 741 0 0 0 8 0 0 0 20 0 15 0 445974027 15508250624 10269 33554432000 4194304 4196468 140735859296736 139875392739568 139875930413698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5948] ppid=5933 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5948/stat : 5948 (java) S 5933 5933 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445974027 15508250624 10269 33554432000 4194304 4196468 140735859296736 139875391687264 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5949] ppid=5933 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5949/stat : 5949 (java) S 5933 5933 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445974028 15508250624 10269 33554432000 4194304 4196468 140735859296736 139875390634800 139875930413698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42528 KiB
[startup+0.320968 s]*
/proc/loadavg: 8.72 8.74 8.61 7/234 5949
/proc/meminfo: memFree=27925596/32770624 swapFree=66997372/67108860
[pid=5933] ppid=5930 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5933/stat : 5933 (xcsp3-exec) S 5930 5933 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445974021 115843072 363 33554432000 4194304 5098028 140724020414864 140724020412968 140444238004860 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35766272 140724020421498 140724020421741 140724020421741 140724020424650 0
/proc/5933/statm: 28282 363 304 221 0 87 0
[pid=5935] ppid=5933 vsize=15149032 memory=50564 CPUtime=0.54 cores=0,2,4,6
/proc/5935/stat : 5935 (java) S 5933 5933 24272 0 -1 1077944320 10949 0 0 0 50 4 0 0 20 0 15 0 445974022 15512608768 12641 33554432000 4194304 4196468 140735859296736 140735859279280 139875930402551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
/proc/5935/statm: 3787258 12641 3366 1 0 3748377 0
[pid=5935/tid=5936] ppid=5933 vsize=15149032 memory=27992919332356134 CPUtime=0.31 cores=0,2,4,6
/proc/5935/task/5936/stat : 5936 (java) R 5933 5933 24272 0 -1 4202560 7910 0 0 0 28 3 0 0 20 0 15 0 445974022 15512608768 12650 33554432000 4194304 4196468 140735859296736 139875934639392 139875914483038 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5937] ppid=5933 vsize=15149032 memory=288230596084498767 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5937/stat : 5937 (java) S 5933 5933 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445974023 15512608768 12650 33554432000 4194304 4196468 140735859296736 139875883022608 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5938] ppid=5933 vsize=15149032 memory=13847482257905424 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5938/stat : 5938 (java) S 5933 5933 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445974023 15512608768 12650 33554432000 4194304 4196468 140735859296736 139875881970064 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5939] ppid=5933 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5939/stat : 5939 (java) S 5933 5933 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445974023 15512608768 12650 33554432000 4194304 4196468 140735859296736 139875880917520 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5940] ppid=5933 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5940/stat : 5940 (java) S 5933 5933 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445974023 15512608768 12650 33554432000 4194304 4196468 140735859296736 139875879864976 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5941] ppid=5933 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5941/stat : 5941 (java) S 5933 5933 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445974024 15512608768 12650 33554432000 4194304 4196468 140735859296736 139875399055856 139875930413698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5942] ppid=5933 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5942/stat : 5942 (java) S 5933 5933 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445974025 15512608768 12650 33554432000 4194304 4196468 140735859296736 139875398002080 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5943] ppid=5933 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5943/stat : 5943 (java) S 5933 5933 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445974025 15512608768 12650 33554432000 4194304 4196468 140735859296736 139875396949488 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5944] ppid=5933 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5944/stat : 5944 (java) S 5933 5933 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445974027 15512608768 12650 33554432000 4194304 4196468 140735859296736 139875395898064 139875930421147 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5945] ppid=5933 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/5935/task/5945/stat : 5945 (java) S 5933 5933 24272 0 -1 1077944384 611 0 0 0 5 0 0 0 20 0 15 0 445974027 15512608768 12650 33554432000 4194304 4196468 140735859296736 139875394844656 139875930413698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5946] ppid=5933 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/5935/task/5946/stat : 5946 (java) S 5933 5933 24272 0 -1 1077944384 355 0 0 0 4 0 0 0 20 0 15 0 445974027 15512608768 12650 33554432000 4194304 4196468 140735859296736 139875393792112 139875930413698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5947] ppid=5933 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/5935/task/5947/stat : 5947 (java) S 5933 5933 24272 0 -1 1077944384 802 0 0 0 12 0 0 0 20 0 15 0 445974027 15512608768 12650 33554432000 4194304 4196468 140735859296736 139875392739568 139875930413698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5948] ppid=5933 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5948/stat : 5948 (java) S 5933 5933 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445974027 15512608768 12650 33554432000 4194304 4196468 140735859296736 139875391687264 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5949] ppid=5933 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5949/stat : 5949 (java) S 5933 5933 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445974028 15512608768 12650 33554432000 4194304 4196468 140735859296736 139875390634800 139875930413698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52016 KiB
[startup+0.703964 s]
/proc/loadavg: 8.72 8.74 8.61 9/234 5949
/proc/meminfo: memFree=27891240/32770624 swapFree=66997372/67108860
[pid=5933] ppid=5930 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5933/stat : 5933 (xcsp3-exec) S 5930 5933 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445974021 115843072 363 33554432000 4194304 5098028 140724020414864 140724020412968 140444238004860 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35766272 140724020421498 140724020421741 140724020421741 140724020424650 0
/proc/5933/statm: 28282 363 304 221 0 87 0
[pid=5935] ppid=5933 vsize=15151156 memory=102004 CPUtime=1.81 cores=0,2,4,6
/proc/5935/stat : 5935 (java) S 5933 5933 24272 0 -1 1077944320 15589 0 0 0 175 6 0 0 20 0 15 0 445974022 15514783744 25501 33554432000 4194304 4196468 140735859296736 140735859279280 139875930402551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
/proc/5935/statm: 3787789 25501 3447 1 0 3748889 0
[pid=5935/tid=5936] ppid=5933 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/5935/task/5936/stat : 5936 (java) R 5933 5933 24272 0 -1 4202560 9121 0 0 0 64 4 0 0 20 0 15 0 445974022 15514783744 25501 33554432000 4194304 4196468 140735859296736 139875934639880 139875559219930 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5937] ppid=5933 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5937/stat : 5937 (java) S 5933 5933 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445974023 15514783744 25501 33554432000 4194304 4196468 140735859296736 139875883022608 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5938] ppid=5933 vsize=15151156 memory=143 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5938/stat : 5938 (java) S 5933 5933 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445974023 15514783744 25501 33554432000 4194304 4196468 140735859296736 139875881970064 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5939] ppid=5933 vsize=15151156 memory=2 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5939/stat : 5939 (java) S 5933 5933 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445974023 15514783744 25501 33554432000 4194304 4196468 140735859296736 139875880917520 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5940] ppid=5933 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5940/stat : 5940 (java) S 5933 5933 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445974023 15514783744 25501 33554432000 4194304 4196468 140735859296736 139875879864976 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5941] ppid=5933 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5941/stat : 5941 (java) S 5933 5933 24272 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445974024 15514783744 25501 33554432000 4194304 4196468 140735859296736 139875399055856 139875930413698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5942] ppid=5933 vsize=15151156 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5942/stat : 5942 (java) S 5933 5933 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445974025 15514783744 25501 33554432000 4194304 4196468 140735859296736 139875398002080 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5943] ppid=5933 vsize=15151156 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5943/stat : 5943 (java) S 5933 5933 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445974025 15514783744 25501 33554432000 4194304 4196468 140735859296736 139875396949488 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5944] ppid=5933 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5944/stat : 5944 (java) S 5933 5933 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445974027 15514783744 25501 33554432000 4194304 4196468 140735859296736 139875395898064 139875930421147 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5945] ppid=5933 vsize=15151156 memory=812 CPUtime=0.35 cores=0,2,4,6
/proc/5935/task/5945/stat : 5945 (java) R 5933 5933 24272 0 -1 4202560 1604 0 0 0 35 0 0 0 20 0 15 0 445974027 15514783744 25501 33554432000 4194304 4196468 140735859296736 139875394835008 139875930423898 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5946] ppid=5933 vsize=15151156 memory=1764 CPUtime=0.38 cores=0,2,4,6
/proc/5935/task/5946/stat : 5946 (java) R 5933 5933 24272 0 -1 4202560 1597 0 0 0 38 0 0 0 20 0 15 0 445974027 15514783744 25501 33554432000 4194304 4196468 140735859296736 139875393770432 139875913901699 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5947] ppid=5933 vsize=15151156 memory=111628 CPUtime=0.37 cores=0,2,4,6
/proc/5935/task/5947/stat : 5947 (java) R 5933 5933 24272 0 -1 4202560 1959 0 0 0 37 0 0 0 20 0 15 0 445974027 15514783744 25501 33554432000 4194304 4196468 140735859296736 139875392739568 139875930423898 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5948] ppid=5933 vsize=15151156 memory=796 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5948/stat : 5948 (java) S 5933 5933 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445974027 15514783744 25501 33554432000 4194304 4196468 140735859296736 139875391687264 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5949] ppid=5933 vsize=15151156 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5949/stat : 5949 (java) S 5933 5933 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445974028 15514783744 25501 33554432000 4194304 4196468 140735859296736 139875390634800 139875930413698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 103456 KiB
[startup+1.50598 s]
/proc/loadavg: 8.72 8.74 8.61 8/234 5949
/proc/meminfo: memFree=27794244/32770624 swapFree=66997372/67108860
[pid=5933] ppid=5930 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5933/stat : 5933 (xcsp3-exec) S 5930 5933 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445974021 115843072 363 33554432000 4194304 5098028 140724020414864 140724020412968 140444238004860 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35766272 140724020421498 140724020421741 140724020421741 140724020424650 0
/proc/5933/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/5935/task/5941/stat : 5941 (java) S 5933 5933 24272 0 -1 1077944384 414 0 0 0 1 0 0 0 20 0 19 0 445974024 15790579712 94699 33554432000 4194304 4196468 140735859296736 139875399055856 139875930413698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5942] ppid=5933 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5942/stat : 5942 (java) S 5933 5933 24272 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 445974025 15790579712 94699 33554432000 4194304 4196468 140735859296736 139875398002144 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5943] ppid=5933 vsize=15420488 memory=44 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5943/stat : 5943 (java) S 5933 5933 24272 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 445974025 15790579712 94699 33554432000 4194304 4196468 140735859296736 139875396949504 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5944] ppid=5933 vsize=15420488 memory=46 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5944/stat : 5944 (java) S 5933 5933 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445974027 15790579712 94699 33554432000 4194304 4196468 140735859296736 139875395898064 139875930421147 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5945] ppid=5933 vsize=15420488 memory=45 CPUtime=3.41 cores=0,2,4,6
/proc/5935/task/5945/stat : 5945 (java) R 5933 5933 24272 0 -1 4202560 5968 0 0 0 340 1 0 0 20 0 19 0 445974027 15790579712 94699 33554432000 4194304 4196468 140735859296736 139875394830936 139875910238871 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5946] ppid=5933 vsize=15420488 memory=0 CPUtime=3.29 cores=0,2,4,6
/proc/5935/task/5946/stat : 5946 (java) R 5933 5933 24272 0 -1 4202560 7259 0 0 0 328 1 0 0 20 0 19 0 445974027 15790579712 94699 33554432000 4194304 4196468 140735859296736 139875393783648 139875913813352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5947] ppid=5933 vsize=15420488 memory=0 CPUtime=1.01 cores=0,2,4,6
/proc/5935/task/5947/stat : 5947 (java) R 5933 5933 24272 0 -1 1077944384 5868 0 0 0 100 1 0 0 20 0 19 0 445974027 15790579712 94699 33554432000 4194304 4196468 140735859296736 139875392739568 139875930413698 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5948] ppid=5933 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5948/stat : 5948 (java) S 5933 5933 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445974027 15790579712 94699 33554432000 4194304 4196468 140735859296736 139875391687264 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5949] ppid=5933 vsize=15420488 memory=239 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5949/stat : 5949 (java) S 5933 5933 24272 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 445974028 15790579712 94699 33554432000 4194304 4196468 140735859296736 139875390634800 139875930413698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
Current children cumulated CPU time: 16.42 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 380248 KiB
[startup+5.61149 s]
/proc/loadavg: 8.58 8.71 8.60 11/239 6015
/proc/meminfo: memFree=27565936/32770624 swapFree=66997372/67108860
[pid=5933] ppid=5930 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5933/stat : 5933 (xcsp3-exec) S 5930 5933 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445974021 115843072 363 33554432000 4194304 5098028 140724020414864 140724020412968 140444238004860 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35766272 140724020421498 140724020421741 140724020421741 140724020424650 0
/proc/5933/statm: 28282 363 304 221 0 87 0
[pid=5935] ppid=5933 vsize=15420488 memory=379044 CPUtime=19.64 cores=0,2,4,6
/proc/5935/stat : 5935 (java) S 5933 5933 24272 0 -1 1077944320 34888 0 0 0 1946 18 0 0 20 0 19 0 445974022 15790579712 94761 33554432000 4194304 4196468 140735859296736 140735859279280 139875930402551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
/proc/5935/statm: 3855122 94761 3535 1 0 3816222 0
[pid=5935/tid=5936] ppid=5933 vsize=15420488 memory=1388 CPUtime=1.55 cores=0,2,4,6
/proc/5935/task/5936/stat : 5936 (java) S 5933 5933 24272 0 -1 1077944384 11673 0 0 0 149 6 0 0 20 0 19 0 445974022 15790579712 94761 33554432000 4194304 4196468 140735859296736 139875934643328 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5937] ppid=5933 vsize=15420488 memory=776 CPUtime=0.04 cores=0,2,4,6
/proc/5935/task/5937/stat : 5937 (java) S 5933 5933 24272 0 -1 1077944384 112 0 0 0 4 0 0 0 20 0 19 0 445974023 15790579712 94761 33554432000 4194304 4196468 140735859296736 139875883022608 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5938] ppid=5933 vsize=15420488 memory=3992 CPUtime=0.03 cores=0,2,4,6
/proc/5935/task/5938/stat : 5938 (java) S 5933 5933 24272 0 -1 1077944384 73 0 0 0 3 0 0 0 20 0 19 0 445974023 15790579712 94761 33554432000 4194304 4196468 140735859296736 139875881970064 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5939] ppid=5933 vsize=15420488 memory=2828 CPUtime=0.05 cores=0,2,4,6
/proc/5935/task/5939/stat : 5939 (java) S 5933 5933 24272 0 -1 1077944384 186 0 0 0 4 1 0 0 20 0 19 0 445974023 15790579712 94761 33554432000 4194304 4196468 140735859296736 139875880917520 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5940] ppid=5933 vsize=15420488 memory=676 CPUtime=0.03 cores=0,2,4,6
/proc/5935/task/5940/stat : 5940 (java) S 5933 5933 24272 0 -1 1077944384 378 0 0 0 3 0 0 0 20 0 19 0 445974023 15790579712 94761 33554432000 4194304 4196468 140735859296736 139875879864976 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5941] ppid=5933 vsize=15420488 memory=1060 CPUtime=0.01 cores=0,2,4,6
/proc/5935/task/5941/stat : 5941 (java) S 5933 5933 24272 0 -1 1077944384 414 0 0 0 1 0 0 0 20 0 19 0 445974024 15790579712 94761 33554432000 4194304 4196468 140735859296736 139875399055856 139875930413698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5942] ppid=5933 vsize=15420488 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5942/stat : 5942 (java) S 5933 5933 24272 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 445974025 15790579712 94761 33554432000 4194304 4196468 140735859296736 139875398002144 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5943] ppid=5933 vsize=15420488 memory=8560 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5943/stat : 5943 (java) S 5933 5933 24272 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 445974025 15790579712 94761 33554432000 4194304 4196468 140735859296736 139875396949504 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5944] ppid=5933 vsize=15420488 memory=1668 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5944/stat : 5944 (java) S 5933 5933 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445974027 15790579712 94761 33554432000 4194304 4196468 140735859296736 139875395898064 139875930421147 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5945] ppid=5933 vsize=15420488 memory=1112 CPUtime=3.62 cores=0,2,4,6
/proc/5935/task/5945/stat : 5945 (java) R 5933 5933 24272 0 -1 4202560 6006 0 0 0 361 1 0 0 20 0 19 0 445974027 15790579712 94761 33554432000 4194304 4196468 140735859296736 139875394844952 139875915528902 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5946] ppid=5933 vsize=15420488 memory=1004 CPUtime=3.51 cores=0,2,4,6
/proc/5935/task/5946/stat : 5946 (java) R 5933 5933 24272 0 -1 1077944384 7307 0 0 0 350 1 0 0 20 0 19 0 445974027 15790579712 94761 33554432000 4194304 4196468 140735859296736 139875393781968 139875930412757 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5947] ppid=5933 vsize=15420488 memory=6036 CPUtime=1.02 cores=0,2,4,6
/proc/5935/task/5947/stat : 5947 (java) S 5933 5933 24272 0 -1 1077944384 5872 0 0 0 101 1 0 0 20 0 19 0 445974027 15790579712 94761 33554432000 4194304 4196468 140735859296736 139875392739568 139875930413698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5948] ppid=5933 vsize=15420488 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5948/stat : 5948 (java) S 5933 5933 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445974027 15790579712 94761 33554432000 4194304 4196468 140735859296736 139875391687264 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5949] ppid=5933 vsize=15420488 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5949/stat : 5949 (java) R 5933 5933 24272 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 445974028 15790579712 94761 33554432000 4194304 4196468 140735859296736 139875390634800 139875930413698 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=6012] ppid=5933 vsize=15420488 memory=26248 CPUtime=1.01 cores=0,2,4,6
/proc/5935/task/6012/stat : 6012 (java) R 5933 5933 24272 0 -1 4202560 17 0 0 0 101 0 0 0 20 0 19 0 445974471 15790579712 94761 33554432000 4194304 4196468 140735859296736 139875378265352 139875566647187 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=6013] ppid=5933 vsize=15420488 memory=12024 CPUtime=1.03 cores=0,2,4,6
/proc/5935/task/6013/stat : 6013 (java) R 5933 5933 24272 0 -1 4202560 18 0 0 0 103 0 0 0 20 0 19 0 445974471 15790579712 94761 33554432000 4194304 4196468 140735859296736 139875375108056 139875566292352 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=6014] ppid=5933 vsize=15420488 memory=500 CPUtime=0.99 cores=0,2,4,6
/proc/5935/task/6014/stat : 6014 (java) R 5933 5933 24272 0 -1 4202560 20 0 0 0 99 0 0 0 20 0 19 0 445974471 15790579712 94761 33554432000 4194304 4196468 140735859296736 139875377217608 139875566647427 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=6015] ppid=5933 vsize=15420488 memory=1560 CPUtime=0.77 cores=0,2,4,6
/proc/5935/task/6015/stat : 6015 (java) R 5933 5933 24272 0 -1 4202560 18 0 0 0 77 0 0 0 20 0 19 0 445974471 15790579712 94761 33554432000 4194304 4196468 140735859296736 139875376161240 139875566754409 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
Current children cumulated CPU time: 19.64 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 380496 KiB
[startup+6.00091 s]*
/proc/loadavg: 8.58 8.71 8.60 7/239 6019
/proc/meminfo: memFree=27565620/32770624 swapFree=66997372/67108860
[pid=5933] ppid=5930 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5933/stat : 5933 (xcsp3-exec) S 5930 5933 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445974021 115843072 363 33554432000 4194304 5098028 140724020414864 140724020412968 140444238004860 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35766272 140724020421498 140724020421741 140724020421741 140724020424650 0
/proc/5933/statm: 28282 363 304 221 0 87 0
[pid=5935] ppid=5933 vsize=15420488 memory=379240 CPUtime=21.13 cores=0,2,4,6
/proc/5935/stat : 5935 (java) S 5933 5933 24272 0 -1 1077944320 35011 0 0 0 2095 18 0 0 20 0 19 0 445974022 15790579712 94810 33554432000 4194304 4196468 140735859296736 140735859279280 139875930402551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
/proc/5935/statm: 3855122 94810 3535 1 0 3816222 0
[pid=5935/tid=5936] ppid=5933 vsize=15420488 memory=8317482817917895235 CPUtime=1.55 cores=0,2,4,6
/proc/5935/task/5936/stat : 5936 (java) S 5933 5933 24272 0 -1 1077944384 11674 0 0 0 149 6 0 0 20 0 19 0 445974022 15790579712 94810 33554432000 4194304 4196468 140735859296736 139875934643328 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5937] ppid=5933 vsize=15420488 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/5935/task/5937/stat : 5937 (java) S 5933 5933 24272 0 -1 1077944384 112 0 0 0 4 0 0 0 20 0 19 0 445974023 15790579712 94810 33554432000 4194304 4196468 140735859296736 139875883022608 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5938] ppid=5933 vsize=15420488 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/5935/task/5938/stat : 5938 (java) S 5933 5933 24272 0 -1 1077944384 73 0 0 0 3 0 0 0 20 0 19 0 445974023 15790579712 94810 33554432000 4194304 4196468 140735859296736 139875881970064 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5939] ppid=5933 vsize=15420488 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/5935/task/5939/stat : 5939 (java) S 5933 5933 24272 0 -1 1077944384 186 0 0 0 4 1 0 0 20 0 19 0 445974023 15790579712 94810 33554432000 4194304 4196468 140735859296736 139875880917520 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5940] ppid=5933 vsize=15420488 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/5935/task/5940/stat : 5940 (java) S 5933 5933 24272 0 -1 1077944384 378 0 0 0 3 0 0 0 20 0 19 0 445974023 15790579712 94810 33554432000 4194304 4196468 140735859296736 139875879864976 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5941] ppid=5933 vsize=15420488 memory=139753704527488 CPUtime=0.01 cores=0,2,4,6
/proc/5935/task/5941/stat : 5941 (java) S 5933 5933 24272 0 -1 1077944384 414 0 0 0 1 0 0 0 20 0 19 0 445974024 15790579712 94810 33554432000 4194304 4196468 140735859296736 139875399055856 139875930413698 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5942] ppid=5933 vsize=15420488 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5942/stat : 5942 (java) S 5933 5933 24272 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 445974025 15790579712 94810 33554432000 4194304 4196468 140735859296736 139875398002144 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5943] ppid=5933 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5943/stat : 5943 (java) S 5933 5933 24272 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 445974025 15790579712 94810 33554432000 4194304 4196468 140735859296736 139875396949504 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5944] ppid=5933 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5944/stat : 5944 (java) S 5933 5933 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445974027 15790579712 94810 33554432000 4194304 4196468 140735859296736 139875395898064 139875930421147 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5945] ppid=5933 vsize=15420488 memory=0 CPUtime=3.7 cores=0,2,4,6
/proc/5935/task/5945/stat : 5945 (java) S 5933 5933 24272 0 -1 1077944384 6023 0 0 0 369 1 0 0 20 0 19 0 445974027 15790579712 94810 33554432000 4194304 4196468 140735859296736 139875394844656 139875930413698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5946] ppid=5933 vsize=15420488 memory=-1 CPUtime=3.62 cores=0,2,4,6
/proc/5935/task/5946/stat : 5946 (java) S 5933 5933 24272 0 -1 1077944384 7325 0 0 0 361 1 0 0 20 0 19 0 445974027 15790579712 94810 33554432000 4194304 4196468 140735859296736 139875393792112 139875930413698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5947] ppid=5933 vsize=15420488 memory=139753704527488 CPUtime=1.03 cores=0,2,4,6
/proc/5935/task/5947/stat : 5947 (java) S 5933 5933 24272 0 -1 1077944384 5887 0 0 0 102 1 0 0 20 0 19 0 445974027 15790579712 94810 33554432000 4194304 4196468 140735859296736 139875392739568 139875930413698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5948] ppid=5933 vsize=15420488 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5948/stat : 5948 (java) S 5933 5933 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445974027 15790579712 94810 33554432000 4194304 4196468 140735859296736 139875391687264 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5949] ppid=5933 vsize=15420488 memory=139753704527488 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5949/stat : 5949 (java) S 5933 5933 24272 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 445974028 15790579712 94810 33554432000 4194304 4196468 140735859296736 139875390634800 139875930413698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=6016] ppid=5933 vsize=15420488 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/5935/task/6016/stat : 6016 (java) S 5933 5933 24272 0 -1 1077944384 17 0 0 0 4 0 0 0 20 0 19 0 445974613 15790579712 94810 33554432000 4194304 4196468 140735859296736 139875376164720 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=6017] ppid=5933 vsize=15420488 memory=139753704527488 CPUtime=0.02 cores=0,2,4,6
/proc/5935/task/6017/stat : 6017 (java) S 5933 5933 24272 0 -1 1077944384 17 0 0 0 2 0 0 0 20 0 19 0 445974613 15790579712 94810 33554432000 4194304 4196468 140735859296736 139875377219024 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=6018] ppid=5933 vsize=15420488 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/5935/task/6018/stat : 6018 (java) R 5933 5933 24272 0 -1 4202560 17 0 0 0 7 0 0 0 20 0 19 0 445974613 15790579712 94810 33554432000 4194304 4196468 140735859296736 139875375115848 139875567153282 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=6019] ppid=5933 vsize=15420488 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5935/task/6019/stat : 6019 (java) S 5933 5933 24272 0 -1 1077944384 17 0 0 0 1 0 0 0 20 0 19 0 445974613 15790579712 94810 33554432000 4194304 4196468 140735859296736 139875378270928 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
Current children cumulated CPU time: 21.13 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 380692 KiB
[startup+6.20097 s]
/proc/loadavg: 8.58 8.71 8.60 7/239 6019
/proc/meminfo: memFree=27565620/32770624 swapFree=66997372/67108860
[pid=5933] ppid=5930 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5933/stat : 5933 (xcsp3-exec) S 5930 5933 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445974021 115843072 363 33554432000 4194304 5098028 140724020414864 140724020412968 140444238004860 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 35766272 140724020421498 140724020421741 140724020421741 140724020424650 0
/proc/5933/statm: 28282 363 304 221 0 87 0
[pid=5935] ppid=5933 vsize=15420488 memory=381288 CPUtime=21.55 cores=0,2,4,6
/proc/5935/stat : 5935 (java) S 5933 5933 24272 0 -1 1077944320 35089 0 0 0 2137 18 0 0 20 0 19 0 445974022 15790579712 95322 33554432000 4194304 4196468 140735859296736 140735859279280 139875930402551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
/proc/5935/statm: 3855122 95322 3535 1 0 3816222 0
[pid=5935/tid=5936] ppid=5933 vsize=15420488 memory=3761971549146710048 CPUtime=1.55 cores=0,2,4,6
/proc/5935/task/5936/stat : 5936 (java) S 5933 5933 24272 0 -1 1077944384 11674 0 0 0 149 6 0 0 20 0 19 0 445974022 15790579712 95322 33554432000 4194304 4196468 140735859296736 139875934643328 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5937] ppid=5933 vsize=15420488 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/5935/task/5937/stat : 5937 (java) S 5933 5933 24272 0 -1 1077944384 112 0 0 0 4 0 0 0 20 0 19 0 445974023 15790579712 95322 33554432000 4194304 4196468 140735859296736 139875883022608 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5938] ppid=5933 vsize=15420488 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5935/task/5938/stat : 5938 (java) S 5933 5933 24272 0 -1 1077944384 73 0 0 0 3 0 0 0 20 0 19 0 445974023 15790579712 95322 33554432000 4194304 4196468 140735859296736 139875881970064 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5939] ppid=5933 vsize=15420488 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/5935/task/5939/stat : 5939 (java) S 5933 5933 24272 0 -1 1077944384 186 0 0 0 4 1 0 0 20 0 19 0 445974023 15790579712 95322 33554432000 4194304 4196468 140735859296736 139875880917520 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5940] ppid=5933 vsize=15420488 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5935/task/5940/stat : 5940 (java) S 5933 5933 24272 0 -1 1077944384 378 0 0 0 3 0 0 0 20 0 19 0 445974023 15790579712 95322 33554432000 4194304 4196468 140735859296736 139875879864976 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5941] ppid=5933 vsize=15420488 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5935/task/5941/stat : 5941 (java) S 5933 5933 24272 0 -1 1077944384 414 0 0 0 1 0 0 0 20 0 19 0 445974024 15790579712 95322 33554432000 4194304 4196468 140735859296736 139875399055856 139875930413698 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5942] ppid=5933 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5942/stat : 5942 (java) S 5933 5933 24272 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 445974025 15790579712 95322 33554432000 4194304 4196468 140735859296736 139875398002144 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5943] ppid=5933 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5943/stat : 5943 (java) S 5933 5933 24272 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 445974025 15790579712 95322 33554432000 4194304 4196468 140735859296736 139875396949504 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5944] ppid=5933 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5944/stat : 5944 (java) S 5933 5933 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445974027 15790579712 95322 33554432000 4194304 4196468 140735859296736 139875395898064 139875930421147 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5945] ppid=5933 vsize=15420488 memory=0 CPUtime=3.7 cores=0,2,4,6
/proc/5935/task/5945/stat : 5945 (java) S 5933 5933 24272 0 -1 1077944384 6024 0 0 0 369 1 0 0 20 0 19 0 445974027 15790579712 95322 33554432000 4194304 4196468 140735859296736 139875394844656 139875930413698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5946] ppid=5933 vsize=15420488 memory=0 CPUtime=3.65 cores=0,2,4,6
/proc/5935/task/5946/stat : 5946 (java) R 5933 5933 24272 0 -1 4202560 7325 0 0 0 364 1 0 0 20 0 19 0 445974027 15790579712 95322 33554432000 4194304 4196468 140735859296736 139875393792408 139875915311389 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5947] ppid=5933 vsize=15420488 memory=0 CPUtime=1.04 cores=0,2,4,6
/proc/5935/task/5947/stat : 5947 (java) S 5933 5933 24272 0 -1 1077944384 5891 0 0 0 103 1 0 0 20 0 19 0 445974027 15790579712 95322 33554432000 4194304 4196468 140735859296736 139875392739568 139875930413698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5948] ppid=5933 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5948/stat : 5948 (java) S 5933 5933 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445974027 15790579712 95322 33554432000 4194304 4196468 140735859296736 139875391687264 139875930412757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
[pid=5935/tid=5949] ppid=5933 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5935/task/5949/stat : 5949 (java) S 5933 5933 24272 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 19 0 445974028 15790579712 95322 33554432000 4194304 4196468 140735859296736 139875390634800 139875930413698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21016576 140735859299311 140735859299482 140735859299482 140735859302351 0
Current children cumulated CPU time: 21.55 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 382740 KiB
Child status: 0
Real time (s): 6.28467
CPU time (s): 21.818
CPU user time (s): 21.6237
CPU system time (s): 0.194323
CPU usage (%): 347.163
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 382740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.6237
system time used= 0.194323
maximum resident set size= 382296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35731
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3332
involuntary context switches= 827
# summary of solver processes directly reported to runsolver:
# pid: 5933
# total CPU time (s): 21.818
# total CPU user time (s): 21.6237
# total CPU system time (s): 0.194323
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.069474 second user time and 0.109174 second system time
The end
Begin job on node103 at 2019-09-17 07:12:30 IDJOB=4400523 IDBENCH=140491 IDSOLVER=2856 FILE ID=node103/4400523-1568697210 RUNJOBID= node103-1568691240-24303 PBS_JOBID= 21703799 Free space on /tmp= 61692 MiB SOLVER NAME= choco-solver 2019-09-16 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-wbop-30-30-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400523-1568697210/watcher-4400523-1568697210 -o /tmp/evaluation-result-4400523-1568697210/solver-4400523-1568697210 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568691240-24303 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1431176889 HOME/instance-4400523-1568697210.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 67a2d403e3bfd604d92484151c447548 RANDOM SEED=1431176889 node103.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 27979984 kB MemAvailable: 28385544 kB Buffers: 79216 kB Cached: 621004 kB SwapCached: 9016 kB Active: 3931664 kB Inactive: 277232 kB Active(anon): 3500508 kB Inactive(anon): 57316 kB Active(file): 431156 kB Inactive(file): 219916 kB Unevictable: 111148 kB Mlocked: 111148 kB SwapTotal: 67108860 kB SwapFree: 66997372 kB Dirty: 25972 kB Writeback: 0 kB AnonPages: 3617820 kB Mapped: 61932 kB Shmem: 40856 kB Slab: 170552 kB SReclaimable: 140648 kB SUnreclaim: 29904 kB KernelStack: 4080 kB PageTables: 12232 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 4819696 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 3500032 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61668 MiB End job on node103 at 2019-09-17 07:12:37