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-24 | OPT | 3 | 400.05 | 392.749 |
| 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 | 21.818 |
| 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-4406523-1569405073.xml" -tl '2400s' -p 1 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4406523-1569405073.xml, -tl, 2400s, -p, 1] 0.34/0.22 c simple solver 0.34/0.28 c parse instance... 2.51/0.96 c solve instance... 4.82/1.68 o 9 6.06/2.05 o 8 6.06/2.07 o 7 27.05/20.56 o 6 27.20/20.65 o 5 251.05/243.92 o 4 273.11/265.98 o 3 399.98/392.74 s OPTIMUM FOUND 399.98/392.74 v <instantiation> 399.98/392.74 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> 399.98/392.74 v <values>17 13 6 16 5 19 25 23 2 1 3 24 27 18 28 7 29 20 14 10 4 22 15 21 8 11 9 12 0 26 0 0 1 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 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 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 0 0 0 0 1 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 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 0 0 0 0 0 1 1 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 0 0 1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 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 0 0 0 0 0 0 0 0 0 0 0 1 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 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 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 1 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 1 1 2 2 2 2 2 2 2 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 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 1 1 1 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 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 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 2 2 2 2 0 0 0 1 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 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 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 1 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 1 1 1 1 2 2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 2 2 2 2 2 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 2 0 0 1 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 1 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 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 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 1 1 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 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 0 1 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 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 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 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 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 1 0 0 0 1 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 1 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 0 0 0 1 1 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 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 1 1 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 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 1 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 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 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 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 1 1 1 1 1 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 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 0 0 0 1 1 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 2 2 2 3 3 3 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 2 </values> 399.98/392.74 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 (10844 MiB free)
memory of node 1: 16384 MiB (13024 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406523-1569405073/watcher-4406523-1569405073 -o /tmp/evaluation-result-4406523-1569405073/solver-4406523-1569405073 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1569396630-2592 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 674339674 HOME/instance-4406523-1569405073.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4701, runsolver pid=4698
[startup+0.100059 s]*
/proc/loadavg: 2.04 2.04 2.03 4/229 4717
/proc/meminfo: memFree=24426140/32770624 swapFree=66999848/67108860
[pid=4701] ppid=4698 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4701/stat : 4701 (xcsp3-exec) S 4698 4701 2561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516772081 115843072 362 33554432000 4194304 5098028 140735387917952 140735387916056 139811901960828 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 30240768 140735387923323 140735387923565 140735387923565 140735387926474 0
/proc/4701/statm: 28282 362 304 221 0 87 0
[pid=4703] ppid=4701 vsize=15144776 memory=29616 CPUtime=0.13 cores=0,2,4,6
/proc/4703/stat : 4703 (java) S 4701 4701 2561 0 -1 1077944320 5808 0 0 0 11 2 0 0 20 0 15 0 516772081 15508250624 7404 33554432000 4194304 4196468 140721994453888 140721994436432 140227712270071 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
/proc/4703/statm: 3786194 7404 3159 1 0 3748377 0
[pid=4703/tid=4704] ppid=4701 vsize=15144776 memory=8180089925722843723 CPUtime=0.09 cores=0,2,4,6
/proc/4703/task/4704/stat : 4704 (java) R 4701 4701 2561 0 -1 4202560 3726 0 0 0 8 1 0 0 20 0 15 0 516772081 15508250624 7404 33554432000 4194304 4196468 140721994453888 140227716502848 140227704507198 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4705] ppid=4701 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4705/stat : 4705 (java) S 4701 4701 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516772082 15508250624 7404 33554432000 4194304 4196468 140721994453888 140227664890128 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4706] ppid=4701 vsize=15144776 memory=140320465946240 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4706/stat : 4706 (java) S 4701 4701 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516772082 15508250624 7404 33554432000 4194304 4196468 140721994453888 140227663837584 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4707] ppid=4701 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4707/stat : 4707 (java) S 4701 4701 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516772082 15508250624 7404 33554432000 4194304 4196468 140721994453888 140227302578704 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4708] ppid=4701 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4708/stat : 4708 (java) S 4701 4701 2561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516772082 15508250624 7404 33554432000 4194304 4196468 140721994453888 140227301526160 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4709] ppid=4701 vsize=15144776 memory=140320465946240 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4709/stat : 4709 (java) S 4701 4701 2561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516772083 15508250624 7404 33554432000 4194304 4196468 140721994453888 140227180833264 140227712281218 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4710] ppid=4701 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4710/stat : 4710 (java) S 4701 4701 2561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516772084 15508250624 7404 33554432000 4194304 4196468 140721994453888 140227179779488 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4711] ppid=4701 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4711/stat : 4711 (java) S 4701 4701 2561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516772084 15508250624 7404 33554432000 4194304 4196468 140721994453888 140227178726896 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4712] ppid=4701 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4712/stat : 4712 (java) S 4701 4701 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516772087 15508250624 7404 33554432000 4194304 4196468 140721994453888 140227177675472 140227712288667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4713] ppid=4701 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4713/stat : 4713 (java) R 4701 4701 2561 0 -1 4202560 168 0 0 0 0 0 0 0 20 0 15 0 516772087 15508250624 7404 33554432000 4194304 4196468 140721994453888 140227176621248 140227695705809 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4714] ppid=4701 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4714/stat : 4714 (java) R 4701 4701 2561 0 -1 1077944384 283 0 0 0 0 0 0 0 20 0 15 0 516772087 15508250624 7404 33554432000 4194304 4196468 140721994453888 140227175569616 140227712280277 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4715] ppid=4701 vsize=15144776 memory=140320465946240 CPUtime=0.02 cores=0,2,4,6
/proc/4703/task/4715/stat : 4715 (java) R 4701 4701 2561 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 516772087 15508250624 7404 33554432000 4194304 4196468 140721994453888 140227174516976 140227691406009 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4716] ppid=4701 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4716/stat : 4716 (java) S 4701 4701 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516772087 15508250624 7404 33554432000 4194304 4196468 140721994453888 140227173464672 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4717] ppid=4701 vsize=15144776 memory=140320465946240 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4717/stat : 4717 (java) S 4701 4701 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516772087 15508250624 7404 33554432000 4194304 4196468 140721994453888 140227172412208 140227712281218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31064 KiB
[startup+0.210695 s]*
/proc/loadavg: 2.04 2.04 2.03 4/229 4717
/proc/meminfo: memFree=24413068/32770624 swapFree=66999848/67108860
[pid=4701] ppid=4698 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4701/stat : 4701 (xcsp3-exec) S 4698 4701 2561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516772081 115843072 362 33554432000 4194304 5098028 140735387917952 140735387916056 139811901960828 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 30240768 140735387923323 140735387923565 140735387923565 140735387926474 0
/proc/4701/statm: 28282 362 304 221 0 87 0
[pid=4703] ppid=4701 vsize=15144776 memory=40888 CPUtime=0.34 cores=0,2,4,6
/proc/4703/stat : 4703 (java) S 4701 4701 2561 0 -1 1077944320 9428 0 0 0 31 3 0 0 20 0 15 0 516772081 15508250624 10222 33554432000 4194304 4196468 140721994453888 140721994436432 140227712270071 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
/proc/4703/statm: 3786194 10222 3308 1 0 3748377 0
[pid=4703/tid=4704] ppid=4701 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/4703/task/4704/stat : 4704 (java) R 4701 4701 2561 0 -1 4202560 6627 0 0 0 17 2 0 0 20 0 15 0 516772081 15508250624 10222 33554432000 4194304 4196468 140721994453888 140227716508384 140227712282006 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4705] ppid=4701 vsize=15144776 memory=9780 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4705/stat : 4705 (java) S 4701 4701 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516772082 15508250624 10222 33554432000 4194304 4196468 140721994453888 140227664890128 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4706] ppid=4701 vsize=15144776 memory=140320469446177 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4706/stat : 4706 (java) S 4701 4701 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516772082 15508250624 10222 33554432000 4194304 4196468 140721994453888 140227663837584 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4707] ppid=4701 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4707/stat : 4707 (java) S 4701 4701 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516772082 15508250624 10222 33554432000 4194304 4196468 140721994453888 140227302578704 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4708] ppid=4701 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4708/stat : 4708 (java) S 4701 4701 2561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516772082 15508250624 10222 33554432000 4194304 4196468 140721994453888 140227301526160 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4709] ppid=4701 vsize=15144776 memory=140320465946240 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4709/stat : 4709 (java) S 4701 4701 2561 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516772083 15508250624 10222 33554432000 4194304 4196468 140721994453888 140227180833264 140227712281218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4710] ppid=4701 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4710/stat : 4710 (java) S 4701 4701 2561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516772084 15508250624 10222 33554432000 4194304 4196468 140721994453888 140227179779488 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4711] ppid=4701 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4711/stat : 4711 (java) S 4701 4701 2561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516772084 15508250624 10222 33554432000 4194304 4196468 140721994453888 140227178726896 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4712] ppid=4701 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4712/stat : 4712 (java) S 4701 4701 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516772087 15508250624 10222 33554432000 4194304 4196468 140721994453888 140227177675472 140227712288667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4713] ppid=4701 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4703/task/4713/stat : 4713 (java) S 4701 4701 2561 0 -1 1077944384 226 0 0 0 1 0 0 0 20 0 15 0 516772087 15508250624 10222 33554432000 4194304 4196468 140721994453888 140227176622064 140227712281218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4714] ppid=4701 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4703/task/4714/stat : 4714 (java) S 4701 4701 2561 0 -1 1077944384 513 0 0 0 2 0 0 0 20 0 15 0 516772087 15508250624 10222 33554432000 4194304 4196468 140721994453888 140227175569520 140227712281218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4715] ppid=4701 vsize=15144776 memory=140320465946240 CPUtime=0.08 cores=0,2,4,6
/proc/4703/task/4715/stat : 4715 (java) R 4701 4701 2561 0 -1 4202560 757 0 0 0 8 0 0 0 20 0 15 0 516772087 15508250624 10222 33554432000 4194304 4196468 140721994453888 140227174516976 140227691624983 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4716] ppid=4701 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4716/stat : 4716 (java) S 4701 4701 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516772087 15508250624 10222 33554432000 4194304 4196468 140721994453888 140227173464672 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4717] ppid=4701 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4717/stat : 4717 (java) S 4701 4701 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516772087 15508250624 10222 33554432000 4194304 4196468 140721994453888 140227172412208 140227712281218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42336 KiB
[startup+0.310505 s]*
/proc/loadavg: 2.04 2.04 2.03 5/229 4717
/proc/meminfo: memFree=24405828/32770624 swapFree=66999848/67108860
[pid=4701] ppid=4698 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4701/stat : 4701 (xcsp3-exec) S 4698 4701 2561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516772081 115843072 362 33554432000 4194304 5098028 140735387917952 140735387916056 139811901960828 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 30240768 140735387923323 140735387923565 140735387923565 140735387926474 0
/proc/4701/statm: 28282 362 304 221 0 87 0
[pid=4703] ppid=4701 vsize=15149032 memory=50008 CPUtime=0.53 cores=0,2,4,6
/proc/4703/stat : 4703 (java) S 4701 4701 2561 0 -1 1077944320 10796 0 0 0 49 4 0 0 20 0 15 0 516772081 15512608768 12502 33554432000 4194304 4196468 140721994453888 140721994436432 140227712270071 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
/proc/4703/statm: 3787258 12502 3370 1 0 3748377 0
[pid=4703/tid=4704] ppid=4701 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/4703/task/4704/stat : 4704 (java) R 4701 4701 2561 0 -1 4202560 7791 0 0 0 27 3 0 0 20 0 15 0 516772081 15512608768 12502 33554432000 4194304 4196468 140721994453888 140227716496688 140227696350558 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4705] ppid=4701 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4705/stat : 4705 (java) S 4701 4701 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516772082 15512608768 12502 33554432000 4194304 4196468 140721994453888 140227664890128 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4706] ppid=4701 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4706/stat : 4706 (java) S 4701 4701 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516772082 15512608768 12502 33554432000 4194304 4196468 140721994453888 140227663837584 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4707] ppid=4701 vsize=15149032 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4707/stat : 4707 (java) S 4701 4701 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516772082 15512608768 12502 33554432000 4194304 4196468 140721994453888 140227302578704 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4708] ppid=4701 vsize=15149032 memory=8562125494162282060 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4708/stat : 4708 (java) S 4701 4701 2561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516772082 15512608768 12502 33554432000 4194304 4196468 140721994453888 140227301526160 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4709] ppid=4701 vsize=15149032 memory=7151815836934186386 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4709/stat : 4709 (java) S 4701 4701 2561 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516772083 15512608768 12502 33554432000 4194304 4196468 140721994453888 140227180833264 140227712281218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4710] ppid=4701 vsize=15149032 memory=6944938067432061290 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4710/stat : 4710 (java) S 4701 4701 2561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516772084 15512608768 12502 33554432000 4194304 4196468 140721994453888 140227179779488 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4711] ppid=4701 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4711/stat : 4711 (java) S 4701 4701 2561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516772084 15512608768 12502 33554432000 4194304 4196468 140721994453888 140227178726896 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4712] ppid=4701 vsize=15149032 memory=7100839852926015589 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4712/stat : 4712 (java) S 4701 4701 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516772087 15512608768 12502 33554432000 4194304 4196468 140721994453888 140227177675472 140227712288667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4713] ppid=4701 vsize=15149032 memory=-8412656567168561567 CPUtime=0.03 cores=0,2,4,6
/proc/4703/task/4713/stat : 4713 (java) S 4701 4701 2561 0 -1 1077944384 271 0 0 0 3 0 0 0 20 0 15 0 516772087 15512608768 12502 33554432000 4194304 4196468 140721994453888 140227176622064 140227712281218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4714] ppid=4701 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/4703/task/4714/stat : 4714 (java) R 4701 4701 2561 0 -1 4202560 604 0 0 0 5 0 0 0 20 0 15 0 516772087 15512608768 12502 33554432000 4194304 4196468 140721994453888 140227175567920 140227693791250 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4715] ppid=4701 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/4703/task/4715/stat : 4715 (java) S 4701 4701 2561 0 -1 1077944384 848 0 0 0 12 0 0 0 20 0 15 0 516772087 15512608768 12502 33554432000 4194304 4196468 140721994453888 140227174516976 140227712281218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4716] ppid=4701 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4716/stat : 4716 (java) S 4701 4701 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516772087 15512608768 12502 33554432000 4194304 4196468 140721994453888 140227173464672 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4717] ppid=4701 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4717/stat : 4717 (java) S 4701 4701 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516772087 15512608768 12502 33554432000 4194304 4196468 140721994453888 140227172412208 140227712281218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51456 KiB
[startup+0.700762 s]
/proc/loadavg: 2.04 2.04 2.03 7/229 4717
/proc/meminfo: memFree=24381268/32770624 swapFree=66999848/67108860
[pid=4701] ppid=4698 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4701/stat : 4701 (xcsp3-exec) S 4698 4701 2561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516772081 115843072 362 33554432000 4194304 5098028 140735387917952 140735387916056 139811901960828 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 30240768 140735387923323 140735387923565 140735387923565 140735387926474 0
/proc/4701/statm: 28282 362 304 221 0 87 0
[pid=4703] ppid=4701 vsize=15151156 memory=101904 CPUtime=1.81 cores=0,2,4,6
/proc/4703/stat : 4703 (java) S 4701 4701 2561 0 -1 1077944320 15437 0 0 0 175 6 0 0 20 0 15 0 516772081 15514783744 25476 33554432000 4194304 4196468 140721994453888 140721994436432 140227712270071 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
/proc/4703/statm: 3787789 25476 3448 1 0 3748889 0
[pid=4703/tid=4704] ppid=4701 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/4703/task/4704/stat : 4704 (java) R 4701 4701 2561 0 -1 4202560 9016 0 0 0 64 3 0 0 20 0 15 0 516772081 15514783744 25476 33554432000 4194304 4196468 140721994453888 140227716507360 140227343697472 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4705] ppid=4701 vsize=15151156 memory=64792 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4705/stat : 4705 (java) S 4701 4701 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516772082 15514783744 25476 33554432000 4194304 4196468 140721994453888 140227664890128 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4706] ppid=4701 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4706/stat : 4706 (java) S 4701 4701 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516772082 15514783744 25476 33554432000 4194304 4196468 140721994453888 140227663837584 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4707] ppid=4701 vsize=15151156 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4707/stat : 4707 (java) S 4701 4701 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516772082 15514783744 25476 33554432000 4194304 4196468 140721994453888 140227302578704 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4708] ppid=4701 vsize=15151156 memory=1432 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4708/stat : 4708 (java) S 4701 4701 2561 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516772082 15514783744 25476 33554432000 4194304 4196468 140721994453888 140227301526160 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4709] ppid=4701 vsize=15151156 memory=9396 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4709/stat : 4709 (java) S 4701 4701 2561 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516772083 15514783744 25476 33554432000 4194304 4196468 140721994453888 140227180833264 140227712281218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4710] ppid=4701 vsize=15151156 memory=656 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4710/stat : 4710 (java) S 4701 4701 2561 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516772084 15514783744 25476 33554432000 4194304 4196468 140721994453888 140227179779488 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4711] ppid=4701 vsize=15151156 memory=3612 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4711/stat : 4711 (java) S 4701 4701 2561 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516772084 15514783744 25476 33554432000 4194304 4196468 140721994453888 140227178726896 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4712] ppid=4701 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4712/stat : 4712 (java) S 4701 4701 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516772087 15514783744 25476 33554432000 4194304 4196468 140721994453888 140227177675472 140227712288667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4713] ppid=4701 vsize=15151156 memory=1712 CPUtime=0.33 cores=0,2,4,6
/proc/4703/task/4713/stat : 4713 (java) R 4701 4701 2561 0 -1 4202560 1143 0 0 0 33 0 0 0 20 0 15 0 516772087 15514783744 25476 33554432000 4194304 4196468 140721994453888 140227176611536 140227693792152 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4714] ppid=4701 vsize=15151156 memory=1204 CPUtime=0.39 cores=0,2,4,6
/proc/4703/task/4714/stat : 4714 (java) R 4701 4701 2561 0 -1 4202560 2109 0 0 0 39 0 0 0 20 0 15 0 516772087 15514783744 25476 33554432000 4194304 4196468 140721994453888 140227175569520 140227691493311 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4715] ppid=4701 vsize=15151156 memory=1072 CPUtime=0.38 cores=0,2,4,6
/proc/4703/task/4715/stat : 4715 (java) S 4701 4701 2561 0 -1 1077944384 1862 0 0 0 38 0 0 0 20 0 15 0 516772087 15514783744 25476 33554432000 4194304 4196468 140721994453888 140227174516976 140227712281218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4716] ppid=4701 vsize=15151156 memory=6100 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4716/stat : 4716 (java) S 4701 4701 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516772087 15514783744 25476 33554432000 4194304 4196468 140721994453888 140227173464672 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4717] ppid=4701 vsize=15151156 memory=1544 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4717/stat : 4717 (java) S 4701 4701 2561 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516772087 15514783744 25476 33554432000 4194304 4196468 140721994453888 140227172412208 140227712281218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 103352 KiB
[startup+1.50078 s]
/proc/loadavg: 2.04 2.04 2.03 5/229 4717
/proc/meminfo: memFree=24310060/32770624 swapFree=66999848/67108860
[pid=4701] ppid=4698 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4701/stat : 4701 (xcsp3-exec) S 4698 4701 2561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516772081 115843072 362 33554432000 4194304 5098028 140735387917952 140735387916056 139811901960828 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 30240768 140735387923323 140735387923565 140735387923565 140735387926474 0
/proc/4701/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/4701/stat : 4701 (xcsp3-exec) S 4698 4701 2561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516772081 115843072 362 33554432000 4194304 5098028 140735387917952 140735387916056 139811901960828 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 30240768 140735387923323 140735387923565 140735387923565 140735387926474 0
/proc/4701/statm: 28282 362 304 221 0 87 0
[pid=4703] ppid=4701 vsize=15153204 memory=231540 CPUtime=397.79 cores=0,2,4,6
/proc/4703/stat : 4703 (java) S 4701 4701 2561 0 -1 1077944320 66122 0 0 0 39758 21 0 0 20 0 15 0 516772081 15516880896 57885 33554432000 4194304 4196468 140721994453888 140721994436432 140227712270071 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
/proc/4703/statm: 3788301 57885 3516 1 0 3749401 0
[pid=4703/tid=4704] ppid=4701 vsize=15153204 memory=1448 CPUtime=390.44 cores=0,2,4,6
/proc/4703/task/4704/stat : 4704 (java) R 4701 4701 2561 0 -1 4202560 15807 0 0 0 39036 8 0 0 20 0 15 0 516772081 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227716508872 140227350480949 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4705] ppid=4701 vsize=15153204 memory=231540 CPUtime=0.01 cores=0,2,4,6
/proc/4703/task/4705/stat : 4705 (java) S 4701 4701 2561 0 -1 1077944384 192 0 0 0 1 0 0 0 20 0 15 0 516772082 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227664890128 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4706] ppid=4701 vsize=15153204 memory=231540 CPUtime=0.01 cores=0,2,4,6
/proc/4703/task/4706/stat : 4706 (java) S 4701 4701 2561 0 -1 1077944384 973 0 0 0 1 0 0 0 20 0 15 0 516772082 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227663837584 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4707] ppid=4701 vsize=15153204 memory=1448 CPUtime=0.01 cores=0,2,4,6
/proc/4703/task/4707/stat : 4707 (java) S 4701 4701 2561 0 -1 1077944384 1388 0 0 0 1 0 0 0 20 0 15 0 516772082 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227302578704 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4708] ppid=4701 vsize=15153204 memory=231540 CPUtime=0.01 cores=0,2,4,6
/proc/4703/task/4708/stat : 4708 (java) S 4701 4701 2561 0 -1 1077944384 373 0 0 0 1 0 0 0 20 0 15 0 516772082 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227301526160 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4709] ppid=4701 vsize=15153204 memory=34956 CPUtime=0.01 cores=0,2,4,6
/proc/4703/task/4709/stat : 4709 (java) S 4701 4701 2561 0 -1 1077944384 1033 0 0 0 1 0 0 0 20 0 15 0 516772083 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227180833264 140227712281218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4710] ppid=4701 vsize=15153204 memory=64792 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4710/stat : 4710 (java) S 4701 4701 2561 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 516772084 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227179779552 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4711] ppid=4701 vsize=15153204 memory=988 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4711/stat : 4711 (java) S 4701 4701 2561 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 516772084 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227178726912 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4712] ppid=4701 vsize=15153204 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4712/stat : 4712 (java) S 4701 4701 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516772087 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227177675472 140227712288667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4713] ppid=4701 vsize=15153204 memory=6100 CPUtime=3.06 cores=0,2,4,6
/proc/4703/task/4713/stat : 4713 (java) S 4701 4701 2561 0 -1 1077944384 18071 0 0 0 304 2 0 0 20 0 15 0 516772087 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227176622064 140227712281218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4714] ppid=4701 vsize=15153204 memory=1544 CPUtime=3.13 cores=0,2,4,6
/proc/4703/task/4714/stat : 4714 (java) S 4701 4701 2561 0 -1 1077944384 16561 0 0 0 311 2 0 0 20 0 15 0 516772087 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227175569520 140227712281218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4715] ppid=4701 vsize=15153204 memory=776 CPUtime=0.91 cores=0,2,4,6
/proc/4703/task/4715/stat : 4715 (java) S 4701 4701 2561 0 -1 1077944384 9620 0 0 0 90 1 0 0 20 0 15 0 516772087 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227174516976 140227712281218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4716] ppid=4701 vsize=15153204 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4716/stat : 4716 (java) S 4701 4701 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516772087 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227173464672 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4717] ppid=4701 vsize=15153204 memory=231540 CPUtime=0.11 cores=0,2,4,6
/proc/4703/task/4717/stat : 4717 (java) S 4701 4701 2561 0 -1 1077944384 657 0 0 0 5 6 0 0 20 0 15 0 516772087 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227172412208 140227712281218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
Current children cumulated CPU time: 397.79 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 232988 KiB
[startup+392.101 s]*
/proc/loadavg: 2.04 2.03 2.03 3/229 4748
/proc/meminfo: memFree=23682124/32770624 swapFree=66999848/67108860
[pid=4701] ppid=4698 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4701/stat : 4701 (xcsp3-exec) S 4698 4701 2561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516772081 115843072 362 33554432000 4194304 5098028 140735387917952 140735387916056 139811901960828 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 30240768 140735387923323 140735387923565 140735387923565 140735387926474 0
/proc/4701/statm: 28282 362 304 221 0 87 0
[pid=4703] ppid=4701 vsize=15153204 memory=231540 CPUtime=399.39 cores=0,2,4,6
/proc/4703/stat : 4703 (java) S 4701 4701 2561 0 -1 1077944320 66124 0 0 0 39918 21 0 0 20 0 15 0 516772081 15516880896 57885 33554432000 4194304 4196468 140721994453888 140721994436432 140227712270071 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
/proc/4703/statm: 3788301 57885 3516 1 0 3749401 0
[pid=4703/tid=4704] ppid=4701 vsize=15153204 memory=892 CPUtime=392.05 cores=0,2,4,6
/proc/4703/task/4704/stat : 4704 (java) R 4701 4701 2561 0 -1 4202560 15807 0 0 0 39197 8 0 0 20 0 15 0 516772081 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227716508872 140227350480437 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4705] ppid=4701 vsize=15153204 memory=1440 CPUtime=0.01 cores=0,2,4,6
/proc/4703/task/4705/stat : 4705 (java) S 4701 4701 2561 0 -1 1077944384 192 0 0 0 1 0 0 0 20 0 15 0 516772082 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227664890128 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4706] ppid=4701 vsize=15153204 memory=1760 CPUtime=0.01 cores=0,2,4,6
/proc/4703/task/4706/stat : 4706 (java) S 4701 4701 2561 0 -1 1077944384 973 0 0 0 1 0 0 0 20 0 15 0 516772082 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227663837584 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4707] ppid=4701 vsize=15153204 memory=4872558044660077418 CPUtime=0.01 cores=0,2,4,6
/proc/4703/task/4707/stat : 4707 (java) S 4701 4701 2561 0 -1 1077944384 1388 0 0 0 1 0 0 0 20 0 15 0 516772082 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227302578704 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4708] ppid=4701 vsize=15153204 memory=288230596050944315 CPUtime=0.01 cores=0,2,4,6
/proc/4703/task/4708/stat : 4708 (java) S 4701 4701 2561 0 -1 1077944384 373 0 0 0 1 0 0 0 20 0 15 0 516772082 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227301526160 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4709] ppid=4701 vsize=15153204 memory=15262536492649005 CPUtime=0.01 cores=0,2,4,6
/proc/4703/task/4709/stat : 4709 (java) S 4701 4701 2561 0 -1 1077944384 1033 0 0 0 1 0 0 0 20 0 15 0 516772083 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227180833264 140227712281218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4710] ppid=4701 vsize=15153204 memory=1398722017469774279 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4710/stat : 4710 (java) S 4701 4701 2561 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 516772084 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227179779552 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4711] ppid=4701 vsize=15153204 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4711/stat : 4711 (java) S 4701 4701 2561 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 516772084 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227178726912 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4712] ppid=4701 vsize=15153204 memory=231540 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4712/stat : 4712 (java) S 4701 4701 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516772087 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227177675472 140227712288667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4713] ppid=4701 vsize=15153204 memory=1660 CPUtime=3.06 cores=0,2,4,6
/proc/4703/task/4713/stat : 4713 (java) S 4701 4701 2561 0 -1 1077944384 18071 0 0 0 304 2 0 0 20 0 15 0 516772087 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227176622064 140227712281218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4714] ppid=4701 vsize=15153204 memory=1398722017469774279 CPUtime=3.13 cores=0,2,4,6
/proc/4703/task/4714/stat : 4714 (java) S 4701 4701 2561 0 -1 1077944384 16561 0 0 0 311 2 0 0 20 0 15 0 516772087 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227175569520 140227712281218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4715] ppid=4701 vsize=15153204 memory=4872558044660077418 CPUtime=0.91 cores=0,2,4,6
/proc/4703/task/4715/stat : 4715 (java) S 4701 4701 2561 0 -1 1077944384 9620 0 0 0 90 1 0 0 20 0 15 0 516772087 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227174516976 140227712281218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4716] ppid=4701 vsize=15153204 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4716/stat : 4716 (java) S 4701 4701 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516772087 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227173464672 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4717] ppid=4701 vsize=15153204 memory=892 CPUtime=0.11 cores=0,2,4,6
/proc/4703/task/4717/stat : 4717 (java) S 4701 4701 2561 0 -1 1077944384 659 0 0 0 5 6 0 0 20 0 15 0 516772087 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227172412208 140227712281218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
Current children cumulated CPU time: 399.39 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 232988 KiB
[startup+392.501 s]
/proc/loadavg: 2.04 2.03 2.03 3/229 4748
/proc/meminfo: memFree=23682124/32770624 swapFree=66999848/67108860
[pid=4701] ppid=4698 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4701/stat : 4701 (xcsp3-exec) S 4698 4701 2561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516772081 115843072 362 33554432000 4194304 5098028 140735387917952 140735387916056 139811901960828 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 30240768 140735387923323 140735387923565 140735387923565 140735387926474 0
/proc/4701/statm: 28282 362 304 221 0 87 0
[pid=4703] ppid=4701 vsize=15153204 memory=231540 CPUtime=399.78 cores=0,2,4,6
/proc/4703/stat : 4703 (java) S 4701 4701 2561 0 -1 1077944320 66124 0 0 0 39957 21 0 0 20 0 15 0 516772081 15516880896 57885 33554432000 4194304 4196468 140721994453888 140721994436432 140227712270071 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
/proc/4703/statm: 3788301 57885 3516 1 0 3749401 0
[pid=4703/tid=4704] ppid=4701 vsize=15153204 memory=496 CPUtime=392.44 cores=0,2,4,6
/proc/4703/task/4704/stat : 4704 (java) R 4701 4701 2561 0 -1 4202560 15807 0 0 0 39236 8 0 0 20 0 15 0 516772081 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227716508872 140227352778724 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4705] ppid=4701 vsize=15153204 memory=1560 CPUtime=0.01 cores=0,2,4,6
/proc/4703/task/4705/stat : 4705 (java) S 4701 4701 2561 0 -1 1077944384 192 0 0 0 1 0 0 0 20 0 15 0 516772082 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227664890128 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4706] ppid=4701 vsize=15153204 memory=932 CPUtime=0.01 cores=0,2,4,6
/proc/4703/task/4706/stat : 4706 (java) S 4701 4701 2561 0 -1 1077944384 973 0 0 0 1 0 0 0 20 0 15 0 516772082 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227663837584 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4707] ppid=4701 vsize=15153204 memory=1980 CPUtime=0.01 cores=0,2,4,6
/proc/4703/task/4707/stat : 4707 (java) S 4701 4701 2561 0 -1 1077944384 1388 0 0 0 1 0 0 0 20 0 15 0 516772082 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227302578704 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4708] ppid=4701 vsize=15153204 memory=2428 CPUtime=0.01 cores=0,2,4,6
/proc/4703/task/4708/stat : 4708 (java) S 4701 4701 2561 0 -1 1077944384 373 0 0 0 1 0 0 0 20 0 15 0 516772082 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227301526160 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4709] ppid=4701 vsize=15153204 memory=1580 CPUtime=0.01 cores=0,2,4,6
/proc/4703/task/4709/stat : 4709 (java) S 4701 4701 2561 0 -1 1077944384 1033 0 0 0 1 0 0 0 20 0 15 0 516772083 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227180833264 140227712281218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4710] ppid=4701 vsize=15153204 memory=892 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4710/stat : 4710 (java) S 4701 4701 2561 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 516772084 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227179779552 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4711] ppid=4701 vsize=15153204 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4711/stat : 4711 (java) S 4701 4701 2561 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 516772084 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227178726912 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4712] ppid=4701 vsize=15153204 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4712/stat : 4712 (java) S 4701 4701 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516772087 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227177675472 140227712288667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4713] ppid=4701 vsize=15153204 memory=111632 CPUtime=3.06 cores=0,2,4,6
/proc/4703/task/4713/stat : 4713 (java) S 4701 4701 2561 0 -1 1077944384 18071 0 0 0 304 2 0 0 20 0 15 0 516772087 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227176622064 140227712281218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4714] ppid=4701 vsize=15153204 memory=800 CPUtime=3.13 cores=0,2,4,6
/proc/4703/task/4714/stat : 4714 (java) S 4701 4701 2561 0 -1 1077944384 16561 0 0 0 311 2 0 0 20 0 15 0 516772087 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227175569520 140227712281218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4715] ppid=4701 vsize=15153204 memory=1804 CPUtime=0.91 cores=0,2,4,6
/proc/4703/task/4715/stat : 4715 (java) S 4701 4701 2561 0 -1 1077944384 9620 0 0 0 90 1 0 0 20 0 15 0 516772087 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227174516976 140227712281218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4716] ppid=4701 vsize=15153204 memory=920 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4716/stat : 4716 (java) S 4701 4701 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516772087 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227173464672 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4717] ppid=4701 vsize=15153204 memory=3848 CPUtime=0.11 cores=0,2,4,6
/proc/4703/task/4717/stat : 4717 (java) S 4701 4701 2561 0 -1 1077944384 659 0 0 0 5 6 0 0 20 0 15 0 516772087 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227172412208 140227712281218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
Current children cumulated CPU time: 399.78 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 232988 KiB
[startup+392.701 s]
/proc/loadavg: 2.04 2.03 2.03 3/229 4748
/proc/meminfo: memFree=23682124/32770624 swapFree=66999848/67108860
[pid=4701] ppid=4698 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4701/stat : 4701 (xcsp3-exec) S 4698 4701 2561 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516772081 115843072 362 33554432000 4194304 5098028 140735387917952 140735387916056 139811901960828 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 30240768 140735387923323 140735387923565 140735387923565 140735387926474 0
/proc/4701/statm: 28282 362 304 221 0 87 0
[pid=4703] ppid=4701 vsize=15153204 memory=231540 CPUtime=399.98 cores=0,2,4,6
/proc/4703/stat : 4703 (java) S 4701 4701 2561 0 -1 1077944320 66126 0 0 0 39977 21 0 0 20 0 15 0 516772081 15516880896 57885 33554432000 4194304 4196468 140721994453888 140721994436432 140227712270071 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
/proc/4703/statm: 3788301 57885 3516 1 0 3749401 0
[pid=4703/tid=4704] ppid=4701 vsize=15153204 memory=7897517683652307531 CPUtime=392.64 cores=0,2,4,6
/proc/4703/task/4704/stat : 4704 (java) R 4701 4701 2561 0 -1 4202560 15809 0 0 0 39256 8 0 0 20 0 15 0 516772081 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227716508872 140227352711250 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4705] ppid=4701 vsize=15153204 memory=8514726395715349656 CPUtime=0.01 cores=0,2,4,6
/proc/4703/task/4705/stat : 4705 (java) S 4701 4701 2561 0 -1 1077944384 192 0 0 0 1 0 0 0 20 0 15 0 516772082 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227664890128 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4706] ppid=4701 vsize=15153204 memory=3612 CPUtime=0.01 cores=0,2,4,6
/proc/4703/task/4706/stat : 4706 (java) S 4701 4701 2561 0 -1 1077944384 973 0 0 0 1 0 0 0 20 0 15 0 516772082 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227663837584 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4707] ppid=4701 vsize=15153204 memory=2832 CPUtime=0.01 cores=0,2,4,6
/proc/4703/task/4707/stat : 4707 (java) S 4701 4701 2561 0 -1 1077944384 1388 0 0 0 1 0 0 0 20 0 15 0 516772082 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227302578704 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4708] ppid=4701 vsize=15153204 memory=1712 CPUtime=0.01 cores=0,2,4,6
/proc/4703/task/4708/stat : 4708 (java) S 4701 4701 2561 0 -1 1077944384 373 0 0 0 1 0 0 0 20 0 15 0 516772082 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227301526160 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4709] ppid=4701 vsize=15153204 memory=1204 CPUtime=0.01 cores=0,2,4,6
/proc/4703/task/4709/stat : 4709 (java) S 4701 4701 2561 0 -1 1077944384 1033 0 0 0 1 0 0 0 20 0 15 0 516772083 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227180833264 140227712281218 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4710] ppid=4701 vsize=15153204 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4710/stat : 4710 (java) S 4701 4701 2561 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 516772084 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227179779552 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4711] ppid=4701 vsize=15153204 memory=6100 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4711/stat : 4711 (java) S 4701 4701 2561 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 516772084 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227178726912 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4712] ppid=4701 vsize=15153204 memory=1544 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4712/stat : 4712 (java) S 4701 4701 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516772087 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227177675472 140227712288667 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4713] ppid=4701 vsize=15153204 memory=776 CPUtime=3.06 cores=0,2,4,6
/proc/4703/task/4713/stat : 4713 (java) S 4701 4701 2561 0 -1 1077944384 18071 0 0 0 304 2 0 0 20 0 15 0 516772087 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227176622064 140227712281218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4714] ppid=4701 vsize=15153204 memory=1056 CPUtime=3.13 cores=0,2,4,6
/proc/4703/task/4714/stat : 4714 (java) S 4701 4701 2561 0 -1 1077944384 16561 0 0 0 311 2 0 0 20 0 15 0 516772087 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227175569520 140227712281218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4715] ppid=4701 vsize=15153204 memory=14012 CPUtime=0.91 cores=0,2,4,6
/proc/4703/task/4715/stat : 4715 (java) S 4701 4701 2561 0 -1 1077944384 9620 0 0 0 90 1 0 0 20 0 15 0 516772087 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227174516976 140227712281218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4716] ppid=4701 vsize=15153204 memory=34956 CPUtime=0 cores=0,2,4,6
/proc/4703/task/4716/stat : 4716 (java) S 4701 4701 2561 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516772087 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227173464672 140227712280277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
[pid=4703/tid=4717] ppid=4701 vsize=15153204 memory=12024 CPUtime=0.11 cores=0,2,4,6
/proc/4703/task/4717/stat : 4717 (java) S 4701 4701 2561 0 -1 1077944384 659 0 0 0 5 6 0 0 20 0 15 0 516772087 15516880896 57885 33554432000 4194304 4196468 140721994453888 140227172412208 140227712281218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 28 0 0 6293624 6294260 19525632 140721994462191 140721994462362 140721994462362 140721994465231 0
Current children cumulated CPU time: 399.98 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 232988 KiB
Child status: 0
Real time (s): 392.749
CPU time (s): 400.05
CPU user time (s): 399.823
CPU system time (s): 0.226374
CPU usage (%): 101.859
Max. virtual memory (cumulated for all children) (KiB): 15266332
Max. memory (cumulated for all children) (KiB): 232988
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 399.823
system time used= 0.226374
maximum resident set size= 231636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67456
page faults= 0
swaps= 0
block input operations= 0
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11453
involuntary context switches= 355
# summary of solver processes directly reported to runsolver:
# pid: 4701
# total CPU time (s): 400.05
# total CPU user time (s): 399.823
# total CPU system time (s): 0.226374
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.22467 second user time and 2.62378 second system time
The end
Begin job on node123 at 2019-09-25 11:50:33 IDJOB=4406523 IDBENCH=140491 IDSOLVER=2870 FILE ID=node123/4406523-1569405073 RUNJOBID= node123-1569396630-2592 PBS_JOBID= 21705690 Free space on /tmp= 25896 MiB SOLVER NAME= choco-solver 2019-09-24 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1c-s1/OpenStacks-m1c-wbop-30-30-1.xml COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p 1 -ml 12000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4406523-1569405073/watcher-4406523-1569405073 -o /tmp/evaluation-result-4406523-1569405073/solver-4406523-1569405073 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1569396630-2592 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 674339674 HOME/instance-4406523-1569405073.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 67a2d403e3bfd604d92484151c447548 RANDOM SEED=674339674 node123.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.49 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.49 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.49 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.49 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: 24442924 kB MemAvailable: 30593380 kB Buffers: 119836 kB Cached: 6191540 kB SwapCached: 6580 kB Active: 4534212 kB Inactive: 3032260 kB Active(anon): 1248012 kB Inactive(anon): 63868 kB Active(file): 3286200 kB Inactive(file): 2968392 kB Unevictable: 107776 kB Mlocked: 107776 kB SwapTotal: 67108860 kB SwapFree: 66999848 kB Dirty: 26236 kB Writeback: 0 kB AnonPages: 1357492 kB Mapped: 70976 kB Shmem: 47980 kB Slab: 354420 kB SReclaimable: 324324 kB SUnreclaim: 30096 kB KernelStack: 3744 kB PageTables: 8388 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 3070520 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 1247232 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= 25868 MiB End job on node123 at 2019-09-25 11:57:06