Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
choco-solver 2019-06-14 parallel | OPT | 3 | 59.0973 | 9.35868 |
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 | 24.6929 |
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-4393959-1568427353.xml" -tl '20160s' -p 8 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4393959-1568427353.xml, -tl, 20160s, -p, 8] 0.34/0.22 c 8 solvers in parallel 0.34/0.28 c parse instance... 6.99/1.91 c solve instance... 9.07/2.21 o 19 9.07/2.23 o 18 9.07/2.25 o 17 9.07/2.28 o 16 9.77/2.31 o 15 9.77/2.35 o 14 10.53/2.49 o 13 12.94/2.86 o 12 13.47/2.91 o 11 15.27/3.26 o 10 15.66/3.34 o 9 21.88/4.12 o 8 23.37/4.46 o 7 42.50/6.98 o 6 43.11/7.19 o 5 56.72/8.95 o 4 57.86/9.19 o 3 58.77/9.34 s OPTIMUM FOUND 58.77/9.34 v <instantiation> 58.77/9.34 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> 58.77/9.34 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> 58.77/9.34 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 (14581 MiB free) memory of node 1: 16384 MiB (15647 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393959-1568427353/watcher-4393959-1568427353 -o /tmp/evaluation-result-4393959-1568427353/solver-4393959-1568427353 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568427144-15778 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 656761059 HOME/instance-4393959-1568427353.xml running on 8 cores: 0,2,4,6,1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=17006, runsolver pid=17003 [startup+0.100139 s]* /proc/loadavg: 7.83 7.14 6.95 2/211 17027 /proc/meminfo: memFree=30938100/32770624 swapFree=66947516/67108860 [pid=17006] ppid=17003 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17006/stat : 17006 (xcsp3-exec) S 17003 17006 15751 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418677279 115843072 364 33554432000 4194304 5098028 140733112031424 140733112029528 139676808798844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12701696 140733112038262 140733112038505 140733112038505 140733112041418 0 /proc/17006/statm: 28282 364 305 221 0 87 0 [pid=17008] ppid=17006 vsize=28227388 memory=29692 CPUtime=0.12 cores=0-7 /proc/17008/stat : 17008 (java) S 17006 17006 15751 0 -1 1077944320 5896 0 0 0 11 1 0 0 20 0 20 0 418677279 28904845312 7423 33554432000 4194304 4196468 140722057179504 140722057162048 140070947155703 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 /proc/17008/statm: 7056847 7423 3090 1 0 7019032 0 [pid=17008/tid=17009] ppid=17006 vsize=28227388 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/17008/task/17009/stat : 17009 (java) R 17006 17006 15751 0 -1 4202560 3847 0 0 0 8 1 0 0 20 0 20 0 418677279 28904845312 7423 33554432000 4194304 4196468 140722057179504 140070951388976 140070947167638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17010] ppid=17006 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/17008/task/17010/stat : 17010 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418677280 28904845312 7423 33554432000 4194304 4196468 140722057179504 140070899776656 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17011] ppid=17006 vsize=28227388 memory=140137524799104 CPUtime=0 cores=0-7 /proc/17008/task/17011/stat : 17011 (java) S 17006 17006 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418677280 28904845312 7423 33554432000 4194304 4196468 140722057179504 140070898723856 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17012] ppid=17006 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17012/stat : 17012 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418677280 28904845312 7423 33554432000 4194304 4196468 140722057179504 140070897671056 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17013] ppid=17006 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17013/stat : 17013 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418677280 28904845312 7423 33554432000 4194304 4196468 140722057179504 140070495312656 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17014] ppid=17006 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17014/stat : 17014 (java) S 17006 17006 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418677280 28904845312 7423 33554432000 4194304 4196468 140722057179504 140070494259856 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17015] ppid=17006 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17008/task/17015/stat : 17015 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418677280 28904845312 7423 33554432000 4194304 4196468 140722057179504 140070493207056 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17016] ppid=17006 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17016/stat : 17016 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418677280 28904845312 7423 33554432000 4194304 4196468 140722057179504 140070492154256 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17017] ppid=17006 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17017/stat : 17017 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418677280 28904845312 7423 33554432000 4194304 4196468 140722057179504 140070491101456 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17018] ppid=17006 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17018/stat : 17018 (java) S 17006 17006 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418677281 28904845312 7423 33554432000 4194304 4196468 140722057179504 140070063434608 140070947166850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17019] ppid=17006 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17019/stat : 17019 (java) S 17006 17006 15751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418677282 28904845312 7423 33554432000 4194304 4196468 140722057179504 140070062380576 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17020] ppid=17006 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17020/stat : 17020 (java) S 17006 17006 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418677282 28904845312 7423 33554432000 4194304 4196468 140722057179504 140070061327728 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17021] ppid=17006 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17021/stat : 17021 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418677285 28904845312 7423 33554432000 4194304 4196468 140722057179504 140070060276048 140070947174299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17022] ppid=17006 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17022/stat : 17022 (java) S 17006 17006 15751 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 418677285 28904845312 7423 33554432000 4194304 4196468 140722057179504 140070059223408 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17023] ppid=17006 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17023/stat : 17023 (java) S 17006 17006 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418677285 28904845312 7423 33554432000 4194304 4196468 140722057179504 140070058170608 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17024] ppid=17006 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17024/stat : 17024 (java) S 17006 17006 15751 0 -1 1077944384 387 0 0 0 0 0 0 0 20 0 20 0 418677285 28904845312 7423 33554432000 4194304 4196468 140722057179504 140070057117808 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17025] ppid=17006 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/17008/task/17025/stat : 17025 (java) R 17006 17006 15751 0 -1 4202560 323 0 0 0 2 0 0 0 20 0 20 0 418677285 28904845312 7423 33554432000 4194304 4196468 140722057179504 140070056065008 140070947167638 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17026] ppid=17006 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17026/stat : 17026 (java) S 17006 17006 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418677285 28904845312 7423 33554432000 4194304 4196468 140722057179504 140070055013472 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17027] ppid=17006 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17008/task/17027/stat : 17027 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418677285 28904845312 7423 33554432000 4194304 4196468 140722057179504 140070053960752 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 31148 KiB [startup+0.21053 s]* /proc/loadavg: 7.83 7.14 6.95 2/211 17027 /proc/meminfo: memFree=30924364/32770624 swapFree=66947516/67108860 [pid=17006] ppid=17003 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17006/stat : 17006 (xcsp3-exec) S 17003 17006 15751 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418677279 115843072 364 33554432000 4194304 5098028 140733112031424 140733112029528 139676808798844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12701696 140733112038262 140733112038505 140733112038505 140733112041418 0 /proc/17006/statm: 28282 364 305 221 0 87 0 [pid=17008] ppid=17006 vsize=28227388 memory=41336 CPUtime=0.34 cores=0-7 /proc/17008/stat : 17008 (java) S 17006 17006 15751 0 -1 1077944320 9553 0 0 0 31 3 0 0 20 0 20 0 418677279 28904845312 10334 33554432000 4194304 4196468 140722057179504 140722057162048 140070947155703 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 /proc/17008/statm: 7056847 10334 3299 1 0 7019032 0 [pid=17008/tid=17009] ppid=17006 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/17008/task/17009/stat : 17009 (java) R 17006 17006 15751 0 -1 4202560 6666 0 0 0 18 2 0 0 20 0 20 0 418677279 28904845312 10334 33554432000 4194304 4196468 140722057179504 140070951386928 140070947167638 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17010] ppid=17006 vsize=28227388 memory=328 CPUtime=0 cores=0-7 /proc/17008/task/17010/stat : 17010 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418677280 28904845312 10334 33554432000 4194304 4196468 140722057179504 140070899776656 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17011] ppid=17006 vsize=28227388 memory=140137527890251 CPUtime=0 cores=0-7 /proc/17008/task/17011/stat : 17011 (java) S 17006 17006 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418677280 28904845312 10334 33554432000 4194304 4196468 140722057179504 140070898723856 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17012] ppid=17006 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17008/task/17012/stat : 17012 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418677280 28904845312 10334 33554432000 4194304 4196468 140722057179504 140070897671056 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17013] ppid=17006 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17013/stat : 17013 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418677280 28904845312 10334 33554432000 4194304 4196468 140722057179504 140070495312656 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17014] ppid=17006 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17014/stat : 17014 (java) S 17006 17006 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418677280 28904845312 10334 33554432000 4194304 4196468 140722057179504 140070494259856 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17015] ppid=17006 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17008/task/17015/stat : 17015 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418677280 28904845312 10334 33554432000 4194304 4196468 140722057179504 140070493207056 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17016] ppid=17006 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17016/stat : 17016 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418677280 28904845312 10334 33554432000 4194304 4196468 140722057179504 140070492154256 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17017] ppid=17006 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17017/stat : 17017 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418677280 28904845312 10334 33554432000 4194304 4196468 140722057179504 140070491101456 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17018] ppid=17006 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17018/stat : 17018 (java) S 17006 17006 15751 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418677281 28904845312 10334 33554432000 4194304 4196468 140722057179504 140070063434608 140070947166850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17019] ppid=17006 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17019/stat : 17019 (java) S 17006 17006 15751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418677282 28904845312 10334 33554432000 4194304 4196468 140722057179504 140070062380576 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17020] ppid=17006 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17020/stat : 17020 (java) S 17006 17006 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418677282 28904845312 10334 33554432000 4194304 4196468 140722057179504 140070061327728 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17021] ppid=17006 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17021/stat : 17021 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418677285 28904845312 10334 33554432000 4194304 4196468 140722057179504 140070060276048 140070947174299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17022] ppid=17006 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17022/stat : 17022 (java) R 17006 17006 15751 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 20 0 418677285 28904845312 10334 33554432000 4194304 4196468 140722057179504 140070059223408 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17023] ppid=17006 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7 /proc/17008/task/17023/stat : 17023 (java) S 17006 17006 15751 0 -1 1077944384 174 0 0 0 2 0 0 0 20 0 20 0 418677285 28904845312 10334 33554432000 4194304 4196468 140722057179504 140070058170608 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17024] ppid=17006 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7 /proc/17008/task/17024/stat : 17024 (java) S 17006 17006 15751 0 -1 1077944384 580 0 0 0 1 0 0 0 20 0 20 0 418677285 28904845312 10334 33554432000 4194304 4196468 140722057179504 140070057117808 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17025] ppid=17006 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7 /proc/17008/task/17025/stat : 17025 (java) R 17006 17006 15751 0 -1 4202560 748 0 0 0 8 0 0 0 20 0 20 0 418677285 28904845312 10334 33554432000 4194304 4196468 140722057179504 140070056064816 140070947169567 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17026] ppid=17006 vsize=28227388 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17026/stat : 17026 (java) S 17006 17006 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418677285 28904845312 10334 33554432000 4194304 4196468 140722057179504 140070055013472 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17027] ppid=17006 vsize=28227388 memory=-1 CPUtime=0 cores=0-7 /proc/17008/task/17027/stat : 17027 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418677285 28904845312 10334 33554432000 4194304 4196468 140722057179504 140070053960752 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 Current children cumulated CPU time: 0.34 s Current children cumulated vsize: 28340516 KiB Current children cumulated memory: 42792 KiB [startup+0.319062 s]* /proc/loadavg: 7.83 7.14 6.95 3/211 17027 /proc/meminfo: memFree=30916844/32770624 swapFree=66947516/67108860 [pid=17006] ppid=17003 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17006/stat : 17006 (xcsp3-exec) S 17003 17006 15751 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418677279 115843072 364 33554432000 4194304 5098028 140733112031424 140733112029528 139676808798844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12701696 140733112038262 140733112038505 140733112038505 140733112041418 0 /proc/17006/statm: 28282 364 305 221 0 87 0 [pid=17008] ppid=17006 vsize=28231644 memory=50864 CPUtime=0.54 cores=0-7 /proc/17008/stat : 17008 (java) S 17006 17006 15751 0 -1 1077944320 11024 0 0 0 50 4 0 0 20 0 20 0 418677279 28909203456 12716 33554432000 4194304 4196468 140722057179504 140722057162048 140070947155703 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 /proc/17008/statm: 7057911 12716 3356 1 0 7019032 0 [pid=17008/tid=17009] ppid=17006 vsize=28231644 memory=8317482817917895235 CPUtime=0.3 cores=0-7 /proc/17008/task/17009/stat : 17009 (java) R 17006 17006 15751 0 -1 4202560 7918 0 0 0 27 3 0 0 20 0 20 0 418677279 28909203456 12716 33554432000 4194304 4196468 140722057179504 140070951386816 140070947177629 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17010] ppid=17006 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17010/stat : 17010 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418677280 28909203456 12716 33554432000 4194304 4196468 140722057179504 140070899776656 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17011] ppid=17006 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17011/stat : 17011 (java) S 17006 17006 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418677280 28909203456 12716 33554432000 4194304 4196468 140722057179504 140070898723856 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17012] ppid=17006 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17012/stat : 17012 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418677280 28909203456 12716 33554432000 4194304 4196468 140722057179504 140070897671056 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17013] ppid=17006 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17013/stat : 17013 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418677280 28909203456 12716 33554432000 4194304 4196468 140722057179504 140070495312656 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17014] ppid=17006 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17014/stat : 17014 (java) S 17006 17006 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418677280 28909203456 12716 33554432000 4194304 4196468 140722057179504 140070494259856 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17015] ppid=17006 vsize=28231644 memory=140137400986287 CPUtime=0 cores=0-7 /proc/17008/task/17015/stat : 17015 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418677280 28909203456 12716 33554432000 4194304 4196468 140722057179504 140070493207056 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17016] ppid=17006 vsize=28231644 memory=140137400988592 CPUtime=0 cores=0-7 /proc/17008/task/17016/stat : 17016 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418677280 28909203456 12716 33554432000 4194304 4196468 140722057179504 140070492154256 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17017] ppid=17006 vsize=28231644 memory=140137400990896 CPUtime=0 cores=0-7 /proc/17008/task/17017/stat : 17017 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418677280 28909203456 12716 33554432000 4194304 4196468 140722057179504 140070491101456 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17018] ppid=17006 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17018/stat : 17018 (java) S 17006 17006 15751 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 418677281 28909203456 12716 33554432000 4194304 4196468 140722057179504 140070063434608 140070947166850 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17019] ppid=17006 vsize=28231644 memory=280274801995664 CPUtime=0 cores=0-7 /proc/17008/task/17019/stat : 17019 (java) S 17006 17006 15751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 418677282 28909203456 12716 33554432000 4194304 4196468 140722057179504 140070062380576 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17020] ppid=17006 vsize=28231644 memory=280274801993360 CPUtime=0 cores=0-7 /proc/17008/task/17020/stat : 17020 (java) S 17006 17006 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 418677282 28909203456 12716 33554432000 4194304 4196468 140722057179504 140070061327728 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17021] ppid=17006 vsize=28231644 memory=280274802000272 CPUtime=0 cores=0-7 /proc/17008/task/17021/stat : 17021 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418677285 28909203456 12725 33554432000 4194304 4196468 140722057179504 140070060276048 140070947174299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17022] ppid=17006 vsize=28231644 memory=280274801941552 CPUtime=0.02 cores=0-7 /proc/17008/task/17022/stat : 17022 (java) S 17006 17006 15751 0 -1 1077944384 88 0 0 0 2 0 0 0 20 0 20 0 418677285 28909203456 12725 33554432000 4194304 4196468 140722057179504 140070059223408 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17023] ppid=17006 vsize=28231644 memory=280274802014096 CPUtime=0.02 cores=0-7 /proc/17008/task/17023/stat : 17023 (java) S 17006 17006 15751 0 -1 1077944384 181 0 0 0 2 0 0 0 20 0 20 0 418677285 28909203456 12725 33554432000 4194304 4196468 140722057179504 140070058170608 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17024] ppid=17006 vsize=28231644 memory=280274802021008 CPUtime=0.04 cores=0-7 /proc/17008/task/17024/stat : 17024 (java) S 17006 17006 15751 0 -1 1077944384 679 0 0 0 4 0 0 0 20 0 20 0 418677285 28909203456 12725 33554432000 4194304 4196468 140722057179504 140070057117808 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17025] ppid=17006 vsize=28231644 memory=280274802018704 CPUtime=0.13 cores=0-7 /proc/17008/task/17025/stat : 17025 (java) S 17006 17006 15751 0 -1 1077944384 852 0 0 0 13 0 0 0 20 0 20 0 418677285 28909203456 12725 33554432000 4194304 4196468 140722057179504 140070056065008 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17026] ppid=17006 vsize=28231644 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17026/stat : 17026 (java) S 17006 17006 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418677285 28909203456 12725 33554432000 4194304 4196468 140722057179504 140070055013472 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17027] ppid=17006 vsize=28231644 memory=-1 CPUtime=0 cores=0-7 /proc/17008/task/17027/stat : 17027 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418677285 28909203456 12725 33554432000 4194304 4196468 140722057179504 140070053960752 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 Current children cumulated CPU time: 0.54 s Current children cumulated vsize: 28344772 KiB Current children cumulated memory: 52320 KiB [startup+0.707027 s] /proc/loadavg: 7.83 7.14 6.95 5/211 17027 /proc/meminfo: memFree=30894120/32770624 swapFree=66947516/67108860 [pid=17006] ppid=17003 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17006/stat : 17006 (xcsp3-exec) S 17003 17006 15751 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418677279 115843072 364 33554432000 4194304 5098028 140733112031424 140733112029528 139676808798844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12701696 140733112038262 140733112038505 140733112038505 140733112041418 0 /proc/17006/statm: 28282 364 305 221 0 87 0 [pid=17008] ppid=17006 vsize=28233768 memory=107552 CPUtime=1.96 cores=0-7 /proc/17008/stat : 17008 (java) S 17006 17006 15751 0 -1 1077944320 16483 0 0 0 189 7 0 0 20 0 20 0 418677279 28911378432 26888 33554432000 4194304 4196468 140722057179504 140722057162048 140070947155703 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 /proc/17008/statm: 7058442 26888 3448 1 0 7019544 0 [pid=17008/tid=17009] ppid=17006 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7 /proc/17008/task/17009/stat : 17009 (java) R 17006 17006 15751 0 -1 4202560 9124 0 0 0 64 4 0 0 20 0 20 0 418677279 28911378432 26888 33554432000 4194304 4196468 140722057179504 140070951393080 140070577578656 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17010] ppid=17006 vsize=28233768 memory=140137401197424 CPUtime=0 cores=0-7 /proc/17008/task/17010/stat : 17010 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418677280 28911378432 26888 33554432000 4194304 4196468 140722057179504 140070899776656 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17011] ppid=17006 vsize=28233768 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17011/stat : 17011 (java) S 17006 17006 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418677280 28911378432 26888 33554432000 4194304 4196468 140722057179504 140070898723856 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17012] ppid=17006 vsize=28233768 memory=1200 CPUtime=0 cores=0-7 /proc/17008/task/17012/stat : 17012 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418677280 28911378432 26888 33554432000 4194304 4196468 140722057179504 140070897671056 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 ################ # More data... # ################ [pid=17008/tid=17009] ppid=17006 vsize=28768328 memory=2209 CPUtime=1.94 cores=0-7 /proc/17008/task/17009/stat : 17009 (java) S 17006 17006 15751 0 -1 1077944384 11070 0 0 0 186 8 0 0 20 0 28 0 418677279 29458767872 164290 33554432000 4194304 4196468 140722057179504 140070951396480 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17010] ppid=17006 vsize=28768328 memory=4580 CPUtime=0.04 cores=0-7 /proc/17008/task/17010/stat : 17010 (java) S 17006 17006 15751 0 -1 1077944384 62 0 0 0 4 0 0 0 20 0 28 0 418677280 29458767872 164290 33554432000 4194304 4196468 140722057179504 140070899776656 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17011] ppid=17006 vsize=28768328 memory=0 CPUtime=0.06 cores=0-7 /proc/17008/task/17011/stat : 17011 (java) S 17006 17006 15751 0 -1 1077944384 147 0 0 0 5 1 0 0 20 0 28 0 418677280 29458767872 164290 33554432000 4194304 4196468 140722057179504 140070898723856 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17012] ppid=17006 vsize=28768328 memory=0 CPUtime=0.06 cores=0-7 /proc/17008/task/17012/stat : 17012 (java) S 17006 17006 15751 0 -1 1077944384 120 0 0 0 5 1 0 0 20 0 28 0 418677280 29458767872 164290 33554432000 4194304 4196468 140722057179504 140070897671056 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17013] ppid=17006 vsize=28768328 memory=1456 CPUtime=0.07 cores=0-7 /proc/17008/task/17013/stat : 17013 (java) S 17006 17006 15751 0 -1 1077944384 176 0 0 0 5 2 0 0 20 0 28 0 418677280 29458767872 164290 33554432000 4194304 4196468 140722057179504 140070495312656 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17014] ppid=17006 vsize=28768328 memory=587000 CPUtime=0.07 cores=0-7 /proc/17008/task/17014/stat : 17014 (java) S 17006 17006 15751 0 -1 1077944384 244 0 0 0 6 1 0 0 20 0 28 0 418677280 29458767872 164290 33554432000 4194304 4196468 140722057179504 140070494259856 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17015] ppid=17006 vsize=28768328 memory=7211958 CPUtime=0.1 cores=0-7 /proc/17008/task/17015/stat : 17015 (java) S 17006 17006 15751 0 -1 1077944384 230 0 0 0 9 1 0 0 20 0 28 0 418677280 29458767872 164290 33554432000 4194304 4196468 140722057179504 140070493207056 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17016] ppid=17006 vsize=28768328 memory=0 CPUtime=0.06 cores=0-7 /proc/17008/task/17016/stat : 17016 (java) S 17006 17006 15751 0 -1 1077944384 135 0 0 0 5 1 0 0 20 0 28 0 418677280 29458767872 164290 33554432000 4194304 4196468 140722057179504 140070492154256 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17017] ppid=17006 vsize=28768328 memory=0 CPUtime=0.09 cores=0-7 /proc/17008/task/17017/stat : 17017 (java) S 17006 17006 15751 0 -1 1077944384 201 0 0 0 7 2 0 0 20 0 28 0 418677280 29458767872 164290 33554432000 4194304 4196468 140722057179504 140070491101456 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17018] ppid=17006 vsize=28768328 memory=140137524818273 CPUtime=0.01 cores=0-7 /proc/17008/task/17018/stat : 17018 (java) S 17006 17006 15751 0 -1 1077944384 846 0 0 0 1 0 0 0 20 0 28 0 418677281 29458767872 164290 33554432000 4194304 4196468 140722057179504 140070063434608 140070947166850 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17019] ppid=17006 vsize=28768328 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/17008/task/17019/stat : 17019 (java) S 17006 17006 15751 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 418677282 29458767872 164290 33554432000 4194304 4196468 140722057179504 140070062380640 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17020] ppid=17006 vsize=28768328 memory=302867316297957686 CPUtime=0 cores=0-7 /proc/17008/task/17020/stat : 17020 (java) S 17006 17006 15751 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 418677282 29458767872 164290 33554432000 4194304 4196468 140722057179504 140070061327744 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17021] ppid=17006 vsize=28768328 memory=15534115864709562 CPUtime=0 cores=0-7 /proc/17008/task/17021/stat : 17021 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418677285 29458767872 164290 33554432000 4194304 4196468 140722057179504 140070060276048 140070947174299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17022] ppid=17006 vsize=28768328 memory=6944656592452807314 CPUtime=4.6 cores=0-7 /proc/17008/task/17022/stat : 17022 (java) S 17006 17006 15751 0 -1 1077944384 6320 0 0 0 458 2 0 0 20 0 28 0 418677285 29458767872 164290 33554432000 4194304 4196468 140722057179504 140070059223408 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17023] ppid=17006 vsize=28768328 memory=0 CPUtime=4.56 cores=0-7 /proc/17008/task/17023/stat : 17023 (java) S 17006 17006 15751 0 -1 1077944384 7196 0 0 0 454 2 0 0 20 0 28 0 418677285 29458767872 164290 33554432000 4194304 4196468 140722057179504 140070058170608 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17024] ppid=17006 vsize=28768328 memory=0 CPUtime=4.53 cores=0-7 /proc/17008/task/17024/stat : 17024 (java) S 17006 17006 15751 0 -1 1077944384 7518 0 0 0 450 3 0 0 20 0 28 0 418677285 29458767872 164290 33554432000 4194304 4196468 140722057179504 140070057117808 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17025] ppid=17006 vsize=28768328 memory=0 CPUtime=1.4 cores=0-7 /proc/17008/task/17025/stat : 17025 (java) S 17006 17006 15751 0 -1 1077944384 5808 0 0 0 138 2 0 0 20 0 28 0 418677285 29458767872 164290 33554432000 4194304 4196468 140722057179504 140070056065008 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17026] ppid=17006 vsize=28768328 memory=140137401401680 CPUtime=0 cores=0-7 /proc/17008/task/17026/stat : 17026 (java) S 17006 17006 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418677285 29458767872 164290 33554432000 4194304 4196468 140722057179504 140070055013472 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17027] ppid=17006 vsize=28768328 memory=140137401401776 CPUtime=0 cores=0-7 /proc/17008/task/17027/stat : 17027 (java) S 17006 17006 15751 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 418677285 29458767872 164290 33554432000 4194304 4196468 140722057179504 140070053960752 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17148] ppid=17006 vsize=28768328 memory=140137401401872 CPUtime=1.57 cores=0-7 /proc/17008/task/17148/stat : 17148 (java) R 17006 17006 15751 0 -1 4202560 206 0 0 0 157 0 0 0 20 0 28 0 418677999 29458767872 164290 33554432000 4194304 4196468 140722057179504 140070040548560 140070585985621 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17149] ppid=17006 vsize=28768328 memory=7380673451996311360 CPUtime=1.59 cores=0-7 /proc/17008/task/17149/stat : 17149 (java) R 17006 17006 15751 0 -1 4202560 55 0 0 0 159 0 0 0 20 0 28 0 418677999 29458767872 164290 33554432000 4194304 4196468 140722057179504 140070036337432 140070586000735 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17150] ppid=17006 vsize=28768328 memory=7452166940751392102 CPUtime=1.36 cores=0-7 /proc/17008/task/17150/stat : 17150 (java) R 17006 17006 15751 0 -1 4202560 854 0 0 0 135 1 0 0 20 0 28 0 418677999 29458767872 164290 33554432000 4194304 4196468 140722057179504 140070038442328 140070586001045 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17151] ppid=17006 vsize=28768328 memory=7018393166483056208 CPUtime=1.4 cores=0-7 /proc/17008/task/17151/stat : 17151 (java) R 17006 17006 15751 0 -1 4202560 241 0 0 0 139 1 0 0 20 0 28 0 418677999 29458767872 164290 33554432000 4194304 4196468 140722057179504 140070042653128 140070588583597 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17152] ppid=17006 vsize=28768328 memory=140137401402255 CPUtime=1.57 cores=0-7 /proc/17008/task/17152/stat : 17152 (java) R 17006 17006 15751 0 -1 4202560 195 0 0 0 157 0 0 0 20 0 28 0 418677999 29458767872 164290 33554432000 4194304 4196468 140722057179504 140070039494456 140070586298715 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17153] ppid=17006 vsize=28768328 memory=578808 CPUtime=1.59 cores=0-7 /proc/17008/task/17153/stat : 17153 (java) R 17006 17006 15751 0 -1 4202560 198 0 0 0 159 0 0 0 20 0 28 0 418677999 29458767872 164290 33554432000 4194304 4196468 140722057179504 140070041599736 140070587315129 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17154] ppid=17006 vsize=28768328 memory=280274803069600 CPUtime=1.59 cores=0-7 /proc/17008/task/17154/stat : 17154 (java) R 17006 17006 15751 0 -1 4202560 76 0 0 0 159 0 0 0 20 0 28 0 418677999 29458767872 164290 33554432000 4194304 4196468 140722057179504 140070037389368 140070586000910 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17155] ppid=17006 vsize=28768328 memory=0 CPUtime=1.47 cores=0-7 /proc/17008/task/17155/stat : 17155 (java) R 17006 17006 15751 0 -1 4202560 86 0 0 0 147 0 0 0 20 0 28 0 418677999 29458767872 164290 33554432000 4194304 4196468 140722057179504 140070035283832 140070586992934 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 Current children cumulated CPU time: 55.92 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 658616 KiB [startup+9.21004 s] /proc/loadavg: 7.37 7.06 6.93 9/219 17163 /proc/meminfo: memFree=30262048/32770624 swapFree=66947516/67108860 [pid=17006] ppid=17003 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17006/stat : 17006 (xcsp3-exec) S 17003 17006 15751 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418677279 115843072 364 33554432000 4194304 5098028 140733112031424 140733112029528 139676808798844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12701696 140733112038262 140733112038505 140733112038505 140733112041418 0 /proc/17006/statm: 28282 364 305 221 0 87 0 [pid=17008] ppid=17006 vsize=28768328 memory=705668 CPUtime=58.04 cores=0-7 /proc/17008/stat : 17008 (java) S 17006 17006 15751 0 -1 1077944320 51283 0 0 0 5750 54 0 0 20 0 28 0 418677279 29458767872 176417 33554432000 4194304 4196468 140722057179504 140722057162048 140070947155703 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 /proc/17008/statm: 7192082 176417 3543 1 0 7153184 0 [pid=17008/tid=17009] ppid=17006 vsize=28768328 memory=0 CPUtime=1.94 cores=0-7 /proc/17008/task/17009/stat : 17009 (java) S 17006 17006 15751 0 -1 1077944384 11252 0 0 0 186 8 0 0 20 0 28 0 418677279 29458767872 176417 33554432000 4194304 4196468 140722057179504 140070951396480 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17010] ppid=17006 vsize=28768328 memory=0 CPUtime=0.07 cores=0-7 /proc/17008/task/17010/stat : 17010 (java) S 17006 17006 15751 0 -1 1077944384 96 0 0 0 6 1 0 0 20 0 28 0 418677280 29458767872 176417 33554432000 4194304 4196468 140722057179504 140070899776656 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17011] ppid=17006 vsize=28768328 memory=6944656592455097440 CPUtime=0.08 cores=0-7 /proc/17008/task/17011/stat : 17011 (java) S 17006 17006 15751 0 -1 1077944384 184 0 0 0 6 2 0 0 20 0 28 0 418677280 29458767872 176417 33554432000 4194304 4196468 140722057179504 140070898723856 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17012] ppid=17006 vsize=28768328 memory=6656426216303648864 CPUtime=0.08 cores=0-7 /proc/17008/task/17012/stat : 17012 (java) S 17006 17006 15751 0 -1 1077944384 197 0 0 0 6 2 0 0 20 0 28 0 418677280 29458767872 176417 33554432000 4194304 4196468 140722057179504 140070897671056 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17013] ppid=17006 vsize=28768328 memory=0 CPUtime=0.1 cores=0-7 /proc/17008/task/17013/stat : 17013 (java) S 17006 17006 15751 0 -1 1077944384 207 0 0 0 7 3 0 0 20 0 28 0 418677280 29458767872 176417 33554432000 4194304 4196468 140722057179504 140070495312656 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17014] ppid=17006 vsize=28768328 memory=0 CPUtime=0.09 cores=0-7 /proc/17008/task/17014/stat : 17014 (java) S 17006 17006 15751 0 -1 1077944384 1757 0 0 0 7 2 0 0 20 0 28 0 418677280 29458767872 176417 33554432000 4194304 4196468 140722057179504 140070494259856 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17015] ppid=17006 vsize=28768328 memory=0 CPUtime=0.12 cores=0-7 /proc/17008/task/17015/stat : 17015 (java) S 17006 17006 15751 0 -1 1077944384 283 0 0 0 10 2 0 0 20 0 28 0 418677280 29458767872 176417 33554432000 4194304 4196468 140722057179504 140070493207056 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17016] ppid=17006 vsize=28768328 memory=0 CPUtime=0.09 cores=0-7 /proc/17008/task/17016/stat : 17016 (java) S 17006 17006 15751 0 -1 1077944384 224 0 0 0 7 2 0 0 20 0 28 0 418677280 29458767872 176417 33554432000 4194304 4196468 140722057179504 140070492154256 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17017] ppid=17006 vsize=28768328 memory=0 CPUtime=0.11 cores=0-7 /proc/17008/task/17017/stat : 17017 (java) S 17006 17006 15751 0 -1 1077944384 227 0 0 0 8 3 0 0 20 0 28 0 418677280 29458767872 176417 33554432000 4194304 4196468 140722057179504 140070491101456 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17018] ppid=17006 vsize=28768328 memory=0 CPUtime=0.02 cores=0-7 /proc/17008/task/17018/stat : 17018 (java) S 17006 17006 15751 0 -1 1077944384 1330 0 0 0 2 0 0 0 20 0 28 0 418677281 29458767872 176417 33554432000 4194304 4196468 140722057179504 140070063434608 140070947166850 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17019] ppid=17006 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17019/stat : 17019 (java) S 17006 17006 15751 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 418677282 29458767872 176417 33554432000 4194304 4196468 140722057179504 140070062380640 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17020] ppid=17006 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17020/stat : 17020 (java) S 17006 17006 15751 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 418677282 29458767872 176417 33554432000 4194304 4196468 140722057179504 140070061327744 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17021] ppid=17006 vsize=28768328 memory=1456 CPUtime=0 cores=0-7 /proc/17008/task/17021/stat : 17021 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418677285 29458767872 176417 33554432000 4194304 4196468 140722057179504 140070060276048 140070947174299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17022] ppid=17006 vsize=28768328 memory=636680 CPUtime=4.6 cores=0-7 /proc/17008/task/17022/stat : 17022 (java) S 17006 17006 15751 0 -1 1077944384 6320 0 0 0 458 2 0 0 20 0 28 0 418677285 29458767872 176417 33554432000 4194304 4196468 140722057179504 140070059223408 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17023] ppid=17006 vsize=28768328 memory=6943526294502006880 CPUtime=4.56 cores=0-7 /proc/17008/task/17023/stat : 17023 (java) S 17006 17006 15751 0 -1 1077944384 7219 0 0 0 454 2 0 0 20 0 28 0 418677285 29458767872 176417 33554432000 4194304 4196468 140722057179504 140070058170608 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17024] ppid=17006 vsize=28768328 memory=288291086403907023 CPUtime=4.54 cores=0-7 /proc/17008/task/17024/stat : 17024 (java) S 17006 17006 15751 0 -1 1077944384 8170 0 0 0 451 3 0 0 20 0 28 0 418677285 29458767872 176417 33554432000 4194304 4196468 140722057179504 140070057117808 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17025] ppid=17006 vsize=28768328 memory=0 CPUtime=1.41 cores=0-7 /proc/17008/task/17025/stat : 17025 (java) S 17006 17006 15751 0 -1 1077944384 6017 0 0 0 139 2 0 0 20 0 28 0 418677285 29458767872 176417 33554432000 4194304 4196468 140722057179504 140070056065008 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17026] ppid=17006 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17026/stat : 17026 (java) S 17006 17006 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418677285 29458767872 176417 33554432000 4194304 4196468 140722057179504 140070055013472 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17027] ppid=17006 vsize=28768328 memory=0 CPUtime=0 cores=0-7 /proc/17008/task/17027/stat : 17027 (java) S 17006 17006 15751 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 418677285 29458767872 176417 33554432000 4194304 4196468 140722057179504 140070053960752 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 Current children cumulated CPU time: 58.04 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 707124 KiB [startup+9.30103 s] /proc/loadavg: 7.37 7.06 6.93 9/219 17163 /proc/meminfo: memFree=30262048/32770624 swapFree=66947516/67108860 [pid=17006] ppid=17003 vsize=113128 memory=1456 CPUtime=0 cores=0-7 /proc/17006/stat : 17006 (xcsp3-exec) S 17003 17006 15751 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 418677279 115843072 364 33554432000 4194304 5098028 140733112031424 140733112029528 139676808798844 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12701696 140733112038262 140733112038505 140733112038505 140733112041418 0 /proc/17006/statm: 28282 364 305 221 0 87 0 [pid=17008] ppid=17006 vsize=28768328 memory=705680 CPUtime=58.77 cores=0-7 /proc/17008/stat : 17008 (java) S 17006 17006 15751 0 -1 1077944320 51442 0 0 0 5823 54 0 0 20 0 28 0 418677279 29458767872 176420 33554432000 4194304 4196468 140722057179504 140722057162048 140070947155703 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 /proc/17008/statm: 7192082 176420 3543 1 0 7153184 0 [pid=17008/tid=17009] ppid=17006 vsize=28768328 memory=461592 CPUtime=1.94 cores=0-7 /proc/17008/task/17009/stat : 17009 (java) S 17006 17006 15751 0 -1 1077944384 11252 0 0 0 186 8 0 0 20 0 28 0 418677279 29458767872 176420 33554432000 4194304 4196468 140722057179504 140070951396480 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17010] ppid=17006 vsize=28768328 memory=431364 CPUtime=0.07 cores=0-7 /proc/17008/task/17010/stat : 17010 (java) S 17006 17006 15751 0 -1 1077944384 96 0 0 0 6 1 0 0 20 0 28 0 418677280 29458767872 176420 33554432000 4194304 4196468 140722057179504 140070899776656 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17011] ppid=17006 vsize=28768328 memory=12024 CPUtime=0.08 cores=0-7 /proc/17008/task/17011/stat : 17011 (java) S 17006 17006 15751 0 -1 1077944384 184 0 0 0 6 2 0 0 20 0 28 0 418677280 29458767872 176420 33554432000 4194304 4196468 140722057179504 140070898723856 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17012] ppid=17006 vsize=28768328 memory=0 CPUtime=0.08 cores=0-7 /proc/17008/task/17012/stat : 17012 (java) S 17006 17006 15751 0 -1 1077944384 197 0 0 0 6 2 0 0 20 0 28 0 418677280 29458767872 176420 33554432000 4194304 4196468 140722057179504 140070897671056 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17013] ppid=17006 vsize=28768328 memory=297237786682196261 CPUtime=0.1 cores=0-7 /proc/17008/task/17013/stat : 17013 (java) S 17006 17006 15751 0 -1 1077944384 207 0 0 0 7 3 0 0 20 0 28 0 418677280 29458767872 176420 33554432000 4194304 4196468 140722057179504 140070495312656 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17014] ppid=17006 vsize=28768328 memory=16100385811072999 CPUtime=0.09 cores=0-7 /proc/17008/task/17014/stat : 17014 (java) S 17006 17006 15751 0 -1 1077944384 1757 0 0 0 7 2 0 0 20 0 28 0 418677280 29458767872 176420 33554432000 4194304 4196468 140722057179504 140070494259856 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17015] ppid=17006 vsize=28768328 memory=0 CPUtime=0.12 cores=0-7 /proc/17008/task/17015/stat : 17015 (java) S 17006 17006 15751 0 -1 1077944384 283 0 0 0 10 2 0 0 20 0 28 0 418677280 29458767872 176420 33554432000 4194304 4196468 140722057179504 140070493207056 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17016] ppid=17006 vsize=28768328 memory=0 CPUtime=0.09 cores=0-7 /proc/17008/task/17016/stat : 17016 (java) S 17006 17006 15751 0 -1 1077944384 224 0 0 0 7 2 0 0 20 0 28 0 418677280 29458767872 176420 33554432000 4194304 4196468 140722057179504 140070492154256 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17017] ppid=17006 vsize=28768328 memory=0 CPUtime=0.11 cores=0-7 /proc/17008/task/17017/stat : 17017 (java) S 17006 17006 15751 0 -1 1077944384 227 0 0 0 8 3 0 0 20 0 28 0 418677280 29458767872 176420 33554432000 4194304 4196468 140722057179504 140070491101456 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17018] ppid=17006 vsize=28768328 memory=0 CPUtime=0.02 cores=0-7 /proc/17008/task/17018/stat : 17018 (java) S 17006 17006 15751 0 -1 1077944384 1330 0 0 0 2 0 0 0 20 0 28 0 418677281 29458767872 176420 33554432000 4194304 4196468 140722057179504 140070063434608 140070947166850 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17019] ppid=17006 vsize=28768328 memory=1456 CPUtime=0 cores=0-7 /proc/17008/task/17019/stat : 17019 (java) S 17006 17006 15751 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 28 0 418677282 29458767872 176420 33554432000 4194304 4196468 140722057179504 140070062380640 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17020] ppid=17006 vsize=28768328 memory=515320 CPUtime=0 cores=0-7 /proc/17008/task/17020/stat : 17020 (java) S 17006 17006 15751 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 28 0 418677282 29458767872 176420 33554432000 4194304 4196468 140722057179504 140070061327744 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17021] ppid=17006 vsize=28768328 memory=-7522837583129502606 CPUtime=0 cores=0-7 /proc/17008/task/17021/stat : 17021 (java) S 17006 17006 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 418677285 29458767872 176420 33554432000 4194304 4196468 140722057179504 140070060276048 140070947174299 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17022] ppid=17006 vsize=28768328 memory=4206468019014099040 CPUtime=4.6 cores=0-7 /proc/17008/task/17022/stat : 17022 (java) S 17006 17006 15751 0 -1 1077944384 6320 0 0 0 458 2 0 0 20 0 28 0 418677285 29458767872 176420 33554432000 4194304 4196468 140722057179504 140070059223408 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17023] ppid=17006 vsize=28768328 memory=6429566043341 CPUtime=4.56 cores=0-7 /proc/17008/task/17023/stat : 17023 (java) S 17006 17006 15751 0 -1 1077944384 7219 0 0 0 454 2 0 0 20 0 28 0 418677285 29458767872 176420 33554432000 4194304 4196468 140722057179504 140070058170608 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17024] ppid=17006 vsize=28768328 memory=288230617509003574 CPUtime=4.54 cores=0-7 /proc/17008/task/17024/stat : 17024 (java) S 17006 17006 15751 0 -1 1077944384 8170 0 0 0 451 3 0 0 20 0 28 0 418677285 29458767872 176420 33554432000 4194304 4196468 140722057179504 140070057117808 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17025] ppid=17006 vsize=28768328 memory=15534115864709562 CPUtime=1.41 cores=0-7 /proc/17008/task/17025/stat : 17025 (java) S 17006 17006 15751 0 -1 1077944384 6162 0 0 0 139 2 0 0 20 0 28 0 418677285 29458767872 176420 33554432000 4194304 4196468 140722057179504 140070056065008 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17026] ppid=17006 vsize=28768328 memory=1056 CPUtime=0 cores=0-7 /proc/17008/task/17026/stat : 17026 (java) S 17006 17006 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 418677285 29458767872 176420 33554432000 4194304 4196468 140722057179504 140070055013472 140070947165909 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 [pid=17008/tid=17027] ppid=17006 vsize=28768328 memory=430820 CPUtime=0 cores=0-7 /proc/17008/task/17027/stat : 17027 (java) S 17006 17006 15751 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 418677285 29458767872 176420 33554432000 4194304 4196468 140722057179504 140070053960752 140070947166850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9342976 140722057184234 140722057184406 140722057184406 140722057187279 0 Current children cumulated CPU time: 58.77 s Current children cumulated vsize: 28881456 KiB Current children cumulated memory: 707136 KiB Child status: 0 Real time (s): 9.35868 CPU time (s): 59.0973 CPU user time (s): 58.5428 CPU system time (s): 0.554565 CPU usage (%): 631.471 Max. virtual memory (cumulated for all children) (KiB): 28881456 Max. memory (cumulated for all children) (KiB): 707192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 58.5428 system time used= 0.554565 maximum resident set size= 705932 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 52363 page faults= 0 swaps= 0 block input operations= 0 block output operations= 176 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6177 involuntary context switches= 1610 # summary of solver processes directly reported to runsolver: # pid: 17006 # total CPU time (s): 59.0973 # total CPU user time (s): 58.5428 # total CPU system time (s): 0.554565 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.083286 second user time and 0.166371 second system time The end
Begin job on node117 at 2019-09-14 04:15:11 IDJOB=4393959 IDBENCH=126803 IDSOLVER=2841 FILE ID=node117/4393959-1568427353 RUNJOBID= node117-1568427144-15778 PBS_JOBID= 21702295 Free space on /tmp= 61184 MiB SOLVER NAME= choco-solver parallel 2019-06-14 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-wbop-30-30-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4393959-1568427353/watcher-4393959-1568427353 -o /tmp/evaluation-result-4393959-1568427353/solver-4393959-1568427353 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568427144-15778 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 656761059 HOME/instance-4393959-1568427353.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 305bfce3403e7be8ea8343edd9c7d9a7 RANDOM SEED=656761059 node117.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.75 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.75 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.75 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.75 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: 30955216 kB MemAvailable: 31868332 kB Buffers: 138396 kB Cached: 1043360 kB SwapCached: 51464 kB Active: 767516 kB Inactive: 466880 kB Active(anon): 17864 kB Inactive(anon): 58832 kB Active(file): 749652 kB Inactive(file): 408048 kB Unevictable: 110108 kB Mlocked: 110108 kB SwapTotal: 67108860 kB SwapFree: 66947516 kB Dirty: 26176 kB Writeback: 0 kB AnonPages: 112444 kB Mapped: 33568 kB Shmem: 15436 kB Slab: 171180 kB SReclaimable: 142504 kB SUnreclaim: 28676 kB KernelStack: 3344 kB PageTables: 5156 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497768 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 61160 MiB End job on node117 at 2019-09-14 04:15:21