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.3561 | 7.02628 |
| Name | OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbop-30-30-1.xml |
| MD5SUM | 305bfce3403e7be8ea8343edd9c7d9a7 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 25.4304 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2760 |
| Number of constraints | 2731 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 31 |
| Distribution of domain sizes | [{"size":2,"count":1800},{"size":3,"count":900},{"size":30,"count":30},{"size":31,"count":30}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 31 |
| Distribution of variable degrees | [{"degree":2,"count":960},{"degree":3,"count":1770},{"degree":31,"count":30}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 31 |
| Distribution of constraint arities | [{"arity":2,"count":930},{"arity":3,"count":1770},{"arity":30,"count":1},{"arity":31,"count":30}] |
| Number of extensional constraints | 900 |
| Number of intensional constraints | 900 |
| Distribution of constraint types | [{"type":"extension","count":900},{"type":"intension","count":900},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"element","count":900}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4404119-1568991025.xml" -tl '2400s' -p 4 0.13/0.17 c Choco 3fb4b153 0.13/0.18 c [HOME/instance-4404119-1568991025.xml, -tl, 2400s, -p, 4] 0.13/0.21 c 4 solvers in parallel 0.34/0.28 c parse instance... 4.39/1.53 c solve instance... 5.12/1.72 o 19 5.12/1.75 o 18 5.12/1.76 o 17 5.12/1.79 o 16 5.51/1.82 o 15 5.87/1.95 o 14 6.84/2.25 o 13 7.58/2.43 o 12 7.58/2.45 o 11 8.35/2.62 o 10 8.35/2.65 o 9 15.10/4.38 o 7 16.04/4.60 o 6 16.49/4.87 o 5 23.21/6.63 o 4 23.58/6.83 o 3 24.32/7.01 s OPTIMUM FOUND 24.32/7.01 v <instantiation> 24.32/7.01 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.32/7.01 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.32/7.01 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 (2619 MiB free)
memory of node 1: 16384 MiB (6063 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404119-1568991025/watcher-4404119-1568991025 -o /tmp/evaluation-result-4404119-1568991025/solver-4404119-1568991025 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568990731-2771 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1376612850 HOME/instance-4404119-1568991025.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
solver pid=3622, runsolver pid=3619
Current StackSize limit: 8192 KiB
[startup+0.101191 s]*
/proc/loadavg: 8.77 5.38 2.87 6/234 3638
/proc/meminfo: memFree=8875060/32770624 swapFree=67002124/67108860
[pid=3622] ppid=3619 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3622/stat : 3622 (xcsp3-exec) S 3619 3622 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475264018 115843072 362 33554432000 4194304 5098028 140723575845840 140723575843944 140466029630076 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15011840 140723575853946 140723575854189 140723575854189 140723575857098 0
/proc/3622/statm: 28282 362 304 221 0 87 0
[pid=3624] ppid=3622 vsize=15144776 memory=29608 CPUtime=0.13 cores=1,3,5,7
/proc/3624/stat : 3624 (java) S 3622 3622 2739 0 -1 1077944320 5854 0 0 0 12 1 0 0 20 0 15 0 475264019 15508250624 7402 33554432000 4194304 4196468 140726522092240 140726522074784 140483427118839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
/proc/3624/statm: 3786194 7402 3159 1 0 3748377 0
[pid=3624/tid=3625] ppid=3622 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/3624/task/3625/stat : 3625 (java) R 3622 3622 2739 0 -1 4202560 3735 0 0 0 9 0 0 0 20 0 15 0 475264019 15508250624 7402 33554432000 4194304 4196468 140726522092240 140483431349840 140483411162469 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3626] ppid=3622 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3626/stat : 3626 (java) S 3622 3622 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475264020 15508250624 7402 33554432000 4194304 4196468 140726522092240 140483355159696 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3627] ppid=3622 vsize=15144776 memory=140296824705999 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3627/stat : 3627 (java) S 3622 3622 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475264020 15508250624 7402 33554432000 4194304 4196468 140726522092240 140483354106896 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3628] ppid=3622 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3628/stat : 3628 (java) S 3622 3622 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475264020 15508250624 7402 33554432000 4194304 4196468 140726522092240 140483353054096 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3629] ppid=3622 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3629/stat : 3629 (java) S 3622 3622 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475264020 15508250624 7402 33554432000 4194304 4196468 140726522092240 140483352001296 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3630] ppid=3622 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3630/stat : 3630 (java) S 3622 3622 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475264021 15508250624 7402 33554432000 4194304 4196468 140726522092240 140482895673712 140483427129986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3631] ppid=3622 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3631/stat : 3631 (java) S 3622 3622 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475264021 15508250624 7402 33554432000 4194304 4196468 140726522092240 140482894619680 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3632] ppid=3622 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3632/stat : 3632 (java) S 3622 3622 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475264022 15508250624 7402 33554432000 4194304 4196468 140726522092240 140482893566832 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3633] ppid=3622 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3633/stat : 3633 (java) S 3622 3622 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475264024 15508250624 7402 33554432000 4194304 4196468 140726522092240 140482892515152 140483427137435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3634] ppid=3622 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3634/stat : 3634 (java) R 3622 3622 2739 0 -1 4202560 447 0 0 0 0 0 0 0 20 0 15 0 475264024 15508250624 7402 33554432000 4194304 4196468 140726522092240 140482891463536 140483413270482 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3635] ppid=3622 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3635/stat : 3635 (java) R 3622 3622 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475264024 15508250624 7402 33554432000 4194304 4196468 140726522092240 140482890410736 140483427129986 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3636] ppid=3622 vsize=15144776 memory=140296821429888 CPUtime=0.02 cores=1,3,5,7
/proc/3624/task/3636/stat : 3636 (java) R 3622 3622 2739 0 -1 4202560 370 0 0 0 2 0 0 0 20 0 15 0 475264024 15508250624 7402 33554432000 4194304 4196468 140726522092240 140482889357936 140483406587957 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3637] ppid=3622 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3637/stat : 3637 (java) S 3622 3622 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475264024 15508250624 7402 33554432000 4194304 4196468 140726522092240 140482888305376 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3638] ppid=3622 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3638/stat : 3638 (java) R 3622 3622 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475264025 15508250624 7402 33554432000 4194304 4196468 140726522092240 140482887252656 140483427129986 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31056 KiB
[startup+0.210837 s]*
/proc/loadavg: 8.55 5.39 2.89 6/234 3638
/proc/meminfo: memFree=8861832/32770624 swapFree=67002124/67108860
[pid=3622] ppid=3619 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3622/stat : 3622 (xcsp3-exec) S 3619 3622 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475264018 115843072 362 33554432000 4194304 5098028 140723575845840 140723575843944 140466029630076 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15011840 140723575853946 140723575854189 140723575854189 140723575857098 0
/proc/3622/statm: 28282 362 304 221 0 87 0
[pid=3624] ppid=3622 vsize=15144776 memory=40980 CPUtime=0.34 cores=1,3,5,7
/proc/3624/stat : 3624 (java) S 3622 3622 2739 0 -1 1077944320 9453 0 0 0 32 2 0 0 20 0 15 0 475264019 15508250624 10181 33554432000 4194304 4196468 140726522092240 140726522074784 140483427118839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
/proc/3624/statm: 3786194 10181 3276 1 0 3748377 0
[pid=3624/tid=3625] ppid=3622 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/3624/task/3625/stat : 3625 (java) R 3622 3622 2739 0 -1 4202560 6672 0 0 0 18 2 0 0 20 0 15 0 475264019 15508250624 10245 33554432000 4194304 4196468 140726522092240 140483431349488 140483419357770 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3626] ppid=3622 vsize=15144776 memory=14645 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3626/stat : 3626 (java) S 3622 3622 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475264020 15508250624 10245 33554432000 4194304 4196468 140726522092240 140483355159696 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3627] ppid=3622 vsize=15144776 memory=3834453122579191456 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3627/stat : 3627 (java) S 3622 3622 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475264020 15508250624 10245 33554432000 4194304 4196468 140726522092240 140483354106896 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3628] ppid=3622 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3628/stat : 3628 (java) S 3622 3622 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475264020 15508250624 10245 33554432000 4194304 4196468 140726522092240 140483353054096 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3629] ppid=3622 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3629/stat : 3629 (java) S 3622 3622 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475264020 15508250624 10245 33554432000 4194304 4196468 140726522092240 140483352001296 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3630] ppid=3622 vsize=15144776 memory=140296821429888 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3630/stat : 3630 (java) S 3622 3622 2739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475264021 15508250624 10245 33554432000 4194304 4196468 140726522092240 140482895673712 140483427129986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3631] ppid=3622 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3631/stat : 3631 (java) S 3622 3622 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475264021 15508250624 10245 33554432000 4194304 4196468 140726522092240 140482894619680 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3632] ppid=3622 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3632/stat : 3632 (java) S 3622 3622 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475264022 15508250624 10245 33554432000 4194304 4196468 140726522092240 140482893566832 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3633] ppid=3622 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3633/stat : 3633 (java) S 3622 3622 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475264024 15508250624 10245 33554432000 4194304 4196468 140726522092240 140482892515152 140483427137435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3634] ppid=3622 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3624/task/3634/stat : 3634 (java) S 3622 3622 2739 0 -1 1077944384 472 0 0 0 1 0 0 0 20 0 15 0 475264024 15508250624 10245 33554432000 4194304 4196468 140726522092240 140482891463536 140483427129986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3635] ppid=3622 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/3624/task/3635/stat : 3635 (java) S 3622 3622 2739 0 -1 1077944384 260 0 0 0 3 0 0 0 20 0 15 0 475264024 15508250624 10245 33554432000 4194304 4196468 140726522092240 140482890410736 140483427129986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3636] ppid=3622 vsize=15144776 memory=140296821429888 CPUtime=0.08 cores=1,3,5,7
/proc/3624/task/3636/stat : 3636 (java) S 3622 3622 2739 0 -1 1077944384 766 0 0 0 8 0 0 0 20 0 15 0 475264024 15508250624 10245 33554432000 4194304 4196468 140726522092240 140482889357936 140483427129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3637] ppid=3622 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3637/stat : 3637 (java) S 3622 3622 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475264024 15508250624 10245 33554432000 4194304 4196468 140726522092240 140482888305376 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3638] ppid=3622 vsize=15145800 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3638/stat : 3638 (java) S 3622 3622 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475264025 15509299200 10245 33554432000 4194304 4196468 140726522092240 140482887252656 140483427129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42428 KiB
[startup+0.310691 s]*
/proc/loadavg: 8.55 5.39 2.89 7/234 3638
/proc/meminfo: memFree=8854536/32770624 swapFree=67002124/67108860
[pid=3622] ppid=3619 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3622/stat : 3622 (xcsp3-exec) S 3619 3622 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475264018 115843072 362 33554432000 4194304 5098028 140723575845840 140723575843944 140466029630076 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15011840 140723575853946 140723575854189 140723575854189 140723575857098 0
/proc/3622/statm: 28282 362 304 221 0 87 0
[pid=3624] ppid=3622 vsize=15149032 memory=50464 CPUtime=0.52 cores=1,3,5,7
/proc/3624/stat : 3624 (java) S 3622 3622 2739 0 -1 1077944320 10955 0 0 0 49 3 0 0 20 0 15 0 475264019 15512608768 12616 33554432000 4194304 4196468 140726522092240 140726522074784 140483427118839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
/proc/3624/statm: 3787258 12616 3371 1 0 3748377 0
[pid=3624/tid=3625] ppid=3622 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=1,3,5,7
/proc/3624/task/3625/stat : 3625 (java) R 3622 3622 2739 0 -1 4202560 7883 0 0 0 28 2 0 0 20 0 15 0 475264019 15512608768 12681 33554432000 4194304 4196468 140726522092240 140483431349952 140483411199326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3626] ppid=3622 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3626/stat : 3626 (java) S 3622 3622 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475264020 15512608768 12681 33554432000 4194304 4196468 140726522092240 140483355159696 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3627] ppid=3622 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3627/stat : 3627 (java) S 3622 3622 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475264020 15512608768 12681 33554432000 4194304 4196468 140726522092240 140483354106896 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3628] ppid=3622 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3628/stat : 3628 (java) S 3622 3622 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475264020 15512608768 12681 33554432000 4194304 4196468 140726522092240 140483353054096 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3629] ppid=3622 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3629/stat : 3629 (java) S 3622 3622 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475264020 15512608768 12681 33554432000 4194304 4196468 140726522092240 140483352001296 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3630] ppid=3622 vsize=15149032 memory=7307460107981921142 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3630/stat : 3630 (java) S 3622 3622 2739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475264021 15512608768 12681 33554432000 4194304 4196468 140726522092240 140482895673712 140483427129986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3631] ppid=3622 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3631/stat : 3631 (java) S 3622 3622 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475264021 15512608768 12681 33554432000 4194304 4196468 140726522092240 140482894619680 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3632] ppid=3622 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3632/stat : 3632 (java) S 3622 3622 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475264022 15512608768 12681 33554432000 4194304 4196468 140726522092240 140482893566832 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3633] ppid=3622 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3633/stat : 3633 (java) S 3622 3622 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475264024 15512608768 12681 33554432000 4194304 4196468 140726522092240 140482892515152 140483427137435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3634] ppid=3622 vsize=15149032 memory=-8412656567168561567 CPUtime=0.03 cores=1,3,5,7
/proc/3624/task/3634/stat : 3634 (java) S 3622 3622 2739 0 -1 1077944384 545 0 0 0 3 0 0 0 20 0 15 0 475264024 15512608768 12681 33554432000 4194304 4196468 140726522092240 140482891463536 140483427129986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3635] ppid=3622 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/3624/task/3635/stat : 3635 (java) S 3622 3622 2739 0 -1 1077944384 351 0 0 0 5 0 0 0 20 0 15 0 475264024 15512608768 12681 33554432000 4194304 4196468 140726522092240 140482890410736 140483427129986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3636] ppid=3622 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/3624/task/3636/stat : 3636 (java) S 3622 3622 2739 0 -1 1077944384 880 0 0 0 12 0 0 0 20 0 15 0 475264024 15512608768 12681 33554432000 4194304 4196468 140726522092240 140482889357936 140483427129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3637] ppid=3622 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3637/stat : 3637 (java) S 3622 3622 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475264024 15512608768 12681 33554432000 4194304 4196468 140726522092240 140482888305376 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3638] ppid=3622 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3638/stat : 3638 (java) S 3622 3622 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475264025 15512608768 12681 33554432000 4194304 4196468 140726522092240 140482887252656 140483427129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51912 KiB
[startup+0.710789 s]
/proc/loadavg: 8.55 5.39 2.89 9/234 3638
/proc/meminfo: memFree=8829160/32770624 swapFree=67002124/67108860
[pid=3622] ppid=3619 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3622/stat : 3622 (xcsp3-exec) S 3619 3622 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475264018 115843072 362 33554432000 4194304 5098028 140723575845840 140723575843944 140466029630076 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15011840 140723575853946 140723575854189 140723575854189 140723575857098 0
/proc/3622/statm: 28282 362 304 221 0 87 0
[pid=3624] ppid=3622 vsize=15151156 memory=103856 CPUtime=1.86 cores=1,3,5,7
/proc/3624/stat : 3624 (java) S 3622 3622 2739 0 -1 1077944320 15727 0 0 0 181 5 0 0 20 0 15 0 475264019 15514783744 25964 33554432000 4194304 4196468 140726522092240 140726522074784 140483427118839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
/proc/3624/statm: 3787789 25964 3448 1 0 3748889 0
[pid=3624/tid=3625] ppid=3622 vsize=15151156 memory=-3704326594973231466 CPUtime=0.69 cores=1,3,5,7
/proc/3624/task/3625/stat : 3625 (java) R 3622 3622 2739 0 -1 4202560 9123 0 0 0 65 4 0 0 20 0 15 0 475264019 15514783744 25964 33554432000 4194304 4196468 140726522092240 140483431356000 140483427130774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3626] ppid=3622 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3626/stat : 3626 (java) S 3622 3622 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475264020 15514783744 25964 33554432000 4194304 4196468 140726522092240 140483355159696 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3627] ppid=3622 vsize=15151156 memory=3617 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3627/stat : 3627 (java) S 3622 3622 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475264020 15514783744 25964 33554432000 4194304 4196468 140726522092240 140483354106896 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3628] ppid=3622 vsize=15151156 memory=740 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3628/stat : 3628 (java) S 3622 3622 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475264020 15514783744 25964 33554432000 4194304 4196468 140726522092240 140483353054096 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3629] ppid=3622 vsize=15151156 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3629/stat : 3629 (java) S 3622 3622 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475264020 15514783744 25964 33554432000 4194304 4196468 140726522092240 140483352001296 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3630] ppid=3622 vsize=15151156 memory=7548 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3630/stat : 3630 (java) S 3622 3622 2739 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475264021 15514783744 25964 33554432000 4194304 4196468 140726522092240 140482895673712 140483427129986 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3631] ppid=3622 vsize=15151156 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3631/stat : 3631 (java) S 3622 3622 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475264021 15514783744 25964 33554432000 4194304 4196468 140726522092240 140482894619680 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3632] ppid=3622 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3632/stat : 3632 (java) S 3622 3622 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475264022 15514783744 25964 33554432000 4194304 4196468 140726522092240 140482893566832 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3633] ppid=3622 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3633/stat : 3633 (java) S 3622 3622 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475264024 15514783744 25964 33554432000 4194304 4196468 140726522092240 140482892515152 140483427137435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3634] ppid=3622 vsize=15151156 memory=1160 CPUtime=0.37 cores=1,3,5,7
/proc/3624/task/3634/stat : 3634 (java) R 3622 3622 2739 0 -1 4202560 1815 0 0 0 37 0 0 0 20 0 15 0 475264024 15514783744 25964 33554432000 4194304 4196468 140726522092240 140482891453600 140483408663030 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3635] ppid=3622 vsize=15151156 memory=1716 CPUtime=0.37 cores=1,3,5,7
/proc/3624/task/3635/stat : 3635 (java) R 3622 3622 2739 0 -1 4202560 1311 0 0 0 37 0 0 0 20 0 15 0 475264024 15514783744 25964 33554432000 4194304 4196468 140726522092240 140482890396832 140483413141358 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3636] ppid=3622 vsize=15151156 memory=1096 CPUtime=0.39 cores=1,3,5,7
/proc/3624/task/3636/stat : 3636 (java) R 3622 3622 2739 0 -1 4202560 2171 0 0 0 39 0 0 0 20 0 15 0 475264024 15514783744 25964 33554432000 4194304 4196468 140726522092240 140482889357936 140483420215675 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3637] ppid=3622 vsize=15151156 memory=6128 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3637/stat : 3637 (java) S 3622 3622 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475264024 15514783744 25964 33554432000 4194304 4196468 140726522092240 140482888305376 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3638] ppid=3622 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3638/stat : 3638 (java) S 3622 3622 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475264025 15514783744 25964 33554432000 4194304 4196468 140726522092240 140482887252656 140483427129986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
Current children cumulated CPU time: 1.86 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 105304 KiB
[startup+1.50679 s]
/proc/loadavg: 8.55 5.39 2.89 8/234 3638
/proc/meminfo: memFree=8755004/32770624 swapFree=67002124/67108860
[pid=3622] ppid=3619 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3622/stat : 3622 (xcsp3-exec) S 3619 3622 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475264018 115843072 362 33554432000 4194304 5098028 140723575845840 140723575843944 140466029630076 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15011840 140723575853946 140723575854189 140723575854189 140723575857098 0
/proc/3622/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/3624/task/3638/stat : 3638 (java) S 3622 3622 2739 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 475264025 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482887252656 140483427129986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3695] ppid=3622 vsize=15486024 memory=152192166136499 CPUtime=1.33 cores=1,3,5,7
/proc/3624/task/3695/stat : 3695 (java) R 3622 3622 2739 0 -1 4202560 18 0 0 0 133 0 0 0 20 0 19 0 475264506 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482276461304 140483035875771 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3696] ppid=3622 vsize=15486024 memory=152342489991859 CPUtime=1.33 cores=1,3,5,7
/proc/3624/task/3696/stat : 3696 (java) R 3622 3622 2739 0 -1 4202560 31 0 0 0 133 0 0 0 20 0 19 0 475264506 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482278567400 140483032223454 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3697] ppid=3622 vsize=15486024 memory=152346784959225 CPUtime=1.21 cores=1,3,5,7
/proc/3624/task/3697/stat : 3697 (java) R 3622 3622 2739 0 -1 4202560 26 0 0 0 121 0 0 0 20 0 19 0 475264506 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482280672232 140483035876117 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3698] ppid=3622 vsize=15486024 memory=152359669861113 CPUtime=1.26 cores=1,3,5,7
/proc/3624/task/3698/stat : 3698 (java) R 3622 3622 2739 0 -1 4202560 17 0 0 0 126 0 0 0 20 0 19 0 475264506 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482277515672 140483035875552 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
Current children cumulated CPU time: 22.26 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 378556 KiB
[startup+7.02624 s]
# the end of solver process 3622 was just reported to runsolver
# cumulated CPU time of all completed processes: user=24.1639 s, system=0.192235 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40179 s]
/proc/loadavg: 8.66 5.47 2.93 10/237 3698
/proc/meminfo: memFree=8526288/32770624 swapFree=67002124/67108860
[pid=3622] ppid=3619 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3622/stat : 3622 (xcsp3-exec) S 3619 3622 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475264018 115843072 362 33554432000 4194304 5098028 140723575845840 140723575843944 140466029630076 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15011840 140723575853946 140723575854189 140723575854189 140723575857098 0
/proc/3622/statm: 28282 362 304 221 0 87 0
[pid=3624] ppid=3622 vsize=15486024 memory=377108 CPUtime=22.65 cores=1,3,5,7
/proc/3624/stat : 3624 (java) S 3622 3622 2739 0 -1 1077944320 32416 0 0 0 2247 18 0 0 20 0 19 0 475264019 15857688576 94277 33554432000 4194304 4196468 140726522092240 140726522074784 140483427118839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
/proc/3624/statm: 3871506 94277 3538 1 0 3832606 0
[pid=3624/tid=3625] ppid=3622 vsize=15486024 memory=1940 CPUtime=1.54 cores=1,3,5,7
/proc/3624/task/3625/stat : 3625 (java) S 3622 3622 2739 0 -1 1077944384 9969 0 0 0 148 6 0 0 20 0 19 0 475264019 15857688576 94277 33554432000 4194304 4196468 140726522092240 140483431359616 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3626] ppid=3622 vsize=15486024 memory=1416 CPUtime=0.05 cores=1,3,5,7
/proc/3624/task/3626/stat : 3626 (java) S 3622 3622 2739 0 -1 1077944384 197 0 0 0 4 1 0 0 20 0 19 0 475264020 15857688576 94277 33554432000 4194304 4196468 140726522092240 140483355159696 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3627] ppid=3622 vsize=15486024 memory=1556 CPUtime=0.03 cores=1,3,5,7
/proc/3624/task/3627/stat : 3627 (java) S 3622 3622 2739 0 -1 1077944384 137 0 0 0 2 1 0 0 20 0 19 0 475264020 15857688576 94277 33554432000 4194304 4196468 140726522092240 140483354106896 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3628] ppid=3622 vsize=15486024 memory=740 CPUtime=0.04 cores=1,3,5,7
/proc/3624/task/3628/stat : 3628 (java) S 3622 3622 2739 0 -1 1077944384 226 0 0 0 3 1 0 0 20 0 19 0 475264020 15857688576 94277 33554432000 4194304 4196468 140726522092240 140483353054096 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3629] ppid=3622 vsize=15486024 memory=1052 CPUtime=0.05 cores=1,3,5,7
/proc/3624/task/3629/stat : 3629 (java) S 3622 3622 2739 0 -1 1077944384 250 0 0 0 4 1 0 0 20 0 19 0 475264020 15857688576 94277 33554432000 4194304 4196468 140726522092240 140483352001296 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3630] ppid=3622 vsize=15486024 memory=7548 CPUtime=0.01 cores=1,3,5,7
/proc/3624/task/3630/stat : 3630 (java) S 3622 3622 2739 0 -1 1077944384 453 0 0 0 1 0 0 0 20 0 19 0 475264021 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482895673712 140483427129986 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3631] ppid=3622 vsize=15486024 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3631/stat : 3631 (java) S 3622 3622 2739 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 475264021 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482894619744 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3632] ppid=3622 vsize=15486024 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3632/stat : 3632 (java) S 3622 3622 2739 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475264022 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482893566848 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3633] ppid=3622 vsize=15486024 memory=776 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3633/stat : 3633 (java) S 3622 3622 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475264024 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482892515152 140483427137435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3634] ppid=3622 vsize=15486024 memory=0 CPUtime=3.44 cores=1,3,5,7
/proc/3624/task/3634/stat : 3634 (java) S 3622 3622 2739 0 -1 1077944384 5789 0 0 0 343 1 0 0 20 0 19 0 475264024 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482891463536 140483427129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3635] ppid=3622 vsize=15486024 memory=473 CPUtime=3.47 cores=1,3,5,7
/proc/3624/task/3635/stat : 3635 (java) S 3622 3622 2739 0 -1 1077944384 6253 0 0 0 346 1 0 0 20 0 19 0 475264024 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482890410736 140483427129986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3636] ppid=3622 vsize=15486024 memory=150 CPUtime=1.04 cores=1,3,5,7
/proc/3624/task/3636/stat : 3636 (java) S 3622 3622 2739 0 -1 1077944384 5480 0 0 0 103 1 0 0 20 0 19 0 475264024 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482889357936 140483427129986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3637] ppid=3622 vsize=15486024 memory=2 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3637/stat : 3637 (java) S 3622 3622 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475264024 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482888305376 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3638] ppid=3622 vsize=15486024 memory=1 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3638/stat : 3638 (java) S 3622 3622 2739 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 475264025 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482887252656 140483427129986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3695] ppid=3622 vsize=15486024 memory=2 CPUtime=1.43 cores=1,3,5,7
/proc/3624/task/3695/stat : 3695 (java) R 3622 3622 2739 0 -1 4202560 18 0 0 0 143 0 0 0 20 0 19 0 475264506 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482276461304 140483038531227 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3696] ppid=3622 vsize=15486024 memory=2 CPUtime=1.43 cores=1,3,5,7
/proc/3624/task/3696/stat : 3696 (java) R 3622 3622 2739 0 -1 4202560 32 0 0 0 143 0 0 0 20 0 19 0 475264506 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482278567400 140483030551428 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3697] ppid=3622 vsize=15486024 memory=0 CPUtime=1.31 cores=1,3,5,7
/proc/3624/task/3697/stat : 3697 (java) R 3622 3622 2739 0 -1 4202560 26 0 0 0 131 0 0 0 20 0 19 0 475264506 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482280672232 140483035986477 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3698] ppid=3622 vsize=15486024 memory=2319529495343764254 CPUtime=1.34 cores=1,3,5,7
/proc/3624/task/3698/stat : 3698 (java) R 3622 3622 2739 0 -1 4202560 17 0 0 0 134 0 0 0 20 0 19 0 475264506 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482277515672 140483039341527 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
Current children cumulated CPU time: 22.65 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 378556 KiB
[startup+6.80077 s]
/proc/loadavg: 8.66 5.47 2.93 10/237 3698
/proc/meminfo: memFree=8526288/32770624 swapFree=67002124/67108860
[pid=3622] ppid=3619 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3622/stat : 3622 (xcsp3-exec) S 3619 3622 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475264018 115843072 362 33554432000 4194304 5098028 140723575845840 140723575843944 140466029630076 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15011840 140723575853946 140723575854189 140723575854189 140723575857098 0
/proc/3622/statm: 28282 362 304 221 0 87 0
[pid=3624] ppid=3622 vsize=15486024 memory=377108 CPUtime=23.58 cores=1,3,5,7
/proc/3624/stat : 3624 (java) S 3622 3622 2739 0 -1 1077944320 32494 0 0 0 2340 18 0 0 20 0 19 0 475264019 15857688576 94277 33554432000 4194304 4196468 140726522092240 140726522074784 140483427118839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
/proc/3624/statm: 3871506 94277 3538 1 0 3832606 0
[pid=3624/tid=3625] ppid=3622 vsize=15486024 memory=152342489991859 CPUtime=1.54 cores=1,3,5,7
/proc/3624/task/3625/stat : 3625 (java) S 3622 3622 2739 0 -1 1077944384 9970 0 0 0 148 6 0 0 20 0 19 0 475264019 15857688576 94277 33554432000 4194304 4196468 140726522092240 140483431359616 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3626] ppid=3622 vsize=15486024 memory=152346784959225 CPUtime=0.05 cores=1,3,5,7
/proc/3624/task/3626/stat : 3626 (java) S 3622 3622 2739 0 -1 1077944384 197 0 0 0 4 1 0 0 20 0 19 0 475264020 15857688576 94277 33554432000 4194304 4196468 140726522092240 140483355159696 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3627] ppid=3622 vsize=15486024 memory=152359669861113 CPUtime=0.03 cores=1,3,5,7
/proc/3624/task/3627/stat : 3627 (java) S 3622 3622 2739 0 -1 1077944384 137 0 0 0 2 1 0 0 20 0 19 0 475264020 15857688576 94277 33554432000 4194304 4196468 140726522092240 140483354106896 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3628] ppid=3622 vsize=15486024 memory=1448 CPUtime=0.04 cores=1,3,5,7
/proc/3624/task/3628/stat : 3628 (java) S 3622 3622 2739 0 -1 1077944384 226 0 0 0 3 1 0 0 20 0 19 0 475264020 15857688576 94277 33554432000 4194304 4196468 140726522092240 140483353054096 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3629] ppid=3622 vsize=15486024 memory=377108 CPUtime=0.05 cores=1,3,5,7
/proc/3624/task/3629/stat : 3629 (java) S 3622 3622 2739 0 -1 1077944384 250 0 0 0 4 1 0 0 20 0 19 0 475264020 15857688576 94277 33554432000 4194304 4196468 140726522092240 140483352001296 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3630] ppid=3622 vsize=15486024 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3624/task/3630/stat : 3630 (java) S 3622 3622 2739 0 -1 1077944384 453 0 0 0 1 0 0 0 20 0 19 0 475264021 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482895673712 140483427129986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3631] ppid=3622 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3631/stat : 3631 (java) S 3622 3622 2739 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 475264021 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482894619744 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3632] ppid=3622 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3632/stat : 3632 (java) S 3622 3622 2739 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475264022 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482893566848 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3633] ppid=3622 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3633/stat : 3633 (java) S 3622 3622 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475264024 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482892515152 140483427137435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3634] ppid=3622 vsize=15486024 memory=0 CPUtime=3.45 cores=1,3,5,7
/proc/3624/task/3634/stat : 3634 (java) S 3622 3622 2739 0 -1 1077944384 5790 0 0 0 344 1 0 0 20 0 19 0 475264024 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482891463536 140483427129986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3635] ppid=3622 vsize=15486024 memory=0 CPUtime=3.48 cores=1,3,5,7
/proc/3624/task/3635/stat : 3635 (java) S 3622 3622 2739 0 -1 1077944384 6254 0 0 0 347 1 0 0 20 0 19 0 475264024 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482890410736 140483427129986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3636] ppid=3622 vsize=15486024 memory=280593435603664 CPUtime=1.04 cores=1,3,5,7
/proc/3624/task/3636/stat : 3636 (java) S 3622 3622 2739 0 -1 1077944384 5485 0 0 0 103 1 0 0 20 0 19 0 475264024 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482889357936 140483427129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3637] ppid=3622 vsize=15486024 memory=5938960841715378277 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3637/stat : 3637 (java) S 3622 3622 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475264024 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482888305376 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3638] ppid=3622 vsize=15486024 memory=7669464570319234669 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3638/stat : 3638 (java) S 3622 3622 2739 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 475264025 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482887252656 140483427129986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
Current children cumulated CPU time: 23.58 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 378556 KiB
[startup+7.00079 s]*
/proc/loadavg: 8.66 5.47 2.93 9/237 3706
/proc/meminfo: memFree=8526172/32770624 swapFree=67002124/67108860
[pid=3622] ppid=3619 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3622/stat : 3622 (xcsp3-exec) S 3619 3622 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475264018 115843072 362 33554432000 4194304 5098028 140723575845840 140723575843944 140466029630076 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 15011840 140723575853946 140723575854189 140723575854189 140723575857098 0
/proc/3622/statm: 28282 362 304 221 0 87 0
[pid=3624] ppid=3622 vsize=15486024 memory=377108 CPUtime=24.32 cores=1,3,5,7
/proc/3624/stat : 3624 (java) S 3622 3622 2739 0 -1 1077944320 32577 0 0 0 2414 18 0 0 20 0 19 0 475264019 15857688576 94277 33554432000 4194304 4196468 140726522092240 140726522074784 140483427118839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
/proc/3624/statm: 3871506 94277 3538 1 0 3832606 0
[pid=3624/tid=3625] ppid=3622 vsize=15486024 memory=-1189914978686163229 CPUtime=1.54 cores=1,3,5,7
/proc/3624/task/3625/stat : 3625 (java) S 3622 3622 2739 0 -1 1077944384 9974 0 0 0 148 6 0 0 20 0 19 0 475264019 15857688576 94277 33554432000 4194304 4196468 140726522092240 140483431359616 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3626] ppid=3622 vsize=15486024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/3624/task/3626/stat : 3626 (java) S 3622 3622 2739 0 -1 1077944384 197 0 0 0 4 1 0 0 20 0 19 0 475264020 15857688576 94277 33554432000 4194304 4196468 140726522092240 140483355159696 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3627] ppid=3622 vsize=15486024 memory=3683998565072379951 CPUtime=0.03 cores=1,3,5,7
/proc/3624/task/3627/stat : 3627 (java) S 3622 3622 2739 0 -1 1077944384 137 0 0 0 2 1 0 0 20 0 19 0 475264020 15857688576 94277 33554432000 4194304 4196468 140726522092240 140483354106896 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3628] ppid=3622 vsize=15486024 memory=592004767869567093 CPUtime=0.04 cores=1,3,5,7
/proc/3624/task/3628/stat : 3628 (java) S 3622 3622 2739 0 -1 1077944384 226 0 0 0 3 1 0 0 20 0 19 0 475264020 15857688576 94277 33554432000 4194304 4196468 140726522092240 140483353054096 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3629] ppid=3622 vsize=15486024 memory=303148774178685284 CPUtime=0.05 cores=1,3,5,7
/proc/3624/task/3629/stat : 3629 (java) S 3622 3622 2739 0 -1 1077944384 250 0 0 0 4 1 0 0 20 0 19 0 475264020 15857688576 94277 33554432000 4194304 4196468 140726522092240 140483352001296 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3630] ppid=3622 vsize=15486024 memory=14974490215976637 CPUtime=0.01 cores=1,3,5,7
/proc/3624/task/3630/stat : 3630 (java) S 3622 3622 2739 0 -1 1077944384 453 0 0 0 1 0 0 0 20 0 19 0 475264021 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482895673712 140483427129986 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3631] ppid=3622 vsize=15486024 memory=7156900875542816360 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3631/stat : 3631 (java) S 3622 3622 2739 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 475264021 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482894619744 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3632] ppid=3622 vsize=15486024 memory=7594872605972522863 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3632/stat : 3632 (java) S 3622 3622 2739 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 475264022 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482893566848 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3633] ppid=3622 vsize=15486024 memory=7380670192048956242 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3633/stat : 3633 (java) S 3622 3622 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475264024 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482892515152 140483427137435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3634] ppid=3622 vsize=15486024 memory=7233716026362851177 CPUtime=3.45 cores=1,3,5,7
/proc/3624/task/3634/stat : 3634 (java) S 3622 3622 2739 0 -1 1077944384 5790 0 0 0 344 1 0 0 20 0 19 0 475264024 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482891463536 140483427129986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3635] ppid=3622 vsize=15486024 memory=7156900875542816360 CPUtime=3.49 cores=1,3,5,7
/proc/3624/task/3635/stat : 3635 (java) S 3622 3622 2739 0 -1 1077944384 6254 0 0 0 348 1 0 0 20 0 19 0 475264024 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482890410736 140483427129986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3636] ppid=3622 vsize=15486024 memory=5938960841715378277 CPUtime=1.04 cores=1,3,5,7
/proc/3624/task/3636/stat : 3636 (java) S 3622 3622 2739 0 -1 1077944384 5489 0 0 0 103 1 0 0 20 0 19 0 475264024 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482889357936 140483427129986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3637] ppid=3622 vsize=15486024 memory=7669464570319234669 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3637/stat : 3637 (java) S 3622 3622 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475264024 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482888305376 140483427129045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3638] ppid=3622 vsize=15486024 memory=7669464570319234669 CPUtime=0 cores=1,3,5,7
/proc/3624/task/3638/stat : 3638 (java) R 3622 3622 2739 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 475264025 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482887252656 140483427129986 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3703] ppid=3622 vsize=15486024 memory=7669464570319234669 CPUtime=0.16 cores=1,3,5,7
/proc/3624/task/3703/stat : 3703 (java) R 3622 3622 2739 0 -1 4202560 17 0 0 0 16 0 0 0 20 0 19 0 475264701 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482276465592 140483037920016 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3704] ppid=3622 vsize=15486024 memory=7669464570319234669 CPUtime=0.17 cores=1,3,5,7
/proc/3624/task/3704/stat : 3704 (java) R 3622 3622 2739 0 -1 4202560 17 0 0 0 17 0 0 0 20 0 19 0 475264702 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482278572536 140483030551175 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3705] ppid=3622 vsize=15486024 memory=7300711473194756717 CPUtime=0.17 cores=1,3,5,7
/proc/3624/task/3705/stat : 3705 (java) R 3622 3622 2739 0 -1 4202560 17 0 0 0 17 0 0 0 20 0 19 0 475264702 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482277517240 140483036376909 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
[pid=3624/tid=3706] ppid=3622 vsize=15486024 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/3624/task/3706/stat : 3706 (java) R 3622 3622 2739 0 -1 4202560 17 0 0 0 17 0 0 0 20 0 19 0 475264702 15857688576 94277 33554432000 4194304 4196468 140726522092240 140482280681032 140483037400015 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14462976 140726522098671 140726522098842 140726522098842 140726522101711 0
Current children cumulated CPU time: 24.32 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 378556 KiB
Child status: 0
Real time (s): 7.02628
CPU time (s): 24.3561
CPU user time (s): 24.1639
CPU system time (s): 0.192235
CPU usage (%): 346.643
Max. virtual memory (cumulated for all children) (KiB): 15599152
Max. memory (cumulated for all children) (KiB): 383836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.1639
system time used= 0.192235
maximum resident set size= 382456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33265
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= 3376
involuntary context switches= 866
# summary of solver processes directly reported to runsolver:
# pid: 3622
# total CPU time (s): 24.3561
# total CPU user time (s): 24.1639
# total CPU system time (s): 0.192235
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.077331 second user time and 0.11661 second system time
The end
Begin job on node148 at 2019-09-20 16:49:47 IDJOB=4404119 IDBENCH=126803 IDSOLVER=2864 FILE ID=node148/4404119-1568991025 RUNJOBID= node148-1568990731-2771 PBS_JOBID= 21704650 Free space on /tmp= 21636 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 /tmp/evaluation-result-4404119-1568991025/watcher-4404119-1568991025 -o /tmp/evaluation-result-4404119-1568991025/solver-4404119-1568991025 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568990731-2771 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1376612850 HOME/instance-4404119-1568991025.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 305bfce3403e7be8ea8343edd9c7d9a7 RANDOM SEED=1376612850 node148.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.13 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: 8891660 kB MemAvailable: 30768324 kB Buffers: 114800 kB Cached: 21946816 kB SwapCached: 2800 kB Active: 12086092 kB Inactive: 11064556 kB Active(anon): 1088416 kB Inactive(anon): 47292 kB Active(file): 10997676 kB Inactive(file): 11017264 kB Unevictable: 110964 kB Mlocked: 110964 kB SwapTotal: 67108860 kB SwapFree: 67002124 kB Dirty: 26284 kB Writeback: 0 kB AnonPages: 1239144 kB Mapped: 64692 kB Shmem: 38448 kB Slab: 319456 kB SReclaimable: 290184 kB SUnreclaim: 29272 kB KernelStack: 4080 kB PageTables: 7808 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 2336960 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1132544 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 124288 kB DirectMap2M: 33421312 kB Free space on /tmp at the end= 21608 MiB End job on node148 at 2019-09-20 16:49:55