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 | 557.518 | 551.113 |
| Name | OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbop-30-30-1.xml |
| MD5SUM | 305bfce3403e7be8ea8343edd9c7d9a7 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 3 |
| Best CPU time to get the best result obtained on this benchmark | 25.4304 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2760 |
| Number of constraints | 2731 |
| Number of domains | 4 |
| Minimum domain size | 2 |
| Maximum domain size | 31 |
| Distribution of domain sizes | [{"size":2,"count":1800},{"size":3,"count":900},{"size":30,"count":30},{"size":31,"count":30}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 31 |
| Distribution of variable degrees | [{"degree":2,"count":960},{"degree":3,"count":1770},{"degree":31,"count":30}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 31 |
| Distribution of constraint arities | [{"arity":2,"count":930},{"arity":3,"count":1770},{"arity":30,"count":1},{"arity":31,"count":30}] |
| Number of extensional constraints | 900 |
| Number of intensional constraints | 900 |
| Distribution of constraint types | [{"type":"extension","count":900},{"type":"intension","count":900},{"type":"allDifferent","count":1},{"type":"sum","count":30},{"type":"element","count":900}] |
| Optimization problem | YES |
| Type of objective | min MAXIMUM |
0.00/0.00 c java -server -Xmx12000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4406519-1569399063.xml" -tl '2400s' -p 1 0.13/0.18 c Choco e747e1e 0.13/0.18 c [HOME/instance-4406519-1569399063.xml, -tl, 2400s, -p, 1] 0.34/0.22 c simple solver 0.34/0.28 c parse instance... 2.44/0.97 c solve instance... 5.06/1.73 o 9 6.30/2.16 o 8 6.30/2.17 o 7 33.21/27.37 o 6 33.31/27.49 o 5 336.51/330.30 o 4 365.23/358.93 o 3 557.40/551.10 s OPTIMUM FOUND 557.40/551.10 v <instantiation> 557.40/551.10 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> 557.40/551.10 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> 557.40/551.10 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 (13500 MiB free)
memory of node 1: 16384 MiB (14198 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406519-1569399063/watcher-4406519-1569399063 -o /var/tmp/evaluation-result-4406519-1569399063/solver-4406519-1569399063 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1569396629-6770 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 2000911244 HOME/instance-4406519-1569399063.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=7189, runsolver pid=7186
[startup+0.101366 s]*
/proc/loadavg: 1.87 1.92 1.81 3/222 7222
/proc/meminfo: memFree=28337268/32770624 swapFree=67024084/67108860
[pid=7189] ppid=7186 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7189/stat : 7189 (xcsp3-exec) S 7186 7189 6739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516178734 115843072 363 33554432000 4194304 5098028 140724525748352 140724525746456 140144909656700 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 15998976 140724525753174 140724525753433 140724525753433 140724525756358 0
/proc/7189/statm: 28282 363 304 221 0 87 0
[pid=7191] ppid=7189 vsize=15144776 memory=28928 CPUtime=0.13 cores=0,2,4,6
/proc/7191/stat : 7191 (java) S 7189 7189 6739 0 -1 1077944320 5668 0 0 0 12 1 0 0 20 0 15 0 516178734 15508250624 7232 33554432000 4194304 4196468 140725713662912 140725713645456 140496620424951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
/proc/7191/statm: 3786194 7232 3187 1 0 3748377 0
[pid=7191/tid=7192] ppid=7189 vsize=15144776 memory=-8960608289674280901 CPUtime=0.09 cores=0,2,4,6
/proc/7191/task/7192/stat : 7192 (java) R 7189 7189 6739 0 -1 4202560 3549 0 0 0 9 0 0 0 20 0 15 0 516178734 15508250624 7232 33554432000 4194304 4196468 140725713662912 140496624654544 140496248863265 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7193] ppid=7189 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7193/stat : 7193 (java) S 7189 7189 6739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516178735 15508250624 7232 33554432000 4194304 4196468 140725713662912 140496573045008 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7194] ppid=7189 vsize=15144776 memory=139806555297408 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7194/stat : 7194 (java) S 7189 7189 6739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516178735 15508250624 7232 33554432000 4194304 4196468 140725713662912 140496571992464 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7195] ppid=7189 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7195/stat : 7195 (java) S 7189 7189 6739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516178735 15508250624 7232 33554432000 4194304 4196468 140725713662912 140496570939920 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7196] ppid=7189 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7196/stat : 7196 (java) S 7189 7189 6739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516178735 15508250624 7232 33554432000 4194304 4196468 140725713662912 140496569887376 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7197] ppid=7189 vsize=15144776 memory=139806555297408 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7197/stat : 7197 (java) S 7189 7189 6739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516178737 15508250624 7232 33554432000 4194304 4196468 140725713662912 140496089074160 140496620436098 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7198] ppid=7189 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7198/stat : 7198 (java) S 7189 7189 6739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516178737 15508250624 7232 33554432000 4194304 4196468 140725713662912 140496088020384 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7199] ppid=7189 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7199/stat : 7199 (java) S 7189 7189 6739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516178737 15508250624 7232 33554432000 4194304 4196468 140725713662912 140496086967792 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7203] ppid=7189 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7203/stat : 7203 (java) S 7189 7189 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516178740 15508250624 7232 33554432000 4194304 4196468 140725713662912 140496085916368 140496620443547 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7204] ppid=7189 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7204/stat : 7204 (java) R 7189 7189 6739 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 516178740 15508250624 7232 33554432000 4194304 4196468 140725713662912 140496084863056 140496620435157 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7206] ppid=7189 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7206/stat : 7206 (java) R 7189 7189 6739 0 -1 4202560 174 0 0 0 0 0 0 0 20 0 15 0 516178740 15508250624 7232 33554432000 4194304 4196468 140725713662912 140496083802224 140496601124545 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7207] ppid=7189 vsize=15144776 memory=139806555297408 CPUtime=0.02 cores=0,2,4,6
/proc/7191/task/7207/stat : 7207 (java) S 7189 7189 6739 0 -1 1077944384 346 0 0 0 2 0 0 0 20 0 15 0 516178740 15508250624 7232 33554432000 4194304 4196468 140725713662912 140496082757872 140496620436098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7208] ppid=7189 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7208/stat : 7208 (java) S 7189 7189 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516178740 15508250624 7232 33554432000 4194304 4196468 140725713662912 140496081705568 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7209] ppid=7189 vsize=15144776 memory=139806555297408 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7209/stat : 7209 (java) S 7189 7189 6739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516178740 15508250624 7232 33554432000 4194304 4196468 140725713662912 140496080653104 140496620436098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30380 KiB
[startup+0.210821 s]*
/proc/loadavg: 1.87 1.92 1.81 5/230 7230
/proc/meminfo: memFree=28314104/32770624 swapFree=67024084/67108860
[pid=7189] ppid=7186 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7189/stat : 7189 (xcsp3-exec) S 7186 7189 6739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516178734 115843072 363 33554432000 4194304 5098028 140724525748352 140724525746456 140144909656700 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 15998976 140724525753174 140724525753433 140724525753433 140724525756358 0
/proc/7189/statm: 28282 363 304 221 0 87 0
[pid=7191] ppid=7189 vsize=15144776 memory=41304 CPUtime=0.34 cores=0,2,4,6
/proc/7191/stat : 7191 (java) S 7189 7189 6739 0 -1 1077944320 9513 0 0 0 32 2 0 0 20 0 15 0 516178734 15508250624 10326 33554432000 4194304 4196468 140725713662912 140725713645456 140496620424951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
/proc/7191/statm: 3786194 10326 3304 1 0 3748377 0
[pid=7191/tid=7192] ppid=7189 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/7191/task/7192/stat : 7192 (java) R 7189 7189 6739 0 -1 4202560 6593 0 0 0 18 2 0 0 20 0 15 0 516178734 15508250624 10326 33554432000 4194304 4196468 140725713662912 140496624659936 140496604505438 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7193] ppid=7189 vsize=15144776 memory=13575 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7193/stat : 7193 (java) S 7189 7189 6739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516178735 15508250624 10326 33554432000 4194304 4196468 140725713662912 140496573045008 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7194] ppid=7189 vsize=15144776 memory=139806559164628 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7194/stat : 7194 (java) S 7189 7189 6739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516178735 15508250624 10326 33554432000 4194304 4196468 140725713662912 140496571992464 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7195] ppid=7189 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7195/stat : 7195 (java) S 7189 7189 6739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516178735 15508250624 10326 33554432000 4194304 4196468 140725713662912 140496570939920 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7196] ppid=7189 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7196/stat : 7196 (java) S 7189 7189 6739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516178735 15508250624 10326 33554432000 4194304 4196468 140725713662912 140496569887376 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7197] ppid=7189 vsize=15144776 memory=139806555297408 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7197/stat : 7197 (java) S 7189 7189 6739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516178737 15508250624 10326 33554432000 4194304 4196468 140725713662912 140496089074160 140496620436098 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7198] ppid=7189 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7198/stat : 7198 (java) S 7189 7189 6739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516178737 15508250624 10326 33554432000 4194304 4196468 140725713662912 140496088020384 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7199] ppid=7189 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7199/stat : 7199 (java) S 7189 7189 6739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516178737 15508250624 10326 33554432000 4194304 4196468 140725713662912 140496086967792 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7203] ppid=7189 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7203/stat : 7203 (java) S 7189 7189 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516178740 15508250624 10326 33554432000 4194304 4196468 140725713662912 140496085916368 140496620443547 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7204] ppid=7189 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/7191/task/7204/stat : 7204 (java) S 7189 7189 6739 0 -1 1077944384 553 0 0 0 2 0 0 0 20 0 15 0 516178740 15508250624 10326 33554432000 4194304 4196468 140725713662912 140496084862960 140496620436098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7206] ppid=7189 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/7191/task/7206/stat : 7206 (java) S 7189 7189 6739 0 -1 1077944384 278 0 0 0 2 0 0 0 20 0 15 0 516178740 15508250624 10326 33554432000 4194304 4196468 140725713662912 140496083810416 140496620436098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7207] ppid=7189 vsize=15144776 memory=139806555297408 CPUtime=0.08 cores=0,2,4,6
/proc/7191/task/7207/stat : 7207 (java) S 7189 7189 6739 0 -1 1077944384 793 0 0 0 8 0 0 0 20 0 15 0 516178740 15508250624 10326 33554432000 4194304 4196468 140725713662912 140496082757872 140496620436098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7208] ppid=7189 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7208/stat : 7208 (java) S 7189 7189 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516178740 15508250624 10326 33554432000 4194304 4196468 140725713662912 140496081705568 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7209] ppid=7189 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7209/stat : 7209 (java) S 7189 7189 6739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516178740 15508250624 10326 33554432000 4194304 4196468 140725713662912 140496080653104 140496620436098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42756 KiB
[startup+0.310615 s]*
/proc/loadavg: 1.87 1.92 1.81 5/230 7230
/proc/meminfo: memFree=28294144/32770624 swapFree=67024084/67108860
[pid=7189] ppid=7186 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7189/stat : 7189 (xcsp3-exec) S 7186 7189 6739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516178734 115843072 363 33554432000 4194304 5098028 140724525748352 140724525746456 140144909656700 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 15998976 140724525753174 140724525753433 140724525753433 140724525756358 0
/proc/7189/statm: 28282 363 304 221 0 87 0
[pid=7191] ppid=7189 vsize=15149032 memory=50396 CPUtime=0.52 cores=0,2,4,6
/proc/7191/stat : 7191 (java) S 7189 7189 6739 0 -1 1077944320 10877 0 0 0 49 3 0 0 20 0 15 0 516178734 15512608768 12599 33554432000 4194304 4196468 140725713662912 140725713645456 140496620424951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
/proc/7191/statm: 3787258 12599 3367 1 0 3748377 0
[pid=7191/tid=7192] ppid=7189 vsize=15149032 memory=610916509837295733 CPUtime=0.3 cores=0,2,4,6
/proc/7191/task/7192/stat : 7192 (java) R 7189 7189 6739 0 -1 4202560 7790 0 0 0 28 2 0 0 20 0 15 0 516178734 15512608768 12599 33554432000 4194304 4196468 140725713662912 140496624656064 140496604505438 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7193] ppid=7189 vsize=15149032 memory=302304349248553316 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7193/stat : 7193 (java) S 7189 7189 6739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516178735 15512608768 12599 33554432000 4194304 4196468 140725713662912 140496573045008 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7194] ppid=7189 vsize=15149032 memory=13571509151079308 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7194/stat : 7194 (java) S 7189 7189 6739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516178735 15512608768 12599 33554432000 4194304 4196468 140725713662912 140496571992464 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7195] ppid=7189 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7195/stat : 7195 (java) S 7189 7189 6739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516178735 15512608768 12599 33554432000 4194304 4196468 140725713662912 140496570939920 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7196] ppid=7189 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7196/stat : 7196 (java) S 7189 7189 6739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516178735 15512608768 12599 33554432000 4194304 4196468 140725713662912 140496569887376 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7197] ppid=7189 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7197/stat : 7197 (java) S 7189 7189 6739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516178737 15512608768 12599 33554432000 4194304 4196468 140725713662912 140496089074160 140496620436098 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7198] ppid=7189 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7198/stat : 7198 (java) S 7189 7189 6739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516178737 15512608768 12599 33554432000 4194304 4196468 140725713662912 140496088020384 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7199] ppid=7189 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7199/stat : 7199 (java) S 7189 7189 6739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516178737 15512608768 12599 33554432000 4194304 4196468 140725713662912 140496086967792 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7203] ppid=7189 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7203/stat : 7203 (java) S 7189 7189 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516178740 15512608768 12599 33554432000 4194304 4196468 140725713662912 140496085916368 140496620443547 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7204] ppid=7189 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/7191/task/7204/stat : 7204 (java) R 7189 7189 6739 0 -1 4202560 666 0 0 0 5 0 0 0 20 0 15 0 516178740 15512608768 12599 33554432000 4194304 4196468 140725713662912 140496084853344 140496613521787 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7206] ppid=7189 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/7191/task/7206/stat : 7206 (java) S 7189 7189 6739 0 -1 1077944384 284 0 0 0 3 0 0 0 20 0 15 0 516178740 15512608768 12599 33554432000 4194304 4196468 140725713662912 140496083810416 140496620436098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7207] ppid=7189 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/7191/task/7207/stat : 7207 (java) S 7189 7189 6739 0 -1 1077944384 849 0 0 0 12 0 0 0 20 0 15 0 516178740 15512608768 12599 33554432000 4194304 4196468 140725713662912 140496082757872 140496620436098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7208] ppid=7189 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7208/stat : 7208 (java) S 7189 7189 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516178740 15512608768 12599 33554432000 4194304 4196468 140725713662912 140496081705568 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7209] ppid=7189 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7209/stat : 7209 (java) S 7189 7189 6739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516178740 15512608768 12599 33554432000 4194304 4196468 140725713662912 140496080653104 140496620436098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51848 KiB
[startup+0.710238 s]
/proc/loadavg: 1.87 1.92 1.81 6/230 7230
/proc/meminfo: memFree=28262408/32770624 swapFree=67024084/67108860
[pid=7189] ppid=7186 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7189/stat : 7189 (xcsp3-exec) S 7186 7189 6739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516178734 115843072 363 33554432000 4194304 5098028 140724525748352 140724525746456 140144909656700 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 15998976 140724525753174 140724525753433 140724525753433 140724525756358 0
/proc/7189/statm: 28282 363 304 221 0 87 0
[pid=7191] ppid=7189 vsize=15151156 memory=102632 CPUtime=1.79 cores=0,2,4,6
/proc/7191/stat : 7191 (java) S 7189 7189 6739 0 -1 1077944320 15720 0 0 0 174 5 0 0 20 0 15 0 516178734 15514783744 25658 33554432000 4194304 4196468 140725713662912 140725713645456 140496620424951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
/proc/7191/statm: 3787789 25658 3449 1 0 3748889 0
[pid=7191/tid=7192] ppid=7189 vsize=15151156 memory=64 CPUtime=0.67 cores=0,2,4,6
/proc/7191/task/7192/stat : 7192 (java) R 7189 7189 6739 0 -1 4202560 9084 0 0 0 64 3 0 0 20 0 15 0 516178734 15514783744 25658 33554432000 4194304 4196468 140725713662912 140496624662240 140496601831250 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7193] ppid=7189 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7193/stat : 7193 (java) S 7189 7189 6739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516178735 15514783744 25658 33554432000 4194304 4196468 140725713662912 140496573045008 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7194] ppid=7189 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7194/stat : 7194 (java) S 7189 7189 6739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516178735 15514783744 25658 33554432000 4194304 4196468 140725713662912 140496571992464 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7195] ppid=7189 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7195/stat : 7195 (java) S 7189 7189 6739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516178735 15514783744 25658 33554432000 4194304 4196468 140725713662912 140496570939920 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7196] ppid=7189 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7196/stat : 7196 (java) S 7189 7189 6739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516178735 15514783744 25658 33554432000 4194304 4196468 140725713662912 140496569887376 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7197] ppid=7189 vsize=15151156 memory=1940 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7197/stat : 7197 (java) S 7189 7189 6739 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516178737 15514783744 25658 33554432000 4194304 4196468 140725713662912 140496089074160 140496620436098 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7198] ppid=7189 vsize=15151156 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7198/stat : 7198 (java) S 7189 7189 6739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516178737 15514783744 25658 33554432000 4194304 4196468 140725713662912 140496088020384 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7199] ppid=7189 vsize=15151156 memory=2508 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7199/stat : 7199 (java) S 7189 7189 6739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516178737 15514783744 25658 33554432000 4194304 4196468 140725713662912 140496086967792 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7203] ppid=7189 vsize=15151156 memory=1532 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7203/stat : 7203 (java) S 7189 7189 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516178740 15514783744 25658 33554432000 4194304 4196468 140725713662912 140496085916368 140496620443547 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7204] ppid=7189 vsize=15151156 memory=836 CPUtime=0.34 cores=0,2,4,6
/proc/7191/task/7204/stat : 7204 (java) R 7189 7189 6739 0 -1 4202560 1638 0 0 0 34 0 0 0 20 0 15 0 516178740 15514783744 25658 33554432000 4194304 4196468 140725713662912 140496084861360 140496599663424 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7206] ppid=7189 vsize=15151156 memory=1760 CPUtime=0.36 cores=0,2,4,6
/proc/7191/task/7206/stat : 7206 (java) R 7189 7189 6739 0 -1 4202560 1547 0 0 0 36 0 0 0 20 0 15 0 516178740 15514783744 25658 33554432000 4194304 4196468 140725713662912 140496083810336 140496603910965 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7207] ppid=7189 vsize=15151156 memory=111632 CPUtime=0.38 cores=0,2,4,6
/proc/7191/task/7207/stat : 7207 (java) R 7189 7189 6739 0 -1 4202560 2144 0 0 0 38 0 0 0 20 0 15 0 516178740 15514783744 25658 33554432000 4194304 4196468 140725713662912 140496082757872 140496613524798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7208] ppid=7189 vsize=15151156 memory=804 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7208/stat : 7208 (java) S 7189 7189 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516178740 15514783744 25658 33554432000 4194304 4196468 140725713662912 140496081705568 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7209] ppid=7189 vsize=15151156 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7209/stat : 7209 (java) S 7189 7189 6739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516178740 15514783744 25658 33554432000 4194304 4196468 140725713662912 140496080653104 140496620436098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 104084 KiB
[startup+1.50084 s]
/proc/loadavg: 1.87 1.92 1.81 8/230 7230
/proc/meminfo: memFree=28155692/32770624 swapFree=67024084/67108860
[pid=7189] ppid=7186 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7189/stat : 7189 (xcsp3-exec) S 7186 7189 6739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516178734 115843072 363 33554432000 4194304 5098028 140724525748352 140724525746456 140144909656700 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 15998976 140724525753174 140724525753433 140724525753433 140724525756358 0
/proc/7189/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/meminfo: memFree=27974272/32770624 swapFree=67024084/67108860
[pid=7189] ppid=7186 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7189/stat : 7189 (xcsp3-exec) S 7186 7189 6739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516178734 115843072 363 33554432000 4194304 5098028 140724525748352 140724525746456 140144909656700 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 15998976 140724525753174 140724525753433 140724525753433 140724525756358 0
/proc/7189/statm: 28282 363 304 221 0 87 0
[pid=7191] ppid=7189 vsize=15153204 memory=243528 CPUtime=556.79 cores=0,2,4,6
/proc/7191/stat : 7191 (java) S 7189 7189 6739 0 -1 1077944320 64233 0 0 0 55658 21 0 0 20 0 15 0 516178734 15516880896 60882 33554432000 4194304 4196468 140725713662912 140725713645456 140496620424951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
/proc/7191/statm: 3788301 60882 3516 1 0 3749401 0
[pid=7191/tid=7192] ppid=7189 vsize=15153204 memory=53748 CPUtime=550.27 cores=0,2,4,6
/proc/7191/task/7192/stat : 7192 (java) R 7189 7189 6739 0 -1 4202560 16070 0 0 0 55022 5 0 0 20 0 15 0 516178734 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496624663752 140496255703066 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7193] ppid=7189 vsize=15153204 memory=1040 CPUtime=0.01 cores=0,2,4,6
/proc/7191/task/7193/stat : 7193 (java) S 7189 7189 6739 0 -1 1077944384 681 0 0 0 1 0 0 0 20 0 15 0 516178735 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496573045008 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7194] ppid=7189 vsize=15153204 memory=8112282956445269571 CPUtime=0.01 cores=0,2,4,6
/proc/7191/task/7194/stat : 7194 (java) S 7189 7189 6739 0 -1 1077944384 295 0 0 0 1 0 0 0 20 0 15 0 516178735 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496571992464 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7195] ppid=7189 vsize=15153204 memory=243528 CPUtime=0.01 cores=0,2,4,6
/proc/7191/task/7195/stat : 7195 (java) S 7189 7189 6739 0 -1 1077944384 1517 0 0 0 1 0 0 0 20 0 15 0 516178735 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496570939920 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7196] ppid=7189 vsize=15153204 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/7191/task/7196/stat : 7196 (java) S 7189 7189 6739 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 15 0 516178735 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496569887376 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7197] ppid=7189 vsize=15153204 memory=243476 CPUtime=0.01 cores=0,2,4,6
/proc/7191/task/7197/stat : 7197 (java) S 7189 7189 6739 0 -1 1077944384 1075 0 0 0 1 0 0 0 20 0 15 0 516178737 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496089074160 140496620436098 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7198] ppid=7189 vsize=15153204 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7198/stat : 7198 (java) S 7189 7189 6739 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 516178737 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496088020448 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7199] ppid=7189 vsize=15153204 memory=2084 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7199/stat : 7199 (java) S 7189 7189 6739 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 516178737 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496086967808 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7203] ppid=7189 vsize=15153204 memory=1480 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7203/stat : 7203 (java) S 7189 7189 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516178740 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496085916368 140496620443547 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7204] ppid=7189 vsize=15153204 memory=3880 CPUtime=2.82 cores=0,2,4,6
/proc/7191/task/7204/stat : 7204 (java) S 7189 7189 6739 0 -1 1077944384 14002 0 0 0 280 2 0 0 20 0 15 0 516178740 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496084862960 140496620436098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7206] ppid=7189 vsize=15153204 memory=243528 CPUtime=2.57 cores=0,2,4,6
/proc/7191/task/7206/stat : 7206 (java) S 7189 7189 6739 0 -1 1077944384 18415 0 0 0 255 2 0 0 20 0 15 0 516178740 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496083810416 140496620436098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7207] ppid=7189 vsize=15153204 memory=243528 CPUtime=0.87 cores=0,2,4,6
/proc/7191/task/7207/stat : 7207 (java) S 7189 7189 6739 0 -1 1077944384 9607 0 0 0 85 2 0 0 20 0 15 0 516178740 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496082757872 140496620436098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7208] ppid=7189 vsize=15153204 memory=12328 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7208/stat : 7208 (java) S 7189 7189 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516178740 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496081705568 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7209] ppid=7189 vsize=15153204 memory=243528 CPUtime=0.12 cores=0,2,4,6
/proc/7191/task/7209/stat : 7209 (java) S 7189 7189 6739 0 -1 1077944384 792 0 0 0 5 7 0 0 20 0 15 0 516178740 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496080653104 140496620436098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
Current children cumulated CPU time: 556.79 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 244980 KiB
[startup+550.801 s]
/proc/loadavg: 1.92 1.94 1.87 3/229 7272
/proc/meminfo: memFree=27974272/32770624 swapFree=67024084/67108860
[pid=7189] ppid=7186 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7189/stat : 7189 (xcsp3-exec) S 7186 7189 6739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516178734 115843072 363 33554432000 4194304 5098028 140724525748352 140724525746456 140144909656700 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 15998976 140724525753174 140724525753433 140724525753433 140724525756358 0
/proc/7189/statm: 28282 363 304 221 0 87 0
[pid=7191] ppid=7189 vsize=15153204 memory=243528 CPUtime=557.19 cores=0,2,4,6
/proc/7191/stat : 7191 (java) S 7189 7189 6739 0 -1 1077944320 64233 0 0 0 55698 21 0 0 20 0 15 0 516178734 15516880896 60882 33554432000 4194304 4196468 140725713662912 140725713645456 140496620424951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
/proc/7191/statm: 3788301 60882 3516 1 0 3749401 0
[pid=7191/tid=7192] ppid=7189 vsize=15153204 memory=243528 CPUtime=550.67 cores=0,2,4,6
/proc/7191/task/7192/stat : 7192 (java) R 7189 7189 6739 0 -1 4202560 16070 0 0 0 55062 5 0 0 20 0 15 0 516178734 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496624663752 140496256304617 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7193] ppid=7189 vsize=15153204 memory=12328 CPUtime=0.01 cores=0,2,4,6
/proc/7191/task/7193/stat : 7193 (java) S 7189 7189 6739 0 -1 1077944384 681 0 0 0 1 0 0 0 20 0 15 0 516178735 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496573045008 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7194] ppid=7189 vsize=15153204 memory=500 CPUtime=0.01 cores=0,2,4,6
/proc/7191/task/7194/stat : 7194 (java) S 7189 7189 6739 0 -1 1077944384 295 0 0 0 1 0 0 0 20 0 15 0 516178735 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496571992464 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7195] ppid=7189 vsize=15153204 memory=1584 CPUtime=0.01 cores=0,2,4,6
/proc/7191/task/7195/stat : 7195 (java) S 7189 7189 6739 0 -1 1077944384 1517 0 0 0 1 0 0 0 20 0 15 0 516178735 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496570939920 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7196] ppid=7189 vsize=15153204 memory=1608 CPUtime=0.01 cores=0,2,4,6
/proc/7191/task/7196/stat : 7196 (java) S 7189 7189 6739 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 15 0 516178735 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496569887376 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7197] ppid=7189 vsize=15153204 memory=1076 CPUtime=0.01 cores=0,2,4,6
/proc/7191/task/7197/stat : 7197 (java) S 7189 7189 6739 0 -1 1077944384 1075 0 0 0 1 0 0 0 20 0 15 0 516178737 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496089074160 140496620436098 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7198] ppid=7189 vsize=15153204 memory=3124 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7198/stat : 7198 (java) S 7189 7189 6739 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 516178737 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496088020448 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7199] ppid=7189 vsize=15153204 memory=1244 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7199/stat : 7199 (java) S 7189 7189 6739 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 516178737 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496086967808 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7203] ppid=7189 vsize=15153204 memory=14064 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7203/stat : 7203 (java) S 7189 7189 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516178740 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496085916368 140496620443547 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7204] ppid=7189 vsize=15153204 memory=23980 CPUtime=2.82 cores=0,2,4,6
/proc/7191/task/7204/stat : 7204 (java) S 7189 7189 6739 0 -1 1077944384 14002 0 0 0 280 2 0 0 20 0 15 0 516178740 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496084862960 140496620436098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7206] ppid=7189 vsize=15153204 memory=243528 CPUtime=2.57 cores=0,2,4,6
/proc/7191/task/7206/stat : 7206 (java) S 7189 7189 6739 0 -1 1077944384 18415 0 0 0 255 2 0 0 20 0 15 0 516178740 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496083810416 140496620436098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7207] ppid=7189 vsize=15153204 memory=53748 CPUtime=0.87 cores=0,2,4,6
/proc/7191/task/7207/stat : 7207 (java) S 7189 7189 6739 0 -1 1077944384 9607 0 0 0 85 2 0 0 20 0 15 0 516178740 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496082757872 140496620436098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7208] ppid=7189 vsize=15153204 memory=1040 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7208/stat : 7208 (java) S 7189 7189 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516178740 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496081705568 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7209] ppid=7189 vsize=15153204 memory=2084 CPUtime=0.12 cores=0,2,4,6
/proc/7191/task/7209/stat : 7209 (java) S 7189 7189 6739 0 -1 1077944384 792 0 0 0 5 7 0 0 20 0 15 0 516178740 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496080653104 140496620436098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
Current children cumulated CPU time: 557.19 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 244980 KiB
[startup+551.001 s]*
/proc/loadavg: 1.92 1.94 1.87 3/229 7272
/proc/meminfo: memFree=27974272/32770624 swapFree=67024084/67108860
[pid=7189] ppid=7186 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7189/stat : 7189 (xcsp3-exec) S 7186 7189 6739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516178734 115843072 363 33554432000 4194304 5098028 140724525748352 140724525746456 140144909656700 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 15998976 140724525753174 140724525753433 140724525753433 140724525756358 0
/proc/7189/statm: 28282 363 304 221 0 87 0
[pid=7191] ppid=7189 vsize=15153204 memory=243528 CPUtime=557.4 cores=0,2,4,6
/proc/7191/stat : 7191 (java) S 7189 7189 6739 0 -1 1077944320 64233 0 0 0 55719 21 0 0 20 0 15 0 516178734 15516880896 60882 33554432000 4194304 4196468 140725713662912 140725713645456 140496620424951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
/proc/7191/statm: 3788301 60882 3516 1 0 3749401 0
[pid=7191/tid=7192] ppid=7189 vsize=15153204 memory=172036 CPUtime=550.88 cores=0,2,4,6
/proc/7191/task/7192/stat : 7192 (java) R 7189 7189 6739 0 -1 4202560 16070 0 0 0 55083 5 0 0 20 0 15 0 516178734 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496624663752 140496255703794 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7193] ppid=7189 vsize=15153204 memory=4126316290023845779 CPUtime=0.01 cores=0,2,4,6
/proc/7191/task/7193/stat : 7193 (java) S 7189 7189 6739 0 -1 1077944384 681 0 0 0 1 0 0 0 20 0 15 0 516178735 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496573045008 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7194] ppid=7189 vsize=15153204 memory=6944656592455097440 CPUtime=0.01 cores=0,2,4,6
/proc/7191/task/7194/stat : 7194 (java) S 7189 7189 6739 0 -1 1077944384 295 0 0 0 1 0 0 0 20 0 15 0 516178735 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496571992464 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7195] ppid=7189 vsize=15153204 memory=6944656592455097440 CPUtime=0.01 cores=0,2,4,6
/proc/7191/task/7195/stat : 7195 (java) S 7189 7189 6739 0 -1 1077944384 1517 0 0 0 1 0 0 0 20 0 15 0 516178735 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496570939920 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7196] ppid=7189 vsize=15153204 memory=6933690296315519121 CPUtime=0.01 cores=0,2,4,6
/proc/7191/task/7196/stat : 7196 (java) S 7189 7189 6739 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 15 0 516178735 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496569887376 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7197] ppid=7189 vsize=15153204 memory=6944613755361064352 CPUtime=0.01 cores=0,2,4,6
/proc/7191/task/7197/stat : 7197 (java) S 7189 7189 6739 0 -1 1077944384 1075 0 0 0 1 0 0 0 20 0 15 0 516178737 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496089074160 140496620436098 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7198] ppid=7189 vsize=15153204 memory=6944613755361064352 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7198/stat : 7198 (java) S 7189 7189 6739 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 15 0 516178737 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496088020448 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7199] ppid=7189 vsize=15153204 memory=6944656592455350634 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7199/stat : 7199 (java) S 7189 7189 6739 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 15 0 516178737 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496086967808 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7203] ppid=7189 vsize=15153204 memory=7680491646476186387 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7203/stat : 7203 (java) S 7189 7189 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516178740 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496085916368 140496620443547 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7204] ppid=7189 vsize=15153204 memory=0 CPUtime=2.82 cores=0,2,4,6
/proc/7191/task/7204/stat : 7204 (java) S 7189 7189 6739 0 -1 1077944384 14002 0 0 0 280 2 0 0 20 0 15 0 516178740 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496084862960 140496620436098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7206] ppid=7189 vsize=15153204 memory=7454130749351154278 CPUtime=2.57 cores=0,2,4,6
/proc/7191/task/7206/stat : 7206 (java) S 7189 7189 6739 0 -1 1077944384 18415 0 0 0 255 2 0 0 20 0 15 0 516178740 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496083810416 140496620436098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7207] ppid=7189 vsize=15153204 memory=7445681991106652522 CPUtime=0.87 cores=0,2,4,6
/proc/7191/task/7207/stat : 7207 (java) S 7189 7189 6739 0 -1 1077944384 9607 0 0 0 85 2 0 0 20 0 15 0 516178740 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496082757872 140496620436098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7208] ppid=7189 vsize=15153204 memory=5793416172207100779 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7208/stat : 7208 (java) S 7189 7189 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516178740 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496081705568 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7209] ppid=7189 vsize=15153204 memory=4126316290023845779 CPUtime=0.12 cores=0,2,4,6
/proc/7191/task/7209/stat : 7209 (java) S 7189 7189 6739 0 -1 1077944384 792 0 0 0 5 7 0 0 20 0 15 0 516178740 15516880896 60882 33554432000 4194304 4196468 140725713662912 140496080653104 140496620436098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
Current children cumulated CPU time: 557.4 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 244980 KiB
[startup+551.11 s]
/proc/loadavg: 1.92 1.94 1.87 3/229 7272
/proc/meminfo: memFree=27974272/32770624 swapFree=67024084/67108860
[pid=7189] ppid=7186 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7189/stat : 7189 (xcsp3-exec) S 7186 7189 6739 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516178734 115843072 363 33554432000 4194304 5098028 140724525748352 140724525746456 140144909656700 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 15998976 140724525753174 140724525753433 140724525753433 140724525756358 0
/proc/7189/statm: 28282 363 304 221 0 87 0
[pid=7191] ppid=7189 vsize=15153204 memory=243548 CPUtime=557.5 cores=0,2,4,6
/proc/7191/stat : 7191 (java) S 7189 7189 6739 0 -1 1077944320 64607 0 0 0 55729 21 0 0 20 0 15 0 516178734 15516880896 60887 33554432000 4194304 4196468 140725713662912 140725713645456 140496620424951 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
/proc/7191/statm: 3788301 60887 3517 1 0 3749401 0
[pid=7191/tid=7192] ppid=7189 vsize=15153204 memory=243528 CPUtime=550.98 cores=0,2,4,6
/proc/7191/task/7192/stat : 7192 (java) S 7189 7189 6739 0 -1 1077944384 16418 0 0 0 55093 5 0 0 20 0 15 0 516178734 15516880896 60887 33554432000 4194304 4196468 140725713662912 140496624667664 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7193] ppid=7189 vsize=15153204 memory=243528 CPUtime=0.01 cores=0,2,4,6
/proc/7191/task/7193/stat : 7193 (java) S 7189 7189 6739 0 -1 1077944384 681 0 0 0 1 0 0 0 20 0 15 0 516178735 15516880896 60887 33554432000 4194304 4196468 140725713662912 140496573045008 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7194] ppid=7189 vsize=15153204 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/7191/task/7194/stat : 7194 (java) S 7189 7189 6739 0 -1 1077944384 295 0 0 0 1 0 0 0 20 0 15 0 516178735 15516880896 60889 33554432000 4194304 4196468 140725713662912 140496571992464 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7195] ppid=7189 vsize=15153204 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/7191/task/7195/stat : 7195 (java) S 7189 7189 6739 0 -1 1077944384 1517 0 0 0 1 0 0 0 20 0 14 0 516178735 15516880896 60889 33554432000 4194304 4196468 140725713662912 140496570939920 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7196] ppid=7189 vsize=15153204 memory=243528 CPUtime=0.01 cores=0,2,4,6
/proc/7191/task/7196/stat : 7196 (java) S 7189 7189 6739 0 -1 1077944384 350 0 0 0 1 0 0 0 20 0 14 0 516178735 15516880896 60889 33554432000 4194304 4196468 140725713662912 140496569887376 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7197] ppid=7189 vsize=15153204 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/7191/task/7197/stat : 7197 (java) R 7189 7189 6739 0 -1 4202560 1082 0 0 0 1 0 0 0 20 0 14 0 516178737 15516880896 60889 33554432000 4194304 4196468 140725713662912 140496089074680 140496601267992 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7198] ppid=7189 vsize=15153204 memory=243528 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7198/stat : 7198 (java) S 7189 7189 6739 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 13 0 516178737 15516880896 60889 33554432000 4194304 4196468 140725713662912 140496088020448 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7199] ppid=7189 vsize=15153204 memory=1940 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7199/stat : 7199 (java) S 7189 7189 6739 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 13 0 516178737 15516880896 60889 33554432000 4194304 4196468 140725713662912 140496086967808 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7203] ppid=7189 vsize=15153204 memory=1480 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7203/stat : 7203 (java) S 7189 7189 6739 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 13 0 516178740 15516880896 60861 33554432000 4194304 4196468 140725713662912 140496085916016 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7204] ppid=7189 vsize=15153204 memory=3880 CPUtime=2.82 cores=0,2,4,6
/proc/7191/task/7204/stat : 7204 (java) S 7189 7189 6739 0 -1 1077944384 14002 0 0 0 280 2 0 0 20 0 12 0 516178740 15516880896 60861 33554432000 4194304 4196468 140725713662912 140496084862960 140496620436098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7206] ppid=7189 vsize=15153204 memory=3648 CPUtime=2.57 cores=0,2,4,6
/proc/7191/task/7206/stat : 7206 (java) S 7189 7189 6739 0 -1 1077944384 18415 0 0 0 255 2 0 0 20 0 12 0 516178740 15516880896 60861 33554432000 4194304 4196468 140725713662912 140496083810416 140496620436098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7207] ppid=7189 vsize=15153204 memory=53748 CPUtime=0.87 cores=0,2,4,6
/proc/7191/task/7207/stat : 7207 (java) S 7189 7189 6739 0 -1 1077944384 9633 0 0 0 85 2 0 0 20 0 12 0 516178740 15516880896 60861 33554432000 4194304 4196468 140725713662912 140496082757872 140496620436098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
[pid=7191/tid=7208] ppid=7189 vsize=15153204 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7191/task/7208/stat : 7208 (java) S 7189 7189 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 12 0 516178740 15516880896 60861 33554432000 4194304 4196468 140725713662912 140496081705568 140496620435157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19513344 140725713671131 140725713671306 140725713671306 140725713674191 0
Current children cumulated CPU time: 557.5 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 245000 KiB
Child status: 0
Real time (s): 551.113
CPU time (s): 557.518
CPU user time (s): 557.299
CPU system time (s): 0.21902
CPU usage (%): 101.162
Max. virtual memory (cumulated for all children) (KiB): 15268132
Max. memory (cumulated for all children) (KiB): 245000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 557.299
system time used= 0.21902
maximum resident set size= 243584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65227
page faults= 0
swaps= 0
block input operations= 0
block output operations= 592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14804
involuntary context switches= 707
# summary of solver processes directly reported to runsolver:
# pid: 7189
# total CPU time (s): 557.518
# total CPU user time (s): 557.299
# total CPU system time (s): 0.21902
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.46991 second user time and 4.67976 second system time
The end
Begin job on node150 at 2019-09-25 10:10:22 IDJOB=4406519 IDBENCH=126803 IDSOLVER=2870 FILE ID=node150/4406519-1569399063 RUNJOBID= node150-1569396629-6770 PBS_JOBID= 21705675 Free space on /var/tmp= 13456 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-4406519-1569399063/watcher-4406519-1569399063 -o /var/tmp/evaluation-result-4406519-1569399063/solver-4406519-1569399063 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1569396629-6770 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 2000911244 HOME/instance-4406519-1569399063.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 305bfce3403e7be8ea8343edd9c7d9a7 RANDOM SEED=2000911244 node150.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.79 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.79 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.79 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.79 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: 28378832 kB MemAvailable: 31818868 kB Buffers: 154324 kB Cached: 3381728 kB SwapCached: 8056 kB Active: 3365928 kB Inactive: 205996 kB Active(anon): 4936 kB Inactive(anon): 82224 kB Active(file): 3360992 kB Inactive(file): 123772 kB Unevictable: 109316 kB Mlocked: 109316 kB SwapTotal: 67108860 kB SwapFree: 67024084 kB Dirty: 36272 kB Writeback: 0 kB AnonPages: 136296 kB Mapped: 54912 kB Shmem: 42904 kB Slab: 412704 kB SReclaimable: 383732 kB SUnreclaim: 28972 kB KernelStack: 3712 kB PageTables: 5660 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 519668 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 99712 kB DirectMap2M: 33445888 kB Free space on /var/tmp at the end= 13428 MiB End job on node150 at 2019-09-25 10:19:33