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 | 540.143 | 533.229 |
| Name | OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbop-30-30-1.xml |
| MD5SUM | 305bfce3403e7be8ea8343edd9c7d9a7 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 24.6929 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2760 |
| Number of constraints | 2731 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 31 |
| Distribution of domain sizes | [{"size":2,"count":1800},{"size":3,"count":900},{"size":30,"count":30},{"size":31,"count":30}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 31 |
| Distribution of variable degrees | [{"degree":2,"count":960},{"degree":3,"count":1770},{"degree":31,"count":30}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 31 |
| Distribution of constraint arities | [{"arity":2,"count":930},{"arity":3,"count":1770},{"arity":30,"count":1},{"arity":31,"count":30}] |
| Number of extensional constraints | 900 |
| Number of intensional constraints | 900 |
| Distribution of constraint types | [{"type":"extension","count":900},{"type":"intension","count":900},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"element","count":900}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406219-1569404527.xml" -tl '2520s' -p 1 0.12/0.18 c Choco e747e1e 0.12/0.18 c [HOME/instance-4406219-1569404527.xml, -tl, 2520s, -p, 1] 0.12/0.22 c simple solver 0.36/0.28 c parse instance... 2.52/0.96 c solve instance... 5.10/1.72 o 9 6.36/2.13 o 8 6.36/2.14 o 7 32.78/26.63 o 6 32.88/26.75 o 5 323.60/316.93 o 4 350.93/344.11 o 3 540.11/533.22 s OPTIMUM FOUND 540.11/533.22 v <instantiation> 540.11/533.22 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> 540.11/533.22 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> 540.11/533.22 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 (11552 MiB free)
memory of node 1: 16384 MiB (11941 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406219-1569404527/watcher-4406219-1569404527 -o /var/tmp/evaluation-result-4406219-1569404527/solver-4406219-1569404527 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1569396629-4888 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1988558389 HOME/instance-4406219-1569404527.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6768, runsolver pid=6765
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 1.75 1.82 1.90 4/229 6784
/proc/meminfo: memFree=24040336/32770624 swapFree=66976792/67108860
[pid=6768] ppid=6765 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6768/stat : 6768 (xcsp3-exec) S 6765 6768 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516392791 115843072 363 33554432000 4194304 5098028 140733330706848 140733330704952 140325147423356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19685376 140733330711382 140733330711641 140733330711641 140733330714566 0
/proc/6768/statm: 28282 363 304 221 0 87 0
[pid=6770] ppid=6768 vsize=15144776 memory=30088 CPUtime=0.12 cores=0,2,4,6
/proc/6770/stat : 6770 (java) S 6768 6768 4857 0 -1 1077944320 5478 0 0 0 11 1 0 0 20 0 15 0 516392792 15508250624 7522 33554432000 4194304 4196468 140723480049920 140723480032464 139968189628151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
/proc/6770/statm: 3786194 7522 3124 1 0 3748377 0
[pid=6770/tid=6771] ppid=6768 vsize=15144776 memory=8332686939032621915 CPUtime=0.09 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (java) R 6768 6768 4857 0 -1 4202560 3403 0 0 0 8 1 0 0 20 0 15 0 516392792 15508250624 7522 33554432000 4194304 4196468 140723480049920 139968193860944 139967827112144 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6772] ppid=6768 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (java) S 6768 6768 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392793 15508250624 7522 33554432000 4194304 4196468 140723480049920 139967782116240 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6773] ppid=6768 vsize=15144776 memory=140057545152128 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (java) S 6768 6768 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392793 15508250624 7522 33554432000 4194304 4196468 140723480049920 139967781063440 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6774] ppid=6768 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6774/stat : 6774 (java) S 6768 6768 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392793 15508250624 7522 33554432000 4194304 4196468 140723480049920 139967780011152 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6775] ppid=6768 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6775/stat : 6775 (java) S 6768 6768 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516392793 15508250624 7522 33554432000 4194304 4196468 140723480049920 139967778958352 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6776] ppid=6768 vsize=15144776 memory=140057545152128 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6776/stat : 6776 (java) S 6768 6768 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516392794 15508250624 7522 33554432000 4194304 4196468 140723480049920 139967658121328 139968189639298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6777] ppid=6768 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6777/stat : 6777 (java) S 6768 6768 4857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516392795 15508250624 7522 33554432000 4194304 4196468 140723480049920 139967657067296 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6778] ppid=6768 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6778/stat : 6778 (java) S 6768 6768 4857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516392795 15508250624 7522 33554432000 4194304 4196468 140723480049920 139967656014960 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6779] ppid=6768 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6779/stat : 6779 (java) S 6768 6768 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392797 15508250624 7522 33554432000 4194304 4196468 140723480049920 139967654963280 139968189646747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6780] ppid=6768 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6780/stat : 6780 (java) R 6768 6768 4857 0 -1 4202560 322 0 0 0 0 0 0 0 20 0 15 0 516392797 15508250624 7522 33554432000 4194304 4196468 140723480049920 139967653910336 139968173063889 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6781] ppid=6768 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6781/stat : 6781 (java) R 6768 6768 4857 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 516392797 15508250624 7522 33554432000 4194304 4196468 140723480049920 139967652858352 139968189639298 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6782] ppid=6768 vsize=15144776 memory=140057545152128 CPUtime=0.02 cores=0,2,4,6
/proc/6770/task/6782/stat : 6782 (java) R 6768 6768 4857 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 15 0 516392797 15508250624 7522 33554432000 4194304 4196468 140723480049920 139967651806064 139968168310108 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6783] ppid=6768 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6783/stat : 6783 (java) S 6768 6768 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392797 15508250624 7522 33554432000 4194304 4196468 140723480049920 139967650753504 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6784] ppid=6768 vsize=15144776 memory=140057545152128 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6784/stat : 6784 (java) S 6768 6768 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392798 15508250624 7522 33554432000 4194304 4196468 140723480049920 139967649700272 139968189639298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31540 KiB
[startup+0.216926 s]*
/proc/loadavg: 1.75 1.82 1.90 4/229 6784
/proc/meminfo: memFree=24027200/32770624 swapFree=66976792/67108860
[pid=6768] ppid=6765 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6768/stat : 6768 (xcsp3-exec) S 6765 6768 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516392791 115843072 363 33554432000 4194304 5098028 140733330706848 140733330704952 140325147423356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19685376 140733330711382 140733330711641 140733330711641 140733330714566 0
/proc/6768/statm: 28282 363 304 221 0 87 0
[pid=6770] ppid=6768 vsize=15144776 memory=41464 CPUtime=0.36 cores=0,2,4,6
/proc/6770/stat : 6770 (java) S 6768 6768 4857 0 -1 1077944320 9051 0 0 0 33 3 0 0 20 0 15 0 516392792 15508250624 10366 33554432000 4194304 4196468 140723480049920 140723480032464 139968189628151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
/proc/6770/statm: 3786194 10366 3310 1 0 3748377 0
[pid=6770/tid=6771] ppid=6768 vsize=15149032 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (java) R 6768 6768 4857 0 -1 4202560 6268 0 0 0 18 2 0 0 20 0 15 0 516392792 15512608768 10402 33554432000 4194304 4196468 140723480049920 139968193849144 139968182329127 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6772] ppid=6768 vsize=15149032 memory=1965946 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (java) S 6768 6768 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392793 15512608768 10402 33554432000 4194304 4196468 140723480049920 139967782116240 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6773] ppid=6768 vsize=15149032 memory=288370433696863872 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (java) S 6768 6768 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392793 15512608768 10402 33554432000 4194304 4196468 140723480049920 139967781063440 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6774] ppid=6768 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6774/stat : 6774 (java) S 6768 6768 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392793 15512608768 10402 33554432000 4194304 4196468 140723480049920 139967780011152 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6775] ppid=6768 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6775/stat : 6775 (java) S 6768 6768 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516392793 15512608768 10402 33554432000 4194304 4196468 140723480049920 139967778958352 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6776] ppid=6768 vsize=15149032 memory=140057545152128 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6776/stat : 6776 (java) S 6768 6768 4857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516392794 15512608768 10402 33554432000 4194304 4196468 140723480049920 139967658121328 139968189639298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6777] ppid=6768 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6777/stat : 6777 (java) S 6768 6768 4857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516392795 15512608768 10402 33554432000 4194304 4196468 140723480049920 139967657067296 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6778] ppid=6768 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6778/stat : 6778 (java) S 6768 6768 4857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516392795 15512608768 10402 33554432000 4194304 4196468 140723480049920 139967656014960 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6779] ppid=6768 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6779/stat : 6779 (java) S 6768 6768 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392797 15512608768 10402 33554432000 4194304 4196468 140723480049920 139967654963280 139968189646747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6780] ppid=6768 vsize=15149032 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6770/task/6780/stat : 6780 (java) S 6768 6768 4857 0 -1 1077944384 603 0 0 0 2 0 0 0 20 0 15 0 516392797 15512608768 10402 33554432000 4194304 4196468 140723480049920 139967653911152 139968189639298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6781] ppid=6768 vsize=15149032 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6770/task/6781/stat : 6781 (java) S 6768 6768 4857 0 -1 1077944384 179 0 0 0 2 0 0 0 20 0 15 0 516392797 15512608768 10402 33554432000 4194304 4196468 140723480049920 139967652858352 139968189639298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6782] ppid=6768 vsize=15149032 memory=140057545152128 CPUtime=0.08 cores=0,2,4,6
/proc/6770/task/6782/stat : 6782 (java) S 6768 6768 4857 0 -1 1077944384 730 0 0 0 8 0 0 0 20 0 15 0 516392797 15512608768 10402 33554432000 4194304 4196468 140723480049920 139967651806064 139968189639298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6783] ppid=6768 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6783/stat : 6783 (java) S 6768 6768 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392797 15512608768 10402 33554432000 4194304 4196468 140723480049920 139967650753504 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6784] ppid=6768 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6784/stat : 6784 (java) S 6768 6768 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392798 15512608768 10402 33554432000 4194304 4196468 140723480049920 139967649700272 139968189639298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42916 KiB
[startup+0.310701 s]*
/proc/loadavg: 1.75 1.82 1.90 4/229 6784
/proc/meminfo: memFree=24020564/32770624 swapFree=66976792/67108860
[pid=6768] ppid=6765 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6768/stat : 6768 (xcsp3-exec) S 6765 6768 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516392791 115843072 363 33554432000 4194304 5098028 140733330706848 140733330704952 140325147423356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19685376 140733330711382 140733330711641 140733330711641 140733330714566 0
/proc/6768/statm: 28282 363 304 221 0 87 0
[pid=6770] ppid=6768 vsize=15149032 memory=49668 CPUtime=0.53 cores=0,2,4,6
/proc/6770/stat : 6770 (java) S 6768 6768 4857 0 -1 1077944320 10293 0 0 0 50 3 0 0 20 0 15 0 516392792 15512608768 12417 33554432000 4194304 4196468 140723480049920 140723480032464 139968189628151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
/proc/6770/statm: 3787258 12417 3347 1 0 3748377 0
[pid=6770/tid=6771] ppid=6768 vsize=15149032 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (java) R 6768 6768 4857 0 -1 4202560 7324 0 0 0 27 2 0 0 20 0 15 0 516392792 15512608768 12417 33554432000 4194304 4196468 140723480049920 139968193859264 139968173938665 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6772] ppid=6768 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (java) S 6768 6768 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392793 15512608768 12417 33554432000 4194304 4196468 140723480049920 139967782116240 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6773] ppid=6768 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (java) S 6768 6768 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392793 15512608768 12417 33554432000 4194304 4196468 140723480049920 139967781063440 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6774] ppid=6768 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6774/stat : 6774 (java) S 6768 6768 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392793 15512608768 12417 33554432000 4194304 4196468 140723480049920 139967780011152 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6775] ppid=6768 vsize=15149032 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6775/stat : 6775 (java) S 6768 6768 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516392793 15512608768 12417 33554432000 4194304 4196468 140723480049920 139967778958352 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6776] ppid=6768 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6776/stat : 6776 (java) S 6768 6768 4857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516392794 15512608768 12417 33554432000 4194304 4196468 140723480049920 139967658121328 139968189639298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6777] ppid=6768 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6777/stat : 6777 (java) S 6768 6768 4857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516392795 15512608768 12417 33554432000 4194304 4196468 140723480049920 139967657067296 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6778] ppid=6768 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6778/stat : 6778 (java) S 6768 6768 4857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516392795 15512608768 12417 33554432000 4194304 4196468 140723480049920 139967656014960 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6779] ppid=6768 vsize=15149032 memory=8982046290584177472 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6779/stat : 6779 (java) S 6768 6768 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392797 15512608768 12417 33554432000 4194304 4196468 140723480049920 139967654963280 139968189646747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6780] ppid=6768 vsize=15149032 memory=8325818968683490714 CPUtime=0.05 cores=0,2,4,6
/proc/6770/task/6780/stat : 6780 (java) R 6768 6768 4857 0 -1 4202560 694 0 0 0 5 0 0 0 20 0 15 0 516392797 15512608768 12417 33554432000 4194304 4196468 140723480049920 139967653901536 139968168872877 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6781] ppid=6768 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/6770/task/6781/stat : 6781 (java) S 6768 6768 4857 0 -1 1077944384 196 0 0 0 4 0 0 0 20 0 15 0 516392797 15512608768 12417 33554432000 4194304 4196468 140723480049920 139967652858352 139968189639298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6782] ppid=6768 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/6770/task/6782/stat : 6782 (java) S 6768 6768 4857 0 -1 1077944384 785 0 0 0 13 0 0 0 20 0 15 0 516392797 15512608768 12417 33554432000 4194304 4196468 140723480049920 139967651806064 139968189639298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6783] ppid=6768 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6783/stat : 6783 (java) S 6768 6768 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392797 15512608768 12417 33554432000 4194304 4196468 140723480049920 139967650753504 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6784] ppid=6768 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6784/stat : 6784 (java) S 6768 6768 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392798 15512608768 12417 33554432000 4194304 4196468 140723480049920 139967649700272 139968189639298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51120 KiB
[startup+0.701789 s]
/proc/loadavg: 1.75 1.82 1.90 6/229 6784
/proc/meminfo: memFree=23998876/32770624 swapFree=66976792/67108860
[pid=6768] ppid=6765 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6768/stat : 6768 (xcsp3-exec) S 6765 6768 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516392791 115843072 363 33554432000 4194304 5098028 140733330706848 140733330704952 140325147423356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19685376 140733330711382 140733330711641 140733330711641 140733330714566 0
/proc/6768/statm: 28282 363 304 221 0 87 0
[pid=6770] ppid=6768 vsize=15151156 memory=102028 CPUtime=1.81 cores=0,2,4,6
/proc/6770/stat : 6770 (java) S 6768 6768 4857 0 -1 1077944320 15070 0 0 0 176 5 0 0 20 0 15 0 516392792 15514783744 25507 33554432000 4194304 4196468 140723480049920 140723480032464 139968189628151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
/proc/6770/statm: 3787789 25507 3449 1 0 3748889 0
[pid=6770/tid=6771] ppid=6768 vsize=15151156 memory=33 CPUtime=0.68 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (java) R 6768 6768 4857 0 -1 4202560 8639 0 0 0 64 4 0 0 20 0 15 0 516392792 15514783744 25507 33554432000 4194304 4196468 140723480049920 139968193865376 139967830438048 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6772] ppid=6768 vsize=15151156 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (java) S 6768 6768 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392793 15514783744 25507 33554432000 4194304 4196468 140723480049920 139967782116240 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6773] ppid=6768 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (java) S 6768 6768 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392793 15514783744 25507 33554432000 4194304 4196468 140723480049920 139967781063440 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6774] ppid=6768 vsize=15151156 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6774/stat : 6774 (java) S 6768 6768 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392793 15514783744 25507 33554432000 4194304 4196468 140723480049920 139967780011152 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6775] ppid=6768 vsize=15151156 memory=66652 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6775/stat : 6775 (java) S 6768 6768 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516392793 15514783744 25507 33554432000 4194304 4196468 140723480049920 139967778958352 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6776] ppid=6768 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6776/stat : 6776 (java) S 6768 6768 4857 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516392794 15514783744 25507 33554432000 4194304 4196468 140723480049920 139967658121328 139968189639298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6777] ppid=6768 vsize=15151156 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6777/stat : 6777 (java) S 6768 6768 4857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516392795 15514783744 25507 33554432000 4194304 4196468 140723480049920 139967657067296 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6778] ppid=6768 vsize=15151156 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6778/stat : 6778 (java) S 6768 6768 4857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516392795 15514783744 25507 33554432000 4194304 4196468 140723480049920 139967656014960 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6779] ppid=6768 vsize=15151156 memory=580 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6779/stat : 6779 (java) S 6768 6768 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392797 15514783744 25507 33554432000 4194304 4196468 140723480049920 139967654963280 139968189646747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6780] ppid=6768 vsize=15151156 memory=1716 CPUtime=0.34 cores=0,2,4,6
/proc/6770/task/6780/stat : 6780 (java) R 6768 6768 4857 0 -1 4202560 1577 0 0 0 34 0 0 0 20 0 15 0 516392797 15514783744 25507 33554432000 4194304 4196468 140723480049920 139967653897120 139968168007779 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6781] ppid=6768 vsize=15151156 memory=10604 CPUtime=0.38 cores=0,2,4,6
/proc/6770/task/6781/stat : 6781 (java) R 6768 6768 4857 0 -1 4202560 1726 0 0 0 38 0 0 0 20 0 15 0 516392797 15514783744 25507 33554432000 4194304 4196468 140723480049920 139967652851376 139968189642033 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6782] ppid=6768 vsize=15151156 memory=3636 CPUtime=0.38 cores=0,2,4,6
/proc/6770/task/6782/stat : 6782 (java) R 6768 6768 4857 0 -1 4202560 1819 0 0 0 38 0 0 0 20 0 15 0 516392797 15514783744 25507 33554432000 4194304 4196468 140723480049920 139967651806192 139968181865278 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6783] ppid=6768 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6783/stat : 6783 (java) S 6768 6768 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392797 15514783744 25507 33554432000 4194304 4196468 140723480049920 139967650753504 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6784] ppid=6768 vsize=15151156 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6784/stat : 6784 (java) S 6768 6768 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516392798 15514783744 25507 33554432000 4194304 4196468 140723480049920 139967649700272 139968189639298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 103480 KiB
[startup+1.5008 s]
/proc/loadavg: 1.75 1.82 1.90 4/229 6784
/proc/meminfo: memFree=23930312/32770624 swapFree=66976792/67108860
[pid=6768] ppid=6765 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6768/stat : 6768 (xcsp3-exec) S 6765 6768 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516392791 115843072 363 33554432000 4194304 5098028 140733330706848 140733330704952 140325147423356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19685376 140733330711382 140733330711641 140733330711641 140733330714566 0
/proc/6768/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/6768/stat : 6768 (xcsp3-exec) S 6765 6768 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516392791 115843072 363 33554432000 4194304 5098028 140733330706848 140733330704952 140325147423356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19685376 140733330711382 140733330711641 140733330711641 140733330714566 0
/proc/6768/statm: 28282 363 304 221 0 87 0
[pid=6770] ppid=6768 vsize=15153204 memory=247116 CPUtime=538.11 cores=0,2,4,6
/proc/6770/stat : 6770 (java) S 6768 6768 4857 0 -1 1077944320 71045 0 0 0 53788 23 0 0 20 0 15 0 516392792 15516880896 61779 33554432000 4194304 4196468 140723480049920 140723480032464 139968189628151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
/proc/6770/statm: 3788301 61779 3517 1 0 3749401 0
[pid=6770/tid=6771] ppid=6768 vsize=15153204 memory=1716 CPUtime=531.1 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (java) R 6768 6768 4857 0 -1 4202560 15635 0 0 0 53104 6 0 0 20 0 15 0 516392792 15516880896 61779 33554432000 4194304 4196468 140723480049920 139968193867504 139967834214288 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6772] ppid=6768 vsize=15153204 memory=10604 CPUtime=0.02 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (java) S 6768 6768 4857 0 -1 1077944384 1256 0 0 0 2 0 0 0 20 0 15 0 516392793 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967782116240 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6773] ppid=6768 vsize=15153204 memory=3636 CPUtime=0.01 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (java) S 6768 6768 4857 0 -1 1077944384 2535 0 0 0 1 0 0 0 20 0 15 0 516392793 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967781063440 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6774] ppid=6768 vsize=15153204 memory=776 CPUtime=0.01 cores=0,2,4,6
/proc/6770/task/6774/stat : 6774 (java) S 6768 6768 4857 0 -1 1077944384 749 0 0 0 1 0 0 0 20 0 15 0 516392793 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967780011152 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6775] ppid=6768 vsize=15153204 memory=4486604260213485459 CPUtime=0.02 cores=0,2,4,6
/proc/6770/task/6775/stat : 6775 (java) S 6768 6768 4857 0 -1 1077944384 583 0 0 0 2 0 0 0 20 0 15 0 516392793 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967778958352 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6776] ppid=6768 vsize=15153204 memory=247020 CPUtime=0.02 cores=0,2,4,6
/proc/6770/task/6776/stat : 6776 (java) S 6768 6768 4857 0 -1 1077944384 1280 0 0 0 2 0 0 0 20 0 15 0 516392794 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967658121328 139968189639298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6777] ppid=6768 vsize=15153204 memory=2580 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6777/stat : 6777 (java) S 6768 6768 4857 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 516392795 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967657067360 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6778] ppid=6768 vsize=15153204 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6778/stat : 6778 (java) S 6768 6768 4857 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 516392795 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967656014976 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6779] ppid=6768 vsize=15153204 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6779/stat : 6779 (java) S 6768 6768 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392797 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967654963280 139968189646747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6780] ppid=6768 vsize=15153204 memory=1452 CPUtime=2.66 cores=0,2,4,6
/proc/6770/task/6780/stat : 6780 (java) S 6768 6768 4857 0 -1 1077944384 19186 0 0 0 263 3 0 0 20 0 15 0 516392797 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967653911152 139968189639298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6781] ppid=6768 vsize=15153204 memory=247020 CPUtime=3.13 cores=0,2,4,6
/proc/6770/task/6781/stat : 6781 (java) S 6768 6768 4857 0 -1 1077944384 18078 0 0 0 310 3 0 0 20 0 15 0 516392797 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967652858352 139968189639298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6782] ppid=6768 vsize=15153204 memory=1452 CPUtime=0.89 cores=0,2,4,6
/proc/6770/task/6782/stat : 6782 (java) S 6768 6768 4857 0 -1 1077944384 9378 0 0 0 88 1 0 0 20 0 15 0 516392797 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967651806064 139968189639298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6783] ppid=6768 vsize=15153204 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6783/stat : 6783 (java) S 6768 6768 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392797 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967650753504 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6784] ppid=6768 vsize=15153204 memory=1660 CPUtime=0.16 cores=0,2,4,6
/proc/6770/task/6784/stat : 6784 (java) S 6768 6768 4857 0 -1 1077944384 943 0 0 0 8 8 0 0 20 0 15 0 516392798 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967649700272 139968189639298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
Current children cumulated CPU time: 538.11 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 248568 KiB
[startup+532.001 s]*
/proc/loadavg: 1.94 1.96 1.95 3/230 6833
/proc/meminfo: memFree=23507364/32770624 swapFree=66976792/67108860
[pid=6768] ppid=6765 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6768/stat : 6768 (xcsp3-exec) S 6765 6768 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516392791 115843072 363 33554432000 4194304 5098028 140733330706848 140733330704952 140325147423356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19685376 140733330711382 140733330711641 140733330711641 140733330714566 0
/proc/6768/statm: 28282 363 304 221 0 87 0
[pid=6770] ppid=6768 vsize=15153204 memory=247116 CPUtime=538.91 cores=0,2,4,6
/proc/6770/stat : 6770 (java) S 6768 6768 4857 0 -1 1077944320 71045 0 0 0 53868 23 0 0 20 0 15 0 516392792 15516880896 61779 33554432000 4194304 4196468 140723480049920 140723480032464 139968189628151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
/proc/6770/statm: 3788301 61779 3517 1 0 3749401 0
[pid=6770/tid=6771] ppid=6768 vsize=15153204 memory=-6733704525061579059 CPUtime=531.91 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (java) R 6768 6768 4857 0 -1 4202560 15635 0 0 0 53185 6 0 0 20 0 15 0 516392792 15516880896 61779 33554432000 4194304 4196468 140723480049920 139968193867504 139967834214288 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6772] ppid=6768 vsize=15153204 memory=4126316290023845779 CPUtime=0.02 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (java) S 6768 6768 4857 0 -1 1077944384 1256 0 0 0 2 0 0 0 20 0 15 0 516392793 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967782116240 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6773] ppid=6768 vsize=15153204 memory=1556 CPUtime=0.01 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (java) S 6768 6768 4857 0 -1 1077944384 2535 0 0 0 1 0 0 0 20 0 15 0 516392793 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967781063440 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6774] ppid=6768 vsize=15153204 memory=928 CPUtime=0.01 cores=0,2,4,6
/proc/6770/task/6774/stat : 6774 (java) S 6768 6768 4857 0 -1 1077944384 749 0 0 0 1 0 0 0 20 0 15 0 516392793 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967780011152 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6775] ppid=6768 vsize=15153204 memory=1772 CPUtime=0.02 cores=0,2,4,6
/proc/6770/task/6775/stat : 6775 (java) S 6768 6768 4857 0 -1 1077944384 583 0 0 0 2 0 0 0 20 0 15 0 516392793 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967778958352 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6776] ppid=6768 vsize=15153204 memory=816 CPUtime=0.02 cores=0,2,4,6
/proc/6770/task/6776/stat : 6776 (java) S 6768 6768 4857 0 -1 1077944384 1280 0 0 0 2 0 0 0 20 0 15 0 516392794 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967658121328 139968189639298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6777] ppid=6768 vsize=15153204 memory=-7023579799431922829 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6777/stat : 6777 (java) S 6768 6768 4857 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 516392795 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967657067360 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6778] ppid=6768 vsize=15153204 memory=-7666414585839465563 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6778/stat : 6778 (java) S 6768 6768 4857 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 516392795 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967656014976 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6779] ppid=6768 vsize=15153204 memory=-6520478321162704286 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6779/stat : 6779 (java) S 6768 6768 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392797 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967654963280 139968189646747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6780] ppid=6768 vsize=15153204 memory=-7521736447810188379 CPUtime=2.66 cores=0,2,4,6
/proc/6770/task/6780/stat : 6780 (java) S 6768 6768 4857 0 -1 1077944384 19186 0 0 0 263 3 0 0 20 0 15 0 516392797 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967653911152 139968189639298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6781] ppid=6768 vsize=15153204 memory=1452 CPUtime=3.13 cores=0,2,4,6
/proc/6770/task/6781/stat : 6781 (java) S 6768 6768 4857 0 -1 1077944384 18078 0 0 0 310 3 0 0 20 0 15 0 516392797 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967652858352 139968189639298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6782] ppid=6768 vsize=15153204 memory=247108 CPUtime=0.89 cores=0,2,4,6
/proc/6770/task/6782/stat : 6782 (java) S 6768 6768 4857 0 -1 1077944384 9378 0 0 0 88 1 0 0 20 0 15 0 516392797 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967651806064 139968189639298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6783] ppid=6768 vsize=15153204 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6783/stat : 6783 (java) S 6768 6768 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392797 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967650753504 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6784] ppid=6768 vsize=15153204 memory=247116 CPUtime=0.16 cores=0,2,4,6
/proc/6770/task/6784/stat : 6784 (java) S 6768 6768 4857 0 -1 1077944384 943 0 0 0 8 8 0 0 20 0 15 0 516392798 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967649700272 139968189639298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
Current children cumulated CPU time: 538.91 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 248568 KiB
[startup+532.801 s]
/proc/loadavg: 1.94 1.96 1.95 3/230 6833
/proc/meminfo: memFree=23507364/32770624 swapFree=66976792/67108860
[pid=6768] ppid=6765 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6768/stat : 6768 (xcsp3-exec) S 6765 6768 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516392791 115843072 363 33554432000 4194304 5098028 140733330706848 140733330704952 140325147423356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19685376 140733330711382 140733330711641 140733330711641 140733330714566 0
/proc/6768/statm: 28282 363 304 221 0 87 0
[pid=6770] ppid=6768 vsize=15153204 memory=247116 CPUtime=539.71 cores=0,2,4,6
/proc/6770/stat : 6770 (java) S 6768 6768 4857 0 -1 1077944320 71045 0 0 0 53948 23 0 0 20 0 15 0 516392792 15516880896 61779 33554432000 4194304 4196468 140723480049920 140723480032464 139968189628151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
/proc/6770/statm: 3788301 61779 3517 1 0 3749401 0
[pid=6770/tid=6771] ppid=6768 vsize=15153204 memory=288230583166042426 CPUtime=532.7 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (java) R 6768 6768 4857 0 -1 4202560 15635 0 0 0 53264 6 0 0 20 0 15 0 516392792 15516880896 61779 33554432000 4194304 4196468 140723480049920 139968193867504 139967834214492 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6772] ppid=6768 vsize=15153204 memory=16104758104557987 CPUtime=0.02 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (java) S 6768 6768 4857 0 -1 1077944384 1256 0 0 0 2 0 0 0 20 0 15 0 516392793 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967782116240 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6773] ppid=6768 vsize=15153204 memory=1060 CPUtime=0.01 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (java) S 6768 6768 4857 0 -1 1077944384 2535 0 0 0 1 0 0 0 20 0 15 0 516392793 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967781063440 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6774] ppid=6768 vsize=15153204 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/6770/task/6774/stat : 6774 (java) S 6768 6768 4857 0 -1 1077944384 749 0 0 0 1 0 0 0 20 0 15 0 516392793 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967780011152 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6775] ppid=6768 vsize=15153204 memory=247116 CPUtime=0.02 cores=0,2,4,6
/proc/6770/task/6775/stat : 6775 (java) S 6768 6768 4857 0 -1 1077944384 583 0 0 0 2 0 0 0 20 0 15 0 516392793 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967778958352 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6776] ppid=6768 vsize=15153204 memory=984 CPUtime=0.02 cores=0,2,4,6
/proc/6770/task/6776/stat : 6776 (java) S 6768 6768 4857 0 -1 1077944384 1280 0 0 0 2 0 0 0 20 0 15 0 516392794 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967658121328 139968189639298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6777] ppid=6768 vsize=15153204 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6777/stat : 6777 (java) S 6768 6768 4857 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 516392795 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967657067360 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6778] ppid=6768 vsize=15153204 memory=36196 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6778/stat : 6778 (java) S 6768 6768 4857 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 516392795 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967656014976 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6779] ppid=6768 vsize=15153204 memory=66664 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6779/stat : 6779 (java) S 6768 6768 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392797 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967654963280 139968189646747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6780] ppid=6768 vsize=15153204 memory=988 CPUtime=2.66 cores=0,2,4,6
/proc/6770/task/6780/stat : 6780 (java) S 6768 6768 4857 0 -1 1077944384 19186 0 0 0 263 3 0 0 20 0 15 0 516392797 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967653911152 139968189639298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6781] ppid=6768 vsize=15153204 memory=1452 CPUtime=3.13 cores=0,2,4,6
/proc/6770/task/6781/stat : 6781 (java) S 6768 6768 4857 0 -1 1077944384 18078 0 0 0 310 3 0 0 20 0 15 0 516392797 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967652858352 139968189639298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6782] ppid=6768 vsize=15153204 memory=247116 CPUtime=0.89 cores=0,2,4,6
/proc/6770/task/6782/stat : 6782 (java) S 6768 6768 4857 0 -1 1077944384 9378 0 0 0 88 1 0 0 20 0 15 0 516392797 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967651806064 139968189639298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6783] ppid=6768 vsize=15153204 memory=247020 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6783/stat : 6783 (java) S 6768 6768 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392797 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967650753504 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6784] ppid=6768 vsize=15153204 memory=834856 CPUtime=0.16 cores=0,2,4,6
/proc/6770/task/6784/stat : 6784 (java) S 6768 6768 4857 0 -1 1077944384 943 0 0 0 8 8 0 0 20 0 15 0 516392798 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967649700272 139968189639298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
Current children cumulated CPU time: 539.71 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 248568 KiB
[startup+533.201 s]
/proc/loadavg: 1.94 1.96 1.95 3/230 6833
/proc/meminfo: memFree=23507240/32770624 swapFree=66976792/67108860
[pid=6768] ppid=6765 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6768/stat : 6768 (xcsp3-exec) S 6765 6768 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516392791 115843072 363 33554432000 4194304 5098028 140733330706848 140733330704952 140325147423356 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 19685376 140733330711382 140733330711641 140733330711641 140733330714566 0
/proc/6768/statm: 28282 363 304 221 0 87 0
[pid=6770] ppid=6768 vsize=15153204 memory=247116 CPUtime=540.11 cores=0,2,4,6
/proc/6770/stat : 6770 (java) S 6768 6768 4857 0 -1 1077944320 71045 0 0 0 53988 23 0 0 20 0 15 0 516392792 15516880896 61779 33554432000 4194304 4196468 140723480049920 140723480032464 139968189628151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
/proc/6770/statm: 3788301 61779 3517 1 0 3749401 0
[pid=6770/tid=6771] ppid=6768 vsize=15153204 memory=0 CPUtime=533.1 cores=0,2,4,6
/proc/6770/task/6771/stat : 6771 (java) R 6768 6768 4857 0 -1 4202560 15635 0 0 0 53304 6 0 0 20 0 15 0 516392792 15516880896 61779 33554432000 4194304 4196468 140723480049920 139968193867504 139967834214516 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6772] ppid=6768 vsize=15153204 memory=7451040022753207633 CPUtime=0.02 cores=0,2,4,6
/proc/6770/task/6772/stat : 6772 (java) S 6768 6768 4857 0 -1 1077944384 1256 0 0 0 2 0 0 0 20 0 15 0 516392793 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967782116240 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6773] ppid=6768 vsize=15153204 memory=7595429990018541932 CPUtime=0.01 cores=0,2,4,6
/proc/6770/task/6773/stat : 6773 (java) S 6768 6768 4857 0 -1 1077944384 2535 0 0 0 1 0 0 0 20 0 15 0 516392793 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967781063440 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6774] ppid=6768 vsize=15153204 memory=288230574492221466 CPUtime=0.01 cores=0,2,4,6
/proc/6770/task/6774/stat : 6774 (java) S 6768 6768 4857 0 -1 1077944384 749 0 0 0 1 0 0 0 20 0 15 0 516392793 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967780011152 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6775] ppid=6768 vsize=15153204 memory=288230583166042426 CPUtime=0.02 cores=0,2,4,6
/proc/6770/task/6775/stat : 6775 (java) S 6768 6768 4857 0 -1 1077944384 583 0 0 0 2 0 0 0 20 0 15 0 516392793 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967778958352 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6776] ppid=6768 vsize=15153204 memory=16104758104557987 CPUtime=0.02 cores=0,2,4,6
/proc/6770/task/6776/stat : 6776 (java) S 6768 6768 4857 0 -1 1077944384 1280 0 0 0 2 0 0 0 20 0 15 0 516392794 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967658121328 139968189639298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6777] ppid=6768 vsize=15153204 memory=816 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6777/stat : 6777 (java) S 6768 6768 4857 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 516392795 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967657067360 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6778] ppid=6768 vsize=15153204 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6778/stat : 6778 (java) S 6768 6768 4857 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 516392795 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967656014976 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6779] ppid=6768 vsize=15153204 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6779/stat : 6779 (java) S 6768 6768 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392797 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967654963280 139968189646747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6780] ppid=6768 vsize=15153204 memory=2580 CPUtime=2.66 cores=0,2,4,6
/proc/6770/task/6780/stat : 6780 (java) S 6768 6768 4857 0 -1 1077944384 19186 0 0 0 263 3 0 0 20 0 15 0 516392797 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967653911152 139968189639298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6781] ppid=6768 vsize=15153204 memory=1760 CPUtime=3.13 cores=0,2,4,6
/proc/6770/task/6781/stat : 6781 (java) S 6768 6768 4857 0 -1 1077944384 18078 0 0 0 310 3 0 0 20 0 15 0 516392797 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967652858352 139968189639298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6782] ppid=6768 vsize=15153204 memory=111636 CPUtime=0.89 cores=0,2,4,6
/proc/6770/task/6782/stat : 6782 (java) S 6768 6768 4857 0 -1 1077944384 9378 0 0 0 88 1 0 0 20 0 15 0 516392797 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967651806064 139968189639298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6783] ppid=6768 vsize=15153204 memory=800 CPUtime=0 cores=0,2,4,6
/proc/6770/task/6783/stat : 6783 (java) S 6768 6768 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516392797 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967650753504 139968189638357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
[pid=6770/tid=6784] ppid=6768 vsize=15153204 memory=1808 CPUtime=0.16 cores=0,2,4,6
/proc/6770/task/6784/stat : 6784 (java) S 6768 6768 4857 0 -1 1077944384 943 0 0 0 8 8 0 0 20 0 15 0 516392798 15516880896 61779 33554432000 4194304 4196468 140723480049920 139967649700272 139968189639298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29413376 140723480052699 140723480052874 140723480052874 140723480055759 0
Current children cumulated CPU time: 540.11 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 248568 KiB
Child status: 0
Real time (s): 533.229
CPU time (s): 540.143
CPU user time (s): 539.91
CPU system time (s): 0.23311
CPU usage (%): 101.297
Max. virtual memory (cumulated for all children) (KiB): 15268192
Max. memory (cumulated for all children) (KiB): 248568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 539.91
system time used= 0.23311
maximum resident set size= 247140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71775
page faults= 0
swaps= 0
block input operations= 0
block output operations= 608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14437
involuntary context switches= 1097
# summary of solver processes directly reported to runsolver:
# pid: 6768
# total CPU time (s): 540.143
# total CPU user time (s): 539.91
# total CPU system time (s): 0.23311
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.92412 second user time and 5.09693 second system time
The end
Begin job on node124 at 2019-09-25 11:41:26 IDJOB=4406219 IDBENCH=126803 IDSOLVER=2869 FILE ID=node124/4406219-1569404527 RUNJOBID= node124-1569396629-4888 PBS_JOBID= 21705689 Free space on /var/tmp= 13492 MiB SOLVER NAME= choco-solver 2019-09-24 BENCH NAME= XCSP17/OpenStacks/OpenStacks-m1-s1/OpenStacks-m1-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 /var/tmp/evaluation-result-4406219-1569404527/watcher-4406219-1569404527 -o /var/tmp/evaluation-result-4406219-1569404527/solver-4406219-1569404527 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1569396629-4888 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1988558389 HOME/instance-4406219-1569404527.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 305bfce3403e7be8ea8343edd9c7d9a7 RANDOM SEED=1988558389 node124.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.47 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.47 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.47 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.47 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: 24058404 kB MemAvailable: 31167440 kB Buffers: 162092 kB Cached: 7036184 kB SwapCached: 29080 kB Active: 4197600 kB Inactive: 3683240 kB Active(anon): 651508 kB Inactive(anon): 88676 kB Active(file): 3546092 kB Inactive(file): 3594564 kB Unevictable: 108340 kB Mlocked: 108340 kB SwapTotal: 67108860 kB SwapFree: 66976792 kB Dirty: 26236 kB Writeback: 16 kB AnonPages: 762620 kB Mapped: 71624 kB Shmem: 49096 kB Slab: 425888 kB SReclaimable: 396840 kB SUnreclaim: 29048 kB KernelStack: 3728 kB PageTables: 7508 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1911800 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 651264 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 112000 kB DirectMap2M: 33433600 kB Free space on /var/tmp at the end= 13468 MiB End job on node124 at 2019-09-25 11:50:20