Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
OscaR - Conflict Ordering with restarts 2018-08-17 | SAT (TO) | 174 | 252.072 | 228.95 |
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 | 174 |
Best CPU time to get the best result obtained on this benchmark | 252.072 |
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.67/0.56 c version: 2018-08-17 0.67/0.56 c seed: 289961626 0.67/0.56 c timeout: 252 0.67/0.56 c memlimit: 11000 0.67/0.56 c nbcore: 1 0.67/0.58 c Parsing instance... 31.73/19.13 c Parsing done, starting search... 42.95/22.41 o 63 45.23/24.49 o 64 45.58/24.73 o 65 46.98/26.04 o 66 48.40/27.42 o 67 49.80/28.80 o 68 51.10/30.15 o 69 51.31/30.35 o 70 52.11/31.13 o 71 52.42/31.42 o 72 52.61/31.62 o 73 53.76/32.69 o 74 54.10/32.98 o 75 54.30/33.19 o 76 55.10/33.96 o 77 55.31/34.19 o 78 55.62/34.45 o 79 56.72/35.58 o 80 57.01/35.86 o 81 58.22/37.03 o 82 59.42/38.29 o 83 59.73/38.54 o 84 60.93/39.70 o 85 62.05/40.80 o 86 62.25/41.03 o 87 62.45/41.28 o 88 63.66/42.48 o 89 65.26/43.96 o 90 66.26/44.93 o 91 66.47/45.15 o 92 66.78/45.41 o 93 67.67/46.32 o 94 67.88/46.55 o 95 68.17/46.81 o 96 69.37/48.01 o 97 69.58/48.26 o 98 70.48/49.18 o 99 70.68/49.40 o 100 70.98/49.61 o 101 72.18/50.84 o 102 72.38/51.06 o 103 73.49/52.18 o 104 73.69/52.40 o 105 75.24/53.81 o 106 76.39/54.92 o 107 76.59/55.15 o 108 78.11/56.57 o 109 79.21/57.65 o 110 79.41/57.87 o 111 79.71/58.11 o 112 80.81/59.26 o 113 81.82/60.30 o 114 82.13/60.52 o 115 82.33/60.74 o 116 83.53/61.96 o 117 83.73/62.19 o 118 85.04/63.47 o 119 85.23/63.69 o 120 86.23/64.65 o 121 86.44/64.87 o 122 86.74/65.10 o 123 87.94/66.33 o 124 88.14/66.56 o 125 89.19/67.59 o 126 89.56/67.81 o 127 89.76/68.03 o 128 91.06/69.37 o 129 92.46/70.73 o 130 93.76/72.08 o 131 94.76/73.00 o 132 94.96/73.22 o 133 95.17/73.44 o 134 96.46/74.78 o 135 97.86/76.13 o 136 98.77/77.03 o 137 98.97/77.25 o 138 99.17/77.47 o 139 99.37/77.69 o 140 100.57/78.83 o 141 100.77/79.05 o 142 102.08/80.22 o 143 103.39/81.56 o 144 103.59/81.78 o 145 104.79/82.91 o 146 104.99/83.13 o 147 106.09/84.26 o 148 106.30/84.48 o 149 107.49/85.62 o 150 107.69/85.84 o 151 108.79/86.97 o 152 108.99/87.19 o 153 110.19/88.32 o 154 110.40/88.54 o 155 111.49/89.68 o 156 111.69/89.89 o 157 112.90/91.02 o 158 114.31/92.39 o 159 114.61/92.60 o 160 115.71/93.73 o 161 115.91/93.95 o 162 117.01/95.08 o 163 117.21/95.29 o 164 118.42/96.43 o 165 118.61/96.65 o 166 119.71/97.79 o 167 120.01/98.00 o 168 121.11/99.13 o 169 121.31/99.34 o 170 122.42/100.49 o 171 122.71/100.70 o 172 123.82/101.82 o 173 134.51/112.27 o 174 252.01/228.90 s SATISFIABLE 252.01/228.91 v <instantiation> 252.01/228.91 v <list> 252.01/228.91 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] 252.01/228.91 v </list> 252.01/228.91 v <values> 252.01/228.91 v 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 0 0 0 0 0 1 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 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 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 1 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 1 0 1 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 0 1 1 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 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 0 0 0 0 1 1 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 0 0 1 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 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 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 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 0 1 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 1 1 0 0 1 0 0 1 0 0 0 1 0 0 0 0 0 0 1 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 1 0 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 0 0 1 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 1 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 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 1 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 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 1 1 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 1 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 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 1 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 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 1 0 1 1 1 0 0 1 0 0 0 0 0 1 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 1 0 1 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 252.01/228.91 v </values> 252.01/228.91 v </instantiation>
OK 174
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 (12304 MiB free) memory of node 1: 16384 MiB (11297 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4312150-1534570050/watcher-4312150-1534570050 -o /tmp/evaluation-result-4312150-1534570050/solver-4312150-1534570050 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534568746-9006 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 289961626 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312150-1534570050.xml running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=10164, runsolver pid=10161 Current StackSize limit: 8192 KiB [startup+0.100345 s]* /proc/loadavg: 1.36 1.57 1.54 3/215 10179 /proc/meminfo: memFree=24151860/32770624 swapFree=67108524/67108860 [pid=10164] ppid=10161 vsize=14082736 memory=30540 CPUtime=0.12 cores=1,3,5,7 /proc/10164/stat : 10164 (java) S 10161 10164 5687 0 -1 1077944320 6548 0 0 0 11 1 0 0 20 0 15 0 274568262 14420721664 7635 33554432000 4194304 4196468 140735809661088 140735809643632 139936605482743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 /proc/10164/statm: 3520684 7635 3154 1 0 3482761 0 [pid=10164/tid=10166] ppid=10161 vsize=14082736 memory=-8773748148830376318 CPUtime=0.08 cores=1,3,5,7 /proc/10164/task/10166/stat : 10166 (java) R 10161 10164 5687 0 -1 4202560 4586 0 0 0 8 0 0 0 20 0 15 0 274568262 14420721664 7635 33554432000 4194304 4196468 140735809661088 139936609679352 139936589563230 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10167] ppid=10161 vsize=14082736 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10167/stat : 10167 (java) S 10161 10164 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274568263 14420721664 7635 33554432000 4194304 4196468 140735809661088 139936558103184 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10168] ppid=10161 vsize=14082736 memory=140349410657920 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10168/stat : 10168 (java) S 10161 10164 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274568263 14420721664 7635 33554432000 4194304 4196468 140735809661088 139936557050384 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10169] ppid=10161 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10169/stat : 10169 (java) S 10161 10164 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274568263 14420721664 7635 33554432000 4194304 4196468 140735809661088 139936555997584 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10170] ppid=10161 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10170/stat : 10170 (java) S 10161 10164 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274568263 14420721664 7635 33554432000 4194304 4196468 140735809661088 139936554944784 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10171] ppid=10161 vsize=14082736 memory=140349410657920 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10171/stat : 10171 (java) S 10161 10164 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274568264 14420721664 7635 33554432000 4194304 4196468 140735809661088 139936147483504 139936605493890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10172] ppid=10161 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10172/stat : 10172 (java) S 10161 10164 5687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274568265 14420721664 7635 33554432000 4194304 4196468 140735809661088 139936146429472 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10173] ppid=10161 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10173/stat : 10173 (java) S 10161 10164 5687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274568265 14420721664 7635 33554432000 4194304 4196468 140735809661088 139936145376624 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10174] ppid=10161 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10174/stat : 10174 (java) S 10161 10164 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274568267 14420721664 7635 33554432000 4194304 4196468 140735809661088 139936144324944 139936605501339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10175] ppid=10161 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10175/stat : 10175 (java) S 10161 10164 5687 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 274568267 14420721664 7635 33554432000 4194304 4196468 140735809661088 139936143272304 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10176] ppid=10161 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10176/stat : 10176 (java) S 10161 10164 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274568267 14420721664 7635 33554432000 4194304 4196468 140735809661088 139936074295536 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10177] ppid=10161 vsize=14082736 memory=140349410657920 CPUtime=0.01 cores=1,3,5,7 /proc/10164/task/10177/stat : 10177 (java) S 10161 10164 5687 0 -1 1077944384 287 0 0 0 1 0 0 0 20 0 15 0 274568267 14420721664 7635 33554432000 4194304 4196468 140735809661088 139936073242736 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10178] ppid=10161 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10178/stat : 10178 (java) S 10161 10164 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274568267 14420721664 7635 33554432000 4194304 4196468 140735809661088 139936072190176 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10179] ppid=10161 vsize=14082736 memory=140349410657920 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10179/stat : 10179 (java) S 10161 10164 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274568268 14420721664 7635 33554432000 4194304 4196468 140735809661088 139936071138480 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 30540 KiB [startup+0.214143 s]* /proc/loadavg: 1.36 1.57 1.54 6/215 10179 /proc/meminfo: memFree=24136108/32770624 swapFree=67108524/67108860 [pid=10164] ppid=10161 vsize=14082736 memory=47140 CPUtime=0.32 cores=1,3,5,7 /proc/10164/stat : 10164 (java) S 10161 10164 5687 0 -1 1077944320 10399 0 0 0 30 2 0 0 20 0 15 0 274568262 14420721664 11785 33554432000 4194304 4196468 140735809661088 140735809643632 139936605482743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 /proc/10164/statm: 3520684 11785 3379 1 0 3482761 0 [pid=10164/tid=10166] ppid=10161 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7 /proc/10164/task/10166/stat : 10166 (java) R 10161 10164 5687 0 -1 4202560 8079 0 0 0 19 1 0 0 20 0 15 0 274568262 14420721664 11785 33554432000 4194304 4196468 140735809661088 139936609703296 139936589526373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10167] ppid=10161 vsize=14082736 memory=345 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10167/stat : 10167 (java) S 10161 10164 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274568263 14420721664 11785 33554432000 4194304 4196468 140735809661088 139936558103184 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10168] ppid=10161 vsize=14082736 memory=288370725562369664 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10168/stat : 10168 (java) S 10161 10164 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274568263 14420721664 11785 33554432000 4194304 4196468 140735809661088 139936557050384 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10169] ppid=10161 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10169/stat : 10169 (java) S 10161 10164 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274568263 14420721664 11785 33554432000 4194304 4196468 140735809661088 139936555997584 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10170] ppid=10161 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10170/stat : 10170 (java) S 10161 10164 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274568263 14420721664 11785 33554432000 4194304 4196468 140735809661088 139936554944784 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10171] ppid=10161 vsize=14082736 memory=140349410657920 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10171/stat : 10171 (java) S 10161 10164 5687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274568264 14420721664 11785 33554432000 4194304 4196468 140735809661088 139936147483504 139936605493890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10172] ppid=10161 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10172/stat : 10172 (java) S 10161 10164 5687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274568265 14420721664 11785 33554432000 4194304 4196468 140735809661088 139936146429472 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10173] ppid=10161 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10173/stat : 10173 (java) S 10161 10164 5687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274568265 14420721664 11785 33554432000 4194304 4196468 140735809661088 139936145376624 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10174] ppid=10161 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10174/stat : 10174 (java) S 10161 10164 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274568267 14420721664 11785 33554432000 4194304 4196468 140735809661088 139936144324944 139936605501339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10175] ppid=10161 vsize=14082736 memory=0 CPUtime=0.01 cores=1,3,5,7 /proc/10164/task/10175/stat : 10175 (java) R 10161 10164 5687 0 -1 1077944384 355 0 0 0 1 0 0 0 20 0 15 0 274568267 14420721664 11785 33554432000 4194304 4196468 140735809661088 139936143272432 139936605492949 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10176] ppid=10161 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7 /proc/10164/task/10176/stat : 10176 (java) S 10161 10164 5687 0 -1 1077944384 253 0 0 0 2 0 0 0 20 0 15 0 274568267 14420721664 11785 33554432000 4194304 4196468 140735809661088 139936074295536 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10177] ppid=10161 vsize=14082736 memory=140349410657920 CPUtime=0.06 cores=1,3,5,7 /proc/10164/task/10177/stat : 10177 (java) S 10161 10164 5687 0 -1 1077944384 336 0 0 0 6 0 0 0 20 0 15 0 274568267 14420721664 11785 33554432000 4194304 4196468 140735809661088 139936073242736 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10178] ppid=10161 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10178/stat : 10178 (java) S 10161 10164 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274568267 14420721664 11785 33554432000 4194304 4196468 140735809661088 139936072190176 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10179] ppid=10161 vsize=14082736 memory=140349410657920 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10179/stat : 10179 (java) S 10161 10164 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274568268 14420721664 11785 33554432000 4194304 4196468 140735809661088 139936071138480 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 Current children cumulated CPU time: 0.32 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 47140 KiB [startup+0.310467 s]* /proc/loadavg: 1.36 1.57 1.54 3/215 10179 /proc/meminfo: memFree=24132448/32770624 swapFree=67108524/67108860 [pid=10164] ppid=10161 vsize=14082736 memory=50636 CPUtime=0.44 cores=1,3,5,7 /proc/10164/stat : 10164 (java) S 10161 10164 5687 0 -1 1077944320 10790 0 0 0 42 2 0 0 20 0 15 0 274568262 14420721664 12659 33554432000 4194304 4196468 140735809661088 140735809643632 139936605482743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 /proc/10164/statm: 3520684 12659 3382 1 0 3482761 0 [pid=10164/tid=10166] ppid=10161 vsize=14082736 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7 /proc/10164/task/10166/stat : 10166 (java) R 10161 10164 5687 0 -1 4202560 8426 0 0 0 28 1 0 0 20 0 15 0 274568262 14420721664 12659 33554432000 4194304 4196468 140735809661088 139936609692096 139936587047721 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10167] ppid=10161 vsize=14082736 memory=290763883793350679 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10167/stat : 10167 (java) S 10161 10164 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274568263 14420721664 12659 33554432000 4194304 4196468 140735809661088 139936558103184 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10168] ppid=10161 vsize=14082736 memory=15392981826160280 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10168/stat : 10168 (java) S 10161 10164 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274568263 14420721664 12659 33554432000 4194304 4196468 140735809661088 139936557050384 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10169] ppid=10161 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10169/stat : 10169 (java) S 10161 10164 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274568263 14420721664 12659 33554432000 4194304 4196468 140735809661088 139936555997584 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10170] ppid=10161 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10170/stat : 10170 (java) S 10161 10164 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274568263 14420721664 12659 33554432000 4194304 4196468 140735809661088 139936554944784 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10171] ppid=10161 vsize=14082736 memory=140349410657920 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10171/stat : 10171 (java) S 10161 10164 5687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274568264 14420721664 12659 33554432000 4194304 4196468 140735809661088 139936147483504 139936605493890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10172] ppid=10161 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10172/stat : 10172 (java) S 10161 10164 5687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274568265 14420721664 12659 33554432000 4194304 4196468 140735809661088 139936146429472 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10173] ppid=10161 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10173/stat : 10173 (java) S 10161 10164 5687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274568265 14420721664 12659 33554432000 4194304 4196468 140735809661088 139936145376624 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10174] ppid=10161 vsize=14082736 memory=0 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10174/stat : 10174 (java) S 10161 10164 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274568267 14420721664 12659 33554432000 4194304 4196468 140735809661088 139936144324944 139936605501339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10175] ppid=10161 vsize=14082736 memory=0 CPUtime=0.02 cores=1,3,5,7 /proc/10164/task/10175/stat : 10175 (java) S 10161 10164 5687 0 -1 1077944384 375 0 0 0 2 0 0 0 20 0 15 0 274568267 14420721664 12659 33554432000 4194304 4196468 140735809661088 139936143272304 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10176] ppid=10161 vsize=14082736 memory=-1 CPUtime=0.02 cores=1,3,5,7 /proc/10164/task/10176/stat : 10176 (java) S 10161 10164 5687 0 -1 1077944384 253 0 0 0 2 0 0 0 20 0 15 0 274568267 14420721664 12659 33554432000 4194304 4196468 140735809661088 139936074295536 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10177] ppid=10161 vsize=14082736 memory=140349410657920 CPUtime=0.08 cores=1,3,5,7 /proc/10164/task/10177/stat : 10177 (java) S 10161 10164 5687 0 -1 1077944384 355 0 0 0 8 0 0 0 20 0 15 0 274568267 14420721664 12659 33554432000 4194304 4196468 140735809661088 139936073242736 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10178] ppid=10161 vsize=14082736 memory=-1 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10178/stat : 10178 (java) S 10161 10164 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274568267 14420721664 12659 33554432000 4194304 4196468 140735809661088 139936072190176 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10179] ppid=10161 vsize=14082736 memory=140349410657920 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10179/stat : 10179 (java) S 10161 10164 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274568268 14420721664 12659 33554432000 4194304 4196468 140735809661088 139936071138480 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 Current children cumulated CPU time: 0.44 s Current children cumulated vsize: 14082736 KiB Current children cumulated memory: 50636 KiB [startup+0.700732 s] /proc/loadavg: 1.36 1.57 1.54 3/215 10179 /proc/meminfo: memFree=24108636/32770624 swapFree=67108524/67108860 [pid=10164] ppid=10161 vsize=14084804 memory=89012 CPUtime=0.99 cores=1,3,5,7 /proc/10164/stat : 10164 (java) S 10161 10164 5687 0 -1 1077944320 17628 0 0 0 94 5 0 0 20 0 15 0 274568262 14422839296 22253 33554432000 4194304 4196468 140735809661088 140735809643632 139936605482743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 /proc/10164/statm: 3521201 22253 3501 1 0 3483273 0 [pid=10164/tid=10166] ppid=10161 vsize=14084804 memory=1740 CPUtime=0.68 cores=1,3,5,7 /proc/10164/task/10166/stat : 10166 (java) R 10161 10164 5687 0 -1 4202560 14878 0 0 0 64 4 0 0 20 0 15 0 274568262 14422839296 22253 33554432000 4194304 4196468 140735809661088 139936609706848 139936605504669 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10167] ppid=10161 vsize=14084804 memory=11192 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10167/stat : 10167 (java) S 10161 10164 5687 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 274568263 14422839296 22253 33554432000 4194304 4196468 140735809661088 139936558103184 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10168] ppid=10161 vsize=14084804 memory=752 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10168/stat : 10168 (java) S 10161 10164 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274568263 14422839296 22253 33554432000 4194304 4196468 140735809661088 139936557050384 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10169] ppid=10161 vsize=14084804 memory=1828 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10169/stat : 10169 (java) S 10161 10164 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274568263 14422839296 22253 33554432000 4194304 4196468 140735809661088 139936555997584 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10170] ppid=10161 vsize=14084804 memory=1120 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10170/stat : 10170 (java) S 10161 10164 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274568263 14422839296 22253 33554432000 4194304 4196468 140735809661088 139936554944784 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10171] ppid=10161 vsize=14084804 memory=6136 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10171/stat : 10171 (java) S 10161 10164 5687 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 274568264 14422839296 22253 33554432000 4194304 4196468 140735809661088 139936147483504 139936605493890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10172] ppid=10161 vsize=14084804 memory=1724 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10172/stat : 10172 (java) S 10161 10164 5687 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 274568265 14422839296 22253 33554432000 4194304 4196468 140735809661088 139936146429472 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10173] ppid=10161 vsize=14084804 memory=4004 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10173/stat : 10173 (java) S 10161 10164 5687 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 274568265 14422839296 22253 33554432000 4194304 4196468 140735809661088 139936145376624 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10174] ppid=10161 vsize=14084804 memory=7668879548562892096 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10174/stat : 10174 (java) S 10161 10164 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274568267 14422839296 22253 33554432000 4194304 4196468 140735809661088 139936144324944 139936605501339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10175] ppid=10161 vsize=14084804 memory=7881696724453321575 CPUtime=0.08 cores=1,3,5,7 /proc/10164/task/10175/stat : 10175 (java) S 10161 10164 5687 0 -1 1077944384 541 0 0 0 8 0 0 0 20 0 15 0 274568267 14422839296 22253 33554432000 4194304 4196468 140735809661088 139936143272304 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10176] ppid=10161 vsize=14084804 memory=5787213857196369745 CPUtime=0.06 cores=1,3,5,7 /proc/10164/task/10176/stat : 10176 (java) S 10161 10164 5687 0 -1 1077944384 380 0 0 0 6 0 0 0 20 0 15 0 274568267 14422839296 22253 33554432000 4194304 4196468 140735809661088 139936074295536 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10177] ppid=10161 vsize=14084804 memory=0 CPUtime=0.15 cores=1,3,5,7 /proc/10164/task/10177/stat : 10177 (java) S 10161 10164 5687 0 -1 1077944384 448 0 0 0 15 0 0 0 20 0 15 0 274568267 14422839296 22253 33554432000 4194304 4196468 140735809661088 139936073242736 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10178] ppid=10161 vsize=14084804 memory=0 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10178/stat : 10178 (java) S 10161 10164 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274568267 14422839296 22253 33554432000 4194304 4196468 140735809661088 139936072190176 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10179] ppid=10161 vsize=14084804 memory=33 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10179/stat : 10179 (java) S 10161 10164 5687 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 274568268 14422839296 22253 33554432000 4194304 4196468 140735809661088 139936071138480 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 Current children cumulated CPU time: 0.99 s Current children cumulated vsize: 14084804 KiB Current children cumulated memory: 89012 KiB [startup+1.50133 s] /proc/loadavg: 1.36 1.57 1.54 6/215 10179 /proc/meminfo: memFree=23898200/32770624 swapFree=67108524/67108860 [pid=10164] ppid=10161 vsize=14084804 memory=491864 CPUtime=3.37 cores=1,3,5,7 /proc/10164/stat : 10164 (java) S 10161 10164 5687 0 -1 1077944320 20590 0 0 0 292 45 0 0 20 0 15 0 274568262 14422839296 122966 33554432000 4194304 4196468 140735809661088 140735809643632 139936605482743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 /proc/10164/statm: 3521201 122966 3548 1 0 3483273 0 [pid=10164/tid=10166] ppid=10161 vsize=14084804 memory=6791534058613427641 CPUtime=1.06 cores=1,3,5,7 /proc/10164/task/10166/stat : 10166 (java) S 10161 10164 5687 0 -1 1077944384 15039 0 0 0 101 5 0 0 20 0 15 0 274568262 14422839296 122966 33554432000 4194304 4196468 140735809661088 139936609719648 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10167] ppid=10161 vsize=14084804 memory=-8754540793456063680 CPUtime=0.38 cores=1,3,5,7 /proc/10164/task/10167/stat : 10167 (java) R 10161 10164 5687 0 -1 4202560 407 0 0 0 29 9 0 0 20 0 15 0 274568263 14422839296 122966 33554432000 4194304 4196468 140735809661088 139936558103384 139936590183405 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10168] ppid=10161 vsize=14084804 memory=-2843869621055772062 CPUtime=0.4 cores=1,3,5,7 /proc/10164/task/10168/stat : 10168 (java) R 10161 10164 5687 0 -1 4202560 323 0 0 0 31 9 0 0 20 0 15 0 274568263 14422839296 122966 33554432000 4194304 4196468 140735809661088 139936557050584 139936590183400 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10169] ppid=10161 vsize=14084804 memory=5450919713671312938 CPUtime=0.4 cores=1,3,5,7 /proc/10164/task/10169/stat : 10169 (java) R 10161 10164 5687 0 -1 4202560 275 0 0 0 31 9 0 0 20 0 15 0 274568263 14422839296 122966 33554432000 4194304 4196468 140735809661088 139936555997704 139936590183439 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10170] ppid=10161 vsize=14084804 memory=1401637097735671167 CPUtime=0.4 cores=1,3,5,7 /proc/10164/task/10170/stat : 10170 (java) R 10161 10164 5687 0 -1 4202560 672 0 0 0 31 9 0 0 20 0 15 0 274568263 14422839296 122966 33554432000 4194304 4196468 140735809661088 139936554944672 139936590183379 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10171] ppid=10161 vsize=14084804 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10171/stat : 10171 (java) S 10161 10164 5687 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 274568264 14422839296 122966 33554432000 4194304 4196468 140735809661088 139936147482048 139936605492949 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 ################ # More data... # ################ /proc/10164/task/10166/stat : 10166 (java) R 10161 10164 5687 0 -1 4202560 37838 0 0 0 15613 18 0 0 20 0 15 0 274568262 14429130752 762000 33554432000 4194304 4196468 140735809661088 139936609720896 139936228678284 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10167] ppid=10161 vsize=14090948 memory=3048000 CPUtime=5.11 cores=1,3,5,7 /proc/10164/task/10167/stat : 10167 (java) S 10161 10164 5687 0 -1 1077944384 9996 0 0 0 447 64 0 0 20 0 15 0 274568263 14429130752 762000 33554432000 4194304 4196468 140735809661088 139936558103184 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10168] ppid=10161 vsize=14090948 memory=3048000 CPUtime=5.12 cores=1,3,5,7 /proc/10164/task/10168/stat : 10168 (java) S 10161 10164 5687 0 -1 1077944384 7677 0 0 0 447 65 0 0 20 0 15 0 274568263 14429130752 762000 33554432000 4194304 4196468 140735809661088 139936557050384 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10169] ppid=10161 vsize=14090948 memory=3048000 CPUtime=5.11 cores=1,3,5,7 /proc/10164/task/10169/stat : 10169 (java) S 10161 10164 5687 0 -1 1077944384 9978 0 0 0 447 64 0 0 20 0 15 0 274568263 14429130752 762000 33554432000 4194304 4196468 140735809661088 139936555997584 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10170] ppid=10161 vsize=14090948 memory=3048000 CPUtime=5.08 cores=1,3,5,7 /proc/10164/task/10170/stat : 10170 (java) S 10161 10164 5687 0 -1 1077944384 8917 0 0 0 445 63 0 0 20 0 15 0 274568263 14429130752 762000 33554432000 4194304 4196468 140735809661088 139936554944784 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10171] ppid=10161 vsize=14090948 memory=3048000 CPUtime=0.41 cores=1,3,5,7 /proc/10164/task/10171/stat : 10171 (java) S 10161 10164 5687 0 -1 1077944384 6507 0 0 0 40 1 0 0 20 0 15 0 274568264 14429130752 762000 33554432000 4194304 4196468 140735809661088 139936147483504 139936605493890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10172] ppid=10161 vsize=14090948 memory=3048000 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10172/stat : 10172 (java) S 10161 10164 5687 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 274568265 14429130752 762000 33554432000 4194304 4196468 140735809661088 139936146429536 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10173] ppid=10161 vsize=14090948 memory=3048076 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10173/stat : 10173 (java) S 10161 10164 5687 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 274568265 14429130752 762000 33554432000 4194304 4196468 140735809661088 139936145376640 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10174] ppid=10161 vsize=14090948 memory=3048076 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10174/stat : 10174 (java) S 10161 10164 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274568267 14429130752 762000 33554432000 4194304 4196468 140735809661088 139936144324944 139936605501339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10175] ppid=10161 vsize=14090948 memory=3712 CPUtime=3.43 cores=1,3,5,7 /proc/10164/task/10175/stat : 10175 (java) S 10161 10164 5687 0 -1 1077944384 10852 0 0 0 341 2 0 0 20 0 15 0 274568267 14429130752 762000 33554432000 4194304 4196468 140735809661088 139936143272304 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10176] ppid=10161 vsize=14090948 memory=6884 CPUtime=3.24 cores=1,3,5,7 /proc/10164/task/10176/stat : 10176 (java) S 10161 10164 5687 0 -1 1077944384 11072 0 0 0 323 1 0 0 20 0 15 0 274568267 14429130752 762000 33554432000 4194304 4196468 140735809661088 139936074295536 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10177] ppid=10161 vsize=14090948 memory=3048000 CPUtime=1.03 cores=1,3,5,7 /proc/10164/task/10177/stat : 10177 (java) S 10161 10164 5687 0 -1 1077944384 11346 0 0 0 102 1 0 0 20 0 15 0 274568267 14429130752 762000 33554432000 4194304 4196468 140735809661088 139936073242736 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10178] ppid=10161 vsize=14090948 memory=1828 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10178/stat : 10178 (java) S 10161 10164 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274568267 14429130752 762000 33554432000 4194304 4196468 140735809661088 139936072190176 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10179] ppid=10161 vsize=14090948 memory=1120 CPUtime=0.08 cores=1,3,5,7 /proc/10164/task/10179/stat : 10179 (java) S 10161 10164 5687 0 -1 1077944384 1126 0 0 0 3 5 0 0 20 0 15 0 274568268 14429130752 762000 33554432000 4194304 4196468 140735809661088 139936071138480 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 49 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 Current children cumulated CPU time: 185.03 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 3048000 KiB [startup+222.301 s] /proc/loadavg: 1.69 1.71 1.61 3/216 10268 /proc/meminfo: memFree=20431516/32770624 swapFree=67108524/67108860 [pid=10164] ppid=10161 vsize=14090948 memory=3047868 CPUtime=245.4 cores=1,3,5,7 /proc/10164/stat : 10164 (java) S 10161 10164 5687 0 -1 1077944320 123083 0 0 0 24249 291 0 0 20 0 15 0 274568262 14429130752 761967 33554432000 4194304 4196468 140735809661088 140735809643632 139936605482743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 /proc/10164/statm: 3522737 761967 3615 1 0 3484809 0 [pid=10164/tid=10166] ppid=10161 vsize=14090948 memory=3047868 CPUtime=216.2 cores=1,3,5,7 /proc/10164/task/10166/stat : 10166 (java) R 10161 10164 5687 0 -1 4202560 40563 0 0 0 21601 19 0 0 20 0 15 0 274568262 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936609720992 139936228655298 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10167] ppid=10161 vsize=14090948 memory=14888 CPUtime=5.22 cores=1,3,5,7 /proc/10164/task/10167/stat : 10167 (java) S 10161 10164 5687 0 -1 1077944384 11228 0 0 0 458 64 0 0 20 0 15 0 274568263 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936558103184 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10168] ppid=10161 vsize=14090948 memory=3047908 CPUtime=5.23 cores=1,3,5,7 /proc/10164/task/10168/stat : 10168 (java) S 10161 10164 5687 0 -1 1077944384 8836 0 0 0 458 65 0 0 20 0 15 0 274568263 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936557050384 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10169] ppid=10161 vsize=14090948 memory=3047868 CPUtime=5.22 cores=1,3,5,7 /proc/10164/task/10169/stat : 10169 (java) S 10161 10164 5687 0 -1 1077944384 10367 0 0 0 458 64 0 0 20 0 15 0 274568263 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936555997584 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10170] ppid=10161 vsize=14090948 memory=3047868 CPUtime=5.19 cores=1,3,5,7 /proc/10164/task/10170/stat : 10170 (java) S 10161 10164 5687 0 -1 1077944384 9514 0 0 0 456 63 0 0 20 0 15 0 274568263 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936554944784 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10171] ppid=10161 vsize=14090948 memory=3047868 CPUtime=0.42 cores=1,3,5,7 /proc/10164/task/10171/stat : 10171 (java) S 10161 10164 5687 0 -1 1077944384 6744 0 0 0 41 1 0 0 20 0 15 0 274568264 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936147483504 139936605493890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10172] ppid=10161 vsize=14090948 memory=3047868 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10172/stat : 10172 (java) S 10161 10164 5687 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 274568265 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936146429536 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10173] ppid=10161 vsize=14090948 memory=3047868 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10173/stat : 10173 (java) S 10161 10164 5687 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 274568265 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936145376640 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10174] ppid=10161 vsize=14090948 memory=3047868 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10174/stat : 10174 (java) S 10161 10164 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274568267 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936144324944 139936605501339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10175] ppid=10161 vsize=14090948 memory=3047868 CPUtime=3.44 cores=1,3,5,7 /proc/10164/task/10175/stat : 10175 (java) S 10161 10164 5687 0 -1 1077944384 10855 0 0 0 342 2 0 0 20 0 15 0 274568267 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936143272304 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10176] ppid=10161 vsize=14090948 memory=6791534058613427641 CPUtime=3.24 cores=1,3,5,7 /proc/10164/task/10176/stat : 10176 (java) S 10161 10164 5687 0 -1 1077944384 11076 0 0 0 323 1 0 0 20 0 15 0 274568267 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936074295536 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10177] ppid=10161 vsize=14090948 memory=3312 CPUtime=1.03 cores=1,3,5,7 /proc/10164/task/10177/stat : 10177 (java) S 10161 10164 5687 0 -1 1077944384 11354 0 0 0 102 1 0 0 20 0 15 0 274568267 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936073242736 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10178] ppid=10161 vsize=14090948 memory=3047868 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10178/stat : 10178 (java) S 10161 10164 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274568267 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936072190176 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10179] ppid=10161 vsize=14090948 memory=3712 CPUtime=0.12 cores=1,3,5,7 /proc/10164/task/10179/stat : 10179 (java) S 10161 10164 5687 0 -1 1077944384 1153 0 0 0 5 7 0 0 20 0 15 0 274568268 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936071138480 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 49 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 Current children cumulated CPU time: 245.4 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 3047868 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+228.901 s] /proc/loadavg: 1.73 1.72 1.62 3/216 10268 /proc/meminfo: memFree=20438632/32770624 swapFree=67108524/67108860 [pid=10164] ppid=10161 vsize=14090948 memory=3047868 CPUtime=252.01 cores=1,3,5,7 /proc/10164/stat : 10164 (java) S 10161 10164 5687 0 -1 1077944320 123498 0 0 0 24910 291 0 0 20 0 15 0 274568262 14429130752 761967 33554432000 4194304 4196468 140735809661088 140735809643632 139936605482743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 /proc/10164/statm: 3522737 761967 3615 1 0 3484809 0 [pid=10164/tid=10166] ppid=10161 vsize=14090948 memory=3047868 CPUtime=222.8 cores=1,3,5,7 /proc/10164/task/10166/stat : 10166 (java) R 10161 10164 5687 0 -1 4202560 40952 0 0 0 22261 19 0 0 20 0 15 0 274568262 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936609720992 139936228655374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10167] ppid=10161 vsize=14090948 memory=3047868 CPUtime=5.22 cores=1,3,5,7 /proc/10164/task/10167/stat : 10167 (java) S 10161 10164 5687 0 -1 1077944384 11228 0 0 0 458 64 0 0 20 0 15 0 274568263 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936558103184 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10168] ppid=10161 vsize=14090948 memory=56 CPUtime=5.23 cores=1,3,5,7 /proc/10164/task/10168/stat : 10168 (java) S 10161 10164 5687 0 -1 1077944384 8836 0 0 0 458 65 0 0 20 0 15 0 274568263 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936557050384 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10169] ppid=10161 vsize=14090948 memory=3047868 CPUtime=5.22 cores=1,3,5,7 /proc/10164/task/10169/stat : 10169 (java) S 10161 10164 5687 0 -1 1077944384 10367 0 0 0 458 64 0 0 20 0 15 0 274568263 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936555997584 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10170] ppid=10161 vsize=14090948 memory=3047868 CPUtime=5.19 cores=1,3,5,7 /proc/10164/task/10170/stat : 10170 (java) S 10161 10164 5687 0 -1 1077944384 9514 0 0 0 456 63 0 0 20 0 15 0 274568263 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936554944784 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10171] ppid=10161 vsize=14090948 memory=3047868 CPUtime=0.42 cores=1,3,5,7 /proc/10164/task/10171/stat : 10171 (java) S 10161 10164 5687 0 -1 1077944384 6749 0 0 0 41 1 0 0 20 0 15 0 274568264 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936147483504 139936605493890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10172] ppid=10161 vsize=14090948 memory=3047868 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10172/stat : 10172 (java) S 10161 10164 5687 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 274568265 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936146429536 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10173] ppid=10161 vsize=14090948 memory=3047868 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10173/stat : 10173 (java) S 10161 10164 5687 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 274568265 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936145376640 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10174] ppid=10161 vsize=14090948 memory=1064 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10174/stat : 10174 (java) S 10161 10164 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274568267 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936144324944 139936605501339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10175] ppid=10161 vsize=14090948 memory=3047868 CPUtime=3.44 cores=1,3,5,7 /proc/10164/task/10175/stat : 10175 (java) S 10161 10164 5687 0 -1 1077944384 10855 0 0 0 342 2 0 0 20 0 15 0 274568267 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936143272304 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10176] ppid=10161 vsize=14090948 memory=1828 CPUtime=3.24 cores=1,3,5,7 /proc/10164/task/10176/stat : 10176 (java) S 10161 10164 5687 0 -1 1077944384 11076 0 0 0 323 1 0 0 20 0 15 0 274568267 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936074295536 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10177] ppid=10161 vsize=14090948 memory=1120 CPUtime=1.03 cores=1,3,5,7 /proc/10164/task/10177/stat : 10177 (java) S 10161 10164 5687 0 -1 1077944384 11354 0 0 0 102 1 0 0 20 0 15 0 274568267 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936073242736 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10178] ppid=10161 vsize=14090948 memory=1828 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10178/stat : 10178 (java) S 10161 10164 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274568267 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936072190176 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10179] ppid=10161 vsize=14090948 memory=1120 CPUtime=0.12 cores=1,3,5,7 /proc/10164/task/10179/stat : 10179 (java) S 10161 10164 5687 0 -1 1077944384 1174 0 0 0 5 7 0 0 20 0 15 0 274568268 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936071138480 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 49 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 Current children cumulated CPU time: 252.01 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 3047868 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+228.95 s] # the end of solver process 10164 was just reported to runsolver # cumulated CPU time of all completed processes: user=249.131 s, system=2.94133 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+228.901 s] /proc/loadavg: 1.73 1.72 1.62 3/216 10268 /proc/meminfo: memFree=20438632/32770624 swapFree=67108524/67108860 [pid=10164] ppid=10161 vsize=14090948 memory=3047868 CPUtime=252.01 cores=1,3,5,7 /proc/10164/stat : 10164 (java) S 10161 10164 5687 0 -1 1077944320 123498 0 0 0 24910 291 0 0 20 0 15 0 274568262 14429130752 761967 33554432000 4194304 4196468 140735809661088 140735809643632 139936605482743 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 /proc/10164/statm: 3522737 761967 3615 1 0 3484809 0 [pid=10164/tid=10166] ppid=10161 vsize=14090948 memory=3047868 CPUtime=222.8 cores=1,3,5,7 /proc/10164/task/10166/stat : 10166 (java) R 10161 10164 5687 0 -1 4202560 40952 0 0 0 22261 19 0 0 20 0 15 0 274568262 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936609720992 139936228655374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10167] ppid=10161 vsize=14090948 memory=3047868 CPUtime=5.22 cores=1,3,5,7 /proc/10164/task/10167/stat : 10167 (java) S 10161 10164 5687 0 -1 1077944384 11228 0 0 0 458 64 0 0 20 0 15 0 274568263 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936558103184 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10168] ppid=10161 vsize=14090948 memory=56 CPUtime=5.23 cores=1,3,5,7 /proc/10164/task/10168/stat : 10168 (java) S 10161 10164 5687 0 -1 1077944384 8836 0 0 0 458 65 0 0 20 0 15 0 274568263 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936557050384 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10169] ppid=10161 vsize=14090948 memory=3047868 CPUtime=5.22 cores=1,3,5,7 /proc/10164/task/10169/stat : 10169 (java) S 10161 10164 5687 0 -1 1077944384 10367 0 0 0 458 64 0 0 20 0 15 0 274568263 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936555997584 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10170] ppid=10161 vsize=14090948 memory=3047868 CPUtime=5.19 cores=1,3,5,7 /proc/10164/task/10170/stat : 10170 (java) S 10161 10164 5687 0 -1 1077944384 9514 0 0 0 456 63 0 0 20 0 15 0 274568263 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936554944784 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10171] ppid=10161 vsize=14090948 memory=3047868 CPUtime=0.42 cores=1,3,5,7 /proc/10164/task/10171/stat : 10171 (java) S 10161 10164 5687 0 -1 1077944384 6749 0 0 0 41 1 0 0 20 0 15 0 274568264 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936147483504 139936605493890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10172] ppid=10161 vsize=14090948 memory=3047868 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10172/stat : 10172 (java) S 10161 10164 5687 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 274568265 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936146429536 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10173] ppid=10161 vsize=14090948 memory=3047868 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10173/stat : 10173 (java) S 10161 10164 5687 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 15 0 274568265 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936145376640 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10174] ppid=10161 vsize=14090948 memory=1064 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10174/stat : 10174 (java) S 10161 10164 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274568267 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936144324944 139936605501339 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10175] ppid=10161 vsize=14090948 memory=3047868 CPUtime=3.44 cores=1,3,5,7 /proc/10164/task/10175/stat : 10175 (java) S 10161 10164 5687 0 -1 1077944384 10855 0 0 0 342 2 0 0 20 0 15 0 274568267 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936143272304 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10176] ppid=10161 vsize=14090948 memory=1828 CPUtime=3.24 cores=1,3,5,7 /proc/10164/task/10176/stat : 10176 (java) S 10161 10164 5687 0 -1 1077944384 11076 0 0 0 323 1 0 0 20 0 15 0 274568267 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936074295536 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10177] ppid=10161 vsize=14090948 memory=1120 CPUtime=1.03 cores=1,3,5,7 /proc/10164/task/10177/stat : 10177 (java) S 10161 10164 5687 0 -1 1077944384 11354 0 0 0 102 1 0 0 20 0 15 0 274568267 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936073242736 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10178] ppid=10161 vsize=14090948 memory=1828 CPUtime=0 cores=1,3,5,7 /proc/10164/task/10178/stat : 10178 (java) S 10161 10164 5687 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 274568267 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936072190176 139936605492949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 [pid=10164/tid=10179] ppid=10161 vsize=14090948 memory=1120 CPUtime=0.12 cores=1,3,5,7 /proc/10164/task/10179/stat : 10179 (java) S 10161 10164 5687 0 -1 1077944384 1174 0 0 0 5 7 0 0 20 0 15 0 274568268 14429130752 761967 33554432000 4194304 4196468 140735809661088 139936071138480 139936605493890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 49 0 0 6293624 6294260 23113728 140735809664079 140735809664270 140735809664270 140735809667023 0 Current children cumulated CPU time: 252.01 s Current children cumulated vsize: 14090948 KiB Current children cumulated memory: 3047868 KiB Child status: 143 Real time (s): 228.95 CPU time (s): 252.072 CPU user time (s): 249.131 CPU system time (s): 2.94133 CPU usage (%): 110.099 Max. virtual memory (cumulated for all children) (KiB): 14090948 Max. memory (cumulated for all children) (KiB): 3048092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 249.131 system time used= 2.94133 maximum resident set size= 3048432 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 125608 page faults= 0 swaps= 0 block input operations= 0 block output operations= 376 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 9774 involuntary context switches= 347 # summary of solver processes directly reported to runsolver: # pid: 10164 # total CPU time (s): 252.072 # total CPU user time (s): 249.131 # total CPU system time (s): 2.94133 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 1.59185 second user time and 1.9896 second system time The end
Begin job on node107 at 2018-08-18 07:27:31 IDJOB=4312150 IDBENCH=141493 IDSOLVER=2800 FILE ID=node107/4312150-1534570050 RUNJOBID= node107-1534568746-9006 PBS_JOBID= 21038640 Free space on /tmp= 54612 MiB SOLVER NAME= OscaR - Conflict Ordering with restarts 2018-08-17 BENCH NAME= XCSP18/PeacableArmies/PeacableArmies-m1-50_c18.xml COMMAND LINE= java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore 1 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4312150-1534570050/watcher-4312150-1534570050 -o /tmp/evaluation-result-4312150-1534570050/solver-4312150-1534570050 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node107-1534568746-9006 --watchdog 312 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 289961626 --timelimit 252 --memlimit 11000 --nbcore 1 HOME/instance-4312150-1534570050.xml TIME LIMIT= 252 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 65d9088e6e3c6b500cf18d234bd8e6c7 RANDOM SEED=289961626 node107.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.40 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.40 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.40 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.40 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: 24169992 kB MemAvailable: 31700696 kB Buffers: 247384 kB Cached: 7558868 kB SwapCached: 20 kB Active: 4839580 kB Inactive: 3213736 kB Active(anon): 220360 kB Inactive(anon): 95200 kB Active(file): 4619220 kB Inactive(file): 3118536 kB Unevictable: 6972 kB Mlocked: 6972 kB SwapTotal: 67108860 kB SwapFree: 67108524 kB Dirty: 52440 kB Writeback: 0 kB AnonPages: 222756 kB Mapped: 32248 kB Shmem: 66016 kB Slab: 246440 kB SReclaimable: 217564 kB SUnreclaim: 28876 kB KernelStack: 3808 kB PageTables: 5460 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 1266064 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 90112 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 91520 kB DirectMap2M: 33454080 kB Free space on /tmp at the end= 54576 MiB End job on node107 at 2018-08-18 07:31:20