Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 3 | 37.4797 | 6.48485 |
Name | OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-30-30-1.xml |
MD5SUM | 67a2d403e3bfd604d92484151c447548 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 21.818 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2760 |
Number of constraints | 2731 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 31 |
Distribution of domain sizes | [{"size":2,"count":1800},{"size":3,"count":900},{"size":30,"count":30},{"size":31,"count":30}] |
Minimum variable degree | 2 |
Maximum variable degree | 31 |
Distribution of variable degrees | [{"degree":2,"count":960},{"degree":3,"count":1770},{"degree":31,"count":30}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 31 |
Distribution of constraint arities | [{"arity":2,"count":930},{"arity":3,"count":1770},{"arity":30,"count":1},{"arity":31,"count":30}] |
Number of extensional constraints | 900 |
Number of intensional constraints | 900 |
Distribution of constraint types | [{"type":"extension","count":900},{"type":"intension","count":900},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"element","count":900}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4407423-1569349707.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407423-1569349707.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.29 c parse instance... 6.57/1.90 c solve instance... 7.72/2.10 o 19 8.87/2.26 o 18 9.79/2.49 o 17 10.21/2.58 o 16 10.83/2.65 o 15 10.83/2.67 o 14 11.33/2.74 o 13 12.70/2.96 o 12 13.42/3.11 o 11 14.89/3.39 o 10 15.28/3.44 o 9 23.97/4.59 o 7 24.69/4.68 o 6 25.53/4.83 o 5 35.70/6.15 o 4 36.38/6.32 o 3 36.97/6.47 s OPTIMUM FOUND 36.97/6.47 v <instantiation> 36.97/6.47 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> 36.97/6.47 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> 36.97/6.47 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 (11870 MiB free) memory of node 1: 16384 MiB (9722 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407423-1569349707/watcher-4407423-1569349707 -o /var/tmp/evaluation-result-4407423-1569349707/solver-4407423-1569349707 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569335937-18517 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1642262598 HOME/instance-4407423-1569349707.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=25461, runsolver pid=25458 [startup+0.100143 s]* /proc/loadavg: 7.76 8.07 8.10 2/211 25482 /proc/meminfo: memFree=22095928/32770624 swapFree=67002364/67108860 [pid=25461] ppid=25458 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25461/stat : 25461 (xcsp3-exec) S 25458 25461 18490 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510884629 115843072 363 33554432000 4194304 5098028 140722413403024 140722413401128 140717597061756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10330112 140722413405015 140722413405274 140722413405274 140722413408198 0 /proc/25461/statm: 28282 363 305 221 0 87 0 [pid=25463] ppid=25461 vsize=28227396 memory=29436 CPUtime=0.12 cores=0-7 /proc/25463/stat : 25463 (java) S 25461 25461 18490 0 -1 1077944320 5835 0 0 0 11 1 0 0 20 0 20 0 510884629 28904853504 7359 33554432000 4194304 4196468 140729944230272 140729944212816 140264390762231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 /proc/25463/statm: 7056849 7359 3118 1 0 7019032 0 [pid=25463/tid=25464] ppid=25461 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/25463/task/25464/stat : 25464 (java) R 25461 25461 18490 0 -1 4202560 3784 0 0 0 8 0 0 0 20 0 20 0 510884629 28904853504 7359 33554432000 4194304 4196468 140729944230272 140264394988192 140264390783578 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25465] ppid=25461 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/25463/task/25465/stat : 25465 (java) S 25461 25461 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510884630 28904853504 7359 33554432000 4194304 4196468 140729944230272 140264310614288 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25466] ppid=25461 vsize=28227396 memory=140315386463872 CPUtime=0 cores=0-7 /proc/25463/task/25466/stat : 25466 (java) S 25461 25461 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510884630 28904853504 7359 33554432000 4194304 4196468 140729944230272 140264309561744 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25467] ppid=25461 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25467/stat : 25467 (java) S 25461 25461 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510884630 28904853504 7359 33554432000 4194304 4196468 140729944230272 140264308509200 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25468] ppid=25461 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25468/stat : 25468 (java) S 25461 25461 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510884630 28904853504 7359 33554432000 4194304 4196468 140729944230272 140264307456656 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25469] ppid=25461 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25469/stat : 25469 (java) S 25461 25461 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510884630 28904853504 7359 33554432000 4194304 4196468 140729944230272 140264306404112 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25470] ppid=25461 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25463/task/25470/stat : 25470 (java) S 25461 25461 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510884630 28904853504 7359 33554432000 4194304 4196468 140729944230272 140264305351568 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25471] ppid=25461 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25471/stat : 25471 (java) S 25461 25461 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510884630 28904853504 7359 33554432000 4194304 4196468 140729944230272 140263935826960 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25472] ppid=25461 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25472/stat : 25472 (java) S 25461 25461 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510884630 28904853504 7359 33554432000 4194304 4196468 140729944230272 140263934774416 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25473] ppid=25461 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25473/stat : 25473 (java) S 25461 25461 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510884632 28904853504 7359 33554432000 4194304 4196468 140729944230272 140263056250864 140264390773378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25474] ppid=25461 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25474/stat : 25474 (java) S 25461 25461 18490 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 510884632 28904853504 7359 33554432000 4194304 4196468 140729944230272 140263055197088 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25475] ppid=25461 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25475/stat : 25475 (java) S 25461 25461 18490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510884632 28904853504 7359 33554432000 4194304 4196468 140729944230272 140263054144496 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25476] ppid=25461 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25476/stat : 25476 (java) S 25461 25461 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510884635 28904853504 7359 33554432000 4194304 4196468 140729944230272 140263053093072 140264390780827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25477] ppid=25461 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25477/stat : 25477 (java) S 25461 25461 18490 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 510884635 28904853504 7359 33554432000 4194304 4196468 140729944230272 140263052040688 140264390773378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25478] ppid=25461 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25478/stat : 25478 (java) S 25461 25461 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510884635 28904853504 7359 33554432000 4194304 4196468 140729944230272 140263050988144 140264390773378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25479] ppid=25461 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25479/stat : 25479 (java) S 25461 25461 18490 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 510884635 28904853504 7359 33554432000 4194304 4196468 140729944230272 140263049935600 140264390773378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25480] ppid=25461 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/25463/task/25480/stat : 25480 (java) S 25461 25461 18490 0 -1 1077944384 318 0 0 0 1 0 0 0 20 0 20 0 510884635 28904853504 7359 33554432000 4194304 4196468 140729944230272 140263048883056 140264390773378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25481] ppid=25461 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25481/stat : 25481 (java) S 25461 25461 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510884635 28904853504 7359 33554432000 4194304 4196468 140729944230272 140263047829728 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25482] ppid=25461 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25463/task/25482/stat : 25482 (java) S 25461 25461 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510884635 28904853504 7359 33554432000 4194304 4196468 140729944230272 140263046777264 140264390773378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30888 KiB [startup+0.210039 s]* /proc/loadavg: 7.76 8.07 8.10 2/211 25482 /proc/meminfo: memFree=22082836/32770624 swapFree=67002364/67108860 [pid=25461] ppid=25458 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25461/stat : 25461 (xcsp3-exec) S 25458 25461 18490 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510884629 115843072 363 33554432000 4194304 5098028 140722413403024 140722413401128 140717597061756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10330112 140722413405015 140722413405274 140722413405274 140722413408198 0 /proc/25461/statm: 28282 363 305 221 0 87 0 [pid=25463] ppid=25461 vsize=28227396 memory=41140 CPUtime=0.33 cores=0-7 /proc/25463/stat : 25463 (java) S 25461 25461 18490 0 -1 1077944320 9516 0 0 0 30 3 0 0 20 0 20 0 510884629 28904853504 10285 33554432000 4194304 4196468 140729944230272 140729944212816 140264390762231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 /proc/25463/statm: 7056849 10285 3274 1 0 7019032 0 [pid=25463/tid=25464] ppid=25461 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/25463/task/25464/stat : 25464 (java) R 25461 25461 18490 0 -1 4202560 6655 0 0 0 18 2 0 0 20 0 20 0 510884629 28904853504 10285 33554432000 4194304 4196468 140729944230272 140264394994144 140264383440245 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25465] ppid=25461 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/25463/task/25465/stat : 25465 (java) S 25461 25461 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510884630 28904853504 10285 33554432000 4194304 4196468 140729944230272 140264310614288 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25466] ppid=25461 vsize=28227396 memory=288370691538175616 CPUtime=0 cores=0-7 /proc/25463/task/25466/stat : 25466 (java) S 25461 25461 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510884630 28904853504 10285 33554432000 4194304 4196468 140729944230272 140264309561744 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25467] ppid=25461 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25463/task/25467/stat : 25467 (java) S 25461 25461 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510884630 28904853504 10285 33554432000 4194304 4196468 140729944230272 140264308509200 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25468] ppid=25461 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25468/stat : 25468 (java) S 25461 25461 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510884630 28904853504 10285 33554432000 4194304 4196468 140729944230272 140264307456656 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25469] ppid=25461 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25469/stat : 25469 (java) S 25461 25461 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510884630 28904853504 10285 33554432000 4194304 4196468 140729944230272 140264306404112 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25470] ppid=25461 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25463/task/25470/stat : 25470 (java) S 25461 25461 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510884630 28904853504 10285 33554432000 4194304 4196468 140729944230272 140264305351568 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25471] ppid=25461 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25471/stat : 25471 (java) S 25461 25461 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510884630 28904853504 10285 33554432000 4194304 4196468 140729944230272 140263935826960 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25472] ppid=25461 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25472/stat : 25472 (java) S 25461 25461 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510884630 28904853504 10285 33554432000 4194304 4196468 140729944230272 140263934774416 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25473] ppid=25461 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25473/stat : 25473 (java) S 25461 25461 18490 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 510884632 28904853504 10285 33554432000 4194304 4196468 140729944230272 140263056250864 140264390773378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25474] ppid=25461 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25474/stat : 25474 (java) S 25461 25461 18490 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 510884632 28904853504 10285 33554432000 4194304 4196468 140729944230272 140263055197088 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25475] ppid=25461 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25475/stat : 25475 (java) S 25461 25461 18490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510884632 28904853504 10285 33554432000 4194304 4196468 140729944230272 140263054144496 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25476] ppid=25461 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25476/stat : 25476 (java) S 25461 25461 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510884635 28904853504 10285 33554432000 4194304 4196468 140729944230272 140263053093072 140264390780827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25477] ppid=25461 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/25463/task/25477/stat : 25477 (java) S 25461 25461 18490 0 -1 1077944384 340 0 0 0 1 0 0 0 20 0 20 0 510884635 28904853504 10285 33554432000 4194304 4196468 140729944230272 140263052040688 140264390773378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25478] ppid=25461 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/25463/task/25478/stat : 25478 (java) S 25461 25461 18490 0 -1 1077944384 280 0 0 0 2 0 0 0 20 0 20 0 510884635 28904853504 10285 33554432000 4194304 4196468 140729944230272 140263050988144 140264390773378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25479] ppid=25461 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25463/task/25479/stat : 25479 (java) S 25461 25461 18490 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 20 0 510884635 28904853504 10285 33554432000 4194304 4196468 140729944230272 140263049935600 140264390773378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25480] ppid=25461 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/25463/task/25480/stat : 25480 (java) S 25461 25461 18490 0 -1 1077944384 751 0 0 0 7 0 0 0 20 0 20 0 510884635 28904853504 10285 33554432000 4194304 4196468 140729944230272 140263048883056 140264390773378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25481] ppid=25461 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25481/stat : 25481 (java) S 25461 25461 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510884635 28904853504 10285 33554432000 4194304 4196468 140729944230272 140263047829728 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25482] ppid=25461 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25463/task/25482/stat : 25482 (java) S 25461 25461 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510884635 28904853504 10285 33554432000 4194304 4196468 140729944230272 140263046777264 140264390773378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42592 KiB [startup+0.30936 s]* /proc/loadavg: 7.30 7.97 8.07 3/211 25482 /proc/meminfo: memFree=22075320/32770624 swapFree=67002364/67108860 [pid=25461] ppid=25458 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25461/stat : 25461 (xcsp3-exec) S 25458 25461 18490 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510884629 115843072 363 33554432000 4194304 5098028 140722413403024 140722413401128 140717597061756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10330112 140722413405015 140722413405274 140722413405274 140722413408198 0 /proc/25461/statm: 28282 363 305 221 0 87 0 [pid=25463] ppid=25461 vsize=28231652 memory=50036 CPUtime=0.52 cores=0-7 /proc/25463/stat : 25463 (java) S 25461 25461 18490 0 -1 1077944320 10782 0 0 0 48 4 0 0 20 0 20 0 510884629 28909211648 12509 33554432000 4194304 4196468 140729944230272 140729944212816 140264390762231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 /proc/25463/statm: 7057913 12509 3353 1 0 7019032 0 [pid=25463/tid=25464] ppid=25461 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/25463/task/25464/stat : 25464 (java) R 25461 25461 18490 0 -1 4202560 7738 0 0 0 26 3 0 0 20 0 20 0 510884629 28909211648 12509 33554432000 4194304 4196468 140729944230272 140264394996016 140264374842718 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25465] ppid=25461 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25465/stat : 25465 (java) S 25461 25461 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510884630 28909211648 12509 33554432000 4194304 4196468 140729944230272 140264310614288 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25466] ppid=25461 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25466/stat : 25466 (java) S 25461 25461 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510884630 28909211648 12509 33554432000 4194304 4196468 140729944230272 140264309561744 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25467] ppid=25461 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25467/stat : 25467 (java) S 25461 25461 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510884630 28909211648 12509 33554432000 4194304 4196468 140729944230272 140264308509200 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25468] ppid=25461 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25468/stat : 25468 (java) S 25461 25461 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510884630 28909211648 12509 33554432000 4194304 4196468 140729944230272 140264307456656 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25469] ppid=25461 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25469/stat : 25469 (java) S 25461 25461 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510884630 28909211648 12509 33554432000 4194304 4196468 140729944230272 140264306404112 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25470] ppid=25461 vsize=28231652 memory=140315239475887 CPUtime=0 cores=0-7 /proc/25463/task/25470/stat : 25470 (java) S 25461 25461 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510884630 28909211648 12509 33554432000 4194304 4196468 140729944230272 140264305351568 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25471] ppid=25461 vsize=28231652 memory=140315239478192 CPUtime=0 cores=0-7 /proc/25463/task/25471/stat : 25471 (java) S 25461 25461 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510884630 28909211648 12509 33554432000 4194304 4196468 140729944230272 140263935826960 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25472] ppid=25461 vsize=28231652 memory=140315239480496 CPUtime=0 cores=0-7 /proc/25463/task/25472/stat : 25472 (java) S 25461 25461 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510884630 28909211648 12509 33554432000 4194304 4196468 140729944230272 140263934774416 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25473] ppid=25461 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25473/stat : 25473 (java) S 25461 25461 18490 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 510884632 28909211648 12509 33554432000 4194304 4196468 140729944230272 140263056250864 140264390773378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25474] ppid=25461 vsize=28231652 memory=280630478974864 CPUtime=0 cores=0-7 /proc/25463/task/25474/stat : 25474 (java) S 25461 25461 18490 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 510884632 28909211648 12509 33554432000 4194304 4196468 140729944230272 140263055197088 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25475] ppid=25461 vsize=28231652 memory=280630478972560 CPUtime=0 cores=0-7 /proc/25463/task/25475/stat : 25475 (java) S 25461 25461 18490 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510884632 28909211648 12509 33554432000 4194304 4196468 140729944230272 140263054144496 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25476] ppid=25461 vsize=28231652 memory=280630478979472 CPUtime=0 cores=0-7 /proc/25463/task/25476/stat : 25476 (java) S 25461 25461 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510884635 28909211648 12509 33554432000 4194304 4196468 140729944230272 140263053093072 140264390780827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25477] ppid=25461 vsize=28231652 memory=280630478920752 CPUtime=0.02 cores=0-7 /proc/25463/task/25477/stat : 25477 (java) R 25461 25461 18490 0 -1 4202560 414 0 0 0 2 0 0 0 20 0 20 0 510884635 28909211648 12509 33554432000 4194304 4196468 140729944230272 140263052039088 140264374172904 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25478] ppid=25461 vsize=28231652 memory=280630478993296 CPUtime=0.03 cores=0-7 /proc/25463/task/25478/stat : 25478 (java) S 25461 25461 18490 0 -1 1077944384 286 0 0 0 3 0 0 0 20 0 20 0 510884635 28909211648 12509 33554432000 4194304 4196468 140729944230272 140263050988144 140264390773378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25479] ppid=25461 vsize=28231652 memory=280630479000208 CPUtime=0.02 cores=0-7 /proc/25463/task/25479/stat : 25479 (java) S 25461 25461 18490 0 -1 1077944384 200 0 0 0 2 0 0 0 20 0 20 0 510884635 28909211648 12509 33554432000 4194304 4196468 140729944230272 140263049935600 140264390773378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25480] ppid=25461 vsize=28231652 memory=280630478997904 CPUtime=0.12 cores=0-7 /proc/25463/task/25480/stat : 25480 (java) S 25461 25461 18490 0 -1 1077944384 847 0 0 0 12 0 0 0 20 0 20 0 510884635 28909211648 12509 33554432000 4194304 4196468 140729944230272 140263048883056 140264390773378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25481] ppid=25461 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25481/stat : 25481 (java) S 25461 25461 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510884635 28909211648 12509 33554432000 4194304 4196468 140729944230272 140263047829728 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25482] ppid=25461 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/25463/task/25482/stat : 25482 (java) S 25461 25461 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510884635 28909211648 12509 33554432000 4194304 4196468 140729944230272 140263046777264 140264390773378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51488 KiB [startup+0.700939 s] /proc/loadavg: 7.30 7.97 8.07 5/211 25482 /proc/meminfo: memFree=22053544/32770624 swapFree=67002364/67108860 [pid=25461] ppid=25458 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25461/stat : 25461 (xcsp3-exec) S 25458 25461 18490 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510884629 115843072 363 33554432000 4194304 5098028 140722413403024 140722413401128 140717597061756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10330112 140722413405015 140722413405274 140722413405274 140722413408198 0 /proc/25461/statm: 28282 363 305 221 0 87 0 [pid=25463] ppid=25461 vsize=28233776 memory=107844 CPUtime=2.01 cores=0-7 /proc/25463/stat : 25463 (java) S 25461 25461 18490 0 -1 1077944320 16458 0 0 0 194 7 0 0 20 0 20 0 510884629 28911386624 26961 33554432000 4194304 4196468 140729944230272 140729944212816 140264390762231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 /proc/25463/statm: 7058444 26961 3449 1 0 7019544 0 [pid=25463/tid=25464] ppid=25461 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7 /proc/25463/task/25464/stat : 25464 (java) R 25461 25461 18490 0 -1 4202560 9030 0 0 0 63 5 0 0 20 0 20 0 510884629 28911386624 26961 33554432000 4194304 4196468 140729944230272 140264394994800 140264375285956 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25465] ppid=25461 vsize=28233776 memory=140315239687024 CPUtime=0 cores=0-7 /proc/25463/task/25465/stat : 25465 (java) S 25461 25461 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510884630 28911386624 26961 33554432000 4194304 4196468 140729944230272 140264310614288 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25466] ppid=25461 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25466/stat : 25466 (java) S 25461 25461 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510884630 28911386624 26961 33554432000 4194304 4196468 140729944230272 140264309561744 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25467] ppid=25461 vsize=28233776 memory=1056 CPUtime=0 cores=0-7 /proc/25463/task/25467/stat : 25467 (java) S 25461 25461 18490 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510884630 28911386624 26961 33554432000 4194304 4196468 140729944230272 140264308509200 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 ################ # More data... # ################ /proc/loadavg: 7.30 7.97 8.07 11/219 25554 /proc/meminfo: memFree=21711296/32770624 swapFree=67002364/67108860 [pid=25461] ppid=25458 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25461/stat : 25461 (xcsp3-exec) S 25458 25461 18490 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510884629 115843072 363 33554432000 4194304 5098028 140722413403024 140722413401128 140717597061756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10330112 140722413405015 140722413405274 140722413405274 140722413408198 0 /proc/25461/statm: 28282 363 305 221 0 87 0 [pid=25463] ppid=25461 vsize=28768336 memory=412604 CPUtime=14.07 cores=0-7 /proc/25463/stat : 25463 (java) S 25461 25461 18490 0 -1 1077944320 39958 0 0 0 1381 26 0 0 20 0 27 0 510884629 29458776064 103151 33554432000 4194304 4196468 140729944230272 140729944212816 140264390762231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 /proc/25463/statm: 7192084 103151 3532 1 0 7153184 0 [pid=25463/tid=25464] ppid=25461 vsize=28768336 memory=111536005710826 CPUtime=1.88 cores=0-7 /proc/25463/task/25464/stat : 25464 (java) S 25461 25461 18490 0 -1 1077944384 11055 0 0 0 181 7 0 0 20 0 27 0 510884629 29458776064 103151 33554432000 4194304 4196468 140729944230272 140264395003008 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25465] ppid=25461 vsize=28768336 memory=280630479154096 CPUtime=0.06 cores=0-7 /proc/25463/task/25465/stat : 25465 (java) S 25461 25461 18490 0 -1 1077944384 190 0 0 0 4 2 0 0 20 0 27 0 510884630 29458776064 103151 33554432000 4194304 4196468 140729944230272 140264310614288 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25466] ppid=25461 vsize=28768336 memory=280630479444960 CPUtime=0.04 cores=0-7 /proc/25463/task/25466/stat : 25466 (java) S 25461 25461 18490 0 -1 1077944384 127 0 0 0 3 1 0 0 20 0 27 0 510884630 29458776064 103151 33554432000 4194304 4196468 140729944230272 140264309561744 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25467] ppid=25461 vsize=28768336 memory=7884513673025578324 CPUtime=0.01 cores=0-7 /proc/25463/task/25467/stat : 25467 (java) S 25461 25461 18490 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 27 0 510884630 29458776064 103151 33554432000 4194304 4196468 140729944230272 140264308509200 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25468] ppid=25461 vsize=28768336 memory=7522807337096145772 CPUtime=0.01 cores=0-7 /proc/25463/task/25468/stat : 25468 (java) S 25461 25461 18490 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 27 0 510884630 29458776064 103151 33554432000 4194304 4196468 140729944230272 140264307456656 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25469] ppid=25461 vsize=28768336 memory=56 CPUtime=0.05 cores=0-7 /proc/25463/task/25469/stat : 25469 (java) S 25461 25461 18490 0 -1 1077944384 147 0 0 0 4 1 0 0 20 0 27 0 510884630 29458776064 103151 33554432000 4194304 4196468 140729944230272 140264306404112 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25470] ppid=25461 vsize=28768336 memory=13898 CPUtime=0.01 cores=0-7 /proc/25463/task/25470/stat : 25470 (java) S 25461 25461 18490 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 27 0 510884630 29458776064 103151 33554432000 4194304 4196468 140729944230272 140264305351568 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25471] ppid=25461 vsize=28768336 memory=23464 CPUtime=0.02 cores=0-7 /proc/25463/task/25471/stat : 25471 (java) S 25461 25461 18490 0 -1 1077944384 92 0 0 0 2 0 0 0 20 0 27 0 510884630 29458776064 103151 33554432000 4194304 4196468 140729944230272 140263935826960 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25472] ppid=25461 vsize=28768336 memory=0 CPUtime=0.06 cores=0-7 /proc/25463/task/25472/stat : 25472 (java) S 25461 25461 18490 0 -1 1077944384 117 0 0 0 5 1 0 0 20 0 27 0 510884630 29458776064 103151 33554432000 4194304 4196468 140729944230272 140263934774416 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25473] ppid=25461 vsize=28768336 memory=57 CPUtime=0.01 cores=0-7 /proc/25463/task/25473/stat : 25473 (java) S 25461 25461 18490 0 -1 1077944384 288 0 0 0 1 0 0 0 20 0 27 0 510884632 29458776064 103151 33554432000 4194304 4196468 140729944230272 140263056250864 140264390773378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25474] ppid=25461 vsize=28768336 memory=6944656592455360604 CPUtime=0 cores=0-7 /proc/25463/task/25474/stat : 25474 (java) S 25461 25461 18490 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 27 0 510884632 29458776064 103151 33554432000 4194304 4196468 140729944230272 140263055197152 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25475] ppid=25461 vsize=28768336 memory=6944652177228980320 CPUtime=0 cores=0-7 /proc/25463/task/25475/stat : 25475 (java) S 25461 25461 18490 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 27 0 510884632 29458776064 103151 33554432000 4194304 4196468 140729944230272 140263054144512 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25476] ppid=25461 vsize=28768336 memory=6943526294502006880 CPUtime=0 cores=0-7 /proc/25463/task/25476/stat : 25476 (java) S 25461 25461 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 27 0 510884635 29458776064 103151 33554432000 4194304 4196468 140729944230272 140263053093072 140264390780827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25477] ppid=25461 vsize=28768336 memory=6656426216303648864 CPUtime=2.46 cores=0-7 /proc/25463/task/25477/stat : 25477 (java) R 25461 25461 18490 0 -1 4202560 8026 0 0 0 244 2 0 0 20 0 27 0 510884635 29458776064 103151 33554432000 4194304 4196468 140729944230272 140263052032144 140264371938120 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25478] ppid=25461 vsize=28768336 memory=6944656592455359580 CPUtime=2.52 cores=0-7 /proc/25463/task/25478/stat : 25478 (java) R 25461 25461 18490 0 -1 4202560 5650 0 0 0 251 1 0 0 20 0 27 0 510884635 29458776064 103151 33554432000 4194304 4196468 140729944230272 140263050974464 140264372283353 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25479] ppid=25461 vsize=28768336 memory=6655300316396806240 CPUtime=2.51 cores=0-7 /proc/25463/task/25479/stat : 25479 (java) R 25461 25461 18490 0 -1 4202560 4975 0 0 0 250 1 0 0 20 0 27 0 510884635 29458776064 103151 33554432000 4194304 4196468 140729944230272 140263049922016 140264370278104 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25480] ppid=25461 vsize=28768336 memory=-7749694995119233653 CPUtime=0.99 cores=0-7 /proc/25463/task/25480/stat : 25480 (java) S 25461 25461 18490 0 -1 1077944384 5641 0 0 0 97 2 0 0 20 0 27 0 510884635 29458776064 103151 33554432000 4194304 4196468 140729944230272 140263048883056 140264390773378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25481] ppid=25461 vsize=28768336 memory=-8382741927119592821 CPUtime=0 cores=0-7 /proc/25463/task/25481/stat : 25481 (java) S 25461 25461 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 510884635 29458776064 103151 33554432000 4194304 4196468 140729944230272 140263047829728 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25482] ppid=25461 vsize=28768336 memory=-8890257214992072645 CPUtime=0 cores=0-7 /proc/25463/task/25482/stat : 25482 (java) S 25461 25461 18490 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 27 0 510884635 29458776064 103151 33554432000 4194304 4196468 140729944230272 140263046777264 140264390773378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 Current children cumulated CPU time: 14.07 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 414056 KiB [startup+6.30106 s] /proc/loadavg: 7.27 7.95 8.06 9/219 25602 /proc/meminfo: memFree=21685236/32770624 swapFree=67002364/67108860 [pid=25461] ppid=25458 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25461/stat : 25461 (xcsp3-exec) S 25458 25461 18490 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510884629 115843072 363 33554432000 4194304 5098028 140722413403024 140722413401128 140717597061756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10330112 140722413405015 140722413405274 140722413405274 140722413408198 0 /proc/25461/statm: 28282 363 305 221 0 87 0 [pid=25463] ppid=25461 vsize=28768336 memory=438412 CPUtime=36.38 cores=0-7 /proc/25463/stat : 25463 (java) S 25461 25461 18490 0 -1 1077944320 44455 0 0 0 3601 37 0 0 20 0 28 0 510884629 29458776064 109603 33554432000 4194304 4196468 140729944230272 140729944212816 140264390762231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 /proc/25463/statm: 7192084 109603 3543 1 0 7153184 0 [pid=25463/tid=25464] ppid=25461 vsize=28768336 memory=0 CPUtime=1.89 cores=0-7 /proc/25463/task/25464/stat : 25464 (java) S 25461 25461 18490 0 -1 1077944384 11064 0 0 0 182 7 0 0 20 0 28 0 510884629 29458776064 109603 33554432000 4194304 4196468 140729944230272 140264395003008 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25465] ppid=25461 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7 /proc/25463/task/25465/stat : 25465 (java) S 25461 25461 18490 0 -1 1077944384 236 0 0 0 5 3 0 0 20 0 28 0 510884630 29458776064 109603 33554432000 4194304 4196468 140729944230272 140264310614288 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25466] ppid=25461 vsize=28768336 memory=1980 CPUtime=0.05 cores=0-7 /proc/25463/task/25466/stat : 25466 (java) S 25461 25461 18490 0 -1 1077944384 187 0 0 0 4 1 0 0 20 0 28 0 510884630 29458776064 109603 33554432000 4194304 4196468 140729944230272 140264309561744 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25467] ppid=25461 vsize=28768336 memory=1772 CPUtime=0.03 cores=0-7 /proc/25463/task/25467/stat : 25467 (java) S 25461 25461 18490 0 -1 1077944384 150 0 0 0 2 1 0 0 20 0 28 0 510884630 29458776064 109603 33554432000 4194304 4196468 140729944230272 140264308509200 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25468] ppid=25461 vsize=28768336 memory=2648 CPUtime=0.03 cores=0-7 /proc/25463/task/25468/stat : 25468 (java) S 25461 25461 18490 0 -1 1077944384 74 0 0 0 2 1 0 0 20 0 28 0 510884630 29458776064 109603 33554432000 4194304 4196468 140729944230272 140264307456656 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25469] ppid=25461 vsize=28768336 memory=56 CPUtime=0.07 cores=0-7 /proc/25463/task/25469/stat : 25469 (java) S 25461 25461 18490 0 -1 1077944384 172 0 0 0 5 2 0 0 20 0 28 0 510884630 29458776064 109603 33554432000 4194304 4196468 140729944230272 140264306404112 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25470] ppid=25461 vsize=28768336 memory=13898 CPUtime=0.03 cores=0-7 /proc/25463/task/25470/stat : 25470 (java) S 25461 25461 18490 0 -1 1077944384 134 0 0 0 2 1 0 0 20 0 28 0 510884630 29458776064 109603 33554432000 4194304 4196468 140729944230272 140264305351568 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25471] ppid=25461 vsize=28768336 memory=23464 CPUtime=0.04 cores=0-7 /proc/25463/task/25471/stat : 25471 (java) S 25461 25461 18490 0 -1 1077944384 201 0 0 0 3 1 0 0 20 0 28 0 510884630 29458776064 109603 33554432000 4194304 4196468 140729944230272 140263935826960 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25472] ppid=25461 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7 /proc/25463/task/25472/stat : 25472 (java) S 25461 25461 18490 0 -1 1077944384 166 0 0 0 6 2 0 0 20 0 28 0 510884630 29458776064 109603 33554432000 4194304 4196468 140729944230272 140263934774416 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25473] ppid=25461 vsize=28768336 memory=164 CPUtime=0.01 cores=0-7 /proc/25463/task/25473/stat : 25473 (java) S 25461 25461 18490 0 -1 1077944384 389 0 0 0 1 0 0 0 20 0 28 0 510884632 29458776064 109603 33554432000 4194304 4196468 140729944230272 140263056250864 140264390773378 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25474] ppid=25461 vsize=28768336 memory=6944656592455360604 CPUtime=0 cores=0-7 /proc/25463/task/25474/stat : 25474 (java) S 25461 25461 18490 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 510884632 29458776064 109603 33554432000 4194304 4196468 140729944230272 140263055197152 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25475] ppid=25461 vsize=28768336 memory=288289991136916877 CPUtime=0 cores=0-7 /proc/25463/task/25475/stat : 25475 (java) S 25461 25461 18490 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 510884632 29458776064 109603 33554432000 4194304 4196468 140729944230272 140263054144512 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25476] ppid=25461 vsize=28768336 memory=7089622823805349988 CPUtime=0 cores=0-7 /proc/25463/task/25476/stat : 25476 (java) S 25461 25461 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510884635 29458776064 109603 33554432000 4194304 4196468 140729944230272 140263053093072 140264390780827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25477] ppid=25461 vsize=28768336 memory=3616 CPUtime=3.22 cores=0-7 /proc/25463/task/25477/stat : 25477 (java) S 25461 25461 18490 0 -1 1077944384 8118 0 0 0 320 2 0 0 20 0 28 0 510884635 29458776064 109603 33554432000 4194304 4196468 140729944230272 140263052040688 140264390773378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25478] ppid=25461 vsize=28768336 memory=63148 CPUtime=3.43 cores=0-7 /proc/25463/task/25478/stat : 25478 (java) S 25461 25461 18490 0 -1 1077944384 7339 0 0 0 342 1 0 0 20 0 28 0 510884635 29458776064 109603 33554432000 4194304 4196468 140729944230272 140263050988144 140264390773378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25479] ppid=25461 vsize=28768336 memory=988 CPUtime=3.33 cores=0-7 /proc/25463/task/25479/stat : 25479 (java) S 25461 25461 18490 0 -1 1077944384 5907 0 0 0 332 1 0 0 20 0 28 0 510884635 29458776064 109603 33554432000 4194304 4196468 140729944230272 140263049935600 140264390773378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25480] ppid=25461 vsize=28768336 memory=2012 CPUtime=1.09 cores=0-7 /proc/25463/task/25480/stat : 25480 (java) S 25461 25461 18490 0 -1 1077944384 5766 0 0 0 107 2 0 0 20 0 28 0 510884635 29458776064 109603 33554432000 4194304 4196468 140729944230272 140263048883056 140264390773378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25481] ppid=25461 vsize=28768336 memory=1424 CPUtime=0 cores=0-7 /proc/25463/task/25481/stat : 25481 (java) S 25461 25461 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510884635 29458776064 109603 33554432000 4194304 4196468 140729944230272 140263047829728 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25482] ppid=25461 vsize=28768336 memory=57 CPUtime=0 cores=0-7 /proc/25463/task/25482/stat : 25482 (java) S 25461 25461 18490 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 510884635 29458776064 109603 33554432000 4194304 4196468 140729944230272 140263046777264 140264390773378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 Current children cumulated CPU time: 36.38 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 439864 KiB [startup+6.4848 s] # the end of solver process 25461 was just reported to runsolver # cumulated CPU time of all completed processes: user=37.0921 s, system=0.387581 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+6.40303 s] /proc/loadavg: 7.27 7.95 8.06 9/219 25602 /proc/meminfo: memFree=21685236/32770624 swapFree=67002364/67108860 [pid=25461] ppid=25458 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25461/stat : 25461 (xcsp3-exec) S 25458 25461 18490 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 510884629 115843072 363 33554432000 4194304 5098028 140722413403024 140722413401128 140717597061756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10330112 140722413405015 140722413405274 140722413405274 140722413408198 0 /proc/25461/statm: 28282 363 305 221 0 87 0 [pid=25463] ppid=25461 vsize=28768336 memory=438412 CPUtime=36.97 cores=0-7 /proc/25463/stat : 25463 (java) S 25461 25461 18490 0 -1 1077944320 44599 0 0 0 3660 37 0 0 20 0 28 0 510884629 29458776064 109603 33554432000 4194304 4196468 140729944230272 140729944212816 140264390762231 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 /proc/25463/statm: 7192084 109603 3543 1 0 7153184 0 [pid=25463/tid=25464] ppid=25461 vsize=28768336 memory=7805114613844357179 CPUtime=1.9 cores=0-7 /proc/25463/task/25464/stat : 25464 (java) S 25461 25461 18490 0 -1 1077944384 11067 0 0 0 183 7 0 0 20 0 28 0 510884629 29458776064 109603 33554432000 4194304 4196468 140729944230272 140264395003008 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25465] ppid=25461 vsize=28768336 memory=6525018278050408969 CPUtime=0.08 cores=0-7 /proc/25463/task/25465/stat : 25465 (java) S 25461 25461 18490 0 -1 1077944384 236 0 0 0 5 3 0 0 20 0 28 0 510884630 29458776064 109603 33554432000 4194304 4196468 140729944230272 140264310614288 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25466] ppid=25461 vsize=28768336 memory=7230354741939103283 CPUtime=0.05 cores=0-7 /proc/25463/task/25466/stat : 25466 (java) S 25461 25461 18490 0 -1 1077944384 187 0 0 0 4 1 0 0 20 0 28 0 510884630 29458776064 109603 33554432000 4194304 4196468 140729944230272 140264309561744 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25467] ppid=25461 vsize=28768336 memory=7588684549781677397 CPUtime=0.03 cores=0-7 /proc/25463/task/25467/stat : 25467 (java) S 25461 25461 18490 0 -1 1077944384 150 0 0 0 2 1 0 0 20 0 28 0 510884630 29458776064 109603 33554432000 4194304 4196468 140729944230272 140264308509200 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25468] ppid=25461 vsize=28768336 memory=1452 CPUtime=0.03 cores=0-7 /proc/25463/task/25468/stat : 25468 (java) S 25461 25461 18490 0 -1 1077944384 74 0 0 0 2 1 0 0 20 0 28 0 510884630 29458776064 109603 33554432000 4194304 4196468 140729944230272 140264307456656 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25469] ppid=25461 vsize=28768336 memory=241708 CPUtime=0.07 cores=0-7 /proc/25463/task/25469/stat : 25469 (java) S 25461 25461 18490 0 -1 1077944384 172 0 0 0 5 2 0 0 20 0 28 0 510884630 29458776064 109603 33554432000 4194304 4196468 140729944230272 140264306404112 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25470] ppid=25461 vsize=28768336 memory=6080211754067968106 CPUtime=0.03 cores=0-7 /proc/25463/task/25470/stat : 25470 (java) S 25461 25461 18490 0 -1 1077944384 134 0 0 0 2 1 0 0 20 0 28 0 510884630 29458776064 109603 33554432000 4194304 4196468 140729944230272 140264305351568 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25471] ppid=25461 vsize=28768336 memory=5933896499731190373 CPUtime=0.04 cores=0-7 /proc/25463/task/25471/stat : 25471 (java) S 25461 25461 18490 0 -1 1077944384 201 0 0 0 3 1 0 0 20 0 28 0 510884630 29458776064 109603 33554432000 4194304 4196468 140729944230272 140263935826960 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25472] ppid=25461 vsize=28768336 memory=6935649255759568960 CPUtime=0.08 cores=0-7 /proc/25463/task/25472/stat : 25472 (java) S 25461 25461 18490 0 -1 1077944384 166 0 0 0 6 2 0 0 20 0 28 0 510884630 29458776064 109603 33554432000 4194304 4196468 140729944230272 140263934774416 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25473] ppid=25461 vsize=28768336 memory=280630479444960 CPUtime=0.01 cores=0-7 /proc/25463/task/25473/stat : 25473 (java) S 25461 25461 18490 0 -1 1077944384 389 0 0 0 1 0 0 0 20 0 28 0 510884632 29458776064 109603 33554432000 4194304 4196468 140729944230272 140263056250864 140264390773378 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25474] ppid=25461 vsize=28768336 memory=7884513673025578324 CPUtime=0 cores=0-7 /proc/25463/task/25474/stat : 25474 (java) S 25461 25461 18490 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 510884632 29458776064 109603 33554432000 4194304 4196468 140729944230272 140263055197152 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25475] ppid=25461 vsize=28768336 memory=7522807337096145772 CPUtime=0 cores=0-7 /proc/25463/task/25475/stat : 25475 (java) S 25461 25461 18490 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 510884632 29458776064 109603 33554432000 4194304 4196468 140729944230272 140263054144512 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25476] ppid=25461 vsize=28768336 memory=386 CPUtime=0 cores=0-7 /proc/25463/task/25476/stat : 25476 (java) S 25461 25461 18490 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510884635 29458776064 109603 33554432000 4194304 4196468 140729944230272 140263053093072 140264390780827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25477] ppid=25461 vsize=28768336 memory=13 CPUtime=3.22 cores=0-7 /proc/25463/task/25477/stat : 25477 (java) S 25461 25461 18490 0 -1 1077944384 8118 0 0 0 320 2 0 0 20 0 28 0 510884635 29458776064 109603 33554432000 4194304 4196468 140729944230272 140263052040688 140264390773378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25478] ppid=25461 vsize=28768336 memory=0 CPUtime=3.44 cores=0-7 /proc/25463/task/25478/stat : 25478 (java) R 25461 25461 18490 0 -1 4202560 7339 0 0 0 343 1 0 0 20 0 28 0 510884635 29458776064 109603 33554432000 4194304 4196468 140729944230272 140263050988144 140264374351993 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25479] ppid=25461 vsize=28768336 memory=1675 CPUtime=3.33 cores=0-7 /proc/25463/task/25479/stat : 25479 (java) R 25461 25461 18490 0 -1 1077944384 5907 0 0 0 332 1 0 0 20 0 28 0 510884635 29458776064 109603 33554432000 4194304 4196468 140729944230272 140263049935600 140264390773378 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25480] ppid=25461 vsize=28768336 memory=34263 CPUtime=1.09 cores=0-7 /proc/25463/task/25480/stat : 25480 (java) S 25461 25461 18490 0 -1 1077944384 5767 0 0 0 107 2 0 0 20 0 28 0 510884635 29458776064 109603 33554432000 4194304 4196468 140729944230272 140263048883056 140264390773378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25481] ppid=25461 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/25463/task/25481/stat : 25481 (java) S 25461 25461 18490 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510884635 29458776064 109603 33554432000 4194304 4196468 140729944230272 140263047829728 140264390772437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 [pid=25463/tid=25482] ppid=25461 vsize=28768336 memory=1 CPUtime=0 cores=0-7 /proc/25463/task/25482/stat : 25482 (java) S 25461 25461 18490 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 510884635 29458776064 109603 33554432000 4194304 4196468 140729944230272 140263046777264 140264390773378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19664896 140729944232924 140729944233099 140729944233099 140729944235983 0 Current children cumulated CPU time: 36.97 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 439864 KiB Child status: 0 Real time (s): 6.48485 CPU time (s): 37.4797 CPU user time (s): 37.0921 CPU system time (s): 0.387581 CPU usage (%): 577.957 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 439864 getrusage(RUSAGE_CHILDREN,...) data: user time used= 37.0921 system time used= 0.387581 maximum resident set size= 439108 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45230 page faults= 0 swaps= 0 block input operations= 0 block output operations= 136 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5591 involuntary context switches= 794 # summary of solver processes directly reported to runsolver: # pid: 25461 # total CPU time (s): 37.4797 # total CPU user time (s): 37.0921 # total CPU system time (s): 0.387581 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.069156 second user time and 0.112379 second system time The end
Begin job on node146 at 2019-09-24 20:27:46 IDJOB=4407423 IDBENCH=140491 IDSOLVER=2872 FILE ID=node146/4407423-1569349707 RUNJOBID= node146-1569335937-18517 PBS_JOBID= 21705051 Free space on /var/tmp= 13508 MiB SOLVER NAME= choco-solver 2019-09-24 parallel BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-wbop-30-30-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407423-1569349707/watcher-4407423-1569349707 -o /var/tmp/evaluation-result-4407423-1569349707/solver-4407423-1569349707 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node146-1569335937-18517 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1642262598 HOME/instance-4407423-1569349707.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 67a2d403e3bfd604d92484151c447548 RANDOM SEED=1642262598 node146.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 : 5332.90 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 : 5332.90 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 : 5332.90 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 : 5332.90 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: 22111068 kB MemAvailable: 31839376 kB Buffers: 149160 kB Cached: 9616712 kB SwapCached: 3568 kB Active: 4855644 kB Inactive: 4915920 kB Active(anon): 5464 kB Inactive(anon): 56464 kB Active(file): 4850180 kB Inactive(file): 4859456 kB Unevictable: 110892 kB Mlocked: 110892 kB SwapTotal: 67108860 kB SwapFree: 67002364 kB Dirty: 26268 kB Writeback: 0 kB AnonPages: 156236 kB Mapped: 57068 kB Shmem: 47620 kB Slab: 475816 kB SReclaimable: 447132 kB SUnreclaim: 28684 kB KernelStack: 3728 kB PageTables: 6188 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 517132 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 108544 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 109952 kB DirectMap2M: 33435648 kB Free space on /var/tmp at the end= 13480 MiB End job on node146 at 2019-09-24 20:27:52