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.0597 | 6.85357 |
| Name | OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-30-30-1.xml |
| MD5SUM | 67a2d403e3bfd604d92484151c447548 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 23.8149 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2760 |
| Number of constraints | 2731 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 31 |
| Distribution of domain sizes | [{"size":2,"count":1800},{"size":3,"count":900},{"size":30,"count":30},{"size":31,"count":30}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 31 |
| Distribution of variable degrees | [{"degree":2,"count":960},{"degree":3,"count":1770},{"degree":31,"count":30}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 31 |
| Distribution of constraint arities | [{"arity":2,"count":930},{"arity":3,"count":1770},{"arity":30,"count":1},{"arity":31,"count":30}] |
| Number of extensional constraints | 900 |
| Number of intensional constraints | 900 |
| Distribution of constraint types | [{"type":"extension","count":900},{"type":"intension","count":900},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"element","count":900}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4403823-1568993596.xml" -tl '2520s' -p 4 0.13/0.18 c Choco 3fb4b153 0.13/0.18 c [HOME/instance-4403823-1568993596.xml, -tl, 2520s, -p, 4] 0.33/0.23 c 4 solvers in parallel 0.33/0.29 c parse instance... 4.39/1.51 c solve instance... 5.16/1.71 o 19 5.16/1.73 o 18 5.16/1.74 o 17 5.52/1.86 o 16 5.52/1.88 o 15 6.55/2.17 o 14 6.86/2.22 o 13 7.93/2.50 o 12 7.93/2.52 o 11 8.68/2.70 o 10 9.34/2.94 o 9 16.07/4.64 o 7 16.61/4.87 o 6 16.80/4.91 o 5 22.73/6.47 o 4 23.30/6.66 o 3 23.91/6.84 s OPTIMUM FOUND 23.91/6.84 v <instantiation> 23.91/6.84 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> 23.91/6.84 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> 23.91/6.84 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 (3931 MiB free)
memory of node 1: 16384 MiB (65 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403823-1568993596/watcher-4403823-1568993596 -o /tmp/evaluation-result-4403823-1568993596/solver-4403823-1568993596 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568992882-17661 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 250449309 HOME/instance-4403823-1568993596.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17933, runsolver pid=17930
[startup+0.100125 s]*
/proc/loadavg: 8.18 7.87 7.33 8/231 17949
/proc/meminfo: memFree=4076352/32770624 swapFree=66999216/67108860
[pid=17933] ppid=17930 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17933/stat : 17933 (xcsp3-exec) S 17930 17933 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475612642 115843072 362 33554432000 4194304 5098028 140731722686880 140731722684984 140672823820924 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30658560 140731722695547 140731722695789 140731722695789 140731722698698 0
/proc/17933/statm: 28282 362 304 221 0 87 0
[pid=17935] ppid=17933 vsize=15144776 memory=29348 CPUtime=0.13 cores=0,2,4,6
/proc/17935/stat : 17935 (java) S 17933 17933 14371 0 -1 1077944320 5837 0 0 0 12 1 0 0 20 0 15 0 475612643 15508250624 7337 33554432000 4194304 4196468 140727899928480 140727899911024 139918772227831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
/proc/17935/statm: 3786194 7337 3121 1 0 3748377 0
[pid=17935/tid=17936] ppid=17933 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (java) R 17933 17933 14371 0 -1 4202560 3730 0 0 0 8 1 0 0 20 0 15 0 475612643 15508250624 7403 33554432000 4194304 4196468 140727899928480 139918776459152 139918764464958 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17937] ppid=17933 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (java) S 17933 17933 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475612644 15508250624 7403 33554432000 4194304 4196468 140727899928480 139918700267792 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17938] ppid=17933 vsize=15144776 memory=140061549022248 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (java) S 17933 17933 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475612644 15508250624 7403 33554432000 4194304 4196468 140727899928480 139918699215248 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17939] ppid=17933 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17939/stat : 17939 (java) S 17933 17933 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475612644 15508250624 7403 33554432000 4194304 4196468 140727899928480 139918698162704 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17940] ppid=17933 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17940/stat : 17940 (java) S 17933 17933 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475612644 15508250624 7403 33554432000 4194304 4196468 140727899928480 139918697110160 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17941] ppid=17933 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17941/stat : 17941 (java) S 17933 17933 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475612645 15508250624 7403 33554432000 4194304 4196468 140727899928480 139918240807408 139918772238978 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17942] ppid=17933 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17942/stat : 17942 (java) S 17933 17933 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475612645 15508250624 7403 33554432000 4194304 4196468 140727899928480 139918239753632 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17943] ppid=17933 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17943/stat : 17943 (java) S 17933 17933 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475612646 15508250624 7403 33554432000 4194304 4196468 140727899928480 139918238701040 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17944] ppid=17933 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17944/stat : 17944 (java) S 17933 17933 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475612648 15508250624 7403 33554432000 4194304 4196468 140727899928480 139918237649616 139918772246427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17945] ppid=17933 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17945/stat : 17945 (java) R 17933 17933 14371 0 -1 4202560 342 0 0 0 0 0 0 0 20 0 15 0 475612648 15508250624 7403 33554432000 4194304 4196468 140727899928480 139918236596304 139918755615161 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17946] ppid=17933 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17946/stat : 17946 (java) R 17933 17933 14371 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 475612648 15508250624 7403 33554432000 4194304 4196468 140727899928480 139918235543664 139918772238978 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17947] ppid=17933 vsize=15144776 memory=140061549004416 CPUtime=0.02 cores=0,2,4,6
/proc/17935/task/17947/stat : 17947 (java) S 17933 17933 14371 0 -1 1077944384 356 0 0 0 2 0 0 0 20 0 15 0 475612648 15508250624 7403 33554432000 4194304 4196468 140727899928480 139918234491120 139918772238978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17948] ppid=17933 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17948/stat : 17948 (java) S 17933 17933 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475612648 15508250624 7403 33554432000 4194304 4196468 140727899928480 139918233438816 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17949] ppid=17933 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17949/stat : 17949 (java) S 17933 17933 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475612649 15508250624 7403 33554432000 4194304 4196468 140727899928480 139918232386352 139918772238978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30796 KiB
[startup+0.210873 s]*
/proc/loadavg: 8.18 7.87 7.33 7/231 17949
/proc/meminfo: memFree=4052928/32770624 swapFree=66999216/67108860
[pid=17933] ppid=17930 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17933/stat : 17933 (xcsp3-exec) S 17930 17933 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475612642 115843072 362 33554432000 4194304 5098028 140731722686880 140731722684984 140672823820924 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30658560 140731722695547 140731722695789 140731722695789 140731722698698 0
/proc/17933/statm: 28282 362 304 221 0 87 0
[pid=17935] ppid=17933 vsize=15144776 memory=41132 CPUtime=0.33 cores=0,2,4,6
/proc/17935/stat : 17935 (java) S 17933 17933 14371 0 -1 1077944320 9454 0 0 0 30 3 0 0 20 0 15 0 475612643 15508250624 10283 33554432000 4194304 4196468 140727899928480 140727899911024 139918772227831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
/proc/17935/statm: 3786194 10283 3305 1 0 3748377 0
[pid=17935/tid=17936] ppid=17933 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (java) R 17933 17933 14371 0 -1 4202560 6614 0 0 0 18 2 0 0 20 0 15 0 475612643 15508250624 10283 33554432000 4194304 4196468 140727899928480 139918776465856 139918772249757 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17937] ppid=17933 vsize=15144776 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (java) S 17933 17933 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475612644 15508250624 10283 33554432000 4194304 4196468 140727899928480 139918700267792 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17938] ppid=17933 vsize=15144776 memory=288370437700716160 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (java) S 17933 17933 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475612644 15508250624 10283 33554432000 4194304 4196468 140727899928480 139918699215248 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17939] ppid=17933 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17939/stat : 17939 (java) S 17933 17933 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475612644 15508250624 10283 33554432000 4194304 4196468 140727899928480 139918698162704 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17940] ppid=17933 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17940/stat : 17940 (java) S 17933 17933 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475612644 15508250624 10283 33554432000 4194304 4196468 140727899928480 139918697110160 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17941] ppid=17933 vsize=15144776 memory=140061549004416 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17941/stat : 17941 (java) S 17933 17933 14371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475612645 15508250624 10283 33554432000 4194304 4196468 140727899928480 139918240807408 139918772238978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17942] ppid=17933 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17942/stat : 17942 (java) S 17933 17933 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475612645 15508250624 10283 33554432000 4194304 4196468 140727899928480 139918239753632 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17943] ppid=17933 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17943/stat : 17943 (java) S 17933 17933 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475612646 15508250624 10283 33554432000 4194304 4196468 140727899928480 139918238701040 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17944] ppid=17933 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17944/stat : 17944 (java) S 17933 17933 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475612648 15508250624 10283 33554432000 4194304 4196468 140727899928480 139918237649616 139918772246427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17945] ppid=17933 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/17935/task/17945/stat : 17945 (java) S 17933 17933 14371 0 -1 1077944384 444 0 0 0 2 0 0 0 20 0 15 0 475612648 15508250624 10283 33554432000 4194304 4196468 140727899928480 139918236596208 139918772238978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17946] ppid=17933 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/17935/task/17946/stat : 17946 (java) S 17933 17933 14371 0 -1 1077944384 360 0 0 0 2 0 0 0 20 0 15 0 475612648 15508250624 10283 33554432000 4194304 4196468 140727899928480 139918235543664 139918772238978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17947] ppid=17933 vsize=15144776 memory=140061549004416 CPUtime=0.07 cores=0,2,4,6
/proc/17935/task/17947/stat : 17947 (java) S 17933 17933 14371 0 -1 1077944384 730 0 0 0 7 0 0 0 20 0 15 0 475612648 15508250624 10283 33554432000 4194304 4196468 140727899928480 139918234491120 139918772238978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17948] ppid=17933 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17948/stat : 17948 (java) S 17933 17933 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475612648 15508250624 10283 33554432000 4194304 4196468 140727899928480 139918233438816 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17949] ppid=17933 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17949/stat : 17949 (java) S 17933 17933 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475612649 15508250624 10283 33554432000 4194304 4196468 140727899928480 139918232386352 139918772238978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42580 KiB
[startup+0.310653 s]*
/proc/loadavg: 8.18 7.87 7.33 7/231 17949
/proc/meminfo: memFree=4050496/32770624 swapFree=66999216/67108860
[pid=17933] ppid=17930 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17933/stat : 17933 (xcsp3-exec) S 17930 17933 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475612642 115843072 362 33554432000 4194304 5098028 140731722686880 140731722684984 140672823820924 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30658560 140731722695547 140731722695789 140731722695789 140731722698698 0
/proc/17933/statm: 28282 362 304 221 0 87 0
[pid=17935] ppid=17933 vsize=15149032 memory=49604 CPUtime=0.52 cores=0,2,4,6
/proc/17935/stat : 17935 (java) S 17933 17933 14371 0 -1 1077944320 10768 0 0 0 48 4 0 0 20 0 15 0 475612643 15512608768 12401 33554432000 4194304 4196468 140727899928480 140727899911024 139918772227831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
/proc/17935/statm: 3787258 12401 3349 1 0 3748377 0
[pid=17935/tid=17936] ppid=17933 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (java) R 17933 17933 14371 0 -1 4202560 7716 0 0 0 27 3 0 0 20 0 15 0 475612643 15512608768 12401 33554432000 4194304 4196468 140727899928480 139918776458944 139918756308318 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17937] ppid=17933 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (java) S 17933 17933 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475612644 15512608768 12401 33554432000 4194304 4196468 140727899928480 139918700267792 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17938] ppid=17933 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (java) S 17933 17933 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475612644 15512608768 12401 33554432000 4194304 4196468 140727899928480 139918699215248 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17939] ppid=17933 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17939/stat : 17939 (java) S 17933 17933 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475612644 15512608768 12401 33554432000 4194304 4196468 140727899928480 139918698162704 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17940] ppid=17933 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17940/stat : 17940 (java) S 17933 17933 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475612644 15512608768 12401 33554432000 4194304 4196468 140727899928480 139918697110160 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17941] ppid=17933 vsize=15149032 memory=-7305852742256935071 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17941/stat : 17941 (java) S 17933 17933 14371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475612645 15512608768 12401 33554432000 4194304 4196468 140727899928480 139918240807408 139918772238978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17942] ppid=17933 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17942/stat : 17942 (java) S 17933 17933 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475612645 15512608768 12401 33554432000 4194304 4196468 140727899928480 139918239753632 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17943] ppid=17933 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17943/stat : 17943 (java) S 17933 17933 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475612646 15512608768 12401 33554432000 4194304 4196468 140727899928480 139918238701040 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17944] ppid=17933 vsize=15149032 memory=8514701219781834910 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17944/stat : 17944 (java) S 17933 17933 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475612648 15512608768 12401 33554432000 4194304 4196468 140727899928480 139918237649616 139918772246427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17945] ppid=17933 vsize=15149032 memory=6576575808606938532 CPUtime=0.04 cores=0,2,4,6
/proc/17935/task/17945/stat : 17945 (java) R 17933 17933 14371 0 -1 4202560 541 0 0 0 4 0 0 0 20 0 15 0 475612648 15512608768 12401 33554432000 4194304 4196468 140727899928480 139918236596208 139918752928128 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17946] ppid=17933 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/17935/task/17946/stat : 17946 (java) S 17933 17933 14371 0 -1 1077944384 386 0 0 0 3 0 0 0 20 0 15 0 475612648 15512608768 12401 33554432000 4194304 4196468 140727899928480 139918235543664 139918772238978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17947] ppid=17933 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/17935/task/17947/stat : 17947 (java) S 17933 17933 14371 0 -1 1077944384 846 0 0 0 13 0 0 0 20 0 15 0 475612648 15512608768 12401 33554432000 4194304 4196468 140727899928480 139918234491120 139918772238978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17948] ppid=17933 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17948/stat : 17948 (java) S 17933 17933 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475612648 15512608768 12401 33554432000 4194304 4196468 140727899928480 139918233438816 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17949] ppid=17933 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17949/stat : 17949 (java) S 17933 17933 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475612649 15512608768 12401 33554432000 4194304 4196468 140727899928480 139918232386352 139918772238978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51052 KiB
[startup+0.700778 s]
/proc/loadavg: 8.18 7.87 7.33 8/231 17949
/proc/meminfo: memFree=4034920/32770624 swapFree=66999216/67108860
[pid=17933] ppid=17930 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17933/stat : 17933 (xcsp3-exec) S 17930 17933 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475612642 115843072 362 33554432000 4194304 5098028 140731722686880 140731722684984 140672823820924 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30658560 140731722695547 140731722695789 140731722695789 140731722698698 0
/proc/17933/statm: 28282 362 304 221 0 87 0
[pid=17935] ppid=17933 vsize=15151156 memory=99716 CPUtime=1.77 cores=0,2,4,6
/proc/17935/stat : 17935 (java) S 17933 17933 14371 0 -1 1077944320 15529 0 0 0 170 7 0 0 20 0 15 0 475612643 15514783744 24929 33554432000 4194304 4196468 140727899928480 140727899911024 139918772227831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
/proc/17935/statm: 3787789 24929 3447 1 0 3748889 0
[pid=17935/tid=17936] ppid=17933 vsize=15151156 memory=-7533522213388100735 CPUtime=0.68 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (java) R 17933 17933 14371 0 -1 4202560 9104 0 0 0 63 5 0 0 20 0 15 0 475612643 15514783744 24929 33554432000 4194304 4196468 140727899928480 139918776456752 139918756308318 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17937] ppid=17933 vsize=15151156 memory=7019257425709197167 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (java) S 17933 17933 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475612644 15514783744 24929 33554432000 4194304 4196468 140727899928480 139918700267792 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17938] ppid=17933 vsize=15151156 memory=7519155755615801680 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (java) S 17933 17933 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475612644 15514783744 24929 33554432000 4194304 4196468 140727899928480 139918699215248 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17939] ppid=17933 vsize=15151156 memory=3604 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17939/stat : 17939 (java) S 17933 17933 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475612644 15514783744 24929 33554432000 4194304 4196468 140727899928480 139918698162704 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17940] ppid=17933 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17940/stat : 17940 (java) S 17933 17933 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475612644 15514783744 24929 33554432000 4194304 4196468 140727899928480 139918697110160 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17941] ppid=17933 vsize=15151156 memory=676 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17941/stat : 17941 (java) S 17933 17933 14371 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475612645 15514783744 24929 33554432000 4194304 4196468 140727899928480 139918240807408 139918772238978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17942] ppid=17933 vsize=15151156 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17942/stat : 17942 (java) S 17933 17933 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475612645 15514783744 24929 33554432000 4194304 4196468 140727899928480 139918239753632 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17943] ppid=17933 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17943/stat : 17943 (java) S 17933 17933 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475612646 15514783744 24929 33554432000 4194304 4196468 140727899928480 139918238701040 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17944] ppid=17933 vsize=15151156 memory=8560 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17944/stat : 17944 (java) S 17933 17933 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475612648 15514783744 24929 33554432000 4194304 4196468 140727899928480 139918237649616 139918772246427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17945] ppid=17933 vsize=15151156 memory=1712 CPUtime=0.34 cores=0,2,4,6
/proc/17935/task/17945/stat : 17945 (java) S 17933 17933 14371 0 -1 1077944384 1384 0 0 0 34 0 0 0 20 0 15 0 475612648 15514783744 24929 33554432000 4194304 4196468 140727899928480 139918236596208 139918772238978 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17946] ppid=17933 vsize=15151156 memory=1112 CPUtime=0.35 cores=0,2,4,6
/proc/17935/task/17946/stat : 17946 (java) S 17933 17933 14371 0 -1 1077944384 1886 0 0 0 35 0 0 0 20 0 15 0 475612648 15514783744 24929 33554432000 4194304 4196468 140727899928480 139918235543664 139918772238978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17947] ppid=17933 vsize=15151156 memory=1004 CPUtime=0.37 cores=0,2,4,6
/proc/17935/task/17947/stat : 17947 (java) S 17933 17933 14371 0 -1 1077944384 1848 0 0 0 37 0 0 0 20 0 15 0 475612648 15514783744 24929 33554432000 4194304 4196468 140727899928480 139918234491120 139918772238978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17948] ppid=17933 vsize=15151156 memory=6064 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17948/stat : 17948 (java) S 17933 17933 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475612648 15514783744 24929 33554432000 4194304 4196468 140727899928480 139918233438816 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17949] ppid=17933 vsize=15151156 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17949/stat : 17949 (java) S 17933 17933 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475612649 15514783744 24929 33554432000 4194304 4196468 140727899928480 139918232386352 139918772238978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 101164 KiB
[startup+1.5008 s]
/proc/loadavg: 8.18 7.87 7.33 8/231 17949
/proc/meminfo: memFree=3961732/32770624 swapFree=66999216/67108860
[pid=17933] ppid=17930 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17933/stat : 17933 (xcsp3-exec) S 17930 17933 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475612642 115843072 362 33554432000 4194304 5098028 140731722686880 140731722684984 140672823820924 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30658560 140731722695547 140731722695789 140731722695789 140731722698698 0
/proc/17933/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/17935/task/17949/stat : 17949 (java) S 17933 17933 14371 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 475612649 15858741248 69865 33554432000 4194304 4196468 140727899928480 139918232386352 139918772238978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17994] ppid=17933 vsize=15487052 memory=7295950583417696866 CPUtime=0.08 cores=0,2,4,6
/proc/17935/task/17994/stat : 17994 (java) R 17933 17933 14371 0 -1 4202560 19 0 0 0 8 0 0 0 20 0 19 0 475612936 15858741248 69865 33554432000 4194304 4196468 140727899928480 139917756705704 139918382910912 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17995] ppid=17933 vsize=15487052 memory=7300704776819335744 CPUtime=0.08 cores=0,2,4,6
/proc/17935/task/17995/stat : 17995 (java) R 17933 17933 14371 0 -1 4202560 27 0 0 0 8 0 0 0 20 0 19 0 475612936 15858741248 69865 33554432000 4194304 4196468 140727899928480 139918225266488 139918378207022 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17996] ppid=17933 vsize=15487052 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17935/task/17996/stat : 17996 (java) R 17933 17933 14371 0 -1 4202560 19 0 0 0 8 0 0 0 20 0 19 0 475612937 15858741248 69865 33554432000 4194304 4196468 140727899928480 139917758814688 139918383807348 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17997] ppid=17933 vsize=15487052 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/17935/task/17997/stat : 17997 (java) R 17933 17933 14371 0 -1 4202560 21 0 0 0 7 0 0 0 20 0 19 0 475612937 15858741248 69865 33554432000 4194304 4196468 140727899928480 139917757759256 139918757453824 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
Current children cumulated CPU time: 10.12 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 280908 KiB
[startup+6.30117 s]
/proc/loadavg: 8.32 7.91 7.35 10/234 18009
/proc/meminfo: memFree=3719792/32770624 swapFree=66999216/67108860
[pid=17933] ppid=17930 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17933/stat : 17933 (xcsp3-exec) S 17930 17933 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475612642 115843072 362 33554432000 4194304 5098028 140731722686880 140731722684984 140672823820924 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30658560 140731722695547 140731722695789 140731722695789 140731722698698 0
/proc/17933/statm: 28282 362 304 221 0 87 0
[pid=17935] ppid=17933 vsize=15487052 memory=386984 CPUtime=22.33 cores=0,2,4,6
/proc/17935/stat : 17935 (java) S 17933 17933 14371 0 -1 1077944320 33537 0 0 0 2216 17 0 0 20 0 19 0 475612643 15858741248 96746 33554432000 4194304 4196468 140727899928480 140727899911024 139918772227831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
/proc/17935/statm: 3871763 96746 3543 1 0 3832863 0
[pid=17935/tid=17936] ppid=17933 vsize=15487052 memory=386736 CPUtime=1.52 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (java) S 17933 17933 14371 0 -1 1077944384 10369 0 0 0 146 6 0 0 20 0 19 0 475612643 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918776468608 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17937] ppid=17933 vsize=15487052 memory=1448 CPUtime=0.05 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (java) S 17933 17933 14371 0 -1 1077944384 155 0 0 0 4 1 0 0 20 0 19 0 475612644 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918700267792 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17938] ppid=17933 vsize=15487052 memory=386736 CPUtime=0.04 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (java) S 17933 17933 14371 0 -1 1077944384 124 0 0 0 4 0 0 0 20 0 19 0 475612644 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918699215248 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17939] ppid=17933 vsize=15487052 memory=280122868456896 CPUtime=0.04 cores=0,2,4,6
/proc/17935/task/17939/stat : 17939 (java) S 17933 17933 14371 0 -1 1077944384 121 0 0 0 4 0 0 0 20 0 19 0 475612644 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918698162704 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17940] ppid=17933 vsize=15487052 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/17935/task/17940/stat : 17940 (java) S 17933 17933 14371 0 -1 1077944384 207 0 0 0 4 1 0 0 20 0 19 0 475612644 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918697110160 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17941] ppid=17933 vsize=15487052 memory=3504 CPUtime=0.01 cores=0,2,4,6
/proc/17935/task/17941/stat : 17941 (java) S 17933 17933 14371 0 -1 1077944384 357 0 0 0 1 0 0 0 20 0 19 0 475612645 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918240807408 139918772238978 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17942] ppid=17933 vsize=15487052 memory=55956 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17942/stat : 17942 (java) S 17933 17933 14371 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 475612645 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918239753696 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17943] ppid=17933 vsize=15487052 memory=280122867565136 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17943/stat : 17943 (java) S 17933 17933 14371 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 475612646 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918238701056 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17944] ppid=17933 vsize=15487052 memory=8390339637985935414 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17944/stat : 17944 (java) S 17933 17933 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475612648 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918237649616 139918772246427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17945] ppid=17933 vsize=15487052 memory=288230600413029272 CPUtime=3.58 cores=0,2,4,6
/proc/17935/task/17945/stat : 17945 (java) R 17933 17933 14371 0 -1 4202560 6715 0 0 0 357 1 0 0 20 0 19 0 475612648 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918236596208 139918772249178 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17946] ppid=17933 vsize=15487052 memory=6791534058613427641 CPUtime=3.92 cores=0,2,4,6
/proc/17935/task/17946/stat : 17946 (java) R 17933 17933 14371 0 -1 4202560 7169 0 0 0 390 2 0 0 20 0 19 0 475612648 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918235529504 139918753772338 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17947] ppid=17933 vsize=15487052 memory=932 CPUtime=1.03 cores=0,2,4,6
/proc/17935/task/17947/stat : 17947 (java) S 17933 17933 14371 0 -1 1077944384 4622 0 0 0 102 1 0 0 20 0 19 0 475612648 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918234491120 139918772238978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17948] ppid=17933 vsize=15487052 memory=3768 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17948/stat : 17948 (java) S 17933 17933 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475612648 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918233438816 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17949] ppid=17933 vsize=15487052 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17949/stat : 17949 (java) S 17933 17933 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475612649 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918232386352 139918772238978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=18006] ppid=17933 vsize=15487052 memory=152 CPUtime=1.36 cores=0,2,4,6
/proc/17935/task/18006/stat : 18006 (java) R 17933 17933 14371 0 -1 4202560 17 0 0 0 136 0 0 0 20 0 19 0 475613134 15858741248 96746 33554432000 4194304 4196468 140727899928480 139917758811576 139918382512213 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=18007] ppid=17933 vsize=15487052 memory=0 CPUtime=1.18 cores=0,2,4,6
/proc/17935/task/18007/stat : 18007 (java) R 17933 17933 14371 0 -1 4202560 35 0 0 0 118 0 0 0 20 0 19 0 475613134 15858741248 96746 33554432000 4194304 4196468 140727899928480 139917757759480 139918376553072 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=18008] ppid=17933 vsize=15487052 memory=2035 CPUtime=1.31 cores=0,2,4,6
/proc/17935/task/18008/stat : 18008 (java) R 17933 17933 14371 0 -1 4202560 25 0 0 0 131 0 0 0 20 0 19 0 475613134 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918225265768 139918385556259 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=18009] ppid=17933 vsize=15487052 memory=152 CPUtime=1.09 cores=0,2,4,6
/proc/17935/task/18009/stat : 18009 (java) R 17933 17933 14371 0 -1 4202560 19 0 0 0 109 0 0 0 20 0 19 0 475613134 15858741248 96746 33554432000 4194304 4196468 140727899928480 139917756708024 139918385556479 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
Current children cumulated CPU time: 22.33 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 388432 KiB
[startup+6.85351 s]
# the end of solver process 17933 was just reported to runsolver
# cumulated CPU time of all completed processes: user=23.8726 s, system=0.187166 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40117 s]
/proc/loadavg: 8.32 7.91 7.35 10/234 18009
/proc/meminfo: memFree=3719792/32770624 swapFree=66999216/67108860
[pid=17933] ppid=17930 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17933/stat : 17933 (xcsp3-exec) S 17930 17933 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475612642 115843072 362 33554432000 4194304 5098028 140731722686880 140731722684984 140672823820924 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30658560 140731722695547 140731722695789 140731722695789 140731722698698 0
/proc/17933/statm: 28282 362 304 221 0 87 0
[pid=17935] ppid=17933 vsize=15487052 memory=386984 CPUtime=22.73 cores=0,2,4,6
/proc/17935/stat : 17935 (java) S 17933 17933 14371 0 -1 1077944320 33553 0 0 0 2256 17 0 0 20 0 19 0 475612643 15858741248 96746 33554432000 4194304 4196468 140727899928480 140727899911024 139918772227831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
/proc/17935/statm: 3871763 96746 3543 1 0 3832863 0
[pid=17935/tid=17936] ppid=17933 vsize=15487052 memory=115 CPUtime=1.52 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (java) S 17933 17933 14371 0 -1 1077944384 10369 0 0 0 146 6 0 0 20 0 19 0 475612643 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918776468608 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17937] ppid=17933 vsize=15487052 memory=117 CPUtime=0.05 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (java) S 17933 17933 14371 0 -1 1077944384 155 0 0 0 4 1 0 0 20 0 19 0 475612644 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918700267792 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17938] ppid=17933 vsize=15487052 memory=68 CPUtime=0.04 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (java) S 17933 17933 14371 0 -1 1077944384 124 0 0 0 4 0 0 0 20 0 19 0 475612644 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918699215248 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17939] ppid=17933 vsize=15487052 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/17935/task/17939/stat : 17939 (java) S 17933 17933 14371 0 -1 1077944384 121 0 0 0 4 0 0 0 20 0 19 0 475612644 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918698162704 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17940] ppid=17933 vsize=15487052 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/17935/task/17940/stat : 17940 (java) S 17933 17933 14371 0 -1 1077944384 207 0 0 0 4 1 0 0 20 0 19 0 475612644 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918697110160 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17941] ppid=17933 vsize=15487052 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/17935/task/17941/stat : 17941 (java) S 17933 17933 14371 0 -1 1077944384 357 0 0 0 1 0 0 0 20 0 19 0 475612645 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918240807408 139918772238978 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17942] ppid=17933 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17942/stat : 17942 (java) S 17933 17933 14371 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 475612645 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918239753696 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17943] ppid=17933 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17943/stat : 17943 (java) S 17933 17933 14371 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 475612646 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918238701056 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17944] ppid=17933 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17944/stat : 17944 (java) S 17933 17933 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475612648 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918237649616 139918772246427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17945] ppid=17933 vsize=15487052 memory=0 CPUtime=3.63 cores=0,2,4,6
/proc/17935/task/17945/stat : 17945 (java) R 17933 17933 14371 0 -1 4202560 6728 0 0 0 362 1 0 0 20 0 19 0 475612648 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918236596128 139918753748964 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17946] ppid=17933 vsize=15487052 memory=0 CPUtime=3.94 cores=0,2,4,6
/proc/17935/task/17946/stat : 17946 (java) S 17933 17933 14371 0 -1 1077944384 7170 0 0 0 392 2 0 0 20 0 19 0 475612648 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918235543664 139918772238978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17947] ppid=17933 vsize=15487052 memory=0 CPUtime=1.03 cores=0,2,4,6
/proc/17935/task/17947/stat : 17947 (java) S 17933 17933 14371 0 -1 1077944384 4622 0 0 0 102 1 0 0 20 0 19 0 475612648 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918234491120 139918772238978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17948] ppid=17933 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17948/stat : 17948 (java) S 17933 17933 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475612648 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918233438816 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17949] ppid=17933 vsize=15487052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17949/stat : 17949 (java) S 17933 17933 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475612649 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918232386352 139918772238978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=18006] ppid=17933 vsize=15487052 memory=475 CPUtime=1.46 cores=0,2,4,6
/proc/17935/task/18006/stat : 18006 (java) R 17933 17933 14371 0 -1 4202560 17 0 0 0 146 0 0 0 20 0 19 0 475613134 15858741248 96746 33554432000 4194304 4196468 140727899928480 139917758811512 139918385556037 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=18007] ppid=17933 vsize=15487052 memory=148 CPUtime=1.23 cores=0,2,4,6
/proc/17935/task/18007/stat : 18007 (java) R 17933 17933 14371 0 -1 4202560 35 0 0 0 123 0 0 0 20 0 19 0 475613134 15858741248 96746 33554432000 4194304 4196468 140727899928480 139917757759480 139918385556423 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=18008] ppid=17933 vsize=15487052 memory=2 CPUtime=1.41 cores=0,2,4,6
/proc/17935/task/18008/stat : 18008 (java) R 17933 17933 14371 0 -1 4202560 27 0 0 0 141 0 0 0 20 0 19 0 475613134 15858741248 96746 33554432000 4194304 4196468 140727899928480 139918225265768 139918385556259 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=18009] ppid=17933 vsize=15487052 memory=2 CPUtime=1.17 cores=0,2,4,6
/proc/17935/task/18009/stat : 18009 (java) R 17933 17933 14371 0 -1 4202560 19 0 0 0 117 0 0 0 20 0 19 0 475613134 15858741248 96746 33554432000 4194304 4196468 140727899928480 139917756708024 139918385556649 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
Current children cumulated CPU time: 22.73 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 388432 KiB
[startup+6.80117 s]
/proc/loadavg: 8.32 7.91 7.35 10/234 18009
/proc/meminfo: memFree=3719792/32770624 swapFree=66999216/67108860
[pid=17933] ppid=17930 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17933/stat : 17933 (xcsp3-exec) S 17930 17933 14371 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475612642 115843072 362 33554432000 4194304 5098028 140731722686880 140731722684984 140672823820924 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30658560 140731722695547 140731722695789 140731722695789 140731722698698 0
/proc/17933/statm: 28282 362 304 221 0 87 0
[pid=17935] ppid=17933 vsize=15487052 memory=386988 CPUtime=23.91 cores=0,2,4,6
/proc/17935/stat : 17935 (java) S 17933 17933 14371 0 -1 1077944320 33746 0 0 0 2373 18 0 0 20 0 19 0 475612643 15858741248 96747 33554432000 4194304 4196468 140727899928480 140727899911024 139918772227831 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
/proc/17935/statm: 3871763 96747 3543 1 0 3832863 0
[pid=17935/tid=17936] ppid=17933 vsize=15487052 memory=6628 CPUtime=1.52 cores=0,2,4,6
/proc/17935/task/17936/stat : 17936 (java) S 17933 17933 14371 0 -1 1077944384 10370 0 0 0 146 6 0 0 20 0 19 0 475612643 15858741248 96747 33554432000 4194304 4196468 140727899928480 139918776468608 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17937] ppid=17933 vsize=15487052 memory=8836 CPUtime=0.05 cores=0,2,4,6
/proc/17935/task/17937/stat : 17937 (java) S 17933 17933 14371 0 -1 1077944384 155 0 0 0 4 1 0 0 20 0 19 0 475612644 15858741248 96747 33554432000 4194304 4196468 140727899928480 139918700267792 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17938] ppid=17933 vsize=15487052 memory=11044 CPUtime=0.04 cores=0,2,4,6
/proc/17935/task/17938/stat : 17938 (java) S 17933 17933 14371 0 -1 1077944384 124 0 0 0 4 0 0 0 20 0 19 0 475612644 15858741248 96747 33554432000 4194304 4196468 140727899928480 139918699215248 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17939] ppid=17933 vsize=15487052 memory=13252 CPUtime=0.04 cores=0,2,4,6
/proc/17935/task/17939/stat : 17939 (java) S 17933 17933 14371 0 -1 1077944384 121 0 0 0 4 0 0 0 20 0 19 0 475612644 15858741248 96747 33554432000 4194304 4196468 140727899928480 139918698162704 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17940] ppid=17933 vsize=15487052 memory=15460 CPUtime=0.05 cores=0,2,4,6
/proc/17935/task/17940/stat : 17940 (java) S 17933 17933 14371 0 -1 1077944384 207 0 0 0 4 1 0 0 20 0 19 0 475612644 15858741248 96747 33554432000 4194304 4196468 140727899928480 139918697110160 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17941] ppid=17933 vsize=15487052 memory=17668 CPUtime=0.01 cores=0,2,4,6
/proc/17935/task/17941/stat : 17941 (java) S 17933 17933 14371 0 -1 1077944384 357 0 0 0 1 0 0 0 20 0 19 0 475612645 15858741248 96747 33554432000 4194304 4196468 140727899928480 139918240807408 139918772238978 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17942] ppid=17933 vsize=15487052 memory=19876 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17942/stat : 17942 (java) S 17933 17933 14371 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 475612645 15858741248 96747 33554432000 4194304 4196468 140727899928480 139918239753696 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17943] ppid=17933 vsize=15487052 memory=22084 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17943/stat : 17943 (java) S 17933 17933 14371 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 475612646 15858741248 96747 33554432000 4194304 4196468 140727899928480 139918238701056 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17944] ppid=17933 vsize=15487052 memory=22116 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17944/stat : 17944 (java) S 17933 17933 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475612648 15858741248 96747 33554432000 4194304 4196468 140727899928480 139918237649616 139918772246427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17945] ppid=17933 vsize=15487052 memory=6944656592387989600 CPUtime=3.65 cores=0,2,4,6
/proc/17935/task/17945/stat : 17945 (java) S 17933 17933 14371 0 -1 1077944384 6739 0 0 0 364 1 0 0 20 0 19 0 475612648 15858741248 96747 33554432000 4194304 4196468 140727899928480 139918236596208 139918772238978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17946] ppid=17933 vsize=15487052 memory=3028 CPUtime=4.01 cores=0,2,4,6
/proc/17935/task/17946/stat : 17946 (java) S 17933 17933 14371 0 -1 1077944384 7185 0 0 0 399 2 0 0 20 0 19 0 475612648 15858741248 96747 33554432000 4194304 4196468 140727899928480 139918235543664 139918772238978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17947] ppid=17933 vsize=15487052 memory=2012 CPUtime=1.04 cores=0,2,4,6
/proc/17935/task/17947/stat : 17947 (java) S 17933 17933 14371 0 -1 1077944384 4649 0 0 0 103 1 0 0 20 0 19 0 475612648 15858741248 96747 33554432000 4194304 4196468 140727899928480 139918234491120 139918772238978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17948] ppid=17933 vsize=15487052 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17948/stat : 17948 (java) S 17933 17933 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475612648 15858741248 96747 33554432000 4194304 4196468 140727899928480 139918233438816 139918772238037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
[pid=17935/tid=17949] ppid=17933 vsize=15487052 memory=776 CPUtime=0 cores=0,2,4,6
/proc/17935/task/17949/stat : 17949 (java) S 17933 17933 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475612649 15858741248 96747 33554432000 4194304 4196468 140727899928480 139918232386352 139918772238978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140727899935727 140727899935898 140727899935898 140727899938767 0
Current children cumulated CPU time: 23.91 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 388436 KiB
Child status: 0
Real time (s): 6.85357
CPU time (s): 24.0597
CPU user time (s): 23.8726
CPU system time (s): 0.187166
CPU usage (%): 351.054
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 388436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.8726
system time used= 0.187166
maximum resident set size= 387680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34441
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= 3497
involuntary context switches= 882
# summary of solver processes directly reported to runsolver:
# pid: 17933
# total CPU time (s): 24.0597
# total CPU user time (s): 23.8726
# total CPU system time (s): 0.187166
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.056411 second user time and 0.125431 second system time
The end
Begin job on node103 at 2019-09-20 17:32:17 IDJOB=4403823 IDBENCH=140491 IDSOLVER=2863 FILE ID=node103/4403823-1568993596 RUNJOBID= node103-1568992882-17661 PBS_JOBID= 21704654 Free space on /tmp= 20832 MiB SOLVER NAME= choco-solver 2019-09-20 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-wbop-30-30-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4403823-1568993596/watcher-4403823-1568993596 -o /tmp/evaluation-result-4403823-1568993596/solver-4403823-1568993596 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568992882-17661 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 250449309 HOME/instance-4403823-1568993596.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 67a2d403e3bfd604d92484151c447548 RANDOM SEED=250449309 node103.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.74 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.74 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.74 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.74 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: 4092868 kB MemAvailable: 19295860 kB Buffers: 64656 kB Cached: 15409712 kB SwapCached: 6972 kB Active: 19162836 kB Inactive: 8867280 kB Active(anon): 11447600 kB Inactive(anon): 1157236 kB Active(file): 7715236 kB Inactive(file): 7710044 kB Unevictable: 107464 kB Mlocked: 107464 kB SwapTotal: 67108860 kB SwapFree: 66999216 kB Dirty: 26164 kB Writeback: 0 kB AnonPages: 12658924 kB Mapped: 65616 kB Shmem: 40864 kB Slab: 216156 kB SReclaimable: 187096 kB SUnreclaim: 29060 kB KernelStack: 3904 kB PageTables: 30356 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 13312100 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 4220928 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 20804 MiB End job on node103 at 2019-09-20 17:32:24