ILOG CPLEX 10.200, licensed to "arizona-tempe, az", options: e m b q p=8 FPgen-t 06/06/2005 - Bertacco, Fischetti, Lodi 09/16/2005 - Achterberg, Berthold applying MIP presolve... Selected objective sense: MINIMIZE Selected objective name: obj Selected RHS name: rhs Selected bound name: bnd Tried aggregator 2 times. Presolve has eliminated 8713 rows and 0 columns... Aggregator has done 2090 substitutions... MIP Presolve eliminated 8713 rows and 0 columns. MIP Presolve modified 2613 coefficients. Aggregator did 2090 substitutions. Reduced MIP has 119122 rows, 40891 columns, and 324303 nonzeros. presolving objective offset = 0 (restat: 0) Problem: neos506428.mps Max iter Stage 1: 10000 Max iter Stage 2: 2000 Min change: 20 Initial Presolve: Yes Imported 119122 rows and 40891 columns Objective sense: Minimize Problem is MIP: Yes Initial Algorithm: Auto 40891 integer variables (40891 of which are binary and 0 are general integer) 0 continuous variables Solving relaxed problem...0- 0 -1 0 0 97.5526 done obj=0 + 0 = 0 Rounding solution...done Stage 1... Warning: -Infinity upper bound ignored. improved distance by 0percent 1- 1 112.357 0 0 96.8929 Warning: -Infinity upper bound ignored. improved distance by 0.861341percent 1- 2 96.7778 0 0 96.7778 Warning: -Infinity upper bound ignored. 1- 3 110.333 0 0 96.7778 Warning: -Infinity upper bound ignored. 1- 4 111.667 0 0 96.7778 Warning: -Infinity upper bound ignored. 1- 5 131.111 0 0 96.4444 Warning: -Infinity upper bound ignored. 1- 6 98.8889 0 0 96.4444 Warning: -Infinity upper bound ignored. improved distance by 0.996556percent 1- 7 96.4444 0 0 96.4444 Warning: -Infinity upper bound ignored. 1- 8 110.667 0 0 96.4444 Warning: -Infinity upper bound ignored. 1- 9 1267.14 1 0 120.858 Warning: -Infinity upper bound ignored. 1- 10 99.4444 1 0 99.3333 Warning: -Infinity upper bound ignored. 1- 11 97 1 0 97 Warning: -Infinity upper bound ignored. 1- 12 99.2222 1 0 96.7778 Warning: -Infinity upper bound ignored. 1- 13 96.7778 1 0 96.7778 Warning: -Infinity upper bound ignored. 1- 14 98.5556 1 0 96.7778 Warning: -Infinity upper bound ignored. 1- 15 235 1 0 96.7778 Warning: -Infinity upper bound ignored. 1- 16 135.222 1 0 96.8889 Warning: -Infinity upper bound ignored. 1- 17 1331.72 2 0 123.167 Warning: -Infinity upper bound ignored. 1- 18 121.778 2 0 105.333 Warning: -Infinity upper bound ignored. 1- 19 1311.56 3 0 117.111 s iter delta rst obj fractionality incumbent Warning: -Infinity upper bound ignored. 1- 20 96.5556 3 0 96.5556 Warning: -Infinity upper bound ignored. 1- 21 1361 4 0 121.222 Warning: -Infinity upper bound ignored. 1- 22 1210.94 5 0 129.389 Warning: -Infinity upper bound ignored. 1- 23 1305.17 6 0 131.833 Warning: -Infinity upper bound ignored. 1- 24 126 6 0 109 Warning: -Infinity upper bound ignored. 1- 25 1287.5 7 0 119.278 Warning: -Infinity upper bound ignored. 1- 26 98.4444 7 0 98.4444 Warning: -Infinity upper bound ignored. 1- 27 1268.34 8 0 120.545 Warning: -Infinity upper bound ignored. 1- 28 1257.17 9 0 129.167 Warning: -Infinity upper bound ignored. 1- 29 668.056 9 0 131.167 Warning: -Infinity upper bound ignored. 1- 30 1226.5 10 0 125.833 Warning: -Infinity upper bound ignored. 1- 31 100.222 10 0 100.111 Warning: -Infinity upper bound ignored. 1- 32 113.278 10 0 98.7222 Warning: -Infinity upper bound ignored. 1- 33 97.2222 10 0 97.2222 Warning: -Infinity upper bound ignored. 1- 34 1342.61 11 0 120.722 Warning: -Infinity upper bound ignored. 1- 35 98.2778 11 0 98.2778 Warning: -Infinity upper bound ignored. 1- 36 99.1111 11 0 97.1111 Warning: -Infinity upper bound ignored. 1- 37 1315.28 12 0 123.056 Warning: -Infinity upper bound ignored. 1- 38 513 12 0 123.778 Warning: -Infinity upper bound ignored. 1- 39 1248.22 13 0 122.222 s iter delta rst obj fractionality incumbent Warning: -Infinity upper bound ignored. 1- 40 119.722 13 0 104.833 Warning: -Infinity upper bound ignored. 1- 41 100.222 13 0 100.222 Warning: -Infinity upper bound ignored. 1- 42 114.111 13 0 100.222 Warning: -Infinity upper bound ignored. 1- 43 1315.83 14 0 118.611 Warning: -Infinity upper bound ignored. 1- 44 152.222 14 0 105.444 Warning: -Infinity upper bound ignored. 1- 45 1341.17 15 0 119.722 Warning: -Infinity upper bound ignored. 1- 46 97.5 15 0 97.5 Warning: -Infinity upper bound ignored. 1- 47 111.611 15 0 96.9444 Warning: -Infinity upper bound ignored. 1- 48 139.5 15 0 96.9444 Warning: -Infinity upper bound ignored. 1- 49 1288.06 16 0 120.056 Warning: -Infinity upper bound ignored. 1- 50 358.5 16 0 116.833 Warning: -Infinity upper bound ignored. 1- 51 98.3889 16 0 98.2778 Warning: -Infinity upper bound ignored. 1- 52 1325.78 17 0 124.222 Warning: -Infinity upper bound ignored. 1- 53 1258.27 18 0 138.268 Warning: -Infinity upper bound ignored. 1- 54 105.278 18 0 105.167 Warning: -Infinity upper bound ignored. 1- 55 141 18 0 101.667 Warning: -Infinity upper bound ignored. 1- 56 98.2222 18 0 98.2222 Warning: -Infinity upper bound ignored. 1- 57 1369.72 19 0 119.5 Warning: -Infinity upper bound ignored. 1- 58 1294.56 20 0 137.667 Warning: -Infinity upper bound ignored. 1- 59 103.111 20 0 103.111 s iter delta rst obj fractionality incumbent Warning: -Infinity upper bound ignored. 1- 60 1319.06 21 0 127.389 Warning: -Infinity upper bound ignored. 1- 61 1324.78 22 0 137.667 Warning: -Infinity upper bound ignored. 1- 62 491.556 22 0 131 Warning: -Infinity upper bound ignored. 1- 63 170.056 22 0 114.611 Warning: -Infinity upper bound ignored. 1- 64 125.167 22 0 107.833 Warning: -Infinity upper bound ignored. 1- 65 1348.28 23 0 126.278 Warning: -Infinity upper bound ignored. 1- 66 98 23 0 98 Warning: -Infinity upper bound ignored. 1- 67 100.111 23 0 97.5556 Warning: -Infinity upper bound ignored. 1- 68 110.278 23 0 97.3889 Warning: -Infinity upper bound ignored. 1- 69 1308 24 0 124 Warning: -Infinity upper bound ignored. 1- 70 116.722 24 0 102.833 Warning: -Infinity upper bound ignored. 1- 71 99.3889 24 0 99.3889 Warning: -Infinity upper bound ignored. 1- 72 1335.22 25 0 120.667 Warning: -Infinity upper bound ignored. 1- 73 97.8889 25 0 97.6667 Warning: -Infinity upper bound ignored. 1- 74 138.111 25 0 97.3333 Too many iteration without 10% improvement Total stage 1 restarts: 25 Stage 2... Using best point from iter: 7 Warning: -Infinity upper bound ignored. 2- 75 135.056 25 0 96.5 Warning: -Infinity upper bound ignored. 2- 76 110.944 25 0 96.5 Warning: -Infinity upper bound ignored. 2- 77 99.2778 25 0 96.5 Warning: -Infinity upper bound ignored. 2- 78 131.278 26 0 96.8333 Warning: -Infinity upper bound ignored. 2- 79 96.8333 26 0 96.8333 s iter delta rst obj fractionality incumbent Warning: -Infinity upper bound ignored. 2- 80 98 26 0 96.3333 Warning: -Infinity upper bound ignored. 2- 81 147.944 27 0 97.1667 Warning: -Infinity upper bound ignored. 2- 82 153 28 0 96.8889 Warning: -Infinity upper bound ignored. 2- 83 165.167 29 0 96.9444 Warning: -Infinity upper bound ignored. 2- 84 131.556 29 0 96.1111 Warning: -Infinity upper bound ignored. 2- 85 113.778 29 0 96.1111 Warning: -Infinity upper bound ignored. 2- 86 186.389 30 0 98.6111 Warning: -Infinity upper bound ignored. 2- 87 183.333 31 0 98.5556 Warning: -Infinity upper bound ignored. 2- 88 137.111 31 0 97.8889 Warning: -Infinity upper bound ignored. 2- 89 195.944 32 0 97.7222 Warning: -Infinity upper bound ignored. 2- 90 110.556 32 0 96.4444 Warning: -Infinity upper bound ignored. 2- 91 229.778 32 0 96.4444 Warning: -Infinity upper bound ignored. 2- 92 96.4444 32 0 96.4444 Warning: -Infinity upper bound ignored. 2- 93 99.4444 32 0 96.4444 Warning: -Infinity upper bound ignored. 2- 94 114.111 32 0 96.4444 Warning: -Infinity upper bound ignored. 2- 95 159.167 33 0 97.2778 Warning: -Infinity upper bound ignored. 2- 96 135.222 33 0 96.8889 Warning: -Infinity upper bound ignored. 2- 97 167.833 34 0 97.3889 Warning: -Infinity upper bound ignored. 2- 98 113.778 34 0 96.4444 Warning: -Infinity upper bound ignored. 2- 99 110.778 34 0 96.4444 s iter delta rst obj fractionality incumbent Warning: -Infinity upper bound ignored. 2- 100 134.667 34 0 96.4444 Warning: -Infinity upper bound ignored. 2- 101 160.389 35 0 98.0556 Warning: -Infinity upper bound ignored. 2- 102 183.056 36 0 97.5 Warning: -Infinity upper bound ignored. 2- 103 237.111 36 0 97.3333 Warning: -Infinity upper bound ignored. 2- 104 138.111 36 0 97.3333 Warning: -Infinity upper bound ignored. 2- 105 172.722 37 0 97.5 Warning: -Infinity upper bound ignored. 2- 106 136.444 37 0 96.7778 Warning: -Infinity upper bound ignored. 2- 107 96.7778 37 0 96.7778 Warning: -Infinity upper bound ignored. 2- 108 99.2222 37 0 96.1111 Warning: -Infinity upper bound ignored. 2- 109 162 38 0 97.2222 Warning: -Infinity upper bound ignored. 2- 110 179.222 39 0 97.3333 Warning: -Infinity upper bound ignored. 2- 111 110.889 39 0 96.5556 Warning: -Infinity upper bound ignored. 2- 112 198 40 0 98.7778 Warning: -Infinity upper bound ignored. 2- 113 208.222 41 0 97.2222 Warning: -Infinity upper bound ignored. 2- 114 216.333 42 0 98 Warning: -Infinity upper bound ignored. 2- 115 249.111 43 0 98.5556 Warning: -Infinity upper bound ignored. 2- 116 269.833 44 0 100.389 Warning: -Infinity upper bound ignored. 2- 117 295.389 45 0 98.8333 Warning: -Infinity upper bound ignored. 2- 118 315.056 46 0 101.389 Warning: -Infinity upper bound ignored. 2- 119 349.167 47 0 103.056 s iter delta rst obj fractionality incumbent Warning: -Infinity upper bound ignored. 2- 120 145.556 47 0 99.7778 Warning: -Infinity upper bound ignored. 2- 121 303.778 48 0 100.889 Warning: -Infinity upper bound ignored. 2- 122 327.944 49 0 99.6111 Warning: -Infinity upper bound ignored. 2- 123 354.778 50 0 101.667 Warning: -Infinity upper bound ignored. 2- 124 113.556 50 0 99 Warning: -Infinity upper bound ignored. 2- 125 275.222 50 0 99 Warning: -Infinity upper bound ignored. 2- 126 141.889 50 0 99 Warning: -Infinity upper bound ignored. 2- 127 113.778 50 0 99 Warning: -Infinity upper bound ignored. 2- 128 268.389 51 0 100.278 Warning: -Infinity upper bound ignored. 2- 129 112.444 51 0 97.8889 Warning: -Infinity upper bound ignored. 2- 130 246.667 52 0 101.111 Warning: -Infinity upper bound ignored. 2- 131 277.389 53 0 99.5 Warning: -Infinity upper bound ignored. 2- 132 283.556 54 0 99.3333 Warning: -Infinity upper bound ignored. 2- 133 96 54 0 96 Warning: -Infinity upper bound ignored. 2- 134 277.833 55 0 98.8333 Warning: -Infinity upper bound ignored. 2- 135 283.333 56 0 101.333 Warning: -Infinity upper bound ignored. 2- 136 111.278 56 0 97.3889 Warning: -Infinity upper bound ignored. 2- 137 297.722 57 0 99.7222 Warning: -Infinity upper bound ignored. 2- 138 115.056 57 0 97.2778 Warning: -Infinity upper bound ignored. 2- 139 286.167 58 0 101.278 s iter delta rst obj fractionality incumbent Warning: -Infinity upper bound ignored. 2- 140 112.889 58 0 98.3333 Warning: -Infinity upper bound ignored. 2- 141 259.556 59 0 99.1111 Warning: -Infinity upper bound ignored. 2- 142 236.889 59 0 98.3333 Warning: -Infinity upper bound ignored. 2- 143 274.889 60 0 100.111 Warning: -Infinity upper bound ignored. 2- 144 96.3333 60 0 96.3333 Warning: -Infinity upper bound ignored. 2- 145 258.556 61 0 99.1111 Warning: -Infinity upper bound ignored. 2- 146 276.167 62 0 99.5 Warning: -Infinity upper bound ignored. 2- 147 114.778 62 0 97.3333 Warning: -Infinity upper bound ignored. 2- 148 111.778 62 0 97.3333 Warning: -Infinity upper bound ignored. 2- 149 97.3333 62 0 97.3333 Warning: -Infinity upper bound ignored. 2- 150 226.778 62 0 97.3333 Warning: -Infinity upper bound ignored. 2- 151 187.778 63 0 97.7778 Warning: -Infinity upper bound ignored. 2- 152 110.667 63 0 96.4444 Warning: -Infinity upper bound ignored. 2- 153 222.889 64 0 97.4444 Warning: -Infinity upper bound ignored. 2- 154 222.167 65 0 97.2778 Warning: -Infinity upper bound ignored. 2- 155 95.8889 65 0 95.8889 Warning: -Infinity upper bound ignored. 2- 156 237.278 66 0 98.7222 Warning: -Infinity upper bound ignored. 2- 157 265.833 67 0 99.1667 Warning: -Infinity upper bound ignored. 2- 158 288 68 0 100.556 Warning: -Infinity upper bound ignored. 2- 159 96.2222 68 0 96.2222 s iter delta rst obj fractionality incumbent Warning: -Infinity upper bound ignored. 2- 160 112.778 68 0 95.8889 Warning: -Infinity upper bound ignored. 2- 161 239.611 69 0 97.5 Warning: -Infinity upper bound ignored. 2- 162 110 69 0 95.8889 Warning: -Infinity upper bound ignored. 2- 163 247.333 70 0 99.4444 Warning: -Infinity upper bound ignored. 2- 164 256.722 71 0 98.1667 Warning: -Infinity upper bound ignored. 2- 165 295.722 71 0 98.3889 Warning: -Infinity upper bound ignored. 2- 166 255.667 72 0 101.333 Warning: -Infinity upper bound ignored. 2- 167 137.889 72 0 99.2222 Warning: -Infinity upper bound ignored. 2- 168 261.611 73 0 98.3889 Warning: -Infinity upper bound ignored. 2- 169 292.389 73 0 98.6111 Warning: -Infinity upper bound ignored. 2- 170 267.667 74 0 99 Warning: -Infinity upper bound ignored. 2- 171 114.111 74 0 96.7778 Warning: -Infinity upper bound ignored. 2- 172 250.556 75 0 99.3333 Warning: -Infinity upper bound ignored. 2- 173 248.778 76 0 99.5556 Warning: -Infinity upper bound ignored. 2- 174 135.944 76 0 98.6111 Warning: -Infinity upper bound ignored. 2- 175 260.944 77 0 98.8333 Warning: -Infinity upper bound ignored. 2- 176 262.833 78 0 99.8333 Warning: -Infinity upper bound ignored. 2- 177 297.833 79 0 98.2778 Warning: -Infinity upper bound ignored. 2- 178 95.8333 79 0 95.8333 Warning: -Infinity upper bound ignored. 2- 179 132.611 79 0 95.8333 s iter delta rst obj fractionality incumbent Warning: -Infinity upper bound ignored. 2- 180 112.611 79 0 95.8333 Warning: -Infinity upper bound ignored. 2- 181 240.833 80 0 98.5 Warning: -Infinity upper bound ignored. 2- 182 267.222 81 0 99 Warning: -Infinity upper bound ignored. 2- 183 276.444 82 0 98 Warning: -Infinity upper bound ignored. 2- 184 301.611 83 0 98.1667 Warning: -Infinity upper bound ignored. 2- 185 109.722 83 0 96.1667 Warning: -Infinity upper bound ignored. 2- 186 274.833 84 0 98.2778 Warning: -Infinity upper bound ignored. 2- 187 95.7222 84 0 95.7222 Warning: -Infinity upper bound ignored. 2- 188 109.278 84 0 95.7222 Warning: -Infinity upper bound ignored. 2- 189 268.611 85 0 99.1667 Warning: -Infinity upper bound ignored. 2- 190 297.611 85 0 99.1667 Warning: -Infinity upper bound ignored. 2- 191 249.278 86 0 99.0556 Warning: -Infinity upper bound ignored. 2- 192 135.278 86 0 97.5 Warning: -Infinity upper bound ignored. 2- 193 111.611 86 0 97.3889 Warning: -Infinity upper bound ignored. 2- 194 97.3889 86 0 97.3889 Warning: -Infinity upper bound ignored. 2- 195 204.556 87 0 98.3333 Warning: -Infinity upper bound ignored. 2- 196 109.944 87 0 96.1667 Warning: -Infinity upper bound ignored. 2- 197 113.056 87 0 96.1667 Warning: -Infinity upper bound ignored. 2- 198 133.056 87 0 96.1667 Warning: -Infinity upper bound ignored. 2- 199 119.833 87 0 96.1667 s iter delta rst obj fractionality incumbent Warning: -Infinity upper bound ignored. 2- 200 113.167 87 0 96.1667 Warning: -Infinity upper bound ignored. 2- 201 275.611 87 0 96.1667 Warning: -Infinity upper bound ignored. 2- 202 110.167 87 0 96.1667 Warning: -Infinity upper bound ignored. 2- 203 132.056 87 0 96.1667 Warning: -Infinity upper bound ignored. 2- 204 327.556 88 0 97.2222 Warning: -Infinity upper bound ignored. 2- 205 191.444 89 0 97.4444 Warning: -Infinity upper bound ignored. 2- 206 174.056 90 0 98.1667 Warning: -Infinity upper bound ignored. 2- 207 212.389 91 0 98.5 Warning: -Infinity upper bound ignored. 2- 208 113.278 91 0 96.6111 Warning: -Infinity upper bound ignored. 2- 209 134.167 91 0 96.6111 Warning: -Infinity upper bound ignored. 2- 210 192.944 92 0 97.9444 Warning: -Infinity upper bound ignored. 2- 211 215 93 0 97.3333 Warning: -Infinity upper bound ignored. 2- 212 247.556 94 0 97.5556 Warning: -Infinity upper bound ignored. 2- 213 95.5556 94 0 95.5556 Warning: -Infinity upper bound ignored. 2- 214 233.5 95 0 97.7222 Warning: -Infinity upper bound ignored. 2- 215 109 95 0 96 Warning: -Infinity upper bound ignored. 2- 216 228.389 96 0 97.7222 Warning: -Infinity upper bound ignored. 2- 217 260.778 97 0 97.6667 Warning: -Infinity upper bound ignored. 2- 218 268.556 98 0 97.8889 Warning: -Infinity upper bound ignored. 2- 219 284.778 99 0 99.4444 s iter delta rst obj fractionality incumbent Warning: -Infinity upper bound ignored. 2- 220 95.6667 99 0 95.6667 Warning: -Infinity upper bound ignored. 2- 221 296.778 100 0 98.8889 Warning: -Infinity upper bound ignored. 2- 222 295.389 101 0 100.167 Warning: -Infinity upper bound ignored. 2- 223 322 102 0 100.222 Warning: -Infinity upper bound ignored. 2- 224 319.444 102 0 100.222 Warning: -Infinity upper bound ignored. 2- 225 293.556 103 0 100.111 Warning: -Infinity upper bound ignored. 2- 226 95.6111 103 0 95.6111 Warning: -Infinity upper bound ignored. 2- 227 107.056 103 0 95.5 Warning: -Infinity upper bound ignored. 2- 228 283.722 104 0 98.3889 Warning: -Infinity upper bound ignored. 2- 229 296.111 105 0 97.5556 Warning: -Infinity upper bound ignored. 2- 230 313.611 106 0 100.056 Warning: -Infinity upper bound ignored. 2- 231 257.333 106 0 100 Warning: -Infinity upper bound ignored. 2- 232 99.8889 106 0 99.8889 Warning: -Infinity upper bound ignored. 2- 233 100.5 106 0 99.3889 Warning: -Infinity upper bound ignored. 2- 234 114.222 106 0 97.6667 Warning: -Infinity upper bound ignored. 2- 235 97.6667 106 0 97.6667 Warning: -Infinity upper bound ignored. 2- 236 222.444 107 0 99.3333 Warning: -Infinity upper bound ignored. 2- 237 95.4444 107 0 95.4444 Warning: -Infinity upper bound ignored. 2- 238 97.6667 107 0 95.4444 Warning: -Infinity upper bound ignored. 2- 239 112 107 0 95.4444 s iter delta rst obj fractionality incumbent Warning: -Infinity upper bound ignored. 2- 240 185.056 108 0 96.7222 Warning: -Infinity upper bound ignored. 2- 241 108.778 108 0 95.8889 Warning: -Infinity upper bound ignored. 2- 242 183.556 109 0 97.4444 Warning: -Infinity upper bound ignored. 2- 243 95.3333 109 0 95.3333 Warning: -Infinity upper bound ignored. 2- 244 192.556 110 0 97.1111 Warning: -Infinity upper bound ignored. 2- 245 108.111 110 0 95.4444 Warning: -Infinity upper bound ignored. 2- 246 192.389 111 0 96.3889 Warning: -Infinity upper bound ignored. 2- 247 222.444 112 0 99.2222 Warning: -Infinity upper bound ignored. 2- 248 241.444 113 0 99.4444 Warning: -Infinity upper bound ignored. 2- 249 266.667 114 0 99.1111 Warning: -Infinity upper bound ignored. 2- 250 109.222 114 0 96.6667 Warning: -Infinity upper bound ignored. 2- 251 106.556 114 0 96.6667 Warning: -Infinity upper bound ignored. 2- 252 230.5 115 0 98.5 Warning: -Infinity upper bound ignored. 2- 253 95.2778 115 0 95.2778 Warning: -Infinity upper bound ignored. 2- 254 226.889 116 0 100.778 Warning: -Infinity upper bound ignored. 2- 255 253.056 117 0 98.1667 Warning: -Infinity upper bound ignored. 2- 256 273.87 118 0 98.2609 Warning: -Infinity upper bound ignored. 2- 257 107.778 118 0 96.1111 Warning: -Infinity upper bound ignored. 2- 258 272.222 119 0 99.1111 Warning: -Infinity upper bound ignored. 2- 259 107.556 119 0 95.8889 s iter delta rst obj fractionality incumbent Warning: -Infinity upper bound ignored. 2- 260 247.556 120 0 99.8889 Warning: -Infinity upper bound ignored. 2- 261 138.889 120 0 97.7778 Warning: -Infinity upper bound ignored. 2- 262 110.778 120 0 97.7778 Warning: -Infinity upper bound ignored. 2- 263 235 121 0 99.3333 Warning: -Infinity upper bound ignored. 2- 264 261.444 122 0 98.8889 Warning: -Infinity upper bound ignored. 2- 265 280.444 123 0 99.2222 Warning: -Infinity upper bound ignored. 2- 266 283 124 0 101 Warning: -Infinity upper bound ignored. 2- 267 310.556 125 0 99.8889 Too many restarts Total stage 2 restarts: 100 Stage 3... Using best point from iter: 253 obj offset: 0 + 0 = 0 Clique table members: 26742. MIP emphasis: hidden feasible solutions. Root relaxation solution time = 78.31 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Node ItCnt Gap Variable B Parent Depth 0 0 96.0000 288 96.0000 14897 96.0000 288 Cuts: 203 15113 96.0000 288 Cuts: 203 15263 Heuristic still looking. Heuristic still looking. * 0+ 0 0 2112.0000 96.0000 15263 95.45% Heuristic complete. Implied bound cuts applied: 1 Status: Feasible CplexStatus:104 Solution with obj=0 + 0 = 0 found Writing MIP start values to file neos506428.mst Solution (only non-zero entries are reported): obj = 0 x1 = 1 x23 = 1 x53 = 1 x77 = 1 x104 = 1 x121 = 1 x137 = 1 x156 = 1 x179 = 1 x206 = 1 x231 = 1 x255 = 1 x268 = 1 x289 = 1 x328 = 1 x343 = 1 x354 = 1 x385 = 1 x407 = 1 x426 = 1 x446 = 1 x482 = 1 x496 = 1 x513 = 1 x540 = 1 x571 = 1 x576 = 1 x595 = 1 x624 = 1 x644 = 1 x678 = 1 x683 = 1 x716 = 1 x735 = 1 x766 = 1 x782 = 1 x810 = 1 x821 = 1 x837 = 1 x871 = 1 x888 = 1 x924 = 1 x938 = 1 x949 = 1 x981 = 1 x993 = 1 x1022 = 1 x1053 = 1 x1068 = 1 x1089 = 1 x1115 = 1 x1132 = 1 x1165 = 1 x1187 = 1 x1199 = 1 x1221 = 1 x1245 = 1 x1265 = 1 x1284 = 1 x1301 = 1 x1335 = 1 x1356 = 1 x1383 = 1 x1403 = 1 x1409 = 1 x1446 = 1 x1463 = 1 x1486 = 1 x1500 = 1 x1540 = 1 x1562 = 1 x1573 = 1 x1588 = 1 x1616 = 1 x1647 = 1 x1653 = 1 x1681 = 1 x1705 = 1 x1734 = 1 x1753 = 1 x1776 = 1 x1792 = 1 x1823 = 1 x1828 = 1 x1859 = 1 x1878 = 1 x1898 = 1 x1925 = 1 x1954 = 1 x1967 = 1 x1983 = 1 x2020 = 1 x2030 = 1 x2054 = 1 x2082 = 1 x2091 = 1 x2092 = 1 x2093 = 1 x2094 = 1 x2095 = 1 x2096 = 1 x2097 = 1 x2098 = 1 x2099 = 1 x2100 = 1 x2101 = 1 x2102 = 1 x2103 = 1 x2104 = 1 x2105 = 1 x2106 = 1 x2107 = 1 x2108 = 1 x2109 = 1 x2110 = 1 x2111 = 1 x2112 = 1 x2146 = 1 x2169 = 1 x2196 = 1 x2211 = 1 x2227 = 1 x2246 = 1 x2269 = 1 x2296 = 1 x2314 = 1 x2334 = 1 x2347 = 1 x2368 = 1 x2401 = 1 x2416 = 1 x2427 = 1 x2451 = 1 x2468 = 1 x2487 = 1 x2507 = 1 x2537 = 1 x2551 = 1 x2568 = 1 x2595 = 1 x2623 = 1 x2628 = 1 x2663 = 1 x2680 = 1 x2712 = 1 x2732 = 1 x2745 = 1 x2758 = 1 x2772 = 1 x2786 = 1 x2793 = 1 x2829 = 1 x2846 = 1 x2880 = 1 x2893 = 1 x2904 = 1 x2936 = 1 x2948 = 1 x2977 = 1 x3000 = 1 x3015 = 1 x3029 = 1 x3046 = 1 x3062 = 1 x3095 = 1 x3117 = 1 x3127 = 1 x3147 = 1 x3171 = 1 x3190 = 1 x3209 = 1 x3226 = 1 x3255 = 1 x3275 = 1 x3291 = 1 x3311 = 1 x3342 = 1 x3352 = 1 x3370 = 1 x3384 = 1 x3424 = 1 x3446 = 1 x3453 = 1 x3467 = 1 x3495 = 1 x3514 = 1 x3520 = 1 x3542 = 1 x3559 = 1 x3571 = 1 x3588 = 1 x3611 = 1 x3627 = 1 x3651 = 1 x3656 = 1 x3680 = 1 x3694 = 1 x3710 = 1 x3724 = 1 x3739 = 1 x3745 = 1 x3755 = 1 x3778 = 1 x3785 = 1 x3809 = 1 x3837 = 1 x3846 = 1 x3868 = 1 x3898 = 1 x3922 = 1 x3949 = 1 x3966 = 1 x3981 = 1 x3996 = 1 x4020 = 1 x4045 = 1 x4069 = 1 x4082 = 1 x4102 = 1 x4141 = 1 x4147 = 1 x4160 = 1 x4182 = 1 x4201 = 1 x4221 = 1 x4257 = 1 x4271 = 1 x4288 = 1 x4315 = 1 x4346 = 1 x4351 = 1 x4363 = 1 x4392 = 1 x4412 = 1 x4446 = 1 x4451 = 1 x4484 = 1 x4503 = 1 x4534 = 1 x4550 = 1 x4578 = 1 x4589 = 1 x4605 = 1 x4636 = 1 x4651 = 1 x4687 = 1 x4701 = 1 x4712 = 1 x4737 = 1 x4743 = 1 x4772 = 1 x4803 = 1 x4818 = 1 x4839 = 1 x4865 = 1 x4882 = 1 x4915 = 1 x4937 = 1 x4949 = 1 x4971 = 1 x4994 = 1 x5014 = 1 x5033 = 1 x5050 = 1 x5084 = 1 x5105 = 1 x5132 = 1 x5139 = 1 x5140 = 1 x5177 = 1 x5194 = 1 x5217 = 1 x5231 = 1 x5271 = 1 x5293 = 1 x5304 = 1 x5317 = 1 x5329 = 1 x5360 = 1 x5366 = 1 x5394 = 1 x5418 = 1 x5447 = 1 x5466 = 1 x5489 = 1 x5505 = 1 x5536 = 1 x5554 = 1 x5573 = 1 x5593 = 1 x5620 = 1 x5649 = 1 x5662 = 1 x5678 = 1 x5715 = 1 x5725 = 1 x5749 = 1 x5776 = 1 x5785 = 1 x5807 = 1 x5837 = 1 x5861 = 1 x5880 = 1 x5895 = 1 x5911 = 1 x5925 = 1 x5963 = 1 x5988 = 1 x6012 = 1 x6025 = 1 x6067 = 1 x6082 = 1 x6093 = 1 x6124 = 1 x6146 = 1 x6164 = 1 x6179 = 1 x6215 = 1 x6229 = 1 x6242 = 1 x6260 = 1 x6291 = 1 x6296 = 1 x6315 = 1 x6344 = 1 x6364 = 1 x6398 = 1 x6403 = 1 x6436 = 1 x6455 = 1 x6486 = 1 x6502 = 1 x6530 = 1 x6540 = 1 x6550 = 1 x6584 = 1 x6601 = 1 x6637 = 1 x6651 = 1 x6682 = 1 x6702 = 1 x6733 = 1 x6748 = 1 x6769 = 1 x6795 = 1 x6808 = 1 x6830 = 1 x6852 = 1 x6864 = 1 x6886 = 1 x6910 = 1 x6930 = 1 x6949 = 1 x6994 = 1 x7015 = 1 x7042 = 1 x7062 = 1 x7068 = 1 x7105 = 1 x7121 = 1 x7144 = 1 x7158 = 1 x7198 = 1 x7220 = 1 x7231 = 1 x7246 = 1 x7268 = 1 x7287 = 1 x7305 = 1 x7329 = 1 x7358 = 1 x7377 = 1 x7392 = 1 x7403 = 1 x7430 = 1 x7435 = 1 x7466 = 1 x7485 = 1 x7501 = 1 x7528 = 1 x7557 = 1 x7570 = 1 x7604 = 1 x7614 = 1 x7634 = 1 x7654 = 1 x7663 = 1 x7685 = 1 x7715 = 1 x7739 = 1 x7766 = 1 x7783 = 1 x7798 = 1 x7806 = 1 x7816 = 1 x7843 = 1 x7868 = 1 x7890 = 1 x7917 = 1 x7956 = 1 x7965 = 1 x7967 = 1 x7982 = 1 x8004 = 1 x8023 = 1 x8043 = 1 x8079 = 1 x8093 = 1 x8110 = 1 x8137 = 1 x8168 = 1 x8175 = 1 x8204 = 1 x8224 = 1 x8257 = 1 x8262 = 1 x8295 = 1 x8314 = 1 x8345 = 1 x8361 = 1 x8389 = 1 x8399 = 1 x8413 = 1 x8440 = 1 x8453 = 1 x8489 = 1 x8503 = 1 x8514 = 1 x8536 = 1 x8540 = 1 x8569 = 1 x8600 = 1 x8615 = 1 x8636 = 1 x8662 = 1 x8679 = 1 x8712 = 1 x8734 = 1 x8746 = 1 x8768 = 1 x8788 = 1 x8806 = 1 x8825 = 1 x8842 = 1 x8876 = 1 x8897 = 1 x8924 = 1 x8931 = 1 x8932 = 1 x8969 = 1 x8986 = 1 x9009 = 1 x9062 = 1 x9084 = 1 x9095 = 1 x9120 = 1 x9151 = 1 x9157 = 1 x9185 = 1 x9209 = 1 x9238 = 1 x9257 = 1 x9280 = 1 x9296 = 1 x9327 = 1 x9331 = 1 x9349 = 1 x9368 = 1 x9388 = 1 x9415 = 1 x9444 = 1 x9457 = 1 x9473 = 1 x9510 = 1 x9520 = 1 x9544 = 1 x9568 = 1 x9573 = 1 x9595 = 1 x9625 = 1 x9649 = 1 x9676 = 1 x9693 = 1 x9720 = 1 x9727 = 1 x9742 = 1 x9767 = 1 x9791 = 1 x9804 = 1 x9825 = 1 x9864 = 1 x9873 = 1 x9877 = 1 x9895 = 1 x9917 = 1 x9936 = 1 x9956 = 1 x9992 = 1 x10006 = 1 x10023 = 1 x10050 = 1 x10081 = 1 x10086 = 1 x10105 = 1 x10134 = 1 x10154 = 1 x10188 = 1 x10193 = 1 x10226 = 1 x10245 = 1 x10276 = 1 x10292 = 1 x10320 = 1 x10331 = 1 x10347 = 1 x10381 = 1 x10398 = 1 x10434 = 1 x10448 = 1 x10459 = 1 x10491 = 1 x10503 = 1 x10531 = 1 x10562 = 1 x10577 = 1 x10598 = 1 x10624 = 1 x10641 = 1 x10674 = 1 x10696 = 1 x10708 = 1 x10730 = 1 x10754 = 1 x10774 = 1 x10793 = 1 x10810 = 1 x10844 = 1 x10865 = 1 x10892 = 1 x10908 = 1 x10911 = 1 x10948 = 1 x10965 = 1 x10988 = 1 x11002 = 1 x11042 = 1 x11064 = 1 x11075 = 1 x11090 = 1 x11108 = 1 x11132 = 1 x11137 = 1 x11156 = 1 x11180 = 1 x11209 = 1 x11228 = 1 x11251 = 1 x11267 = 1 x11298 = 1 x11302 = 1 x11319 = 1 x11338 = 1 x11358 = 1 x11385 = 1 x11414 = 1 x11427 = 1 x11443 = 1 x11475 = 1 x11485 = 1 x11509 = 1 x11537 = 1 x11546 = 1 x11559 = 1 x11584 = 1 x11603 = 1 x11630 = 1 x11647 = 1 x11663 = 1 x11682 = 1 x11705 = 1 x11732 = 1 x11757 = 1 x11781 = 1 x11794 = 1 x11815 = 1 x11836 = 1 x11849 = 1 x11860 = 1 x11889 = 1 x11911 = 1 x11930 = 1 x11962 = 1 x11975 = 1 x11991 = 1 x12018 = 1 x12049 = 1 x12054 = 1 x12073 = 1 x12102 = 1 x12136 = 1 x12141 = 1 x12171 = 1 x12182 = 1 x12211 = 1 x12224 = 1 x12249 = 1 x12260 = 1 x12276 = 1 x12300 = 1 x12317 = 1 x12343 = 1 x12357 = 1 x12368 = 1 x12400 = 1 x12412 = 1 x12441 = 1 x12461 = 1 x12469 = 1 x12487 = 1 x12513 = 1 x12530 = 1 x12563 = 1 x12585 = 1 x12597 = 1 x12619 = 1 x12643 = 1 x12663 = 1 x12682 = 1 x12699 = 1 x12733 = 1 x12754 = 1 x12771 = 1 x12791 = 1 x12797 = 1 x12830 = 1 x12847 = 1 x12870 = 1 x12883 = 1 x12916 = 1 x12932 = 1 x12943 = 1 x12958 = 1 x12986 = 1 x13005 = 1 x13011 = 1 x13033 = 1 x13049 = 1 x13078 = 1 x13097 = 1 x13120 = 1 x13136 = 1 x13161 = 1 x13166 = 1 x13197 = 1 x13216 = 1 x13242 = 1 x13271 = 1 x13278 = 1 x13291 = 1 x13328 = 1 x13352 = 1 x13380 = 1 x13389 = 1 x13411 = 1 x13441 = 1 x13465 = 1 x13492 = 1 x13509 = 1 x13524 = 1 x13533 = 1 x13552 = 1 x13569 = 1 x13594 = 1 x13614 = 1 x13624 = 1 x13640 = 1 x13674 = 1 x13689 = 1 x13700 = 1 x13726 = 1 x13748 = 1 x13767 = 1 x13787 = 1 x13823 = 1 x13837 = 1 x13864 = 1 x13895 = 1 x13900 = 1 x13919 = 1 x13948 = 1 x13968 = 1 x13998 = 1 x14001 = 1 x14034 = 1 x14053 = 1 x14084 = 1 x14100 = 1 x14128 = 1 x14135 = 1 x14166 = 1 x14182 = 1 x14218 = 1 x14232 = 1 x14243 = 1 x14273 = 1 x14284 = 1 x14300 = 1 x14328 = 1 x14343 = 1 x14364 = 1 x14390 = 1 x14400 = 1 x14424 = 1 x14434 = 1 x14445 = 1 x14467 = 1 x14490 = 1 x14510 = 1 x14529 = 1 x14546 = 1 x14580 = 1 x14601 = 1 x14628 = 1 x14648 = 1 x14654 = 1 x14691 = 1 x14708 = 1 x14731 = 1 x14745 = 1 x14783 = 1 x14805 = 1 x14816 = 1 x14831 = 1 x14855 = 1 x14879 = 1 x14885 = 1 x14907 = 1 x14931 = 1 x14960 = 1 x14970 = 1 x14989 = 1 x15004 = 1 x15035 = 1 x15040 = 1 x15068 = 1 x15087 = 1 x15107 = 1 x15134 = 1 x15163 = 1 x15176 = 1 x15191 = 1 x15219 = 1 x15229 = 1 x15253 = 1 x15278 = 1 x15285 = 1 x15307 = 1 x15337 = 1 x15361 = 1 x15387 = 1 x15403 = 1 x15419 = 1 x15438 = 1 x15461 = 1 x15492 = 1 x15516 = 1 x15529 = 1 x15550 = 1 x15589 = 1 x15604 = 1 x15615 = 1 x15646 = 1 x15668 = 1 x15695 = 1 x15731 = 1 x15741 = 1 x15755 = 1 x15778 = 1 x15806 = 1 x15811 = 1 x15830 = 1 x15858 = 1 x15892 = 1 x15897 = 1 x15927 = 1 x15943 = 1 x15974 = 1 x15987 = 1 x16012 = 1 x16023 = 1 x16039 = 1 x16073 = 1 x16105 = 1 x16119 = 1 x16128 = 1 x16151 = 1 x16163 = 1 x16192 = 1 x16223 = 1 x16238 = 1 x16259 = 1 x16285 = 1 x16302 = 1 x16323 = 1 x16345 = 1 x16357 = 1 x16379 = 1 x16403 = 1 x16423 = 1 x16444 = 1 x16468 = 1 x16489 = 1 x16516 = 1 x16536 = 1 x16542 = 1 x16573 = 1 x16589 = 1 x16608 = 1 x16619 = 1 x16659 = 1 x16679 = 1 x16690 = 1 x16705 = 1 x16733 = 1 x16764 = 1 x16770 = 1 x16798 = 1 x16822 = 1 x16851 = 1 x16870 = 1 x16893 = 1 x16903 = 1 x16928 = 1 x16933 = 1 x16964 = 1 x16987 = 1 x17014 = 1 x17043 = 1 x17056 = 1 x17072 = 1 x17109 = 1 x17119 = 1 x17164 = 1 x17173 = 1 x17179 = 1 x17220 = 1 x17247 = 1 x17263 = 1 x17279 = 1 x17298 = 1 x17321 = 1 x17348 = 1 x17368 = 1 x17391 = 1 x17404 = 1 x17425 = 1 x17452 = 1 x17467 = 1 x17478 = 1 x17502 = 1 x17520 = 1 x17539 = 1 x17556 = 1 x17584 = 1 x17598 = 1 x17615 = 1 x17642 = 1 x17673 = 1 x17678 = 1 x17697 = 1 x17722 = 1 x17738 = 1 x17764 = 1 x17769 = 1 x17802 = 1 x17838 = 1 x17854 = 1 x17878 = 1 x17889 = 1 x17905 = 1 x17928 = 1 x17945 = 1 x17976 = 1 x17990 = 1 x18001 = 1 x18033 = 1 x18045 = 1 x18074 = 1 x18099 = 1 x18113 = 1 x18128 = 1 x18153 = 1 x18170 = 1 x18203 = 1 x18225 = 1 x18237 = 1 x18259 = 1 x18283 = 1 x18303 = 1 x18322 = 1 x18339 = 1 x18373 = 1 x18394 = 1 x18414 = 1 x18434 = 1 x18440 = 1 x18474 = 1 x18486 = 1 x18507 = 1 x18521 = 1 x18559 = 1 x18581 = 1 x18590 = 1 x18605 = 1 x18633 = 1 x18654 = 1 x18660 = 1 x18691 = 1 x18720 = 1 x18739 = 1 x18762 = 1 x18778 = 1 x18805 = 1 x18810 = 1 x18838 = 1 x18856 = 1 x18872 = 1 x18881 = 1 x18906 = 1 x18920 = 1 x18957 = 1 x18964 = 1 x18986 = 1 x19014 = 1 x19023 = 1 x19045 = 1 x19075 = 1 x19099 = 1 x19120 = 1 x19136 = 1 x19152 = 1 x19163 = 1 x19185 = 1 x19202 = 1 x19227 = 1 x19249 = 1 x19261 = 1 x19281 = 1 x19310 = 1 x19325 = 1 x19336 = 1 x19367 = 1 x19389 = 1 x19408 = 1 x19428 = 1 x19464 = 1 x19478 = 1 x19489 = 1 x19502 = 1 x19530 = 1 x19535 = 1 x19554 = 1 x19583 = 1 x19603 = 1 x19636 = 1 x19641 = 1 x19674 = 1 x19693 = 1 x19724 = 1 x19740 = 1 x19768 = 1 x19777 = 1 x19784 = 1 x19818 = 1 x19835 = 1 x19871 = 1 x19885 = 1 x19896 = 1 x19925 = 1 x19935 = 1 x19980 = 1 x19995 = 1 x20016 = 1 x20042 = 1 x20076 = 1 x20089 = 1 x20100 = 1 x20122 = 1 x20146 = 1 x20166 = 1 x20185 = 1 x20202 = 1 x20235 = 1 x20256 = 1 x20283 = 1 x20303 = 1 x20309 = 1 x20346 = 1 x20363 = 1 x20386 = 1 x20400 = 1 x20439 = 1 x20461 = 1 x20472 = 1 x20487 = 1 x20534 = 1 x20539 = 1 x20559 = 1 x20583 = 1 x20612 = 1 x20622 = 1 x20634 = 1 x20678 = 1 x20683 = 1 x20714 = 1 x20733 = 1 x20753 = 1 x20780 = 1 x20809 = 1 x20822 = 1 x20837 = 1 x20861 = 1 x20871 = 1 x20895 = 1 x20921 = 1 x20930 = 1 x20945 = 1 x20957 = 1 x20991 = 1 x21007 = 1 x21026 = 1 x21049 = 1 x21076 = 1 x21106 = 1 x21119 = 1 x21140 = 1 x21179 = 1 x21194 = 1 x21205 = 1 x21245 = 1 x21265 = 1 x21301 = 1 x21315 = 1 x21332 = 1 x21359 = 1 x21390 = 1 x21395 = 1 x21414 = 1 x21425 = 1 x21445 = 1 x21479 = 1 x21484 = 1 x21516 = 1 x21529 = 1 x21545 = 1 x21559 = 1 x21576 = 1 x21586 = 1 x21602 = 1 x21633 = 1 x21650 = 1 x21686 = 1 x21696 = 1 x21706 = 1 x21738 = 1 x21750 = 1 x21779 = 1 x21810 = 1 x21825 = 1 x21852 = 1 x21869 = 1 x21902 = 1 x21924 = 1 x21941 = 1 x21963 = 1 x21980 = 1 x22014 = 1 x22031 = 1 x22056 = 1 x22076 = 1 x22082 = 1 x22119 = 1 x22144 = 1 x22158 = 1 x22198 = 1 x22220 = 1 x22225 = 1 x22253 = 1 x22284 = 1 x22290 = 1 x22316 = 1 x22349 = 1 x22368 = 1 x22391 = 1 x22407 = 1 x22438 = 1 x22443 = 1 x22476 = 1 x22496 = 1 x22525 = 1 x22529 = 1 x22543 = 1 x22569 = 1 x22578 = 1 x22602 = 1 x22630 = 1 x22639 = 1 x22661 = 1 x22686 = 1 x22707 = 1 x22733 = 1 x22750 = 1 x22766 = 1 x22785 = 1 x22808 = 1 x22833 = 1 x22854 = 1 x22878 = 1 x22891 = 1 x22912 = 1 x22946 = 1 x22961 = 1 x22972 = 1 x23003 = 1 x23025 = 1 x23044 = 1 x23060 = 1 x23080 = 1 x23091 = 1 x23131 = 1 x23136 = 1 x23155 = 1 x23182 = 1 x23195 = 1 x23227 = 1 x23232 = 1 x23263 = 1 x23294 = 1 x23322 = 1 x23333 = 1 x23349 = 1 x23383 = 1 x23400 = 1 x23421 = 1 x23435 = 1 x23446 = 1 x23478 = 1 x23490 = 1 x23519 = 1 x23544 = 1 x23564 = 1 x23590 = 1 x23607 = 1 x23640 = 1 x23662 = 1 x23674 = 1 x23696 = 1 x23720 = 1 x23740 = 1 x23759 = 1 x23775 = 1 x23799 = 1 x23819 = 1 x23842 = 1 x23862 = 1 x23868 = 1 x23895 = 1 x23909 = 1 x23929 = 1 x23960 = 1 x23965 = 1 x23976 = 1 x23991 = 1 x24019 = 1 x24047 = 1 x24053 = 1 x24081 = 1 x24105 = 1 x24134 = 1 x24153 = 1 x24176 = 1 x24192 = 1 x24215 = 1 x24220 = 1 x24251 = 1 x24270 = 1 x24287 = 1 x24313 = 1 x24342 = 1 x24355 = 1 x24371 = 1 x24408 = 1 x24414 = 1 x24432 = 1 x24460 = 1 x24469 = 1 x24491 = 1 x24521 = 1 x24545 = 1 x24572 = 1 x24589 = 1 x24604 = 1 x24610 = 1 x24623 = 1 x24650 = 1 x24675 = 1 x24703 = 1 x24713 = 1 x24752 = 1 x24765 = 1 x24783 = 1 x24805 = 1 x24824 = 1 x24844 = 1 x24880 = 1 x24894 = 1 x24911 = 1 x24938 = 1 x24969 = 1 x24972 = 1 x24976 = 1 x25005 = 1 x25025 = 1 x25055 = 1 x25058 = 1 x25091 = 1 x25110 = 1 x25141 = 1 x25157 = 1 x25185 = 1 x25195 = 1 x25206 = 1 x25241 = 1 x25277 = 1 x25290 = 1 x25301 = 1 x25325 = 1 x25353 = 1 x25384 = 1 x25399 = 1 x25420 = 1 x25446 = 1 x25463 = 1 x25496 = 1 x25518 = 1 x25530 = 1 x25552 = 1 x25586 = 1 x25605 = 1 x25622 = 1 x25656 = 1 x25676 = 1 x25703 = 1 x25711 = 1 x25712 = 1 x25749 = 1 x25766 = 1 x25789 = 1 x25803 = 1 x25837 = 1 x25859 = 1 x25870 = 1 x25883 = 1 x25897 = 1 x25928 = 1 x25934 = 1 x25962 = 1 x25986 = 1 x26015 = 1 x26034 = 1 x26057 = 1 x26073 = 1 x26104 = 1 x26108 = 1 x26128 = 1 x26147 = 1 x26167 = 1 x26194 = 1 x26223 = 1 x26236 = 1 x26252 = 1 x26289 = 1 x26299 = 1 x26323 = 1 x26342 = 1 x26344 = 1 x26366 = 1 x26396 = 1 x26418 = 1 x26445 = 1 x26460 = 1 x26476 = 1 x26495 = 1 x26518 = 1 x26545 = 1 x26570 = 1 x26594 = 1 x26607 = 1 x26622 = 1 x26661 = 1 x26676 = 1 x26687 = 1 x26718 = 1 x26735 = 1 x26750 = 1 x26770 = 1 x26806 = 1 x26820 = 1 x26837 = 1 x26864 = 1 x26895 = 1 x26900 = 1 x26912 = 1 x26941 = 1 x26961 = 1 x26994 = 1 x26999 = 1 x27032 = 1 x27051 = 1 x27081 = 1 x27097 = 1 x27125 = 1 x27136 = 1 x27152 = 1 x27182 = 1 x27196 = 1 x27232 = 1 x27241 = 1 x27269 = 1 x27279 = 1 x27307 = 1 x27338 = 1 x27353 = 1 x27374 = 1 x27400 = 1 x27417 = 1 x27450 = 1 x27472 = 1 x27480 = 1 x27492 = 1 x27501 = 1 x27507 = 1 x27516 = 1 x27533 = 1 x27567 = 1 x27594 = 1 x27614 = 1 x27620 = 1 x27657 = 1 x27674 = 1 x27697 = 1 x27711 = 1 x27746 = 1 x27768 = 1 x27776 = 1 x27791 = 1 x27819 = 1 x27850 = 1 x27856 = 1 x27884 = 1 x27904 = 1 x27930 = 1 x27949 = 1 x27972 = 1 x27988 = 1 x28019 = 1 x28024 = 1 x28055 = 1 x28074 = 1 x28094 = 1 x28121 = 1 x28148 = 1 x28161 = 1 x28177 = 1 x28214 = 1 x28224 = 1 x28248 = 1 x28279 = 1 x28298 = 1 x28328 = 1 x28352 = 1 x28379 = 1 x28396 = 1 x28412 = 1 x28431 = 1 x28454 = 1 x28481 = 1 x28504 = 1 x28527 = 1 x28540 = 1 x28561 = 1 x28597 = 1 x28612 = 1 x28623 = 1 x28653 = 1 x28675 = 1 x28694 = 1 x28714 = 1 x28746 = 1 x28760 = 1 x28776 = 1 x28802 = 1 x28814 = 1 x28818 = 1 x28837 = 1 x28862 = 1 x28882 = 1 x28914 = 1 x28919 = 1 x28935 = 1 x28951 = 1 x28973 = 1 x28988 = 1 x29008 = 1 x29019 = 1 x29035 = 1 x29062 = 1 x29079 = 1 x29115 = 1 x29128 = 1 x29139 = 1 x29171 = 1 x29183 = 1 x29209 = 1 x29231 = 1 x29246 = 1 x29264 = 1 x29287 = 1 x29319 = 1 x29334 = 1 x29345 = 1 x29366 = 1 x29390 = 1 x29409 = 1 x29428 = 1 x29445 = 1 x29489 = 1 x29509 = 1 x29529 = 1 x29535 = 1 x29561 = 1 x29575 = 1 x29597 = 1 x29611 = 1 x29650 = 1 x29672 = 1 x29682 = 1 x29697 = 1 x29725 = 1 x29750 = 1 x29756 = 1 x29783 = 1 x29805 = 1 x29819 = 1 x29844 = 1 x29860 = 1 x29885 = 1 x29890 = 1 x29918 = 1 x29936 = 1 x29954 = 1 x29980 = 1 x30002 = 1 x30013 = 1 x30028 = 1 x30056 = 1 x30065 = 1 x30089 = 1 x30117 = 1 x30126 = 1 x30148 = 1 x30178 = 1 x30202 = 1 x30227 = 1 x30243 = 1 x30262 = 1 x30285 = 1 x30312 = 1 x30334 = 1 x30358 = 1 x30371 = 1 x30392 = 1 x30426 = 1 x30441 = 1 x30452 = 1 x30483 = 1 x30505 = 1 x30524 = 1 x30542 = 1 x30578 = 1 x30589 = 1 x30602 = 1 x30616 = 1 x30638 = 1 x30643 = 1 x30662 = 1 x30689 = 1 x30705 = 1 x30739 = 1 x30744 = 1 x30774 = 1 x30790 = 1 x30821 = 1 x30837 = 1 x30865 = 1 x30876 = 1 x30892 = 1 x30926 = 1 x30943 = 1 x30978 = 1 x30992 = 1 x31001 = 1 x31024 = 1 x31036 = 1 x31060 = 1 x31088 = 1 x31103 = 1 x31124 = 1 x31150 = 1 x31161 = 1 x31185 = 1 x31207 = 1 x31219 = 1 x31241 = 1 x31265 = 1 x31285 = 1 x31304 = 1 x31319 = 1 x31335 = 1 x31355 = 1 x31382 = 1 x31402 = 1 x31408 = 1 x31444 = 1 x31467 = 1 x31481 = 1 x31521 = 1 x31543 = 1 x31554 = 1 x31569 = 1 x31596 = 1 x31627 = 1 x31633 = 1 x31661 = 1 x31685 = 1 x31714 = 1 x31728 = 1 x31738 = 1 x31758 = 1 x31763 = 1 x31794 = 1 x31813 = 1 x31831 = 1 x31858 = 1 x31887 = 1 x31900 = 1 x31916 = 1 x31949 = 1 x31959 = 1 x31983 = 1 x32008 = 1 x32017 = 1 x32039 = 1 x32069 = 1 x32093 = 1 x32120 = 1 x32137 = 1 x32152 = 1 x32162 = 1 x32169 = 1 x32196 = 1 x32221 = 1 x32245 = 1 x32258 = 1 x32276 = 1 x32315 = 1 x32321 = 1 x32323 = 1 x32338 = 1 x32360 = 1 x32379 = 1 x32399 = 1 x32435 = 1 x32449 = 1 x32466 = 1 x32493 = 1 x32524 = 1 x32528 = 1 x32539 = 1 x32568 = 1 x32588 = 1 x32622 = 1 x32627 = 1 x32660 = 1 x32679 = 1 x32710 = 1 x32726 = 1 x32754 = 1 x32765 = 1 x32781 = 1 x32811 = 1 x32826 = 1 x32862 = 1 x32876 = 1 x32887 = 1 x32910 = 1 x32915 = 1 x32944 = 1 x32975 = 1 x32990 = 1 x33011 = 1 x33037 = 1 x33054 = 1 x33087 = 1 x33109 = 1 x33121 = 1 x33143 = 1 x33166 = 1 x33186 = 1 x33205 = 1 x33222 = 1 x33256 = 1 x33277 = 1 x33304 = 1 x33309 = 1 x33346 = 1 x33363 = 1 x33386 = 1 x33400 = 1 x33440 = 1 x33462 = 1 x33473 = 1 x33486 = 1 x33497 = 1 x33528 = 1 x33534 = 1 x33562 = 1 x33586 = 1 x33615 = 1 x33634 = 1 x33657 = 1 x33673 = 1 x33704 = 1 x33708 = 1 x33723 = 1 x33742 = 1 x33762 = 1 x33789 = 1 x33818 = 1 x33831 = 1 x33847 = 1 x33884 = 1 x33894 = 1 x33918 = 1 x33943 = 1 x33950 = 1 x33963 = 1 x33983 = 1 x34005 = 1 x34032 = 1 x34047 = 1 x34063 = 1 x34082 = 1 x34105 = 1 x34132 = 1 x34150 = 1 x34169 = 1 x34182 = 1 x34203 = 1 x34239 = 1 x34254 = 1 x34265 = 1 x34289 = 1 x34306 = 1 x34325 = 1 x34345 = 1 x34378 = 1 x34392 = 1 x34409 = 1 x34436 = 1 x34463 = 1 x34468 = 1 x34487 = 1 x34498 = 1 x34517 = 1 x34554 = 1 x34569 = 1 x34582 = 1 x34606 = 1 x34625 = 1 x34641 = 1 x34665 = 1 x34682 = 1 x34718 = 1 x34730 = 1 x34741 = 1 x34773 = 1 x34785 = 1 x34813 = 1 x34839 = 1 x34854 = 1 x34868 = 1 x34878 = 1 x34890 = 1 x34923 = 1 x34945 = 1 x34953 = 1 x34968 = 1 x34988 = 1 x35006 = 1 x35024 = 1 x35041 = 1 x35072 = 1 x35090 = 1 x35110 = 1 x35130 = 1 x35136 = 1 x35165 = 1 x35175 = 1 x35192 = 1 x35206 = 1 x35245 = 1 x35267 = 1 x35271 = 1 x35282 = 1 x35310 = 1 x35333 = 1 x35339 = 1 x35364 = 1 x35378 = 1 x35403 = 1 x35426 = 1 x35442 = 1 x35468 = 1 x35473 = 1 x35496 = 1 x35507 = 1 x35524 = 1 x35542 = 1 x35558 = 1 x35571 = 1 x35597 = 1 x35621 = 1 x35649 = 1 x35658 = 1 x35671 = 1 x35698 = 1 x35719 = 1 x35746 = 1 x35763 = 1 x35779 = 1 x35798 = 1 x35821 = 1 x35848 = 1 x35871 = 1 x35895 = 1 x35908 = 1 x35929 = 1 x35954 = 1 x35968 = 1 x35979 = 1 x36007 = 1 x36028 = 1 x36047 = 1 x36064 = 1 x36082 = 1 x36093 = 1 x36108 = 1 x36135 = 1 x36166 = 1 x36171 = 1 x36190 = 1 x36217 = 1 x36233 = 1 x36258 = 1 x36263 = 1 x36287 = 1 x36298 = 1 x36326 = 1 x36339 = 1 x36361 = 1 x36372 = 1 x36388 = 1 x36406 = 1 x36423 = 1 x36449 = 1 x36463 = 1 x36474 = 1 x36506 = 1 x36518 = 1 x36547 = 1 x36570 = 1 x36586 = 1 x36612 = 1 x36629 = 1 x36662 = 1 x36684 = 1 x36696 = 1 x36718 = 1 x36742 = 1 x36762 = 1 x36781 = 1 x36798 = 1 x36827 = 1 x36847 = 1 x36873 = 1 x36879 = 1 x36905 = 1 x36919 = 1 x36940 = 1 x36953 = 1 x36987 = 1 x37003 = 1 x37014 = 1 x37029 = 1 x37057 = 1 x37073 = 1 x37095 = 1 x37114 = 1 x37137 = 1 x37156 = 1 x37179 = 1 x37195 = 1 x37217 = 1 x37246 = 1 x37265 = 1 x37281 = 1 x37294 = 1 x37323 = 1 x37330 = 1 x37343 = 1 x37378 = 1 x37385 = 1 x37406 = 1 x37434 = 1 x37443 = 1 x37454 = 1 x37478 = 1 x37497 = 1 x37524 = 1 x37541 = 1 x37557 = 1 x37576 = 1 x37599 = 1 x37626 = 1 x37651 = 1 x37675 = 1 x37688 = 1 x37709 = 1 x37744 = 1 x37755 = 1 x37783 = 1 x37804 = 1 x37823 = 1 x37839 = 1 x37870 = 1 x37887 = 1 x37914 = 1 x37945 = 1 x37950 = 1 x37969 = 1 x37998 = 1 x38013 = 1 x38035 = 1 x38040 = 1 x38072 = 1 x38084 = 1 x38112 = 1 x38127 = 1 x38154 = 1 x38165 = 1 x38181 = 1 x38204 = 1 x38221 = 1 x38247 = 1 x38261 = 1 x38272 = 1 x38304 = 1 x38316 = 1 x38345 = 1 x38365 = 1 x38377 = 1 x38395 = 1 x38421 = 1 x38438 = 1 x38471 = 1 x38493 = 1 x38505 = 1 x38527 = 1 x38551 = 1 x38571 = 1 x38590 = 1 x38607 = 1 x38641 = 1 x38662 = 1 x38679 = 1 x38699 = 1 x38705 = 1 x38737 = 1 x38752 = 1 x38775 = 1 x38789 = 1 x38823 = 1 x38839 = 1 x38850 = 1 x38865 = 1 x38893 = 1 x38912 = 1 x38918 = 1 x38940 = 1 x38953 = 1 x38982 = 1 x39001 = 1 x39024 = 1 x39040 = 1 x39065 = 1 x39070 = 1 x39101 = 1 x39120 = 1 x39135 = 1 x39144 = 1 x39172 = 1 x39179 = 1 x39191 = 1 x39228 = 1 x39234 = 1 x39253 = 1 x39281 = 1 x39290 = 1 x39312 = 1 x39342 = 1 x39366 = 1 x39392 = 1 x39409 = 1 x39425 = 1 x39444 = 1 x39467 = 1 x39494 = 1 x39519 = 1 x39540 = 1 x39551 = 1 x39572 = 1 x39611 = 1 x39626 = 1 x39637 = 1 x39668 = 1 x39690 = 1 x39709 = 1 x39729 = 1 x39763 = 1 x39777 = 1 x39792 = 1 x39810 = 1 x39825 = 1 x39844 = 1 x39871 = 1 x39891 = 1 x39921 = 1 x39924 = 1 x39948 = 1 x39967 = 1 x39994 = 1 x40010 = 1 x40034 = 1 x40044 = 1 x40058 = 1 x40088 = 1 x40105 = 1 x40141 = 1 x40154 = 1 x40165 = 1 x40197 = 1 x40209 = 1 x40235 = 1 x40258 = 1 x40273 = 1 x40294 = 1 x40311 = 1 x40318 = 1 x40364 = 1 x40386 = 1 x40410 = 1 x40430 = 1 x40449 = 1 x40466 = 1 x40491 = 1 x40511 = 1 x40533 = 1 x40553 = 1 x40559 = 1 x40586 = 1 x40602 = 1 x40625 = 1 x40639 = 1 x40678 = 1 x40700 = 1 x40711 = 1 x40726 = 1 x40754 = 1 x40781 = 1 x40787 = 1 x40815 = 1 x40838 = 1 x40853 = 1 x40858 = 1 x40870 = 1 x40885 = 1 x40910 = 1 x40915 = 1 x40945 = 1 x40964 = 1 x40984 = 1 x41011 = 1 x41038 = 1 x41051 = 1 x41067 = 1 x41100 = 1 x41110 = 1 x41134 = 1 x41162 = 1 x41171 = 1 x41193 = 1 x41217 = 1 x41232 = 1 x41259 = 1 x41276 = 1 x41292 = 1 x41311 = 1 x41334 = 1 x41361 = 1 x41386 = 1 x41410 = 1 x41423 = 1 x41444 = 1 x41471 = 1 x41485 = 1 x41496 = 1 x41527 = 1 x41549 = 1 x41568 = 1 x41584 = 1 x41592 = 1 x41597 = 1 x41610 = 1 x41633 = 1 x41661 = 1 x41666 = 1 x41685 = 1 x41714 = 1 x41730 = 1 x41756 = 1 x41761 = 1 x41785 = 1 x41798 = 1 x41829 = 1 x41838 = 1 x41862 = 1 x41873 = 1 x41889 = 1 x41917 = 1 x41934 = 1 x41963 = 1 x41974 = 1 x42006 = 1 x42018 = 1 x42047 =