Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 3 | 31.9634 | 5.79818 |
Name | OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-30-30-1.xml |
MD5SUM | 67a2d403e3bfd604d92484151c447548 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 21.818 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2760 |
Number of constraints | 2731 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 31 |
Distribution of domain sizes | [{"size":2,"count":1800},{"size":3,"count":900},{"size":30,"count":30},{"size":31,"count":30}] |
Minimum variable degree | 2 |
Maximum variable degree | 31 |
Distribution of variable degrees | [{"degree":2,"count":960},{"degree":3,"count":1770},{"degree":31,"count":30}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 31 |
Distribution of constraint arities | [{"arity":2,"count":930},{"arity":3,"count":1770},{"arity":30,"count":1},{"arity":31,"count":30}] |
Number of extensional constraints | 900 |
Number of intensional constraints | 900 |
Distribution of constraint types | [{"type":"extension","count":900},{"type":"intension","count":900},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"element","count":900}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4405023-1569014006.xml" -tl '2016s' -p 8 0.13/0.18 c Choco 3fb4b153 0.13/0.18 c [HOME/instance-4405023-1569014006.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 6.61/1.88 c solve instance... 7.79/2.09 o 19 8.55/2.15 o 18 9.15/2.28 o 17 10.34/2.50 o 16 10.34/2.59 o 15 10.87/2.67 o 14 11.84/2.86 o 13 12.35/2.98 o 12 13.22/3.08 o 11 15.01/3.31 o 10 15.01/3.34 o 9 15.76/3.45 o 8 16.51/3.62 o 7 17.93/3.88 o 6 18.68/3.95 o 5 29.93/5.41 o 4 30.58/5.61 o 3 31.31/5.78 s OPTIMUM FOUND 31.31/5.78 v <instantiation> 31.31/5.78 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.31/5.78 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.31/5.78 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 (7039 MiB free) memory of node 1: 16384 MiB (8349 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405023-1569014006/watcher-4405023-1569014006 -o /var/tmp/evaluation-result-4405023-1569014006/solver-4405023-1569014006 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569005314-11667 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 154862696 HOME/instance-4405023-1569014006.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=23843, runsolver pid=23840 Current StackSize limit: 8192 KiB [startup+0.103765 s]* /proc/loadavg: 8.01 8.16 8.13 2/212 23864 /proc/meminfo: memFree=15741032/32770624 swapFree=66976744/67108860 [pid=23843] ppid=23840 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23843/stat : 23843 (xcsp3-exec) S 23840 23843 11640 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477340685 115843072 364 33554432000 4194304 5098028 140720498263440 140720498261544 139867848581756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14635008 140720498266968 140720498267226 140720498267226 140720498270150 0 /proc/23843/statm: 28282 364 305 221 0 87 0 [pid=23845] ppid=23843 vsize=28227396 memory=28912 CPUtime=0.13 cores=0-7 /proc/23845/stat : 23845 (java) S 23843 23843 11640 0 -1 1077944320 5767 0 0 0 12 1 0 0 20 0 20 0 477340686 28904853504 7228 33554432000 4194304 4196468 140733880036864 140733880019408 140098794569463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 /proc/23845/statm: 7056849 7228 3123 1 0 7019032 0 [pid=23845/tid=23846] ppid=23843 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/23845/task/23846/stat : 23846 (java) R 23843 23843 11640 0 -1 4202560 3620 0 0 0 9 0 0 0 20 0 20 0 477340686 28904853504 7228 33554432000 4194304 4196468 140733880036864 140098798799056 140098428643969 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23847] ppid=23843 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/23845/task/23847/stat : 23847 (java) S 23843 23843 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477340687 28904853504 7228 33554432000 4194304 4196468 140733880036864 140098345490960 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23848] ppid=23843 vsize=28227396 memory=140182928283264 CPUtime=0 cores=0-7 /proc/23845/task/23848/stat : 23848 (java) S 23843 23843 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477340687 28904853504 7228 33554432000 4194304 4196468 140733880036864 140098344438416 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23849] ppid=23843 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23849/stat : 23849 (java) S 23843 23843 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477340687 28904853504 7228 33554432000 4194304 4196468 140733880036864 140098343385360 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23850] ppid=23843 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23850/stat : 23850 (java) S 23843 23843 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477340687 28904853504 7228 33554432000 4194304 4196468 140733880036864 140098342332816 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23851] ppid=23843 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23851/stat : 23851 (java) S 23843 23843 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477340687 28904853504 7228 33554432000 4194304 4196468 140733880036864 140098341280784 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23852] ppid=23843 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23845/task/23852/stat : 23852 (java) S 23843 23843 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477340687 28904853504 7228 33554432000 4194304 4196468 140733880036864 140098340228240 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23853] ppid=23843 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23853/stat : 23853 (java) S 23843 23843 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477340687 28904853504 7228 33554432000 4194304 4196468 140733880036864 140098339175184 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23854] ppid=23843 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23854/stat : 23854 (java) S 23843 23843 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477340687 28904853504 7228 33554432000 4194304 4196468 140733880036864 140098338122640 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23855] ppid=23843 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23855/stat : 23855 (java) S 23843 23843 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477340688 28904853504 7228 33554432000 4194304 4196468 140733880036864 140097392425200 140098794580610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23856] ppid=23843 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23856/stat : 23856 (java) S 23843 23843 11640 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477340689 28904853504 7228 33554432000 4194304 4196468 140733880036864 140097391371424 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23857] ppid=23843 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23857/stat : 23857 (java) S 23843 23843 11640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477340689 28904853504 7228 33554432000 4194304 4196468 140733880036864 140097390318320 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23858] ppid=23843 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23858/stat : 23858 (java) S 23843 23843 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477340691 28904853504 7228 33554432000 4194304 4196468 140733880036864 140097389266896 140098794588059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23859] ppid=23843 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23859/stat : 23859 (java) S 23843 23843 11640 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 477340691 28904853504 7228 33554432000 4194304 4196468 140733880036864 140097388215024 140098794580610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23860] ppid=23843 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23860/stat : 23860 (java) R 23843 23843 11640 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 20 0 477340691 28904853504 7228 33554432000 4194304 4196468 140733880036864 140097387154288 140098773718152 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23861] ppid=23843 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23861/stat : 23861 (java) S 23843 23843 11640 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 477340691 28904853504 7228 33554432000 4194304 4196468 140733880036864 140097386109424 140098794580610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23862] ppid=23843 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/23845/task/23862/stat : 23862 (java) R 23843 23843 11640 0 -1 4202560 362 0 0 0 2 0 0 0 20 0 20 0 477340691 28904853504 7228 33554432000 4194304 4196468 140733880036864 140097385056880 140098794581398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23863] ppid=23843 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23863/stat : 23863 (java) S 23843 23843 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477340692 28904853504 7228 33554432000 4194304 4196468 140733880036864 140097384004064 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23864] ppid=23843 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23845/task/23864/stat : 23864 (java) S 23843 23843 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477340692 28904853504 7228 33554432000 4194304 4196468 140733880036864 140097382951600 140098794580610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 30368 KiB [startup+0.210528 s]* /proc/loadavg: 8.01 8.16 8.13 3/212 23864 /proc/meminfo: memFree=15728176/32770624 swapFree=66976744/67108860 [pid=23843] ppid=23840 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23843/stat : 23843 (xcsp3-exec) S 23840 23843 11640 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477340685 115843072 364 33554432000 4194304 5098028 140720498263440 140720498261544 139867848581756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14635008 140720498266968 140720498267226 140720498267226 140720498270150 0 /proc/23843/statm: 28282 364 305 221 0 87 0 [pid=23845] ppid=23843 vsize=28227396 memory=41000 CPUtime=0.34 cores=0-7 /proc/23845/stat : 23845 (java) S 23843 23843 11640 0 -1 1077944320 9520 0 0 0 31 3 0 0 20 0 20 0 477340686 28904853504 10250 33554432000 4194304 4196468 140733880036864 140733880019408 140098794569463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 /proc/23845/statm: 7056849 10250 3298 1 0 7019032 0 [pid=23845/tid=23846] ppid=23843 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/23845/task/23846/stat : 23846 (java) R 23843 23843 11640 0 -1 4202560 6644 0 0 0 18 2 0 0 20 0 20 0 477340686 28904853504 10250 33554432000 4194304 4196468 140733880036864 140098798807280 140098787247477 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23847] ppid=23843 vsize=28227396 memory=331 CPUtime=0 cores=0-7 /proc/23845/task/23847/stat : 23847 (java) S 23843 23843 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477340687 28904853504 10250 33554432000 4194304 4196468 140733880036864 140098345490960 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23848] ppid=23843 vsize=28227396 memory=288370559079995008 CPUtime=0 cores=0-7 /proc/23845/task/23848/stat : 23848 (java) S 23843 23843 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477340687 28904853504 10250 33554432000 4194304 4196468 140733880036864 140098344438416 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23849] ppid=23843 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23845/task/23849/stat : 23849 (java) S 23843 23843 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477340687 28904853504 10250 33554432000 4194304 4196468 140733880036864 140098343385360 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23850] ppid=23843 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23850/stat : 23850 (java) S 23843 23843 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477340687 28904853504 10250 33554432000 4194304 4196468 140733880036864 140098342332816 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23851] ppid=23843 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23851/stat : 23851 (java) S 23843 23843 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477340687 28904853504 10250 33554432000 4194304 4196468 140733880036864 140098341280784 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23852] ppid=23843 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23845/task/23852/stat : 23852 (java) S 23843 23843 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477340687 28904853504 10250 33554432000 4194304 4196468 140733880036864 140098340228240 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23853] ppid=23843 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23853/stat : 23853 (java) S 23843 23843 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477340687 28904853504 10250 33554432000 4194304 4196468 140733880036864 140098339175184 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23854] ppid=23843 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23854/stat : 23854 (java) S 23843 23843 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477340687 28904853504 10250 33554432000 4194304 4196468 140733880036864 140098338122640 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23855] ppid=23843 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23855/stat : 23855 (java) S 23843 23843 11640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477340688 28904853504 10250 33554432000 4194304 4196468 140733880036864 140097392425200 140098794580610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23856] ppid=23843 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23856/stat : 23856 (java) S 23843 23843 11640 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477340689 28904853504 10250 33554432000 4194304 4196468 140733880036864 140097391371424 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23857] ppid=23843 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23857/stat : 23857 (java) S 23843 23843 11640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477340689 28904853504 10250 33554432000 4194304 4196468 140733880036864 140097390318320 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23858] ppid=23843 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23858/stat : 23858 (java) S 23843 23843 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477340691 28904853504 10250 33554432000 4194304 4196468 140733880036864 140097389266896 140098794588059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23859] ppid=23843 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/23845/task/23859/stat : 23859 (java) S 23843 23843 11640 0 -1 1077944384 392 0 0 0 1 0 0 0 20 0 20 0 477340691 28904853504 10250 33554432000 4194304 4196468 140733880036864 140097388215024 140098794580610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23860] ppid=23843 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/23845/task/23860/stat : 23860 (java) S 23843 23843 11640 0 -1 1077944384 93 0 0 0 1 0 0 0 20 0 20 0 477340691 28904853504 10250 33554432000 4194304 4196468 140733880036864 140097387162480 140098794580610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23861] ppid=23843 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/23845/task/23861/stat : 23861 (java) S 23843 23843 11640 0 -1 1077944384 302 0 0 0 1 0 0 0 20 0 20 0 477340691 28904853504 10250 33554432000 4194304 4196468 140733880036864 140097386109424 140098794580610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23862] ppid=23843 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/23845/task/23862/stat : 23862 (java) R 23843 23843 11640 0 -1 4202560 775 0 0 0 8 0 0 0 20 0 20 0 477340691 28904853504 10250 33554432000 4194304 4196468 140733880036864 140097385056880 140098773117733 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23863] ppid=23843 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23863/stat : 23863 (java) S 23843 23843 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477340692 28904853504 10250 33554432000 4194304 4196468 140733880036864 140097384004064 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23864] ppid=23843 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/23845/task/23864/stat : 23864 (java) S 23843 23843 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477340692 28904853504 10250 33554432000 4194304 4196468 140733880036864 140097382951600 140098794580610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42456 KiB [startup+0.310475 s]* /proc/loadavg: 8.01 8.16 8.13 3/212 23864 /proc/meminfo: memFree=15721152/32770624 swapFree=66976744/67108860 [pid=23843] ppid=23840 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23843/stat : 23843 (xcsp3-exec) S 23840 23843 11640 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477340685 115843072 364 33554432000 4194304 5098028 140720498263440 140720498261544 139867848581756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14635008 140720498266968 140720498267226 140720498267226 140720498270150 0 /proc/23843/statm: 28282 364 305 221 0 87 0 [pid=23845] ppid=23843 vsize=28231652 memory=49484 CPUtime=0.52 cores=0-7 /proc/23845/stat : 23845 (java) S 23843 23843 11640 0 -1 1077944320 10805 0 0 0 48 4 0 0 20 0 20 0 477340686 28909211648 12371 33554432000 4194304 4196468 140733880036864 140733880019408 140098794569463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 /proc/23845/statm: 7057913 12371 3333 1 0 7019032 0 [pid=23845/tid=23846] ppid=23843 vsize=28231652 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/23845/task/23846/stat : 23846 (java) R 23843 23843 11640 0 -1 4202560 7828 0 0 0 27 3 0 0 20 0 20 0 477340686 28909211648 12371 33554432000 4194304 4196468 140733880036864 140098798800576 140098778649950 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23847] ppid=23843 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23847/stat : 23847 (java) S 23843 23843 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477340687 28909211648 12436 33554432000 4194304 4196468 140733880036864 140098345490960 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23848] ppid=23843 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23848/stat : 23848 (java) S 23843 23843 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477340687 28909211648 12436 33554432000 4194304 4196468 140733880036864 140098344438416 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23849] ppid=23843 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23849/stat : 23849 (java) S 23843 23843 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477340687 28909211648 12436 33554432000 4194304 4196468 140733880036864 140098343385360 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23850] ppid=23843 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23850/stat : 23850 (java) S 23843 23843 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477340687 28909211648 12436 33554432000 4194304 4196468 140733880036864 140098342332816 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23851] ppid=23843 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/23845/task/23851/stat : 23851 (java) S 23843 23843 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477340687 28909211648 12436 33554432000 4194304 4196468 140733880036864 140098341280784 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23852] ppid=23843 vsize=28231652 memory=140182766580655 CPUtime=0 cores=0-7 /proc/23845/task/23852/stat : 23852 (java) S 23843 23843 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477340687 28909211648 12436 33554432000 4194304 4196468 140733880036864 140098340228240 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23853] ppid=23843 vsize=28231652 memory=140182766582960 CPUtime=0 cores=0-7 /proc/23845/task/23853/stat : 23853 (java) S 23843 23843 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477340687 28909211648 12436 33554432000 4194304 4196468 140733880036864 140098339175184 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23854] ppid=23843 vsize=28231652 memory=140182766585264 CPUtime=0 cores=0-7 /proc/23845/task/23854/stat : 23854 (java) S 23843 23843 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477340687 28909211648 12436 33554432000 4194304 4196468 140733880036864 140098338122640 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23855] ppid=23843 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23855/stat : 23855 (java) S 23843 23843 11640 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 477340688 28909211648 12442 33554432000 4194304 4196468 140733880036864 140097392425200 140098794580610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23856] ppid=23843 vsize=28231652 memory=280365533177488 CPUtime=0 cores=0-7 /proc/23845/task/23856/stat : 23856 (java) S 23843 23843 11640 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477340689 28909211648 12442 33554432000 4194304 4196468 140733880036864 140097391371424 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23857] ppid=23843 vsize=28231652 memory=280365533184400 CPUtime=0 cores=0-7 /proc/23845/task/23857/stat : 23857 (java) S 23843 23843 11640 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477340689 28909211648 12442 33554432000 4194304 4196468 140733880036864 140097390318320 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23858] ppid=23843 vsize=28231652 memory=280365533125680 CPUtime=0 cores=0-7 /proc/23845/task/23858/stat : 23858 (java) S 23843 23843 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477340691 28909211648 12442 33554432000 4194304 4196468 140733880036864 140097389266896 140098794588059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23859] ppid=23843 vsize=28231652 memory=280365533198224 CPUtime=0.02 cores=0-7 /proc/23845/task/23859/stat : 23859 (java) S 23843 23843 11640 0 -1 1077944384 405 0 0 0 2 0 0 0 20 0 20 0 477340691 28909211648 12442 33554432000 4194304 4196468 140733880036864 140097388215024 140098794580610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23860] ppid=23843 vsize=28231652 memory=280365533205136 CPUtime=0.02 cores=0-7 /proc/23845/task/23860/stat : 23860 (java) S 23843 23843 11640 0 -1 1077944384 104 0 0 0 2 0 0 0 20 0 20 0 477340691 28909211648 12442 33554432000 4194304 4196468 140733880036864 140097387162480 140098794580610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23861] ppid=23843 vsize=28231652 memory=280365533202832 CPUtime=0.02 cores=0-7 /proc/23845/task/23861/stat : 23861 (java) S 23843 23843 11640 0 -1 1077944384 313 0 0 0 2 0 0 0 20 0 20 0 477340691 28909211648 12442 33554432000 4194304 4196468 140733880036864 140097386109424 140098794580610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23862] ppid=23843 vsize=28231652 memory=280365533218992 CPUtime=0.12 cores=0-7 /proc/23845/task/23862/stat : 23862 (java) S 23843 23843 11640 0 -1 1077944384 844 0 0 0 12 0 0 0 20 0 20 0 477340691 28909211648 12442 33554432000 4194304 4196468 140733880036864 140097385056880 140098794580610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23863] ppid=23843 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23863/stat : 23863 (java) S 23843 23843 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477340692 28909211648 12442 33554432000 4194304 4196468 140733880036864 140097384004064 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23864] ppid=23843 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/23845/task/23864/stat : 23864 (java) S 23843 23843 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477340692 28909211648 12442 33554432000 4194304 4196468 140733880036864 140097382951600 140098794580610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 Current children cumulated CPU time: 0.52 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 50940 KiB [startup+0.700909 s] /proc/loadavg: 8.01 8.16 8.13 4/212 23864 /proc/meminfo: memFree=15696072/32770624 swapFree=66976744/67108860 [pid=23843] ppid=23840 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23843/stat : 23843 (xcsp3-exec) S 23840 23843 11640 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477340685 115843072 364 33554432000 4194304 5098028 140720498263440 140720498261544 139867848581756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14635008 140720498266968 140720498267226 140720498267226 140720498270150 0 /proc/23843/statm: 28282 364 305 221 0 87 0 [pid=23845] ppid=23843 vsize=28233776 memory=105160 CPUtime=1.96 cores=0-7 /proc/23845/stat : 23845 (java) S 23843 23843 11640 0 -1 1077944320 16423 0 0 0 190 6 0 0 20 0 20 0 477340686 28911386624 26290 33554432000 4194304 4196468 140733880036864 140733880019408 140098794569463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 /proc/23845/statm: 7058444 26290 3451 1 0 7019544 0 [pid=23845/tid=23846] ppid=23843 vsize=28233776 memory=280365533576880 CPUtime=0.68 cores=0-7 /proc/23845/task/23846/stat : 23846 (java) R 23843 23843 11640 0 -1 4202560 9127 0 0 0 63 5 0 0 20 0 20 0 477340686 28911386624 26290 33554432000 4194304 4196468 140733880036864 140098798807088 140098431796045 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23847] ppid=23843 vsize=28233776 memory=140182766789488 CPUtime=0 cores=0-7 /proc/23845/task/23847/stat : 23847 (java) S 23843 23843 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477340687 28911386624 26290 33554432000 4194304 4196468 140733880036864 140098345490960 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23848] ppid=23843 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23848/stat : 23848 (java) S 23843 23843 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477340687 28911386624 26290 33554432000 4194304 4196468 140733880036864 140098344438416 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23849] ppid=23843 vsize=28233776 memory=1060 CPUtime=0 cores=0-7 /proc/23845/task/23849/stat : 23849 (java) S 23843 23843 11640 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477340687 28911386624 26290 33554432000 4194304 4196468 140733880036864 140098343385360 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 ################ # More data... # ################ [pid=23845/tid=23846] ppid=23843 vsize=28769364 memory=0 CPUtime=1.89 cores=0-7 /proc/23845/task/23846/stat : 23846 (java) S 23843 23843 11640 0 -1 1077944384 10728 0 0 0 182 7 0 0 20 0 28 0 477340686 29459828736 110670 33554432000 4194304 4196468 140733880036864 140098798810240 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23847] ppid=23843 vsize=28769364 memory=6944656592455097440 CPUtime=0.07 cores=0-7 /proc/23845/task/23847/stat : 23847 (java) S 23843 23843 11640 0 -1 1077944384 223 0 0 0 5 2 0 0 20 0 28 0 477340687 29459828736 110670 33554432000 4194304 4196468 140733880036864 140098345490960 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23848] ppid=23843 vsize=28769364 memory=0 CPUtime=0.07 cores=0-7 /proc/23845/task/23848/stat : 23848 (java) S 23843 23843 11640 0 -1 1077944384 173 0 0 0 5 2 0 0 20 0 28 0 477340687 29459828736 110670 33554432000 4194304 4196468 140733880036864 140098344438416 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23849] ppid=23843 vsize=28769364 memory=0 CPUtime=0.08 cores=0-7 /proc/23845/task/23849/stat : 23849 (java) S 23843 23843 11640 0 -1 1077944384 152 0 0 0 6 2 0 0 20 0 28 0 477340687 29459828736 110670 33554432000 4194304 4196468 140733880036864 140098343385360 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23850] ppid=23843 vsize=28769364 memory=0 CPUtime=0.06 cores=0-7 /proc/23845/task/23850/stat : 23850 (java) S 23843 23843 11640 0 -1 1077944384 146 0 0 0 4 2 0 0 20 0 28 0 477340687 29459828736 110670 33554432000 4194304 4196468 140733880036864 140098342332816 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23851] ppid=23843 vsize=28769364 memory=0 CPUtime=0.06 cores=0-7 /proc/23845/task/23851/stat : 23851 (java) S 23843 23843 11640 0 -1 1077944384 145 0 0 0 4 2 0 0 20 0 28 0 477340687 29459828736 110670 33554432000 4194304 4196468 140733880036864 140098341280784 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23852] ppid=23843 vsize=28769364 memory=1966164 CPUtime=0.07 cores=0-7 /proc/23845/task/23852/stat : 23852 (java) S 23843 23843 11640 0 -1 1077944384 158 0 0 0 5 2 0 0 20 0 28 0 477340687 29459828736 110670 33554432000 4194304 4196468 140733880036864 140098340228240 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23853] ppid=23843 vsize=28769364 memory=13852962571026373 CPUtime=0.06 cores=0-7 /proc/23845/task/23853/stat : 23853 (java) S 23843 23843 11640 0 -1 1077944384 192 0 0 0 4 2 0 0 20 0 28 0 477340687 29459828736 110670 33554432000 4194304 4196468 140733880036864 140098339175184 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23854] ppid=23843 vsize=28769364 memory=0 CPUtime=0.06 cores=0-7 /proc/23845/task/23854/stat : 23854 (java) S 23843 23843 11640 0 -1 1077944384 191 0 0 0 5 1 0 0 20 0 28 0 477340687 29459828736 110670 33554432000 4194304 4196468 140733880036864 140098338122640 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23855] ppid=23843 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/23845/task/23855/stat : 23855 (java) S 23843 23843 11640 0 -1 1077944384 382 0 0 0 1 0 0 0 20 0 28 0 477340688 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097392425200 140098794580610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23856] ppid=23843 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23856/stat : 23856 (java) S 23843 23843 11640 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 477340689 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097391371488 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23857] ppid=23843 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23857/stat : 23857 (java) S 23843 23843 11640 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 477340689 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097390318336 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23858] ppid=23843 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23858/stat : 23858 (java) S 23843 23843 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477340691 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097389266896 140098794588059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23859] ppid=23843 vsize=28769364 memory=280365533843456 CPUtime=3.09 cores=0-7 /proc/23845/task/23859/stat : 23859 (java) S 23843 23843 11640 0 -1 1077944384 6117 0 0 0 307 2 0 0 20 0 28 0 477340691 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097388215024 140098794580610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23860] ppid=23843 vsize=28769364 memory=0 CPUtime=3.21 cores=0-7 /proc/23845/task/23860/stat : 23860 (java) S 23843 23843 11640 0 -1 1077944384 6108 0 0 0 319 2 0 0 20 0 28 0 477340691 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097387162480 140098794580610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23861] ppid=23843 vsize=28769364 memory=0 CPUtime=3.02 cores=0-7 /proc/23845/task/23861/stat : 23861 (java) S 23843 23843 11640 0 -1 1077944384 8256 0 0 0 300 2 0 0 20 0 28 0 477340691 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097386109424 140098794580610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23862] ppid=23843 vsize=28769364 memory=0 CPUtime=1.06 cores=0-7 /proc/23845/task/23862/stat : 23862 (java) S 23843 23843 11640 0 -1 1077944384 5913 0 0 0 105 1 0 0 20 0 28 0 477340691 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097385056880 140098794580610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23863] ppid=23843 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23863/stat : 23863 (java) S 23843 23843 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477340692 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097384004064 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23864] ppid=23843 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23864/stat : 23864 (java) S 23843 23843 11640 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 477340692 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097382951600 140098794580610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23985] ppid=23843 vsize=28769364 memory=0 CPUtime=1.07 cores=0-7 /proc/23845/task/23985/stat : 23985 (java) R 23843 23843 11640 0 -1 4202560 19 0 0 0 107 0 0 0 20 0 28 0 477341081 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097371872136 140098436145206 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23986] ppid=23843 vsize=28769364 memory=0 CPUtime=1.15 cores=0-7 /proc/23845/task/23986/stat : 23986 (java) R 23843 23843 11640 0 -1 4202560 19 0 0 0 115 0 0 0 20 0 28 0 477341081 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097366610136 140098437815331 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23987] ppid=23843 vsize=28769364 memory=0 CPUtime=1.15 cores=0-7 /proc/23845/task/23987/stat : 23987 (java) R 23843 23843 11640 0 -1 4202560 18 0 0 0 115 0 0 0 20 0 28 0 477341081 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097365558456 140098438764375 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23988] ppid=23843 vsize=28769364 memory=0 CPUtime=1.17 cores=0-7 /proc/23845/task/23988/stat : 23988 (java) R 23843 23843 11640 0 -1 4202560 24 0 0 0 117 0 0 0 20 0 28 0 477341081 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097363451808 140098777040550 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23989] ppid=23843 vsize=28769364 memory=0 CPUtime=1.18 cores=0-7 /proc/23845/task/23989/stat : 23989 (java) R 23843 23843 11640 0 -1 4202560 18 0 0 0 118 0 0 0 20 0 28 0 477341081 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097364506880 140098431472617 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23990] ppid=23843 vsize=28769364 memory=7014476706252153956 CPUtime=1.2 cores=0-7 /proc/23845/task/23990/stat : 23990 (java) R 23843 23843 11640 0 -1 4202560 18 0 0 0 120 0 0 0 20 0 28 0 477341081 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097370820584 140098438764469 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23991] ppid=23843 vsize=28769364 memory=6080231562860254057 CPUtime=1.12 cores=0-7 /proc/23845/task/23991/stat : 23991 (java) R 23843 23843 11640 0 -1 4202560 27 0 0 0 112 0 0 0 20 0 28 0 477341081 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097367662584 140098438765162 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23992] ppid=23843 vsize=28769364 memory=8171051913766725976 CPUtime=1.17 cores=0-7 /proc/23845/task/23992/stat : 23992 (java) R 23843 23843 11640 0 -1 4202560 18 0 0 0 117 0 0 0 20 0 28 0 477341082 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097369767632 140098438764873 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 Current children cumulated CPU time: 28.87 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 444136 KiB [startup+5.6014 s] /proc/loadavg: 7.69 8.09 8.11 11/220 23992 /proc/meminfo: memFree=15322048/32770624 swapFree=66976744/67108860 [pid=23843] ppid=23840 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23843/stat : 23843 (xcsp3-exec) S 23840 23843 11640 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477340685 115843072 364 33554432000 4194304 5098028 140720498263440 140720498261544 139867848581756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14635008 140720498266968 140720498267226 140720498267226 140720498270150 0 /proc/23843/statm: 28282 364 305 221 0 87 0 [pid=23845] ppid=23843 vsize=28769364 memory=442680 CPUtime=30.58 cores=0-7 /proc/23845/stat : 23845 (java) S 23843 23843 11640 0 -1 1077944320 43566 0 0 0 3018 40 0 0 20 0 28 0 477340686 29459828736 110670 33554432000 4194304 4196468 140733880036864 140733880019408 140098794569463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 /proc/23845/statm: 7192341 110670 3543 1 0 7153441 0 [pid=23845/tid=23846] ppid=23843 vsize=28769364 memory=0 CPUtime=1.89 cores=0-7 /proc/23845/task/23846/stat : 23846 (java) S 23843 23843 11640 0 -1 1077944384 10728 0 0 0 182 7 0 0 20 0 28 0 477340686 29459828736 110670 33554432000 4194304 4196468 140733880036864 140098798810240 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23847] ppid=23843 vsize=28769364 memory=280365533564608 CPUtime=0.07 cores=0-7 /proc/23845/task/23847/stat : 23847 (java) S 23843 23843 11640 0 -1 1077944384 223 0 0 0 5 2 0 0 20 0 28 0 477340687 29459828736 110670 33554432000 4194304 4196468 140733880036864 140098345490960 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23848] ppid=23843 vsize=28769364 memory=0 CPUtime=0.07 cores=0-7 /proc/23845/task/23848/stat : 23848 (java) S 23843 23843 11640 0 -1 1077944384 173 0 0 0 5 2 0 0 20 0 28 0 477340687 29459828736 110670 33554432000 4194304 4196468 140733880036864 140098344438416 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23849] ppid=23843 vsize=28769364 memory=0 CPUtime=0.08 cores=0-7 /proc/23845/task/23849/stat : 23849 (java) S 23843 23843 11640 0 -1 1077944384 152 0 0 0 6 2 0 0 20 0 28 0 477340687 29459828736 110670 33554432000 4194304 4196468 140733880036864 140098343385360 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23850] ppid=23843 vsize=28769364 memory=0 CPUtime=0.06 cores=0-7 /proc/23845/task/23850/stat : 23850 (java) S 23843 23843 11640 0 -1 1077944384 146 0 0 0 4 2 0 0 20 0 28 0 477340687 29459828736 110670 33554432000 4194304 4196468 140733880036864 140098342332816 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23851] ppid=23843 vsize=28769364 memory=0 CPUtime=0.06 cores=0-7 /proc/23845/task/23851/stat : 23851 (java) S 23843 23843 11640 0 -1 1077944384 145 0 0 0 4 2 0 0 20 0 28 0 477340687 29459828736 110670 33554432000 4194304 4196468 140733880036864 140098341280784 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23852] ppid=23843 vsize=28769364 memory=1456 CPUtime=0.07 cores=0-7 /proc/23845/task/23852/stat : 23852 (java) S 23843 23843 11640 0 -1 1077944384 158 0 0 0 5 2 0 0 20 0 28 0 477340687 29459828736 110670 33554432000 4194304 4196468 140733880036864 140098340228240 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23853] ppid=23843 vsize=28769364 memory=1456 CPUtime=0.06 cores=0-7 /proc/23845/task/23853/stat : 23853 (java) S 23843 23843 11640 0 -1 1077944384 192 0 0 0 4 2 0 0 20 0 28 0 477340687 29459828736 110670 33554432000 4194304 4196468 140733880036864 140098339175184 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23854] ppid=23843 vsize=28769364 memory=445996 CPUtime=0.06 cores=0-7 /proc/23845/task/23854/stat : 23854 (java) S 23843 23843 11640 0 -1 1077944384 191 0 0 0 5 1 0 0 20 0 28 0 477340687 29459828736 110670 33554432000 4194304 4196468 140733880036864 140098338122640 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23855] ppid=23843 vsize=28769364 memory=206055351040870 CPUtime=0.01 cores=0-7 /proc/23845/task/23855/stat : 23855 (java) S 23843 23843 11640 0 -1 1077944384 382 0 0 0 1 0 0 0 20 0 28 0 477340688 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097392425200 140098794580610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23856] ppid=23843 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23856/stat : 23856 (java) S 23843 23843 11640 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 477340689 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097391371488 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23857] ppid=23843 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23857/stat : 23857 (java) S 23843 23843 11640 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 477340689 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097390318336 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23858] ppid=23843 vsize=28769364 memory=0 CPUtime=0 cores=0-7 /proc/23845/task/23858/stat : 23858 (java) S 23843 23843 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477340691 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097389266896 140098794588059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23859] ppid=23843 vsize=28769364 memory=0 CPUtime=3.09 cores=0-7 /proc/23845/task/23859/stat : 23859 (java) S 23843 23843 11640 0 -1 1077944384 6117 0 0 0 307 2 0 0 20 0 28 0 477340691 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097388215024 140098794580610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23860] ppid=23843 vsize=28769364 memory=0 CPUtime=3.37 cores=0-7 /proc/23845/task/23860/stat : 23860 (java) R 23843 23843 11640 0 -1 4202560 6127 0 0 0 335 2 0 0 20 0 28 0 477340691 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097387162776 140098774423752 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23861] ppid=23843 vsize=28769364 memory=0 CPUtime=3.02 cores=0-7 /proc/23845/task/23861/stat : 23861 (java) S 23843 23843 11640 0 -1 1077944384 8256 0 0 0 300 2 0 0 20 0 28 0 477340691 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097386109424 140098794580610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23862] ppid=23843 vsize=28769364 memory=205574314703606 CPUtime=1.07 cores=0-7 /proc/23845/task/23862/stat : 23862 (java) S 23843 23843 11640 0 -1 1077944384 5916 0 0 0 106 1 0 0 20 0 28 0 477340691 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097385056880 140098794580610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23863] ppid=23843 vsize=28769364 memory=7085948273124790866 CPUtime=0 cores=0-7 /proc/23845/task/23863/stat : 23863 (java) S 23843 23843 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477340692 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097384004064 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23864] ppid=23843 vsize=28769364 memory=6365668028727902304 CPUtime=0 cores=0-7 /proc/23845/task/23864/stat : 23864 (java) S 23843 23843 11640 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 477340692 29459828736 110670 33554432000 4194304 4196468 140733880036864 140097382951600 140098794580610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 Current children cumulated CPU time: 30.58 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 444136 KiB [startup+5.70136 s] /proc/loadavg: 7.69 8.09 8.11 11/220 23992 /proc/meminfo: memFree=15322048/32770624 swapFree=66976744/67108860 [pid=23843] ppid=23840 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/23843/stat : 23843 (xcsp3-exec) S 23840 23843 11640 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 477340685 115843072 364 33554432000 4194304 5098028 140720498263440 140720498261544 139867848581756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14635008 140720498266968 140720498267226 140720498267226 140720498270150 0 /proc/23843/statm: 28282 364 305 221 0 87 0 [pid=23845] ppid=23843 vsize=28769364 memory=442684 CPUtime=31.31 cores=0-7 /proc/23845/stat : 23845 (java) S 23843 23843 11640 0 -1 1077944320 43709 0 0 0 3091 40 0 0 20 0 28 0 477340686 29459828736 110671 33554432000 4194304 4196468 140733880036864 140733880019408 140098794569463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 /proc/23845/statm: 7192341 110671 3543 1 0 7153441 0 [pid=23845/tid=23846] ppid=23843 vsize=28769364 memory=421768 CPUtime=1.89 cores=0-7 /proc/23845/task/23846/stat : 23846 (java) S 23843 23843 11640 0 -1 1077944384 10728 0 0 0 182 7 0 0 20 0 28 0 477340686 29459828736 110671 33554432000 4194304 4196468 140733880036864 140098798810240 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23847] ppid=23843 vsize=28769364 memory=1456 CPUtime=0.07 cores=0-7 /proc/23845/task/23847/stat : 23847 (java) S 23843 23843 11640 0 -1 1077944384 223 0 0 0 5 2 0 0 20 0 28 0 477340687 29459828736 110671 33554432000 4194304 4196468 140733880036864 140098345490960 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23848] ppid=23843 vsize=28769364 memory=414788 CPUtime=0.07 cores=0-7 /proc/23845/task/23848/stat : 23848 (java) S 23843 23843 11640 0 -1 1077944384 173 0 0 0 5 2 0 0 20 0 28 0 477340687 29459828736 110671 33554432000 4194304 4196468 140733880036864 140098344438416 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23849] ppid=23843 vsize=28769364 memory=6791534058613427641 CPUtime=0.08 cores=0-7 /proc/23845/task/23849/stat : 23849 (java) S 23843 23843 11640 0 -1 1077944384 152 0 0 0 6 2 0 0 20 0 28 0 477340687 29459828736 110671 33554432000 4194304 4196468 140733880036864 140098343385360 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23850] ppid=23843 vsize=28769364 memory=1966187 CPUtime=0.06 cores=0-7 /proc/23845/task/23850/stat : 23850 (java) S 23843 23843 11640 0 -1 1077944384 146 0 0 0 4 2 0 0 20 0 28 0 477340687 29459828736 110671 33554432000 4194304 4196468 140733880036864 140098342332816 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23851] ppid=23843 vsize=28769364 memory=1967578 CPUtime=0.06 cores=0-7 /proc/23845/task/23851/stat : 23851 (java) S 23843 23843 11640 0 -1 1077944384 145 0 0 0 4 2 0 0 20 0 28 0 477340687 29459828736 110671 33554432000 4194304 4196468 140733880036864 140098341280784 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23852] ppid=23843 vsize=28769364 memory=78 CPUtime=0.07 cores=0-7 /proc/23845/task/23852/stat : 23852 (java) S 23843 23843 11640 0 -1 1077944384 158 0 0 0 5 2 0 0 20 0 28 0 477340687 29459828736 110671 33554432000 4194304 4196468 140733880036864 140098340228240 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23853] ppid=23843 vsize=28769364 memory=0 CPUtime=0.06 cores=0-7 /proc/23845/task/23853/stat : 23853 (java) S 23843 23843 11640 0 -1 1077944384 192 0 0 0 4 2 0 0 20 0 28 0 477340687 29459828736 110671 33554432000 4194304 4196468 140733880036864 140098339175184 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23854] ppid=23843 vsize=28769364 memory=0 CPUtime=0.06 cores=0-7 /proc/23845/task/23854/stat : 23854 (java) S 23843 23843 11640 0 -1 1077944384 191 0 0 0 5 1 0 0 20 0 28 0 477340687 29459828736 110671 33554432000 4194304 4196468 140733880036864 140098338122640 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23855] ppid=23843 vsize=28769364 memory=0 CPUtime=0.01 cores=0-7 /proc/23845/task/23855/stat : 23855 (java) S 23843 23843 11640 0 -1 1077944384 382 0 0 0 1 0 0 0 20 0 28 0 477340688 29459828736 110671 33554432000 4194304 4196468 140733880036864 140097392425200 140098794580610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23856] ppid=23843 vsize=28769364 memory=6656426216303648864 CPUtime=0 cores=0-7 /proc/23845/task/23856/stat : 23856 (java) S 23843 23843 11640 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 477340689 29459828736 110671 33554432000 4194304 4196468 140733880036864 140097391371488 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23857] ppid=23843 vsize=28769364 memory=6944656592455359580 CPUtime=0 cores=0-7 /proc/23845/task/23857/stat : 23857 (java) S 23843 23843 11640 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 477340689 29459828736 110671 33554432000 4194304 4196468 140733880036864 140097390318336 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23858] ppid=23843 vsize=28769364 memory=6944656592387989600 CPUtime=0 cores=0-7 /proc/23845/task/23858/stat : 23858 (java) S 23843 23843 11640 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477340691 29459828736 110671 33554432000 4194304 4196468 140733880036864 140097389266896 140098794588059 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23859] ppid=23843 vsize=28769364 memory=6944656592455360604 CPUtime=3.1 cores=0-7 /proc/23845/task/23859/stat : 23859 (java) S 23843 23843 11640 0 -1 1077944384 6117 0 0 0 308 2 0 0 20 0 28 0 477340691 29459828736 110671 33554432000 4194304 4196468 140733880036864 140097388215024 140098794580610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23860] ppid=23843 vsize=28769364 memory=0 CPUtime=3.45 cores=0-7 /proc/23845/task/23860/stat : 23860 (java) S 23843 23843 11640 0 -1 1077944384 6131 0 0 0 343 2 0 0 20 0 28 0 477340691 29459828736 110671 33554432000 4194304 4196468 140733880036864 140097387162480 140098794580610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23861] ppid=23843 vsize=28769364 memory=102404905286230 CPUtime=3.02 cores=0-7 /proc/23845/task/23861/stat : 23861 (java) S 23843 23843 11640 0 -1 1077944384 8256 0 0 0 300 2 0 0 20 0 28 0 477340691 29459828736 110671 33554432000 4194304 4196468 140733880036864 140097386109424 140098794580610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23862] ppid=23843 vsize=28769364 memory=102404905286231 CPUtime=1.07 cores=0-7 /proc/23845/task/23862/stat : 23862 (java) S 23843 23843 11640 0 -1 1077944384 5916 0 0 0 106 1 0 0 20 0 28 0 477340691 29459828736 110671 33554432000 4194304 4196468 140733880036864 140097385056880 140098794580610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23863] ppid=23843 vsize=28769364 memory=102404905286232 CPUtime=0 cores=0-7 /proc/23845/task/23863/stat : 23863 (java) S 23843 23843 11640 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477340692 29459828736 110671 33554432000 4194304 4196468 140733880036864 140097384004064 140098794579669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 [pid=23845/tid=23864] ppid=23843 vsize=28769364 memory=102404905286233 CPUtime=0 cores=0-7 /proc/23845/task/23864/stat : 23864 (java) S 23843 23843 11640 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 477340692 29459828736 110671 33554432000 4194304 4196468 140733880036864 140097382951600 140098794580610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 28446720 140733880042460 140733880042635 140733880042635 140733880045519 0 Current children cumulated CPU time: 31.31 s Current children cumulated vsize: 28882492 KiB Current children cumulated memory: 444140 KiB Child status: 0 Real time (s): 5.79818 CPU time (s): 31.9634 CPU user time (s): 31.5503 CPU system time (s): 0.413134 CPU usage (%): 551.266 Max. virtual memory (cumulated for all children) (KiB): 28882492 Max. memory (cumulated for all children) (KiB): 447536 getrusage(RUSAGE_CHILDREN,...) data: user time used= 31.5503 system time used= 0.413134 maximum resident set size= 446080 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 44335 page faults= 0 swaps= 0 block input operations= 0 block output operations= 144 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5373 involuntary context switches= 576 # summary of solver processes directly reported to runsolver: # pid: 23843 # total CPU time (s): 31.9634 # total CPU user time (s): 31.5503 # total CPU system time (s): 0.413134 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.074274 second user time and 0.0971 second system time The end
Begin job on node124 at 2019-09-20 23:12:45 IDJOB=4405023 IDBENCH=140491 IDSOLVER=2866 FILE ID=node124/4405023-1569014006 RUNJOBID= node124-1569005314-11667 PBS_JOBID= 21704756 Free space on /var/tmp= 13512 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-wbop-30-30-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405023-1569014006/watcher-4405023-1569014006 -o /var/tmp/evaluation-result-4405023-1569014006/solver-4405023-1569014006 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node124-1569005314-11667 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 154862696 HOME/instance-4405023-1569014006.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 67a2d403e3bfd604d92484151c447548 RANDOM SEED=154862696 node124.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.47 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 15757060 kB MemAvailable: 31821916 kB Buffers: 144724 kB Cached: 15866184 kB SwapCached: 28944 kB Active: 7975792 kB Inactive: 8069564 kB Active(anon): 3440 kB Inactive(anon): 80508 kB Active(file): 7972352 kB Inactive(file): 7989056 kB Unevictable: 108080 kB Mlocked: 108080 kB SwapTotal: 67108860 kB SwapFree: 66976744 kB Dirty: 26020 kB Writeback: 0 kB AnonPages: 114880 kB Mapped: 52680 kB Shmem: 40888 kB Slab: 560432 kB SReclaimable: 531908 kB SUnreclaim: 28524 kB KernelStack: 3376 kB PageTables: 5208 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 506380 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 69632 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /var/tmp at the end= 13484 MiB End job on node124 at 2019-09-20 23:12:51