Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| OscaR - Parallel with EPS 2018-07-02 | SAT (TO) | 15 | 19705.9 | 2520.39 |
| Name | PeacableArmies/ PeacableArmies-m1-50_c18.xml |
| MD5SUM | 65d9088e6e3c6b500cf18d234bd8e6c7 |
| Bench Category | COP (optimization problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 214 |
| Best CPU time to get the best result obtained on this benchmark | 19389.3 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 5000 |
| Number of constraints | 409201 |
| Number of domains | 1 |
| Minimum domain size | 2 |
| Maximum domain size | 2 |
| Distribution of domain sizes | [{"size":2,"count":5000}] |
| Minimum variable degree | 149 |
| Maximum variable degree | 198 |
| Distribution of variable degrees | [{"degree":149,"count":196},{"degree":150,"count":196},{"degree":151,"count":188},{"degree":152,"count":188},{"degree":153,"count":180},{"degree":154,"count":180},{"degree":155,"count":172},{"degree":156,"count":172},{"degree":157,"count":164},{"degree":158,"count":164},{"degree":159,"count":156},{"degree":160,"count":156},{"degree":161,"count":148},{"degree":162,"count":148},{"degree":163,"count":140},{"degree":164,"count":140},{"degree":165,"count":132},{"degree":166,"count":132},{"degree":167,"count":124},{"degree":168,"count":124},{"degree":169,"count":116},{"degree":170,"count":116},{"degree":171,"count":108},{"degree":172,"count":108},{"degree":173,"count":100},{"degree":174,"count":100},{"degree":175,"count":92},{"degree":176,"count":92},{"degree":177,"count":84},{"degree":178,"count":84},{"degree":179,"count":76},{"degree":180,"count":76},{"degree":181,"count":68},{"degree":182,"count":68},{"degree":183,"count":60},{"degree":184,"count":60},{"degree":185,"count":52},{"degree":186,"count":52},{"degree":187,"count":44},{"degree":188,"count":44},{"degree":189,"count":36},{"degree":190,"count":36},{"degree":191,"count":28},{"degree":192,"count":28},{"degree":193,"count":20},{"degree":194,"count":20},{"degree":195,"count":12},{"degree":196,"count":12},{"degree":197,"count":4},{"degree":198,"count":4}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 5000 |
| Distribution of constraint arities | [{"arity":2,"count":409200},{"arity":5000,"count":1}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 409200 |
| Distribution of constraint types | [{"type":"intension","count":409200},{"type":"sum","count":1}] |
| Optimization problem | YES |
| Type of objective | max SUM |
0.66/0.55 c version: 2018-07-02 0.66/0.55 c seed: 435076714 0.66/0.55 c timeout: 20160 0.66/0.55 c memlimit: 22000 0.66/0.55 c nbcore: 8 0.66/0.58 c Parsing instance... 38.62/14.87 c Parsing done, starting search... 233.64/75.00 o 1 234.50/75.04 o 2 235.23/75.14 o 3 235.97/75.22 o 4 239.99/75.75 o 5 256.64/77.87 o 6 296.39/82.90 o 7 469.14/106.42 o 8 731.59/139.49 o 9 1099.52/185.66 o 10 1676.09/258.08 o 11 2389.70/347.60 o 12 3272.12/458.34 o 13 4300.25/587.32 o 14 11541.63/1495.93 o 15 19703.61/2520.08 s SATISFIABLE 19703.61/2520.09 v <instantiation> 19703.61/2520.09 v <list> 19703.61/2520.09 v b[0][0] b[0][1] b[0][2] b[0][3] b[0][4] b[0][5] b[0][6] b[0][7] b[0][8] b[0][9] b[0][10] b[0][11] b[0][12] b[0][13] b[0][14] b[0][15] b[0][16] b[0][17] b[0][18] b[0][19] b[0][20] b[0][21] b[0][22] b[0][23] b[0][24] b[0][25] b[0][26] b[0][27] b[0][28] b[0][29] b[0][30] b[0][31] b[0][32] b[0][33] b[0][34] b[0][35] b[0][36] b[0][37] b[0][38] b[0][39] b[0][40] b[0][41] b[0][42] b[0][43] b[0][44] b[0][45] b[0][46] b[0][47] b[0][48] b[0][49] b[1][0] b[1][1] b[1][2] b[1][3] b[1][4] b[1][5] b[1][6] b[1][7] b[1][8] b[1][9] b[1][10] b[1][11] b[1][12] b[1][13] b[1][14] b[1][15] b[1][16] b[1][17] b[1][18] b[1][19] b[1][20] b[1][21] b[1][22] b[1][23] b[1][24] b[1][25] b[1][26] b[1][27] b[1][28] b[1][29] b[1][30] b[1][31] b[1][32] b[1][33] b[1][34] b[1][35] b[1][36] b[1][37] b[1][38] b[1][39] b[1][40] b[1][41] b[1][42] b[1][43] b[1][44] b[1][45] b[1][46] b[1][47] b[1][48] b[1][49] b[2][0] b[2][1] b[2][2] b[2][3] b[2][4] b[2][5] b[2][6] b[2][7] b[2][8] b[2][9] b[2][10] b[2][11] b[2][12] b[2][13] b[2][14] b[2][15] b[2][16] b[2][17] b[2][18] b[2][19] b[2][20] b[2][21] b[2][22] b[2][23] b[2][24] b[2][25] b[2][26] b[2][27] b[2][28] b[2][29] b[2][30] b[2][31] b[2][32] b[2][33] b[2][34] b[2][35] b[2][36] b[2][37] b[2][38] b[2][39] b[2][40] b[2][41] b[2][42] b[2][43] b[2][44] b[2][45] b[2][46] b[2][47] b[2][48] b[2][49] b[3][0] b[3][1] b[3][2] b[3][3] b[3][4] b[3][5] b[3][6] b[3][7] b[3][8] b[3][9] b[3][10] b[3][11] b[3][12] b[3][13] b[3][14] b[3][15] b[3][16] b[3][17] b[3][18] b[3][19] b[3][20] b[3][21] b[3][22] b[3][23] b[3][24] b[3][25] b[3][26] b[3][27] b[3][28] b[3][29] b[3][30] b[3][31] b[3][32] b[3][33] b[3][34] b[3][35] b[3][36] b[3][37] b[3][38] b[3][39] b[3][40] b[3][41] b[3][42] b[3][43] b[3][44] b[3][45] b[3][46] b[3][47] b[3][48] b[3][49] b[4][0] b[4][1] b[4][2] b[4][3] b[4][4] b[4][5] b[4][6] b[4][7] b[4][8] b[4][9] b[4][10] b[4][11] b[4][12] b[4][13] b[4][14] b[4][15] b[4][16] b[4][17] b[4][18] b[4][19] b[4][20] b[4][21] b[4][22] b[4][23] b[4][24] b[4][25] b[4][26] b[4][27] b[4][28] b[4][29] b[4][30] b[4][31] b[4][32] b[4][33] b[4][34] b[4][35] b[4][36] b[4][37] b[4][38] b[4][39] b[4][40] b[4][41] b[4][42] b[4][43] b[4][44] b[4][45] b[4][46] b[4][47] b[4][48] b[4][49] b[5][0] b[5][1] b[5][2] b[5][3] b[5][4] b[5][5] b[5][6] b[5][7] b[5][8] b[5][9] b[5][10] b[5][11] b[5][12] b[5][13] b[5][14] b[5][15] b[5][16] b[5][17] b[5][18] b[5][19] b[5][20] b[5][21] b[5][22] b[5][23] b[5][24] b[5][25] b[5][26] b[5][27] b[5][28] b[5][29] b[5][30] b[5][31] b[5][32] b[5][33] b[5][34] b[5][35] b[5][36] b[5][37] b[5][38] b[5][39] b[5][40] b[5][41] b[5][42] b[5][43] b[5][44] b[5][45] b[5][46] b[5][47] b[5][48] b[5][49] b[6][0] b[6][1] b[6][2] b[6][3] b[6][4] b[6][5] b[6][6] b[6][7] b[6][8] b[6][9] b[6][10] b[6][11] b[6][12] b[6][13] b[6][14] b[6][15] b[6][16] b[6][17] b[6][18] b[6][19] b[6][20] b[6][21] b[6][22] b[6][23] b[6][24] b[6][25] b[6][26] b[6][27] b[6][28] b[6][29] b[6][30] b[6][31] b[6][32] b[6][33] b[6][34] b[6][35] b[6][36] b[6][37] b[6][38] b[6][39] b[6][40] b[6][41] b[6][42] b[6][43] b[6][44] b[6][45] b[6][46] b[6][47] b[6][48] b[6][49] b[7][0] b[7][1] b[7][2] b[7][3] b[7][4] b[7][5] b[7][6] b[7][7] b[7][8] b[7][9] b[7][10] b[7][11] b[7][12] b[7][13] b[7][14] b[7][15] b[7][16] b[7][17] b[7][18] b[7][19] b[7][20] b[7][21] b[7][22] b[7][23] b[7][24] b[7][25] b[7][26] b[7][27] b[7][28] b[7][29] b[7][30] b[7][31] b[7][32] b[7][33] b[7][34] b[7][35] b[7][36] b[7][37] b[7][38] b[7][39] b[7][40] b[7][41] b[7][42] b[7][43] b[7][44] b[7][45] b[7][46] b[7][47] b[7][48] b[7][49] b[8][0] b[8][1] b[8][2] b[8][3] b[8][4] b[8][5] b[8][6] b[8][7] b[8][8] b[8][9] b[8][10] b[8][11] b[8][12] b[8][13] b[8][14] b[8][15] b[8][16] b[8][17] b[8][18] b[8][19] b[8][20] b[8][21] b[8][22] b[8][23] b[8][24] b[8][25] b[8][26] b[8][27] b[8][28] b[8][29] b[8][30] b[8][31] b[8][32] b[8][33] b[8][34] b[8][35] b[8][36] b[8][37] b[8][38] b[8][39] b[8][40] b[8][41] b[8][42] b[8][43] b[8][44] b[8][45] b[8][46] b[8][47] b[8][48] b[8][49] b[9][0] b[9][1] b[9][2] b[9][3] b[9][4] b[9][5] b[9][6] b[9][7] b[9][8] b[9][9] b[9][10] b[9][11] b[9][12] b[9][13] b[9][14] b[9][15] b[9][16] b[9][17] b[9][18] b[9][19] b[9][20] b[9][21] b[9][22] b[9][23] b[9][24] b[9][25] b[9][26] b[9][27] b[9][28] b[9][29] b[9][30] b[9][31] b[9][32] b[9][33] b[9][34] b[9][35] b[9][36] b[9][37] b[9][38] b[9][39] b[9][40] b[9][41] b[9][42] b[9][43] b[9][44] b[9][45] b[9][46] b[9][47] b[9][48] b[9][49] b[10][0] b[10][1] b[10][2] b[10][3] b[10][4] b[10][5] b[10][6] b[10][7] b[10][8] b[10][9] b[10][10] b[10][11] b[10][12] b[10][13] b[10][14] b[10][15] b[10][16] b[10][17] b[10][18] b[10][19] b[10][20] b[10][21] b[10][22] b[10][23] b[10][24] b[10][25] b[10][26] b[10][27] b[10][28] b[10][29] b[10][30] b[10][31] b[10][32] b[10][33] b[10][34] b[10][35] b[10][36] b[10][37] b[10][38] b[10][39] b[10][40] b[10][41] b[10][42] b[10][43] b[10][44] b[10][45] b[10][46] b[10][47] b[10][48] b[10][49] b[11][0] b[11][1] b[11][2] b[11][3] b[11][4] b[11][5] b[11][6] b[11][7] b[11][8] b[11][9] b[11][10] b[11][11] b[11][12] b[11][13] b[11][14] b[11][15] b[11][16] b[11][17] b[11][18] b[11][19] b[11][20] b[11][21] b[11][22] b[11][23] b[11][24] b[11][25] b[11][26] b[11][27] b[11][28] b[11][29] b[11][30] b[11][31] b[11][32] b[11][33] b[11][34] b[11][35] b[11][36] b[11][37] b[11][38] b[11][39] b[11][40] b[11][41] b[11][42] b[11][43] b[11][44] b[11][45] b[11][46] b[11][47] b[11][48] b[11][49] b[12][0] b[12][1] b[12][2] b[12][3] b[12][4] b[12][5] b[12][6] b[12][7] b[12][8] b[12][9] b[12][10] b[12][11] b[12][12] b[12][13] b[12][14] b[12][15] b[12][16] b[12][17] b[12][18] b[12][19] b[12][20] b[12][21] b[12][22] b[12][23] b[12][24] b[12][25] b[12][26] b[12][27] b[12][28] b[12][29] b[12][30] b[12][31] b[12][32] b[12][33] b[12][34] b[12][35] b[12][36] b[12][37] b[12][38] b[12][39] b[12][40] b[12][41] b[12][42] b[12][43] b[12][44] b[12][45] b[12][46] b[12][47] b[12][48] b[12][49] b[13][0] b[13][1] b[13][2] b[13][3] b[13][4] b[13][5] b[13][6] b[13][7] b[13][8] b[13][9] b[13][10] b[13][11] b[13][12] b[13][13] b[13][14] b[13][15] b[13][16] b[13][17] b[13][18] b[13][19] b[13][20] b[13][21] b[13][22] b[13][23] b[13][24] b[13][25] b[13][26] b[13][27] b[13][28] b[13][29] b[13][30] b[13][31] b[13][32] b[13][33] b[13][34] b[13][35] b[13][36] b[13][37] b[13][38] b[13][39] b[13][40] b[13][41] b[13][42] b[13][43] b[13][44] b[13][45] b[13][46] b[13][47] b[13][48] b[13][49] b[14][0] b[14][1] b[14][2] b[14][3] b[14][4] b[14][5] b[14][6] b[14][7] b[14][8] b[14][9] b[14][10] b[14][11] b[14][12] b[14][13] b[14][14] b[14][15] b[14][16] b[14][17] b[14][18] b[14][19] b[14][20] b[14][21] b[14][22] b[14][23] b[14][24] b[14][25] b[14][26] b[14][27] b[14][28] b[14][29] b[14][30] b[14][31] b[14][32] b[14][33] b[14][34] b[14][35] b[14][36] b[14][37] b[14][38] b[14][39] b[14][40] b[14][41] b[14][42] b[14][43] b[14][44] b[14][45] b[14][46] b[14][47] b[14][48] b[14][49] b[15][0] b[15][1] b[15][2] b[15][3] b[15][4] b[15][5] b[15][6] b[15][7] b[15][8] b[15][9] b[15][10] b[15][11] b[15][12] b[15][13] b[15][14] b[15][15] b[15][16] b[15][17] b[15][18] b[15][19] b[15][20] b[15][21] b[15][22] b[15][23] b[15][24] b[15][25] b[15][26] b[15][27] b[15][28] b[15][29] b[15][30] b[15][31] b[15][32] b[15][33] b[15][34] b[15][35] b[15][36] b[15][37] b[15][38] b[15][39] b[15][40] b[15][41] b[15][42] b[15][43] b[15][44] b[15][45] b[15][46] b[15][47] b[15][48] b[15][49] b[16][0] b[16][1] b[16][2] b[16][3] b[16][4] b[16][5] b[16][6] b[16][7] b[16][8] b[16][9] b[16][10] b[16][11] b[16][12] b[16][13] b[16][14] b[16][15] b[16][16] b[16][17] b[16][18] b[16][19] b[16][20] b[16][21] b[16][22] b[16][23] b[16][24] b[16][25] b[16][26] b[16][27] b[16][28] b[16][29] b[16][30] b[16][31] b[16][32] b[16][33] b[16][34] b[16][35] b[16][36] b[16][37] b[16][38] b[16][39] b[16][40] b[16][41] b[16][42] b[16][43] b[16][44] b[16][45] b[16][46] b[16][47] b[16][48] b[16][49] b[17][0] b[17][1] b[17][2] b[17][3] b[17][4] b[17][5] b[17][6] b[17][7] b[17][8] b[17][9] b[17][10] b[17][11] b[17][12] b[17][13] b[17][14] b[17][15] b[17][16] b[17][17] b[17][18] b[17][19] b[17][20] b[17][21] b[17][22] b[17][23] b[17][24] b[17][25] b[17][26] b[17][27] b[17][28] b[17][29] b[17][30] b[17][31] b[17][32] b[17][33] b[17][34] b[17][35] b[17][36] b[17][37] b[17][38] b[17][39] b[17][40] b[17][41] b[17][42] b[17][43] b[17][44] b[17][45] b[17][46] b[17][47] b[17][48] b[17][49] b[18][0] b[18][1] b[18][2] b[18][3] b[18][4] b[18][5] b[18][6] b[18][7] b[18][8] b[18][9] b[18][10] b[18][11] b[18][12] b[18][13] b[18][14] b[18][15] b[18][16] b[18][17] b[18][18] b[18][19] b[18][20] b[18][21] b[18][22] b[18][23] b[18][24] b[18][25] b[18][26] b[18][27] b[18][28] b[18][29] b[18][30] b[18][31] b[18][32] b[18][33] b[18][34] b[18][35] b[18][36] b[18][37] b[18][38] b[18][39] b[18][40] b[18][41] b[18][42] b[18][43] b[18][44] b[18][45] b[18][46] b[18][47] b[18][48] b[18][49] b[19][0] b[19][1] b[19][2] b[19][3] b[19][4] b[19][5] b[19][6] b[19][7] b[19][8] b[19][9] b[19][10] b[19][11] b[19][12] b[19][13] b[19][14] b[19][15] b[19][16] b[19][17] b[19][18] b[19][19] b[19][20] b[19][21] b[19][22] b[19][23] b[19][24] b[19][25] b[19][26] b[19][27] b[19][28] b[19][29] b[19][30] b[19][31] b[19][32] b[19][33] b[19][34] b[19][35] b[19][36] b[19][37] b[19][38] b[19][39] b[19][40] b[19][41] b[19][42] b[19][43] b[19][44] b[19][45] b[19][46] b[19][47] b[19][48] b[19][49] b[20][0] b[20][1] b[20][2] b[20][3] b[20][4] b[20][5] b[20][6] b[20][7] b[20][8] b[20][9] b[20][10] b[20][11] b[20][12] b[20][13] b[20][14] b[20][15] b[20][16] b[20][17] b[20][18] b[20][19] b[20][20] b[20][21] b[20][22] b[20][23] b[20][24] b[20][25] b[20][26] b[20][27] b[20][28] b[20][29] b[20][30] b[20][31] b[20][32] b[20][33] b[20][34] b[20][35] b[20][36] b[20][37] b[20][38] b[20][39] b[20][40] b[20][41] b[20][42] b[20][43] b[20][44] b[20][45] b[20][46] b[20][47] b[20][48] b[20][49] b[21][0] b[21][1] b[21][2] b[21][3] b[21][4] b[21][5] b[21][6] b[21][7] b[21][8] b[21][9] b[21][10] b[21][11] b[21][12] b[21][13] b[21][14] b[21][15] b[21][16] b[21][17] b[21][18] b[21][19] b[21][20] b[21][21] b[21][22] b[21][23] b[21][24] b[21][25] b[21][26] b[21][27] b[21][28] b[21][29] b[21][30] b[21][31] b[21][32] b[21][33] b[21][34] b[21][35] b[21][36] b[21][37] b[21][38] b[21][39] b[21][40] b[21][41] b[21][42] b[21][43] b[21][44] b[21][45] b[21][46] b[21][47] b[21][48] b[21][49] b[22][0] b[22][1] b[22][2] b[22][3] b[22][4] b[22][5] b[22][6] b[22][7] b[22][8] b[22][9] b[22][10] b[22][11] b[22][12] b[22][13] b[22][14] b[22][15] b[22][16] b[22][17] b[22][18] b[22][19] b[22][20] b[22][21] b[22][22] b[22][23] b[22][24] b[22][25] b[22][26] b[22][27] b[22][28] b[22][29] b[22][30] b[22][31] b[22][32] b[22][33] b[22][34] b[22][35] b[22][36] b[22][37] b[22][38] b[22][39] b[22][40] b[22][41] b[22][42] b[22][43] b[22][44] b[22][45] b[22][46] b[22][47] b[22][48] b[22][49] b[23][0] b[23][1] b[23][2] b[23][3] b[23][4] b[23][5] b[23][6] b[23][7] b[23][8] b[23][9] b[23][10] b[23][11] b[23][12] b[23][13] b[23][14] b[23][15] b[23][16] b[23][17] b[23][18] b[23][19] b[23][20] b[23][21] b[23][22] b[23][23] b[23][24] b[23][25] b[23][26] b[23][27] b[23][28] b[23][29] b[23][30] b[23][31] b[23][32] b[23][33] b[23][34] b[23][35] b[23][36] b[23][37] b[23][38] b[23][39] b[23][40] b[23][41] b[23][42] b[23][43] b[23][44] b[23][45] b[23][46] b[23][47] b[23][48] b[23][49] b[24][0] b[24][1] b[24][2] b[24][3] b[24][4] b[24][5] b[24][6] b[24][7] b[24][8] b[24][9] b[24][10] b[24][11] b[24][12] b[24][13] b[24][14] b[24][15] b[24][16] b[24][17] b[24][18] b[24][19] b[24][20] b[24][21] b[24][22] b[24][23] b[24][24] b[24][25] b[24][26] b[24][27] b[24][28] b[24][29] b[24][30] b[24][31] b[24][32] b[24][33] b[24][34] b[24][35] b[24][36] b[24][37] b[24][38] b[24][39] b[24][40] b[24][41] b[24][42] b[24][43] b[24][44] b[24][45] b[24][46] b[24][47] b[24][48] b[24][49] b[25][0] b[25][1] b[25][2] b[25][3] b[25][4] b[25][5] b[25][6] b[25][7] b[25][8] b[25][9] b[25][10] b[25][11] b[25][12] b[25][13] b[25][14] b[25][15] b[25][16] b[25][17] b[25][18] b[25][19] b[25][20] b[25][21] b[25][22] b[25][23] b[25][24] b[25][25] b[25][26] b[25][27] b[25][28] b[25][29] b[25][30] b[25][31] b[25][32] b[25][33] b[25][34] b[25][35] b[25][36] b[25][37] b[25][38] b[25][39] b[25][40] b[25][41] b[25][42] b[25][43] b[25][44] b[25][45] b[25][46] b[25][47] b[25][48] b[25][49] b[26][0] b[26][1] b[26][2] b[26][3] b[26][4] b[26][5] b[26][6] b[26][7] b[26][8] b[26][9] b[26][10] b[26][11] b[26][12] b[26][13] b[26][14] b[26][15] b[26][16] b[26][17] b[26][18] b[26][19] b[26][20] b[26][21] b[26][22] b[26][23] b[26][24] b[26][25] b[26][26] b[26][27] b[26][28] b[26][29] b[26][30] b[26][31] b[26][32] b[26][33] b[26][34] b[26][35] b[26][36] b[26][37] b[26][38] b[26][39] b[26][40] b[26][41] b[26][42] b[26][43] b[26][44] b[26][45] b[26][46] b[26][47] b[26][48] b[26][49] b[27][0] b[27][1] b[27][2] b[27][3] b[27][4] b[27][5] b[27][6] b[27][7] b[27][8] b[27][9] b[27][10] b[27][11] b[27][12] b[27][13] b[27][14] b[27][15] b[27][16] b[27][17] b[27][18] b[27][19] b[27][20] b[27][21] b[27][22] b[27][23] b[27][24] b[27][25] b[27][26] b[27][27] b[27][28] b[27][29] b[27][30] b[27][31] b[27][32] b[27][33] b[27][34] b[27][35] b[27][36] b[27][37] b[27][38] b[27][39] b[27][40] b[27][41] b[27][42] b[27][43] b[27][44] b[27][45] b[27][46] b[27][47] b[27][48] b[27][49] b[28][0] b[28][1] b[28][2] b[28][3] b[28][4] b[28][5] b[28][6] b[28][7] b[28][8] b[28][9] b[28][10] b[28][11] b[28][12] b[28][13] b[28][14] b[28][15] b[28][16] b[28][17] b[28][18] b[28][19] b[28][20] b[28][21] b[28][22] b[28][23] b[28][24] b[28][25] b[28][26] b[28][27] b[28][28] b[28][29] b[28][30] b[28][31] b[28][32] b[28][33] b[28][34] b[28][35] b[28][36] b[28][37] b[28][38] b[28][39] b[28][40] b[28][41] b[28][42] b[28][43] b[28][44] b[28][45] b[28][46] b[28][47] b[28][48] b[28][49] b[29][0] b[29][1] b[29][2] b[29][3] b[29][4] b[29][5] b[29][6] b[29][7] b[29][8] b[29][9] b[29][10] b[29][11] b[29][12] b[29][13] b[29][14] b[29][15] b[29][16] b[29][17] b[29][18] b[29][19] b[29][20] b[29][21] b[29][22] b[29][23] b[29][24] b[29][25] b[29][26] b[29][27] b[29][28] b[29][29] b[29][30] b[29][31] b[29][32] b[29][33] b[29][34] b[29][35] b[29][36] b[29][37] b[29][38] b[29][39] b[29][40] b[29][41] b[29][42] b[29][43] b[29][44] b[29][45] b[29][46] b[29][47] b[29][48] b[29][49] b[30][0] b[30][1] b[30][2] b[30][3] b[30][4] b[30][5] b[30][6] b[30][7] b[30][8] b[30][9] b[30][10] b[30][11] b[30][12] b[30][13] b[30][14] b[30][15] b[30][16] b[30][17] b[30][18] b[30][19] b[30][20] b[30][21] b[30][22] b[30][23] b[30][24] b[30][25] b[30][26] b[30][27] b[30][28] b[30][29] b[30][30] b[30][31] b[30][32] b[30][33] b[30][34] b[30][35] b[30][36] b[30][37] b[30][38] b[30][39] b[30][40] b[30][41] b[30][42] b[30][43] b[30][44] b[30][45] b[30][46] b[30][47] b[30][48] b[30][49] b[31][0] b[31][1] b[31][2] b[31][3] b[31][4] b[31][5] b[31][6] b[31][7] b[31][8] b[31][9] b[31][10] b[31][11] b[31][12] b[31][13] b[31][14] b[31][15] b[31][16] b[31][17] b[31][18] b[31][19] b[31][20] b[31][21] b[31][22] b[31][23] b[31][24] b[31][25] b[31][26] b[31][27] b[31][28] b[31][29] b[31][30] b[31][31] b[31][32] b[31][33] b[31][34] b[31][35] b[31][36] b[31][37] b[31][38] b[31][39] b[31][40] b[31][41] b[31][42] b[31][43] b[31][44] b[31][45] b[31][46] b[31][47] b[31][48] b[31][49] b[32][0] b[32][1] b[32][2] b[32][3] b[32][4] b[32][5] b[32][6] b[32][7] b[32][8] b[32][9] b[32][10] b[32][11] b[32][12] b[32][13] b[32][14] b[32][15] b[32][16] b[32][17] b[32][18] b[32][19] b[32][20] b[32][21] b[32][22] b[32][23] b[32][24] b[32][25] b[32][26] b[32][27] b[32][28] b[32][29] b[32][30] b[32][31] b[32][32] b[32][33] b[32][34] b[32][35] b[32][36] b[32][37] b[32][38] b[32][39] b[32][40] b[32][41] b[32][42] b[32][43] b[32][44] b[32][45] b[32][46] b[32][47] b[32][48] b[32][49] b[33][0] b[33][1] b[33][2] b[33][3] b[33][4] b[33][5] b[33][6] b[33][7] b[33][8] b[33][9] b[33][10] b[33][11] b[33][12] b[33][13] b[33][14] b[33][15] b[33][16] b[33][17] b[33][18] b[33][19] b[33][20] b[33][21] b[33][22] b[33][23] b[33][24] b[33][25] b[33][26] b[33][27] b[33][28] b[33][29] b[33][30] b[33][31] b[33][32] b[33][33] b[33][34] b[33][35] b[33][36] b[33][37] b[33][38] b[33][39] b[33][40] b[33][41] b[33][42] b[33][43] b[33][44] b[33][45] b[33][46] b[33][47] b[33][48] b[33][49] b[34][0] b[34][1] b[34][2] b[34][3] b[34][4] b[34][5] b[34][6] b[34][7] b[34][8] b[34][9] b[34][10] b[34][11] b[34][12] b[34][13] b[34][14] b[34][15] b[34][16] b[34][17] b[34][18] b[34][19] b[34][20] b[34][21] b[34][22] b[34][23] b[34][24] b[34][25] b[34][26] b[34][27] b[34][28] b[34][29] b[34][30] b[34][31] b[34][32] b[34][33] b[34][34] b[34][35] b[34][36] b[34][37] b[34][38] b[34][39] b[34][40] b[34][41] b[34][42] b[34][43] b[34][44] b[34][45] b[34][46] b[34][47] b[34][48] b[34][49] b[35][0] b[35][1] b[35][2] b[35][3] b[35][4] b[35][5] b[35][6] b[35][7] b[35][8] b[35][9] b[35][10] b[35][11] b[35][12] b[35][13] b[35][14] b[35][15] b[35][16] b[35][17] b[35][18] b[35][19] b[35][20] b[35][21] b[35][22] b[35][23] b[35][24] b[35][25] b[35][26] b[35][27] b[35][28] b[35][29] b[35][30] b[35][31] b[35][32] b[35][33] b[35][34] b[35][35] b[35][36] b[35][37] b[35][38] b[35][39] b[35][40] b[35][41] b[35][42] b[35][43] b[35][44] b[35][45] b[35][46] b[35][47] b[35][48] b[35][49] b[36][0] b[36][1] b[36][2] b[36][3] b[36][4] b[36][5] b[36][6] b[36][7] b[36][8] b[36][9] b[36][10] b[36][11] b[36][12] b[36][13] b[36][14] b[36][15] b[36][16] b[36][17] b[36][18] b[36][19] b[36][20] b[36][21] b[36][22] b[36][23] b[36][24] b[36][25] b[36][26] b[36][27] b[36][28] b[36][29] b[36][30] b[36][31] b[36][32] b[36][33] b[36][34] b[36][35] b[36][36] b[36][37] b[36][38] b[36][39] b[36][40] b[36][41] b[36][42] b[36][43] b[36][44] b[36][45] b[36][46] b[36][47] b[36][48] b[36][49] b[37][0] b[37][1] b[37][2] b[37][3] b[37][4] b[37][5] b[37][6] b[37][7] b[37][8] b[37][9] b[37][10] b[37][11] b[37][12] b[37][13] b[37][14] b[37][15] b[37][16] b[37][17] b[37][18] b[37][19] b[37][20] b[37][21] b[37][22] b[37][23] b[37][24] b[37][25] b[37][26] b[37][27] b[37][28] b[37][29] b[37][30] b[37][31] b[37][32] b[37][33] b[37][34] b[37][35] b[37][36] b[37][37] b[37][38] b[37][39] b[37][40] b[37][41] b[37][42] b[37][43] b[37][44] b[37][45] b[37][46] b[37][47] b[37][48] b[37][49] b[38][0] b[38][1] b[38][2] b[38][3] b[38][4] b[38][5] b[38][6] b[38][7] b[38][8] b[38][9] b[38][10] b[38][11] b[38][12] b[38][13] b[38][14] b[38][15] b[38][16] b[38][17] b[38][18] b[38][19] b[38][20] b[38][21] b[38][22] b[38][23] b[38][24] b[38][25] b[38][26] b[38][27] b[38][28] b[38][29] b[38][30] b[38][31] b[38][32] b[38][33] b[38][34] b[38][35] b[38][36] b[38][37] b[38][38] b[38][39] b[38][40] b[38][41] b[38][42] b[38][43] b[38][44] b[38][45] b[38][46] b[38][47] b[38][48] b[38][49] b[39][0] b[39][1] b[39][2] b[39][3] b[39][4] b[39][5] b[39][6] b[39][7] b[39][8] b[39][9] b[39][10] b[39][11] b[39][12] b[39][13] b[39][14] b[39][15] b[39][16] b[39][17] b[39][18] b[39][19] b[39][20] b[39][21] b[39][22] b[39][23] b[39][24] b[39][25] b[39][26] b[39][27] b[39][28] b[39][29] b[39][30] b[39][31] b[39][32] b[39][33] b[39][34] b[39][35] b[39][36] b[39][37] b[39][38] b[39][39] b[39][40] b[39][41] b[39][42] b[39][43] b[39][44] b[39][45] b[39][46] b[39][47] b[39][48] b[39][49] b[40][0] b[40][1] b[40][2] b[40][3] b[40][4] b[40][5] b[40][6] b[40][7] b[40][8] b[40][9] b[40][10] b[40][11] b[40][12] b[40][13] b[40][14] b[40][15] b[40][16] b[40][17] b[40][18] b[40][19] b[40][20] b[40][21] b[40][22] b[40][23] b[40][24] b[40][25] b[40][26] b[40][27] b[40][28] b[40][29] b[40][30] b[40][31] b[40][32] b[40][33] b[40][34] b[40][35] b[40][36] b[40][37] b[40][38] b[40][39] b[40][40] b[40][41] b[40][42] b[40][43] b[40][44] b[40][45] b[40][46] b[40][47] b[40][48] b[40][49] b[41][0] b[41][1] b[41][2] b[41][3] b[41][4] b[41][5] b[41][6] b[41][7] b[41][8] b[41][9] b[41][10] b[41][11] b[41][12] b[41][13] b[41][14] b[41][15] b[41][16] b[41][17] b[41][18] b[41][19] b[41][20] b[41][21] b[41][22] b[41][23] b[41][24] b[41][25] b[41][26] b[41][27] b[41][28] b[41][29] b[41][30] b[41][31] b[41][32] b[41][33] b[41][34] b[41][35] b[41][36] b[41][37] b[41][38] b[41][39] b[41][40] b[41][41] b[41][42] b[41][43] b[41][44] b[41][45] b[41][46] b[41][47] b[41][48] b[41][49] b[42][0] b[42][1] b[42][2] b[42][3] b[42][4] b[42][5] b[42][6] b[42][7] b[42][8] b[42][9] b[42][10] b[42][11] b[42][12] b[42][13] b[42][14] b[42][15] b[42][16] b[42][17] b[42][18] b[42][19] b[42][20] b[42][21] b[42][22] b[42][23] b[42][24] b[42][25] b[42][26] b[42][27] b[42][28] b[42][29] b[42][30] b[42][31] b[42][32] b[42][33] b[42][34] b[42][35] b[42][36] b[42][37] b[42][38] b[42][39] b[42][40] b[42][41] b[42][42] b[42][43] b[42][44] b[42][45] b[42][46] b[42][47] b[42][48] b[42][49] b[43][0] b[43][1] b[43][2] b[43][3] b[43][4] b[43][5] b[43][6] b[43][7] b[43][8] b[43][9] b[43][10] b[43][11] b[43][12] b[43][13] b[43][14] b[43][15] b[43][16] b[43][17] b[43][18] b[43][19] b[43][20] b[43][21] b[43][22] b[43][23] b[43][24] b[43][25] b[43][26] b[43][27] b[43][28] b[43][29] b[43][30] b[43][31] b[43][32] b[43][33] b[43][34] b[43][35] b[43][36] b[43][37] b[43][38] b[43][39] b[43][40] b[43][41] b[43][42] b[43][43] b[43][44] b[43][45] b[43][46] b[43][47] b[43][48] b[43][49] b[44][0] b[44][1] b[44][2] b[44][3] b[44][4] b[44][5] b[44][6] b[44][7] b[44][8] b[44][9] b[44][10] b[44][11] b[44][12] b[44][13] b[44][14] b[44][15] b[44][16] b[44][17] b[44][18] b[44][19] b[44][20] b[44][21] b[44][22] b[44][23] b[44][24] b[44][25] b[44][26] b[44][27] b[44][28] b[44][29] b[44][30] b[44][31] b[44][32] b[44][33] b[44][34] b[44][35] b[44][36] b[44][37] b[44][38] b[44][39] b[44][40] b[44][41] b[44][42] b[44][43] b[44][44] b[44][45] b[44][46] b[44][47] b[44][48] b[44][49] b[45][0] b[45][1] b[45][2] b[45][3] b[45][4] b[45][5] b[45][6] b[45][7] b[45][8] b[45][9] b[45][10] b[45][11] b[45][12] b[45][13] b[45][14] b[45][15] b[45][16] b[45][17] b[45][18] b[45][19] b[45][20] b[45][21] b[45][22] b[45][23] b[45][24] b[45][25] b[45][26] b[45][27] b[45][28] b[45][29] b[45][30] b[45][31] b[45][32] b[45][33] b[45][34] b[45][35] b[45][36] b[45][37] b[45][38] b[45][39] b[45][40] b[45][41] b[45][42] b[45][43] b[45][44] b[45][45] b[45][46] b[45][47] b[45][48] b[45][49] b[46][0] b[46][1] b[46][2] b[46][3] b[46][4] b[46][5] b[46][6] b[46][7] b[46][8] b[46][9] b[46][10] b[46][11] b[46][12] b[46][13] b[46][14] b[46][15] b[46][16] b[46][17] b[46][18] b[46][19] b[46][20] b[46][21] b[46][22] b[46][23] b[46][24] b[46][25] b[46][26] b[46][27] b[46][28] b[46][29] b[46][30] b[46][31] b[46][32] b[46][33] b[46][34] b[46][35] b[46][36] b[46][37] b[46][38] b[46][39] b[46][40] b[46][41] b[46][42] b[46][43] b[46][44] b[46][45] b[46][46] b[46][47] b[46][48] b[46][49] b[47][0] b[47][1] b[47][2] b[47][3] b[47][4] b[47][5] b[47][6] b[47][7] b[47][8] b[47][9] b[47][10] b[47][11] b[47][12] b[47][13] b[47][14] b[47][15] b[47][16] b[47][17] b[47][18] b[47][19] b[47][20] b[47][21] b[47][22] b[47][23] b[47][24] b[47][25] b[47][26] b[47][27] b[47][28] b[47][29] b[47][30] b[47][31] b[47][32] b[47][33] b[47][34] b[47][35] b[47][36] b[47][37] b[47][38] b[47][39] b[47][40] b[47][41] b[47][42] b[47][43] b[47][44] b[47][45] b[47][46] b[47][47] b[47][48] b[47][49] b[48][0] b[48][1] b[48][2] b[48][3] b[48][4] b[48][5] b[48][6] b[48][7] b[48][8] b[48][9] b[48][10] b[48][11] b[48][12] b[48][13] b[48][14] b[48][15] b[48][16] b[48][17] b[48][18] b[48][19] b[48][20] b[48][21] b[48][22] b[48][23] b[48][24] b[48][25] b[48][26] b[48][27] b[48][28] b[48][29] b[48][30] b[48][31] b[48][32] b[48][33] b[48][34] b[48][35] b[48][36] b[48][37] b[48][38] b[48][39] b[48][40] b[48][41] b[48][42] b[48][43] b[48][44] b[48][45] b[48][46] b[48][47] b[48][48] b[48][49] b[49][0] b[49][1] b[49][2] b[49][3] b[49][4] b[49][5] b[49][6] b[49][7] b[49][8] b[49][9] b[49][10] b[49][11] b[49][12] b[49][13] b[49][14] b[49][15] b[49][16] b[49][17] b[49][18] b[49][19] b[49][20] b[49][21] b[49][22] b[49][23] b[49][24] b[49][25] b[49][26] b[49][27] b[49][28] b[49][29] b[49][30] b[49][31] b[49][32] b[49][33] b[49][34] b[49][35] b[49][36] b[49][37] b[49][38] b[49][39] b[49][40] b[49][41] b[49][42] b[49][43] b[49][44] b[49][45] b[49][46] b[49][47] b[49][48] b[49][49] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[0][34] w[0][35] w[0][36] w[0][37] w[0][38] w[0][39] w[0][40] w[0][41] w[0][42] w[0][43] w[0][44] w[0][45] w[0][46] w[0][47] w[0][48] w[0][49] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[1][34] w[1][35] w[1][36] w[1][37] w[1][38] w[1][39] w[1][40] w[1][41] w[1][42] w[1][43] w[1][44] w[1][45] w[1][46] w[1][47] w[1][48] w[1][49] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[2][34] w[2][35] w[2][36] w[2][37] w[2][38] w[2][39] w[2][40] w[2][41] w[2][42] w[2][43] w[2][44] w[2][45] w[2][46] w[2][47] w[2][48] w[2][49] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[3][34] w[3][35] w[3][36] w[3][37] w[3][38] w[3][39] w[3][40] w[3][41] w[3][42] w[3][43] w[3][44] w[3][45] w[3][46] w[3][47] w[3][48] w[3][49] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[4][34] w[4][35] w[4][36] w[4][37] w[4][38] w[4][39] w[4][40] w[4][41] w[4][42] w[4][43] w[4][44] w[4][45] w[4][46] w[4][47] w[4][48] w[4][49] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[5][34] w[5][35] w[5][36] w[5][37] w[5][38] w[5][39] w[5][40] w[5][41] w[5][42] w[5][43] w[5][44] w[5][45] w[5][46] w[5][47] w[5][48] w[5][49] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[6][34] w[6][35] w[6][36] w[6][37] w[6][38] w[6][39] w[6][40] w[6][41] w[6][42] w[6][43] w[6][44] w[6][45] w[6][46] w[6][47] w[6][48] w[6][49] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[7][34] w[7][35] w[7][36] w[7][37] w[7][38] w[7][39] w[7][40] w[7][41] w[7][42] w[7][43] w[7][44] w[7][45] w[7][46] w[7][47] w[7][48] w[7][49] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[8][34] w[8][35] w[8][36] w[8][37] w[8][38] w[8][39] w[8][40] w[8][41] w[8][42] w[8][43] w[8][44] w[8][45] w[8][46] w[8][47] w[8][48] w[8][49] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[9][34] w[9][35] w[9][36] w[9][37] w[9][38] w[9][39] w[9][40] w[9][41] w[9][42] w[9][43] w[9][44] w[9][45] w[9][46] w[9][47] w[9][48] w[9][49] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[10][34] w[10][35] w[10][36] w[10][37] w[10][38] w[10][39] w[10][40] w[10][41] w[10][42] w[10][43] w[10][44] w[10][45] w[10][46] w[10][47] w[10][48] w[10][49] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[11][34] w[11][35] w[11][36] w[11][37] w[11][38] w[11][39] w[11][40] w[11][41] w[11][42] w[11][43] w[11][44] w[11][45] w[11][46] w[11][47] w[11][48] w[11][49] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[12][34] w[12][35] w[12][36] w[12][37] w[12][38] w[12][39] w[12][40] w[12][41] w[12][42] w[12][43] w[12][44] w[12][45] w[12][46] w[12][47] w[12][48] w[12][49] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[13][34] w[13][35] w[13][36] w[13][37] w[13][38] w[13][39] w[13][40] w[13][41] w[13][42] w[13][43] w[13][44] w[13][45] w[13][46] w[13][47] w[13][48] w[13][49] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[14][34] w[14][35] w[14][36] w[14][37] w[14][38] w[14][39] w[14][40] w[14][41] w[14][42] w[14][43] w[14][44] w[14][45] w[14][46] w[14][47] w[14][48] w[14][49] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[15][34] w[15][35] w[15][36] w[15][37] w[15][38] w[15][39] w[15][40] w[15][41] w[15][42] w[15][43] w[15][44] w[15][45] w[15][46] w[15][47] w[15][48] w[15][49] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[16][34] w[16][35] w[16][36] w[16][37] w[16][38] w[16][39] w[16][40] w[16][41] w[16][42] w[16][43] w[16][44] w[16][45] w[16][46] w[16][47] w[16][48] w[16][49] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[17][34] w[17][35] w[17][36] w[17][37] w[17][38] w[17][39] w[17][40] w[17][41] w[17][42] w[17][43] w[17][44] w[17][45] w[17][46] w[17][47] w[17][48] w[17][49] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[18][34] w[18][35] w[18][36] w[18][37] w[18][38] w[18][39] w[18][40] w[18][41] w[18][42] w[18][43] w[18][44] w[18][45] w[18][46] w[18][47] w[18][48] w[18][49] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[19][34] w[19][35] w[19][36] w[19][37] w[19][38] w[19][39] w[19][40] w[19][41] w[19][42] w[19][43] w[19][44] w[19][45] w[19][46] w[19][47] w[19][48] w[19][49] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[20][34] w[20][35] w[20][36] w[20][37] w[20][38] w[20][39] w[20][40] w[20][41] w[20][42] w[20][43] w[20][44] w[20][45] w[20][46] w[20][47] w[20][48] w[20][49] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[21][34] w[21][35] w[21][36] w[21][37] w[21][38] w[21][39] w[21][40] w[21][41] w[21][42] w[21][43] w[21][44] w[21][45] w[21][46] w[21][47] w[21][48] w[21][49] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[22][34] w[22][35] w[22][36] w[22][37] w[22][38] w[22][39] w[22][40] w[22][41] w[22][42] w[22][43] w[22][44] w[22][45] w[22][46] w[22][47] w[22][48] w[22][49] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[23][34] w[23][35] w[23][36] w[23][37] w[23][38] w[23][39] w[23][40] w[23][41] w[23][42] w[23][43] w[23][44] w[23][45] w[23][46] w[23][47] w[23][48] w[23][49] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[24][34] w[24][35] w[24][36] w[24][37] w[24][38] w[24][39] w[24][40] w[24][41] w[24][42] w[24][43] w[24][44] w[24][45] w[24][46] w[24][47] w[24][48] w[24][49] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[25][34] w[25][35] w[25][36] w[25][37] w[25][38] w[25][39] w[25][40] w[25][41] w[25][42] w[25][43] w[25][44] w[25][45] w[25][46] w[25][47] w[25][48] w[25][49] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[26][34] w[26][35] w[26][36] w[26][37] w[26][38] w[26][39] w[26][40] w[26][41] w[26][42] w[26][43] w[26][44] w[26][45] w[26][46] w[26][47] w[26][48] w[26][49] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[27][34] w[27][35] w[27][36] w[27][37] w[27][38] w[27][39] w[27][40] w[27][41] w[27][42] w[27][43] w[27][44] w[27][45] w[27][46] w[27][47] w[27][48] w[27][49] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[28][34] w[28][35] w[28][36] w[28][37] w[28][38] w[28][39] w[28][40] w[28][41] w[28][42] w[28][43] w[28][44] w[28][45] w[28][46] w[28][47] w[28][48] w[28][49] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[29][34] w[29][35] w[29][36] w[29][37] w[29][38] w[29][39] w[29][40] w[29][41] w[29][42] w[29][43] w[29][44] w[29][45] w[29][46] w[29][47] w[29][48] w[29][49] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[30][34] w[30][35] w[30][36] w[30][37] w[30][38] w[30][39] w[30][40] w[30][41] w[30][42] w[30][43] w[30][44] w[30][45] w[30][46] w[30][47] w[30][48] w[30][49] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[31][34] w[31][35] w[31][36] w[31][37] w[31][38] w[31][39] w[31][40] w[31][41] w[31][42] w[31][43] w[31][44] w[31][45] w[31][46] w[31][47] w[31][48] w[31][49] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[32][34] w[32][35] w[32][36] w[32][37] w[32][38] w[32][39] w[32][40] w[32][41] w[32][42] w[32][43] w[32][44] w[32][45] w[32][46] w[32][47] w[32][48] w[32][49] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] w[33][34] w[33][35] w[33][36] w[33][37] w[33][38] w[33][39] w[33][40] w[33][41] w[33][42] w[33][43] w[33][44] w[33][45] w[33][46] w[33][47] w[33][48] w[33][49] w[34][0] w[34][1] w[34][2] w[34][3] w[34][4] w[34][5] w[34][6] w[34][7] w[34][8] w[34][9] w[34][10] w[34][11] w[34][12] w[34][13] w[34][14] w[34][15] w[34][16] w[34][17] w[34][18] w[34][19] w[34][20] w[34][21] w[34][22] w[34][23] w[34][24] w[34][25] w[34][26] w[34][27] w[34][28] w[34][29] w[34][30] w[34][31] w[34][32] w[34][33] w[34][34] w[34][35] w[34][36] w[34][37] w[34][38] w[34][39] w[34][40] w[34][41] w[34][42] w[34][43] w[34][44] w[34][45] w[34][46] w[34][47] w[34][48] w[34][49] w[35][0] w[35][1] w[35][2] w[35][3] w[35][4] w[35][5] w[35][6] w[35][7] w[35][8] w[35][9] w[35][10] w[35][11] w[35][12] w[35][13] w[35][14] w[35][15] w[35][16] w[35][17] w[35][18] w[35][19] w[35][20] w[35][21] w[35][22] w[35][23] w[35][24] w[35][25] w[35][26] w[35][27] w[35][28] w[35][29] w[35][30] w[35][31] w[35][32] w[35][33] w[35][34] w[35][35] w[35][36] w[35][37] w[35][38] w[35][39] w[35][40] w[35][41] w[35][42] w[35][43] w[35][44] w[35][45] w[35][46] w[35][47] w[35][48] w[35][49] w[36][0] w[36][1] w[36][2] w[36][3] w[36][4] w[36][5] w[36][6] w[36][7] w[36][8] w[36][9] w[36][10] w[36][11] w[36][12] w[36][13] w[36][14] w[36][15] w[36][16] w[36][17] w[36][18] w[36][19] w[36][20] w[36][21] w[36][22] w[36][23] w[36][24] w[36][25] w[36][26] w[36][27] w[36][28] w[36][29] w[36][30] w[36][31] w[36][32] w[36][33] w[36][34] w[36][35] w[36][36] w[36][37] w[36][38] w[36][39] w[36][40] w[36][41] w[36][42] w[36][43] w[36][44] w[36][45] w[36][46] w[36][47] w[36][48] w[36][49] w[37][0] w[37][1] w[37][2] w[37][3] w[37][4] w[37][5] w[37][6] w[37][7] w[37][8] w[37][9] w[37][10] w[37][11] w[37][12] w[37][13] w[37][14] w[37][15] w[37][16] w[37][17] w[37][18] w[37][19] w[37][20] w[37][21] w[37][22] w[37][23] w[37][24] w[37][25] w[37][26] w[37][27] w[37][28] w[37][29] w[37][30] w[37][31] w[37][32] w[37][33] w[37][34] w[37][35] w[37][36] w[37][37] w[37][38] w[37][39] w[37][40] w[37][41] w[37][42] w[37][43] w[37][44] w[37][45] w[37][46] w[37][47] w[37][48] w[37][49] w[38][0] w[38][1] w[38][2] w[38][3] w[38][4] w[38][5] w[38][6] w[38][7] w[38][8] w[38][9] w[38][10] w[38][11] w[38][12] w[38][13] w[38][14] w[38][15] w[38][16] w[38][17] w[38][18] w[38][19] w[38][20] w[38][21] w[38][22] w[38][23] w[38][24] w[38][25] w[38][26] w[38][27] w[38][28] w[38][29] w[38][30] w[38][31] w[38][32] w[38][33] w[38][34] w[38][35] w[38][36] w[38][37] w[38][38] w[38][39] w[38][40] w[38][41] w[38][42] w[38][43] w[38][44] w[38][45] w[38][46] w[38][47] w[38][48] w[38][49] w[39][0] w[39][1] w[39][2] w[39][3] w[39][4] w[39][5] w[39][6] w[39][7] w[39][8] w[39][9] w[39][10] w[39][11] w[39][12] w[39][13] w[39][14] w[39][15] w[39][16] w[39][17] w[39][18] w[39][19] w[39][20] w[39][21] w[39][22] w[39][23] w[39][24] w[39][25] w[39][26] w[39][27] w[39][28] w[39][29] w[39][30] w[39][31] w[39][32] w[39][33] w[39][34] w[39][35] w[39][36] w[39][37] w[39][38] w[39][39] w[39][40] w[39][41] w[39][42] w[39][43] w[39][44] w[39][45] w[39][46] w[39][47] w[39][48] w[39][49] w[40][0] w[40][1] w[40][2] w[40][3] w[40][4] w[40][5] w[40][6] w[40][7] w[40][8] w[40][9] w[40][10] w[40][11] w[40][12] w[40][13] w[40][14] w[40][15] w[40][16] w[40][17] w[40][18] w[40][19] w[40][20] w[40][21] w[40][22] w[40][23] w[40][24] w[40][25] w[40][26] w[40][27] w[40][28] w[40][29] w[40][30] w[40][31] w[40][32] w[40][33] w[40][34] w[40][35] w[40][36] w[40][37] w[40][38] w[40][39] w[40][40] w[40][41] w[40][42] w[40][43] w[40][44] w[40][45] w[40][46] w[40][47] w[40][48] w[40][49] w[41][0] w[41][1] w[41][2] w[41][3] w[41][4] w[41][5] w[41][6] w[41][7] w[41][8] w[41][9] w[41][10] w[41][11] w[41][12] w[41][13] w[41][14] w[41][15] w[41][16] w[41][17] w[41][18] w[41][19] w[41][20] w[41][21] w[41][22] w[41][23] w[41][24] w[41][25] w[41][26] w[41][27] w[41][28] w[41][29] w[41][30] w[41][31] w[41][32] w[41][33] w[41][34] w[41][35] w[41][36] w[41][37] w[41][38] w[41][39] w[41][40] w[41][41] w[41][42] w[41][43] w[41][44] w[41][45] w[41][46] w[41][47] w[41][48] w[41][49] w[42][0] w[42][1] w[42][2] w[42][3] w[42][4] w[42][5] w[42][6] w[42][7] w[42][8] w[42][9] w[42][10] w[42][11] w[42][12] w[42][13] w[42][14] w[42][15] w[42][16] w[42][17] w[42][18] w[42][19] w[42][20] w[42][21] w[42][22] w[42][23] w[42][24] w[42][25] w[42][26] w[42][27] w[42][28] w[42][29] w[42][30] w[42][31] w[42][32] w[42][33] w[42][34] w[42][35] w[42][36] w[42][37] w[42][38] w[42][39] w[42][40] w[42][41] w[42][42] w[42][43] w[42][44] w[42][45] w[42][46] w[42][47] w[42][48] w[42][49] w[43][0] w[43][1] w[43][2] w[43][3] w[43][4] w[43][5] w[43][6] w[43][7] w[43][8] w[43][9] w[43][10] w[43][11] w[43][12] w[43][13] w[43][14] w[43][15] w[43][16] w[43][17] w[43][18] w[43][19] w[43][20] w[43][21] w[43][22] w[43][23] w[43][24] w[43][25] w[43][26] w[43][27] w[43][28] w[43][29] w[43][30] w[43][31] w[43][32] w[43][33] w[43][34] w[43][35] w[43][36] w[43][37] w[43][38] w[43][39] w[43][40] w[43][41] w[43][42] w[43][43] w[43][44] w[43][45] w[43][46] w[43][47] w[43][48] w[43][49] w[44][0] w[44][1] w[44][2] w[44][3] w[44][4] w[44][5] w[44][6] w[44][7] w[44][8] w[44][9] w[44][10] w[44][11] w[44][12] w[44][13] w[44][14] w[44][15] w[44][16] w[44][17] w[44][18] w[44][19] w[44][20] w[44][21] w[44][22] w[44][23] w[44][24] w[44][25] w[44][26] w[44][27] w[44][28] w[44][29] w[44][30] w[44][31] w[44][32] w[44][33] w[44][34] w[44][35] w[44][36] w[44][37] w[44][38] w[44][39] w[44][40] w[44][41] w[44][42] w[44][43] w[44][44] w[44][45] w[44][46] w[44][47] w[44][48] w[44][49] w[45][0] w[45][1] w[45][2] w[45][3] w[45][4] w[45][5] w[45][6] w[45][7] w[45][8] w[45][9] w[45][10] w[45][11] w[45][12] w[45][13] w[45][14] w[45][15] w[45][16] w[45][17] w[45][18] w[45][19] w[45][20] w[45][21] w[45][22] w[45][23] w[45][24] w[45][25] w[45][26] w[45][27] w[45][28] w[45][29] w[45][30] w[45][31] w[45][32] w[45][33] w[45][34] w[45][35] w[45][36] w[45][37] w[45][38] w[45][39] w[45][40] w[45][41] w[45][42] w[45][43] w[45][44] w[45][45] w[45][46] w[45][47] w[45][48] w[45][49] w[46][0] w[46][1] w[46][2] w[46][3] w[46][4] w[46][5] w[46][6] w[46][7] w[46][8] w[46][9] w[46][10] w[46][11] w[46][12] w[46][13] w[46][14] w[46][15] w[46][16] w[46][17] w[46][18] w[46][19] w[46][20] w[46][21] w[46][22] w[46][23] w[46][24] w[46][25] w[46][26] w[46][27] w[46][28] w[46][29] w[46][30] w[46][31] w[46][32] w[46][33] w[46][34] w[46][35] w[46][36] w[46][37] w[46][38] w[46][39] w[46][40] w[46][41] w[46][42] w[46][43] w[46][44] w[46][45] w[46][46] w[46][47] w[46][48] w[46][49] w[47][0] w[47][1] w[47][2] w[47][3] w[47][4] w[47][5] w[47][6] w[47][7] w[47][8] w[47][9] w[47][10] w[47][11] w[47][12] w[47][13] w[47][14] w[47][15] w[47][16] w[47][17] w[47][18] w[47][19] w[47][20] w[47][21] w[47][22] w[47][23] w[47][24] w[47][25] w[47][26] w[47][27] w[47][28] w[47][29] w[47][30] w[47][31] w[47][32] w[47][33] w[47][34] w[47][35] w[47][36] w[47][37] w[47][38] w[47][39] w[47][40] w[47][41] w[47][42] w[47][43] w[47][44] w[47][45] w[47][46] w[47][47] w[47][48] w[47][49] w[48][0] w[48][1] w[48][2] w[48][3] w[48][4] w[48][5] w[48][6] w[48][7] w[48][8] w[48][9] w[48][10] w[48][11] w[48][12] w[48][13] w[48][14] w[48][15] w[48][16] w[48][17] w[48][18] w[48][19] w[48][20] w[48][21] w[48][22] w[48][23] w[48][24] w[48][25] w[48][26] w[48][27] w[48][28] w[48][29] w[48][30] w[48][31] w[48][32] w[48][33] w[48][34] w[48][35] w[48][36] w[48][37] w[48][38] w[48][39] w[48][40] w[48][41] w[48][42] w[48][43] w[48][44] w[48][45] w[48][46] w[48][47] w[48][48] w[48][49] w[49][0] w[49][1] w[49][2] w[49][3] w[49][4] w[49][5] w[49][6] w[49][7] w[49][8] w[49][9] w[49][10] w[49][11] w[49][12] w[49][13] w[49][14] w[49][15] w[49][16] w[49][17] w[49][18] w[49][19] w[49][20] w[49][21] w[49][22] w[49][23] w[49][24] w[49][25] w[49][26] w[49][27] w[49][28] w[49][29] w[49][30] w[49][31] w[49][32] w[49][33] w[49][34] w[49][35] w[49][36] w[49][37] w[49][38] w[49][39] w[49][40] w[49][41] w[49][42] w[49][43] w[49][44] w[49][45] w[49][46] w[49][47] w[49][48] w[49][49] 19703.61/2520.09 v </list> 19703.61/2520.09 v <values> 19703.61/2520.09 v 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 19703.61/2520.09 v </values> 19703.61/2520.09 v </instantiation>
OK 15
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 (15165 MiB free)
memory of node 1: 16384 MiB (11747 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290999-1532666874/watcher-4290999-1532666874 -o /tmp/evaluation-result-4290999-1532666874/solver-4290999-1532666874 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1532666874-13443 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 435076714 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4290999-1532666874.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13460, runsolver pid=13457
Current StackSize limit: 8192 KiB
[startup+0.100143 s]*
/proc/loadavg: 9.27 8.89 8.52 2/198 13480
/proc/meminfo: memFree=27542180/32770624 swapFree=67108496/67108860
[pid=13460] ppid=13457 vsize=26103424 memory=30376 CPUtime=0.11 cores=0-7
/proc/13460/stat : 13460 (java) S 13457 13460 13416 0 -1 1077944320 7033 0 0 0 10 1 0 0 20 0 20 0 84250631 26729906176 7594 33554432000 4194304 4196468 140722838777312 140722838759856 140213258039031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
/proc/13460/statm: 6525856 7594 3134 1 0 6487932 0
[pid=13460/tid=13462] ppid=13457 vsize=26103424 memory=7969007873771346333 CPUtime=0.09 cores=0-7
/proc/13460/task/13462/stat : 13462 (java) R 13457 13460 13416 0 -1 4202560 5246 0 0 0 9 0 0 0 20 0 20 0 84250632 26729906176 7726 33554432000 4194304 4196468 140722838777312 140213262267744 140213238314752 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13463] ppid=13457 vsize=26103424 memory=732370297417874405 CPUtime=0 cores=0-7
/proc/13460/task/13463/stat : 13463 (java) S 13457 13460 13416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84250633 26729906176 7726 33554432000 4194304 4196468 140722838777312 140213180619408 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13464] ppid=13457 vsize=26103424 memory=140159080420992 CPUtime=0 cores=0-7
/proc/13460/task/13464/stat : 13464 (java) S 13457 13460 13416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84250633 26729906176 7726 33554432000 4194304 4196468 140722838777312 140213179566608 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13465] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13465/stat : 13465 (java) S 13457 13460 13416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84250633 26729906176 7726 33554432000 4194304 4196468 140722838777312 140213178513808 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13466] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13466/stat : 13466 (java) S 13457 13460 13416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84250633 26729906176 7726 33554432000 4194304 4196468 140722838777312 140213177461008 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13467] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13467/stat : 13467 (java) S 13457 13460 13416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84250633 26729906176 7726 33554432000 4194304 4196468 140722838777312 140213176409232 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13468] ppid=13457 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/13460/task/13468/stat : 13468 (java) S 13457 13460 13416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84250633 26729906176 7792 33554432000 4194304 4196468 140722838777312 140213175356432 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13469] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13469/stat : 13469 (java) S 13457 13460 13416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84250633 26729906176 7792 33554432000 4194304 4196468 140722838777312 140213174303632 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13470] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13470/stat : 13470 (java) S 13457 13460 13416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84250633 26729906176 7792 33554432000 4194304 4196468 140722838777312 140213173250832 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13471] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13471/stat : 13471 (java) S 13457 13460 13416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84250634 26729906176 7792 33554432000 4194304 4196468 140722838777312 140212767209840 140213258050178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13472] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13472/stat : 13472 (java) S 13457 13460 13416 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 84250635 26729906176 7792 33554432000 4194304 4196468 140722838777312 140212766155808 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13473] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13473/stat : 13473 (java) S 13457 13460 13416 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 84250635 26729906176 7792 33554432000 4194304 4196468 140722838777312 140212517757808 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13474] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13474/stat : 13474 (java) S 13457 13460 13416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84250637 26729906176 7792 33554432000 4194304 4196468 140722838777312 140212516706128 140213258057627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13475] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13475/stat : 13475 (java) S 13457 13460 13416 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 20 0 84250637 26729906176 7792 33554432000 4194304 4196468 140722838777312 140212515654512 140213258050178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13476] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13476/stat : 13476 (java) S 13457 13460 13416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84250637 26729906176 7792 33554432000 4194304 4196468 140722838777312 140212514601712 140213258050178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13477] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13477/stat : 13477 (java) S 13457 13460 13416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84250637 26729906176 7792 33554432000 4194304 4196468 140722838777312 140212513548912 140213258050178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13478] ppid=13457 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/13460/task/13478/stat : 13478 (java) S 13457 13460 13416 0 -1 1077944384 256 0 0 0 1 0 0 0 20 0 20 0 84250637 26729906176 7792 33554432000 4194304 4196468 140722838777312 140212512496112 140213258050178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13479] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13479/stat : 13479 (java) S 13457 13460 13416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84250637 26729906176 7792 33554432000 4194304 4196468 140722838777312 140212511443552 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13480] ppid=13457 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/13460/task/13480/stat : 13480 (java) S 13457 13460 13416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84250638 26729906176 7858 33554432000 4194304 4196468 140722838777312 140212510390832 140213258050178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 30376 KiB
[startup+0.209682 s]*
/proc/loadavg: 9.27 8.89 8.52 3/198 13480
/proc/meminfo: memFree=27528848/32770624 swapFree=67108496/67108860
[pid=13460] ppid=13457 vsize=26103424 memory=43036 CPUtime=0.29 cores=0-7
/proc/13460/stat : 13460 (java) S 13457 13460 13416 0 -1 1077944320 10411 0 0 0 27 2 0 0 20 0 20 0 84250631 26729906176 10759 33554432000 4194304 4196468 140722838777312 140722838759856 140213258039031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
/proc/13460/statm: 6525856 10759 3330 1 0 6487932 0
[pid=13460/tid=13462] ppid=13457 vsize=26103424 memory=32758254098972862 CPUtime=0.2 cores=0-7
/proc/13460/task/13462/stat : 13462 (java) R 13457 13460 13416 0 -1 4202560 8177 0 0 0 19 1 0 0 20 0 20 0 84250632 26729906176 10759 33554432000 4194304 4196468 140722838777312 140213262264928 140213242082661 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13463] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13463/stat : 13463 (java) S 13457 13460 13416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84250633 26729906176 10759 33554432000 4194304 4196468 140722838777312 140213180619408 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13464] ppid=13457 vsize=26103424 memory=140159080904152 CPUtime=0 cores=0-7
/proc/13460/task/13464/stat : 13464 (java) S 13457 13460 13416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84250633 26729906176 10759 33554432000 4194304 4196468 140722838777312 140213179566608 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13465] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13465/stat : 13465 (java) S 13457 13460 13416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84250633 26729906176 10759 33554432000 4194304 4196468 140722838777312 140213178513808 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13466] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13466/stat : 13466 (java) S 13457 13460 13416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84250633 26729906176 10759 33554432000 4194304 4196468 140722838777312 140213177461008 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13467] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13467/stat : 13467 (java) S 13457 13460 13416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84250633 26729906176 10759 33554432000 4194304 4196468 140722838777312 140213176409232 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13468] ppid=13457 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/13460/task/13468/stat : 13468 (java) S 13457 13460 13416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84250633 26729906176 10759 33554432000 4194304 4196468 140722838777312 140213175356432 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13469] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13469/stat : 13469 (java) S 13457 13460 13416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84250633 26729906176 10759 33554432000 4194304 4196468 140722838777312 140213174303632 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13470] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13470/stat : 13470 (java) S 13457 13460 13416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84250633 26729906176 10759 33554432000 4194304 4196468 140722838777312 140213173250832 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13471] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13471/stat : 13471 (java) S 13457 13460 13416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84250634 26729906176 10759 33554432000 4194304 4196468 140722838777312 140212767209840 140213258050178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13472] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13472/stat : 13472 (java) S 13457 13460 13416 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 84250635 26729906176 10759 33554432000 4194304 4196468 140722838777312 140212766155808 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13473] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13473/stat : 13473 (java) S 13457 13460 13416 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 84250635 26729906176 10759 33554432000 4194304 4196468 140722838777312 140212517757808 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13474] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13474/stat : 13474 (java) S 13457 13460 13416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84250637 26729906176 10759 33554432000 4194304 4196468 140722838777312 140212516706128 140213258057627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13475] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13475/stat : 13475 (java) S 13457 13460 13416 0 -1 1077944384 446 0 0 0 0 0 0 0 20 0 20 0 84250637 26729906176 10759 33554432000 4194304 4196468 140722838777312 140212515654512 140213258050178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13476] ppid=13457 vsize=26103424 memory=0 CPUtime=0.01 cores=0-7
/proc/13460/task/13476/stat : 13476 (java) S 13457 13460 13416 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 20 0 84250637 26729906176 10759 33554432000 4194304 4196468 140722838777312 140212514601712 140213258050178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13477] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13477/stat : 13477 (java) S 13457 13460 13416 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 20 0 84250637 26729906176 10759 33554432000 4194304 4196468 140722838777312 140212513548912 140213258050178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13478] ppid=13457 vsize=26103424 memory=0 CPUtime=0.05 cores=0-7
/proc/13460/task/13478/stat : 13478 (java) R 13457 13460 13416 0 -1 4202560 314 0 0 0 5 0 0 0 20 0 20 0 84250637 26729906176 10759 33554432000 4194304 4196468 140722838777312 140212512493904 140213236716418 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13479] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13479/stat : 13479 (java) S 13457 13460 13416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84250637 26729906176 10759 33554432000 4194304 4196468 140722838777312 140212511443552 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13480] ppid=13457 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/13460/task/13480/stat : 13480 (java) S 13457 13460 13416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84250638 26729906176 10759 33554432000 4194304 4196468 140722838777312 140212510390832 140213258050178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 43036 KiB
[startup+0.309412 s]*
/proc/loadavg: 9.27 8.89 8.52 3/198 13480
/proc/meminfo: memFree=27524940/32770624 swapFree=67108496/67108860
[pid=13460] ppid=13457 vsize=26103424 memory=46828 CPUtime=0.42 cores=0-7
/proc/13460/stat : 13460 (java) S 13457 13460 13416 0 -1 1077944320 10851 0 0 0 40 2 0 0 20 0 20 0 84250631 26729906176 11707 33554432000 4194304 4196468 140722838777312 140722838759856 140213258039031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
/proc/13460/statm: 6525856 11707 3380 1 0 6487932 0
[pid=13460/tid=13462] ppid=13457 vsize=26103424 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/13460/task/13462/stat : 13462 (java) R 13457 13460 13416 0 -1 4202560 8524 0 0 0 28 1 0 0 20 0 20 0 84250632 26729906176 11707 33554432000 4194304 4196468 140722838777312 140213262200768 140213239412568 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13463] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13463/stat : 13463 (java) S 13457 13460 13416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84250633 26729906176 11707 33554432000 4194304 4196468 140722838777312 140213180619408 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13464] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13464/stat : 13464 (java) S 13457 13460 13416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84250633 26729906176 11707 33554432000 4194304 4196468 140722838777312 140213179566608 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13465] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13465/stat : 13465 (java) S 13457 13460 13416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84250633 26729906176 11707 33554432000 4194304 4196468 140722838777312 140213178513808 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13466] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13466/stat : 13466 (java) S 13457 13460 13416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84250633 26729906176 11707 33554432000 4194304 4196468 140722838777312 140213177461008 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13467] ppid=13457 vsize=26103424 memory=2244 CPUtime=0 cores=0-7
/proc/13460/task/13467/stat : 13467 (java) S 13457 13460 13416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84250633 26729906176 11707 33554432000 4194304 4196468 140722838777312 140213176409232 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13468] ppid=13457 vsize=26103424 memory=140158942933935 CPUtime=0 cores=0-7
/proc/13460/task/13468/stat : 13468 (java) S 13457 13460 13416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84250633 26729906176 11707 33554432000 4194304 4196468 140722838777312 140213175356432 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13469] ppid=13457 vsize=26103424 memory=140158942936240 CPUtime=0 cores=0-7
/proc/13460/task/13469/stat : 13469 (java) S 13457 13460 13416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84250633 26729906176 11707 33554432000 4194304 4196468 140722838777312 140213174303632 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13470] ppid=13457 vsize=26103424 memory=140158942938544 CPUtime=0 cores=0-7
/proc/13460/task/13470/stat : 13470 (java) S 13457 13460 13416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84250633 26729906176 11707 33554432000 4194304 4196468 140722838777312 140213173250832 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13471] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13471/stat : 13471 (java) S 13457 13460 13416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84250634 26729906176 11707 33554432000 4194304 4196468 140722838777312 140212767209840 140213258050178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13472] ppid=13457 vsize=26103424 memory=280317885884048 CPUtime=0 cores=0-7
/proc/13460/task/13472/stat : 13472 (java) S 13457 13460 13416 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 84250635 26729906176 11707 33554432000 4194304 4196468 140722838777312 140212766155808 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13473] ppid=13457 vsize=26103424 memory=280317885890960 CPUtime=0 cores=0-7
/proc/13460/task/13473/stat : 13473 (java) S 13457 13460 13416 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 84250635 26729906176 11707 33554432000 4194304 4196468 140722838777312 140212517757808 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13474] ppid=13457 vsize=26103424 memory=280317885832240 CPUtime=0 cores=0-7
/proc/13460/task/13474/stat : 13474 (java) S 13457 13460 13416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84250637 26729906176 11707 33554432000 4194304 4196468 140722838777312 140212516706128 140213258057627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13475] ppid=13457 vsize=26103424 memory=280317885904784 CPUtime=0.01 cores=0-7
/proc/13460/task/13475/stat : 13475 (java) S 13457 13460 13416 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 20 0 84250637 26729906176 11707 33554432000 4194304 4196468 140722838777312 140212515654512 140213258050178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13476] ppid=13457 vsize=26103424 memory=280317885911696 CPUtime=0.01 cores=0-7
/proc/13460/task/13476/stat : 13476 (java) S 13457 13460 13416 0 -1 1077944384 73 0 0 0 1 0 0 0 20 0 20 0 84250637 26729906176 11707 33554432000 4194304 4196468 140722838777312 140212514601712 140213258050178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13477] ppid=13457 vsize=26103424 memory=280317885909392 CPUtime=0 cores=0-7
/proc/13460/task/13477/stat : 13477 (java) S 13457 13460 13416 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 84250637 26729906176 11707 33554432000 4194304 4196468 140722838777312 140212513548912 140213258050178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13478] ppid=13457 vsize=26103424 memory=280317885925952 CPUtime=0.07 cores=0-7
/proc/13460/task/13478/stat : 13478 (java) S 13457 13460 13416 0 -1 1077944384 332 0 0 0 7 0 0 0 20 0 20 0 84250637 26729906176 11707 33554432000 4194304 4196468 140722838777312 140212512496112 140213258050178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13479] ppid=13457 vsize=26103424 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13479/stat : 13479 (java) S 13457 13460 13416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84250637 26729906176 11707 33554432000 4194304 4196468 140722838777312 140212511443552 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13480] ppid=13457 vsize=26103424 memory=-1 CPUtime=0 cores=0-7
/proc/13460/task/13480/stat : 13480 (java) S 13457 13460 13416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84250638 26729906176 11707 33554432000 4194304 4196468 140722838777312 140212510390832 140213258050178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 26103424 KiB
Current children cumulated memory: 46828 KiB
[startup+0.700792 s]
/proc/loadavg: 9.27 8.89 8.52 3/198 13480
/proc/meminfo: memFree=27501676/32770624 swapFree=67108496/67108860
[pid=13460] ppid=13457 vsize=26105492 memory=85416 CPUtime=0.99 cores=0-7
/proc/13460/stat : 13460 (java) S 13457 13460 13416 0 -1 1077944320 17820 0 0 0 94 5 0 0 20 0 20 0 84250631 26732023808 21354 33554432000 4194304 4196468 140722838777312 140722838759856 140213258039031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
/proc/13460/statm: 6526373 21354 3499 1 0 6488444 0
[pid=13460/tid=13462] ppid=13457 vsize=26105492 memory=7230638415974132311 CPUtime=0.67 cores=0-7
/proc/13460/task/13462/stat : 13462 (java) R 13457 13460 13416 0 -1 4202560 15012 0 0 0 64 3 0 0 20 0 20 0 84250632 26732023808 21354 33554432000 4194304 4196468 140722838777312 140213262261696 140213258060957 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13463] ppid=13457 vsize=26105492 memory=57891864209742 CPUtime=0 cores=0-7
/proc/13460/task/13463/stat : 13463 (java) S 13457 13460 13416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84250633 26732023808 21354 33554432000 4194304 4196468 140722838777312 140213180619408 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13464] ppid=13457 vsize=26105492 memory=140158942949581 CPUtime=0 cores=0-7
/proc/13460/task/13464/stat : 13464 (java) S 13457 13460 13416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84250633 26732023808 21354 33554432000 4194304 4196468 140722838777312 140213179566608 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13465] ppid=13457 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13465/stat : 13465 (java) S 13457 13460 13416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 84250633 26732023808 21354 33554432000 4194304 4196468 140722838777312 140213178513808 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13466] ppid=13457 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13466/stat : 13466 (java) S 13457 13460 13416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84250633 26732023808 21354 33554432000 4194304 4196468 140722838777312 140213177461008 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13467] ppid=13457 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13467/stat : 13467 (java) S 13457 13460 13416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84250633 26732023808 21354 33554432000 4194304 4196468 140722838777312 140213176409232 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13468] ppid=13457 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13468/stat : 13468 (java) S 13457 13460 13416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84250633 26732023808 21354 33554432000 4194304 4196468 140722838777312 140213175356432 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13469] ppid=13457 vsize=26105492 memory=0 CPUtime=0 cores=0-7
/proc/13460/task/13469/stat : 13469 (java) S 13457 13460 13416 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 84250633 26732023808 21354 33554432000 4194304 4196468 140722838777312 140213174303632 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13470] ppid=13457 vsize=26105492 memory=1788 CPUtime=0 cores=0-7
/proc/13460/task/13470/stat : 13470 (java) S 13457 13460 13416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84250633 26732023808 21354 33554432000 4194304 4196468 140722838777312 140213173250832 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13471] ppid=13457 vsize=26105492 memory=860 CPUtime=0 cores=0-7
/proc/13460/task/13471/stat : 13471 (java) S 13457 13460 13416 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 84250634 26732023808 21354 33554432000 4194304 4196468 140722838777312 140212767209840 140213258050178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
################
# More data... #
################
[pid=13460/tid=13478] ppid=13457 vsize=27517708 memory=4000 CPUtime=1.38 cores=0-7
/proc/13460/task/13478/stat : 13478 (java) S 13457 13460 13416 0 -1 1077944384 28491 0 0 0 134 4 0 0 20 0 41 0 84250637 28178132992 2430824 33554432000 4194304 4196468 140722838777312 140212512496112 140213258050178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13479] ppid=13457 vsize=27517708 memory=14256 CPUtime=0 cores=0-7
/proc/13460/task/13479/stat : 13479 (java) S 13457 13460 13416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 41 0 84250637 28178132992 2430824 33554432000 4194304 4196468 140722838777312 140212511443552 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13480] ppid=13457 vsize=27517708 memory=14760 CPUtime=1.1 cores=0-7
/proc/13460/task/13480/stat : 13480 (java) S 13457 13460 13416 0 -1 1077944384 2540 0 0 0 38 72 0 0 20 0 41 0 84250638 28178132992 2430824 33554432000 4194304 4196468 140722838777312 140212510390832 140213258050178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13481] ppid=13457 vsize=27517708 memory=1180 CPUtime=0 cores=0-7
/proc/13460/task/13481/stat : 13481 (java) S 13457 13460 13416 0 -1 1077944384 869 0 0 0 0 0 0 0 20 0 41 0 84256107 28178132992 2430824 33554432000 4194304 4196468 140722838777312 140212496945792 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13482] ppid=13457 vsize=27517708 memory=504 CPUtime=5.44 cores=0-7
/proc/13460/task/13482/stat : 13482 (java) S 13457 13460 13416 0 -1 1077944384 7991 0 0 0 240 304 0 0 20 0 41 0 84256124 28178132992 2430824 33554432000 4194304 4196468 140722838777312 140212426498848 140213258050178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13483] ppid=13457 vsize=27517708 memory=1720 CPUtime=2420.69 cores=0-7
/proc/13460/task/13483/stat : 13483 (java) R 13457 13460 13416 0 -1 4202560 352952 0 0 0 241871 198 0 0 20 0 41 0 84256141 28178132992 2430824 33554432000 4194304 4196468 140722838777312 140212425441984 140212858877528 0 4 0 16800975 0 0 0 -1 6 0 0 27 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13484] ppid=13457 vsize=27517708 memory=928 CPUtime=1.4 cores=0-7
/proc/13460/task/13484/stat : 13484 (java) S 13457 13460 13416 0 -1 1077944384 764 0 0 0 138 2 0 0 20 0 41 0 84256142 28178132992 2430824 33554432000 4194304 4196468 140722838777312 140212422297008 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13485] ppid=13457 vsize=27517708 memory=2296 CPUtime=1.38 cores=0-7
/proc/13460/task/13485/stat : 13485 (java) S 13457 13460 13416 0 -1 1077944384 1435 0 0 0 136 2 0 0 20 0 41 0 84256145 28178132992 2430824 33554432000 4194304 4196468 140722838777312 140212421244208 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13486] ppid=13457 vsize=27517708 memory=932 CPUtime=2414.09 cores=0-7
/proc/13460/task/13486/stat : 13486 (java) R 13457 13460 13416 0 -1 4202560 546579 0 0 0 241128 281 0 0 20 0 41 0 84256149 28178132992 2430824 33554432000 4194304 4196468 140722838777312 140212420183784 140212853167864 0 4 0 16800975 0 0 0 -1 1 0 0 23 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13487] ppid=13457 vsize=27517708 memory=280317888373792 CPUtime=2419.79 cores=0-7
/proc/13460/task/13487/stat : 13487 (java) R 13457 13460 13416 0 -1 4202560 403950 0 0 0 241798 181 0 0 20 0 41 0 84256149 28178132992 2430824 33554432000 4194304 4196468 140722838777312 140212419130624 140212853167886 0 4 0 16800975 0 0 0 -1 4 0 0 25 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13488] ppid=13457 vsize=27517708 memory=3789107931825045536 CPUtime=2419.87 cores=0-7
/proc/13460/task/13488/stat : 13488 (java) R 13457 13460 13416 0 -1 4202560 386460 0 0 0 241808 179 0 0 20 0 41 0 84256149 28178132992 2430824 33554432000 4194304 4196468 140722838777312 140212418077960 140212857560103 0 4 0 16800975 0 0 0 -1 7 0 0 25 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13489] ppid=13457 vsize=27517708 memory=288285571665904668 CPUtime=1.48 cores=0-7
/proc/13460/task/13489/stat : 13489 (java) S 13457 13460 13416 0 -1 1077944384 875 0 0 0 146 2 0 0 20 0 41 0 84256149 28178132992 2430824 33554432000 4194304 4196468 140722838777312 140212417033008 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13490] ppid=13457 vsize=27517708 memory=3977016236646334753 CPUtime=2407.18 cores=0-7
/proc/13460/task/13490/stat : 13490 (java) R 13457 13460 13416 0 -1 4202560 314493 0 0 0 240551 167 0 0 20 0 41 0 84256149 28178132992 2430824 33554432000 4194304 4196468 140722838777312 140212415972584 140212857282232 0 4 0 16800975 0 0 0 -1 3 0 0 28 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13491] ppid=13457 vsize=27517708 memory=15460 CPUtime=2404.38 cores=0-7
/proc/13460/task/13491/stat : 13491 (java) R 13457 13460 13416 0 -1 4202560 347653 0 0 0 240252 186 0 0 20 0 41 0 84256149 28178132992 2430824 33554432000 4194304 4196468 140722838777312 140212414920872 140212859002633 0 4 0 16800975 0 0 0 -1 5 0 0 23 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13492] ppid=13457 vsize=27517708 memory=17668 CPUtime=2407.47 cores=0-7
/proc/13460/task/13492/stat : 13492 (java) R 13457 13460 13416 0 -1 4202560 387410 0 0 0 240536 211 0 0 20 0 41 0 84256149 28178132992 2430824 33554432000 4194304 4196468 140722838777312 140212413867816 140212850689377 0 4 0 16800975 0 0 0 -1 0 0 0 23 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13493] ppid=13457 vsize=27517708 memory=19876 CPUtime=0 cores=0-7
/proc/13460/task/13493/stat : 13493 (java) S 13457 13460 13416 0 -1 1077944384 149 0 0 0 0 0 0 0 20 0 41 0 84256151 28178132992 2430824 33554432000 4194304 4196468 140722838777312 140212412822832 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13494] ppid=13457 vsize=27517708 memory=3760564182836316192 CPUtime=2410.67 cores=0-7
/proc/13460/task/13494/stat : 13494 (java) R 13457 13460 13416 0 -1 4202560 541793 0 0 0 240795 272 0 0 20 0 41 0 84257596 28178132992 2430824 33554432000 4194304 4196468 140722838777312 140212411762120 140212858922794 0 4 0 16800975 0 0 0 -1 2 0 0 19 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13495] ppid=13457 vsize=27517708 memory=24292 CPUtime=0 cores=0-7
/proc/13460/task/13495/stat : 13495 (java) S 13457 13460 13416 0 -1 1077944384 566 0 0 0 0 0 0 0 20 0 41 0 84258132 28178132992 2430824 33554432000 4194304 4196468 140722838777312 140212408583216 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13496] ppid=13457 vsize=27517708 memory=7234303152781525070 CPUtime=0 cores=0-7
/proc/13460/task/13496/stat : 13496 (java) S 13457 13460 13416 0 -1 1077944384 338 0 0 0 0 0 0 0 20 0 41 0 84258133 28178132992 2430824 33554432000 4194304 4196468 140722838777312 140212407530416 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13497] ppid=13457 vsize=27517708 memory=288285571665904668 CPUtime=0 cores=0-7
/proc/13460/task/13497/stat : 13497 (java) S 13457 13460 13416 0 -1 1077944384 89 0 0 0 0 0 0 0 20 0 41 0 84258133 28178132992 2430824 33554432000 4194304 4196468 140722838777312 140212406477616 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13498] ppid=13457 vsize=27517708 memory=3977016236646334753 CPUtime=0 cores=0-7
/proc/13460/task/13498/stat : 13498 (java) S 13457 13460 13416 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 41 0 84258133 28178132992 2430824 33554432000 4194304 4196468 140722838777312 140212405424816 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13499] ppid=13457 vsize=27517708 memory=60196 CPUtime=0 cores=0-7
/proc/13460/task/13499/stat : 13499 (java) S 13457 13460 13416 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 41 0 84258133 28178132992 2430824 33554432000 4194304 4196468 140722838777312 140212404373040 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13500] ppid=13457 vsize=27517708 memory=808 CPUtime=0 cores=0-7
/proc/13460/task/13500/stat : 13500 (java) S 13457 13460 13416 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 41 0 84258136 28178132992 2430824 33554432000 4194304 4196468 140722838777312 140212403320240 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13501] ppid=13457 vsize=27517708 memory=4104 CPUtime=0 cores=0-7
/proc/13460/task/13501/stat : 13501 (java) S 13457 13460 13416 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 41 0 84258138 28178132992 2430824 33554432000 4194304 4196468 140722838777312 140212402267440 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
Current children cumulated CPU time: 19703.6 s
Current children cumulated vsize: 27517708 KiB
Current children cumulated memory: 9723296 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.39 s]
# the end of solver process 13460 was just reported to runsolver
# cumulated CPU time of all completed processes: user=19660.1 s, system=45.8293 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520.21 s]
/proc/loadavg: 8.69 8.74 8.71 9/219 13559
/proc/meminfo: memFree=17830604/32770624 swapFree=67108496/67108860
[pid=13460] ppid=13457 vsize=27652892 memory=9724140 CPUtime=19705.2 cores=0-7
/proc/13460/stat : 13460 (java) S 13457 13460 13416 0 -1 1077944320 5601783 0 0 0 1965942 4573 0 0 20 0 45 0 84250631 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140722838759856 140213258039031 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
/proc/13460/statm: 6913223 2431035 3639 1 0 6874773 0
[pid=13460/tid=13462] ppid=13457 vsize=27652892 memory=912 CPUtime=50.77 cores=0-7
/proc/13460/task/13462/stat : 13462 (java) S 13457 13460 13416 0 -1 1077944384 34062 0 0 0 5040 37 0 0 20 0 45 0 84250632 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140213262276496 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13463] ppid=13457 vsize=27652892 memory=3912 CPUtime=40.34 cores=0-7
/proc/13460/task/13463/stat : 13463 (java) S 13457 13460 13416 0 -1 1077944384 249751 0 0 0 3680 354 0 0 20 0 45 0 84250633 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140213180619408 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 58 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13464] ppid=13457 vsize=27652892 memory=1408 CPUtime=40.18 cores=0-7
/proc/13460/task/13464/stat : 13464 (java) S 13457 13460 13416 0 -1 1077944384 271049 0 0 0 3658 360 0 0 20 0 45 0 84250633 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140213179566608 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 59 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13465] ppid=13457 vsize=27652892 memory=4324 CPUtime=40.26 cores=0-7
/proc/13460/task/13465/stat : 13465 (java) S 13457 13460 13416 0 -1 1077944384 280313 0 0 0 3682 344 0 0 20 0 45 0 84250633 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140213178513808 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 57 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13466] ppid=13457 vsize=27652892 memory=9718412 CPUtime=40.19 cores=0-7
/proc/13460/task/13466/stat : 13466 (java) S 13457 13460 13416 0 -1 1077944384 275163 0 0 0 3669 350 0 0 20 0 45 0 84250633 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140213177461008 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 59 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13467] ppid=13457 vsize=27652892 memory=6791534058613427641 CPUtime=40.24 cores=0-7
/proc/13460/task/13467/stat : 13467 (java) S 13457 13460 13416 0 -1 1077944384 255639 0 0 0 3665 359 0 0 20 0 45 0 84250633 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140213176409232 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 56 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13468] ppid=13457 vsize=27652892 memory=-7003737579269690708 CPUtime=40.23 cores=0-7
/proc/13460/task/13468/stat : 13468 (java) S 13457 13460 13416 0 -1 1077944384 252228 0 0 0 3687 336 0 0 20 0 45 0 84250633 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140213175356432 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 55 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13469] ppid=13457 vsize=27652892 memory=4020 CPUtime=40.22 cores=0-7
/proc/13460/task/13469/stat : 13469 (java) S 13457 13460 13416 0 -1 1077944384 267751 0 0 0 3678 344 0 0 20 0 45 0 84250633 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140213174303632 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 64 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13470] ppid=13457 vsize=27652892 memory=4019 CPUtime=40.35 cores=0-7
/proc/13460/task/13470/stat : 13470 (java) S 13457 13460 13416 0 -1 1077944384 268950 0 0 0 3678 357 0 0 20 0 45 0 84250633 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140213173250832 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 58 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13471] ppid=13457 vsize=27652892 memory=4032 CPUtime=4.81 cores=0-7
/proc/13460/task/13471/stat : 13471 (java) S 13457 13460 13416 0 -1 1077944384 57803 0 0 0 467 14 0 0 20 0 45 0 84250634 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212767209840 140213258050178 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13472] ppid=13457 vsize=27652892 memory=481 CPUtime=0 cores=0-7
/proc/13460/task/13472/stat : 13472 (java) S 13457 13460 13416 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 45 0 84250635 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212766155872 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13473] ppid=13457 vsize=27652892 memory=9718412 CPUtime=0 cores=0-7
/proc/13460/task/13473/stat : 13473 (java) S 13457 13460 13416 0 -1 1077944384 115 0 0 0 0 0 0 0 20 0 45 0 84250635 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212517757824 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13474] ppid=13457 vsize=27652892 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/13460/task/13474/stat : 13474 (java) S 13457 13460 13416 0 -1 1077944384 193 0 0 0 0 0 0 0 20 0 45 0 84250637 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212516706128 140213258057627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13475] ppid=13457 vsize=27652892 memory=-7003737579269690708 CPUtime=3.21 cores=0-7
/proc/13460/task/13475/stat : 13475 (java) S 13457 13460 13416 0 -1 1077944384 19050 0 0 0 318 3 0 0 20 0 45 0 84250637 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212515654512 140213258050178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13476] ppid=13457 vsize=27652892 memory=1788 CPUtime=3.11 cores=0-7
/proc/13460/task/13476/stat : 13476 (java) S 13457 13460 13416 0 -1 1077944384 17542 0 0 0 306 5 0 0 20 0 45 0 84250637 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212514601712 140213258050178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13477] ppid=13457 vsize=27652892 memory=860 CPUtime=3.09 cores=0-7
/proc/13460/task/13477/stat : 13477 (java) S 13457 13460 13416 0 -1 1077944384 19744 0 0 0 308 1 0 0 20 0 45 0 84250637 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212513548912 140213258050178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13478] ppid=13457 vsize=27652892 memory=12556 CPUtime=1.4 cores=0-7
/proc/13460/task/13478/stat : 13478 (java) S 13457 13460 13416 0 -1 1077944384 30393 0 0 0 136 4 0 0 20 0 45 0 84250637 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212512496112 140213258050178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13479] ppid=13457 vsize=27652892 memory=756 CPUtime=0 cores=0-7
/proc/13460/task/13479/stat : 13479 (java) S 13457 13460 13416 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 45 0 84250637 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212511443552 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13480] ppid=13457 vsize=27652892 memory=1612 CPUtime=1.1 cores=0-7
/proc/13460/task/13480/stat : 13480 (java) S 13457 13460 13416 0 -1 1077944384 2540 0 0 0 38 72 0 0 20 0 45 0 84250638 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212510390832 140213258050178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13481] ppid=13457 vsize=27652892 memory=1836 CPUtime=0 cores=0-7
/proc/13460/task/13481/stat : 13481 (java) S 13457 13460 13416 0 -1 1077944384 869 0 0 0 0 0 0 0 20 0 45 0 84256107 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212496945792 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13482] ppid=13457 vsize=27652892 memory=1132 CPUtime=5.44 cores=0-7
/proc/13460/task/13482/stat : 13482 (java) R 13457 13460 13416 0 -1 1077944384 8018 0 0 0 240 304 0 0 20 0 45 0 84256124 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212426498736 140213258050178 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13483] ppid=13457 vsize=27652892 memory=6372 CPUtime=2420.86 cores=0-7
/proc/13460/task/13483/stat : 13483 (java) R 13457 13460 13416 0 -1 4202560 352952 0 0 0 241888 198 0 0 20 0 45 0 84256141 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212425439840 140212858877528 0 4 0 16800975 0 0 0 -1 4 0 0 27 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13484] ppid=13457 vsize=27652892 memory=5500 CPUtime=1.4 cores=0-7
/proc/13460/task/13484/stat : 13484 (java) R 13457 13460 13416 0 -1 1077944384 818 0 0 0 138 2 0 0 20 0 45 0 84256142 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212422285936 140213258049237 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13485] ppid=13457 vsize=27652892 memory=4460 CPUtime=1.39 cores=0-7
/proc/13460/task/13485/stat : 13485 (java) S 13457 13460 13416 0 -1 1077944384 1558 0 0 0 137 2 0 0 20 0 45 0 84256145 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212421243280 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13486] ppid=13457 vsize=27652892 memory=5500 CPUtime=2414.27 cores=0-7
/proc/13460/task/13486/stat : 13486 (java) R 13457 13460 13416 0 -1 4202560 546579 0 0 0 241146 281 0 0 20 0 45 0 84256149 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212420185584 140212857381703 0 4 0 16800975 0 0 0 -1 1 0 0 23 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13487] ppid=13457 vsize=27652892 memory=288230574492221466 CPUtime=2419.98 cores=0-7
/proc/13460/task/13487/stat : 13487 (java) R 13457 13460 13416 0 -1 4202560 403950 0 0 0 241817 181 0 0 20 0 45 0 84256149 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212419130624 140212858763940 0 4 0 16800975 0 0 0 -1 6 0 0 25 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13488] ppid=13457 vsize=27652892 memory=288230583166042426 CPUtime=2420.04 cores=0-7
/proc/13460/task/13488/stat : 13488 (java) R 13457 13460 13416 0 -1 4202560 386461 0 0 0 241825 179 0 0 20 0 45 0 84256149 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212418080408 140212853167864 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13489] ppid=13457 vsize=27652892 memory=14694093276061419 CPUtime=1.48 cores=0-7
/proc/13460/task/13489/stat : 13489 (java) R 13457 13460 13416 0 -1 1077944384 905 0 0 0 146 2 0 0 20 0 45 0 84256149 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212417033136 140213258049237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13490] ppid=13457 vsize=27652892 memory=1380 CPUtime=2407.34 cores=0-7
/proc/13460/task/13490/stat : 13490 (java) R 13457 13460 13416 0 -1 4202560 314494 0 0 0 240567 167 0 0 20 0 45 0 84256149 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212415972712 140212859002464 0 4 0 16800975 0 0 0 -1 7 0 0 28 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13491] ppid=13457 vsize=27652892 memory=1160 CPUtime=2404.57 cores=0-7
/proc/13460/task/13491/stat : 13491 (java) R 13457 13460 13416 0 -1 4202560 347654 0 0 0 240271 186 0 0 20 0 45 0 84256149 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212414922896 140213243249485 0 4 0 16800975 0 0 0 -1 5 0 0 23 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13492] ppid=13457 vsize=27652892 memory=9718412 CPUtime=2407.64 cores=0-7
/proc/13460/task/13492/stat : 13492 (java) R 13457 13460 13416 0 -1 4202560 387410 0 0 0 240553 211 0 0 20 0 45 0 84256149 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212413869808 140212857378075 0 4 0 16800975 0 0 0 -1 0 0 0 23 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13493] ppid=13457 vsize=27652892 memory=4000 CPUtime=0.01 cores=0-7
/proc/13460/task/13493/stat : 13493 (java) R 13457 13460 13416 0 -1 1077944384 535 0 0 0 1 0 0 0 20 0 45 0 84256151 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212412822480 140213258049237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13494] ppid=13457 vsize=27652892 memory=9723296 CPUtime=2410.86 cores=0-7
/proc/13460/task/13494/stat : 13494 (java) R 13457 13460 13416 0 -1 4202560 541794 0 0 0 240814 272 0 0 20 0 45 0 84257596 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212411762536 140212857213311 0 4 0 16800975 0 0 0 -1 2 0 0 19 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13495] ppid=13457 vsize=27652892 memory=14760 CPUtime=0 cores=0-7
/proc/13460/task/13495/stat : 13495 (java) R 13457 13460 13416 0 -1 1077944384 568 0 0 0 0 0 0 0 20 0 45 0 84258132 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212408583344 140213258049237 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13496] ppid=13457 vsize=27652892 memory=1180 CPUtime=0 cores=0-7
/proc/13460/task/13496/stat : 13496 (java) R 13457 13460 13416 0 -1 1077944384 366 0 0 0 0 0 0 0 20 0 45 0 84258133 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212407530544 140213258049237 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13497] ppid=13457 vsize=27652892 memory=504 CPUtime=0 cores=0-7
/proc/13460/task/13497/stat : 13497 (java) S 13457 13460 13416 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 45 0 84258133 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212406469808 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13498] ppid=13457 vsize=27652892 memory=1720 CPUtime=0 cores=0-7
/proc/13460/task/13498/stat : 13498 (java) R 13457 13460 13416 0 -1 1077944384 374 0 0 0 0 0 0 0 20 0 45 0 84258133 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212405424944 140213258049237 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13499] ppid=13457 vsize=27652892 memory=928 CPUtime=0 cores=0-7
/proc/13460/task/13499/stat : 13499 (java) S 13457 13460 13416 0 -1 1077944384 159 0 0 0 0 0 0 0 20 0 45 0 84258133 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212404362080 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13500] ppid=13457 vsize=27652892 memory=2296 CPUtime=0 cores=0-7
/proc/13460/task/13500/stat : 13500 (java) S 13457 13460 13416 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 45 0 84258136 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212403319808 140213258049237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
[pid=13460/tid=13501] ppid=13457 vsize=27652892 memory=1720 CPUtime=0.01 cores=0-7
/proc/13460/task/13501/stat : 13501 (java) R 13457 13460 13416 0 -1 4202560 448 0 0 0 1 0 0 0 20 0 45 0 84258138 28316561408 2431035 33554432000 4194304 4196468 140722838777312 140212402256272 140213238884484 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12795904 140722838783054 140722838783237 140722838783237 140722838785999 0
Current children cumulated CPU time: 19705.2 s
Current children cumulated vsize: 27652892 KiB
Current children cumulated memory: 9724140 KiB
[startup+2520.3 s]*
/proc/loadavg: 8.69 8.74 8.71 2/180 13565
/proc/meminfo: memFree=18487072/32770624 swapFree=67108496/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 143
Real time (s): 2520.39
CPU time (s): 19705.9
CPU user time (s): 19660.1
CPU system time (s): 45.8293
CPU usage (%): 781.859
Max. virtual memory (cumulated for all children) (KiB): 27652892
Max. memory (cumulated for all children) (KiB): 11607272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19660.1
system time used= 45.8293
maximum resident set size= 11607272
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5602477
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 356351
involuntary context switches= 411614
# summary of solver processes directly reported to runsolver:
# pid: 13460
# total CPU time (s): 19705.9
# total CPU user time (s): 19660.1
# total CPU system time (s): 45.8293
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 23.1808 second user time and 37.469 second system time
The end
Begin job on node149 at 2018-07-27 06:47:54 IDJOB=4290999 IDBENCH=141493 IDSOLVER=2745 FILE ID=node149/4290999-1532666874 RUNJOBID= node149-1532666874-13443 PBS_JOBID= 21022242 Free space on /tmp= 43240 MiB SOLVER NAME= OscaR - Parallel with EPS 2018-07-02 BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m1-50_c18.xml COMMAND LINE= java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 22000 --nbcore NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4290999-1532666874/watcher-4290999-1532666874 -o /tmp/evaluation-result-4290999-1532666874/solver-4290999-1532666874 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node149-1532666874-13443 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 435076714 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4290999-1532666874.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= 65d9088e6e3c6b500cf18d234bd8e6c7 RANDOM SEED=435076714 node149.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.60 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.60 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.60 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.60 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: 27558496 kB MemAvailable: 31924576 kB Buffers: 79596 kB Cached: 4505760 kB SwapCached: 60 kB Active: 1544444 kB Inactive: 3094280 kB Active(anon): 2976 kB Inactive(anon): 78324 kB Active(file): 1541468 kB Inactive(file): 3015956 kB Unevictable: 7752 kB Mlocked: 7752 kB SwapTotal: 67108860 kB SwapFree: 67108496 kB Dirty: 52236 kB Writeback: 0 kB AnonPages: 60764 kB Mapped: 33140 kB Shmem: 25040 kB Slab: 264564 kB SReclaimable: 237116 kB SUnreclaim: 27448 kB KernelStack: 3120 kB PageTables: 4508 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 324536 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 8192 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 43204 MiB End job on node149 at 2018-07-27 07:29:55