Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-24 parallel | OPT | 3 | 31.3533 | 5.75789 |
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-4407419-1569347240.xml" -tl '2016s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4407419-1569347240.xml, -tl, 2016s, -p, 8] 0.33/0.22 c 8 solvers in parallel 0.33/0.28 c parse instance... 6.60/1.88 c solve instance... 8.51/2.16 o 19 8.51/2.19 o 19 9.67/2.31 o 18 10.53/2.53 o 17 10.53/2.56 o 16 10.99/2.63 o 15 11.45/2.79 o 14 11.92/2.83 o 13 14.40/3.20 o 12 14.40/3.27 o 11 14.40/3.28 o 10 14.40/3.30 o 9 15.11/3.37 o 8 16.01/3.57 o 7 18.33/3.93 o 6 18.33/3.96 o 5 29.24/5.37 o 4 30.17/5.56 o 3 31.32/5.74 s OPTIMUM FOUND 31.32/5.74 v <instantiation> 31.32/5.74 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] np[0][0] np[0][1] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[0][15] np[0][16] np[0][17] np[0][18] np[0][19] np[0][20] np[0][21] np[0][22] np[0][23] np[0][24] np[0][25] np[0][26] np[0][27] np[0][28] np[0][29] np[1][0] np[1][1] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[1][15] np[1][16] np[1][17] np[1][18] np[1][19] np[1][20] np[1][21] np[1][22] np[1][23] np[1][24] np[1][25] np[1][26] np[1][27] np[1][28] np[1][29] np[2][0] np[2][1] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[2][15] np[2][16] np[2][17] np[2][18] np[2][19] np[2][20] np[2][21] np[2][22] np[2][23] np[2][24] np[2][25] np[2][26] np[2][27] np[2][28] np[2][29] np[3][0] np[3][1] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[3][15] np[3][16] np[3][17] np[3][18] np[3][19] np[3][20] np[3][21] np[3][22] np[3][23] np[3][24] np[3][25] np[3][26] np[3][27] np[3][28] np[3][29] np[4][0] np[4][1] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[4][15] np[4][16] np[4][17] np[4][18] np[4][19] np[4][20] np[4][21] np[4][22] np[4][23] np[4][24] np[4][25] np[4][26] np[4][27] np[4][28] np[4][29] np[5][0] np[5][1] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[5][15] np[5][16] np[5][17] np[5][18] np[5][19] np[5][20] np[5][21] np[5][22] np[5][23] np[5][24] np[5][25] np[5][26] np[5][27] np[5][28] np[5][29] np[6][0] np[6][1] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[6][15] np[6][16] np[6][17] np[6][18] np[6][19] np[6][20] np[6][21] np[6][22] np[6][23] np[6][24] np[6][25] np[6][26] np[6][27] np[6][28] np[6][29] np[7][0] np[7][1] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[7][15] np[7][16] np[7][17] np[7][18] np[7][19] np[7][20] np[7][21] np[7][22] np[7][23] np[7][24] np[7][25] np[7][26] np[7][27] np[7][28] np[7][29] np[8][0] np[8][1] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[8][15] np[8][16] np[8][17] np[8][18] np[8][19] np[8][20] np[8][21] np[8][22] np[8][23] np[8][24] np[8][25] np[8][26] np[8][27] np[8][28] np[8][29] np[9][0] np[9][1] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[9][15] np[9][16] np[9][17] np[9][18] np[9][19] np[9][20] np[9][21] np[9][22] np[9][23] np[9][24] np[9][25] np[9][26] np[9][27] np[9][28] np[9][29] np[10][0] np[10][1] np[10][2] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[10][15] np[10][16] np[10][17] np[10][18] np[10][19] np[10][20] np[10][21] np[10][22] np[10][23] np[10][24] np[10][25] np[10][26] np[10][27] np[10][28] np[10][29] np[11][0] np[11][1] np[11][2] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[11][15] np[11][16] np[11][17] np[11][18] np[11][19] np[11][20] np[11][21] np[11][22] np[11][23] np[11][24] np[11][25] np[11][26] np[11][27] np[11][28] np[11][29] np[12][0] np[12][1] np[12][2] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[12][15] np[12][16] np[12][17] np[12][18] np[12][19] np[12][20] np[12][21] np[12][22] np[12][23] np[12][24] np[12][25] np[12][26] np[12][27] np[12][28] np[12][29] np[13][0] np[13][1] np[13][2] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[13][15] np[13][16] np[13][17] np[13][18] np[13][19] np[13][20] np[13][21] np[13][22] np[13][23] np[13][24] np[13][25] np[13][26] np[13][27] np[13][28] np[13][29] np[14][0] np[14][1] np[14][2] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] np[14][15] np[14][16] np[14][17] np[14][18] np[14][19] np[14][20] np[14][21] np[14][22] np[14][23] np[14][24] np[14][25] np[14][26] np[14][27] np[14][28] np[14][29] np[15][0] np[15][1] np[15][2] np[15][3] np[15][4] np[15][5] np[15][6] np[15][7] np[15][8] np[15][9] np[15][10] np[15][11] np[15][12] np[15][13] np[15][14] np[15][15] np[15][16] np[15][17] np[15][18] np[15][19] np[15][20] np[15][21] np[15][22] np[15][23] np[15][24] np[15][25] np[15][26] np[15][27] np[15][28] np[15][29] np[16][0] np[16][1] np[16][2] np[16][3] np[16][4] np[16][5] np[16][6] np[16][7] np[16][8] np[16][9] np[16][10] np[16][11] np[16][12] np[16][13] np[16][14] np[16][15] np[16][16] np[16][17] np[16][18] np[16][19] np[16][20] np[16][21] np[16][22] np[16][23] np[16][24] np[16][25] np[16][26] np[16][27] np[16][28] np[16][29] np[17][0] np[17][1] np[17][2] np[17][3] np[17][4] np[17][5] np[17][6] np[17][7] np[17][8] np[17][9] np[17][10] np[17][11] np[17][12] np[17][13] np[17][14] np[17][15] np[17][16] np[17][17] np[17][18] np[17][19] np[17][20] np[17][21] np[17][22] np[17][23] np[17][24] np[17][25] np[17][26] np[17][27] np[17][28] np[17][29] np[18][0] np[18][1] np[18][2] np[18][3] np[18][4] np[18][5] np[18][6] np[18][7] np[18][8] np[18][9] np[18][10] np[18][11] np[18][12] np[18][13] np[18][14] np[18][15] np[18][16] np[18][17] np[18][18] np[18][19] np[18][20] np[18][21] np[18][22] np[18][23] np[18][24] np[18][25] np[18][26] np[18][27] np[18][28] np[18][29] np[19][0] np[19][1] np[19][2] np[19][3] np[19][4] np[19][5] np[19][6] np[19][7] np[19][8] np[19][9] np[19][10] np[19][11] np[19][12] np[19][13] np[19][14] np[19][15] np[19][16] np[19][17] np[19][18] np[19][19] np[19][20] np[19][21] np[19][22] np[19][23] np[19][24] np[19][25] np[19][26] np[19][27] np[19][28] np[19][29] np[20][0] np[20][1] np[20][2] np[20][3] np[20][4] np[20][5] np[20][6] np[20][7] np[20][8] np[20][9] np[20][10] np[20][11] np[20][12] np[20][13] np[20][14] np[20][15] np[20][16] np[20][17] np[20][18] np[20][19] np[20][20] np[20][21] np[20][22] np[20][23] np[20][24] np[20][25] np[20][26] np[20][27] np[20][28] np[20][29] np[21][0] np[21][1] np[21][2] np[21][3] np[21][4] np[21][5] np[21][6] np[21][7] np[21][8] np[21][9] np[21][10] np[21][11] np[21][12] np[21][13] np[21][14] np[21][15] np[21][16] np[21][17] np[21][18] np[21][19] np[21][20] np[21][21] np[21][22] np[21][23] np[21][24] np[21][25] np[21][26] np[21][27] np[21][28] np[21][29] np[22][0] np[22][1] np[22][2] np[22][3] np[22][4] np[22][5] np[22][6] np[22][7] np[22][8] np[22][9] np[22][10] np[22][11] np[22][12] np[22][13] np[22][14] np[22][15] np[22][16] np[22][17] np[22][18] np[22][19] np[22][20] np[22][21] np[22][22] np[22][23] np[22][24] np[22][25] np[22][26] np[22][27] np[22][28] np[22][29] np[23][0] np[23][1] np[23][2] np[23][3] np[23][4] np[23][5] np[23][6] np[23][7] np[23][8] np[23][9] np[23][10] np[23][11] np[23][12] np[23][13] np[23][14] np[23][15] np[23][16] np[23][17] np[23][18] np[23][19] np[23][20] np[23][21] np[23][22] np[23][23] np[23][24] np[23][25] np[23][26] np[23][27] np[23][28] np[23][29] np[24][0] np[24][1] np[24][2] np[24][3] np[24][4] np[24][5] np[24][6] np[24][7] np[24][8] np[24][9] np[24][10] np[24][11] np[24][12] np[24][13] np[24][14] np[24][15] np[24][16] np[24][17] np[24][18] np[24][19] np[24][20] np[24][21] np[24][22] np[24][23] np[24][24] np[24][25] np[24][26] np[24][27] np[24][28] np[24][29] np[25][0] np[25][1] np[25][2] np[25][3] np[25][4] np[25][5] np[25][6] np[25][7] np[25][8] np[25][9] np[25][10] np[25][11] np[25][12] np[25][13] np[25][14] np[25][15] np[25][16] np[25][17] np[25][18] np[25][19] np[25][20] np[25][21] np[25][22] np[25][23] np[25][24] np[25][25] np[25][26] np[25][27] np[25][28] np[25][29] np[26][0] np[26][1] np[26][2] np[26][3] np[26][4] np[26][5] np[26][6] np[26][7] np[26][8] np[26][9] np[26][10] np[26][11] np[26][12] np[26][13] np[26][14] np[26][15] np[26][16] np[26][17] np[26][18] np[26][19] np[26][20] np[26][21] np[26][22] np[26][23] np[26][24] np[26][25] np[26][26] np[26][27] np[26][28] np[26][29] np[27][0] np[27][1] np[27][2] np[27][3] np[27][4] np[27][5] np[27][6] np[27][7] np[27][8] np[27][9] np[27][10] np[27][11] np[27][12] np[27][13] np[27][14] np[27][15] np[27][16] np[27][17] np[27][18] np[27][19] np[27][20] np[27][21] np[27][22] np[27][23] np[27][24] np[27][25] np[27][26] np[27][27] np[27][28] np[27][29] np[28][0] np[28][1] np[28][2] np[28][3] np[28][4] np[28][5] np[28][6] np[28][7] np[28][8] np[28][9] np[28][10] np[28][11] np[28][12] np[28][13] np[28][14] np[28][15] np[28][16] np[28][17] np[28][18] np[28][19] np[28][20] np[28][21] np[28][22] np[28][23] np[28][24] np[28][25] np[28][26] np[28][27] np[28][28] np[28][29] np[29][0] np[29][1] np[29][2] np[29][3] np[29][4] np[29][5] np[29][6] np[29][7] np[29][8] np[29][9] np[29][10] np[29][11] np[29][12] np[29][13] np[29][14] np[29][15] np[29][16] np[29][17] np[29][18] np[29][19] np[29][20] np[29][21] np[29][22] np[29][23] np[29][24] np[29][25] np[29][26] np[29][27] np[29][28] np[29][29] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[0][20] r[0][21] r[0][22] r[0][23] r[0][24] r[0][25] r[0][26] r[0][27] r[0][28] r[0][29] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[1][20] r[1][21] r[1][22] r[1][23] r[1][24] r[1][25] r[1][26] r[1][27] r[1][28] r[1][29] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[2][20] r[2][21] r[2][22] r[2][23] r[2][24] r[2][25] r[2][26] r[2][27] r[2][28] r[2][29] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[3][20] r[3][21] r[3][22] r[3][23] r[3][24] r[3][25] r[3][26] r[3][27] r[3][28] r[3][29] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[4][20] r[4][21] r[4][22] r[4][23] r[4][24] r[4][25] r[4][26] r[4][27] r[4][28] r[4][29] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[5][20] r[5][21] r[5][22] r[5][23] r[5][24] r[5][25] r[5][26] r[5][27] r[5][28] r[5][29] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[6][20] r[6][21] r[6][22] r[6][23] r[6][24] r[6][25] r[6][26] r[6][27] r[6][28] r[6][29] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[7][20] r[7][21] r[7][22] r[7][23] r[7][24] r[7][25] r[7][26] r[7][27] r[7][28] r[7][29] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[8][20] r[8][21] r[8][22] r[8][23] r[8][24] r[8][25] r[8][26] r[8][27] r[8][28] r[8][29] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[9][20] r[9][21] r[9][22] r[9][23] r[9][24] r[9][25] r[9][26] r[9][27] r[9][28] r[9][29] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[10][20] r[10][21] r[10][22] r[10][23] r[10][24] r[10][25] r[10][26] r[10][27] r[10][28] r[10][29] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[11][20] r[11][21] r[11][22] r[11][23] r[11][24] r[11][25] r[11][26] r[11][27] r[11][28] r[11][29] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[12][20] r[12][21] r[12][22] r[12][23] r[12][24] r[12][25] r[12][26] r[12][27] r[12][28] r[12][29] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[13][20] r[13][21] r[13][22] r[13][23] r[13][24] r[13][25] r[13][26] r[13][27] r[13][28] r[13][29] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[14][20] r[14][21] r[14][22] r[14][23] r[14][24] r[14][25] r[14][26] r[14][27] r[14][28] r[14][29] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[15][20] r[15][21] r[15][22] r[15][23] r[15][24] r[15][25] r[15][26] r[15][27] r[15][28] r[15][29] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[16][20] r[16][21] r[16][22] r[16][23] r[16][24] r[16][25] r[16][26] r[16][27] r[16][28] r[16][29] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[17][20] r[17][21] r[17][22] r[17][23] r[17][24] r[17][25] r[17][26] r[17][27] r[17][28] r[17][29] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[18][20] r[18][21] r[18][22] r[18][23] r[18][24] r[18][25] r[18][26] r[18][27] r[18][28] r[18][29] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[19][20] r[19][21] r[19][22] r[19][23] r[19][24] r[19][25] r[19][26] r[19][27] r[19][28] r[19][29] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[20][20] r[20][21] r[20][22] r[20][23] r[20][24] r[20][25] r[20][26] r[20][27] r[20][28] r[20][29] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[21][20] r[21][21] r[21][22] r[21][23] r[21][24] r[21][25] r[21][26] r[21][27] r[21][28] r[21][29] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[22][20] r[22][21] r[22][22] r[22][23] r[22][24] r[22][25] r[22][26] r[22][27] r[22][28] r[22][29] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[23][20] r[23][21] r[23][22] r[23][23] r[23][24] r[23][25] r[23][26] r[23][27] r[23][28] r[23][29] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[24][20] r[24][21] r[24][22] r[24][23] r[24][24] r[24][25] r[24][26] r[24][27] r[24][28] r[24][29] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[25][20] r[25][21] r[25][22] r[25][23] r[25][24] r[25][25] r[25][26] r[25][27] r[25][28] r[25][29] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[26][20] r[26][21] r[26][22] r[26][23] r[26][24] r[26][25] r[26][26] r[26][27] r[26][28] r[26][29] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[27][20] r[27][21] r[27][22] r[27][23] r[27][24] r[27][25] r[27][26] r[27][27] r[27][28] r[27][29] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[28][20] r[28][21] r[28][22] r[28][23] r[28][24] r[28][25] r[28][26] r[28][27] r[28][28] r[28][29] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[29][20] r[29][21] r[29][22] r[29][23] r[29][24] r[29][25] r[29][26] r[29][27] r[29][28] r[29][29] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] o[16][0] o[16][1] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[16][15] o[16][16] o[16][17] o[16][18] o[16][19] o[16][20] o[16][21] o[16][22] o[16][23] o[16][24] o[16][25] o[16][26] o[16][27] o[16][28] o[16][29] o[17][0] o[17][1] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[17][15] o[17][16] o[17][17] o[17][18] o[17][19] o[17][20] o[17][21] o[17][22] o[17][23] o[17][24] o[17][25] o[17][26] o[17][27] o[17][28] o[17][29] o[18][0] o[18][1] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[18][15] o[18][16] o[18][17] o[18][18] o[18][19] o[18][20] o[18][21] o[18][22] o[18][23] o[18][24] o[18][25] o[18][26] o[18][27] o[18][28] o[18][29] o[19][0] o[19][1] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[19][15] o[19][16] o[19][17] o[19][18] o[19][19] o[19][20] o[19][21] o[19][22] o[19][23] o[19][24] o[19][25] o[19][26] o[19][27] o[19][28] o[19][29] o[20][0] o[20][1] o[20][2] o[20][3] o[20][4] o[20][5] o[20][6] o[20][7] o[20][8] o[20][9] o[20][10] o[20][11] o[20][12] o[20][13] o[20][14] o[20][15] o[20][16] o[20][17] o[20][18] o[20][19] o[20][20] o[20][21] o[20][22] o[20][23] o[20][24] o[20][25] o[20][26] o[20][27] o[20][28] o[20][29] o[21][0] o[21][1] o[21][2] o[21][3] o[21][4] o[21][5] o[21][6] o[21][7] o[21][8] o[21][9] o[21][10] o[21][11] o[21][12] o[21][13] o[21][14] o[21][15] o[21][16] o[21][17] o[21][18] o[21][19] o[21][20] o[21][21] o[21][22] o[21][23] o[21][24] o[21][25] o[21][26] o[21][27] o[21][28] o[21][29] o[22][0] o[22][1] o[22][2] o[22][3] o[22][4] o[22][5] o[22][6] o[22][7] o[22][8] o[22][9] o[22][10] o[22][11] o[22][12] o[22][13] o[22][14] o[22][15] o[22][16] o[22][17] o[22][18] o[22][19] o[22][20] o[22][21] o[22][22] o[22][23] o[22][24] o[22][25] o[22][26] o[22][27] o[22][28] o[22][29] o[23][0] o[23][1] o[23][2] o[23][3] o[23][4] o[23][5] o[23][6] o[23][7] o[23][8] o[23][9] o[23][10] o[23][11] o[23][12] o[23][13] o[23][14] o[23][15] o[23][16] o[23][17] o[23][18] o[23][19] o[23][20] o[23][21] o[23][22] o[23][23] o[23][24] o[23][25] o[23][26] o[23][27] o[23][28] o[23][29] o[24][0] o[24][1] o[24][2] o[24][3] o[24][4] o[24][5] o[24][6] o[24][7] o[24][8] o[24][9] o[24][10] o[24][11] o[24][12] o[24][13] o[24][14] o[24][15] o[24][16] o[24][17] o[24][18] o[24][19] o[24][20] o[24][21] o[24][22] o[24][23] o[24][24] o[24][25] o[24][26] o[24][27] o[24][28] o[24][29] o[25][0] o[25][1] o[25][2] o[25][3] o[25][4] o[25][5] o[25][6] o[25][7] o[25][8] o[25][9] o[25][10] o[25][11] o[25][12] o[25][13] o[25][14] o[25][15] o[25][16] o[25][17] o[25][18] o[25][19] o[25][20] o[25][21] o[25][22] o[25][23] o[25][24] o[25][25] o[25][26] o[25][27] o[25][28] o[25][29] o[26][0] o[26][1] o[26][2] o[26][3] o[26][4] o[26][5] o[26][6] o[26][7] o[26][8] o[26][9] o[26][10] o[26][11] o[26][12] o[26][13] o[26][14] o[26][15] o[26][16] o[26][17] o[26][18] o[26][19] o[26][20] o[26][21] o[26][22] o[26][23] o[26][24] o[26][25] o[26][26] o[26][27] o[26][28] o[26][29] o[27][0] o[27][1] o[27][2] o[27][3] o[27][4] o[27][5] o[27][6] o[27][7] o[27][8] o[27][9] o[27][10] o[27][11] o[27][12] o[27][13] o[27][14] o[27][15] o[27][16] o[27][17] o[27][18] o[27][19] o[27][20] o[27][21] o[27][22] o[27][23] o[27][24] o[27][25] o[27][26] o[27][27] o[27][28] o[27][29] o[28][0] o[28][1] o[28][2] o[28][3] o[28][4] o[28][5] o[28][6] o[28][7] o[28][8] o[28][9] o[28][10] o[28][11] o[28][12] o[28][13] o[28][14] o[28][15] o[28][16] o[28][17] o[28][18] o[28][19] o[28][20] o[28][21] o[28][22] o[28][23] o[28][24] o[28][25] o[28][26] o[28][27] o[28][28] o[28][29] o[29][0] o[29][1] o[29][2] o[29][3] o[29][4] o[29][5] o[29][6] o[29][7] o[29][8] o[29][9] o[29][10] o[29][11] o[29][12] o[29][13] o[29][14] o[29][15] o[29][16] o[29][17] o[29][18] o[29][19] o[29][20] o[29][21] o[29][22] o[29][23] o[29][24] o[29][25] o[29][26] o[29][27] o[29][28] o[29][29] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14] so[15] so[16] so[17] so[18] so[19] so[20] so[21] so[22] so[23] so[24] so[25] so[26] so[27] so[28] so[29] </list> 31.32/5.74 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> 31.32/5.74 v </instantiation>
OK 3
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (13704 MiB free) memory of node 1: 16384 MiB (14479 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407419-1569347240/watcher-4407419-1569347240 -o /tmp/evaluation-result-4407419-1569347240/solver-4407419-1569347240 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569335920-18440 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 966831040 HOME/instance-4407419-1569347240.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=25943, runsolver pid=25940 Current StackSize limit: 8192 KiB [startup+0.100134 s]* /proc/loadavg: 8.14 8.29 8.02 2/211 25964 /proc/meminfo: memFree=28841484/32770624 swapFree=66999256/67108860 [pid=25943] ppid=25940 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25943/stat : 25943 (xcsp3-exec) S 25940 25943 18413 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510977081 115843072 363 33554432000 4194304 5098028 140721538422768 140721538420872 140615571309180 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19791872 140721538429820 140721538430062 140721538430062 140721538432970 0 /proc/25943/statm: 28282 363 304 221 0 87 0 [pid=25945] ppid=25943 vsize=28227396 memory=31932 CPUtime=0.12 cores=0-7 /proc/25945/stat : 25945 (java) S 25943 25943 18413 0 -1 1077944320 5436 0 0 0 11 1 0 0 20 0 20 0 510977081 28904853504 7983 33554432000 4194304 4196468 140722218165184 140722218147728 140272667954935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 /proc/25945/statm: 7056849 7983 3120 1 0 7019032 0 [pid=25945/tid=25946] ppid=25943 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7 /proc/25945/task/25946/stat : 25946 (java) R 25943 25943 18413 0 -1 4202560 3349 0 0 0 8 0 0 0 20 0 20 0 510977082 28904853504 7983 33554432000 4194304 4196468 140722218165184 140272672188208 140272648599602 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25947] ppid=25943 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25947/stat : 25947 (java) S 25943 25943 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510977082 28904853504 7983 33554432000 4194304 4196468 140722218165184 140272626715664 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25948] ppid=25943 vsize=28227396 memory=288370734660236928 CPUtime=0 cores=0-7 /proc/25945/task/25948/stat : 25948 (java) S 25943 25943 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510977082 28904853504 7983 33554432000 4194304 4196468 140722218165184 140272218418320 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25949] ppid=25943 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25949/stat : 25949 (java) S 25943 25943 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510977082 28904853504 7983 33554432000 4194304 4196468 140722218165184 140272217365264 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25950] ppid=25943 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25950/stat : 25950 (java) S 25943 25943 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510977082 28904853504 7983 33554432000 4194304 4196468 140722218165184 140272216312720 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25951] ppid=25943 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25951/stat : 25951 (java) S 25943 25943 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510977082 28904853504 7983 33554432000 4194304 4196468 140722218165184 140272215259664 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25952] ppid=25943 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25945/task/25952/stat : 25952 (java) S 25943 25943 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510977082 28904853504 7983 33554432000 4194304 4196468 140722218165184 140272214207120 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25953] ppid=25943 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25953/stat : 25953 (java) S 25943 25943 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510977082 28904853504 7983 33554432000 4194304 4196468 140722218165184 140272213154064 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25954] ppid=25943 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25954/stat : 25954 (java) S 25943 25943 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510977082 28904853504 7983 33554432000 4194304 4196468 140722218165184 140272212101520 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25955] ppid=25943 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25955/stat : 25955 (java) S 25943 25943 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510977084 28904853504 7983 33554432000 4194304 4196468 140722218165184 140272052620016 140272667966082 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25956] ppid=25943 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25956/stat : 25956 (java) S 25943 25943 18413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510977084 28904853504 7983 33554432000 4194304 4196468 140722218165184 140272051566240 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25957] ppid=25943 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25957/stat : 25957 (java) S 25943 25943 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510977085 28904853504 7983 33554432000 4194304 4196468 140722218165184 140272050513136 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25958] ppid=25943 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25958/stat : 25958 (java) S 25943 25943 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510977087 28904853504 7983 33554432000 4194304 4196468 140722218165184 140272049461712 140272667973531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25959] ppid=25943 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25959/stat : 25959 (java) S 25943 25943 18413 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 510977087 28904853504 7983 33554432000 4194304 4196468 140722218165184 140272048408816 140272667966082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25960] ppid=25943 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25960/stat : 25960 (java) S 25943 25943 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510977087 28904853504 7983 33554432000 4194304 4196468 140722218165184 140272047356272 140272667966082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25961] ppid=25943 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25961/stat : 25961 (java) S 25943 25943 18413 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 510977087 28904853504 7983 33554432000 4194304 4196468 140722218165184 140272046303216 140272667966082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25962] ppid=25943 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/25945/task/25962/stat : 25962 (java) S 25943 25943 18413 0 -1 1077944384 351 0 0 0 2 0 0 0 20 0 20 0 510977087 28904853504 7983 33554432000 4194304 4196468 140722218165184 140272045250672 140272667966082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25963] ppid=25943 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25963/stat : 25963 (java) S 25943 25943 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510977087 28904853504 7983 33554432000 4194304 4196468 140722218165184 140272044198880 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25964] ppid=25943 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25945/task/25964/stat : 25964 (java) S 25943 25943 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510977087 28904853504 7983 33554432000 4194304 4196468 140722218165184 140272043146416 140272667966082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 33384 KiB [startup+0.21065 s]* /proc/loadavg: 8.14 8.29 8.02 2/211 25964 /proc/meminfo: memFree=28830452/32770624 swapFree=66999256/67108860 [pid=25943] ppid=25940 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25943/stat : 25943 (xcsp3-exec) S 25940 25943 18413 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510977081 115843072 363 33554432000 4194304 5098028 140721538422768 140721538420872 140615571309180 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19791872 140721538429820 140721538430062 140721538430062 140721538432970 0 /proc/25943/statm: 28282 363 304 221 0 87 0 [pid=25945] ppid=25943 vsize=28227396 memory=42560 CPUtime=0.33 cores=0-7 /proc/25945/stat : 25945 (java) S 25943 25943 18413 0 -1 1077944320 8855 0 0 0 31 2 0 0 20 0 20 0 510977081 28904853504 10640 33554432000 4194304 4196468 140722218165184 140722218147728 140272667954935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 /proc/25945/statm: 7056849 10640 3274 1 0 7019032 0 [pid=25945/tid=25946] ppid=25943 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/25945/task/25946/stat : 25946 (java) R 25943 25943 18413 0 -1 4202560 6113 0 0 0 18 2 0 0 20 0 20 0 510977082 28904853504 10640 33554432000 4194304 4196468 140722218165184 140272672181056 140272667966870 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25947] ppid=25943 vsize=28227396 memory=288230609019732336 CPUtime=0 cores=0-7 /proc/25945/task/25947/stat : 25947 (java) S 25943 25943 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510977082 28904853504 10640 33554432000 4194304 4196468 140722218165184 140272626715664 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25948] ppid=25943 vsize=28227396 memory=140358508546163 CPUtime=0 cores=0-7 /proc/25945/task/25948/stat : 25948 (java) S 25943 25943 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510977082 28904853504 10640 33554432000 4194304 4196468 140722218165184 140272218418320 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25949] ppid=25943 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25945/task/25949/stat : 25949 (java) S 25943 25943 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510977082 28904853504 10640 33554432000 4194304 4196468 140722218165184 140272217365264 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25950] ppid=25943 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25950/stat : 25950 (java) S 25943 25943 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510977082 28904853504 10640 33554432000 4194304 4196468 140722218165184 140272216312720 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25951] ppid=25943 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25951/stat : 25951 (java) S 25943 25943 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510977082 28904853504 10640 33554432000 4194304 4196468 140722218165184 140272215259664 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25952] ppid=25943 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25945/task/25952/stat : 25952 (java) S 25943 25943 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510977082 28904853504 10640 33554432000 4194304 4196468 140722218165184 140272214207120 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25953] ppid=25943 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25953/stat : 25953 (java) S 25943 25943 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510977082 28904853504 10640 33554432000 4194304 4196468 140722218165184 140272213154064 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25954] ppid=25943 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25954/stat : 25954 (java) S 25943 25943 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510977082 28904853504 10640 33554432000 4194304 4196468 140722218165184 140272212101520 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25955] ppid=25943 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25955/stat : 25955 (java) S 25943 25943 18413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510977084 28904853504 10640 33554432000 4194304 4196468 140722218165184 140272052620016 140272667966082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25956] ppid=25943 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25956/stat : 25956 (java) S 25943 25943 18413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510977084 28904853504 10640 33554432000 4194304 4196468 140722218165184 140272051566240 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25957] ppid=25943 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25957/stat : 25957 (java) S 25943 25943 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510977085 28904853504 10640 33554432000 4194304 4196468 140722218165184 140272050513136 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25958] ppid=25943 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25958/stat : 25958 (java) S 25943 25943 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510977087 28904853504 10640 33554432000 4194304 4196468 140722218165184 140272049461712 140272667973531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25959] ppid=25943 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/25945/task/25959/stat : 25959 (java) S 25943 25943 18413 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 20 0 510977087 28904853504 10640 33554432000 4194304 4196468 140722218165184 140272048408816 140272667966082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25960] ppid=25943 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/25945/task/25960/stat : 25960 (java) S 25943 25943 18413 0 -1 1077944384 112 0 0 0 2 0 0 0 20 0 20 0 510977087 28904853504 10640 33554432000 4194304 4196468 140722218165184 140272047356272 140272667966082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25961] ppid=25943 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/25945/task/25961/stat : 25961 (java) S 25943 25943 18413 0 -1 1077944384 203 0 0 0 1 0 0 0 20 0 20 0 510977087 28904853504 10640 33554432000 4194304 4196468 140722218165184 140272046303216 140272667966082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25962] ppid=25943 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7 /proc/25945/task/25962/stat : 25962 (java) R 25943 25943 18413 0 -1 4202560 767 0 0 0 8 0 0 0 20 0 20 0 510977087 28904853504 10640 33554432000 4194304 4196468 140722218165184 140272045250672 140272647087824 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25963] ppid=25943 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25963/stat : 25963 (java) S 25943 25943 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510977087 28904853504 10640 33554432000 4194304 4196468 140722218165184 140272044198880 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25964] ppid=25943 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/25945/task/25964/stat : 25964 (java) S 25943 25943 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510977087 28904853504 10640 33554432000 4194304 4196468 140722218165184 140272043146416 140272667966082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 Current children cumulated CPU time: 0.33 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 44012 KiB [startup+0.311099 s]* /proc/loadavg: 8.14 8.29 8.02 5/211 25964 /proc/meminfo: memFree=28822796/32770624 swapFree=66999256/67108860 [pid=25943] ppid=25940 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25943/stat : 25943 (xcsp3-exec) S 25940 25943 18413 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510977081 115843072 363 33554432000 4194304 5098028 140721538422768 140721538420872 140615571309180 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19791872 140721538429820 140721538430062 140721538430062 140721538432970 0 /proc/25943/statm: 28282 363 304 221 0 87 0 [pid=25945] ppid=25943 vsize=28231652 memory=51764 CPUtime=0.52 cores=0-7 /proc/25945/stat : 25945 (java) S 25943 25943 18413 0 -1 1077944320 10269 0 0 0 49 3 0 0 20 0 20 0 510977081 28909211648 12941 33554432000 4194304 4196468 140722218165184 140722218147728 140272667954935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 /proc/25945/statm: 7057913 12941 3351 1 0 7019032 0 [pid=25945/tid=25946] ppid=25943 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7 /proc/25945/task/25946/stat : 25946 (java) R 25943 25943 18413 0 -1 4202560 7222 0 0 0 27 2 0 0 20 0 20 0 510977082 28909211648 12941 33554432000 4194304 4196468 140722218165184 140272672186048 140272652035422 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25947] ppid=25943 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25947/stat : 25947 (java) S 25943 25943 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510977082 28909211648 12941 33554432000 4194304 4196468 140722218165184 140272626715664 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25948] ppid=25943 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25948/stat : 25948 (java) S 25943 25943 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510977082 28909211648 12941 33554432000 4194304 4196468 140722218165184 140272218418320 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25949] ppid=25943 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25949/stat : 25949 (java) S 25943 25943 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510977082 28909211648 12941 33554432000 4194304 4196468 140722218165184 140272217365264 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25950] ppid=25943 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25950/stat : 25950 (java) S 25943 25943 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510977082 28909211648 12941 33554432000 4194304 4196468 140722218165184 140272216312720 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25951] ppid=25943 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25951/stat : 25951 (java) S 25943 25943 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510977082 28909211648 12941 33554432000 4194304 4196468 140722218165184 140272215259664 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25952] ppid=25943 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25952/stat : 25952 (java) S 25943 25943 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510977082 28909211648 12941 33554432000 4194304 4196468 140722218165184 140272214207120 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25953] ppid=25943 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25953/stat : 25953 (java) S 25943 25943 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510977082 28909211648 12941 33554432000 4194304 4196468 140722218165184 140272213154064 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25954] ppid=25943 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25954/stat : 25954 (java) S 25943 25943 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510977082 28909211648 12941 33554432000 4194304 4196468 140722218165184 140272212101520 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25955] ppid=25943 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25955/stat : 25955 (java) S 25943 25943 18413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510977084 28909211648 12941 33554432000 4194304 4196468 140722218165184 140272052620016 140272667966082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25956] ppid=25943 vsize=28231652 memory=280716780969344 CPUtime=0 cores=0-7 /proc/25945/task/25956/stat : 25956 (java) S 25943 25943 18413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510977084 28909211648 12941 33554432000 4194304 4196468 140722218165184 140272051566240 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25957] ppid=25943 vsize=28231652 memory=280716780973952 CPUtime=0 cores=0-7 /proc/25945/task/25957/stat : 25957 (java) S 25943 25943 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510977085 28909211648 12941 33554432000 4194304 4196468 140722218165184 140272050513136 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25958] ppid=25943 vsize=28231652 memory=280716780978560 CPUtime=0 cores=0-7 /proc/25945/task/25958/stat : 25958 (java) S 25943 25943 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510977087 28909211648 12941 33554432000 4194304 4196468 140722218165184 140272049461712 140272667973531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25959] ppid=25943 vsize=28231652 memory=280716780983168 CPUtime=0.02 cores=0-7 /proc/25945/task/25959/stat : 25959 (java) S 25943 25943 18413 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 20 0 510977087 28909211648 12941 33554432000 4194304 4196468 140722218165184 140272048408816 140272667966082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25960] ppid=25943 vsize=28231652 memory=280716780987776 CPUtime=0.04 cores=0-7 /proc/25945/task/25960/stat : 25960 (java) R 25943 25943 18413 0 -1 4202560 226 0 0 0 4 0 0 0 20 0 20 0 510977087 28909211648 12941 33554432000 4194304 4196468 140722218165184 140272047337288 140272649478004 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25961] ppid=25943 vsize=28231652 memory=280716780992384 CPUtime=0.02 cores=0-7 /proc/25945/task/25961/stat : 25961 (java) S 25943 25943 18413 0 -1 1077944384 233 0 0 0 2 0 0 0 20 0 20 0 510977087 28909211648 12941 33554432000 4194304 4196468 140722218165184 140272046303216 140272667966082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25962] ppid=25943 vsize=28231652 memory=280716780996992 CPUtime=0.12 cores=0-7 /proc/25945/task/25962/stat : 25962 (java) S 25943 25943 18413 0 -1 1077944384 929 0 0 0 12 0 0 0 20 0 20 0 510977087 28909211648 12941 33554432000 4194304 4196468 140722218165184 140272045250672 140272667966082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25963] ppid=25943 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25963/stat : 25963 (java) S 25943 25943 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510977087 28909211648 12941 33554432000 4194304 4196468 140722218165184 140272044198880 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25964] ppid=25943 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/25945/task/25964/stat : 25964 (java) S 25943 25943 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510977087 28909211648 12941 33554432000 4194304 4196468 140722218165184 140272043146416 140272667966082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 53216 KiB [startup+0.700972 s] /proc/loadavg: 8.14 8.29 8.02 6/211 25964 /proc/meminfo: memFree=28799260/32770624 swapFree=66999256/67108860 [pid=25943] ppid=25940 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25943/stat : 25943 (xcsp3-exec) S 25940 25943 18413 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510977081 115843072 363 33554432000 4194304 5098028 140721538422768 140721538420872 140615571309180 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19791872 140721538429820 140721538430062 140721538430062 140721538432970 0 /proc/25943/statm: 28282 363 304 221 0 87 0 [pid=25945] ppid=25943 vsize=28233776 memory=108596 CPUtime=1.96 cores=0-7 /proc/25945/stat : 25945 (java) S 25943 25943 18413 0 -1 1077944320 16218 0 0 0 190 6 0 0 20 0 20 0 510977081 28911386624 27149 33554432000 4194304 4196468 140722218165184 140722218147728 140272667954935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 /proc/25945/statm: 7058444 27149 3449 1 0 7019544 0 [pid=25945/tid=25946] ppid=25943 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7 /proc/25945/task/25946/stat : 25946 (java) R 25943 25943 18413 0 -1 4202560 8594 0 0 0 64 3 0 0 20 0 20 0 510977082 28911386624 27149 33554432000 4194304 4196468 140722218165184 140272672192848 140272304311625 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25947] ppid=25943 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25947/stat : 25947 (java) S 25943 25943 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510977082 28911386624 27149 33554432000 4194304 4196468 140722218165184 140272626715664 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25948] ppid=25943 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25948/stat : 25948 (java) S 25943 25943 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510977082 28911386624 27149 33554432000 4194304 4196468 140722218165184 140272218418320 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25949] ppid=25943 vsize=28233776 memory=2828 CPUtime=0 cores=0-7 /proc/25945/task/25949/stat : 25949 (java) S 25943 25943 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510977082 28911386624 27149 33554432000 4194304 4196468 140722218165184 140272217365264 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 ################ # More data... # ################ [pid=25945/tid=25946] ppid=25943 vsize=28768336 memory=24369 CPUtime=1.89 cores=0-7 /proc/25945/task/25946/stat : 25946 (java) S 25943 25943 18413 0 -1 1077944384 10093 0 0 0 182 7 0 0 20 0 28 0 510977082 29458776064 112036 33554432000 4194304 4196468 140722218165184 140272672195712 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25947] ppid=25943 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7 /proc/25945/task/25947/stat : 25947 (java) S 25943 25943 18413 0 -1 1077944384 237 0 0 0 6 2 0 0 20 0 28 0 510977082 29458776064 112036 33554432000 4194304 4196468 140722218165184 140272626715664 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25948] ppid=25943 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7 /proc/25945/task/25948/stat : 25948 (java) S 25943 25943 18413 0 -1 1077944384 143 0 0 0 6 2 0 0 20 0 28 0 510977082 29458776064 112036 33554432000 4194304 4196468 140722218165184 140272218418320 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25949] ppid=25943 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7 /proc/25945/task/25949/stat : 25949 (java) S 25943 25943 18413 0 -1 1077944384 138 0 0 0 6 2 0 0 20 0 28 0 510977082 29458776064 112036 33554432000 4194304 4196468 140722218165184 140272217365264 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25950] ppid=25943 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7 /proc/25945/task/25950/stat : 25950 (java) S 25943 25943 18413 0 -1 1077944384 148 0 0 0 6 2 0 0 20 0 28 0 510977082 29458776064 112036 33554432000 4194304 4196468 140722218165184 140272216312720 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25951] ppid=25943 vsize=28768336 memory=0 CPUtime=0.1 cores=0-7 /proc/25945/task/25951/stat : 25951 (java) S 25943 25943 18413 0 -1 1077944384 144 0 0 0 7 3 0 0 20 0 28 0 510977082 29458776064 112036 33554432000 4194304 4196468 140722218165184 140272215259664 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25952] ppid=25943 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7 /proc/25945/task/25952/stat : 25952 (java) S 25943 25943 18413 0 -1 1077944384 169 0 0 0 6 3 0 0 20 0 28 0 510977082 29458776064 112036 33554432000 4194304 4196468 140722218165184 140272214207120 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25953] ppid=25943 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7 /proc/25945/task/25953/stat : 25953 (java) S 25943 25943 18413 0 -1 1077944384 220 0 0 0 7 2 0 0 20 0 28 0 510977082 29458776064 112036 33554432000 4194304 4196468 140722218165184 140272213154064 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25954] ppid=25943 vsize=28768336 memory=0 CPUtime=0.06 cores=0-7 /proc/25945/task/25954/stat : 25954 (java) S 25943 25943 18413 0 -1 1077944384 206 0 0 0 4 2 0 0 20 0 28 0 510977082 29458776064 112036 33554432000 4194304 4196468 140722218165184 140272212101520 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25955] ppid=25943 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/25945/task/25955/stat : 25955 (java) S 25943 25943 18413 0 -1 1077944384 302 0 0 0 1 0 0 0 20 0 28 0 510977084 29458776064 112036 33554432000 4194304 4196468 140722218165184 140272052620016 140272667966082 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25956] ppid=25943 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25956/stat : 25956 (java) S 25943 25943 18413 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 510977084 29458776064 112036 33554432000 4194304 4196468 140722218165184 140272051566304 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25957] ppid=25943 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25957/stat : 25957 (java) S 25943 25943 18413 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 510977085 29458776064 112036 33554432000 4194304 4196468 140722218165184 140272050513152 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25958] ppid=25943 vsize=28768336 memory=57 CPUtime=0 cores=0-7 /proc/25945/task/25958/stat : 25958 (java) S 25943 25943 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510977087 29458776064 112036 33554432000 4194304 4196468 140722218165184 140272049461712 140272667973531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25959] ppid=25943 vsize=28768336 memory=0 CPUtime=3.06 cores=0-7 /proc/25945/task/25959/stat : 25959 (java) S 25943 25943 18413 0 -1 1077944384 7316 0 0 0 304 2 0 0 20 0 28 0 510977087 29458776064 112036 33554432000 4194304 4196468 140722218165184 140272048408816 140272667966082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25960] ppid=25943 vsize=28768336 memory=0 CPUtime=3.32 cores=0-7 /proc/25945/task/25960/stat : 25960 (java) R 25943 25943 18413 0 -1 4202560 7612 0 0 0 331 1 0 0 20 0 28 0 510977087 29458776064 112036 33554432000 4194304 4196468 140722218165184 140272047356272 140272667966870 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25961] ppid=25943 vsize=28768336 memory=0 CPUtime=3.27 cores=0-7 /proc/25945/task/25961/stat : 25961 (java) R 25943 25943 18413 0 -1 1077944384 6964 0 0 0 326 1 0 0 20 0 28 0 510977087 29458776064 112036 33554432000 4194304 4196468 140722218165184 140272046303216 140272667966082 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25962] ppid=25943 vsize=28768336 memory=0 CPUtime=1.02 cores=0-7 /proc/25945/task/25962/stat : 25962 (java) S 25943 25943 18413 0 -1 1077944384 6368 0 0 0 101 1 0 0 20 0 28 0 510977087 29458776064 112036 33554432000 4194304 4196468 140722218165184 140272045250672 140272667966082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25963] ppid=25943 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25963/stat : 25963 (java) S 25943 25943 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510977087 29458776064 112036 33554432000 4194304 4196468 140722218165184 140272044198880 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25964] ppid=25943 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25964/stat : 25964 (java) S 25943 25943 18413 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 510977087 29458776064 112036 33554432000 4194304 4196468 140722218165184 140272043146416 140272667966082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=26093] ppid=25943 vsize=28768336 memory=0 CPUtime=1.18 cores=0-7 /proc/25945/task/26093/stat : 26093 (java) R 25943 25943 18413 0 -1 4202560 18 0 0 0 118 0 0 0 20 0 28 0 510977478 29458776064 112036 33554432000 4194304 4196468 140722218165184 140272031828744 140272314095111 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=26094] ppid=25943 vsize=28768336 memory=0 CPUtime=1.18 cores=0-7 /proc/25945/task/26094/stat : 26094 (java) R 25943 25943 18413 0 -1 4202560 18 0 0 0 118 0 0 0 20 0 28 0 510977478 29458776064 112036 33554432000 4194304 4196468 140722218165184 140272025514936 140272314094262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=26095] ppid=25943 vsize=28768336 memory=0 CPUtime=1.17 cores=0-7 /proc/25945/task/26095/stat : 26095 (java) R 25943 25943 18413 0 -1 4202560 19 0 0 0 117 0 0 0 20 0 28 0 510977478 29458776064 112036 33554432000 4194304 4196468 140722218165184 140272028672328 140272314412705 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=26096] ppid=25943 vsize=28768336 memory=0 CPUtime=1.14 cores=0-7 /proc/25945/task/26096/stat : 26096 (java) R 25943 25943 18413 0 -1 4202560 30 0 0 0 114 0 0 0 20 0 28 0 510977478 29458776064 112036 33554432000 4194304 4196468 140722218165184 140272024460520 140272308309630 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=26097] ppid=25943 vsize=28768336 memory=0 CPUtime=1.17 cores=0-7 /proc/25945/task/26097/stat : 26097 (java) R 25943 25943 18413 0 -1 4202560 17 0 0 0 117 0 0 0 20 0 28 0 510977478 29458776064 112036 33554432000 4194304 4196468 140722218165184 140272026565848 140272315272064 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=26098] ppid=25943 vsize=28768336 memory=0 CPUtime=1.14 cores=0-7 /proc/25945/task/26098/stat : 26098 (java) R 25943 25943 18413 0 -1 4202560 27 0 0 0 114 0 0 0 20 0 28 0 510977478 29458776064 112036 33554432000 4194304 4196468 140722218165184 140272027619832 140272314157824 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=26099] ppid=25943 vsize=28768336 memory=0 CPUtime=1.2 cores=0-7 /proc/25945/task/26099/stat : 26099 (java) R 25943 25943 18413 0 -1 4202560 18 0 0 0 120 0 0 0 20 0 28 0 510977478 29458776064 112036 33554432000 4194304 4196468 140722218165184 140272029725432 140272313248576 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=26100] ppid=25943 vsize=28768336 memory=0 CPUtime=1.1 cores=0-7 /proc/25945/task/26100/stat : 26100 (java) R 25943 25943 18413 0 -1 4202560 17 0 0 0 110 0 0 0 20 0 28 0 510977478 29458776064 112036 33554432000 4194304 4196468 140722218165184 140272030778472 140272314396342 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 Current children cumulated CPU time: 28.41 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 449596 KiB [startup+5.60103 s] /proc/loadavg: 7.81 8.22 7.99 9/219 26100 /proc/meminfo: memFree=28425324/32770624 swapFree=66999256/67108860 [pid=25943] ppid=25940 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25943/stat : 25943 (xcsp3-exec) S 25940 25943 18413 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510977081 115843072 363 33554432000 4194304 5098028 140721538422768 140721538420872 140615571309180 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19791872 140721538429820 140721538430062 140721538430062 140721538432970 0 /proc/25943/statm: 28282 363 304 221 0 87 0 [pid=25945] ppid=25943 vsize=28768336 memory=448148 CPUtime=30.55 cores=0-7 /proc/25945/stat : 25945 (java) S 25943 25943 18413 0 -1 1077944320 44658 0 0 0 3014 41 0 0 20 0 28 0 510977081 29458776064 112037 33554432000 4194304 4196468 140722218165184 140722218147728 140272667954935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 /proc/25945/statm: 7192084 112037 3540 1 0 7153184 0 [pid=25945/tid=25946] ppid=25943 vsize=28768336 memory=3028 CPUtime=1.89 cores=0-7 /proc/25945/task/25946/stat : 25946 (java) S 25943 25943 18413 0 -1 1077944384 10093 0 0 0 182 7 0 0 20 0 28 0 510977082 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272672195712 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25947] ppid=25943 vsize=28768336 memory=2012 CPUtime=0.08 cores=0-7 /proc/25945/task/25947/stat : 25947 (java) S 25943 25943 18413 0 -1 1077944384 237 0 0 0 6 2 0 0 20 0 28 0 510977082 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272626715664 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25948] ppid=25943 vsize=28768336 memory=1436 CPUtime=0.08 cores=0-7 /proc/25945/task/25948/stat : 25948 (java) S 25943 25943 18413 0 -1 1077944384 143 0 0 0 6 2 0 0 20 0 28 0 510977082 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272218418320 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25949] ppid=25943 vsize=28768336 memory=140358390759425 CPUtime=0.08 cores=0-7 /proc/25945/task/25949/stat : 25949 (java) S 25943 25943 18413 0 -1 1077944384 138 0 0 0 6 2 0 0 20 0 28 0 510977082 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272217365264 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25950] ppid=25943 vsize=28768336 memory=5787219346483269989 CPUtime=0.08 cores=0-7 /proc/25945/task/25950/stat : 25950 (java) S 25943 25943 18413 0 -1 1077944384 148 0 0 0 6 2 0 0 20 0 28 0 510977082 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272216312720 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25951] ppid=25943 vsize=28768336 memory=4050120 CPUtime=0.1 cores=0-7 /proc/25945/task/25951/stat : 25951 (java) S 25943 25943 18413 0 -1 1077944384 144 0 0 0 7 3 0 0 20 0 28 0 510977082 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272215259664 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25952] ppid=25943 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7 /proc/25945/task/25952/stat : 25952 (java) S 25943 25943 18413 0 -1 1077944384 169 0 0 0 6 3 0 0 20 0 28 0 510977082 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272214207120 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25953] ppid=25943 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7 /proc/25945/task/25953/stat : 25953 (java) S 25943 25943 18413 0 -1 1077944384 220 0 0 0 7 2 0 0 20 0 28 0 510977082 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272213154064 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25954] ppid=25943 vsize=28768336 memory=0 CPUtime=0.06 cores=0-7 /proc/25945/task/25954/stat : 25954 (java) S 25943 25943 18413 0 -1 1077944384 206 0 0 0 4 2 0 0 20 0 28 0 510977082 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272212101520 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25955] ppid=25943 vsize=28768336 memory=6943526294502006880 CPUtime=0.01 cores=0-7 /proc/25945/task/25955/stat : 25955 (java) S 25943 25943 18413 0 -1 1077944384 303 0 0 0 1 0 0 0 20 0 28 0 510977084 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272052620016 140272667966082 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25956] ppid=25943 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25956/stat : 25956 (java) S 25943 25943 18413 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 510977084 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272051566304 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25957] ppid=25943 vsize=28768336 memory=776 CPUtime=0 cores=0-7 /proc/25945/task/25957/stat : 25957 (java) S 25943 25943 18413 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 510977085 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272050513152 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25958] ppid=25943 vsize=28768336 memory=3604 CPUtime=0 cores=0-7 /proc/25945/task/25958/stat : 25958 (java) S 25943 25943 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510977087 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272049461712 140272667973531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25959] ppid=25943 vsize=28768336 memory=2828 CPUtime=3.06 cores=0-7 /proc/25945/task/25959/stat : 25959 (java) S 25943 25943 18413 0 -1 1077944384 7317 0 0 0 304 2 0 0 20 0 28 0 510977087 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272048408816 140272667966082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25960] ppid=25943 vsize=28768336 memory=676 CPUtime=3.34 cores=0-7 /proc/25945/task/25960/stat : 25960 (java) S 25943 25943 18413 0 -1 1077944384 7617 0 0 0 332 2 0 0 20 0 28 0 510977087 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272047356272 140272667966082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25961] ppid=25943 vsize=28768336 memory=1060 CPUtime=3.27 cores=0-7 /proc/25945/task/25961/stat : 25961 (java) S 25943 25943 18413 0 -1 1077944384 6969 0 0 0 326 1 0 0 20 0 28 0 510977087 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272046303216 140272667966082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25962] ppid=25943 vsize=28768336 memory=1548 CPUtime=1.02 cores=0-7 /proc/25945/task/25962/stat : 25962 (java) S 25943 25943 18413 0 -1 1077944384 6368 0 0 0 101 1 0 0 20 0 28 0 510977087 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272045250672 140272667966082 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25963] ppid=25943 vsize=28768336 memory=8560 CPUtime=0 cores=0-7 /proc/25945/task/25963/stat : 25963 (java) S 25943 25943 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510977087 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272044198880 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25964] ppid=25943 vsize=28768336 memory=1712 CPUtime=0 cores=0-7 /proc/25945/task/25964/stat : 25964 (java) S 25943 25943 18413 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 510977087 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272043146416 140272667966082 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 Current children cumulated CPU time: 30.55 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 449600 KiB [startup+5.7009 s] /proc/loadavg: 7.81 8.22 7.99 9/219 26100 /proc/meminfo: memFree=28425324/32770624 swapFree=66999256/67108860 [pid=25943] ppid=25940 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/25943/stat : 25943 (xcsp3-exec) S 25940 25943 18413 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510977081 115843072 363 33554432000 4194304 5098028 140721538422768 140721538420872 140615571309180 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 19791872 140721538429820 140721538430062 140721538430062 140721538432970 0 /proc/25943/statm: 28282 363 304 221 0 87 0 [pid=25945] ppid=25943 vsize=28768336 memory=448148 CPUtime=31.32 cores=0-7 /proc/25945/stat : 25945 (java) S 25943 25943 18413 0 -1 1077944320 44664 0 0 0 3091 41 0 0 20 0 28 0 510977081 29458776064 112037 33554432000 4194304 4196468 140722218165184 140722218147728 140272667954935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 /proc/25945/statm: 7192084 112037 3540 1 0 7153184 0 [pid=25945/tid=25946] ppid=25943 vsize=28768336 memory=6791534058613427641 CPUtime=1.89 cores=0-7 /proc/25945/task/25946/stat : 25946 (java) S 25943 25943 18413 0 -1 1077944384 10093 0 0 0 182 7 0 0 20 0 28 0 510977082 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272672195856 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25947] ppid=25943 vsize=28768336 memory=288230596050944315 CPUtime=0.08 cores=0-7 /proc/25945/task/25947/stat : 25947 (java) S 25943 25943 18413 0 -1 1077944384 237 0 0 0 6 2 0 0 20 0 28 0 510977082 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272626715664 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25948] ppid=25943 vsize=28768336 memory=3504 CPUtime=0.08 cores=0-7 /proc/25945/task/25948/stat : 25948 (java) S 25943 25943 18413 0 -1 1077944384 143 0 0 0 6 2 0 0 20 0 28 0 510977082 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272218418320 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25949] ppid=25943 vsize=28768336 memory=65080 CPUtime=0.08 cores=0-7 /proc/25945/task/25949/stat : 25949 (java) S 25943 25943 18413 0 -1 1077944384 138 0 0 0 6 2 0 0 20 0 28 0 510977082 29458776064 112054 33554432000 4194304 4196468 140722218165184 140272217365264 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25950] ppid=25943 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7 /proc/25945/task/25950/stat : 25950 (java) S 25943 25943 18413 0 -1 1077944384 148 0 0 0 6 2 0 0 20 0 28 0 510977082 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272216312720 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25951] ppid=25943 vsize=28768336 memory=0 CPUtime=0.1 cores=0-7 /proc/25945/task/25951/stat : 25951 (java) S 25943 25943 18413 0 -1 1077944384 144 0 0 0 7 3 0 0 20 0 28 0 510977082 29458776064 112054 33554432000 4194304 4196468 140722218165184 140272215259664 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25952] ppid=25943 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7 /proc/25945/task/25952/stat : 25952 (java) S 25943 25943 18413 0 -1 1077944384 169 0 0 0 6 3 0 0 20 0 27 0 510977082 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272214207120 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25953] ppid=25943 vsize=28768336 memory=280716781254816 CPUtime=0.09 cores=0-7 /proc/25945/task/25953/stat : 25953 (java) S 25943 25943 18413 0 -1 1077944384 220 0 0 0 7 2 0 0 20 0 27 0 510977082 29458776064 112054 33554432000 4194304 4196468 140722218165184 140272213154064 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25954] ppid=25943 vsize=28768336 memory=6 CPUtime=0.06 cores=0-7 /proc/25945/task/25954/stat : 25954 (java) S 25943 25943 18413 0 -1 1077944384 206 0 0 0 4 2 0 0 20 0 26 0 510977082 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272212101520 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25955] ppid=25943 vsize=28768336 memory=1 CPUtime=0.01 cores=0-7 /proc/25945/task/25955/stat : 25955 (java) S 25943 25943 18413 0 -1 1077944384 303 0 0 0 1 0 0 0 20 0 25 0 510977084 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272052620016 140272667966082 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25956] ppid=25943 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25956/stat : 25956 (java) S 25943 25943 18413 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 25 0 510977084 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272051566304 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25957] ppid=25943 vsize=28768336 memory=57 CPUtime=0 cores=0-7 /proc/25945/task/25957/stat : 25957 (java) S 25943 25943 18413 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 25 0 510977085 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272050513152 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25958] ppid=25943 vsize=28768336 memory=9319 CPUtime=0 cores=0-7 /proc/25945/task/25958/stat : 25958 (java) S 25943 25943 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 25 0 510977087 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272049461712 140272667973531 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25959] ppid=25943 vsize=28768336 memory=23472 CPUtime=3.06 cores=0-7 /proc/25945/task/25959/stat : 25959 (java) S 25943 25943 18413 0 -1 1077944384 7317 0 0 0 304 2 0 0 20 0 25 0 510977087 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272048408816 140272667966082 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25960] ppid=25943 vsize=28768336 memory=6791534058613427641 CPUtime=3.34 cores=0-7 /proc/25945/task/25960/stat : 25960 (java) S 25943 25943 18413 0 -1 1077944384 7617 0 0 0 332 2 0 0 20 0 25 0 510977087 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272047356272 140272667966082 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25961] ppid=25943 vsize=28768336 memory=6655300316396806240 CPUtime=3.27 cores=0-7 /proc/25945/task/25961/stat : 25961 (java) S 25943 25943 18413 0 -1 1077944384 6969 0 0 0 326 1 0 0 20 0 25 0 510977087 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272046303216 140272667966082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25962] ppid=25943 vsize=28768336 memory=6944656592455097440 CPUtime=1.03 cores=0-7 /proc/25945/task/25962/stat : 25962 (java) S 25943 25943 18413 0 -1 1077944384 6372 0 0 0 102 1 0 0 20 0 25 0 510977087 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272045250672 140272667966082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25963] ppid=25943 vsize=28768336 memory=1452 CPUtime=0 cores=0-7 /proc/25945/task/25963/stat : 25963 (java) S 25943 25943 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 25 0 510977087 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272044198880 140272667965141 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 [pid=25945/tid=25964] ppid=25943 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/25945/task/25964/stat : 25964 (java) S 25943 25943 18413 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 25 0 510977087 29458776064 112037 33554432000 4194304 4196468 140722218165184 140272043146416 140272667966082 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17604608 140722218169328 140722218169499 140722218169499 140722218172367 0 Current children cumulated CPU time: 31.32 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 449600 KiB Child status: 0 Real time (s): 5.75789 CPU time (s): 31.3533 CPU user time (s): 30.9259 CPU system time (s): 0.427386 CPU usage (%): 544.528 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 449600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 30.926 system time used= 0.427386 maximum resident set size= 449024 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 45294 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= 5401 involuntary context switches= 610 # summary of solver processes directly reported to runsolver: # pid: 25943 # total CPU time (s): 31.3533 # total CPU user time (s): 30.9259 # total CPU system time (s): 0.427386 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.080267 second user time and 0.093461 second system time The end
Begin job on node103 at 2019-09-24 19:46:21 IDJOB=4407419 IDBENCH=126803 IDSOLVER=2872 FILE ID=node103/4407419-1569347240 RUNJOBID= node103-1569335920-18440 PBS_JOBID= 21705072 Free space on /tmp= 20860 MiB SOLVER NAME= choco-solver 2019-09-24 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-4407419-1569347240/watcher-4407419-1569347240 -o /tmp/evaluation-result-4407419-1569347240/solver-4407419-1569347240 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569335920-18440 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 966831040 HOME/instance-4407419-1569347240.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 305bfce3403e7be8ea8343edd9c7d9a7 RANDOM SEED=966831040 node103.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 28860868 kB MemAvailable: 31849484 kB Buffers: 53284 kB Cached: 3212412 kB SwapCached: 7000 kB Active: 3165636 kB Inactive: 114708 kB Active(anon): 3164 kB Inactive(anon): 69352 kB Active(file): 3162472 kB Inactive(file): 45356 kB Unevictable: 107056 kB Mlocked: 107056 kB SwapTotal: 67108860 kB SwapFree: 66999256 kB Dirty: 21508 kB Writeback: 1208 kB AnonPages: 189816 kB Mapped: 57936 kB Shmem: 49080 kB Slab: 222600 kB SReclaimable: 193248 kB SUnreclaim: 29352 kB KernelStack: 3440 kB PageTables: 5408 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 515080 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 145408 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 20836 MiB End job on node103 at 2019-09-24 19:46:27