Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 3 | 54.6924 | 8.98961 |
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 | 23.8149 |
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-4393963-1568447483.xml" -tl '20160s' -p 8 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4393963-1568447483.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 6.92/2.25 c solve instance... 8.16/2.46 o 19 8.16/2.49 o 18 9.34/2.64 o 17 10.16/2.87 o 16 10.55/2.91 o 15 10.55/3.01 o 14 11.93/3.20 o 13 13.48/3.43 o 12 14.18/3.53 o 11 15.11/3.72 o 10 15.11/3.74 o 9 17.38/4.06 o 8 18.05/4.13 o 7 34.20/6.30 o 6 36.08/6.55 o 5 51.71/8.54 o 4 53.26/8.79 o 3 54.44/8.92 s OPTIMUM FOUND 54.44/8.92 v <instantiation> 54.44/8.92 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> 54.44/8.92 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> 54.44/8.92 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 (15215 MiB free) memory of node 1: 16384 MiB (15496 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393963-1568447483/watcher-4393963-1568447483 -o /tmp/evaluation-result-4393963-1568447483/solver-4393963-1568447483 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568439804-25815 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 414905226 HOME/instance-4393963-1568447483.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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 solver pid=28140, runsolver pid=28137 Starting watchdog thread Current StackSize limit: 8192 KiB [startup+0.100059 s]* /proc/loadavg: 4.66 2.66 4.26 3/215 28161 /proc/meminfo: memFree=31432276/32770624 swapFree=67004172/67108860 [pid=28140] ppid=28137 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28140/stat : 28140 (xcsp3-exec) S 28137 28140 25788 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420987959 115843072 363 33554432000 4194304 5098028 140732836819584 140732836817688 139687103361660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32694272 140732836828022 140732836828265 140732836828265 140732836831178 0 /proc/28140/statm: 28282 363 304 221 0 87 0 [pid=28142] ppid=28140 vsize=28227388 memory=29216 CPUtime=0.13 cores=0-7 /proc/28142/stat : 28142 (java) S 28140 28140 25788 0 -1 1077944320 5779 0 0 0 12 1 0 0 20 0 20 0 420987959 28904845312 7304 33554432000 4194304 4196468 140728033736016 140728033718560 140083254410999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 /proc/28142/statm: 7056847 7304 3123 1 0 7019032 0 [pid=28142/tid=28143] ppid=28140 vsize=28227388 memory=4134930498285298233 CPUtime=0.08 cores=0-7 /proc/28142/task/28143/stat : 28143 (java) R 28140 28140 25788 0 -1 4202560 3688 0 0 0 8 0 0 0 20 0 20 0 420987960 28904845312 7304 33554432000 4194304 4196468 140728033736016 140083258644272 140083246745015 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28144] ppid=28140 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/28142/task/28144/stat : 28144 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987960 28904845312 7304 33554432000 4194304 4196468 140728033736016 140083207031184 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28145] ppid=28140 vsize=28227388 memory=140006005024384 CPUtime=0 cores=0-7 /proc/28142/task/28145/stat : 28145 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987960 28904845312 7304 33554432000 4194304 4196468 140728033736016 140083205978384 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28146] ppid=28140 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28146/stat : 28146 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987960 28904845312 7304 33554432000 4194304 4196468 140728033736016 140083204926096 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28147] ppid=28140 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28147/stat : 28147 (java) S 28140 28140 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420987960 28904845312 7304 33554432000 4194304 4196468 140728033736016 140083203873296 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28148] ppid=28140 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28148/stat : 28148 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987960 28904845312 7370 33554432000 4194304 4196468 140728033736016 140083202821008 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28149] ppid=28140 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/28142/task/28149/stat : 28149 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987960 28904845312 7370 33554432000 4194304 4196468 140728033736016 140083201768208 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28150] ppid=28140 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28150/stat : 28150 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987961 28904845312 7370 33554432000 4194304 4196468 140728033736016 140083200715920 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28151] ppid=28140 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28151/stat : 28151 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987961 28904845312 7370 33554432000 4194304 4196468 140728033736016 140083199663120 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28152] ppid=28140 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28152/stat : 28152 (java) S 28140 28140 25788 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 420987962 28904845312 7370 33554432000 4194304 4196468 140728033736016 140082303457392 140083254422146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28153] ppid=28140 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28153/stat : 28153 (java) S 28140 28140 25788 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420987962 28904845312 7370 33554432000 4194304 4196468 140728033736016 140082302403360 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28154] ppid=28140 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28154/stat : 28154 (java) S 28140 28140 25788 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420987963 28904845312 7370 33554432000 4194304 4196468 140728033736016 140082301351024 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28155] ppid=28140 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28155/stat : 28155 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987965 28904845312 7370 33554432000 4194304 4196468 140728033736016 140082300299344 140083254429595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28156] ppid=28140 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28156/stat : 28156 (java) S 28140 28140 25788 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 420987965 28904845312 7370 33554432000 4194304 4196468 140728033736016 140082299247216 140083254422146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28157] ppid=28140 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28157/stat : 28157 (java) R 28140 28140 25788 0 -1 4202560 143 0 0 0 0 0 0 0 20 0 20 0 420987965 28904845312 7370 33554432000 4194304 4196468 140728033736016 140082298194416 140083237846737 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28158] ppid=28140 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28158/stat : 28158 (java) R 28140 28140 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420987965 28904845312 7370 33554432000 4194304 4196468 140728033736016 140082297142128 140083254422146 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28159] ppid=28140 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/28142/task/28159/stat : 28159 (java) S 28140 28140 25788 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 20 0 420987965 28904845312 7370 33554432000 4194304 4196468 140728033736016 140082296089328 140083254422146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28160] ppid=28140 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28160/stat : 28160 (java) S 28140 28140 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420987965 28904845312 7370 33554432000 4194304 4196468 140728033736016 140082295036256 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28161] ppid=28140 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/28142/task/28161/stat : 28161 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987965 28904845312 7370 33554432000 4194304 4196468 140728033736016 140082293983536 140083254422146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 Current children cumulated CPU time: 0.13 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 30668 KiB [startup+0.210756 s]* /proc/loadavg: 4.66 2.66 4.26 3/215 28161 /proc/meminfo: memFree=31420052/32770624 swapFree=67004172/67108860 [pid=28140] ppid=28137 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28140/stat : 28140 (xcsp3-exec) S 28137 28140 25788 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420987959 115843072 363 33554432000 4194304 5098028 140732836819584 140732836817688 139687103361660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32694272 140732836828022 140732836828265 140732836828265 140732836831178 0 /proc/28140/statm: 28282 363 304 221 0 87 0 [pid=28142] ppid=28140 vsize=28227388 memory=41188 CPUtime=0.34 cores=0-7 /proc/28142/stat : 28142 (java) S 28140 28140 25788 0 -1 1077944320 9532 0 0 0 31 3 0 0 20 0 20 0 420987959 28904845312 10297 33554432000 4194304 4196468 140728033736016 140728033718560 140083254410999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 /proc/28142/statm: 7056847 10297 3309 1 0 7019032 0 [pid=28142/tid=28143] ppid=28140 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/28142/task/28143/stat : 28143 (java) R 28140 28140 25788 0 -1 4202560 6654 0 0 0 18 2 0 0 20 0 20 0 420987960 28904845312 10297 33554432000 4194304 4196468 140728033736016 140083258642912 140083238491486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28144] ppid=28140 vsize=28227388 memory=331 CPUtime=0 cores=0-7 /proc/28142/task/28144/stat : 28144 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987960 28904845312 10297 33554432000 4194304 4196468 140728033736016 140083207031184 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28145] ppid=28140 vsize=28227388 memory=3546501740171241120 CPUtime=0 cores=0-7 /proc/28142/task/28145/stat : 28145 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987960 28904845312 10297 33554432000 4194304 4196468 140728033736016 140083205978384 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28146] ppid=28140 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/28142/task/28146/stat : 28146 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987960 28904845312 10297 33554432000 4194304 4196468 140728033736016 140083204926096 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28147] ppid=28140 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28147/stat : 28147 (java) S 28140 28140 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420987960 28904845312 10297 33554432000 4194304 4196468 140728033736016 140083203873296 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28148] ppid=28140 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28148/stat : 28148 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987960 28904845312 10297 33554432000 4194304 4196468 140728033736016 140083202821008 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28149] ppid=28140 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/28142/task/28149/stat : 28149 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987960 28904845312 10297 33554432000 4194304 4196468 140728033736016 140083201768208 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28150] ppid=28140 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28150/stat : 28150 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987961 28904845312 10297 33554432000 4194304 4196468 140728033736016 140083200715920 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28151] ppid=28140 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28151/stat : 28151 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987961 28904845312 10297 33554432000 4194304 4196468 140728033736016 140083199663120 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28152] ppid=28140 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28152/stat : 28152 (java) S 28140 28140 25788 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 420987962 28904845312 10297 33554432000 4194304 4196468 140728033736016 140082303457392 140083254422146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28153] ppid=28140 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28153/stat : 28153 (java) S 28140 28140 25788 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420987962 28904845312 10297 33554432000 4194304 4196468 140728033736016 140082302403360 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28154] ppid=28140 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28154/stat : 28154 (java) S 28140 28140 25788 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420987963 28904845312 10297 33554432000 4194304 4196468 140728033736016 140082301351024 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28155] ppid=28140 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28155/stat : 28155 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987965 28904845312 10297 33554432000 4194304 4196468 140728033736016 140082300299344 140083254429595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28156] ppid=28140 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/28142/task/28156/stat : 28156 (java) S 28140 28140 25788 0 -1 1077944384 528 0 0 0 1 0 0 0 20 0 20 0 420987965 28904845312 10297 33554432000 4194304 4196468 140728033736016 140082299247216 140083254422146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28157] ppid=28140 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7 /proc/28142/task/28157/stat : 28157 (java) S 28140 28140 25788 0 -1 1077944384 203 0 0 0 1 0 0 0 20 0 20 0 420987965 28904845312 10297 33554432000 4194304 4196468 140728033736016 140082298194416 140083254422146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28158] ppid=28140 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/28142/task/28158/stat : 28158 (java) S 28140 28140 25788 0 -1 1077944384 94 0 0 0 1 0 0 0 20 0 20 0 420987965 28904845312 10297 33554432000 4194304 4196468 140728033736016 140082297142128 140083254422146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28159] ppid=28140 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7 /proc/28142/task/28159/stat : 28159 (java) S 28140 28140 25788 0 -1 1077944384 744 0 0 0 8 0 0 0 20 0 20 0 420987965 28904845312 10297 33554432000 4194304 4196468 140728033736016 140082296089328 140083254422146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28160] ppid=28140 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28160/stat : 28160 (java) S 28140 28140 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420987965 28904845312 10297 33554432000 4194304 4196468 140728033736016 140082295036256 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28161] ppid=28140 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/28142/task/28161/stat : 28161 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987965 28904845312 10297 33554432000 4194304 4196468 140728033736016 140082293983536 140083254422146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42640 KiB [startup+0.311985 s]* /proc/loadavg: 4.66 2.66 4.26 3/215 28161 /proc/meminfo: memFree=31412376/32770624 swapFree=67004172/67108860 [pid=28140] ppid=28137 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28140/stat : 28140 (xcsp3-exec) S 28137 28140 25788 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420987959 115843072 363 33554432000 4194304 5098028 140732836819584 140732836817688 139687103361660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32694272 140732836828022 140732836828265 140732836828265 140732836831178 0 /proc/28140/statm: 28282 363 304 221 0 87 0 [pid=28142] ppid=28140 vsize=28231644 memory=50500 CPUtime=0.54 cores=0-7 /proc/28142/stat : 28142 (java) S 28140 28140 25788 0 -1 1077944320 10939 0 0 0 50 4 0 0 20 0 20 0 420987959 28909203456 12560 33554432000 4194304 4196468 140728033736016 140728033718560 140083254410999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 /proc/28142/statm: 7057911 12625 3357 1 0 7019032 0 [pid=28142/tid=28143] ppid=28140 vsize=28231644 memory=6791534058613427641 CPUtime=0.3 cores=0-7 /proc/28142/task/28143/stat : 28143 (java) R 28140 28140 25788 0 -1 4202560 7844 0 0 0 27 3 0 0 20 0 20 0 420987960 28909203456 12625 33554432000 4194304 4196468 140728033736016 140083258644784 140083254432925 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28144] ppid=28140 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28144/stat : 28144 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987960 28909203456 12625 33554432000 4194304 4196468 140728033736016 140083207031184 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28145] ppid=28140 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28145/stat : 28145 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987960 28909203456 12625 33554432000 4194304 4196468 140728033736016 140083205978384 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28146] ppid=28140 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28146/stat : 28146 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987960 28909203456 12625 33554432000 4194304 4196468 140728033736016 140083204926096 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28147] ppid=28140 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28147/stat : 28147 (java) S 28140 28140 25788 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420987960 28909203456 12625 33554432000 4194304 4196468 140728033736016 140083203873296 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28148] ppid=28140 vsize=28231644 memory=2244 CPUtime=0 cores=0-7 /proc/28142/task/28148/stat : 28148 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987960 28909203456 12625 33554432000 4194304 4196468 140728033736016 140083202821008 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28149] ppid=28140 vsize=28231644 memory=140005867615151 CPUtime=0 cores=0-7 /proc/28142/task/28149/stat : 28149 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987960 28909203456 12625 33554432000 4194304 4196468 140728033736016 140083201768208 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28150] ppid=28140 vsize=28231644 memory=140005867617456 CPUtime=0 cores=0-7 /proc/28142/task/28150/stat : 28150 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987961 28909203456 12625 33554432000 4194304 4196468 140728033736016 140083200715920 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28151] ppid=28140 vsize=28231644 memory=140005867619760 CPUtime=0 cores=0-7 /proc/28142/task/28151/stat : 28151 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987961 28909203456 12625 33554432000 4194304 4196468 140728033736016 140083199663120 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28152] ppid=28140 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28152/stat : 28152 (java) S 28140 28140 25788 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 420987962 28909203456 12625 33554432000 4194304 4196468 140728033736016 140082303457392 140083254422146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28153] ppid=28140 vsize=28231644 memory=280011735246480 CPUtime=0 cores=0-7 /proc/28142/task/28153/stat : 28153 (java) S 28140 28140 25788 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 420987962 28909203456 12631 33554432000 4194304 4196468 140728033736016 140082302403360 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28154] ppid=28140 vsize=28231644 memory=280011735253392 CPUtime=0 cores=0-7 /proc/28142/task/28154/stat : 28154 (java) S 28140 28140 25788 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420987963 28909203456 12631 33554432000 4194304 4196468 140728033736016 140082301351024 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28155] ppid=28140 vsize=28231644 memory=280011735194672 CPUtime=0 cores=0-7 /proc/28142/task/28155/stat : 28155 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987965 28909203456 12631 33554432000 4194304 4196468 140728033736016 140082300299344 140083254429595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28156] ppid=28140 vsize=28231644 memory=280011735267216 CPUtime=0.02 cores=0-7 /proc/28142/task/28156/stat : 28156 (java) S 28140 28140 25788 0 -1 1077944384 546 0 0 0 2 0 0 0 20 0 20 0 420987965 28909203456 12631 33554432000 4194304 4196468 140728033736016 140082299247216 140083254422146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28157] ppid=28140 vsize=28231644 memory=280011735274128 CPUtime=0.03 cores=0-7 /proc/28142/task/28157/stat : 28157 (java) S 28140 28140 25788 0 -1 1077944384 209 0 0 0 3 0 0 0 20 0 20 0 420987965 28909203456 12631 33554432000 4194304 4196468 140728033736016 140082298194416 140083254422146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28158] ppid=28140 vsize=28231644 memory=280011735271824 CPUtime=0.03 cores=0-7 /proc/28142/task/28158/stat : 28158 (java) S 28140 28140 25788 0 -1 1077944384 196 0 0 0 3 0 0 0 20 0 20 0 420987965 28909203456 12631 33554432000 4194304 4196468 140728033736016 140082297142128 140083254422146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28159] ppid=28140 vsize=28231644 memory=280011735287984 CPUtime=0.12 cores=0-7 /proc/28142/task/28159/stat : 28159 (java) S 28140 28140 25788 0 -1 1077944384 836 0 0 0 12 0 0 0 20 0 20 0 420987965 28909203456 12631 33554432000 4194304 4196468 140728033736016 140082296089328 140083254422146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28160] ppid=28140 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28160/stat : 28160 (java) S 28140 28140 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420987965 28909203456 12631 33554432000 4194304 4196468 140728033736016 140082295036256 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28161] ppid=28140 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/28142/task/28161/stat : 28161 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987965 28909203456 12631 33554432000 4194304 4196468 140728033736016 140082293983536 140083254422146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 Current children cumulated CPU time: 0.54 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 51952 KiB [startup+0.701051 s] /proc/loadavg: 4.66 2.66 4.26 4/215 28161 /proc/meminfo: memFree=31389964/32770624 swapFree=67004172/67108860 [pid=28140] ppid=28137 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28140/stat : 28140 (xcsp3-exec) S 28137 28140 25788 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420987959 115843072 363 33554432000 4194304 5098028 140732836819584 140732836817688 139687103361660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32694272 140732836828022 140732836828265 140732836828265 140732836831178 0 /proc/28140/statm: 28282 363 304 221 0 87 0 [pid=28142] ppid=28140 vsize=28233768 memory=106796 CPUtime=1.98 cores=0-7 /proc/28142/stat : 28142 (java) S 28140 28140 25788 0 -1 1077944320 16826 0 0 0 192 6 0 0 20 0 20 0 420987959 28911378432 26699 33554432000 4194304 4196468 140728033736016 140728033718560 140083254410999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 /proc/28142/statm: 7058442 26699 3448 1 0 7019544 0 [pid=28142/tid=28143] ppid=28140 vsize=28233768 memory=280011735645872 CPUtime=0.67 cores=0-7 /proc/28142/task/28143/stat : 28143 (java) R 28140 28140 25788 0 -1 4202560 9109 0 0 0 63 4 0 0 20 0 20 0 420987960 28911378432 26699 33554432000 4194304 4196468 140728033736016 140083258648016 140083254422934 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28144] ppid=28140 vsize=28233768 memory=140005867823984 CPUtime=0 cores=0-7 /proc/28142/task/28144/stat : 28144 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987960 28911378432 26699 33554432000 4194304 4196468 140728033736016 140083207031184 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28145] ppid=28140 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28145/stat : 28145 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987960 28911378432 26699 33554432000 4194304 4196468 140728033736016 140083205978384 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28146] ppid=28140 vsize=28233768 memory=2832 CPUtime=0 cores=0-7 /proc/28142/task/28146/stat : 28146 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420987960 28911378432 26699 33554432000 4194304 4196468 140728033736016 140083204926096 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 ################ # More data... # ################ [pid=28142/tid=28143] ppid=28140 vsize=29168740 memory=6944656592455360604 CPUtime=1.9 cores=0-7 /proc/28142/task/28143/stat : 28143 (java) S 28140 28140 25788 0 -1 1077944384 10404 0 0 0 184 6 0 0 20 0 28 0 420987960 29868789760 137740 33554432000 4194304 4196468 140728033736016 140083258651776 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28144] ppid=28140 vsize=29168740 memory=6944656592455097440 CPUtime=0.1 cores=0-7 /proc/28142/task/28144/stat : 28144 (java) S 28140 28140 25788 0 -1 1077944384 132 0 0 0 8 2 0 0 20 0 28 0 420987960 29868789760 137740 33554432000 4194304 4196468 140728033736016 140083207031184 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28145] ppid=28140 vsize=29168740 memory=428732 CPUtime=0.1 cores=0-7 /proc/28142/task/28145/stat : 28145 (java) S 28140 28140 25788 0 -1 1077944384 276 0 0 0 8 2 0 0 20 0 28 0 420987960 29868789760 137740 33554432000 4194304 4196468 140728033736016 140083205978384 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28146] ppid=28140 vsize=29168740 memory=410920 CPUtime=0.07 cores=0-7 /proc/28142/task/28146/stat : 28146 (java) S 28140 28140 25788 0 -1 1077944384 100 0 0 0 6 1 0 0 20 0 28 0 420987960 29868789760 137740 33554432000 4194304 4196468 140728033736016 140083204926096 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28147] ppid=28140 vsize=29168740 memory=164 CPUtime=0.07 cores=0-7 /proc/28142/task/28147/stat : 28147 (java) S 28140 28140 25788 0 -1 1077944384 159 0 0 0 5 2 0 0 20 0 28 0 420987960 29868789760 137740 33554432000 4194304 4196468 140728033736016 140083203873296 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28148] ppid=28140 vsize=29168740 memory=7681905605394137914 CPUtime=0.1 cores=0-7 /proc/28142/task/28148/stat : 28148 (java) S 28140 28140 25788 0 -1 1077944384 208 0 0 0 8 2 0 0 20 0 28 0 420987960 29868789760 137740 33554432000 4194304 4196468 140728033736016 140083202821008 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28149] ppid=28140 vsize=29168740 memory=4206468019014099040 CPUtime=0.09 cores=0-7 /proc/28142/task/28149/stat : 28149 (java) S 28140 28140 25788 0 -1 1077944384 213 0 0 0 7 2 0 0 20 0 28 0 420987960 29868789760 137740 33554432000 4194304 4196468 140728033736016 140083201768208 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28150] ppid=28140 vsize=29168740 memory=1452 CPUtime=0.1 cores=0-7 /proc/28142/task/28150/stat : 28150 (java) S 28140 28140 25788 0 -1 1077944384 229 0 0 0 8 2 0 0 20 0 28 0 420987961 29868789760 137740 33554432000 4194304 4196468 140728033736016 140083200715920 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28151] ppid=28140 vsize=29168740 memory=533064 CPUtime=0.08 cores=0-7 /proc/28142/task/28151/stat : 28151 (java) S 28140 28140 25788 0 -1 1077944384 114 0 0 0 7 1 0 0 20 0 28 0 420987961 29868789760 137740 33554432000 4194304 4196468 140728033736016 140083199663120 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28152] ppid=28140 vsize=29168740 memory=1440 CPUtime=0.02 cores=0-7 /proc/28142/task/28152/stat : 28152 (java) S 28140 28140 25788 0 -1 1077944384 351 0 0 0 2 0 0 0 20 0 28 0 420987962 29868789760 137740 33554432000 4194304 4196468 140728033736016 140082303457392 140083254422146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28153] ppid=28140 vsize=29168740 memory=1984 CPUtime=0 cores=0-7 /proc/28142/task/28153/stat : 28153 (java) S 28140 28140 25788 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 420987962 29868789760 137740 33554432000 4194304 4196468 140728033736016 140082302403424 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28154] ppid=28140 vsize=29168740 memory=2376 CPUtime=0 cores=0-7 /proc/28142/task/28154/stat : 28154 (java) S 28140 28140 25788 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 420987963 29868789760 137740 33554432000 4194304 4196468 140728033736016 140082301351040 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28155] ppid=28140 vsize=29168740 memory=1768 CPUtime=0 cores=0-7 /proc/28142/task/28155/stat : 28155 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420987965 29868789760 137740 33554432000 4194304 4196468 140728033736016 140082300299344 140083254429595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28156] ppid=28140 vsize=29168740 memory=111628 CPUtime=5.45 cores=0-7 /proc/28142/task/28156/stat : 28156 (java) R 28140 28140 25788 0 -1 4202560 28632 0 0 0 541 4 0 0 20 0 28 0 420987965 29868789760 137740 33554432000 4194304 4196468 140728033736016 140082299246392 140083239308822 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28157] ppid=28140 vsize=29168740 memory=804 CPUtime=5.51 cores=0-7 /proc/28142/task/28157/stat : 28157 (java) R 28140 28140 25788 0 -1 4202560 15426 0 0 0 549 2 0 0 20 0 28 0 420987965 29868789760 137740 33554432000 4194304 4196468 140728033736016 140082298181232 140083239518684 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28158] ppid=28140 vsize=29168740 memory=1660 CPUtime=5.56 cores=0-7 /proc/28142/task/28158/stat : 28158 (java) R 28140 28140 25788 0 -1 4202560 18116 0 0 0 552 4 0 0 20 0 28 0 420987965 29868789760 137740 33554432000 4194304 4196468 140728033736016 140082297133544 140083235584800 0 4 0 16800975 0 0 0 -1 4 0 0 35 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28159] ppid=28140 vsize=29168740 memory=1808 CPUtime=1.36 cores=0-7 /proc/28142/task/28159/stat : 28159 (java) S 28140 28140 25788 0 -1 1077944384 7955 0 0 0 132 4 0 0 20 0 28 0 420987965 29868789760 137740 33554432000 4194304 4196468 140728033736016 140082296089328 140083254422146 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28160] ppid=28140 vsize=29168740 memory=924 CPUtime=0 cores=0-7 /proc/28142/task/28160/stat : 28160 (java) S 28140 28140 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420987965 29868789760 137740 33554432000 4194304 4196468 140728033736016 140082295036256 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28161] ppid=28140 vsize=29168740 memory=4764 CPUtime=0 cores=0-7 /proc/28142/task/28161/stat : 28161 (java) S 28140 28140 25788 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 420987965 29868789760 137740 33554432000 4194304 4196468 140728033736016 140082293983536 140083254422146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28282] ppid=28140 vsize=29168740 memory=4104 CPUtime=1.16 cores=0-7 /proc/28142/task/28282/stat : 28282 (java) R 28140 28140 25788 0 -1 4202560 39 0 0 0 116 0 0 0 20 0 28 0 420988615 29868789760 137740 33554432000 4194304 4196468 140728033736016 140082281622296 140082866863504 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28283] ppid=28140 vsize=29168740 memory=1412 CPUtime=1.46 cores=0-7 /proc/28142/task/28283/stat : 28283 (java) R 28140 28140 25788 0 -1 4202560 33 0 0 0 146 0 0 0 20 0 28 0 420988615 29868789760 137740 33554432000 4194304 4196468 140728033736016 140082274255256 140082869139304 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28284] ppid=28140 vsize=29168740 memory=2772 CPUtime=1.43 cores=0-7 /proc/28142/task/28284/stat : 28284 (java) R 28140 28140 25788 0 -1 4202560 102 0 0 0 141 2 0 0 20 0 28 0 420988615 29868789760 137740 33554432000 4194304 4196468 140728033736016 140082273202688 140082867723045 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28285] ppid=28140 vsize=29168740 memory=1452 CPUtime=1.34 cores=0-7 /proc/28142/task/28285/stat : 28285 (java) R 28140 28140 25788 0 -1 4202560 32 0 0 0 134 0 0 0 20 0 28 0 420988615 29868789760 137740 33554432000 4194304 4196468 140728033736016 140082272153600 140082867211230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28286] ppid=28140 vsize=29168740 memory=530420 CPUtime=1.28 cores=0-7 /proc/28142/task/28286/stat : 28286 (java) R 28140 28140 25788 0 -1 4202560 30 0 0 0 128 0 0 0 20 0 28 0 420988615 29868789760 137740 33554432000 4194304 4196468 140728033736016 140082271097200 140082868364102 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28287] ppid=28140 vsize=29168740 memory=6944656575208382560 CPUtime=1.33 cores=0-7 /proc/28142/task/28287/stat : 28287 (java) R 28140 28140 25788 0 -1 4202560 31 0 0 0 133 0 0 0 20 0 28 0 420988615 29868789760 137740 33554432000 4194304 4196468 140728033736016 140082270044536 140082867211308 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28288] ppid=28140 vsize=29168740 memory=6656426216303648864 CPUtime=1.08 cores=0-7 /proc/28142/task/28288/stat : 28288 (java) R 28140 28140 25788 0 -1 4202560 219 0 0 0 108 0 0 0 20 0 28 0 420988615 29868789760 137740 33554432000 4194304 4196468 140728033736016 140082268993392 140082862970309 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28289] ppid=28140 vsize=29168740 memory=-2895008908443424103 CPUtime=1.33 cores=0-7 /proc/28142/task/28289/stat : 28289 (java) R 28140 28140 25788 0 -1 4202560 137 0 0 0 133 0 0 0 20 0 28 0 420988615 29868789760 137740 33554432000 4194304 4196468 140728033736016 140082267937880 140082867210810 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 Current children cumulated CPU time: 50.93 s Current children cumulated vsize: 29281868 KiB Current children cumulated memory: 552412 KiB [startup+8.80984 s] /proc/loadavg: 4.96 2.79 4.29 12/224 28290 /proc/meminfo: memFree=30930740/32770624 swapFree=67004172/67108860 [pid=28140] ppid=28137 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28140/stat : 28140 (xcsp3-exec) S 28137 28140 25788 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420987959 115843072 363 33554432000 4194304 5098028 140732836819584 140732836817688 139687103361660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32694272 140732836828022 140732836828265 140732836828265 140732836831178 0 /proc/28140/statm: 28282 363 304 221 0 87 0 [pid=28142] ppid=28140 vsize=29168740 memory=550988 CPUtime=53.7 cores=0-7 /proc/28142/stat : 28142 (java) S 28140 28140 25788 0 -1 1077944320 88549 0 0 0 5320 50 0 0 20 0 28 0 420987959 29868789760 137747 33554432000 4194304 4196468 140728033736016 140728033718560 140083254410999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 /proc/28142/statm: 7292185 137747 3544 1 0 7253287 0 [pid=28142/tid=28143] ppid=28140 vsize=29168740 memory=1452 CPUtime=1.9 cores=0-7 /proc/28142/task/28143/stat : 28143 (java) S 28140 28140 25788 0 -1 1077944384 10407 0 0 0 184 6 0 0 20 0 28 0 420987960 29868789760 137747 33554432000 4194304 4196468 140728033736016 140083258651776 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28144] ppid=28140 vsize=29168740 memory=0 CPUtime=0.1 cores=0-7 /proc/28142/task/28144/stat : 28144 (java) S 28140 28140 25788 0 -1 1077944384 132 0 0 0 8 2 0 0 20 0 28 0 420987960 29868789760 137747 33554432000 4194304 4196468 140728033736016 140083207031184 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28145] ppid=28140 vsize=29168740 memory=280011735713488 CPUtime=0.1 cores=0-7 /proc/28142/task/28145/stat : 28145 (java) S 28140 28140 25788 0 -1 1077944384 276 0 0 0 8 2 0 0 20 0 28 0 420987960 29868789760 137747 33554432000 4194304 4196468 140728033736016 140083205978384 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28146] ppid=28140 vsize=29168740 memory=57 CPUtime=0.07 cores=0-7 /proc/28142/task/28146/stat : 28146 (java) S 28140 28140 25788 0 -1 1077944384 100 0 0 0 6 1 0 0 20 0 28 0 420987960 29868789760 137747 33554432000 4194304 4196468 140728033736016 140083204926096 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28147] ppid=28140 vsize=29168740 memory=7812726576340533336 CPUtime=0.07 cores=0-7 /proc/28142/task/28147/stat : 28147 (java) S 28140 28140 25788 0 -1 1077944384 159 0 0 0 5 2 0 0 20 0 28 0 420987960 29868789760 137747 33554432000 4194304 4196468 140728033736016 140083203873296 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28148] ppid=28140 vsize=29168740 memory=16611 CPUtime=0.1 cores=0-7 /proc/28142/task/28148/stat : 28148 (java) S 28140 28140 25788 0 -1 1077944384 208 0 0 0 8 2 0 0 20 0 28 0 420987960 29868789760 137747 33554432000 4194304 4196468 140728033736016 140083202821008 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28149] ppid=28140 vsize=29168740 memory=0 CPUtime=0.09 cores=0-7 /proc/28142/task/28149/stat : 28149 (java) S 28140 28140 25788 0 -1 1077944384 213 0 0 0 7 2 0 0 20 0 28 0 420987960 29868789760 137747 33554432000 4194304 4196468 140728033736016 140083201768208 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28150] ppid=28140 vsize=29168740 memory=140005868248384 CPUtime=0.1 cores=0-7 /proc/28142/task/28150/stat : 28150 (java) S 28140 28140 25788 0 -1 1077944384 229 0 0 0 8 2 0 0 20 0 28 0 420987961 29868789760 137747 33554432000 4194304 4196468 140728033736016 140083200715920 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28151] ppid=28140 vsize=29168740 memory=0 CPUtime=0.08 cores=0-7 /proc/28142/task/28151/stat : 28151 (java) S 28140 28140 25788 0 -1 1077944384 114 0 0 0 7 1 0 0 20 0 28 0 420987961 29868789760 137747 33554432000 4194304 4196468 140728033736016 140083199663120 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28152] ppid=28140 vsize=29168740 memory=0 CPUtime=0.02 cores=0-7 /proc/28142/task/28152/stat : 28152 (java) S 28140 28140 25788 0 -1 1077944384 351 0 0 0 2 0 0 0 20 0 28 0 420987962 29868789760 137747 33554432000 4194304 4196468 140728033736016 140082303457392 140083254422146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28153] ppid=28140 vsize=29168740 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28153/stat : 28153 (java) S 28140 28140 25788 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 420987962 29868789760 137747 33554432000 4194304 4196468 140728033736016 140082302403424 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28154] ppid=28140 vsize=29168740 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28154/stat : 28154 (java) S 28140 28140 25788 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 420987963 29868789760 137747 33554432000 4194304 4196468 140728033736016 140082301351040 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28155] ppid=28140 vsize=29168740 memory=-1189914978686163229 CPUtime=0 cores=0-7 /proc/28142/task/28155/stat : 28155 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420987965 29868789760 137747 33554432000 4194304 4196468 140728033736016 140082300299344 140083254429595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28156] ppid=28140 vsize=29168740 memory=-3535470213243961690 CPUtime=5.72 cores=0-7 /proc/28142/task/28156/stat : 28156 (java) R 28140 28140 25788 0 -1 1077944384 28651 0 0 0 568 4 0 0 20 0 28 0 420987965 29868789760 137747 33554432000 4194304 4196468 140728033736016 140082299247216 140083254422146 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28157] ppid=28140 vsize=29168740 memory=-6800859132029471843 CPUtime=5.79 cores=0-7 /proc/28142/task/28157/stat : 28157 (java) R 28140 28140 25788 0 -1 4202560 15431 0 0 0 577 2 0 0 20 0 28 0 420987965 29868789760 137747 33554432000 4194304 4196468 140728033736016 140082298180928 140083232428008 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28158] ppid=28140 vsize=29168740 memory=-2023959437020729679 CPUtime=5.79 cores=0-7 /proc/28142/task/28158/stat : 28158 (java) R 28140 28140 25788 0 -1 4202560 18130 0 0 0 575 4 0 0 20 0 28 0 420987965 29868789760 137747 33554432000 4194304 4196468 140728033736016 140082297142128 140083254422934 0 4 0 16800975 0 0 0 -1 6 0 0 35 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28159] ppid=28140 vsize=29168740 memory=0 CPUtime=1.37 cores=0-7 /proc/28142/task/28159/stat : 28159 (java) S 28140 28140 25788 0 -1 1077944384 7955 0 0 0 133 4 0 0 20 0 28 0 420987965 29868789760 137747 33554432000 4194304 4196468 140728033736016 140082296089328 140083254422146 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28160] ppid=28140 vsize=29168740 memory=1452 CPUtime=0 cores=0-7 /proc/28142/task/28160/stat : 28160 (java) S 28140 28140 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420987965 29868789760 137747 33554432000 4194304 4196468 140728033736016 140082295036256 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28161] ppid=28140 vsize=29168740 memory=524176 CPUtime=0 cores=0-7 /proc/28142/task/28161/stat : 28161 (java) S 28140 28140 25788 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 420987965 29868789760 137747 33554432000 4194304 4196468 140728033736016 140082293983536 140083254422146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 Current children cumulated CPU time: 53.7 s Current children cumulated vsize: 29281868 KiB Current children cumulated memory: 552440 KiB [startup+8.90209 s] /proc/loadavg: 4.96 2.79 4.29 12/224 28290 /proc/meminfo: memFree=30930740/32770624 swapFree=67004172/67108860 [pid=28140] ppid=28137 vsize=113128 memory=1452 CPUtime=0 cores=0-7 /proc/28140/stat : 28140 (xcsp3-exec) S 28137 28140 25788 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 420987959 115843072 363 33554432000 4194304 5098028 140732836819584 140732836817688 139687103361660 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32694272 140732836828022 140732836828265 140732836828265 140732836831178 0 /proc/28140/statm: 28282 363 304 221 0 87 0 [pid=28142] ppid=28140 vsize=29168740 memory=550988 CPUtime=54.44 cores=0-7 /proc/28142/stat : 28142 (java) S 28140 28140 25788 0 -1 1077944320 88575 0 0 0 5394 50 0 0 20 0 28 0 420987959 29868789760 137747 33554432000 4194304 4196468 140728033736016 140728033718560 140083254410999 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 /proc/28142/statm: 7292185 137747 3544 1 0 7253287 0 [pid=28142/tid=28143] ppid=28140 vsize=29168740 memory=1452 CPUtime=1.9 cores=0-7 /proc/28142/task/28143/stat : 28143 (java) S 28140 28140 25788 0 -1 1077944384 10407 0 0 0 184 6 0 0 20 0 28 0 420987960 29868789760 137747 33554432000 4194304 4196468 140728033736016 140083258651776 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28144] ppid=28140 vsize=29168740 memory=1452 CPUtime=0.1 cores=0-7 /proc/28142/task/28144/stat : 28144 (java) S 28140 28140 25788 0 -1 1077944384 132 0 0 0 8 2 0 0 20 0 28 0 420987960 29868789760 137747 33554432000 4194304 4196468 140728033736016 140083207031184 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28145] ppid=28140 vsize=29168740 memory=0 CPUtime=0.1 cores=0-7 /proc/28142/task/28145/stat : 28145 (java) S 28140 28140 25788 0 -1 1077944384 276 0 0 0 8 2 0 0 20 0 28 0 420987960 29868789760 137747 33554432000 4194304 4196468 140728033736016 140083205978384 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28146] ppid=28140 vsize=29168740 memory=0 CPUtime=0.07 cores=0-7 /proc/28142/task/28146/stat : 28146 (java) S 28140 28140 25788 0 -1 1077944384 100 0 0 0 6 1 0 0 20 0 28 0 420987960 29868789760 137747 33554432000 4194304 4196468 140728033736016 140083204926096 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28147] ppid=28140 vsize=29168740 memory=0 CPUtime=0.07 cores=0-7 /proc/28142/task/28147/stat : 28147 (java) S 28140 28140 25788 0 -1 1077944384 159 0 0 0 5 2 0 0 20 0 28 0 420987960 29868789760 137747 33554432000 4194304 4196468 140728033736016 140083203873296 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28148] ppid=28140 vsize=29168740 memory=0 CPUtime=0.1 cores=0-7 /proc/28142/task/28148/stat : 28148 (java) S 28140 28140 25788 0 -1 1077944384 208 0 0 0 8 2 0 0 20 0 28 0 420987960 29868789760 137747 33554432000 4194304 4196468 140728033736016 140083202821008 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28149] ppid=28140 vsize=29168740 memory=0 CPUtime=0.09 cores=0-7 /proc/28142/task/28149/stat : 28149 (java) S 28140 28140 25788 0 -1 1077944384 213 0 0 0 7 2 0 0 20 0 28 0 420987960 29868789760 137747 33554432000 4194304 4196468 140728033736016 140083201768208 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28150] ppid=28140 vsize=29168740 memory=1440 CPUtime=0.1 cores=0-7 /proc/28142/task/28150/stat : 28150 (java) S 28140 28140 25788 0 -1 1077944384 229 0 0 0 8 2 0 0 20 0 28 0 420987961 29868789760 137747 33554432000 4194304 4196468 140728033736016 140083200715920 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28151] ppid=28140 vsize=29168740 memory=0 CPUtime=0.08 cores=0-7 /proc/28142/task/28151/stat : 28151 (java) S 28140 28140 25788 0 -1 1077944384 114 0 0 0 7 1 0 0 20 0 28 0 420987961 29868789760 137747 33554432000 4194304 4196468 140728033736016 140083199663120 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28152] ppid=28140 vsize=29168740 memory=4580 CPUtime=0.02 cores=0-7 /proc/28142/task/28152/stat : 28152 (java) S 28140 28140 25788 0 -1 1077944384 351 0 0 0 2 0 0 0 20 0 28 0 420987962 29868789760 137747 33554432000 4194304 4196468 140728033736016 140082303457392 140083254422146 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28153] ppid=28140 vsize=29168740 memory=6791534058613427641 CPUtime=0 cores=0-7 /proc/28142/task/28153/stat : 28153 (java) S 28140 28140 25788 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 420987962 29868789760 137747 33554432000 4194304 4196468 140728033736016 140082302403424 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28154] ppid=28140 vsize=29168740 memory=13793 CPUtime=0 cores=0-7 /proc/28142/task/28154/stat : 28154 (java) S 28140 28140 25788 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 420987963 29868789760 137747 33554432000 4194304 4196468 140728033736016 140082301351040 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28155] ppid=28140 vsize=29168740 memory=20604 CPUtime=0 cores=0-7 /proc/28142/task/28155/stat : 28155 (java) S 28140 28140 25788 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 420987965 29868789760 137747 33554432000 4194304 4196468 140728033736016 140082300299344 140083254429595 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28156] ppid=28140 vsize=29168740 memory=0 CPUtime=5.74 cores=0-7 /proc/28142/task/28156/stat : 28156 (java) R 28140 28140 25788 0 -1 4202560 28651 0 0 0 570 4 0 0 20 0 28 0 420987965 29868789760 137747 33554432000 4194304 4196468 140728033736016 140082299247512 140083235932450 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28157] ppid=28140 vsize=29168740 memory=280011735766432 CPUtime=5.88 cores=0-7 /proc/28142/task/28157/stat : 28157 (java) R 28140 28140 25788 0 -1 4202560 15431 0 0 0 586 2 0 0 20 0 28 0 420987965 29868789760 137747 33554432000 4194304 4196468 140728033736016 140082298180832 140083232242279 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28158] ppid=28140 vsize=29168740 memory=0 CPUtime=5.82 cores=0-7 /proc/28142/task/28158/stat : 28158 (java) R 28140 28140 25788 0 -1 4202560 18130 0 0 0 578 4 0 0 20 0 28 0 420987965 29868789760 137747 33554432000 4194304 4196468 140728033736016 140082297142424 140083239518572 0 4 0 16800975 0 0 0 -1 6 0 0 35 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28159] ppid=28140 vsize=29168740 memory=0 CPUtime=1.38 cores=0-7 /proc/28142/task/28159/stat : 28159 (java) S 28140 28140 25788 0 -1 1077944384 7963 0 0 0 134 4 0 0 20 0 28 0 420987965 29868789760 137747 33554432000 4194304 4196468 140728033736016 140082296089328 140083254422146 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28160] ppid=28140 vsize=29168740 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28160/stat : 28160 (java) S 28140 28140 25788 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 420987965 29868789760 137747 33554432000 4194304 4196468 140728033736016 140082295036256 140083254421205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 [pid=28142/tid=28161] ppid=28140 vsize=29168740 memory=0 CPUtime=0 cores=0-7 /proc/28142/task/28161/stat : 28161 (java) S 28140 28140 25788 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 420987965 29868789760 137747 33554432000 4194304 4196468 140728033736016 140082293983536 140083254422146 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24211456 140728033743850 140728033744022 140728033744022 140728033746895 0 Current children cumulated CPU time: 54.44 s Current children cumulated vsize: 29281868 KiB Current children cumulated memory: 552440 KiB Child status: 0 Real time (s): 8.98961 CPU time (s): 54.6924 CPU user time (s): 54.1652 CPU system time (s): 0.527233 CPU usage (%): 608.396 Max. virtual memory (cumulated for all children) (KiB): 29281868 Max. memory (cumulated for all children) (KiB): 552440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 54.1652 system time used= 0.527233 maximum resident set size= 551652 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 89195 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= 7851 involuntary context switches= 1790 # summary of solver processes directly reported to runsolver: # pid: 28140 # total CPU time (s): 54.6924 # total CPU user time (s): 54.1652 # total CPU system time (s): 0.527233 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.072937 second user time and 0.158815 second system time The end
Begin job on node133 at 2019-09-14 09:50:44 IDJOB=4393963 IDBENCH=140491 IDSOLVER=2841 FILE ID=node133/4393963-1568447483 RUNJOBID= node133-1568439804-25815 PBS_JOBID= 21702337 Free space on /tmp= 59416 MiB SOLVER NAME= choco-solver parallel 2019-06-14 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 /tmp/evaluation-result-4393963-1568447483/watcher-4393963-1568447483 -o /tmp/evaluation-result-4393963-1568447483/solver-4393963-1568447483 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node133-1568439804-25815 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 414905226 HOME/instance-4393963-1568447483.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 67a2d403e3bfd604d92484151c447548 RANDOM SEED=414905226 node133.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.18 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.18 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.18 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.18 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: 31449732 kB MemAvailable: 31895968 kB Buffers: 206212 kB Cached: 523184 kB SwapCached: 3336 kB Active: 411756 kB Inactive: 322140 kB Active(anon): 28864 kB Inactive(anon): 16060 kB Active(file): 382892 kB Inactive(file): 306080 kB Unevictable: 111224 kB Mlocked: 111224 kB SwapTotal: 67108860 kB SwapFree: 67004172 kB Dirty: 26280 kB Writeback: 0 kB AnonPages: 124500 kB Mapped: 44864 kB Shmem: 31548 kB Slab: 175304 kB SReclaimable: 146200 kB SUnreclaim: 29104 kB KernelStack: 3776 kB PageTables: 5284 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498288 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 59392 MiB End job on node133 at 2019-09-14 09:50:53