Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| choco-solver 2019-09-20 | OPT | 3 | 24.4172 | 6.96714 |
| 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 -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403819-1568990417.xml" -tl '2520s' -p 4 0.12/0.18 c Choco 3fb4b153 0.12/0.18 c [HOME/instance-4403819-1568990417.xml, -tl, 2520s, -p, 4] 0.34/0.22 c 4 solvers in parallel 0.34/0.28 c parse instance... 4.45/1.54 c solve instance... 5.21/1.71 o 19 5.21/1.72 o 18 5.21/1.73 o 17 5.21/1.76 o 16 5.62/1.80 o 15 5.62/1.85 o 14 5.62/1.88 o 13 5.98/1.93 o 12 6.38/2.07 o 11 8.14/2.51 o 10 8.49/2.62 o 9 15.60/4.49 o 7 16.14/4.68 o 6 16.33/4.77 o 5 23.09/6.54 o 4 23.57/6.74 o 3 24.23/6.94 s OPTIMUM FOUND 24.23/6.94 v <instantiation> 24.23/6.94 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> 24.23/6.94 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> 24.23/6.94 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 (3918 MiB free)
memory of node 1: 16384 MiB (1541 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403819-1568990417/watcher-4403819-1568990417 -o /var/tmp/evaluation-result-4403819-1568990417/solver-4403819-1568990417 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1568983381-1915 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1286519984 HOME/instance-4403819-1568990417.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4723, runsolver pid=4720
[startup+0.100089 s]*
/proc/loadavg: 8.21 8.27 8.14 6/232 4739
/proc/meminfo: memFree=5573232/32770624 swapFree=66952588/67108860
[pid=4723] ppid=4720 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4723/stat : 4723 (xcsp3-exec) S 4720 4723 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475297300 115843072 364 33554432000 4194304 5098028 140725481563360 140725481561464 140078188298876 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26460160 140725481571158 140725481571417 140725481571417 140725481574342 0
/proc/4723/statm: 28282 364 305 221 0 87 0
[pid=4725] ppid=4723 vsize=15144776 memory=30356 CPUtime=0.12 cores=0,2,4,6
/proc/4725/stat : 4725 (java) S 4723 4723 1883 0 -1 1077944320 5419 0 0 0 12 0 0 0 20 0 15 0 475297300 15508250624 7589 33554432000 4194304 4196468 140726685277936 140726685260480 140274746699511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
/proc/4725/statm: 3786194 7589 3165 1 0 3748377 0
[pid=4725/tid=4726] ppid=4723 vsize=15144776 memory=-2698087569006908830 CPUtime=0.09 cores=0,2,4,6
/proc/4725/task/4726/stat : 4726 (java) R 4723 4723 1883 0 -1 4202560 3369 0 0 0 9 0 0 0 20 0 15 0 475297300 15508250624 7589 33554432000 4194304 4196468 140726685277936 140274750927536 140274746711446 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4727] ppid=4723 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4727/stat : 4727 (java) S 4723 4723 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475297301 15508250624 7589 33554432000 4194304 4196468 140726685277936 140274707659280 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4728] ppid=4723 vsize=15144776 memory=140579887117952 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4728/stat : 4728 (java) S 4723 4723 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475297301 15508250624 7589 33554432000 4194304 4196468 140726685277936 140274337553040 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4729] ppid=4723 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4729/stat : 4729 (java) S 4723 4723 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475297301 15508250624 7589 33554432000 4194304 4196468 140726685277936 140274336499984 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4730] ppid=4723 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4730/stat : 4730 (java) S 4723 4723 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475297301 15508250624 7589 33554432000 4194304 4196468 140726685277936 140274335447440 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4731] ppid=4723 vsize=15144776 memory=140579887117952 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4731/stat : 4731 (java) S 4723 4723 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475297303 15508250624 7589 33554432000 4194304 4196468 140726685277936 140274215353072 140274746710658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4732] ppid=4723 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4732/stat : 4732 (java) S 4723 4723 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475297303 15508250624 7589 33554432000 4194304 4196468 140726685277936 140274214299296 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4733] ppid=4723 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4733/stat : 4733 (java) S 4723 4723 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475297303 15508250624 7589 33554432000 4194304 4196468 140726685277936 140274213246192 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4734] ppid=4723 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4734/stat : 4734 (java) S 4723 4723 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475297306 15508250624 7589 33554432000 4194304 4196468 140726685277936 140274212194768 140274746718107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4735] ppid=4723 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4735/stat : 4735 (java) S 4723 4723 1883 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 15 0 475297306 15508250624 7589 33554432000 4194304 4196468 140726685277936 140274211141872 140274746710658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4736] ppid=4723 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4736/stat : 4736 (java) R 4723 4723 1883 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 475297306 15508250624 7589 33554432000 4194304 4196468 140726685277936 140274210088512 140274728051824 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4737] ppid=4723 vsize=15144776 memory=140579887117952 CPUtime=0.02 cores=0,2,4,6
/proc/4725/task/4737/stat : 4737 (java) R 4723 4723 1883 0 -1 4202560 331 0 0 0 2 0 0 0 20 0 15 0 475297306 15508250624 7589 33554432000 4194304 4196468 140726685277936 140274209036272 140274746720858 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4738] ppid=4723 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4738/stat : 4738 (java) S 4723 4723 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475297306 15508250624 7589 33554432000 4194304 4196468 140726685277936 140274207983968 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4739] ppid=4723 vsize=15144776 memory=140579887117952 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4739/stat : 4739 (java) S 4723 4723 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475297306 15508250624 7589 33554432000 4194304 4196468 140726685277936 140274206932016 140274746710658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31812 KiB
[startup+0.210824 s]*
/proc/loadavg: 8.21 8.27 8.14 7/232 4739
/proc/meminfo: memFree=5562172/32770624 swapFree=66952588/67108860
[pid=4723] ppid=4720 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4723/stat : 4723 (xcsp3-exec) S 4720 4723 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475297300 115843072 364 33554432000 4194304 5098028 140725481563360 140725481561464 140078188298876 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26460160 140725481571158 140725481571417 140725481571417 140725481574342 0
/proc/4723/statm: 28282 364 305 221 0 87 0
[pid=4725] ppid=4723 vsize=15144776 memory=40624 CPUtime=0.34 cores=0,2,4,6
/proc/4725/stat : 4725 (java) S 4723 4723 1883 0 -1 1077944320 8845 0 0 0 32 2 0 0 20 0 15 0 475297300 15508250624 10156 33554432000 4194304 4196468 140726685277936 140726685260480 140274746699511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
/proc/4725/statm: 3786194 10156 3308 1 0 3748377 0
[pid=4725/tid=4726] ppid=4723 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/4725/task/4726/stat : 4726 (java) R 4723 4723 1883 0 -1 4202560 6134 0 0 0 18 2 0 0 20 0 15 0 475297300 15508250624 10156 33554432000 4194304 4196468 140726685277936 140274750930784 140274746711446 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4727] ppid=4723 vsize=15144776 memory=10592 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4727/stat : 4727 (java) S 4723 4723 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475297301 15508250624 10156 33554432000 4194304 4196468 140726685277936 140274707659280 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4728] ppid=4723 vsize=15144776 memory=140579887137624 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4728/stat : 4728 (java) S 4723 4723 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475297301 15508250624 10156 33554432000 4194304 4196468 140726685277936 140274337553040 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4729] ppid=4723 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4729/stat : 4729 (java) S 4723 4723 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475297301 15508250624 10156 33554432000 4194304 4196468 140726685277936 140274336499984 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4730] ppid=4723 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4730/stat : 4730 (java) S 4723 4723 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475297301 15508250624 10156 33554432000 4194304 4196468 140726685277936 140274335447440 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4731] ppid=4723 vsize=15144776 memory=140579887117952 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4731/stat : 4731 (java) S 4723 4723 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475297303 15508250624 10156 33554432000 4194304 4196468 140726685277936 140274215353072 140274746710658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4732] ppid=4723 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4732/stat : 4732 (java) S 4723 4723 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475297303 15508250624 10156 33554432000 4194304 4196468 140726685277936 140274214299296 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4733] ppid=4723 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4733/stat : 4733 (java) S 4723 4723 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475297303 15508250624 10156 33554432000 4194304 4196468 140726685277936 140274213246192 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4734] ppid=4723 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4734/stat : 4734 (java) S 4723 4723 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475297306 15508250624 10156 33554432000 4194304 4196468 140726685277936 140274212194768 140274746718107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4735] ppid=4723 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4725/task/4735/stat : 4735 (java) S 4723 4723 1883 0 -1 1077944384 551 0 0 0 3 0 0 0 20 0 15 0 475297306 15508250624 10156 33554432000 4194304 4196468 140726685277936 140274211141872 140274746710658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4736] ppid=4723 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/4725/task/4736/stat : 4736 (java) S 4723 4723 1883 0 -1 1077944384 71 0 0 0 1 0 0 0 20 0 15 0 475297306 15508250624 10156 33554432000 4194304 4196468 140726685277936 140274210089328 140274746710658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4737] ppid=4723 vsize=15144776 memory=140579887117952 CPUtime=0.08 cores=0,2,4,6
/proc/4725/task/4737/stat : 4737 (java) R 4723 4723 1883 0 -1 4202560 782 0 0 0 8 0 0 0 20 0 15 0 475297306 15508250624 10156 33554432000 4194304 4196468 140726685277936 140274209036272 140274746720858 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4738] ppid=4723 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4738/stat : 4738 (java) S 4723 4723 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475297306 15508250624 10156 33554432000 4194304 4196468 140726685277936 140274207983968 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4739] ppid=4723 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4739/stat : 4739 (java) S 4723 4723 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475297306 15508250624 10156 33554432000 4194304 4196468 140726685277936 140274206932016 140274746710658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42080 KiB
[startup+0.310719 s]*
/proc/loadavg: 8.21 8.27 8.14 6/232 4739
/proc/meminfo: memFree=5554900/32770624 swapFree=66952588/67108860
[pid=4723] ppid=4720 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4723/stat : 4723 (xcsp3-exec) S 4720 4723 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475297300 115843072 364 33554432000 4194304 5098028 140725481563360 140725481561464 140078188298876 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26460160 140725481571158 140725481571417 140725481571417 140725481574342 0
/proc/4723/statm: 28282 364 305 221 0 87 0
[pid=4725] ppid=4723 vsize=15149032 memory=49060 CPUtime=0.52 cores=0,2,4,6
/proc/4725/stat : 4725 (java) S 4723 4723 1883 0 -1 1077944320 10109 0 0 0 50 2 0 0 20 0 15 0 475297300 15512608768 12265 33554432000 4194304 4196468 140726685277936 140726685260480 140274746699511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
/proc/4725/statm: 3787258 12265 3343 1 0 3748377 0
[pid=4725/tid=4726] ppid=4723 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/4725/task/4726/stat : 4726 (java) R 4723 4723 1883 0 -1 4202560 7241 0 0 0 28 2 0 0 20 0 15 0 475297300 15512608768 12265 33554432000 4194304 4196468 140726685277936 140274750930624 140274730779998 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4727] ppid=4723 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4727/stat : 4727 (java) S 4723 4723 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475297301 15512608768 12265 33554432000 4194304 4196468 140726685277936 140274707659280 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4728] ppid=4723 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4728/stat : 4728 (java) S 4723 4723 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475297301 15512608768 12265 33554432000 4194304 4196468 140726685277936 140274337553040 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4729] ppid=4723 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4729/stat : 4729 (java) S 4723 4723 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475297301 15512608768 12265 33554432000 4194304 4196468 140726685277936 140274336499984 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4730] ppid=4723 vsize=15149032 memory=8547712850019655617 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4730/stat : 4730 (java) S 4723 4723 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475297301 15512608768 12265 33554432000 4194304 4196468 140726685277936 140274335447440 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4731] ppid=4723 vsize=15149032 memory=7089056485457618024 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4731/stat : 4731 (java) S 4723 4723 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475297303 15512608768 12265 33554432000 4194304 4196468 140726685277936 140274215353072 140274746710658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4732] ppid=4723 vsize=15149032 memory=4209357772117481859 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4732/stat : 4732 (java) S 4723 4723 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475297303 15512608768 12265 33554432000 4194304 4196468 140726685277936 140274214299296 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4733] ppid=4723 vsize=15149032 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4733/stat : 4733 (java) S 4723 4723 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475297303 15512608768 12265 33554432000 4194304 4196468 140726685277936 140274213246192 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4734] ppid=4723 vsize=15149032 memory=-8412652169205224307 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4734/stat : 4734 (java) S 4723 4723 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475297306 15512608768 12265 33554432000 4194304 4196468 140726685277936 140274212194768 140274746718107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4735] ppid=4723 vsize=15149032 memory=-8412656567168561567 CPUtime=0.05 cores=0,2,4,6
/proc/4725/task/4735/stat : 4735 (java) S 4723 4723 1883 0 -1 1077944384 562 0 0 0 5 0 0 0 20 0 15 0 475297306 15512608768 12265 33554432000 4194304 4196468 140726685277936 140274211141872 140274746710658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4736] ppid=4723 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/4725/task/4736/stat : 4736 (java) S 4723 4723 1883 0 -1 1077944384 98 0 0 0 3 0 0 0 20 0 15 0 475297306 15512608768 12265 33554432000 4194304 4196468 140726685277936 140274210089328 140274746710658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4737] ppid=4723 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/4725/task/4737/stat : 4737 (java) S 4723 4723 1883 0 -1 1077944384 923 0 0 0 13 0 0 0 20 0 15 0 475297306 15512608768 12265 33554432000 4194304 4196468 140726685277936 140274209036272 140274746710658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4738] ppid=4723 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4738/stat : 4738 (java) S 4723 4723 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475297306 15512608768 12265 33554432000 4194304 4196468 140726685277936 140274207983968 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4739] ppid=4723 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4739/stat : 4739 (java) S 4723 4723 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475297306 15512608768 12265 33554432000 4194304 4196468 140726685277936 140274206932016 140274746710658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50516 KiB
[startup+0.701189 s]
/proc/loadavg: 8.21 8.27 8.14 8/232 4739
/proc/meminfo: memFree=5531856/32770624 swapFree=66952588/67108860
[pid=4723] ppid=4720 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4723/stat : 4723 (xcsp3-exec) S 4720 4723 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475297300 115843072 364 33554432000 4194304 5098028 140725481563360 140725481561464 140078188298876 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26460160 140725481571158 140725481571417 140725481571417 140725481574342 0
/proc/4723/statm: 28282 364 305 221 0 87 0
[pid=4725] ppid=4723 vsize=15151156 memory=102588 CPUtime=1.83 cores=0,2,4,6
/proc/4725/stat : 4725 (java) S 4723 4723 1883 0 -1 1077944320 15243 0 0 0 178 5 0 0 20 0 15 0 475297300 15514783744 25647 33554432000 4194304 4196468 140726685277936 140726685260480 140274746699511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
/proc/4725/statm: 3787789 25647 3447 1 0 3748889 0
[pid=4725/tid=4726] ppid=4723 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/4725/task/4726/stat : 4726 (java) R 4723 4723 1883 0 -1 4202560 8574 0 0 0 64 3 0 0 20 0 15 0 475297300 15514783744 25647 33554432000 4194304 4196468 140726685277936 140274750935224 140274385716870 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4727] ppid=4723 vsize=15151156 memory=164 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4727/stat : 4727 (java) S 4723 4723 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475297301 15514783744 25647 33554432000 4194304 4196468 140726685277936 140274707659280 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4728] ppid=4723 vsize=15151156 memory=6154848828556269427 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4728/stat : 4728 (java) S 4723 4723 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475297301 15514783744 25647 33554432000 4194304 4196468 140726685277936 140274337553040 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4729] ppid=4723 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4729/stat : 4729 (java) S 4723 4723 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475297301 15514783744 25647 33554432000 4194304 4196468 140726685277936 140274336499984 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4730] ppid=4723 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4730/stat : 4730 (java) S 4723 4723 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475297301 15514783744 25647 33554432000 4194304 4196468 140726685277936 140274335447440 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4731] ppid=4723 vsize=15151156 memory=40228 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4731/stat : 4731 (java) S 4723 4723 1883 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475297303 15514783744 25647 33554432000 4194304 4196468 140726685277936 140274215353072 140274746710658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4732] ppid=4723 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4732/stat : 4732 (java) S 4723 4723 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475297303 15514783744 25647 33554432000 4194304 4196468 140726685277936 140274214299296 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4733] ppid=4723 vsize=15151156 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4733/stat : 4733 (java) S 4723 4723 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475297303 15514783744 25647 33554432000 4194304 4196468 140726685277936 140274213246192 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4734] ppid=4723 vsize=15151156 memory=1284 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4734/stat : 4734 (java) S 4723 4723 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475297306 15514783744 25647 33554432000 4194304 4196468 140726685277936 140274212194768 140274746718107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4735] ppid=4723 vsize=15151156 memory=1044 CPUtime=0.37 cores=0,2,4,6
/proc/4725/task/4735/stat : 4735 (java) R 4723 4723 1883 0 -1 4202560 1740 0 0 0 37 0 0 0 20 0 15 0 475297306 15514783744 25647 33554432000 4194304 4196468 140726685277936 140274211141056 140274730257868 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4736] ppid=4723 vsize=15151156 memory=708 CPUtime=0.36 cores=0,2,4,6
/proc/4725/task/4736/stat : 4736 (java) R 4723 4723 1883 0 -1 4202560 1396 0 0 0 36 0 0 0 20 0 15 0 475297306 15514783744 25647 33554432000 4194304 4196468 140726685277936 140274210068432 140274725888961 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4737] ppid=4723 vsize=15151156 memory=9364 CPUtime=0.38 cores=0,2,4,6
/proc/4725/task/4737/stat : 4737 (java) R 4723 4723 1883 0 -1 4202560 2225 0 0 0 38 0 0 0 20 0 15 0 475297306 15514783744 25647 33554432000 4194304 4196468 140726685277936 140274209031744 140274739796347 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4738] ppid=4723 vsize=15151156 memory=1120 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4738/stat : 4738 (java) S 4723 4723 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475297306 15514783744 25647 33554432000 4194304 4196468 140726685277936 140274207983968 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4739] ppid=4723 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4739/stat : 4739 (java) S 4723 4723 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475297306 15514783744 25647 33554432000 4194304 4196468 140726685277936 140274206932016 140274746710658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
Current children cumulated CPU time: 1.83 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 104044 KiB
[startup+1.50124 s]
/proc/loadavg: 8.21 8.27 8.14 8/232 4739
/proc/meminfo: memFree=5456220/32770624 swapFree=66952588/67108860
[pid=4723] ppid=4720 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4723/stat : 4723 (xcsp3-exec) S 4720 4723 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475297300 115843072 364 33554432000 4194304 5098028 140725481563360 140725481561464 140078188298876 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26460160 140725481571158 140725481571417 140725481571417 140725481574342 0
/proc/4723/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/4725/task/4735/stat : 4735 (java) S 4723 4723 1883 0 -1 1077944384 6152 0 0 0 327 1 0 0 20 0 19 0 475297306 15858741248 97057 33554432000 4194304 4196468 140726685277936 140274211141872 140274746710658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4736] ppid=4723 vsize=15487052 memory=2296 CPUtime=3.24 cores=0,2,4,6
/proc/4725/task/4736/stat : 4736 (java) S 4723 4723 1883 0 -1 1077944384 6730 0 0 0 323 1 0 0 20 0 19 0 475297306 15858741248 97057 33554432000 4194304 4196468 140726685277936 140274210089328 140274746710658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4737] ppid=4723 vsize=15487052 memory=0 CPUtime=1.12 cores=0,2,4,6
/proc/4725/task/4737/stat : 4737 (java) S 4723 4723 1883 0 -1 1077944384 5025 0 0 0 111 1 0 0 20 0 19 0 475297306 15858741248 97057 33554432000 4194304 4196468 140726685277936 140274209036272 140274746710658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4738] ppid=4723 vsize=15487052 memory=115 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4738/stat : 4738 (java) S 4723 4723 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475297306 15858741248 97057 33554432000 4194304 4196468 140726685277936 140274207983968 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4739] ppid=4723 vsize=15487052 memory=631 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4739/stat : 4739 (java) S 4723 4723 1883 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 475297306 15858741248 97057 33554432000 4194304 4196468 140726685277936 140274206932016 140274746710658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4796] ppid=4723 vsize=15487052 memory=16264 CPUtime=1.49 cores=0,2,4,6
/proc/4725/task/4796/stat : 4796 (java) R 4723 4723 1883 0 -1 4202560 24 0 0 0 149 0 0 0 20 0 19 0 475297777 15858741248 97057 33554432000 4194304 4196468 140726685277936 140274195617656 140274390357737 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4797] ppid=4723 vsize=15487052 memory=639 CPUtime=1.48 cores=0,2,4,6
/proc/4725/task/4797/stat : 4797 (java) R 4723 4723 1883 0 -1 4202560 21 0 0 0 148 0 0 0 20 0 19 0 475297777 15858741248 97057 33554432000 4194304 4196468 140726685277936 140274193511128 140274392455319 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4798] ppid=4723 vsize=15487052 memory=14012 CPUtime=1.3 cores=0,2,4,6
/proc/4725/task/4798/stat : 4798 (java) R 4723 4723 1883 0 -1 4202560 17 0 0 0 130 0 0 0 20 0 19 0 475297777 15858741248 97057 33554432000 4194304 4196468 140726685277936 140274191405800 140274390358016 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4799] ppid=4723 vsize=15487052 memory=15312 CPUtime=1.29 cores=0,2,4,6
/proc/4725/task/4799/stat : 4799 (java) R 4723 4723 1883 0 -1 4202560 24 0 0 0 129 0 0 0 20 0 19 0 475297777 15858741248 97057 33554432000 4194304 4196468 140726685277936 140274190352808 140274390652960 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
Current children cumulated CPU time: 22.64 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 389684 KiB
[startup+6.9671 s]
# the end of solver process 4723 was just reported to runsolver
# cumulated CPU time of all completed processes: user=24.2146 s, system=0.202583 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40114 s]
/proc/loadavg: 8.27 8.29 8.15 10/236 4799
/proc/meminfo: memFree=5215296/32770624 swapFree=66952588/67108860
[pid=4723] ppid=4720 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4723/stat : 4723 (xcsp3-exec) S 4720 4723 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475297300 115843072 364 33554432000 4194304 5098028 140725481563360 140725481561464 140078188298876 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26460160 140725481571158 140725481571417 140725481571417 140725481574342 0
/proc/4723/statm: 28282 364 305 221 0 87 0
[pid=4725] ppid=4723 vsize=15487052 memory=388336 CPUtime=22.99 cores=0,2,4,6
/proc/4725/stat : 4725 (java) S 4723 4723 1883 0 -1 1077944320 32834 0 0 0 2280 19 0 0 20 0 19 0 475297300 15858741248 97084 33554432000 4194304 4196468 140726685277936 140726685260480 140274746699511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
/proc/4725/statm: 3871763 97084 3540 1 0 3832863 0
[pid=4725/tid=4726] ppid=4723 vsize=15487052 memory=496 CPUtime=1.51 cores=0,2,4,6
/proc/4725/task/4726/stat : 4726 (java) S 4723 4723 1883 0 -1 1077944384 10670 0 0 0 146 5 0 0 20 0 19 0 475297300 15858741248 97084 33554432000 4194304 4196468 140726685277936 140274750940288 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4727] ppid=4723 vsize=15487052 memory=1560 CPUtime=0.04 cores=0,2,4,6
/proc/4725/task/4727/stat : 4727 (java) S 4723 4723 1883 0 -1 1077944384 145 0 0 0 4 0 0 0 20 0 19 0 475297301 15858741248 97084 33554432000 4194304 4196468 140726685277936 140274707659280 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4728] ppid=4723 vsize=15487052 memory=928 CPUtime=0.06 cores=0,2,4,6
/proc/4725/task/4728/stat : 4728 (java) S 4723 4723 1883 0 -1 1077944384 260 0 0 0 5 1 0 0 20 0 19 0 475297301 15858741248 97084 33554432000 4194304 4196468 140726685277936 140274337553040 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4729] ppid=4723 vsize=15487052 memory=1680 CPUtime=0.05 cores=0,2,4,6
/proc/4725/task/4729/stat : 4729 (java) S 4723 4723 1883 0 -1 1077944384 450 0 0 0 4 1 0 0 20 0 19 0 475297301 15858741248 97084 33554432000 4194304 4196468 140726685277936 140274336499984 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4730] ppid=4723 vsize=15487052 memory=1808 CPUtime=0.03 cores=0,2,4,6
/proc/4725/task/4730/stat : 4730 (java) S 4723 4723 1883 0 -1 1077944384 157 0 0 0 3 0 0 0 20 0 19 0 475297301 15858741248 97084 33554432000 4194304 4196468 140726685277936 140274335447440 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4731] ppid=4723 vsize=15487052 memory=924 CPUtime=0.02 cores=0,2,4,6
/proc/4725/task/4731/stat : 4731 (java) S 4723 4723 1883 0 -1 1077944384 407 0 0 0 1 1 0 0 20 0 19 0 475297303 15858741248 97084 33554432000 4194304 4196468 140726685277936 140274215353072 140274746710658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4732] ppid=4723 vsize=15487052 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4732/stat : 4732 (java) S 4723 4723 1883 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475297303 15858741248 97084 33554432000 4194304 4196468 140726685277936 140274214299360 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4733] ppid=4723 vsize=15487052 memory=232612 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4733/stat : 4733 (java) S 4723 4723 1883 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475297303 15858741248 97084 33554432000 4194304 4196468 140726685277936 140274213246208 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4734] ppid=4723 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4734/stat : 4734 (java) S 4723 4723 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475297306 15858741248 97084 33554432000 4194304 4196468 140726685277936 140274212194768 140274746718107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4735] ppid=4723 vsize=15487052 memory=0 CPUtime=3.28 cores=0,2,4,6
/proc/4725/task/4735/stat : 4735 (java) S 4723 4723 1883 0 -1 1077944384 6152 0 0 0 327 1 0 0 20 0 19 0 475297306 15858741248 97084 33554432000 4194304 4196468 140726685277936 140274211141872 140274746710658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4736] ppid=4723 vsize=15487052 memory=281159565094208 CPUtime=3.29 cores=0,2,4,6
/proc/4725/task/4736/stat : 4736 (java) S 4723 4723 1883 0 -1 1077944384 6736 0 0 0 328 1 0 0 20 0 19 0 475297306 15858741248 97084 33554432000 4194304 4196468 140726685277936 140274210089328 140274746710658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4737] ppid=4723 vsize=15487052 memory=0 CPUtime=1.12 cores=0,2,4,6
/proc/4725/task/4737/stat : 4737 (java) S 4723 4723 1883 0 -1 1077944384 5025 0 0 0 111 1 0 0 20 0 19 0 475297306 15858741248 97084 33554432000 4194304 4196468 140726685277936 140274209036272 140274746710658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4738] ppid=4723 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4738/stat : 4738 (java) S 4723 4723 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475297306 15858741248 97084 33554432000 4194304 4196468 140726685277936 140274207983968 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4739] ppid=4723 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4739/stat : 4739 (java) S 4723 4723 1883 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 475297306 15858741248 97084 33554432000 4194304 4196468 140726685277936 140274206932016 140274746710658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4796] ppid=4723 vsize=15487052 memory=0 CPUtime=1.57 cores=0,2,4,6
/proc/4725/task/4796/stat : 4796 (java) S 4723 4723 1883 0 -1 1077944384 29 0 0 0 157 0 0 0 20 0 19 0 475297777 15858741248 97084 33554432000 4194304 4196468 140726685277936 140274195619968 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4797] ppid=4723 vsize=15487052 memory=0 CPUtime=1.55 cores=0,2,4,6
/proc/4725/task/4797/stat : 4797 (java) S 4723 4723 1883 0 -1 1077944384 71 0 0 0 155 0 0 0 20 0 19 0 475297777 15858741248 97084 33554432000 4194304 4196468 140726685277936 140274193515728 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4798] ppid=4723 vsize=15487052 memory=7301856090349791568 CPUtime=1.4 cores=0,2,4,6
/proc/4725/task/4798/stat : 4798 (java) R 4723 4723 1883 0 -1 4202560 22 0 0 0 140 0 0 0 20 0 19 0 475297777 15858741248 97084 33554432000 4194304 4196468 140726685277936 140274191405800 140274392485056 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4799] ppid=4723 vsize=15487052 memory=6153395282792436304 CPUtime=1.34 cores=0,2,4,6
/proc/4725/task/4799/stat : 4799 (java) S 4723 4723 1883 0 -1 1077944384 26 0 0 0 134 0 0 0 20 0 19 0 475297777 15858741248 97084 33554432000 4194304 4196468 140726685277936 140274190357456 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
Current children cumulated CPU time: 22.99 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 389792 KiB
[startup+6.80119 s]
/proc/loadavg: 8.27 8.29 8.15 10/236 4799
/proc/meminfo: memFree=5215296/32770624 swapFree=66952588/67108860
[pid=4723] ppid=4720 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4723/stat : 4723 (xcsp3-exec) S 4720 4723 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475297300 115843072 364 33554432000 4194304 5098028 140725481563360 140725481561464 140078188298876 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26460160 140725481571158 140725481571417 140725481571417 140725481574342 0
/proc/4723/statm: 28282 364 305 221 0 87 0
[pid=4725] ppid=4723 vsize=15487052 memory=388356 CPUtime=23.83 cores=0,2,4,6
/proc/4725/stat : 4725 (java) S 4723 4723 1883 0 -1 1077944320 33012 0 0 0 2364 19 0 0 20 0 19 0 475297300 15858741248 97089 33554432000 4194304 4196468 140726685277936 140726685260480 140274746699511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
/proc/4725/statm: 3871763 97089 3540 1 0 3832863 0
[pid=4725/tid=4726] ppid=4723 vsize=15487052 memory=631 CPUtime=1.51 cores=0,2,4,6
/proc/4725/task/4726/stat : 4726 (java) S 4723 4723 1883 0 -1 1077944384 10674 0 0 0 146 5 0 0 20 0 19 0 475297300 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274750940288 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4727] ppid=4723 vsize=15487052 memory=16264 CPUtime=0.04 cores=0,2,4,6
/proc/4725/task/4727/stat : 4727 (java) S 4723 4723 1883 0 -1 1077944384 145 0 0 0 4 0 0 0 20 0 19 0 475297301 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274707659280 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4728] ppid=4723 vsize=15487052 memory=1456 CPUtime=0.06 cores=0,2,4,6
/proc/4725/task/4728/stat : 4728 (java) S 4723 4723 1883 0 -1 1077944384 260 0 0 0 5 1 0 0 20 0 19 0 475297301 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274337553040 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4729] ppid=4723 vsize=15487052 memory=388228 CPUtime=0.05 cores=0,2,4,6
/proc/4725/task/4729/stat : 4729 (java) S 4723 4723 1883 0 -1 1077944384 450 0 0 0 4 1 0 0 20 0 19 0 475297301 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274336499984 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4730] ppid=4723 vsize=15487052 memory=7449333542202992224 CPUtime=0.03 cores=0,2,4,6
/proc/4725/task/4730/stat : 4730 (java) S 4723 4723 1883 0 -1 1077944384 157 0 0 0 3 0 0 0 20 0 19 0 475297301 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274335447440 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4731] ppid=4723 vsize=15487052 memory=7449896500763190885 CPUtime=0.02 cores=0,2,4,6
/proc/4725/task/4731/stat : 4731 (java) S 4723 4723 1883 0 -1 1077944384 407 0 0 0 1 1 0 0 20 0 19 0 475297303 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274215353072 140274746710658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4732] ppid=4723 vsize=15487052 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4732/stat : 4732 (java) S 4723 4723 1883 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475297303 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274214299360 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4733] ppid=4723 vsize=15487052 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4733/stat : 4733 (java) S 4723 4723 1883 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475297303 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274213246208 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4734] ppid=4723 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4734/stat : 4734 (java) S 4723 4723 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475297306 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274212194768 140274746718107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4735] ppid=4723 vsize=15487052 memory=0 CPUtime=3.32 cores=0,2,4,6
/proc/4725/task/4735/stat : 4735 (java) S 4723 4723 1883 0 -1 1077944384 6163 0 0 0 331 1 0 0 20 0 19 0 475297306 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274211141872 140274746710658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4736] ppid=4723 vsize=15487052 memory=0 CPUtime=3.33 cores=0,2,4,6
/proc/4725/task/4736/stat : 4736 (java) S 4723 4723 1883 0 -1 1077944384 6742 0 0 0 332 1 0 0 20 0 19 0 475297306 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274210089328 140274746710658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4737] ppid=4723 vsize=15487052 memory=0 CPUtime=1.13 cores=0,2,4,6
/proc/4725/task/4737/stat : 4737 (java) S 4723 4723 1883 0 -1 1077944384 5028 0 0 0 112 1 0 0 20 0 19 0 475297306 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274209036272 140274746710658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4738] ppid=4723 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4738/stat : 4738 (java) S 4723 4723 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475297306 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274207983968 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4739] ppid=4723 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4739/stat : 4739 (java) S 4723 4723 1883 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 475297306 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274206932016 140274746710658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
Current children cumulated CPU time: 23.83 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 389812 KiB
[startup+6.90119 s]
/proc/loadavg: 8.27 8.29 8.15 10/236 4799
/proc/meminfo: memFree=5215296/32770624 swapFree=66952588/67108860
[pid=4723] ppid=4720 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4723/stat : 4723 (xcsp3-exec) S 4720 4723 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475297300 115843072 364 33554432000 4194304 5098028 140725481563360 140725481561464 140078188298876 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 26460160 140725481571158 140725481571417 140725481571417 140725481574342 0
/proc/4723/statm: 28282 364 305 221 0 87 0
[pid=4725] ppid=4723 vsize=15487052 memory=388356 CPUtime=24.23 cores=0,2,4,6
/proc/4725/stat : 4725 (java) S 4723 4723 1883 0 -1 1077944320 33016 0 0 0 2404 19 0 0 20 0 19 0 475297300 15858741248 97089 33554432000 4194304 4196468 140726685277936 140726685260480 140274746699511 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
/proc/4725/statm: 3871763 97089 3540 1 0 3832863 0
[pid=4725/tid=4726] ppid=4723 vsize=15487052 memory=388228 CPUtime=1.51 cores=0,2,4,6
/proc/4725/task/4726/stat : 4726 (java) S 4723 4723 1883 0 -1 1077944384 10674 0 0 0 146 5 0 0 20 0 19 0 475297300 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274750940288 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4727] ppid=4723 vsize=15487052 memory=387964 CPUtime=0.04 cores=0,2,4,6
/proc/4725/task/4727/stat : 4727 (java) S 4723 4723 1883 0 -1 1077944384 145 0 0 0 4 0 0 0 20 0 19 0 475297301 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274707659280 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4728] ppid=4723 vsize=15487052 memory=5491 CPUtime=0.06 cores=0,2,4,6
/proc/4725/task/4728/stat : 4728 (java) S 4723 4723 1883 0 -1 1077944384 260 0 0 0 5 1 0 0 20 0 19 0 475297301 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274337553040 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4729] ppid=4723 vsize=15487052 memory=2296 CPUtime=0.05 cores=0,2,4,6
/proc/4725/task/4729/stat : 4729 (java) S 4723 4723 1883 0 -1 1077944384 450 0 0 0 4 1 0 0 20 0 19 0 475297301 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274336499984 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4730] ppid=4723 vsize=15487052 memory=14012 CPUtime=0.03 cores=0,2,4,6
/proc/4725/task/4730/stat : 4730 (java) S 4723 4723 1883 0 -1 1077944384 157 0 0 0 3 0 0 0 20 0 19 0 475297301 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274335447440 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4731] ppid=4723 vsize=15487052 memory=15312 CPUtime=0.02 cores=0,2,4,6
/proc/4725/task/4731/stat : 4731 (java) S 4723 4723 1883 0 -1 1077944384 407 0 0 0 1 1 0 0 20 0 19 0 475297303 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274215353072 140274746710658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4732] ppid=4723 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4732/stat : 4732 (java) S 4723 4723 1883 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475297303 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274214299360 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4733] ppid=4723 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4733/stat : 4733 (java) S 4723 4723 1883 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475297303 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274213246208 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4734] ppid=4723 vsize=15487052 memory=387896 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4734/stat : 4734 (java) S 4723 4723 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475297306 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274212194768 140274746718107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4735] ppid=4723 vsize=15487052 memory=0 CPUtime=3.32 cores=0,2,4,6
/proc/4725/task/4735/stat : 4735 (java) S 4723 4723 1883 0 -1 1077944384 6163 0 0 0 331 1 0 0 20 0 19 0 475297306 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274211141872 140274746710658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4736] ppid=4723 vsize=15487052 memory=0 CPUtime=3.33 cores=0,2,4,6
/proc/4725/task/4736/stat : 4736 (java) S 4723 4723 1883 0 -1 1077944384 6742 0 0 0 332 1 0 0 20 0 19 0 475297306 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274210089328 140274746710658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4737] ppid=4723 vsize=15487052 memory=33 CPUtime=1.13 cores=0,2,4,6
/proc/4725/task/4737/stat : 4737 (java) S 4723 4723 1883 0 -1 1077944384 5028 0 0 0 112 1 0 0 20 0 19 0 475297306 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274209036272 140274746710658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4738] ppid=4723 vsize=15487052 memory=-6876588628787748224 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4738/stat : 4738 (java) S 4723 4723 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475297306 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274207983968 140274746709717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
[pid=4725/tid=4739] ppid=4723 vsize=15487052 memory=8253607675393171515 CPUtime=0 cores=0,2,4,6
/proc/4725/task/4739/stat : 4739 (java) S 4723 4723 1883 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 19 0 475297306 15858741248 97089 33554432000 4194304 4196468 140726685277936 140274206932016 140274746710658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20172800 140726685283291 140726685283466 140726685283466 140726685286351 0
Current children cumulated CPU time: 24.23 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 389812 KiB
Child status: 0
Real time (s): 6.96714
CPU time (s): 24.4172
CPU user time (s): 24.2146
CPU system time (s): 0.202583
CPU usage (%): 350.463
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 389812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.2146
system time used= 0.202583
maximum resident set size= 389404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33633
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3385
involuntary context switches= 916
# summary of solver processes directly reported to runsolver:
# pid: 4723
# total CPU time (s): 24.4172
# total CPU user time (s): 24.2146
# total CPU system time (s): 0.202583
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.068105 second user time and 0.113509 second system time
The end
Begin job on node107 at 2019-09-20 15:38:16 IDJOB=4403819 IDBENCH=126803 IDSOLVER=2863 FILE ID=node107/4403819-1568990417 RUNJOBID= node107-1568983381-1915 PBS_JOBID= 21704636 Free space on /var/tmp= 12540 MiB SOLVER NAME= choco-solver 2019-09-20 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 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403819-1568990417/watcher-4403819-1568990417 -o /var/tmp/evaluation-result-4403819-1568990417/solver-4403819-1568990417 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1568983381-1915 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1286519984 HOME/instance-4403819-1568990417.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 305bfce3403e7be8ea8343edd9c7d9a7 RANDOM SEED=1286519984 node107.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 : 5334.11 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 : 5334.11 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 : 5334.11 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 : 5334.11 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: 5590496 kB MemAvailable: 29935324 kB Buffers: 144924 kB Cached: 24097076 kB SwapCached: 48712 kB Active: 13932152 kB Inactive: 12233284 kB Active(anon): 1877152 kB Inactive(anon): 89604 kB Active(file): 12055000 kB Inactive(file): 12143680 kB Unevictable: 111004 kB Mlocked: 111004 kB SwapTotal: 67108860 kB SwapFree: 66952588 kB Dirty: 26368 kB Writeback: 0 kB AnonPages: 2052136 kB Mapped: 61292 kB Shmem: 34896 kB Slab: 603868 kB SReclaimable: 574608 kB SUnreclaim: 29260 kB KernelStack: 4096 kB PageTables: 9708 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3690704 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1929216 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 101760 kB DirectMap2M: 33443840 kB Free space on /var/tmp at the end= 12512 MiB End job on node107 at 2019-09-20 15:38:23