Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-16 parallel | OPT | 3 | 37.6407 | 6.54104 |
Name | OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbop-30-30-1.xml |
MD5SUM | 305bfce3403e7be8ea8343edd9c7d9a7 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 25.4304 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2760 |
Number of constraints | 2731 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 31 |
Distribution of domain sizes | [{"size":2,"count":1800},{"size":3,"count":900},{"size":30,"count":30},{"size":31,"count":30}] |
Minimum variable degree | 2 |
Maximum variable degree | 31 |
Distribution of variable degrees | [{"degree":2,"count":960},{"degree":3,"count":1770},{"degree":31,"count":30}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 31 |
Distribution of constraint arities | [{"arity":2,"count":930},{"arity":3,"count":1770},{"arity":30,"count":1},{"arity":31,"count":30}] |
Number of extensional constraints | 900 |
Number of intensional constraints | 900 |
Distribution of constraint types | [{"type":"extension","count":900},{"type":"intension","count":900},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"element","count":900}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4400219-1568710735.xml" -tl '2016s' -p 8 0.12/0.20 c Choco e747e1e 0.12/0.20 c [HOME/instance-4400219-1568710735.xml, -tl, 2016s, -p, 8] 0.33/0.24 c 8 solvers in parallel 0.33/0.31 c parse instance... 7.46/2.08 c solve instance... 9.30/2.36 o 19 9.30/2.38 o 18 9.30/2.40 o 17 10.01/2.41 o 16 10.65/2.57 o 15 12.06/2.84 o 14 12.06/2.88 o 13 14.59/3.25 o 12 15.18/3.32 o 11 15.87/3.48 o 10 17.06/3.70 o 9 17.30/3.73 o 8 17.88/3.80 o 7 23.95/4.63 o 6 24.42/4.71 o 5 35.65/6.16 o 4 36.30/6.36 o 3 37.43/6.52 s OPTIMUM FOUND 37.43/6.52 v <instantiation> 37.43/6.52 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> 37.43/6.52 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> 37.43/6.52 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: 16375 MiB (14415 MiB free) memory of node 1: 16384 MiB (15446 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400219-1568710735/watcher-4400219-1568710735 -o /tmp/evaluation-result-4400219-1568710735/solver-4400219-1568710735 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568700981-18697 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1241747875 HOME/instance-4400219-1568710735.xml running on 8 cores: 0-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=23554, runsolver pid=23551 Current StackSize limit: 8192 KiB [startup+0.100138 s]* /proc/loadavg: 7.69 8.06 8.18 3/211 23575 /proc/meminfo: memFree=30561804/32770688 swapFree=66961212/67108860 [pid=23554] ppid=23551 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/23554/stat : 23554 (xcsp3-exec) S 23551 23554 18670 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447015214 115843072 362 33554432000 4194304 5098028 140722307723456 140722307721560 139829812499068 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8142848 140722307732347 140722307732590 140722307732590 140722307735498 0 /proc/23554/statm: 28282 362 304 221 0 87 0 [pid=23556] ppid=23554 vsize=28227396 memory=30356 CPUtime=0.12 cores=0-7 /proc/23556/stat : 23556 (java) S 23554 23554 18670 0 -1 1077944320 5462 0 0 0 11 1 0 0 20 0 20 0 447015214 28904853504 7589 33554432000 4194304 4196468 140725960519712 140725960502256 140571438218999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 /proc/23556/statm: 7056849 7589 3149 1 0 7019032 0 [pid=23556/tid=23557] ppid=23554 vsize=28227396 memory=1398722017469774279 CPUtime=0.08 cores=0-7 /proc/23556/task/23557/stat : 23557 (java) R 23554 23554 18670 0 -1 4202560 3393 0 0 0 8 0 0 0 20 0 20 0 447015214 28904853504 7589 33554432000 4194304 4196468 140725960519712 140571442439808 140571438230934 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23558] ppid=23554 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/23556/task/23558/stat : 23558 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447015215 28904853504 7589 33554432000 4194304 4196468 140725960519712 140570989288080 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23559] ppid=23554 vsize=28227396 memory=140533012739712 CPUtime=0 cores=0-7 /proc/23556/task/23559/stat : 23559 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447015215 28904853504 7589 33554432000 4194304 4196468 140725960519712 140570988235280 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23560] ppid=23554 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23560/stat : 23560 (java) S 23554 23554 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447015215 28904853504 7589 33554432000 4194304 4196468 140725960519712 140570987182480 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23561] ppid=23554 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23561/stat : 23561 (java) S 23554 23554 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447015215 28904853504 7589 33554432000 4194304 4196468 140725960519712 140570986129680 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23562] ppid=23554 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23562/stat : 23562 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447015215 28904853504 7589 33554432000 4194304 4196468 140725960519712 140570985077904 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23563] ppid=23554 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23556/task/23563/stat : 23563 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447015215 28904853504 7589 33554432000 4194304 4196468 140725960519712 140570984025104 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23564] ppid=23554 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23564/stat : 23564 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447015215 28904853504 7589 33554432000 4194304 4196468 140725960519712 140570982972304 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23565] ppid=23554 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23565/stat : 23565 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447015215 28904853504 7589 33554432000 4194304 4196468 140725960519712 140570981919504 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23566] ppid=23554 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23566/stat : 23566 (java) S 23554 23554 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447015217 28904853504 7589 33554432000 4194304 4196468 140725960519712 140569566181744 140571438230146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23567] ppid=23554 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23567/stat : 23567 (java) S 23554 23554 18670 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447015217 28904853504 7589 33554432000 4194304 4196468 140725960519712 140569565127712 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23568] ppid=23554 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23568/stat : 23568 (java) S 23554 23554 18670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447015217 28904853504 7589 33554432000 4194304 4196468 140725960519712 140569564074864 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23569] ppid=23554 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23569/stat : 23569 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447015220 28904853504 7589 33554432000 4194304 4196468 140725960519712 140569563023184 140571438237595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23570] ppid=23554 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23570/stat : 23570 (java) S 23554 23554 18670 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 20 0 447015220 28904853504 7589 33554432000 4194304 4196468 140725960519712 140569561971568 140571438230146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23571] ppid=23554 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23571/stat : 23571 (java) S 23554 23554 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447015220 28904853504 7589 33554432000 4194304 4196468 140725960519712 140569560918768 140571438230146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23572] ppid=23554 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23572/stat : 23572 (java) S 23554 23554 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447015220 28904853504 7589 33554432000 4194304 4196468 140725960519712 140569559865968 140571438230146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23573] ppid=23554 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/23556/task/23573/stat : 23573 (java) R 23554 23554 18670 0 -1 4202560 336 0 0 0 1 0 0 0 20 0 20 0 447015220 28904853504 7589 33554432000 4194304 4196468 140725960519712 140569558813168 140571438240346 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23574] ppid=23554 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23574/stat : 23574 (java) S 23554 23554 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447015220 28904853504 7589 33554432000 4194304 4196468 140725960519712 140569557760608 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23575] ppid=23554 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23556/task/23575/stat : 23575 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447015221 28904853504 7589 33554432000 4194304 4196468 140725960519712 140569556707888 140571438230146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31804 KiB [startup+0.211467 s]* /proc/loadavg: 7.69 8.06 8.18 2/211 23575 /proc/meminfo: memFree=30549780/32770688 swapFree=66961212/67108860 [pid=23554] ppid=23551 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/23554/stat : 23554 (xcsp3-exec) S 23551 23554 18670 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447015214 115843072 362 33554432000 4194304 5098028 140722307723456 140722307721560 139829812499068 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8142848 140722307732347 140722307732590 140722307732590 140722307735498 0 /proc/23554/statm: 28282 362 304 221 0 87 0 [pid=23556] ppid=23554 vsize=28227396 memory=40424 CPUtime=0.33 cores=0-7 /proc/23556/stat : 23556 (java) S 23554 23554 18670 0 -1 1077944320 8834 0 0 0 31 2 0 0 20 0 20 0 447015214 28904853504 10106 33554432000 4194304 4196468 140725960519712 140725960502256 140571438218999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 /proc/23556/statm: 7056849 10106 3270 1 0 7019032 0 [pid=23556/tid=23557] ppid=23554 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/23556/task/23557/stat : 23557 (java) R 23554 23554 18670 0 -1 4202560 6147 0 0 0 18 2 0 0 20 0 20 0 447015214 28904853504 10106 33554432000 4194304 4196468 140725960519712 140571442438336 140571438230934 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23558] ppid=23554 vsize=28227396 memory=342 CPUtime=0 cores=0-7 /proc/23556/task/23558/stat : 23558 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447015215 28904853504 10106 33554432000 4194304 4196468 140725960519712 140570989288080 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23559] ppid=23554 vsize=28227396 memory=140533016041980 CPUtime=0 cores=0-7 /proc/23556/task/23559/stat : 23559 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447015215 28904853504 10106 33554432000 4194304 4196468 140725960519712 140570988235280 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23560] ppid=23554 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23556/task/23560/stat : 23560 (java) S 23554 23554 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447015215 28904853504 10106 33554432000 4194304 4196468 140725960519712 140570987182480 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23561] ppid=23554 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23561/stat : 23561 (java) S 23554 23554 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447015215 28904853504 10106 33554432000 4194304 4196468 140725960519712 140570986129680 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23562] ppid=23554 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23562/stat : 23562 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447015215 28904853504 10106 33554432000 4194304 4196468 140725960519712 140570985077904 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23563] ppid=23554 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23556/task/23563/stat : 23563 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447015215 28904853504 10106 33554432000 4194304 4196468 140725960519712 140570984025104 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23564] ppid=23554 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23564/stat : 23564 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447015215 28904853504 10106 33554432000 4194304 4196468 140725960519712 140570982972304 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23565] ppid=23554 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23565/stat : 23565 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447015215 28904853504 10106 33554432000 4194304 4196468 140725960519712 140570981919504 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23566] ppid=23554 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23566/stat : 23566 (java) S 23554 23554 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447015217 28904853504 10106 33554432000 4194304 4196468 140725960519712 140569566181744 140571438230146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23567] ppid=23554 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23567/stat : 23567 (java) S 23554 23554 18670 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447015217 28904853504 10106 33554432000 4194304 4196468 140725960519712 140569565127712 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23568] ppid=23554 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23568/stat : 23568 (java) S 23554 23554 18670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447015217 28904853504 10106 33554432000 4194304 4196468 140725960519712 140569564074864 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23569] ppid=23554 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23569/stat : 23569 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447015220 28904853504 10106 33554432000 4194304 4196468 140725960519712 140569563023184 140571438237595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23570] ppid=23554 vsize=28227396 memory=0 CPUtime=0.03 cores=0-7 /proc/23556/task/23570/stat : 23570 (java) S 23554 23554 18670 0 -1 1077944384 568 0 0 0 3 0 0 0 20 0 20 0 447015220 28904853504 10106 33554432000 4194304 4196468 140725960519712 140569561971568 140571438230146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23571] ppid=23554 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/23556/task/23571/stat : 23571 (java) S 23554 23554 18670 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 20 0 447015220 28904853504 10106 33554432000 4194304 4196468 140725960519712 140569560918768 140571438230146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23572] ppid=23554 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23556/task/23572/stat : 23572 (java) S 23554 23554 18670 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 447015220 28904853504 10106 33554432000 4194304 4196468 140725960519712 140569559865968 140571438230146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23573] ppid=23554 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7 /proc/23556/task/23573/stat : 23573 (java) R 23554 23554 18670 0 -1 4202560 750 0 0 0 7 0 0 0 20 0 20 0 447015220 28904853504 10106 33554432000 4194304 4196468 140725960519712 140569558813168 140571417127745 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23574] ppid=23554 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23574/stat : 23574 (java) S 23554 23554 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447015220 28904853504 10106 33554432000 4194304 4196468 140725960519712 140569557760608 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23575] ppid=23554 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23556/task/23575/stat : 23575 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447015221 28904853504 10106 33554432000 4194304 4196468 140725960519712 140569556707888 140571438230146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 41872 KiB [startup+0.310767 s]* /proc/loadavg: 7.69 8.06 8.18 2/211 23575 /proc/meminfo: memFree=30545300/32770688 swapFree=66961212/67108860 [pid=23554] ppid=23551 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/23554/stat : 23554 (xcsp3-exec) S 23551 23554 18670 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447015214 115843072 362 33554432000 4194304 5098028 140722307723456 140722307721560 139829812499068 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8142848 140722307732347 140722307732590 140722307732590 140722307735498 0 /proc/23554/statm: 28282 362 304 221 0 87 0 [pid=23556] ppid=23554 vsize=28231652 memory=46376 CPUtime=0.52 cores=0-7 /proc/23556/stat : 23556 (java) S 23554 23554 18670 0 -1 1077944320 10113 0 0 0 49 3 0 0 20 0 20 0 447015214 28909211648 11594 33554432000 4194304 4196468 140725960519712 140725960502256 140571438218999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 /proc/23556/statm: 7057913 11594 3299 1 0 7019032 0 [pid=23556/tid=23557] ppid=23554 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/23556/task/23557/stat : 23557 (java) R 23554 23554 18670 0 -1 4202560 7207 0 0 0 27 2 0 0 20 0 20 0 447015214 28909211648 11594 33554432000 4194304 4196468 140725960519712 140571442420288 140571422299486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23558] ppid=23554 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23558/stat : 23558 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447015215 28909211648 11594 33554432000 4194304 4196468 140725960519712 140570989288080 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23559] ppid=23554 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23559/stat : 23559 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447015215 28909211648 11594 33554432000 4194304 4196468 140725960519712 140570988235280 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23560] ppid=23554 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23560/stat : 23560 (java) S 23554 23554 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447015215 28909211648 11594 33554432000 4194304 4196468 140725960519712 140570987182480 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23561] ppid=23554 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23561/stat : 23561 (java) S 23554 23554 18670 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447015215 28909211648 11594 33554432000 4194304 4196468 140725960519712 140570986129680 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23562] ppid=23554 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23562/stat : 23562 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447015215 28909211648 11594 33554432000 4194304 4196468 140725960519712 140570985077904 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23563] ppid=23554 vsize=28231652 memory=140532873521839 CPUtime=0 cores=0-7 /proc/23556/task/23563/stat : 23563 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447015215 28909211648 11594 33554432000 4194304 4196468 140725960519712 140570984025104 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23564] ppid=23554 vsize=28231652 memory=140532873524144 CPUtime=0 cores=0-7 /proc/23556/task/23564/stat : 23564 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447015215 28909211648 11594 33554432000 4194304 4196468 140725960519712 140570982972304 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23565] ppid=23554 vsize=28231652 memory=140532873526448 CPUtime=0 cores=0-7 /proc/23556/task/23565/stat : 23565 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447015215 28909211648 11594 33554432000 4194304 4196468 140725960519712 140570981919504 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23566] ppid=23554 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23566/stat : 23566 (java) S 23554 23554 18670 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447015217 28909211648 11594 33554432000 4194304 4196468 140725960519712 140569566181744 140571438230146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23567] ppid=23554 vsize=28231652 memory=281065747066768 CPUtime=0 cores=0-7 /proc/23556/task/23567/stat : 23567 (java) S 23554 23554 18670 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447015217 28909211648 11594 33554432000 4194304 4196468 140725960519712 140569565127712 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23568] ppid=23554 vsize=28231652 memory=281065747064464 CPUtime=0 cores=0-7 /proc/23556/task/23568/stat : 23568 (java) S 23554 23554 18670 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447015217 28909211648 11594 33554432000 4194304 4196468 140725960519712 140569564074864 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23569] ppid=23554 vsize=28231652 memory=281065747071376 CPUtime=0 cores=0-7 /proc/23556/task/23569/stat : 23569 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447015220 28909211648 11594 33554432000 4194304 4196468 140725960519712 140569563023184 140571438237595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23570] ppid=23554 vsize=28231652 memory=281065747012624 CPUtime=0.03 cores=0-7 /proc/23556/task/23570/stat : 23570 (java) S 23554 23554 18670 0 -1 1077944384 582 0 0 0 3 0 0 0 20 0 20 0 447015220 28909211648 11594 33554432000 4194304 4196468 140725960519712 140569561971568 140571438230146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23571] ppid=23554 vsize=28231652 memory=281065747085200 CPUtime=0.02 cores=0-7 /proc/23556/task/23571/stat : 23571 (java) R 23554 23554 18670 0 -1 4202560 56 0 0 0 2 0 0 0 20 0 20 0 447015220 28909211648 11594 33554432000 4194304 4196468 140725960519712 140569560918768 140571419393491 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23572] ppid=23554 vsize=28231652 memory=281065747092112 CPUtime=0.02 cores=0-7 /proc/23556/task/23572/stat : 23572 (java) S 23554 23554 18670 0 -1 1077944384 67 0 0 0 2 0 0 0 20 0 20 0 447015220 28909211648 11594 33554432000 4194304 4196468 140725960519712 140569559865968 140571438230146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23573] ppid=23554 vsize=28231652 memory=281065747089808 CPUtime=0.12 cores=0-7 /proc/23556/task/23573/stat : 23573 (java) R 23554 23554 18670 0 -1 4202560 893 0 0 0 12 0 0 0 20 0 20 0 447015220 28909211648 11594 33554432000 4194304 4196468 140725960519712 140569558813168 140571422299486 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23574] ppid=23554 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23574/stat : 23574 (java) S 23554 23554 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447015220 28909211648 11594 33554432000 4194304 4196468 140725960519712 140569557760608 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23575] ppid=23554 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/23556/task/23575/stat : 23575 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447015221 28909211648 11594 33554432000 4194304 4196468 140725960519712 140569556707888 140571438230146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 47824 KiB [startup+0.701013 s] /proc/loadavg: 7.69 8.06 8.18 6/211 23575 /proc/meminfo: memFree=30521532/32770688 swapFree=66961212/67108860 [pid=23554] ppid=23551 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/23554/stat : 23554 (xcsp3-exec) S 23551 23554 18670 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447015214 115843072 362 33554432000 4194304 5098028 140722307723456 140722307721560 139829812499068 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8142848 140722307732347 140722307732590 140722307732590 140722307735498 0 /proc/23554/statm: 28282 362 304 221 0 87 0 [pid=23556] ppid=23554 vsize=28233776 memory=101088 CPUtime=1.92 cores=0-7 /proc/23556/stat : 23556 (java) S 23554 23554 18670 0 -1 1077944320 15558 0 0 0 186 6 0 0 20 0 20 0 447015214 28911386624 25272 33554432000 4194304 4196468 140725960519712 140725960502256 140571438218999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 /proc/23556/statm: 7058444 25272 3448 1 0 7019544 0 [pid=23556/tid=23557] ppid=23554 vsize=28233776 memory=0 CPUtime=0.67 cores=0-7 /proc/23556/task/23557/stat : 23557 (java) R 23554 23554 18670 0 -1 4202560 8113 0 0 0 64 3 0 0 20 0 20 0 447015214 28911386624 25272 33554432000 4194304 4196468 140725960519712 140571442438160 140571438230934 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23558] ppid=23554 vsize=28233776 memory=140532873732976 CPUtime=0 cores=0-7 /proc/23556/task/23558/stat : 23558 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447015215 28911386624 25272 33554432000 4194304 4196468 140725960519712 140570989288080 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23559] ppid=23554 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23559/stat : 23559 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447015215 28911386624 25272 33554432000 4194304 4196468 140725960519712 140570988235280 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23560] ppid=23554 vsize=28233776 memory=1564 CPUtime=0 cores=0-7 /proc/23556/task/23560/stat : 23560 (java) S 23554 23554 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447015215 28911386624 25272 33554432000 4194304 4196468 140725960519712 140570987182480 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 ################ # More data... # ################ /proc/loadavg: 7.39 7.99 8.16 12/219 23703 /proc/meminfo: memFree=30148380/32770688 swapFree=66961212/67108860 [pid=23554] ppid=23551 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/23554/stat : 23554 (xcsp3-exec) S 23551 23554 18670 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447015214 115843072 362 33554432000 4194304 5098028 140722307723456 140722307721560 139829812499068 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8142848 140722307732347 140722307732590 140722307732590 140722307735498 0 /proc/23554/statm: 28282 362 304 221 0 87 0 [pid=23556] ppid=23554 vsize=28768336 memory=442440 CPUtime=36.3 cores=0-7 /proc/23556/stat : 23556 (java) S 23554 23554 18670 0 -1 1077944320 41149 0 0 0 3592 38 0 0 20 0 28 0 447015214 29458776064 110610 33554432000 4194304 4196468 140725960519712 140725960502256 140571438218999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 /proc/23556/statm: 7192084 110610 3541 1 0 7153184 0 [pid=23556/tid=23557] ppid=23554 vsize=28768336 memory=1414351094373861289 CPUtime=2.1 cores=0-7 /proc/23556/task/23557/stat : 23557 (java) S 23554 23554 18670 0 -1 1077944384 11654 0 0 0 202 8 0 0 20 0 28 0 447015214 29458776064 110610 33554432000 4194304 4196468 140725960519712 140571442459776 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23558] ppid=23554 vsize=28768336 memory=442440 CPUtime=0.09 cores=0-7 /proc/23556/task/23558/stat : 23558 (java) S 23554 23554 18670 0 -1 1077944384 172 0 0 0 7 2 0 0 20 0 28 0 447015215 29458776064 110610 33554432000 4194304 4196468 140725960519712 140570989288080 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23559] ppid=23554 vsize=28768336 memory=1448 CPUtime=0.06 cores=0-7 /proc/23556/task/23559/stat : 23559 (java) S 23554 23554 18670 0 -1 1077944384 118 0 0 0 4 2 0 0 20 0 28 0 447015215 29458776064 110610 33554432000 4194304 4196468 140725960519712 140570988235280 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23560] ppid=23554 vsize=28768336 memory=1 CPUtime=0.05 cores=0-7 /proc/23556/task/23560/stat : 23560 (java) S 23554 23554 18670 0 -1 1077944384 109 0 0 0 4 1 0 0 20 0 28 0 447015215 29458776064 110610 33554432000 4194304 4196468 140725960519712 140570987182480 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23561] ppid=23554 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7 /proc/23556/task/23561/stat : 23561 (java) S 23554 23554 18670 0 -1 1077944384 166 0 0 0 6 2 0 0 20 0 28 0 447015215 29458776064 110610 33554432000 4194304 4196468 140725960519712 140570986129680 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23562] ppid=23554 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7 /proc/23556/task/23562/stat : 23562 (java) S 23554 23554 18670 0 -1 1077944384 187 0 0 0 7 2 0 0 20 0 28 0 447015215 29458776064 110610 33554432000 4194304 4196468 140725960519712 140570985077904 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23563] ppid=23554 vsize=28768336 memory=0 CPUtime=0.05 cores=0-7 /proc/23556/task/23563/stat : 23563 (java) S 23554 23554 18670 0 -1 1077944384 133 0 0 0 4 1 0 0 20 0 28 0 447015215 29458776064 110610 33554432000 4194304 4196468 140725960519712 140570984025104 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23564] ppid=23554 vsize=28768336 memory=442440 CPUtime=0.08 cores=0-7 /proc/23556/task/23564/stat : 23564 (java) S 23554 23554 18670 0 -1 1077944384 578 0 0 0 6 2 0 0 20 0 28 0 447015215 29458776064 110610 33554432000 4194304 4196468 140725960519712 140570982972304 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23565] ppid=23554 vsize=28768336 memory=9316 CPUtime=0.06 cores=0-7 /proc/23556/task/23565/stat : 23565 (java) S 23554 23554 18670 0 -1 1077944384 178 0 0 0 5 1 0 0 20 0 28 0 447015215 29458776064 110610 33554432000 4194304 4196468 140725960519712 140570981919504 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23566] ppid=23554 vsize=28768336 memory=3612 CPUtime=0.01 cores=0-7 /proc/23556/task/23566/stat : 23566 (java) S 23554 23554 18670 0 -1 1077944384 460 0 0 0 1 0 0 0 20 0 28 0 447015217 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569566181744 140571438230146 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23567] ppid=23554 vsize=28768336 memory=47060 CPUtime=0 cores=0-7 /proc/23556/task/23567/stat : 23567 (java) S 23554 23554 18670 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 447015217 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569565127776 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23568] ppid=23554 vsize=28768336 memory=281065746987640 CPUtime=0 cores=0-7 /proc/23556/task/23568/stat : 23568 (java) S 23554 23554 18670 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 447015217 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569564074880 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23569] ppid=23554 vsize=28768336 memory=281065747331328 CPUtime=0 cores=0-7 /proc/23556/task/23569/stat : 23569 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447015220 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569563023184 140571438237595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23570] ppid=23554 vsize=28768336 memory=281065747748384 CPUtime=3.52 cores=0-7 /proc/23556/task/23570/stat : 23570 (java) S 23554 23554 18670 0 -1 1077944384 7021 0 0 0 351 1 0 0 20 0 28 0 447015220 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569561971568 140571438230146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23571] ppid=23554 vsize=28768336 memory=281065747748576 CPUtime=3.38 cores=0-7 /proc/23556/task/23571/stat : 23571 (java) S 23554 23554 18670 0 -1 1077944384 6152 0 0 0 337 1 0 0 20 0 28 0 447015220 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569560918768 140571438230146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23572] ppid=23554 vsize=28768336 memory=0 CPUtime=3.43 cores=0-7 /proc/23556/task/23572/stat : 23572 (java) S 23554 23554 18670 0 -1 1077944384 5093 0 0 0 342 1 0 0 20 0 28 0 447015220 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569559865968 140571438230146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23573] ppid=23554 vsize=28768336 memory=281065747427536 CPUtime=1.17 cores=0-7 /proc/23556/task/23573/stat : 23573 (java) S 23554 23554 18670 0 -1 1077944384 4992 0 0 0 114 3 0 0 20 0 28 0 447015220 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569558813168 140571438230146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23574] ppid=23554 vsize=28768336 memory=-6237260532469557610 CPUtime=0 cores=0-7 /proc/23556/task/23574/stat : 23574 (java) S 23554 23554 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447015220 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569557760608 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23575] ppid=23554 vsize=28768336 memory=6944656592455097440 CPUtime=0 cores=0-7 /proc/23556/task/23575/stat : 23575 (java) S 23554 23554 18670 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 447015221 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569556707888 140571438230146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 Current children cumulated CPU time: 36.3 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 443888 KiB [startup+6.54099 s] # the end of solver process 23554 was just reported to runsolver # cumulated CPU time of all completed processes: user=37.244 s, system=0.39671 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+6.40169 s] /proc/loadavg: 7.39 7.99 8.16 12/219 23703 /proc/meminfo: memFree=30148380/32770688 swapFree=66961212/67108860 [pid=23554] ppid=23551 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/23554/stat : 23554 (xcsp3-exec) S 23551 23554 18670 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447015214 115843072 362 33554432000 4194304 5098028 140722307723456 140722307721560 139829812499068 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8142848 140722307732347 140722307732590 140722307732590 140722307735498 0 /proc/23554/statm: 28282 362 304 221 0 87 0 [pid=23556] ppid=23554 vsize=28768336 memory=442440 CPUtime=36.63 cores=0-7 /proc/23556/stat : 23556 (java) S 23554 23554 18670 0 -1 1077944320 41285 0 0 0 3625 38 0 0 20 0 28 0 447015214 29458776064 110610 33554432000 4194304 4196468 140725960519712 140725960502256 140571438218999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 /proc/23556/statm: 7192084 110610 3541 1 0 7153184 0 [pid=23556/tid=23557] ppid=23554 vsize=28768336 memory=6791534058613427641 CPUtime=2.1 cores=0-7 /proc/23556/task/23557/stat : 23557 (java) S 23554 23554 18670 0 -1 1077944384 11654 0 0 0 202 8 0 0 20 0 28 0 447015214 29458776064 110610 33554432000 4194304 4196468 140725960519712 140571442459776 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23558] ppid=23554 vsize=28768336 memory=-3253322038155611931 CPUtime=0.09 cores=0-7 /proc/23556/task/23558/stat : 23558 (java) S 23554 23554 18670 0 -1 1077944384 172 0 0 0 7 2 0 0 20 0 28 0 447015215 29458776064 110610 33554432000 4194304 4196468 140725960519712 140570989288080 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23559] ppid=23554 vsize=28768336 memory=0 CPUtime=0.06 cores=0-7 /proc/23556/task/23559/stat : 23559 (java) S 23554 23554 18670 0 -1 1077944384 118 0 0 0 4 2 0 0 20 0 28 0 447015215 29458776064 110610 33554432000 4194304 4196468 140725960519712 140570988235280 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23560] ppid=23554 vsize=28768336 memory=0 CPUtime=0.05 cores=0-7 /proc/23556/task/23560/stat : 23560 (java) S 23554 23554 18670 0 -1 1077944384 109 0 0 0 4 1 0 0 20 0 28 0 447015215 29458776064 110610 33554432000 4194304 4196468 140725960519712 140570987182480 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23561] ppid=23554 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7 /proc/23556/task/23561/stat : 23561 (java) S 23554 23554 18670 0 -1 1077944384 166 0 0 0 6 2 0 0 20 0 28 0 447015215 29458776064 110610 33554432000 4194304 4196468 140725960519712 140570986129680 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23562] ppid=23554 vsize=28768336 memory=1056 CPUtime=0.09 cores=0-7 /proc/23556/task/23562/stat : 23562 (java) S 23554 23554 18670 0 -1 1077944384 187 0 0 0 7 2 0 0 20 0 28 0 447015215 29458776064 110610 33554432000 4194304 4196468 140725960519712 140570985077904 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23563] ppid=23554 vsize=28768336 memory=788 CPUtime=0.05 cores=0-7 /proc/23556/task/23563/stat : 23563 (java) S 23554 23554 18670 0 -1 1077944384 133 0 0 0 4 1 0 0 20 0 28 0 447015215 29458776064 110610 33554432000 4194304 4196468 140725960519712 140570984025104 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23564] ppid=23554 vsize=28768336 memory=1708 CPUtime=0.08 cores=0-7 /proc/23556/task/23564/stat : 23564 (java) S 23554 23554 18670 0 -1 1077944384 578 0 0 0 6 2 0 0 20 0 28 0 447015215 29458776064 110610 33554432000 4194304 4196468 140725960519712 140570982972304 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23565] ppid=23554 vsize=28768336 memory=1280 CPUtime=0.06 cores=0-7 /proc/23556/task/23565/stat : 23565 (java) S 23554 23554 18670 0 -1 1077944384 178 0 0 0 5 1 0 0 20 0 28 0 447015215 29458776064 110610 33554432000 4194304 4196468 140725960519712 140570981919504 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23566] ppid=23554 vsize=28768336 memory=6028 CPUtime=0.01 cores=0-7 /proc/23556/task/23566/stat : 23566 (java) S 23554 23554 18670 0 -1 1077944384 460 0 0 0 1 0 0 0 20 0 28 0 447015217 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569566181744 140571438230146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23567] ppid=23554 vsize=28768336 memory=780 CPUtime=0 cores=0-7 /proc/23556/task/23567/stat : 23567 (java) S 23554 23554 18670 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 447015217 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569565127776 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23568] ppid=23554 vsize=28768336 memory=1448 CPUtime=0 cores=0-7 /proc/23556/task/23568/stat : 23568 (java) S 23554 23554 18670 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 447015217 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569564074880 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23569] ppid=23554 vsize=28768336 memory=442440 CPUtime=0 cores=0-7 /proc/23556/task/23569/stat : 23569 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447015220 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569563023184 140571438237595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23570] ppid=23554 vsize=28768336 memory=7016671349533276567 CPUtime=3.52 cores=0-7 /proc/23556/task/23570/stat : 23570 (java) S 23554 23554 18670 0 -1 1077944384 7021 0 0 0 351 1 0 0 20 0 28 0 447015220 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569561971568 140571438230146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23571] ppid=23554 vsize=28768336 memory=4206468019030876256 CPUtime=3.38 cores=0-7 /proc/23556/task/23571/stat : 23571 (java) S 23554 23554 18670 0 -1 1077944384 6152 0 0 0 337 1 0 0 20 0 28 0 447015220 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569560918768 140571438230146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23572] ppid=23554 vsize=28768336 memory=-7533229591096565664 CPUtime=3.43 cores=0-7 /proc/23556/task/23572/stat : 23572 (java) S 23554 23554 18670 0 -1 1077944384 5093 0 0 0 342 1 0 0 20 0 28 0 447015220 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569559865968 140571438230146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23573] ppid=23554 vsize=28768336 memory=-9001727377965607015 CPUtime=1.17 cores=0-7 /proc/23556/task/23573/stat : 23573 (java) S 23554 23554 18670 0 -1 1077944384 4992 0 0 0 114 3 0 0 20 0 28 0 447015220 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569558813168 140571438230146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23574] ppid=23554 vsize=28768336 memory=281065747713392 CPUtime=0 cores=0-7 /proc/23556/task/23574/stat : 23574 (java) S 23554 23554 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447015220 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569557760608 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23575] ppid=23554 vsize=28768336 memory=7596845173068882262 CPUtime=0 cores=0-7 /proc/23556/task/23575/stat : 23575 (java) S 23554 23554 18670 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 447015221 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569556707888 140571438230146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 Current children cumulated CPU time: 36.63 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 443888 KiB [startup+6.50169 s] /proc/loadavg: 7.39 7.99 8.16 12/219 23703 /proc/meminfo: memFree=30148380/32770688 swapFree=66961212/67108860 [pid=23554] ppid=23551 vsize=113128 memory=1448 CPUtime=0 cores=0-7 /proc/23554/stat : 23554 (xcsp3-exec) S 23551 23554 18670 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447015214 115843072 362 33554432000 4194304 5098028 140722307723456 140722307721560 139829812499068 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 8142848 140722307732347 140722307732590 140722307732590 140722307735498 0 /proc/23554/statm: 28282 362 304 221 0 87 0 [pid=23556] ppid=23554 vsize=28768336 memory=442440 CPUtime=37.43 cores=0-7 /proc/23556/stat : 23556 (java) S 23554 23554 18670 0 -1 1077944320 41285 0 0 0 3705 38 0 0 20 0 28 0 447015214 29458776064 110610 33554432000 4194304 4196468 140725960519712 140725960502256 140571438218999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 /proc/23556/statm: 7192084 110610 3541 1 0 7153184 0 [pid=23556/tid=23557] ppid=23554 vsize=28768336 memory=1414351094373861289 CPUtime=2.1 cores=0-7 /proc/23556/task/23557/stat : 23557 (java) S 23554 23554 18670 0 -1 1077944384 11654 0 0 0 202 8 0 0 20 0 28 0 447015214 29458776064 110610 33554432000 4194304 4196468 140725960519712 140571442459776 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23558] ppid=23554 vsize=28768336 memory=442440 CPUtime=0.09 cores=0-7 /proc/23556/task/23558/stat : 23558 (java) S 23554 23554 18670 0 -1 1077944384 172 0 0 0 7 2 0 0 20 0 28 0 447015215 29458776064 110610 33554432000 4194304 4196468 140725960519712 140570989288080 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23559] ppid=23554 vsize=28768336 memory=1448 CPUtime=0.06 cores=0-7 /proc/23556/task/23559/stat : 23559 (java) S 23554 23554 18670 0 -1 1077944384 118 0 0 0 4 2 0 0 20 0 28 0 447015215 29458776064 110610 33554432000 4194304 4196468 140725960519712 140570988235280 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23560] ppid=23554 vsize=28768336 memory=281065747427536 CPUtime=0.05 cores=0-7 /proc/23556/task/23560/stat : 23560 (java) S 23554 23554 18670 0 -1 1077944384 109 0 0 0 4 1 0 0 20 0 28 0 447015215 29458776064 110610 33554432000 4194304 4196468 140725960519712 140570987182480 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23561] ppid=23554 vsize=28768336 memory=-6237260532469557610 CPUtime=0.08 cores=0-7 /proc/23556/task/23561/stat : 23561 (java) S 23554 23554 18670 0 -1 1077944384 166 0 0 0 6 2 0 0 20 0 28 0 447015215 29458776064 110610 33554432000 4194304 4196468 140725960519712 140570986129680 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23562] ppid=23554 vsize=28768336 memory=6944656592455097440 CPUtime=0.09 cores=0-7 /proc/23556/task/23562/stat : 23562 (java) S 23554 23554 18670 0 -1 1077944384 187 0 0 0 7 2 0 0 20 0 28 0 447015215 29458776064 110610 33554432000 4194304 4196468 140725960519712 140570985077904 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23563] ppid=23554 vsize=28768336 memory=6791534058613427641 CPUtime=0.05 cores=0-7 /proc/23556/task/23563/stat : 23563 (java) S 23554 23554 18670 0 -1 1077944384 133 0 0 0 4 1 0 0 20 0 28 0 447015215 29458776064 110610 33554432000 4194304 4196468 140725960519712 140570984025104 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23564] ppid=23554 vsize=28768336 memory=7596845173068882262 CPUtime=0.08 cores=0-7 /proc/23556/task/23564/stat : 23564 (java) S 23554 23554 18670 0 -1 1077944384 578 0 0 0 6 2 0 0 20 0 28 0 447015215 29458776064 110610 33554432000 4194304 4196468 140725960519712 140570982972304 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23565] ppid=23554 vsize=28768336 memory=7596845173068882262 CPUtime=0.06 cores=0-7 /proc/23556/task/23565/stat : 23565 (java) S 23554 23554 18670 0 -1 1077944384 178 0 0 0 5 1 0 0 20 0 28 0 447015215 29458776064 110610 33554432000 4194304 4196468 140725960519712 140570981919504 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23566] ppid=23554 vsize=28768336 memory=1 CPUtime=0.01 cores=0-7 /proc/23556/task/23566/stat : 23566 (java) S 23554 23554 18670 0 -1 1077944384 460 0 0 0 1 0 0 0 20 0 28 0 447015217 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569566181744 140571438230146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23567] ppid=23554 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23567/stat : 23567 (java) S 23554 23554 18670 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 447015217 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569565127776 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23568] ppid=23554 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23568/stat : 23568 (java) S 23554 23554 18670 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 447015217 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569564074880 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23569] ppid=23554 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/23556/task/23569/stat : 23569 (java) S 23554 23554 18670 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447015220 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569563023184 140571438237595 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23570] ppid=23554 vsize=28768336 memory=442440 CPUtime=3.52 cores=0-7 /proc/23556/task/23570/stat : 23570 (java) S 23554 23554 18670 0 -1 1077944384 7021 0 0 0 351 1 0 0 20 0 28 0 447015220 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569561971568 140571438230146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23571] ppid=23554 vsize=28768336 memory=9316 CPUtime=3.38 cores=0-7 /proc/23556/task/23571/stat : 23571 (java) S 23554 23554 18670 0 -1 1077944384 6152 0 0 0 337 1 0 0 20 0 28 0 447015220 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569560918768 140571438230146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23572] ppid=23554 vsize=28768336 memory=3612 CPUtime=3.43 cores=0-7 /proc/23556/task/23572/stat : 23572 (java) S 23554 23554 18670 0 -1 1077944384 5093 0 0 0 342 1 0 0 20 0 28 0 447015220 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569559865968 140571438230146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23573] ppid=23554 vsize=28768336 memory=47060 CPUtime=1.17 cores=0-7 /proc/23556/task/23573/stat : 23573 (java) S 23554 23554 18670 0 -1 1077944384 4992 0 0 0 114 3 0 0 20 0 28 0 447015220 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569558813168 140571438230146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23574] ppid=23554 vsize=28768336 memory=281065746987640 CPUtime=0 cores=0-7 /proc/23556/task/23574/stat : 23574 (java) S 23554 23554 18670 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447015220 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569557760608 140571438229205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 [pid=23556/tid=23575] ppid=23554 vsize=28768336 memory=281065747331328 CPUtime=0 cores=0-7 /proc/23556/task/23575/stat : 23575 (java) S 23554 23554 18670 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 447015221 29458776064 110610 33554432000 4194304 4196468 140725960519712 140569556707888 140571438230146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17309696 140725960528880 140725960529051 140725960529051 140725960531919 0 Current children cumulated CPU time: 37.43 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 443888 KiB Child status: 0 Real time (s): 6.54104 CPU time (s): 37.6407 CPU user time (s): 37.244 CPU system time (s): 0.39671 CPU usage (%): 575.454 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 447200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 37.244 system time used= 0.39671 maximum resident set size= 445956 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 41905 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= 5353 involuntary context switches= 807 # summary of solver processes directly reported to runsolver: # pid: 23554 # total CPU time (s): 37.6407 # total CPU user time (s): 37.244 # total CPU system time (s): 0.39671 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.073339 second user time and 0.12861 second system time The end
Begin job on node116 at 2019-09-17 10:58:14 IDJOB=4400219 IDBENCH=126803 IDSOLVER=2855 FILE ID=node116/4400219-1568710735 RUNJOBID= node116-1568700981-18697 PBS_JOBID= 21703912 Free space on /tmp= 61232 MiB SOLVER NAME= choco-solver 2019-09-16 parallel BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbop-30-30-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400219-1568710735/watcher-4400219-1568710735 -o /tmp/evaluation-result-4400219-1568710735/solver-4400219-1568710735 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node116-1568700981-18697 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1241747875 HOME/instance-4400219-1568710735.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 305bfce3403e7be8ea8343edd9c7d9a7 RANDOM SEED=1241747875 node116.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 : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 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 : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 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 : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 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 : 2667.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 30578724 kB MemAvailable: 31844560 kB Buffers: 153056 kB Cached: 1407556 kB SwapCached: 46584 kB Active: 1027736 kB Inactive: 583672 kB Active(anon): 4972 kB Inactive(anon): 94964 kB Active(file): 1022764 kB Inactive(file): 488708 kB Unevictable: 110568 kB Mlocked: 110568 kB SwapTotal: 67108860 kB SwapFree: 66961212 kB Dirty: 26472 kB Writeback: 0 kB AnonPages: 172404 kB Mapped: 48196 kB Shmem: 40296 kB Slab: 169248 kB SReclaimable: 140400 kB SUnreclaim: 28848 kB KernelStack: 3712 kB PageTables: 5816 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 506428 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 126976 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61208 MiB End job on node116 at 2019-09-17 10:58:21