ILOG CPLEX 11.110, licensed to "arizona-tempe, az", options: e m b q p=8 Welcome to CPLEX Interactive Optimizer 11.1.1 with Simplex, Mixed Integer & Barrier Optimizers Copyright (c) ILOG 1997-2008 CPLEX is a registered trademark of ILOG Type 'help' for a list of available commands. Type 'help' followed by a command name for more information on commands. CPLEX> Selected objective sense: MINIMIZE Selected objective name: obj Selected RHS name: rhs Selected bound name: bnd Problem 'in_h.mps' read. Read time = 0.01 sec. CPLEX> Available emphasis parameters: memory set reduced memory emphasis mip set emphasis for MIP optimization numerical set extreme numerical caution emphasis Emphasis parameter to set: Present value for emphasis for MIP optimization: 0 0 = balance optimality and integer feasibility 1 = integer feasibility 2 = optimality 3 = moving best bound 4 = finding hidden feasible solutions New value for emphasis for MIP optimization: New value for emphasis for MIP optimization: 4 CPLEX> Available MIP parameters: cuts set types of cuts used during mixed integer optimization display set level of mixed integer node display interval set interval for printing mixed integer node display limits set limits for mixed integer optimization ordertype set type of generated priority order pool set solution pool characteristics strategy set strategy for mixed integer optimization tolerances set tolerances for mixed integer optimization MIP parameter to set: Available mixed integer limits: aggforcut set constraint aggregation limit for cut generation cutpasses set number of cutting plane passes cutsfactor set rows multiplier factor to limit cuts eachcutlimit set limit on number of cuts for each type per pass gomorycand set candidate limit for generating Gomory fractional cuts gomorypass set pass limit for generating Gomory fractional cuts nodes set branch and cut node limit polishtime set time limit for polishing best solution populate set solutions limit for each populate call probetime set time limit for probing repairtries set number of times to try repair heuristic solutions set mixed integer solutions limit strongcand set strong branching candidate limit strongit set strong branching iteration limit submipnodelim set sub-MIP node limit treememory set upper limit on size of tree in megabytes Mixed integer limit to set: Present value for mixed integer solutions limit: 2100000000 New value for mixed integer solutions limit: New value for mixed integer solutions limit: 1 CPLEX> Available Parameters: advance set indicator for advanced starting information barrier set parameters for barrier optimization clocktype set type of clock used to measure time conflict set parameters for finding conflicts defaults set all parameter values to defaults emphasis set optimization emphasis feasopt set parameters for feasopt logfile set file to which results are printed lpmethod set method for linear optimization mip set parameters for mixed integer optimization network set parameters for network optimizations output set extent and destinations of outputs parallel set parallel optimization mode preprocessing set parameters for preprocessing qpmethod set method for quadratic optimization read set problem read parameters sifting set parameters for sifting optimization simplex set parameters for primal and dual simplex optimizations threads set default parallel thread count timelimit set time limit in seconds tune set parameters for parameter tuning workdir set directory for working files workmem set memory available for working storage (in megabytes) Parameter to set: Present value for default parallel thread count: 0 0 = automatic 1 = sequential >1 parallel New value for default parallel thread count: New value for default parallel thread count: 1 CPLEX> Tried aggregator 2 times. MIP Presolve eliminated 1243 rows and 1127 columns. MIP Presolve modified 1 coefficients. Aggregator did 365 substitutions. Reduced MIP has 671 rows, 1971 columns, and 8489 nonzeros. Presolve time = 0.02 sec. Clique table members: 516. MIP emphasis: hidden feasible solutions. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 0.23 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Node ItCnt Gap 0 0 6.3048 277 6.3048 2301 0 0 7.0000 247 Cuts: 68 4350 0 0 7.0000 253 Cuts: 10 6327 0 0 7.0000 257 Cuts: 5 6649 0 2 7.0000 257 7.0000 6649 100 60 7.0000 227 7.0000 65666 200 77 infeasible 7.0000 131274 300 103 7.0000 174 7.0000 196304 400 126 infeasible 7.0000 260482 500 134 7.0000 189 7.0000 330915 600 114 7.0000 260 7.0000 408741 700 63 infeasible 7.0000 496053 800 50 7.0000 186 7.0000 597398 900 71 7.0000 156 7.0000 673256 1000 67 7.0000 138 7.0000 765536 Elapsed time = 113.72 sec. (tree size = 0.05 MB, solutions = 0) 1100 95 7.0000 209 7.0000 846167 1200 101 7.0000 195 7.0000 939390 1300 106 7.0000 188 7.0000 1027699 1400 99 7.0000 201 7.0000 1127592 1500 103 infeasible 7.0000 1221341 1600 98 7.0000 187 7.0000 1318409 1700 97 7.0000 198 7.0000 1414825 1800 107 infeasible 7.0000 1496993 1900 102 7.0000 201 7.0000 1589542 2000 108 infeasible 7.0000 1679945 Elapsed time = 230.79 sec. (tree size = 0.08 MB, solutions = 0) 2100 86 infeasible 7.0000 1782732 2200 68 infeasible 7.0000 1884675 2300 72 7.0000 219 7.0000 1982534 2400 90 infeasible 7.0000 2064877 2500 87 infeasible 7.0000 2166311 2600 101 infeasible 7.0000 2249144 2700 113 7.0000 189 7.0000 2338388 2800 109 7.0000 208 7.0000 2435880 2900 115 infeasible 7.0000 2521849 3000 113 infeasible 7.0000 2610625 Elapsed time = 349.75 sec. (tree size = 0.08 MB, solutions = 0) 3100 116 7.0000 154 7.0000 2707240 3200 106 infeasible 7.0000 2812208 3300 114 7.0000 203 7.0000 2907546 3400 130 7.0000 244 7.0000 2993689 3500 120 infeasible 7.0000 3098172 3600 129 infeasible 7.0000 3191198 3700 127 infeasible 7.0000 3300884 3800 150 7.0000 204 7.0000 3374261 3900 176 7.0000 163 7.0000 3454964 4000 188 7.0000 193 7.0000 3548842 Elapsed time = 468.21 sec. (tree size = 0.14 MB, solutions = 0) 4100 193 7.0000 146 7.0000 3642933 4200 197 7.0000 173 7.0000 3736557 4300 197 infeasible 7.0000 3829592 4400 182 7.0000 180 7.0000 3924970 4500 171 infeasible 7.0000 4018215 4600 169 infeasible 7.0000 4116300 4700 171 7.0000 180 7.0000 4209890 4800 169 7.0000 208 7.0000 4306262 4900 151 7.0000 154 7.0000 4416486 5000 160 7.0000 226 7.0000 4514087 Elapsed time = 586.34 sec. (tree size = 0.12 MB, solutions = 0) 5100 130 7.0000 262 7.0000 4625023 5200 127 7.0000 245 7.0000 4732806 5300 129 infeasible 7.0000 4823902 5400 118 7.0000 242 7.0000 4924437 5500 121 infeasible 7.0000 5010553 5600 122 infeasible 7.0000 5099667 5700 121 7.0000 205 7.0000 5191788 5800 114 7.0000 208 7.0000 5283480 5900 104 7.0000 271 7.0000 5385338 6000 127 infeasible 7.0000 5479949 Elapsed time = 707.99 sec. (tree size = 0.10 MB, solutions = 0) 6100 129 7.0000 237 7.0000 5586430 6200 122 infeasible 7.0000 5690280 6300 108 infeasible 7.0000 5792903 6400 113 7.0000 216 7.0000 5887083 6500 111 7.0000 232 7.0000 5983699 6600 102 7.0000 197 7.0000 6089789 6700 109 infeasible 7.0000 6180315 6800 111 infeasible 7.0000 6279046 6900 108 infeasible 7.0000 6386978 7000 89 infeasible 7.0000 6498846 Elapsed time = 836.91 sec. (tree size = 0.07 MB, solutions = 0) 7100 89 infeasible 7.0000 6598381 7200 85 7.0000 192 7.0000 6703241 7300 75 7.0000 212 7.0000 6811401 7400 94 7.0000 198 7.0000 6895913 7500 78 7.0000 226 7.0000 6995276 7600 80 7.0000 207 7.0000 7087610 7700 72 infeasible 7.0000 7186333 7800 84 infeasible 7.0000 7288893 7900 61 infeasible 7.0000 7398038 8000 63 infeasible 7.0000 7499951 Elapsed time = 961.59 sec. (tree size = 0.05 MB, solutions = 0) 8100 55 infeasible 7.0000 7611038 8200 49 7.0000 239 7.0000 7711096 8300 53 7.0000 211 7.0000 7812164 8400 53 infeasible 7.0000 7919005 8500 62 7.0000 168 7.0000 8007281 8600 108 7.0000 184 7.0000 8076698 8700 149 infeasible 7.0000 8146342 8800 156 infeasible 7.0000 8229782 8900 156 7.0000 183 7.0000 8321964 9000 160 7.0000 192 7.0000 8410546 Elapsed time = 1083.72 sec. (tree size = 0.12 MB, solutions = 0) 9100 194 7.0000 226 7.0000 8482754 9200 194 infeasible 7.0000 8580236 9300 198 7.0000 181 7.0000 8672405 9400 193 infeasible 7.0000 8761797 9500 190 7.0000 202 7.0000 8855578 9600 194 7.0000 208 7.0000 8943892 9700 184 7.0000 214 7.0000 9039355 9800 180 infeasible 7.0000 9129721 9900 182 infeasible 7.0000 9215336 10000 182 7.0000 185 7.0000 9311912 Elapsed time = 1193.97 sec. (tree size = 0.13 MB, solutions = 0) 10100 200 infeasible 7.0000 9386016 10200 188 7.0000 194 7.0000 9474196 10300 188 7.0000 162 7.0000 9570113 10400 184 infeasible 7.0000 9661823 10500 181 infeasible 7.0000 9748236 10600 170 infeasible 7.0000 9842558 10700 167 7.0000 207 7.0000 9933194 10800 185 infeasible 7.0000 10023181 10900 175 7.0000 168 7.0000 10129814 11000 181 7.0000 185 7.0000 10229610 Elapsed time = 1311.01 sec. (tree size = 0.13 MB, solutions = 0) 11100 175 7.0000 226 7.0000 10337644 11200 178 7.0000 188 7.0000 10433017 11300 174 infeasible 7.0000 10532690 11400 180 7.0000 219 7.0000 10627373 11500 197 7.0000 186 7.0000 10722289 11600 193 infeasible 7.0000 10822906 11700 196 infeasible 7.0000 10927063 11800 194 infeasible 7.0000 11024814 11900 182 infeasible 7.0000 11132672 12000 176 7.0000 185 7.0000 11230184 Elapsed time = 1438.49 sec. (tree size = 0.13 MB, solutions = 0) 12100 178 infeasible 7.0000 11332180 12200 178 infeasible 7.0000 11432215 12300 167 7.0000 189 7.0000 11532485 12400 173 7.0000 201 7.0000 11631214 12500 164 7.0000 227 7.0000 11734164 12600 164 7.0000 227 7.0000 11833866 12700 161 7.0000 206 7.0000 11936148 12800 154 infeasible 7.0000 12027018 12900 162 infeasible 7.0000 12118184 13000 156 7.0000 210 7.0000 12218630 Elapsed time = 1564.19 sec. (tree size = 0.11 MB, solutions = 0) 13100 147 infeasible 7.0000 12326852 13200 159 7.0000 214 7.0000 12420840 13300 149 infeasible 7.0000 12526360 13400 137 7.0000 209 7.0000 12632850 13500 140 infeasible 7.0000 12742783 13600 137 7.0000 206 7.0000 12847499 13700 128 infeasible 7.0000 12951713 13800 143 infeasible 7.0000 13043984 13900 150 7.0000 195 7.0000 13145038 14000 147 infeasible 7.0000 13262684 Elapsed time = 1698.85 sec. (tree size = 0.11 MB, solutions = 0) 14100 136 infeasible 7.0000 13369299 14200 157 infeasible 7.0000 13462446 14300 164 7.0000 187 7.0000 13553213 14400 161 infeasible 7.0000 13657490 14500 161 7.0000 222 7.0000 13760539 14600 164 7.0000 219 7.0000 13860045 14700 157 7.0000 201 7.0000 13962929 14800 163 infeasible 7.0000 14060502 14900 171 infeasible 7.0000 14161906 15000 163 infeasible 7.0000 14268202 Elapsed time = 1827.43 sec. (tree size = 0.12 MB, solutions = 0) 15100 173 infeasible 7.0000 14371324 15200 190 7.0000 219 7.0000 14460140 15300 188 7.0000 195 7.0000 14557163 15400 177 7.0000 224 7.0000 14668311 15500 188 infeasible 7.0000 14762303 15600 196 infeasible 7.0000 14856303 15700 201 infeasible 7.0000 14950239 15800 191 7.0000 201 7.0000 15050020 15900 176 infeasible 7.0000 15146805 16000 176 infeasible 7.0000 15252443 Elapsed time = 1952.02 sec. (tree size = 0.13 MB, solutions = 0) 16100 193 7.0000 222 7.0000 15343874 16200 185 7.0000 204 7.0000 15445194 16300 171 infeasible 7.0000 15557221 16400 182 7.0000 191 7.0000 15655489 16500 183 7.0000 222 7.0000 15752812 16600 188 7.0000 200 7.0000 15846601 16700 189 7.0000 198 7.0000 15940578 16800 166 infeasible 7.0000 16050961 16900 154 infeasible 7.0000 16155152 17000 138 7.0000 247 7.0000 16274697 Elapsed time = 2083.21 sec. (tree size = 0.10 MB, solutions = 0) 17100 149 7.0000 184 7.0000 16370569 17200 150 infeasible 7.0000 16482125 17300 154 7.0000 198 7.0000 16582844 17400 149 7.0000 186 7.0000 16687807 17500 148 7.0000 201 7.0000 16785332 17600 138 infeasible 7.0000 16879710 17700 140 7.0000 173 7.0000 16975084 17800 138 7.0000 204 7.0000 17070126 17900 139 7.0000 196 7.0000 17166912 18000 159 infeasible 7.0000 17255975 Elapsed time = 2212.11 sec. (tree size = 0.12 MB, solutions = 0) 18100 161 7.0000 224 7.0000 17352351 18200 159 7.0000 225 7.0000 17459268 18300 156 7.0000 228 7.0000 17567441 18400 168 infeasible 7.0000 17661602 18500 175 7.0000 205 7.0000 17759349 18600 180 infeasible 7.0000 17858589 18700 173 infeasible 7.0000 17966289 18800 169 infeasible 7.0000 18074157 18900 163 infeasible 7.0000 18178095 19000 166 infeasible 7.0000 18276528 Elapsed time = 2343.07 sec. (tree size = 0.12 MB, solutions = 0) 19100 167 7.0000 239 7.0000 18386242 19200 192 infeasible 7.0000 18475327 19300 188 7.0000 222 7.0000 18588659 19400 191 infeasible 7.0000 18694492 19500 201 infeasible 7.0000 18795789 19600 204 7.0000 241 7.0000 18903230 19700 181 7.0000 226 7.0000 19024873 19800 172 7.0000 200 7.0000 19126746 19900 166 7.0000 188 7.0000 19216060 20000 168 7.0000 162 7.0000 19305647 Elapsed time = 2475.44 sec. (tree size = 0.12 MB, solutions = 0) 20100 152 infeasible 7.0000 19405932 20200 153 infeasible 7.0000 19507375 20300 140 infeasible 7.0000 19612227 20400 131 infeasible 7.0000 19725839 20500 133 infeasible 7.0000 19831135 20600 153 7.0000 201 7.0000 19936472 20700 143 infeasible 7.0000 20056005 20800 143 infeasible 7.0000 20168181 20900 141 infeasible 7.0000 20271316 21000 130 7.0000 239 7.0000 20383020 Elapsed time = 2614.88 sec. (tree size = 0.10 MB, solutions = 0) 21100 144 7.0000 202 7.0000 20480618 21200 153 infeasible 7.0000 20577170 21300 165 infeasible 7.0000 20669251 21400 175 7.0000 199 7.0000 20767103 21500 178 7.0000 198 7.0000 20863408 21600 187 infeasible 7.0000 20961146 21700 190 7.0000 229 7.0000 21065715 21800 225 7.0000 201 7.0000 21145475 21900 230 infeasible 7.0000 21242260 22000 222 7.0000 202 7.0000 21346693 Elapsed time = 2737.09 sec. (tree size = 0.16 MB, solutions = 0) 22100 218 infeasible 7.0000 21457796 22200 218 infeasible 7.0000 21566839 22300 218 7.0000 220 7.0000 21671556 22400 217 infeasible 7.0000 21776345 22500 199 7.0000 225 7.0000 21891890 22600 197 7.0000 216 7.0000 21992311 22700 185 infeasible 7.0000 22099131 22800 184 7.0000 239 7.0000 22198928 22900 194 infeasible 7.0000 22299002 23000 188 7.0000 213 7.0000 22407066 Elapsed time = 2866.41 sec. (tree size = 0.14 MB, solutions = 0) 23100 200 infeasible 7.0000 22503161 23200 206 7.0000 187 7.0000 22603269 23300 198 7.0000 204 7.0000 22710283 23400 196 7.0000 189 7.0000 22822069 23500 192 infeasible 7.0000 22932158 23600 181 infeasible 7.0000 23042510 23700 161 7.0000 250 7.0000 23154915 23800 153 7.0000 217 7.0000 23262792 23900 175 7.0000 181 7.0000 23352478 24000 184 infeasible 7.0000 23448594 Elapsed time = 2996.03 sec. (tree size = 0.13 MB, solutions = 0) 24100 202 7.0000 180 7.0000 23546884 24200 198 7.0000 189 7.0000 23660031 24300 190 7.0000 166 7.0000 23766598 24400 193 7.0000 178 7.0000 23861696 24500 177 7.0000 232 7.0000 23968647 24600 165 7.0000 188 7.0000 24081784 24700 181 infeasible 7.0000 24179706 24800 196 7.0000 223 7.0000 24282963 24900 209 7.0000 219 7.0000 24384639 25000 247 7.0000 213 7.0000 24479140 Elapsed time = 3126.55 sec. (tree size = 0.18 MB, solutions = 0) 25100 254 infeasible 7.0000 24586853 25200 231 infeasible 7.0000 24700588 25300 229 7.0000 198 7.0000 24808477 25400 227 7.0000 200 7.0000 24908505 25500 216 infeasible 7.0000 25018750 25600 229 7.0000 230 7.0000 25123757 25700 213 7.0000 217 7.0000 25236430 25800 199 7.0000 235 7.0000 25357528 25900 213 infeasible 7.0000 25463994 26000 204 7.0000 185 7.0000 25572934 Elapsed time = 3265.65 sec. (tree size = 0.15 MB, solutions = 0) 26100 186 7.0000 229 7.0000 25687397 26200 194 7.0000 210 7.0000 25785976 26300 194 7.0000 167 7.0000 25898563 26400 191 7.0000 216 7.0000 26011458 26500 218 infeasible 7.0000 26112292 26600 226 infeasible 7.0000 26220722 26700 220 7.0000 219 7.0000 26337285 26800 210 infeasible 7.0000 26451173 26900 204 infeasible 7.0000 26560006 27000 204 infeasible 7.0000 26656508 Elapsed time = 3403.59 sec. (tree size = 0.15 MB, solutions = 0) 27100 202 7.0000 196 7.0000 26756599 27200 212 infeasible 7.0000 26854560 27300 227 infeasible 7.0000 26939776 27400 216 infeasible 7.0000 27034884 27500 197 infeasible 7.0000 27141270 27600 202 7.0000 196 7.0000 27238534 27700 194 infeasible 7.0000 27351073 27800 196 7.0000 249 7.0000 27442034 27900 192 infeasible 7.0000 27551605 28000 186 infeasible 7.0000 27650546 Elapsed time = 3528.22 sec. (tree size = 0.14 MB, solutions = 0) 28100 180 7.0000 198 7.0000 27751736 28200 182 infeasible 7.0000 27849052 28300 187 infeasible 7.0000 27949079 28400 178 infeasible 7.0000 28054397 28500 186 infeasible 7.0000 28153480 28600 178 infeasible 7.0000 28261993 28700 172 7.0000 235 7.0000 28372113 28800 167 infeasible 7.0000 28472039 28900 161 7.0000 210 7.0000 28579920 29000 137 7.0000 201 7.0000 28692821 Elapsed time = 3660.71 sec. (tree size = 0.10 MB, solutions = 0) 29100 157 7.0000 187 7.0000 28792221 29200 141 infeasible 7.0000 28903873 29300 163 infeasible 7.0000 28994980 29400 172 infeasible 7.0000 29091759 29500 170 infeasible 7.0000 29186467 29600 181 infeasible 7.0000 29277541 29700 187 7.0000 207 7.0000 29378835 29800 188 7.0000 185 7.0000 29476375 29900 182 7.0000 176 7.0000 29578491 30000 179 infeasible 7.0000 29681816 Elapsed time = 3788.58 sec. (tree size = 0.13 MB, solutions = 0) 30100 183 infeasible 7.0000 29773694 30200 189 7.0000 165 7.0000 29873075 30300 181 7.0000 190 7.0000 29974211 30400 174 7.0000 217 7.0000 30078420 30500 171 7.0000 205 7.0000 30176695 30600 181 7.0000 202 7.0000 30277358 30700 185 7.0000 220 7.0000 30365653 30800 179 7.0000 201 7.0000 30450696 30900 197 infeasible 7.0000 30546342 31000 191 infeasible 7.0000 30651260 Elapsed time = 3912.52 sec. (tree size = 0.14 MB, solutions = 0) 31100 182 infeasible 7.0000 30752875 31200 169 7.0000 212 7.0000 30859996 31300 175 7.0000 217 7.0000 30961994 31400 179 7.0000 213 7.0000 31052966 31500 169 infeasible 7.0000 31155525 31600 163 infeasible 7.0000 31257016 31700 158 infeasible 7.0000 31359609 31800 150 infeasible 7.0000 31465338 31900 139 infeasible 7.0000 31569649 32000 131 infeasible 7.0000 31685677 Elapsed time = 4047.49 sec. (tree size = 0.10 MB, solutions = 0) 32100 131 7.0000 272 7.0000 31783533 32200 121 infeasible 7.0000 31883578 32300 140 7.0000 227 7.0000 31962595 32400 166 infeasible 7.0000 32043149 32500 214 infeasible 7.0000 32110922 32600 208 7.0000 157 7.0000 32196674 32700 198 infeasible 7.0000 32294360 32800 199 infeasible 7.0000 32389519 32900 207 7.0000 222 7.0000 32473242 33000 215 7.0000 199 7.0000 32562207 Elapsed time = 4159.89 sec. (tree size = 0.16 MB, solutions = 0) 33100 215 7.0000 181 7.0000 32652964 33200 216 infeasible 7.0000 32747406 33300 202 infeasible 7.0000 32852330 33400 202 7.0000 202 7.0000 32947333 33500 213 7.0000 180 7.0000 33030681 33600 226 7.0000 218 7.0000 33113098 33700 251 infeasible 7.0000 33195870 33800 257 infeasible 7.0000 33287551 33900 259 infeasible 7.0000 33383724 34000 253 7.0000 190 7.0000 33489153 Elapsed time = 4278.10 sec. (tree size = 0.19 MB, solutions = 0) 34100 251 7.0000 213 7.0000 33589852 34200 265 7.0000 179 7.0000 33680596 34300 267 7.0000 225 7.0000 33781560 34400 303 infeasible 7.0000 33864163 34500 317 infeasible 7.0000 33953745 34600 315 7.0000 227 7.0000 34048992 34700 319 infeasible 7.0000 34143517 34800 308 7.0000 194 7.0000 34241675 34900 300 7.0000 210 7.0000 34340846 35000 304 7.0000 217 7.0000 34439719 Elapsed time = 4399.83 sec. (tree size = 0.23 MB, solutions = 0) 35100 317 infeasible 7.0000 34525843 35200 322 infeasible 7.0000 34622138 35300 318 infeasible 7.0000 34721615 35400 330 infeasible 7.0000 34819362 35500 334 infeasible 7.0000 34913988 35600 342 7.0000 217 7.0000 35015731 35700 334 infeasible 7.0000 35120130 35800 329 infeasible 7.0000 35220324 35900 333 infeasible 7.0000 35318032 36000 316 infeasible 7.0000 35432088 Elapsed time = 4525.35 sec. (tree size = 0.24 MB, solutions = 0) 36100 306 infeasible 7.0000 35546586 36200 293 infeasible 7.0000 35660435 36300 300 infeasible 7.0000 35745908 36400 303 infeasible 7.0000 35836268 36500 280 infeasible 7.0000 35937163 36600 273 infeasible 7.0000 36036607 36700 283 7.0000 223 7.0000 36124506 36800 297 7.0000 166 7.0000 36220499 36900 297 7.0000 146 7.0000 36317265 37000 293 7.0000 189 7.0000 36422929 Elapsed time = 4652.29 sec. (tree size = 0.22 MB, solutions = 0) 37100 303 7.0000 178 7.0000 36513817 37200 300 7.0000 213 7.0000 36613361 37300 284 infeasible 7.0000 36722158 37400 288 7.0000 209 7.0000 36827123 37500 288 7.0000 200 7.0000 36933154 37600 286 7.0000 202 7.0000 37038322 37700 292 7.0000 199 7.0000 37149891 37800 283 7.0000 213 7.0000 37253637 37900 293 infeasible 7.0000 37350257 38000 285 infeasible 7.0000 37454550 Elapsed time = 4784.25 sec. (tree size = 0.22 MB, solutions = 0) 38100 287 7.0000 200 7.0000 37561473 38200 277 7.0000 206 7.0000 37666436 38300 277 7.0000 196 7.0000 37772403 38400 261 7.0000 213 7.0000 37887864 38500 271 7.0000 199 7.0000 37986020 38600 261 infeasible 7.0000 38092856 38700 259 infeasible 7.0000 38197670 38800 251 infeasible 7.0000 38304455 38900 249 7.0000 235 7.0000 38404224 39000 257 infeasible 7.0000 38502473 Elapsed time = 4919.42 sec. (tree size = 0.20 MB, solutions = 0) 39100 255 7.0000 222 7.0000 38605261 39200 244 7.0000 207 7.0000 38713705 39300 233 infeasible 7.0000 38822626 39400 221 infeasible 7.0000 38921896 39500 259 7.0000 180 7.0000 39007006 39600 255 7.0000 171 7.0000 39104900 39700 251 7.0000 140 7.0000 39207123 39800 240 7.0000 197 7.0000 39316671 39900 249 7.0000 167 7.0000 39405713 40000 248 7.0000 152 7.0000 39511343 Elapsed time = 5049.77 sec. (tree size = 0.19 MB, solutions = 0) 40100 251 infeasible 7.0000 39603319 40200 237 infeasible 7.0000 39713090 40300 223 infeasible 7.0000 39823180 40400 225 infeasible 7.0000 39926222 40500 212 infeasible 7.0000 40033336 40600 223 infeasible 7.0000 40133997 40700 209 7.0000 240 7.0000 40247213 40800 213 infeasible 7.0000 40350076 40900 228 7.0000 165 7.0000 40445829 41000 258 infeasible 7.0000 40534401 Elapsed time = 5181.31 sec. (tree size = 0.20 MB, solutions = 0) 41100 272 7.0000 168 7.0000 40619119 41200 274 infeasible 7.0000 40710078 41300 293 infeasible 7.0000 40784524 41400 301 infeasible 7.0000 40873800 41500 295 infeasible 7.0000 40969135 41600 281 infeasible 7.0000 41068512 41700 272 infeasible 7.0000 41176316 41800 272 infeasible 7.0000 41258971 41900 254 infeasible 7.0000 41359691 42000 240 infeasible 7.0000 41459655 Elapsed time = 5298.47 sec. (tree size = 0.18 MB, solutions = 0) 42100 238 infeasible 7.0000 41577140 42200 221 infeasible 7.0000 41682357 42300 219 infeasible 7.0000 41771569 42400 222 7.0000 207 7.0000 41863198 42500 257 infeasible 7.0000 41932620 42600 278 7.0000 196 7.0000 42006566 42700 288 7.0000 169 7.0000 42092922 42800 296 infeasible 7.0000 42186734 42900 294 7.0000 173 7.0000 42278807 43000 271 infeasible 7.0000 42384405 Elapsed time = 5416.99 sec. (tree size = 0.21 MB, solutions = 0) 43100 271 infeasible 7.0000 42477426 43200 257 infeasible 7.0000 42584026 43300 243 infeasible 7.0000 42687090 43400 247 infeasible 7.0000 42776921 43500 241 7.0000 197 7.0000 42880279 43600 225 7.0000 209 7.0000 42993799 43700 221 7.0000 188 7.0000 43096834 43800 219 infeasible 7.0000 43187722 43900 213 7.0000 231 7.0000 43294462 44000 203 7.0000 185 7.0000 43389096 Elapsed time = 5543.96 sec. (tree size = 0.16 MB, solutions = 0) 44100 192 7.0000 234 7.0000 43483719 44200 193 7.0000 185 7.0000 43593387 44300 175 infeasible 7.0000 43699419 44400 163 7.0000 229 7.0000 43810010 44500 179 7.0000 192 7.0000 43897891 44600 175 7.0000 212 7.0000 44000778 44700 183 infeasible 7.0000 44101138 44800 204 7.0000 189 7.0000 44189966 44900 232 infeasible 7.0000 44277737 45000 220 infeasible 7.0000 44374206 Elapsed time = 5671.48 sec. (tree size = 0.17 MB, solutions = 0) 45100 223 infeasible 7.0000 44466662 45200 227 infeasible 7.0000 44563271 45300 239 infeasible 7.0000 44653987 45400 237 infeasible 7.0000 44752184 45500 237 7.0000 212 7.0000 44845310 45600 223 infeasible 7.0000 44943646 45700 212 7.0000 209 7.0000 45037287 45800 190 infeasible 7.0000 45131092 45900 199 infeasible 7.0000 45223759 46000 210 7.0000 170 7.0000 45308060 Elapsed time = 5788.85 sec. (tree size = 0.16 MB, solutions = 0) 46100 213 infeasible 7.0000 45406772 46200 212 7.0000 154 7.0000 45502814 46300 211 7.0000 186 7.0000 45593018 46400 203 infeasible 7.0000 45693919 46500 191 7.0000 210 7.0000 45804166 46600 176 infeasible 7.0000 45911772 46700 176 7.0000 217 7.0000 46019480 46800 162 infeasible 7.0000 46127180 46900 152 7.0000 233 7.0000 46240383 47000 134 7.0000 205 7.0000 46352702 Elapsed time = 5923.82 sec. (tree size = 0.10 MB, solutions = 0) 47100 130 infeasible 7.0000 46452383 47200 122 7.0000 263 7.0000 46556420 47300 160 7.0000 229 7.0000 46634119 47400 184 7.0000 225 7.0000 46720011 47500 223 7.0000 220 7.0000 46805165 47600 249 infeasible 7.0000 46878137 47700 242 infeasible 7.0000 46971071 47800 250 7.0000 201 7.0000 47056512 47900 239 7.0000 240 7.0000 47163052 48000 265 7.0000 200 7.0000 47247919 Elapsed time = 6044.98 sec. (tree size = 0.20 MB, solutions = 0) 48100 264 infeasible 7.0000 47343976 48200 268 infeasible 7.0000 47437645 48300 272 7.0000 203 7.0000 47528582 48400 291 7.0000 230 7.0000 47617374 48500 307 7.0000 159 7.0000 47703822 48600 311 infeasible 7.0000 47798387 48700 313 infeasible 7.0000 47897410 48800 295 infeasible 7.0000 48002461 48900 285 7.0000 177 7.0000 48105189 49000 279 infeasible 7.0000 48216640 Elapsed time = 6167.68 sec. (tree size = 0.21 MB, solutions = 0) 49100 287 7.0000 205 7.0000 48316849 49200 244 7.0000 203 7.0000 48437778 49300 274 7.0000 214 7.0000 48531892 49400 282 7.0000 202 7.0000 48630097 49500 298 infeasible 7.0000 48716642 49600 282 7.0000 196 7.0000 48819606 49700 293 7.0000 165 7.0000 48917206 49800 303 infeasible 7.0000 49014068 49900 286 infeasible 7.0000 49124409 50000 283 7.0000 212 7.0000 49222813 Elapsed time = 6300.62 sec. (tree size = 0.21 MB, solutions = 0) 50100 288 infeasible 7.0000 49312842 50200 303 infeasible 7.0000 49406221 50300 287 infeasible 7.0000 49507622 50400 315 7.0000 219 7.0000 49597688 50500 323 7.0000 199 7.0000 49700223 50600 350 infeasible 7.0000 49785508 50700 350 infeasible 7.0000 49888618 50800 348 7.0000 182 7.0000 49989775 50900 336 7.0000 210 7.0000 50089615 51000 337 infeasible 7.0000 50186018 Elapsed time = 6424.82 sec. (tree size = 0.25 MB, solutions = 0) 51100 343 infeasible 7.0000 50288585 51200 321 infeasible 7.0000 50398327 51300 329 infeasible 7.0000 50493731 51400 332 infeasible 7.0000 50593486 51500 313 infeasible 7.0000 50707981 51600 305 infeasible 7.0000 50813847 51700 269 infeasible 7.0000 50940347 51800 263 7.0000 200 7.0000 51049311 51900 239 infeasible 7.0000 51166543 52000 223 infeasible 7.0000 51284846 Elapsed time = 6569.09 sec. (tree size = 0.17 MB, solutions = 0) 52100 230 infeasible 7.0000 51389203 52200 236 infeasible 7.0000 51485354 52300 234 7.0000 257 7.0000 51591239 52400 232 infeasible 7.0000 51703639 52500 228 7.0000 232 7.0000 51816452 52600 230 infeasible 7.0000 51925974 52700 228 7.0000 238 7.0000 52042598 52800 192 infeasible 7.0000 52163901 52900 203 7.0000 211 7.0000 52264611 53000 204 7.0000 211 7.0000 52372398 Elapsed time = 6706.72 sec. (tree size = 0.16 MB, solutions = 0) 53100 200 infeasible 7.0000 52479965 53200 201 infeasible 7.0000 52580447 53300 198 infeasible 7.0000 52680757 53400 204 7.0000 213 7.0000 52780549 53500 204 7.0000 211 7.0000 52889603 53600 186 infeasible 7.0000 52996233 53700 183 infeasible 7.0000 53103107 53800 167 infeasible 7.0000 53223457 53900 156 7.0000 215 7.0000 53332912 54000 134 infeasible 7.0000 53440009 Elapsed time = 6841.90 sec. (tree size = 0.11 MB, solutions = 0) 54100 153 7.0000 209 7.0000 53524410 54200 167 7.0000 220 7.0000 53609564 54300 166 7.0000 216 7.0000 53704358 54400 179 infeasible 7.0000 53800454 54500 178 infeasible 7.0000 53907696 54600 161 7.0000 206 7.0000 54022020 54700 164 7.0000 209 7.0000 54128390 54800 150 infeasible 7.0000 54252417 54900 157 infeasible 7.0000 54361176 55000 163 7.0000 213 7.0000 54467393 Elapsed time = 6977.81 sec. (tree size = 0.13 MB, solutions = 0) 55100 161 infeasible 7.0000 54578722 55200 159 infeasible 7.0000 54688592 55300 135 infeasible 7.0000 54811125 55400 157 7.0000 198 7.0000 54894104 55500 171 7.0000 189 7.0000 54987082 55600 175 7.0000 217 7.0000 55086601 55700 179 7.0000 172 7.0000 55181706 55800 179 infeasible 7.0000 55278488 55900 177 infeasible 7.0000 55382989 56000 219 7.0000 181 7.0000 55459344 Elapsed time = 7102.86 sec. (tree size = 0.17 MB, solutions = 0) 56100 199 7.0000 207 7.0000 55566443 56200 181 7.0000 224 7.0000 55675032 56300 197 infeasible 7.0000 55775111 56400 203 7.0000 197 7.0000 55875901 56500 200 7.0000 209 7.0000 55986309 56600 192 infeasible 7.0000 56095700 56700 188 infeasible 7.0000 56204691 Command terminated by signal 9 7199.58user 0.86system 2:00:00elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+0outputs (0major+13177minor)pagefaults 0swaps