Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-09-20 parallel | OPT | 3 | 31.7322 | 5.72795 |
Name | OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbop-30-30-1.xml |
MD5SUM | 305bfce3403e7be8ea8343edd9c7d9a7 |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 25.4304 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 2760 |
Number of constraints | 2731 |
Number of domains | 4 |
Minimum domain size | 2 |
Maximum domain size | 31 |
Distribution of domain sizes | [{"size":2,"count":1800},{"size":3,"count":900},{"size":30,"count":30},{"size":31,"count":30}] |
Minimum variable degree | 2 |
Maximum variable degree | 31 |
Distribution of variable degrees | [{"degree":2,"count":960},{"degree":3,"count":1770},{"degree":31,"count":30}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 31 |
Distribution of constraint arities | [{"arity":2,"count":930},{"arity":3,"count":1770},{"arity":30,"count":1},{"arity":31,"count":30}] |
Number of extensional constraints | 900 |
Number of intensional constraints | 900 |
Distribution of constraint types | [{"type":"extension","count":900},{"type":"intension","count":900},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"element","count":900}] |
Optimization problem | YES |
Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4405019-1569004257.xml" -tl '2016s' -p 8 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4405019-1569004257.xml, -tl, 2016s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 6.99/1.92 c solve instance... 8.43/2.19 o 19 9.62/2.32 o 18 10.53/2.56 o 17 10.53/2.58 o 16 10.95/2.69 o 15 11.44/2.76 o 14 12.46/2.95 o 13 13.15/3.08 o 12 13.15/3.10 o 11 14.63/3.28 o 10 15.24/3.31 o 9 16.36/3.54 o 8 16.36/3.59 o 7 18.62/3.92 o 6 18.62/3.97 o 5 30.03/5.48 o 4 30.29/5.55 o 3 31.70/5.70 s OPTIMUM FOUND 31.70/5.70 v <instantiation> 31.70/5.70 v <list>p[0] p[1] p[2] p[3] p[4] p[5] p[6] p[7] p[8] p[9] p[10] p[11] p[12] p[13] p[14] p[15] p[16] p[17] p[18] p[19] p[20] p[21] p[22] p[23] p[24] p[25] p[26] p[27] p[28] p[29] np[0][0] np[0][1] np[0][2] np[0][3] np[0][4] np[0][5] np[0][6] np[0][7] np[0][8] np[0][9] np[0][10] np[0][11] np[0][12] np[0][13] np[0][14] np[0][15] np[0][16] np[0][17] np[0][18] np[0][19] np[0][20] np[0][21] np[0][22] np[0][23] np[0][24] np[0][25] np[0][26] np[0][27] np[0][28] np[0][29] np[1][0] np[1][1] np[1][2] np[1][3] np[1][4] np[1][5] np[1][6] np[1][7] np[1][8] np[1][9] np[1][10] np[1][11] np[1][12] np[1][13] np[1][14] np[1][15] np[1][16] np[1][17] np[1][18] np[1][19] np[1][20] np[1][21] np[1][22] np[1][23] np[1][24] np[1][25] np[1][26] np[1][27] np[1][28] np[1][29] np[2][0] np[2][1] np[2][2] np[2][3] np[2][4] np[2][5] np[2][6] np[2][7] np[2][8] np[2][9] np[2][10] np[2][11] np[2][12] np[2][13] np[2][14] np[2][15] np[2][16] np[2][17] np[2][18] np[2][19] np[2][20] np[2][21] np[2][22] np[2][23] np[2][24] np[2][25] np[2][26] np[2][27] np[2][28] np[2][29] np[3][0] np[3][1] np[3][2] np[3][3] np[3][4] np[3][5] np[3][6] np[3][7] np[3][8] np[3][9] np[3][10] np[3][11] np[3][12] np[3][13] np[3][14] np[3][15] np[3][16] np[3][17] np[3][18] np[3][19] np[3][20] np[3][21] np[3][22] np[3][23] np[3][24] np[3][25] np[3][26] np[3][27] np[3][28] np[3][29] np[4][0] np[4][1] np[4][2] np[4][3] np[4][4] np[4][5] np[4][6] np[4][7] np[4][8] np[4][9] np[4][10] np[4][11] np[4][12] np[4][13] np[4][14] np[4][15] np[4][16] np[4][17] np[4][18] np[4][19] np[4][20] np[4][21] np[4][22] np[4][23] np[4][24] np[4][25] np[4][26] np[4][27] np[4][28] np[4][29] np[5][0] np[5][1] np[5][2] np[5][3] np[5][4] np[5][5] np[5][6] np[5][7] np[5][8] np[5][9] np[5][10] np[5][11] np[5][12] np[5][13] np[5][14] np[5][15] np[5][16] np[5][17] np[5][18] np[5][19] np[5][20] np[5][21] np[5][22] np[5][23] np[5][24] np[5][25] np[5][26] np[5][27] np[5][28] np[5][29] np[6][0] np[6][1] np[6][2] np[6][3] np[6][4] np[6][5] np[6][6] np[6][7] np[6][8] np[6][9] np[6][10] np[6][11] np[6][12] np[6][13] np[6][14] np[6][15] np[6][16] np[6][17] np[6][18] np[6][19] np[6][20] np[6][21] np[6][22] np[6][23] np[6][24] np[6][25] np[6][26] np[6][27] np[6][28] np[6][29] np[7][0] np[7][1] np[7][2] np[7][3] np[7][4] np[7][5] np[7][6] np[7][7] np[7][8] np[7][9] np[7][10] np[7][11] np[7][12] np[7][13] np[7][14] np[7][15] np[7][16] np[7][17] np[7][18] np[7][19] np[7][20] np[7][21] np[7][22] np[7][23] np[7][24] np[7][25] np[7][26] np[7][27] np[7][28] np[7][29] np[8][0] np[8][1] np[8][2] np[8][3] np[8][4] np[8][5] np[8][6] np[8][7] np[8][8] np[8][9] np[8][10] np[8][11] np[8][12] np[8][13] np[8][14] np[8][15] np[8][16] np[8][17] np[8][18] np[8][19] np[8][20] np[8][21] np[8][22] np[8][23] np[8][24] np[8][25] np[8][26] np[8][27] np[8][28] np[8][29] np[9][0] np[9][1] np[9][2] np[9][3] np[9][4] np[9][5] np[9][6] np[9][7] np[9][8] np[9][9] np[9][10] np[9][11] np[9][12] np[9][13] np[9][14] np[9][15] np[9][16] np[9][17] np[9][18] np[9][19] np[9][20] np[9][21] np[9][22] np[9][23] np[9][24] np[9][25] np[9][26] np[9][27] np[9][28] np[9][29] np[10][0] np[10][1] np[10][2] np[10][3] np[10][4] np[10][5] np[10][6] np[10][7] np[10][8] np[10][9] np[10][10] np[10][11] np[10][12] np[10][13] np[10][14] np[10][15] np[10][16] np[10][17] np[10][18] np[10][19] np[10][20] np[10][21] np[10][22] np[10][23] np[10][24] np[10][25] np[10][26] np[10][27] np[10][28] np[10][29] np[11][0] np[11][1] np[11][2] np[11][3] np[11][4] np[11][5] np[11][6] np[11][7] np[11][8] np[11][9] np[11][10] np[11][11] np[11][12] np[11][13] np[11][14] np[11][15] np[11][16] np[11][17] np[11][18] np[11][19] np[11][20] np[11][21] np[11][22] np[11][23] np[11][24] np[11][25] np[11][26] np[11][27] np[11][28] np[11][29] np[12][0] np[12][1] np[12][2] np[12][3] np[12][4] np[12][5] np[12][6] np[12][7] np[12][8] np[12][9] np[12][10] np[12][11] np[12][12] np[12][13] np[12][14] np[12][15] np[12][16] np[12][17] np[12][18] np[12][19] np[12][20] np[12][21] np[12][22] np[12][23] np[12][24] np[12][25] np[12][26] np[12][27] np[12][28] np[12][29] np[13][0] np[13][1] np[13][2] np[13][3] np[13][4] np[13][5] np[13][6] np[13][7] np[13][8] np[13][9] np[13][10] np[13][11] np[13][12] np[13][13] np[13][14] np[13][15] np[13][16] np[13][17] np[13][18] np[13][19] np[13][20] np[13][21] np[13][22] np[13][23] np[13][24] np[13][25] np[13][26] np[13][27] np[13][28] np[13][29] np[14][0] np[14][1] np[14][2] np[14][3] np[14][4] np[14][5] np[14][6] np[14][7] np[14][8] np[14][9] np[14][10] np[14][11] np[14][12] np[14][13] np[14][14] np[14][15] np[14][16] np[14][17] np[14][18] np[14][19] np[14][20] np[14][21] np[14][22] np[14][23] np[14][24] np[14][25] np[14][26] np[14][27] np[14][28] np[14][29] np[15][0] np[15][1] np[15][2] np[15][3] np[15][4] np[15][5] np[15][6] np[15][7] np[15][8] np[15][9] np[15][10] np[15][11] np[15][12] np[15][13] np[15][14] np[15][15] np[15][16] np[15][17] np[15][18] np[15][19] np[15][20] np[15][21] np[15][22] np[15][23] np[15][24] np[15][25] np[15][26] np[15][27] np[15][28] np[15][29] np[16][0] np[16][1] np[16][2] np[16][3] np[16][4] np[16][5] np[16][6] np[16][7] np[16][8] np[16][9] np[16][10] np[16][11] np[16][12] np[16][13] np[16][14] np[16][15] np[16][16] np[16][17] np[16][18] np[16][19] np[16][20] np[16][21] np[16][22] np[16][23] np[16][24] np[16][25] np[16][26] np[16][27] np[16][28] np[16][29] np[17][0] np[17][1] np[17][2] np[17][3] np[17][4] np[17][5] np[17][6] np[17][7] np[17][8] np[17][9] np[17][10] np[17][11] np[17][12] np[17][13] np[17][14] np[17][15] np[17][16] np[17][17] np[17][18] np[17][19] np[17][20] np[17][21] np[17][22] np[17][23] np[17][24] np[17][25] np[17][26] np[17][27] np[17][28] np[17][29] np[18][0] np[18][1] np[18][2] np[18][3] np[18][4] np[18][5] np[18][6] np[18][7] np[18][8] np[18][9] np[18][10] np[18][11] np[18][12] np[18][13] np[18][14] np[18][15] np[18][16] np[18][17] np[18][18] np[18][19] np[18][20] np[18][21] np[18][22] np[18][23] np[18][24] np[18][25] np[18][26] np[18][27] np[18][28] np[18][29] np[19][0] np[19][1] np[19][2] np[19][3] np[19][4] np[19][5] np[19][6] np[19][7] np[19][8] np[19][9] np[19][10] np[19][11] np[19][12] np[19][13] np[19][14] np[19][15] np[19][16] np[19][17] np[19][18] np[19][19] np[19][20] np[19][21] np[19][22] np[19][23] np[19][24] np[19][25] np[19][26] np[19][27] np[19][28] np[19][29] np[20][0] np[20][1] np[20][2] np[20][3] np[20][4] np[20][5] np[20][6] np[20][7] np[20][8] np[20][9] np[20][10] np[20][11] np[20][12] np[20][13] np[20][14] np[20][15] np[20][16] np[20][17] np[20][18] np[20][19] np[20][20] np[20][21] np[20][22] np[20][23] np[20][24] np[20][25] np[20][26] np[20][27] np[20][28] np[20][29] np[21][0] np[21][1] np[21][2] np[21][3] np[21][4] np[21][5] np[21][6] np[21][7] np[21][8] np[21][9] np[21][10] np[21][11] np[21][12] np[21][13] np[21][14] np[21][15] np[21][16] np[21][17] np[21][18] np[21][19] np[21][20] np[21][21] np[21][22] np[21][23] np[21][24] np[21][25] np[21][26] np[21][27] np[21][28] np[21][29] np[22][0] np[22][1] np[22][2] np[22][3] np[22][4] np[22][5] np[22][6] np[22][7] np[22][8] np[22][9] np[22][10] np[22][11] np[22][12] np[22][13] np[22][14] np[22][15] np[22][16] np[22][17] np[22][18] np[22][19] np[22][20] np[22][21] np[22][22] np[22][23] np[22][24] np[22][25] np[22][26] np[22][27] np[22][28] np[22][29] np[23][0] np[23][1] np[23][2] np[23][3] np[23][4] np[23][5] np[23][6] np[23][7] np[23][8] np[23][9] np[23][10] np[23][11] np[23][12] np[23][13] np[23][14] np[23][15] np[23][16] np[23][17] np[23][18] np[23][19] np[23][20] np[23][21] np[23][22] np[23][23] np[23][24] np[23][25] np[23][26] np[23][27] np[23][28] np[23][29] np[24][0] np[24][1] np[24][2] np[24][3] np[24][4] np[24][5] np[24][6] np[24][7] np[24][8] np[24][9] np[24][10] np[24][11] np[24][12] np[24][13] np[24][14] np[24][15] np[24][16] np[24][17] np[24][18] np[24][19] np[24][20] np[24][21] np[24][22] np[24][23] np[24][24] np[24][25] np[24][26] np[24][27] np[24][28] np[24][29] np[25][0] np[25][1] np[25][2] np[25][3] np[25][4] np[25][5] np[25][6] np[25][7] np[25][8] np[25][9] np[25][10] np[25][11] np[25][12] np[25][13] np[25][14] np[25][15] np[25][16] np[25][17] np[25][18] np[25][19] np[25][20] np[25][21] np[25][22] np[25][23] np[25][24] np[25][25] np[25][26] np[25][27] np[25][28] np[25][29] np[26][0] np[26][1] np[26][2] np[26][3] np[26][4] np[26][5] np[26][6] np[26][7] np[26][8] np[26][9] np[26][10] np[26][11] np[26][12] np[26][13] np[26][14] np[26][15] np[26][16] np[26][17] np[26][18] np[26][19] np[26][20] np[26][21] np[26][22] np[26][23] np[26][24] np[26][25] np[26][26] np[26][27] np[26][28] np[26][29] np[27][0] np[27][1] np[27][2] np[27][3] np[27][4] np[27][5] np[27][6] np[27][7] np[27][8] np[27][9] np[27][10] np[27][11] np[27][12] np[27][13] np[27][14] np[27][15] np[27][16] np[27][17] np[27][18] np[27][19] np[27][20] np[27][21] np[27][22] np[27][23] np[27][24] np[27][25] np[27][26] np[27][27] np[27][28] np[27][29] np[28][0] np[28][1] np[28][2] np[28][3] np[28][4] np[28][5] np[28][6] np[28][7] np[28][8] np[28][9] np[28][10] np[28][11] np[28][12] np[28][13] np[28][14] np[28][15] np[28][16] np[28][17] np[28][18] np[28][19] np[28][20] np[28][21] np[28][22] np[28][23] np[28][24] np[28][25] np[28][26] np[28][27] np[28][28] np[28][29] np[29][0] np[29][1] np[29][2] np[29][3] np[29][4] np[29][5] np[29][6] np[29][7] np[29][8] np[29][9] np[29][10] np[29][11] np[29][12] np[29][13] np[29][14] np[29][15] np[29][16] np[29][17] np[29][18] np[29][19] np[29][20] np[29][21] np[29][22] np[29][23] np[29][24] np[29][25] np[29][26] np[29][27] np[29][28] np[29][29] r[0][0] r[0][1] r[0][2] r[0][3] r[0][4] r[0][5] r[0][6] r[0][7] r[0][8] r[0][9] r[0][10] r[0][11] r[0][12] r[0][13] r[0][14] r[0][15] r[0][16] r[0][17] r[0][18] r[0][19] r[0][20] r[0][21] r[0][22] r[0][23] r[0][24] r[0][25] r[0][26] r[0][27] r[0][28] r[0][29] r[1][0] r[1][1] r[1][2] r[1][3] r[1][4] r[1][5] r[1][6] r[1][7] r[1][8] r[1][9] r[1][10] r[1][11] r[1][12] r[1][13] r[1][14] r[1][15] r[1][16] r[1][17] r[1][18] r[1][19] r[1][20] r[1][21] r[1][22] r[1][23] r[1][24] r[1][25] r[1][26] r[1][27] r[1][28] r[1][29] r[2][0] r[2][1] r[2][2] r[2][3] r[2][4] r[2][5] r[2][6] r[2][7] r[2][8] r[2][9] r[2][10] r[2][11] r[2][12] r[2][13] r[2][14] r[2][15] r[2][16] r[2][17] r[2][18] r[2][19] r[2][20] r[2][21] r[2][22] r[2][23] r[2][24] r[2][25] r[2][26] r[2][27] r[2][28] r[2][29] r[3][0] r[3][1] r[3][2] r[3][3] r[3][4] r[3][5] r[3][6] r[3][7] r[3][8] r[3][9] r[3][10] r[3][11] r[3][12] r[3][13] r[3][14] r[3][15] r[3][16] r[3][17] r[3][18] r[3][19] r[3][20] r[3][21] r[3][22] r[3][23] r[3][24] r[3][25] r[3][26] r[3][27] r[3][28] r[3][29] r[4][0] r[4][1] r[4][2] r[4][3] r[4][4] r[4][5] r[4][6] r[4][7] r[4][8] r[4][9] r[4][10] r[4][11] r[4][12] r[4][13] r[4][14] r[4][15] r[4][16] r[4][17] r[4][18] r[4][19] r[4][20] r[4][21] r[4][22] r[4][23] r[4][24] r[4][25] r[4][26] r[4][27] r[4][28] r[4][29] r[5][0] r[5][1] r[5][2] r[5][3] r[5][4] r[5][5] r[5][6] r[5][7] r[5][8] r[5][9] r[5][10] r[5][11] r[5][12] r[5][13] r[5][14] r[5][15] r[5][16] r[5][17] r[5][18] r[5][19] r[5][20] r[5][21] r[5][22] r[5][23] r[5][24] r[5][25] r[5][26] r[5][27] r[5][28] r[5][29] r[6][0] r[6][1] r[6][2] r[6][3] r[6][4] r[6][5] r[6][6] r[6][7] r[6][8] r[6][9] r[6][10] r[6][11] r[6][12] r[6][13] r[6][14] r[6][15] r[6][16] r[6][17] r[6][18] r[6][19] r[6][20] r[6][21] r[6][22] r[6][23] r[6][24] r[6][25] r[6][26] r[6][27] r[6][28] r[6][29] r[7][0] r[7][1] r[7][2] r[7][3] r[7][4] r[7][5] r[7][6] r[7][7] r[7][8] r[7][9] r[7][10] r[7][11] r[7][12] r[7][13] r[7][14] r[7][15] r[7][16] r[7][17] r[7][18] r[7][19] r[7][20] r[7][21] r[7][22] r[7][23] r[7][24] r[7][25] r[7][26] r[7][27] r[7][28] r[7][29] r[8][0] r[8][1] r[8][2] r[8][3] r[8][4] r[8][5] r[8][6] r[8][7] r[8][8] r[8][9] r[8][10] r[8][11] r[8][12] r[8][13] r[8][14] r[8][15] r[8][16] r[8][17] r[8][18] r[8][19] r[8][20] r[8][21] r[8][22] r[8][23] r[8][24] r[8][25] r[8][26] r[8][27] r[8][28] r[8][29] r[9][0] r[9][1] r[9][2] r[9][3] r[9][4] r[9][5] r[9][6] r[9][7] r[9][8] r[9][9] r[9][10] r[9][11] r[9][12] r[9][13] r[9][14] r[9][15] r[9][16] r[9][17] r[9][18] r[9][19] r[9][20] r[9][21] r[9][22] r[9][23] r[9][24] r[9][25] r[9][26] r[9][27] r[9][28] r[9][29] r[10][0] r[10][1] r[10][2] r[10][3] r[10][4] r[10][5] r[10][6] r[10][7] r[10][8] r[10][9] r[10][10] r[10][11] r[10][12] r[10][13] r[10][14] r[10][15] r[10][16] r[10][17] r[10][18] r[10][19] r[10][20] r[10][21] r[10][22] r[10][23] r[10][24] r[10][25] r[10][26] r[10][27] r[10][28] r[10][29] r[11][0] r[11][1] r[11][2] r[11][3] r[11][4] r[11][5] r[11][6] r[11][7] r[11][8] r[11][9] r[11][10] r[11][11] r[11][12] r[11][13] r[11][14] r[11][15] r[11][16] r[11][17] r[11][18] r[11][19] r[11][20] r[11][21] r[11][22] r[11][23] r[11][24] r[11][25] r[11][26] r[11][27] r[11][28] r[11][29] r[12][0] r[12][1] r[12][2] r[12][3] r[12][4] r[12][5] r[12][6] r[12][7] r[12][8] r[12][9] r[12][10] r[12][11] r[12][12] r[12][13] r[12][14] r[12][15] r[12][16] r[12][17] r[12][18] r[12][19] r[12][20] r[12][21] r[12][22] r[12][23] r[12][24] r[12][25] r[12][26] r[12][27] r[12][28] r[12][29] r[13][0] r[13][1] r[13][2] r[13][3] r[13][4] r[13][5] r[13][6] r[13][7] r[13][8] r[13][9] r[13][10] r[13][11] r[13][12] r[13][13] r[13][14] r[13][15] r[13][16] r[13][17] r[13][18] r[13][19] r[13][20] r[13][21] r[13][22] r[13][23] r[13][24] r[13][25] r[13][26] r[13][27] r[13][28] r[13][29] r[14][0] r[14][1] r[14][2] r[14][3] r[14][4] r[14][5] r[14][6] r[14][7] r[14][8] r[14][9] r[14][10] r[14][11] r[14][12] r[14][13] r[14][14] r[14][15] r[14][16] r[14][17] r[14][18] r[14][19] r[14][20] r[14][21] r[14][22] r[14][23] r[14][24] r[14][25] r[14][26] r[14][27] r[14][28] r[14][29] r[15][0] r[15][1] r[15][2] r[15][3] r[15][4] r[15][5] r[15][6] r[15][7] r[15][8] r[15][9] r[15][10] r[15][11] r[15][12] r[15][13] r[15][14] r[15][15] r[15][16] r[15][17] r[15][18] r[15][19] r[15][20] r[15][21] r[15][22] r[15][23] r[15][24] r[15][25] r[15][26] r[15][27] r[15][28] r[15][29] r[16][0] r[16][1] r[16][2] r[16][3] r[16][4] r[16][5] r[16][6] r[16][7] r[16][8] r[16][9] r[16][10] r[16][11] r[16][12] r[16][13] r[16][14] r[16][15] r[16][16] r[16][17] r[16][18] r[16][19] r[16][20] r[16][21] r[16][22] r[16][23] r[16][24] r[16][25] r[16][26] r[16][27] r[16][28] r[16][29] r[17][0] r[17][1] r[17][2] r[17][3] r[17][4] r[17][5] r[17][6] r[17][7] r[17][8] r[17][9] r[17][10] r[17][11] r[17][12] r[17][13] r[17][14] r[17][15] r[17][16] r[17][17] r[17][18] r[17][19] r[17][20] r[17][21] r[17][22] r[17][23] r[17][24] r[17][25] r[17][26] r[17][27] r[17][28] r[17][29] r[18][0] r[18][1] r[18][2] r[18][3] r[18][4] r[18][5] r[18][6] r[18][7] r[18][8] r[18][9] r[18][10] r[18][11] r[18][12] r[18][13] r[18][14] r[18][15] r[18][16] r[18][17] r[18][18] r[18][19] r[18][20] r[18][21] r[18][22] r[18][23] r[18][24] r[18][25] r[18][26] r[18][27] r[18][28] r[18][29] r[19][0] r[19][1] r[19][2] r[19][3] r[19][4] r[19][5] r[19][6] r[19][7] r[19][8] r[19][9] r[19][10] r[19][11] r[19][12] r[19][13] r[19][14] r[19][15] r[19][16] r[19][17] r[19][18] r[19][19] r[19][20] r[19][21] r[19][22] r[19][23] r[19][24] r[19][25] r[19][26] r[19][27] r[19][28] r[19][29] r[20][0] r[20][1] r[20][2] r[20][3] r[20][4] r[20][5] r[20][6] r[20][7] r[20][8] r[20][9] r[20][10] r[20][11] r[20][12] r[20][13] r[20][14] r[20][15] r[20][16] r[20][17] r[20][18] r[20][19] r[20][20] r[20][21] r[20][22] r[20][23] r[20][24] r[20][25] r[20][26] r[20][27] r[20][28] r[20][29] r[21][0] r[21][1] r[21][2] r[21][3] r[21][4] r[21][5] r[21][6] r[21][7] r[21][8] r[21][9] r[21][10] r[21][11] r[21][12] r[21][13] r[21][14] r[21][15] r[21][16] r[21][17] r[21][18] r[21][19] r[21][20] r[21][21] r[21][22] r[21][23] r[21][24] r[21][25] r[21][26] r[21][27] r[21][28] r[21][29] r[22][0] r[22][1] r[22][2] r[22][3] r[22][4] r[22][5] r[22][6] r[22][7] r[22][8] r[22][9] r[22][10] r[22][11] r[22][12] r[22][13] r[22][14] r[22][15] r[22][16] r[22][17] r[22][18] r[22][19] r[22][20] r[22][21] r[22][22] r[22][23] r[22][24] r[22][25] r[22][26] r[22][27] r[22][28] r[22][29] r[23][0] r[23][1] r[23][2] r[23][3] r[23][4] r[23][5] r[23][6] r[23][7] r[23][8] r[23][9] r[23][10] r[23][11] r[23][12] r[23][13] r[23][14] r[23][15] r[23][16] r[23][17] r[23][18] r[23][19] r[23][20] r[23][21] r[23][22] r[23][23] r[23][24] r[23][25] r[23][26] r[23][27] r[23][28] r[23][29] r[24][0] r[24][1] r[24][2] r[24][3] r[24][4] r[24][5] r[24][6] r[24][7] r[24][8] r[24][9] r[24][10] r[24][11] r[24][12] r[24][13] r[24][14] r[24][15] r[24][16] r[24][17] r[24][18] r[24][19] r[24][20] r[24][21] r[24][22] r[24][23] r[24][24] r[24][25] r[24][26] r[24][27] r[24][28] r[24][29] r[25][0] r[25][1] r[25][2] r[25][3] r[25][4] r[25][5] r[25][6] r[25][7] r[25][8] r[25][9] r[25][10] r[25][11] r[25][12] r[25][13] r[25][14] r[25][15] r[25][16] r[25][17] r[25][18] r[25][19] r[25][20] r[25][21] r[25][22] r[25][23] r[25][24] r[25][25] r[25][26] r[25][27] r[25][28] r[25][29] r[26][0] r[26][1] r[26][2] r[26][3] r[26][4] r[26][5] r[26][6] r[26][7] r[26][8] r[26][9] r[26][10] r[26][11] r[26][12] r[26][13] r[26][14] r[26][15] r[26][16] r[26][17] r[26][18] r[26][19] r[26][20] r[26][21] r[26][22] r[26][23] r[26][24] r[26][25] r[26][26] r[26][27] r[26][28] r[26][29] r[27][0] r[27][1] r[27][2] r[27][3] r[27][4] r[27][5] r[27][6] r[27][7] r[27][8] r[27][9] r[27][10] r[27][11] r[27][12] r[27][13] r[27][14] r[27][15] r[27][16] r[27][17] r[27][18] r[27][19] r[27][20] r[27][21] r[27][22] r[27][23] r[27][24] r[27][25] r[27][26] r[27][27] r[27][28] r[27][29] r[28][0] r[28][1] r[28][2] r[28][3] r[28][4] r[28][5] r[28][6] r[28][7] r[28][8] r[28][9] r[28][10] r[28][11] r[28][12] r[28][13] r[28][14] r[28][15] r[28][16] r[28][17] r[28][18] r[28][19] r[28][20] r[28][21] r[28][22] r[28][23] r[28][24] r[28][25] r[28][26] r[28][27] r[28][28] r[28][29] r[29][0] r[29][1] r[29][2] r[29][3] r[29][4] r[29][5] r[29][6] r[29][7] r[29][8] r[29][9] r[29][10] r[29][11] r[29][12] r[29][13] r[29][14] r[29][15] r[29][16] r[29][17] r[29][18] r[29][19] r[29][20] r[29][21] r[29][22] r[29][23] r[29][24] r[29][25] r[29][26] r[29][27] r[29][28] r[29][29] o[0][0] o[0][1] o[0][2] o[0][3] o[0][4] o[0][5] o[0][6] o[0][7] o[0][8] o[0][9] o[0][10] o[0][11] o[0][12] o[0][13] o[0][14] o[0][15] o[0][16] o[0][17] o[0][18] o[0][19] o[0][20] o[0][21] o[0][22] o[0][23] o[0][24] o[0][25] o[0][26] o[0][27] o[0][28] o[0][29] o[1][0] o[1][1] o[1][2] o[1][3] o[1][4] o[1][5] o[1][6] o[1][7] o[1][8] o[1][9] o[1][10] o[1][11] o[1][12] o[1][13] o[1][14] o[1][15] o[1][16] o[1][17] o[1][18] o[1][19] o[1][20] o[1][21] o[1][22] o[1][23] o[1][24] o[1][25] o[1][26] o[1][27] o[1][28] o[1][29] o[2][0] o[2][1] o[2][2] o[2][3] o[2][4] o[2][5] o[2][6] o[2][7] o[2][8] o[2][9] o[2][10] o[2][11] o[2][12] o[2][13] o[2][14] o[2][15] o[2][16] o[2][17] o[2][18] o[2][19] o[2][20] o[2][21] o[2][22] o[2][23] o[2][24] o[2][25] o[2][26] o[2][27] o[2][28] o[2][29] o[3][0] o[3][1] o[3][2] o[3][3] o[3][4] o[3][5] o[3][6] o[3][7] o[3][8] o[3][9] o[3][10] o[3][11] o[3][12] o[3][13] o[3][14] o[3][15] o[3][16] o[3][17] o[3][18] o[3][19] o[3][20] o[3][21] o[3][22] o[3][23] o[3][24] o[3][25] o[3][26] o[3][27] o[3][28] o[3][29] o[4][0] o[4][1] o[4][2] o[4][3] o[4][4] o[4][5] o[4][6] o[4][7] o[4][8] o[4][9] o[4][10] o[4][11] o[4][12] o[4][13] o[4][14] o[4][15] o[4][16] o[4][17] o[4][18] o[4][19] o[4][20] o[4][21] o[4][22] o[4][23] o[4][24] o[4][25] o[4][26] o[4][27] o[4][28] o[4][29] o[5][0] o[5][1] o[5][2] o[5][3] o[5][4] o[5][5] o[5][6] o[5][7] o[5][8] o[5][9] o[5][10] o[5][11] o[5][12] o[5][13] o[5][14] o[5][15] o[5][16] o[5][17] o[5][18] o[5][19] o[5][20] o[5][21] o[5][22] o[5][23] o[5][24] o[5][25] o[5][26] o[5][27] o[5][28] o[5][29] o[6][0] o[6][1] o[6][2] o[6][3] o[6][4] o[6][5] o[6][6] o[6][7] o[6][8] o[6][9] o[6][10] o[6][11] o[6][12] o[6][13] o[6][14] o[6][15] o[6][16] o[6][17] o[6][18] o[6][19] o[6][20] o[6][21] o[6][22] o[6][23] o[6][24] o[6][25] o[6][26] o[6][27] o[6][28] o[6][29] o[7][0] o[7][1] o[7][2] o[7][3] o[7][4] o[7][5] o[7][6] o[7][7] o[7][8] o[7][9] o[7][10] o[7][11] o[7][12] o[7][13] o[7][14] o[7][15] o[7][16] o[7][17] o[7][18] o[7][19] o[7][20] o[7][21] o[7][22] o[7][23] o[7][24] o[7][25] o[7][26] o[7][27] o[7][28] o[7][29] o[8][0] o[8][1] o[8][2] o[8][3] o[8][4] o[8][5] o[8][6] o[8][7] o[8][8] o[8][9] o[8][10] o[8][11] o[8][12] o[8][13] o[8][14] o[8][15] o[8][16] o[8][17] o[8][18] o[8][19] o[8][20] o[8][21] o[8][22] o[8][23] o[8][24] o[8][25] o[8][26] o[8][27] o[8][28] o[8][29] o[9][0] o[9][1] o[9][2] o[9][3] o[9][4] o[9][5] o[9][6] o[9][7] o[9][8] o[9][9] o[9][10] o[9][11] o[9][12] o[9][13] o[9][14] o[9][15] o[9][16] o[9][17] o[9][18] o[9][19] o[9][20] o[9][21] o[9][22] o[9][23] o[9][24] o[9][25] o[9][26] o[9][27] o[9][28] o[9][29] o[10][0] o[10][1] o[10][2] o[10][3] o[10][4] o[10][5] o[10][6] o[10][7] o[10][8] o[10][9] o[10][10] o[10][11] o[10][12] o[10][13] o[10][14] o[10][15] o[10][16] o[10][17] o[10][18] o[10][19] o[10][20] o[10][21] o[10][22] o[10][23] o[10][24] o[10][25] o[10][26] o[10][27] o[10][28] o[10][29] o[11][0] o[11][1] o[11][2] o[11][3] o[11][4] o[11][5] o[11][6] o[11][7] o[11][8] o[11][9] o[11][10] o[11][11] o[11][12] o[11][13] o[11][14] o[11][15] o[11][16] o[11][17] o[11][18] o[11][19] o[11][20] o[11][21] o[11][22] o[11][23] o[11][24] o[11][25] o[11][26] o[11][27] o[11][28] o[11][29] o[12][0] o[12][1] o[12][2] o[12][3] o[12][4] o[12][5] o[12][6] o[12][7] o[12][8] o[12][9] o[12][10] o[12][11] o[12][12] o[12][13] o[12][14] o[12][15] o[12][16] o[12][17] o[12][18] o[12][19] o[12][20] o[12][21] o[12][22] o[12][23] o[12][24] o[12][25] o[12][26] o[12][27] o[12][28] o[12][29] o[13][0] o[13][1] o[13][2] o[13][3] o[13][4] o[13][5] o[13][6] o[13][7] o[13][8] o[13][9] o[13][10] o[13][11] o[13][12] o[13][13] o[13][14] o[13][15] o[13][16] o[13][17] o[13][18] o[13][19] o[13][20] o[13][21] o[13][22] o[13][23] o[13][24] o[13][25] o[13][26] o[13][27] o[13][28] o[13][29] o[14][0] o[14][1] o[14][2] o[14][3] o[14][4] o[14][5] o[14][6] o[14][7] o[14][8] o[14][9] o[14][10] o[14][11] o[14][12] o[14][13] o[14][14] o[14][15] o[14][16] o[14][17] o[14][18] o[14][19] o[14][20] o[14][21] o[14][22] o[14][23] o[14][24] o[14][25] o[14][26] o[14][27] o[14][28] o[14][29] o[15][0] o[15][1] o[15][2] o[15][3] o[15][4] o[15][5] o[15][6] o[15][7] o[15][8] o[15][9] o[15][10] o[15][11] o[15][12] o[15][13] o[15][14] o[15][15] o[15][16] o[15][17] o[15][18] o[15][19] o[15][20] o[15][21] o[15][22] o[15][23] o[15][24] o[15][25] o[15][26] o[15][27] o[15][28] o[15][29] o[16][0] o[16][1] o[16][2] o[16][3] o[16][4] o[16][5] o[16][6] o[16][7] o[16][8] o[16][9] o[16][10] o[16][11] o[16][12] o[16][13] o[16][14] o[16][15] o[16][16] o[16][17] o[16][18] o[16][19] o[16][20] o[16][21] o[16][22] o[16][23] o[16][24] o[16][25] o[16][26] o[16][27] o[16][28] o[16][29] o[17][0] o[17][1] o[17][2] o[17][3] o[17][4] o[17][5] o[17][6] o[17][7] o[17][8] o[17][9] o[17][10] o[17][11] o[17][12] o[17][13] o[17][14] o[17][15] o[17][16] o[17][17] o[17][18] o[17][19] o[17][20] o[17][21] o[17][22] o[17][23] o[17][24] o[17][25] o[17][26] o[17][27] o[17][28] o[17][29] o[18][0] o[18][1] o[18][2] o[18][3] o[18][4] o[18][5] o[18][6] o[18][7] o[18][8] o[18][9] o[18][10] o[18][11] o[18][12] o[18][13] o[18][14] o[18][15] o[18][16] o[18][17] o[18][18] o[18][19] o[18][20] o[18][21] o[18][22] o[18][23] o[18][24] o[18][25] o[18][26] o[18][27] o[18][28] o[18][29] o[19][0] o[19][1] o[19][2] o[19][3] o[19][4] o[19][5] o[19][6] o[19][7] o[19][8] o[19][9] o[19][10] o[19][11] o[19][12] o[19][13] o[19][14] o[19][15] o[19][16] o[19][17] o[19][18] o[19][19] o[19][20] o[19][21] o[19][22] o[19][23] o[19][24] o[19][25] o[19][26] o[19][27] o[19][28] o[19][29] o[20][0] o[20][1] o[20][2] o[20][3] o[20][4] o[20][5] o[20][6] o[20][7] o[20][8] o[20][9] o[20][10] o[20][11] o[20][12] o[20][13] o[20][14] o[20][15] o[20][16] o[20][17] o[20][18] o[20][19] o[20][20] o[20][21] o[20][22] o[20][23] o[20][24] o[20][25] o[20][26] o[20][27] o[20][28] o[20][29] o[21][0] o[21][1] o[21][2] o[21][3] o[21][4] o[21][5] o[21][6] o[21][7] o[21][8] o[21][9] o[21][10] o[21][11] o[21][12] o[21][13] o[21][14] o[21][15] o[21][16] o[21][17] o[21][18] o[21][19] o[21][20] o[21][21] o[21][22] o[21][23] o[21][24] o[21][25] o[21][26] o[21][27] o[21][28] o[21][29] o[22][0] o[22][1] o[22][2] o[22][3] o[22][4] o[22][5] o[22][6] o[22][7] o[22][8] o[22][9] o[22][10] o[22][11] o[22][12] o[22][13] o[22][14] o[22][15] o[22][16] o[22][17] o[22][18] o[22][19] o[22][20] o[22][21] o[22][22] o[22][23] o[22][24] o[22][25] o[22][26] o[22][27] o[22][28] o[22][29] o[23][0] o[23][1] o[23][2] o[23][3] o[23][4] o[23][5] o[23][6] o[23][7] o[23][8] o[23][9] o[23][10] o[23][11] o[23][12] o[23][13] o[23][14] o[23][15] o[23][16] o[23][17] o[23][18] o[23][19] o[23][20] o[23][21] o[23][22] o[23][23] o[23][24] o[23][25] o[23][26] o[23][27] o[23][28] o[23][29] o[24][0] o[24][1] o[24][2] o[24][3] o[24][4] o[24][5] o[24][6] o[24][7] o[24][8] o[24][9] o[24][10] o[24][11] o[24][12] o[24][13] o[24][14] o[24][15] o[24][16] o[24][17] o[24][18] o[24][19] o[24][20] o[24][21] o[24][22] o[24][23] o[24][24] o[24][25] o[24][26] o[24][27] o[24][28] o[24][29] o[25][0] o[25][1] o[25][2] o[25][3] o[25][4] o[25][5] o[25][6] o[25][7] o[25][8] o[25][9] o[25][10] o[25][11] o[25][12] o[25][13] o[25][14] o[25][15] o[25][16] o[25][17] o[25][18] o[25][19] o[25][20] o[25][21] o[25][22] o[25][23] o[25][24] o[25][25] o[25][26] o[25][27] o[25][28] o[25][29] o[26][0] o[26][1] o[26][2] o[26][3] o[26][4] o[26][5] o[26][6] o[26][7] o[26][8] o[26][9] o[26][10] o[26][11] o[26][12] o[26][13] o[26][14] o[26][15] o[26][16] o[26][17] o[26][18] o[26][19] o[26][20] o[26][21] o[26][22] o[26][23] o[26][24] o[26][25] o[26][26] o[26][27] o[26][28] o[26][29] o[27][0] o[27][1] o[27][2] o[27][3] o[27][4] o[27][5] o[27][6] o[27][7] o[27][8] o[27][9] o[27][10] o[27][11] o[27][12] o[27][13] o[27][14] o[27][15] o[27][16] o[27][17] o[27][18] o[27][19] o[27][20] o[27][21] o[27][22] o[27][23] o[27][24] o[27][25] o[27][26] o[27][27] o[27][28] o[27][29] o[28][0] o[28][1] o[28][2] o[28][3] o[28][4] o[28][5] o[28][6] o[28][7] o[28][8] o[28][9] o[28][10] o[28][11] o[28][12] o[28][13] o[28][14] o[28][15] o[28][16] o[28][17] o[28][18] o[28][19] o[28][20] o[28][21] o[28][22] o[28][23] o[28][24] o[28][25] o[28][26] o[28][27] o[28][28] o[28][29] o[29][0] o[29][1] o[29][2] o[29][3] o[29][4] o[29][5] o[29][6] o[29][7] o[29][8] o[29][9] o[29][10] o[29][11] o[29][12] o[29][13] o[29][14] o[29][15] o[29][16] o[29][17] o[29][18] o[29][19] o[29][20] o[29][21] o[29][22] o[29][23] o[29][24] o[29][25] o[29][26] o[29][27] o[29][28] o[29][29] so[0] so[1] so[2] so[3] so[4] so[5] so[6] so[7] so[8] so[9] so[10] so[11] so[12] so[13] so[14] so[15] so[16] so[17] so[18] so[19] so[20] so[21] so[22] so[23] so[24] so[25] so[26] so[27] so[28] so[29] </list> 31.70/5.70 v <values>0 12 21 15 22 4 10 14 20 7 26 9 11 8 28 27 2 23 1 3 24 18 29 5 6 16 19 25 13 17 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 1 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 1 1 1 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 0 0 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 2 2 3 3 3 2 2 2 </values> 31.70/5.70 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 (4524 MiB free) memory of node 1: 16384 MiB (4609 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405019-1569004257/watcher-4405019-1569004257 -o /var/tmp/evaluation-result-4405019-1569004257/solver-4405019-1569004257 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1568993963-14269 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 83442996 HOME/instance-4405019-1569004257.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=18835, runsolver pid=18832 Current StackSize limit: 8192 KiB [startup+0.100133 s]* /proc/loadavg: 8.27 8.19 8.25 3/213 18856 /proc/meminfo: memFree=9335964/32770624 swapFree=67021920/67108860 [pid=18835] ppid=18832 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18835/stat : 18835 (xcsp3-exec) S 18832 18835 14242 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476698259 115843072 364 33554432000 4194304 5098028 140736928504400 140736928502504 140308244570748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14340096 140736928506713 140736928506970 140736928506970 140736928509894 0 /proc/18835/statm: 28282 364 305 221 0 87 0 [pid=18837] ppid=18835 vsize=28227396 memory=30088 CPUtime=0.12 cores=0-7 /proc/18837/stat : 18837 (java) S 18835 18835 14242 0 -1 1077944320 5930 0 0 0 10 2 0 0 20 0 20 0 476698259 28904853504 7522 33554432000 4194304 4196468 140721165851680 140721165834224 140072077950711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 /proc/18837/statm: 7056849 7522 3161 1 0 7019032 0 [pid=18837/tid=18838] ppid=18835 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7 /proc/18837/task/18838/stat : 18838 (java) R 18835 18835 14242 0 -1 4202560 3880 0 0 0 8 1 0 0 20 0 20 0 476698259 28904853504 7522 33554432000 4194304 4196468 140721165851680 140072082183776 140072077972637 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18839] ppid=18835 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/18837/task/18839/stat : 18839 (java) S 18835 18835 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476698260 28904853504 7522 33554432000 4194304 4196468 140721165851680 140072038910480 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18840] ppid=18835 vsize=28227396 memory=140290262312576 CPUtime=0 cores=0-7 /proc/18837/task/18840/stat : 18840 (java) S 18835 18835 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476698260 28904853504 7522 33554432000 4194304 4196468 140721165851680 140071627823760 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18841] ppid=18835 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18841/stat : 18841 (java) S 18835 18835 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476698260 28904853504 7522 33554432000 4194304 4196468 140721165851680 140071626770704 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18842] ppid=18835 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18842/stat : 18842 (java) S 18835 18835 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476698260 28904853504 7522 33554432000 4194304 4196468 140721165851680 140071625718160 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18843] ppid=18835 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18843/stat : 18843 (java) S 18835 18835 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476698260 28904853504 7522 33554432000 4194304 4196468 140721165851680 140071624666128 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18844] ppid=18835 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18837/task/18844/stat : 18844 (java) S 18835 18835 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476698260 28904853504 7522 33554432000 4194304 4196468 140721165851680 140071623613584 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18845] ppid=18835 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18845/stat : 18845 (java) S 18835 18835 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476698260 28904853504 7522 33554432000 4194304 4196468 140721165851680 140071622560528 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18846] ppid=18835 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18846/stat : 18846 (java) S 18835 18835 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476698260 28904853504 7522 33554432000 4194304 4196468 140721165851680 140071621507984 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18847] ppid=18835 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18847/stat : 18847 (java) S 18835 18835 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476698261 28904853504 7522 33554432000 4194304 4196468 140721165851680 140070676240624 140072077961858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18848] ppid=18835 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18848/stat : 18848 (java) S 18835 18835 14242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476698262 28904853504 7522 33554432000 4194304 4196468 140721165851680 140070675186848 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18849] ppid=18835 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18849/stat : 18849 (java) S 18835 18835 14242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476698262 28904853504 7522 33554432000 4194304 4196468 140721165851680 140070674133744 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18850] ppid=18835 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18850/stat : 18850 (java) S 18835 18835 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476698265 28904853504 7522 33554432000 4194304 4196468 140721165851680 140070673082320 140072077969307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18851] ppid=18835 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18851/stat : 18851 (java) S 18835 18835 14242 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 20 0 476698265 28904853504 7522 33554432000 4194304 4196468 140721165851680 140070672030448 140072077961858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18852] ppid=18835 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18852/stat : 18852 (java) R 18835 18835 14242 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 476698265 28904853504 7522 33554432000 4194304 4196468 140721165851680 140070670977904 140072064014820 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18853] ppid=18835 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18853/stat : 18853 (java) S 18835 18835 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476698265 28904853504 7522 33554432000 4194304 4196468 140721165851680 140070669924848 140072077961858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18854] ppid=18835 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/18837/task/18854/stat : 18854 (java) R 18835 18835 14242 0 -1 4202560 318 0 0 0 1 0 0 0 20 0 20 0 476698265 28904853504 7522 33554432000 4194304 4196468 140721165851680 140070668872304 140072077972058 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18855] ppid=18835 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18855/stat : 18855 (java) S 18835 18835 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476698265 28904853504 7522 33554432000 4194304 4196468 140721165851680 140070667819488 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18856] ppid=18835 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18837/task/18856/stat : 18856 (java) S 18835 18835 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476698265 28904853504 7522 33554432000 4194304 4196468 140721165851680 140070666767024 140072077961858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 31544 KiB [startup+0.210253 s]* /proc/loadavg: 8.27 8.19 8.25 3/214 18857 /proc/meminfo: memFree=9324952/32770624 swapFree=67021920/67108860 [pid=18835] ppid=18832 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18835/stat : 18835 (xcsp3-exec) S 18832 18835 14242 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476698259 115843072 364 33554432000 4194304 5098028 140736928504400 140736928502504 140308244570748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14340096 140736928506713 140736928506970 140736928506970 140736928509894 0 /proc/18835/statm: 28282 364 305 221 0 87 0 [pid=18837] ppid=18835 vsize=28227396 memory=40628 CPUtime=0.34 cores=0-7 /proc/18837/stat : 18837 (java) S 18835 18835 14242 0 -1 1077944320 9381 0 0 0 30 4 0 0 20 0 20 0 476698259 28904853504 10157 33554432000 4194304 4196468 140721165851680 140721165834224 140072077950711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 /proc/18837/statm: 7056849 10157 3290 1 0 7019032 0 [pid=18837/tid=18838] ppid=18835 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/18837/task/18838/stat : 18838 (java) R 18835 18835 14242 0 -1 4202560 6647 0 0 0 17 3 0 0 20 0 20 0 476698259 28904853504 10157 33554432000 4194304 4196468 140721165851680 140072082184640 140072063641398 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18839] ppid=18835 vsize=28227396 memory=339 CPUtime=0 cores=0-7 /proc/18837/task/18839/stat : 18839 (java) S 18835 18835 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476698260 28904853504 10157 33554432000 4194304 4196468 140721165851680 140072038910480 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18840] ppid=18835 vsize=28227396 memory=288370666414024320 CPUtime=0 cores=0-7 /proc/18837/task/18840/stat : 18840 (java) S 18835 18835 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476698260 28904853504 10157 33554432000 4194304 4196468 140721165851680 140071627823760 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18841] ppid=18835 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18837/task/18841/stat : 18841 (java) S 18835 18835 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476698260 28904853504 10157 33554432000 4194304 4196468 140721165851680 140071626770704 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18842] ppid=18835 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18842/stat : 18842 (java) S 18835 18835 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476698260 28904853504 10157 33554432000 4194304 4196468 140721165851680 140071625718160 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18843] ppid=18835 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18843/stat : 18843 (java) S 18835 18835 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476698260 28904853504 10157 33554432000 4194304 4196468 140721165851680 140071624666128 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18844] ppid=18835 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18837/task/18844/stat : 18844 (java) S 18835 18835 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476698260 28904853504 10157 33554432000 4194304 4196468 140721165851680 140071623613584 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18845] ppid=18835 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18845/stat : 18845 (java) S 18835 18835 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476698260 28904853504 10157 33554432000 4194304 4196468 140721165851680 140071622560528 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18846] ppid=18835 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18846/stat : 18846 (java) S 18835 18835 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476698260 28904853504 10157 33554432000 4194304 4196468 140721165851680 140071621507984 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18847] ppid=18835 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18847/stat : 18847 (java) S 18835 18835 14242 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476698261 28904853504 10157 33554432000 4194304 4196468 140721165851680 140070676240624 140072077961858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18848] ppid=18835 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18848/stat : 18848 (java) S 18835 18835 14242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476698262 28904853504 10157 33554432000 4194304 4196468 140721165851680 140070675186848 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18849] ppid=18835 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18849/stat : 18849 (java) S 18835 18835 14242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476698262 28904853504 10157 33554432000 4194304 4196468 140721165851680 140070674133744 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18850] ppid=18835 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18850/stat : 18850 (java) S 18835 18835 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476698265 28904853504 10157 33554432000 4194304 4196468 140721165851680 140070673082320 140072077969307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18851] ppid=18835 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7 /proc/18837/task/18851/stat : 18851 (java) S 18835 18835 14242 0 -1 1077944384 513 0 0 0 2 0 0 0 20 0 20 0 476698265 28904853504 10157 33554432000 4194304 4196468 140721165851680 140070672030448 140072077961858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18852] ppid=18835 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7 /proc/18837/task/18852/stat : 18852 (java) S 18835 18835 14242 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 20 0 476698265 28904853504 10157 33554432000 4194304 4196468 140721165851680 140070670977904 140072077961858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18853] ppid=18835 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7 /proc/18837/task/18853/stat : 18853 (java) S 18835 18835 14242 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 20 0 476698265 28904853504 10157 33554432000 4194304 4196468 140721165851680 140070669924848 140072077961858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18854] ppid=18835 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7 /proc/18837/task/18854/stat : 18854 (java) R 18835 18835 14242 0 -1 4202560 769 0 0 0 8 0 0 0 20 0 20 0 476698265 28904853504 10157 33554432000 4194304 4196468 140721165851680 140070668872112 140072057383841 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18855] ppid=18835 vsize=28227396 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18855/stat : 18855 (java) S 18835 18835 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476698265 28904853504 10157 33554432000 4194304 4196468 140721165851680 140070667819488 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18856] ppid=18835 vsize=28227396 memory=-1 CPUtime=0 cores=0-7 /proc/18837/task/18856/stat : 18856 (java) S 18835 18835 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476698265 28904853504 10157 33554432000 4194304 4196468 140721165851680 140070666767024 140072077961858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340524 KiB Current children cumulated memory: 42084 KiB [startup+0.310306 s]* /proc/loadavg: 8.27 8.19 8.25 3/214 18858 /proc/meminfo: memFree=9317056/32770624 swapFree=67021920/67108860 [pid=18835] ppid=18832 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18835/stat : 18835 (xcsp3-exec) S 18832 18835 14242 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476698259 115843072 364 33554432000 4194304 5098028 140736928504400 140736928502504 140308244570748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14340096 140736928506713 140736928506970 140736928506970 140736928509894 0 /proc/18835/statm: 28282 364 305 221 0 87 0 [pid=18837] ppid=18835 vsize=28231652 memory=49708 CPUtime=0.53 cores=0-7 /proc/18837/stat : 18837 (java) S 18835 18835 14242 0 -1 1077944320 10784 0 0 0 48 5 0 0 20 0 20 0 476698259 28909211648 12427 33554432000 4194304 4196468 140721165851680 140721165834224 140072077950711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 /proc/18837/statm: 7057913 12427 3325 1 0 7019032 0 [pid=18837/tid=18838] ppid=18835 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7 /proc/18837/task/18838/stat : 18838 (java) R 18835 18835 14242 0 -1 4202560 7789 0 0 0 26 3 0 0 20 0 20 0 476698259 28909211648 12427 33554432000 4194304 4196468 140721165851680 140072082181824 140072062031198 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18839] ppid=18835 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18839/stat : 18839 (java) S 18835 18835 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476698260 28909211648 12427 33554432000 4194304 4196468 140721165851680 140072038910480 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18840] ppid=18835 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18840/stat : 18840 (java) S 18835 18835 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476698260 28909211648 12427 33554432000 4194304 4196468 140721165851680 140071627823760 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18841] ppid=18835 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18841/stat : 18841 (java) S 18835 18835 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476698260 28909211648 12427 33554432000 4194304 4196468 140721165851680 140071626770704 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18842] ppid=18835 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18842/stat : 18842 (java) S 18835 18835 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476698260 28909211648 12427 33554432000 4194304 4196468 140721165851680 140071625718160 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18843] ppid=18835 vsize=28231652 memory=2244 CPUtime=0 cores=0-7 /proc/18837/task/18843/stat : 18843 (java) S 18835 18835 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476698260 28909211648 12427 33554432000 4194304 4196468 140721165851680 140071624666128 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18844] ppid=18835 vsize=28231652 memory=140290140763055 CPUtime=0 cores=0-7 /proc/18837/task/18844/stat : 18844 (java) S 18835 18835 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476698260 28909211648 12427 33554432000 4194304 4196468 140721165851680 140071623613584 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18845] ppid=18835 vsize=28231652 memory=140290140765360 CPUtime=0 cores=0-7 /proc/18837/task/18845/stat : 18845 (java) S 18835 18835 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476698260 28909211648 12427 33554432000 4194304 4196468 140721165851680 140071622560528 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18846] ppid=18835 vsize=28231652 memory=140290140767664 CPUtime=0 cores=0-7 /proc/18837/task/18846/stat : 18846 (java) S 18835 18835 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476698260 28909211648 12427 33554432000 4194304 4196468 140721165851680 140071621507984 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18847] ppid=18835 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18847/stat : 18847 (java) S 18835 18835 14242 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 476698261 28909211648 12427 33554432000 4194304 4196468 140721165851680 140070676240624 140072077961858 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18848] ppid=18835 vsize=28231652 memory=280580281542288 CPUtime=0 cores=0-7 /proc/18837/task/18848/stat : 18848 (java) S 18835 18835 14242 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 476698262 28909211648 12427 33554432000 4194304 4196468 140721165851680 140070675186848 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18849] ppid=18835 vsize=28231652 memory=280580281549200 CPUtime=0 cores=0-7 /proc/18837/task/18849/stat : 18849 (java) S 18835 18835 14242 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476698262 28909211648 12427 33554432000 4194304 4196468 140721165851680 140070674133744 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18850] ppid=18835 vsize=28231652 memory=280580281490480 CPUtime=0 cores=0-7 /proc/18837/task/18850/stat : 18850 (java) S 18835 18835 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476698265 28909211648 12427 33554432000 4194304 4196468 140721165851680 140070673082320 140072077969307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18851] ppid=18835 vsize=28231652 memory=280580281563024 CPUtime=0.03 cores=0-7 /proc/18837/task/18851/stat : 18851 (java) S 18835 18835 14242 0 -1 1077944384 525 0 0 0 3 0 0 0 20 0 20 0 476698265 28909211648 12427 33554432000 4194304 4196468 140721165851680 140070672030448 140072077961858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18852] ppid=18835 vsize=28231652 memory=280580281569936 CPUtime=0.02 cores=0-7 /proc/18837/task/18852/stat : 18852 (java) R 18835 18835 14242 0 -1 4202560 183 0 0 0 2 0 0 0 20 0 20 0 476698265 28909211648 12427 33554432000 4194304 4196468 140721165851680 140070670977904 140072061338558 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18853] ppid=18835 vsize=28231652 memory=280580281567632 CPUtime=0.02 cores=0-7 /proc/18837/task/18853/stat : 18853 (java) S 18835 18835 14242 0 -1 1077944384 67 0 0 0 2 0 0 0 20 0 20 0 476698265 28909211648 12427 33554432000 4194304 4196468 140721165851680 140070669924848 140072077961858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18854] ppid=18835 vsize=28231652 memory=280580281583792 CPUtime=0.13 cores=0-7 /proc/18837/task/18854/stat : 18854 (java) S 18835 18835 14242 0 -1 1077944384 913 0 0 0 13 0 0 0 20 0 20 0 476698265 28909211648 12427 33554432000 4194304 4196468 140721165851680 140070668872304 140072077961858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18855] ppid=18835 vsize=28231652 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18855/stat : 18855 (java) S 18835 18835 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476698265 28909211648 12427 33554432000 4194304 4196468 140721165851680 140070667819488 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18856] ppid=18835 vsize=28231652 memory=-1 CPUtime=0 cores=0-7 /proc/18837/task/18856/stat : 18856 (java) S 18835 18835 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476698265 28909211648 12427 33554432000 4194304 4196468 140721165851680 140070666767024 140072077961858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 Current children cumulated CPU time: 0.53 s Current children cumulated vsize: 28344780 KiB Current children cumulated memory: 51164 KiB [startup+0.700954 s] /proc/loadavg: 8.27 8.19 8.25 4/214 18858 /proc/meminfo: memFree=9292584/32770624 swapFree=67021920/67108860 [pid=18835] ppid=18832 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18835/stat : 18835 (xcsp3-exec) S 18832 18835 14242 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476698259 115843072 364 33554432000 4194304 5098028 140736928504400 140736928502504 140308244570748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14340096 140736928506713 140736928506970 140736928506970 140736928509894 0 /proc/18835/statm: 28282 364 305 221 0 87 0 [pid=18837] ppid=18835 vsize=28233776 memory=110300 CPUtime=1.95 cores=0-7 /proc/18837/stat : 18837 (java) S 18835 18835 14242 0 -1 1077944320 16625 0 0 0 187 8 0 0 20 0 20 0 476698259 28911386624 27575 33554432000 4194304 4196468 140721165851680 140721165834224 140072077950711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 /proc/18837/statm: 7058444 27575 3450 1 0 7019544 0 [pid=18837/tid=18838] ppid=18835 vsize=28233776 memory=280580281941680 CPUtime=0.68 cores=0-7 /proc/18837/task/18838/stat : 18838 (java) R 18835 18835 14242 0 -1 4202560 9177 0 0 0 63 5 0 0 20 0 20 0 476698259 28911386624 27575 33554432000 4194304 4196468 140721165851680 140072082185280 140071718402780 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18839] ppid=18835 vsize=28233776 memory=140290140971888 CPUtime=0 cores=0-7 /proc/18837/task/18839/stat : 18839 (java) S 18835 18835 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476698260 28911386624 27575 33554432000 4194304 4196468 140721165851680 140072038910480 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18840] ppid=18835 vsize=28233776 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18840/stat : 18840 (java) S 18835 18835 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476698260 28911386624 27575 33554432000 4194304 4196468 140721165851680 140071627823760 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18841] ppid=18835 vsize=28233776 memory=1076 CPUtime=0 cores=0-7 /proc/18837/task/18841/stat : 18841 (java) S 18835 18835 14242 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476698260 28911386624 27575 33554432000 4194304 4196468 140721165851680 140071626770704 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 ################ # More data... # ################ [pid=18837/tid=18838] ppid=18835 vsize=28768336 memory=4788 CPUtime=1.91 cores=0-7 /proc/18837/task/18838/stat : 18838 (java) S 18835 18835 14242 0 -1 1077944384 11056 0 0 0 183 8 0 0 20 0 28 0 476698259 29458776064 111752 33554432000 4194304 4196468 140721165851680 140072082191488 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18839] ppid=18835 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7 /proc/18837/task/18839/stat : 18839 (java) S 18835 18835 14242 0 -1 1077944384 129 0 0 0 6 3 0 0 20 0 28 0 476698260 29458776064 111752 33554432000 4194304 4196468 140721165851680 140072038910480 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18840] ppid=18835 vsize=28768336 memory=7308328816586549866 CPUtime=0.08 cores=0-7 /proc/18837/task/18840/stat : 18840 (java) S 18835 18835 14242 0 -1 1077944384 289 0 0 0 5 3 0 0 20 0 28 0 476698260 29458776064 111752 33554432000 4194304 4196468 140721165851680 140071627823760 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18841] ppid=18835 vsize=28768336 memory=7374188536627094892 CPUtime=0.05 cores=0-7 /proc/18837/task/18841/stat : 18841 (java) S 18835 18835 14242 0 -1 1077944384 135 0 0 0 3 2 0 0 20 0 28 0 476698260 29458776064 111752 33554432000 4194304 4196468 140721165851680 140071626770704 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18842] ppid=18835 vsize=28768336 memory=7162764532348643186 CPUtime=0.08 cores=0-7 /proc/18837/task/18842/stat : 18842 (java) S 18835 18835 14242 0 -1 1077944384 205 0 0 0 5 3 0 0 20 0 28 0 476698260 29458776064 111752 33554432000 4194304 4196468 140721165851680 140071625718160 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18843] ppid=18835 vsize=28768336 memory=7086248332625471057 CPUtime=0.09 cores=0-7 /proc/18837/task/18843/stat : 18843 (java) S 18835 18835 14242 0 -1 1077944384 168 0 0 0 6 3 0 0 20 0 28 0 476698260 29458776064 111752 33554432000 4194304 4196468 140721165851680 140071624666128 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18844] ppid=18835 vsize=28768336 memory=7881676928731146598 CPUtime=0.07 cores=0-7 /proc/18837/task/18844/stat : 18844 (java) S 18835 18835 14242 0 -1 1077944384 148 0 0 0 4 3 0 0 20 0 28 0 476698260 29458776064 111752 33554432000 4194304 4196468 140721165851680 140071623613584 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18845] ppid=18835 vsize=28768336 memory=7523376918531162212 CPUtime=0.08 cores=0-7 /proc/18837/task/18845/stat : 18845 (java) S 18835 18835 14242 0 -1 1077944384 167 0 0 0 6 2 0 0 20 0 28 0 476698260 29458776064 111752 33554432000 4194304 4196468 140721165851680 140071622560528 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18846] ppid=18835 vsize=28768336 memory=6225773943100632166 CPUtime=0.06 cores=0-7 /proc/18837/task/18846/stat : 18846 (java) S 18835 18835 14242 0 -1 1077944384 160 0 0 0 4 2 0 0 20 0 28 0 476698260 29458776064 111752 33554432000 4194304 4196468 140721165851680 140071621507984 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18847] ppid=18835 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7 /proc/18837/task/18847/stat : 18847 (java) S 18835 18835 14242 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 28 0 476698261 29458776064 111752 33554432000 4194304 4196468 140721165851680 140070676240624 140072077961858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18848] ppid=18835 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18848/stat : 18848 (java) S 18835 18835 14242 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 476698262 29458776064 111752 33554432000 4194304 4196468 140721165851680 140070675186912 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18849] ppid=18835 vsize=28768336 memory=3580349 CPUtime=0 cores=0-7 /proc/18837/task/18849/stat : 18849 (java) S 18835 18835 14242 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 476698262 29458776064 111752 33554432000 4194304 4196468 140721165851680 140070674133760 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18850] ppid=18835 vsize=28768336 memory=288230600413020516 CPUtime=0 cores=0-7 /proc/18837/task/18850/stat : 18850 (java) S 18835 18835 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476698265 29458776064 111752 33554432000 4194304 4196468 140721165851680 140070673082320 140072077969307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18851] ppid=18835 vsize=28768336 memory=0 CPUtime=3.27 cores=0-7 /proc/18837/task/18851/stat : 18851 (java) S 18835 18835 14242 0 -1 1077944384 6542 0 0 0 325 2 0 0 20 0 28 0 476698265 29458776064 111752 33554432000 4194304 4196468 140721165851680 140070672030448 140072077961858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18852] ppid=18835 vsize=28768336 memory=0 CPUtime=3.2 cores=0-7 /proc/18837/task/18852/stat : 18852 (java) S 18835 18835 14242 0 -1 1077944384 8654 0 0 0 319 1 0 0 20 0 28 0 476698265 29458776064 111752 33554432000 4194304 4196468 140721165851680 140070670977904 140072077961858 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18853] ppid=18835 vsize=28768336 memory=0 CPUtime=3.05 cores=0-7 /proc/18837/task/18853/stat : 18853 (java) S 18835 18835 14242 0 -1 1077944384 8036 0 0 0 304 1 0 0 20 0 28 0 476698265 29458776064 111752 33554432000 4194304 4196468 140721165851680 140070669924848 140072077961858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18854] ppid=18835 vsize=28768336 memory=0 CPUtime=1.05 cores=0-7 /proc/18837/task/18854/stat : 18854 (java) S 18835 18835 14242 0 -1 1077944384 5209 0 0 0 103 2 0 0 20 0 28 0 476698265 29458776064 111752 33554432000 4194304 4196468 140721165851680 140070668872304 140072077961858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18855] ppid=18835 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18855/stat : 18855 (java) S 18835 18835 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476698265 29458776064 111752 33554432000 4194304 4196468 140721165851680 140070667819488 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18856] ppid=18835 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18856/stat : 18856 (java) D 18835 18835 14242 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 28 0 476698265 29458776064 111752 33554432000 4194304 4196468 140721165851680 140070666766944 140072062806798 0 4 0 16800975 18446744072100301957 0 0 -1 7 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18979] ppid=18835 vsize=28768336 memory=0 CPUtime=1.14 cores=0-7 /proc/18837/task/18979/stat : 18979 (java) R 18835 18835 14242 0 -1 4202560 18 0 0 0 114 0 0 0 20 0 28 0 476698656 29458776064 111752 33554432000 4194304 4196468 140721165851680 140070654396888 140071723275676 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18980] ppid=18835 vsize=28768336 memory=0 CPUtime=1.12 cores=0-7 /proc/18837/task/18980/stat : 18980 (java) R 18835 18835 14242 0 -1 4202560 17 0 0 0 112 0 0 0 20 0 28 0 476698656 29458776064 111752 33554432000 4194304 4196468 140721165851680 140070649135656 140071722422412 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18981] ppid=18835 vsize=28768336 memory=0 CPUtime=1.16 cores=0-7 /proc/18837/task/18981/stat : 18981 (java) R 18835 18835 14242 0 -1 4202560 17 0 0 0 116 0 0 0 20 0 28 0 476698656 29458776064 111752 33554432000 4194304 4196468 140721165851680 140070648082824 140071722422232 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18982] ppid=18835 vsize=28768336 memory=0 CPUtime=1.18 cores=0-7 /proc/18837/task/18982/stat : 18982 (java) R 18835 18835 14242 0 -1 4202560 38 0 0 0 118 0 0 0 20 0 28 0 476698656 29458776064 111752 33554432000 4194304 4196468 140721165851680 140070652294056 140071721137182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18983] ppid=18835 vsize=28768336 memory=0 CPUtime=1.2 cores=0-7 /proc/18837/task/18983/stat : 18983 (java) R 18835 18835 14242 0 -1 4202560 18 0 0 0 120 0 0 0 20 0 28 0 476698656 29458776064 111752 33554432000 4194304 4196468 140721165851680 140070651241208 140071724319488 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18984] ppid=18835 vsize=28768336 memory=0 CPUtime=1.1 cores=0-7 /proc/18837/task/18984/stat : 18984 (java) R 18835 18835 14242 0 -1 4202560 27 0 0 0 110 0 0 0 20 0 28 0 476698656 29458776064 111752 33554432000 4194304 4196468 140721165851680 140070653345400 140071724044824 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18985] ppid=18835 vsize=28768336 memory=0 CPUtime=1.2 cores=0-7 /proc/18837/task/18985/stat : 18985 (java) R 18835 18835 14242 0 -1 4202560 19 0 0 0 120 0 0 0 20 0 28 0 476698656 29458776064 111752 33554432000 4194304 4196468 140721165851680 140070655450264 140071722422169 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18986] ppid=18835 vsize=28768336 memory=0 CPUtime=1.11 cores=0-7 /proc/18837/task/18986/stat : 18986 (java) R 18835 18835 14242 0 -1 4202560 18 0 0 0 111 0 0 0 20 0 28 0 476698656 29458776064 111752 33554432000 4194304 4196468 140721165851680 140070650188488 140071722421619 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 Current children cumulated CPU time: 28.76 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 448464 KiB [startup+5.60618 s] /proc/loadavg: 8.01 8.14 8.23 10/222 18986 /proc/meminfo: memFree=8905252/32770624 swapFree=67021920/67108860 [pid=18835] ppid=18832 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18835/stat : 18835 (xcsp3-exec) S 18832 18835 14242 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476698259 115843072 364 33554432000 4194304 5098028 140736928504400 140736928502504 140308244570748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14340096 140736928506713 140736928506970 140736928506970 140736928509894 0 /proc/18835/statm: 28282 364 305 221 0 87 0 [pid=18837] ppid=18835 vsize=28768336 memory=447012 CPUtime=30.95 cores=0-7 /proc/18837/stat : 18837 (java) S 18835 18835 14242 0 -1 1077944320 46117 0 0 0 3049 46 0 0 20 0 28 0 476698259 29458776064 111753 33554432000 4194304 4196468 140721165851680 140721165834224 140072077950711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 /proc/18837/statm: 7192084 111753 3545 1 0 7153184 0 [pid=18837/tid=18838] ppid=18835 vsize=28768336 memory=1456 CPUtime=1.91 cores=0-7 /proc/18837/task/18838/stat : 18838 (java) S 18835 18835 14242 0 -1 1077944384 11056 0 0 0 183 8 0 0 20 0 28 0 476698259 29458776064 111753 33554432000 4194304 4196468 140721165851680 140072082191488 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18839] ppid=18835 vsize=28768336 memory=434596 CPUtime=0.09 cores=0-7 /proc/18837/task/18839/stat : 18839 (java) S 18835 18835 14242 0 -1 1077944384 129 0 0 0 6 3 0 0 20 0 28 0 476698260 29458776064 111753 33554432000 4194304 4196468 140721165851680 140072038910480 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18840] ppid=18835 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7 /proc/18837/task/18840/stat : 18840 (java) S 18835 18835 14242 0 -1 1077944384 289 0 0 0 5 3 0 0 20 0 28 0 476698260 29458776064 111753 33554432000 4194304 4196468 140721165851680 140071627823760 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18841] ppid=18835 vsize=28768336 memory=1456 CPUtime=0.05 cores=0-7 /proc/18837/task/18841/stat : 18841 (java) S 18835 18835 14242 0 -1 1077944384 135 0 0 0 3 2 0 0 20 0 28 0 476698260 29458776064 111753 33554432000 4194304 4196468 140721165851680 140071626770704 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18842] ppid=18835 vsize=28768336 memory=447008 CPUtime=0.08 cores=0-7 /proc/18837/task/18842/stat : 18842 (java) S 18835 18835 14242 0 -1 1077944384 205 0 0 0 5 3 0 0 20 0 28 0 476698260 29458776064 111753 33554432000 4194304 4196468 140721165851680 140071625718160 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18843] ppid=18835 vsize=28768336 memory=0 CPUtime=0.09 cores=0-7 /proc/18837/task/18843/stat : 18843 (java) S 18835 18835 14242 0 -1 1077944384 168 0 0 0 6 3 0 0 20 0 28 0 476698260 29458776064 111753 33554432000 4194304 4196468 140721165851680 140071624666128 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18844] ppid=18835 vsize=28768336 memory=280580281853616 CPUtime=0.07 cores=0-7 /proc/18837/task/18844/stat : 18844 (java) S 18835 18835 14242 0 -1 1077944384 148 0 0 0 4 3 0 0 20 0 28 0 476698260 29458776064 111753 33554432000 4194304 4196468 140721165851680 140071623613584 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18845] ppid=18835 vsize=28768336 memory=3540023667137494016 CPUtime=0.08 cores=0-7 /proc/18837/task/18845/stat : 18845 (java) S 18835 18835 14242 0 -1 1077944384 167 0 0 0 6 2 0 0 20 0 28 0 476698260 29458776064 111753 33554432000 4194304 4196468 140721165851680 140071622560528 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18846] ppid=18835 vsize=28768336 memory=4639074098508484691 CPUtime=0.06 cores=0-7 /proc/18837/task/18846/stat : 18846 (java) S 18835 18835 14242 0 -1 1077944384 160 0 0 0 4 2 0 0 20 0 28 0 476698260 29458776064 111753 33554432000 4194304 4196468 140721165851680 140071621507984 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18847] ppid=18835 vsize=28768336 memory=280580281336048 CPUtime=0.01 cores=0-7 /proc/18837/task/18847/stat : 18847 (java) S 18835 18835 14242 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 28 0 476698261 29458776064 111753 33554432000 4194304 4196468 140721165851680 140070676240624 140072077961858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18848] ppid=18835 vsize=28768336 memory=161 CPUtime=0 cores=0-7 /proc/18837/task/18848/stat : 18848 (java) S 18835 18835 14242 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 476698262 29458776064 111753 33554432000 4194304 4196468 140721165851680 140070675186912 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18849] ppid=18835 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18849/stat : 18849 (java) S 18835 18835 14242 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 476698262 29458776064 111753 33554432000 4194304 4196468 140721165851680 140070674133760 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18850] ppid=18835 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18850/stat : 18850 (java) S 18835 18835 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476698265 29458776064 111753 33554432000 4194304 4196468 140721165851680 140070673082320 140072077969307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18851] ppid=18835 vsize=28768336 memory=1040 CPUtime=3.33 cores=0-7 /proc/18837/task/18851/stat : 18851 (java) S 18835 18835 14242 0 -1 1077944384 6543 0 0 0 331 2 0 0 20 0 28 0 476698265 29458776064 111753 33554432000 4194304 4196468 140721165851680 140070672030448 140072077961858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18852] ppid=18835 vsize=28768336 memory=2084 CPUtime=3.21 cores=0-7 /proc/18837/task/18852/stat : 18852 (java) R 18835 18835 14242 0 -1 4202560 8654 0 0 0 320 1 0 0 20 0 28 0 476698265 29458776064 111753 33554432000 4194304 4196468 140721165851680 140070670978200 140072059514336 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18853] ppid=18835 vsize=28768336 memory=1480 CPUtime=3.07 cores=0-7 /proc/18837/task/18853/stat : 18853 (java) S 18835 18835 14242 0 -1 1077944384 8042 0 0 0 306 1 0 0 20 0 28 0 476698265 29458776064 111753 33554432000 4194304 4196468 140721165851680 140070669924848 140072077961858 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18854] ppid=18835 vsize=28768336 memory=3880 CPUtime=1.06 cores=0-7 /proc/18837/task/18854/stat : 18854 (java) S 18835 18835 14242 0 -1 1077944384 5216 0 0 0 104 2 0 0 20 0 28 0 476698265 29458776064 111753 33554432000 4194304 4196468 140721165851680 140070668872304 140072077961858 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18855] ppid=18835 vsize=28768336 memory=7712 CPUtime=0 cores=0-7 /proc/18837/task/18855/stat : 18855 (java) S 18835 18835 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476698265 29458776064 111753 33554432000 4194304 4196468 140721165851680 140070667819488 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18856] ppid=18835 vsize=28768336 memory=1760 CPUtime=0 cores=0-7 /proc/18837/task/18856/stat : 18856 (java) S 18835 18835 14242 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 476698265 29458776064 111753 33554432000 4194304 4196468 140721165851680 140070666767024 140072077961858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 Current children cumulated CPU time: 30.95 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 448468 KiB [startup+5.70115 s] /proc/loadavg: 8.01 8.14 8.23 10/222 18986 /proc/meminfo: memFree=8905252/32770624 swapFree=67021920/67108860 [pid=18835] ppid=18832 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/18835/stat : 18835 (xcsp3-exec) S 18832 18835 14242 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 476698259 115843072 364 33554432000 4194304 5098028 140736928504400 140736928502504 140308244570748 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14340096 140736928506713 140736928506970 140736928506970 140736928509894 0 /proc/18835/statm: 28282 364 305 221 0 87 0 [pid=18837] ppid=18835 vsize=28768336 memory=447012 CPUtime=31.7 cores=0-7 /proc/18837/stat : 18837 (java) S 18835 18835 14242 0 -1 1077944320 46129 0 0 0 3124 46 0 0 20 0 28 0 476698259 29458776064 111753 33554432000 4194304 4196468 140721165851680 140721165834224 140072077950711 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 /proc/18837/statm: 7192084 111753 3545 1 0 7153184 0 [pid=18837/tid=18838] ppid=18835 vsize=28768336 memory=447008 CPUtime=1.91 cores=0-7 /proc/18837/task/18838/stat : 18838 (java) S 18835 18835 14242 0 -1 1077944384 11056 0 0 0 183 8 0 0 20 0 28 0 476698259 29458776064 111753 33554432000 4194304 4196468 140721165851680 140072082191488 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18839] ppid=18835 vsize=28768336 memory=5115306050722 CPUtime=0.09 cores=0-7 /proc/18837/task/18839/stat : 18839 (java) S 18835 18835 14242 0 -1 1077944384 129 0 0 0 6 3 0 0 20 0 28 0 476698260 29458776064 111753 33554432000 4194304 4196468 140721165851680 140072038910480 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18840] ppid=18835 vsize=28768336 memory=3472328300522385455 CPUtime=0.08 cores=0-7 /proc/18837/task/18840/stat : 18840 (java) S 18835 18835 14242 0 -1 1077944384 289 0 0 0 5 3 0 0 20 0 28 0 476698260 29458776064 111753 33554432000 4194304 4196468 140721165851680 140071627823760 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18841] ppid=18835 vsize=28768336 memory=1456 CPUtime=0.05 cores=0-7 /proc/18837/task/18841/stat : 18841 (java) S 18835 18835 14242 0 -1 1077944384 135 0 0 0 3 2 0 0 20 0 28 0 476698260 29458776064 111753 33554432000 4194304 4196468 140721165851680 140071626770704 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18842] ppid=18835 vsize=28768336 memory=447012 CPUtime=0.08 cores=0-7 /proc/18837/task/18842/stat : 18842 (java) S 18835 18835 14242 0 -1 1077944384 205 0 0 0 5 3 0 0 20 0 28 0 476698260 29458776064 111753 33554432000 4194304 4196468 140721165851680 140071625718160 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18843] ppid=18835 vsize=28768336 memory=280580281984528 CPUtime=0.09 cores=0-7 /proc/18837/task/18843/stat : 18843 (java) S 18835 18835 14242 0 -1 1077944384 168 0 0 0 6 3 0 0 20 0 28 0 476698260 29458776064 111753 33554432000 4194304 4196468 140721165851680 140071624666128 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18844] ppid=18835 vsize=28768336 memory=6944656592455359580 CPUtime=0.07 cores=0-7 /proc/18837/task/18844/stat : 18844 (java) S 18835 18835 14242 0 -1 1077944384 148 0 0 0 4 3 0 0 20 0 28 0 476698260 29458776064 111753 33554432000 4194304 4196468 140721165851680 140071623613584 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18845] ppid=18835 vsize=28768336 memory=6944656575208382560 CPUtime=0.08 cores=0-7 /proc/18837/task/18845/stat : 18845 (java) S 18835 18835 14242 0 -1 1077944384 167 0 0 0 6 2 0 0 20 0 28 0 476698260 29458776064 111753 33554432000 4194304 4196468 140721165851680 140071622560528 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18846] ppid=18835 vsize=28768336 memory=0 CPUtime=0.06 cores=0-7 /proc/18837/task/18846/stat : 18846 (java) S 18835 18835 14242 0 -1 1077944384 160 0 0 0 4 2 0 0 20 0 28 0 476698260 29458776064 111753 33554432000 4194304 4196468 140721165851680 140071621507984 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18847] ppid=18835 vsize=28768336 memory=6791534058613427641 CPUtime=0.01 cores=0-7 /proc/18837/task/18847/stat : 18847 (java) S 18835 18835 14242 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 28 0 476698261 29458776064 111753 33554432000 4194304 4196468 140721165851680 140070676240624 140072077961858 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18848] ppid=18835 vsize=28768336 memory=13798 CPUtime=0 cores=0-7 /proc/18837/task/18848/stat : 18848 (java) S 18835 18835 14242 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 476698262 29458776064 111753 33554432000 4194304 4196468 140721165851680 140070675186912 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18849] ppid=18835 vsize=28768336 memory=3135787 CPUtime=0 cores=0-7 /proc/18837/task/18849/stat : 18849 (java) S 18835 18835 14242 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 476698262 29458776064 111753 33554432000 4194304 4196468 140721165851680 140070674133760 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18850] ppid=18835 vsize=28768336 memory=0 CPUtime=0 cores=0-7 /proc/18837/task/18850/stat : 18850 (java) S 18835 18835 14242 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476698265 29458776064 111753 33554432000 4194304 4196468 140721165851680 140070673082320 140072077969307 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18851] ppid=18835 vsize=28768336 memory=0 CPUtime=3.33 cores=0-7 /proc/18837/task/18851/stat : 18851 (java) S 18835 18835 14242 0 -1 1077944384 6543 0 0 0 331 2 0 0 20 0 28 0 476698265 29458776064 111753 33554432000 4194304 4196468 140721165851680 140070672030448 140072077961858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18852] ppid=18835 vsize=28768336 memory=1456 CPUtime=3.28 cores=0-7 /proc/18837/task/18852/stat : 18852 (java) R 18835 18835 14242 0 -1 4202560 8659 0 0 0 327 1 0 0 20 0 28 0 476698265 29458776064 111753 33554432000 4194304 4196468 140721165851680 140070670966424 140072062357840 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18853] ppid=18835 vsize=28768336 memory=434512 CPUtime=3.08 cores=0-7 /proc/18837/task/18853/stat : 18853 (java) S 18835 18835 14242 0 -1 1077944384 8045 0 0 0 307 1 0 0 20 0 28 0 476698265 29458776064 111753 33554432000 4194304 4196468 140721165851680 140070669924848 140072077961858 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18854] ppid=18835 vsize=28768336 memory=0 CPUtime=1.07 cores=0-7 /proc/18837/task/18854/stat : 18854 (java) S 18835 18835 14242 0 -1 1077944384 5218 0 0 0 105 2 0 0 20 0 28 0 476698265 29458776064 111753 33554432000 4194304 4196468 140721165851680 140070668872304 140072077961858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18855] ppid=18835 vsize=28768336 memory=1009 CPUtime=0 cores=0-7 /proc/18837/task/18855/stat : 18855 (java) S 18835 18835 14242 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476698265 29458776064 111753 33554432000 4194304 4196468 140721165851680 140070667819488 140072077960917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 [pid=18837/tid=18856] ppid=18835 vsize=28768336 memory=188 CPUtime=0 cores=0-7 /proc/18837/task/18856/stat : 18856 (java) S 18835 18835 14242 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 476698265 29458776064 111753 33554432000 4194304 4196468 140721165851680 140070666767024 140072077961858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 11100160 140721165853660 140721165853835 140721165853835 140721165856719 0 Current children cumulated CPU time: 31.7 s Current children cumulated vsize: 28881464 KiB Current children cumulated memory: 448468 KiB Child status: 0 Real time (s): 5.72795 CPU time (s): 31.7322 CPU user time (s): 31.2575 CPU system time (s): 0.474699 CPU usage (%): 553.989 Max. virtual memory (cumulated for all children) (KiB): 28881464 Max. memory (cumulated for all children) (KiB): 461852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 31.2575 system time used= 0.474699 maximum resident set size= 460396 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 46754 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= 5499 involuntary context switches= 673 # summary of solver processes directly reported to runsolver: # pid: 18835 # total CPU time (s): 31.7322 # total CPU user time (s): 31.2575 # total CPU system time (s): 0.474699 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.051515 second user time and 0.119128 second system time The end
Begin job on node150 at 2019-09-20 20:30:17 IDJOB=4405019 IDBENCH=126803 IDSOLVER=2866 FILE ID=node150/4405019-1569004257 RUNJOBID= node150-1568993963-14269 PBS_JOBID= 21704712 Free space on /var/tmp= 13480 MiB SOLVER NAME= choco-solver 2019-09-20 parallel BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbop-30-30-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405019-1569004257/watcher-4405019-1569004257 -o /var/tmp/evaluation-result-4405019-1569004257/solver-4405019-1569004257 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node150-1568993963-14269 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 83442996 HOME/instance-4405019-1569004257.xml TIME LIMIT= 2016 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 305bfce3403e7be8ea8343edd9c7d9a7 RANDOM SEED=83442996 node150.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.79 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.79 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.79 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.79 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: 9355116 kB MemAvailable: 31829660 kB Buffers: 170728 kB Cached: 22189780 kB SwapCached: 7960 kB Active: 11146404 kB Inactive: 11247840 kB Active(anon): 4352 kB Inactive(anon): 70308 kB Active(file): 11142052 kB Inactive(file): 11177532 kB Unevictable: 110732 kB Mlocked: 110732 kB SwapTotal: 67108860 kB SwapFree: 67021920 kB Dirty: 26100 kB Writeback: 0 kB AnonPages: 199244 kB Mapped: 47652 kB Shmem: 32548 kB Slab: 613104 kB SReclaimable: 583420 kB SUnreclaim: 29684 kB KernelStack: 3920 kB PageTables: 4748 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505928 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 131072 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 99712 kB DirectMap2M: 33445888 kB Free space on /var/tmp at the end= 13456 MiB End job on node150 at 2019-09-20 20:30:23