MINTO, a Mixed INTeger Optimizer -- version 3.1.0 (LINUX/CPLEX 8.1) Copyright (C) 1992-2004 -- M.W.P. Savelsbergh ILOG CPLEX 9.000, licensed to "arizona-tempe, az", options: e m b q p=4 MINTO: Solving problem mik MINTO: Problem statistics: Number of constraints: 445 Number of variables: 520 (0) Number of nonzero's: 28270 Number of continuous variables: 20 Number of binary variables: 75 Number of integer variables: 425 MINTO: Presolve eliminated 370 constraints and 0 variables Presolve made 350 coefficient changes MINTO: Row structure analysis (after preprocessing): Number of constraints of type MIXUB: 75 MINTO control parameters: Objective sense : minimization Output level : 1 Maximum cpu time : 1000001 Maximum #nodes : 1000000 MINTO system function activity levels: Bound improvement : active Branching type : 3 Node selection type : 5 Preprocessing level : 2 Primal heuristic : active Clique cuts : active Implication cuts : active Knapsack covers : active GUB covers : active Flow covers : active Row management : active Restarts : active Force branching : 1 Advanced basis : not active Names mode level : 0 MINTO: Updating primal (MINTO heuristic) Value: -382978.00 Elapsed time: 0.23 Node: 100 MINTO: Updating primal (MINTO heuristic) Value: -335778.00 Elapsed time: 0.30 Node: 200 MINTO: Updating primal (Integral solution) Value: 50314.00 Elapsed time: 0.32 Node: 232 MINTO: Updating primal (Integral solution) Value: 50322.00 Elapsed time: 0.41 Node: 576 MINTO: ... evaluated 1000 nodes ... (best bound 56837.078549, queue 87) MINTO: ... evaluated 2000 nodes ... (best bound 56837.078549, queue 91) MINTO: ... evaluated 3000 nodes ... (best bound 56837.078549, queue 89) MINTO: ... evaluated 4000 nodes ... (best bound 56837.078549, queue 89) MINTO: ... evaluated 5000 nodes ... (best bound 56837.078549, queue 71) MINTO: ... evaluated 6000 nodes ... (best bound 56837.078549, queue 59) MINTO: ... evaluated 7000 nodes ... (best bound 56837.078549, queue 69) MINTO: ... evaluated 8000 nodes ... (best bound 56837.078549, queue 55) MINTO: ... evaluated 9000 nodes ... (best bound 56837.078549, queue 59) MINTO: ... evaluated 10000 nodes ... (best bound 56837.078549, queue 43) MINTO: ... evaluated 11000 nodes ... (best bound 56837.078549, queue 45) MINTO: ... evaluated 12000 nodes ... (best bound 56837.078549, queue 57) MINTO: ... evaluated 13000 nodes ... (best bound 56837.078549, queue 45) MINTO: ... evaluated 14000 nodes ... (best bound 56837.078549, queue 33) MINTO: ... evaluated 15000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 16000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 17000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 18000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 19000 nodes ... (best bound 56837.078549, queue 51) MINTO: ... evaluated 20000 nodes ... (best bound 56837.078549, queue 33) MINTO: ... evaluated 21000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 22000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 23000 nodes ... (best bound 56837.078549, queue 33) MINTO: ... evaluated 24000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 25000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 26000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 27000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 28000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 29000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 30000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 31000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 32000 nodes ... (best bound 56837.078549, queue 41) MINTO: ... evaluated 33000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 34000 nodes ... (best bound 56837.078549, queue 33) MINTO: ... evaluated 35000 nodes ... (best bound 56837.078549, queue 35) MINTO: ... evaluated 36000 nodes ... (best bound 56837.078549, queue 33) MINTO: ... evaluated 37000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 38000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 39000 nodes ... (best bound 56837.078549, queue 33) MINTO: ... evaluated 40000 nodes ... (best bound 56837.078549, queue 33) MINTO: ... evaluated 41000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 42000 nodes ... (best bound 56837.078549, queue 33) MINTO: ... evaluated 43000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 44000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 45000 nodes ... (best bound 56837.078549, queue 33) MINTO: ... evaluated 46000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 47000 nodes ... (best bound 56837.078549, queue 41) MINTO: ... evaluated 48000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 49000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 50000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 51000 nodes ... (best bound 56837.078549, queue 25) MINTO: ... evaluated 52000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 53000 nodes ... (best bound 56837.078549, queue 25) MINTO: ... evaluated 54000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 55000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 56000 nodes ... (best bound 56837.078549, queue 51) MINTO: ... evaluated 57000 nodes ... (best bound 56837.078549, queue 35) MINTO: ... evaluated 58000 nodes ... (best bound 56837.078549, queue 53) MINTO: ... evaluated 59000 nodes ... (best bound 56837.078549, queue 45) MINTO: ... evaluated 60000 nodes ... (best bound 56837.078549, queue 53) MINTO: ... evaluated 61000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 62000 nodes ... (best bound 56837.078549, queue 33) MINTO: ... evaluated 63000 nodes ... (best bound 56837.078549, queue 33) MINTO: ... evaluated 64000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 65000 nodes ... (best bound 56837.078549, queue 45) MINTO: ... evaluated 66000 nodes ... (best bound 56837.078549, queue 33) MINTO: ... evaluated 67000 nodes ... (best bound 56837.078549, queue 35) MINTO: ... evaluated 68000 nodes ... (best bound 56837.078549, queue 43) MINTO: ... evaluated 69000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 70000 nodes ... (best bound 56837.078549, queue 33) MINTO: ... evaluated 71000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 72000 nodes ... (best bound 56837.078549, queue 33) MINTO: ... evaluated 73000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 74000 nodes ... (best bound 56837.078549, queue 51) MINTO: ... evaluated 75000 nodes ... (best bound 56837.078549, queue 35) MINTO: ... evaluated 76000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 77000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 78000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 79000 nodes ... (best bound 56837.078549, queue 33) MINTO: ... evaluated 80000 nodes ... (best bound 56837.078549, queue 35) MINTO: ... evaluated 81000 nodes ... (best bound 56837.078549, queue 41) MINTO: ... evaluated 82000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 83000 nodes ... (best bound 56837.078549, queue 33) MINTO: ... evaluated 84000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 85000 nodes ... (best bound 56837.078549, queue 47) MINTO: ... evaluated 86000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 87000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 88000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 89000 nodes ... (best bound 56837.078549, queue 43) MINTO: ... evaluated 90000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 91000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 92000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 93000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 94000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 95000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 96000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 97000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 98000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 99000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 100000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 101000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 102000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 103000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 104000 nodes ... (best bound 56837.078549, queue 39) MINTO: ... evaluated 105000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 106000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 107000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 108000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 109000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 110000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 111000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 112000 nodes ... (best bound 56837.078549, queue 33) MINTO: ... evaluated 113000 nodes ... (best bound 56837.078549, queue 41) MINTO: ... evaluated 114000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 115000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 116000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 117000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 118000 nodes ... (best bound 56837.078549, queue 43) MINTO: ... evaluated 119000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 120000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 121000 nodes ... (best bound 56837.078549, queue 25) MINTO: ... evaluated 122000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 123000 nodes ... (best bound 56837.078549, queue 25) MINTO: ... evaluated 124000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 125000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 126000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 127000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 128000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 129000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 130000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 131000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 132000 nodes ... (best bound 56837.078549, queue 25) MINTO: ... evaluated 133000 nodes ... (best bound 56837.078549, queue 33) MINTO: ... evaluated 134000 nodes ... (best bound 56837.078549, queue 25) MINTO: ... evaluated 135000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 136000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 137000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 138000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 139000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 140000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 141000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 142000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 143000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 144000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 145000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 146000 nodes ... (best bound 56837.078549, queue 25) MINTO: ... evaluated 147000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 148000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 149000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 150000 nodes ... (best bound 56837.078549, queue 25) MINTO: ... evaluated 151000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 152000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 153000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 154000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 155000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 156000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 157000 nodes ... (best bound 56837.078549, queue 43) MINTO: ... evaluated 158000 nodes ... (best bound 56837.078549, queue 33) MINTO: ... evaluated 159000 nodes ... (best bound 56837.078549, queue 33) MINTO: ... evaluated 160000 nodes ... (best bound 56837.078549, queue 33) MINTO: ... evaluated 161000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 162000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 163000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 164000 nodes ... (best bound 56837.078549, queue 33) MINTO: ... evaluated 165000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 166000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 167000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 168000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 169000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 170000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 171000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 172000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 173000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 174000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 175000 nodes ... (best bound 56837.078549, queue 25) MINTO: ... evaluated 176000 nodes ... (best bound 56837.078549, queue 25) MINTO: ... evaluated 177000 nodes ... (best bound 56837.078549, queue 25) MINTO: ... evaluated 178000 nodes ... (best bound 56837.078549, queue 25) MINTO: ... evaluated 179000 nodes ... (best bound 56837.078549, queue 25) MINTO: ... evaluated 180000 nodes ... (best bound 56837.078549, queue 41) MINTO: ... evaluated 181000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 182000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 183000 nodes ... (best bound 56837.078549, queue 25) MINTO: ... evaluated 184000 nodes ... (best bound 56837.078549, queue 33) MINTO: ... evaluated 185000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 186000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 187000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 188000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 189000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 190000 nodes ... (best bound 56837.078549, queue 25) MINTO: ... evaluated 191000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 192000 nodes ... (best bound 56837.078549, queue 41) MINTO: ... evaluated 193000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 194000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 195000 nodes ... (best bound 56837.078549, queue 33) MINTO: ... evaluated 196000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 197000 nodes ... (best bound 56837.078549, queue 33) MINTO: ... evaluated 198000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 199000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 200000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 201000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 202000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 203000 nodes ... (best bound 56837.078549, queue 31) MINTO: ... evaluated 204000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 205000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 206000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 207000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 208000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 209000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 210000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 211000 nodes ... (best bound 56837.078549, queue 25) MINTO: ... evaluated 212000 nodes ... (best bound 56837.078549, queue 25) MINTO: ... evaluated 213000 nodes ... (best bound 56837.078549, queue 25) MINTO: ... evaluated 214000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 215000 nodes ... (best bound 56837.078549, queue 23) MINTO: ... evaluated 216000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 217000 nodes ... (best bound 56837.078549, queue 23) MINTO: ... evaluated 218000 nodes ... (best bound 56837.078549, queue 23) MINTO: ... evaluated 219000 nodes ... (best bound 56837.078549, queue 25) MINTO: ... evaluated 220000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 221000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 222000 nodes ... (best bound 56837.078549, queue 23) MINTO: ... evaluated 223000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 224000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 225000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 226000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 227000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 228000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 229000 nodes ... (best bound 56837.078549, queue 25) MINTO: ... evaluated 230000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 231000 nodes ... (best bound 56837.078549, queue 23) MINTO: ... evaluated 232000 nodes ... (best bound 56837.078549, queue 23) MINTO: ... evaluated 233000 nodes ... (best bound 56837.078549, queue 23) MINTO: ... evaluated 234000 nodes ... (best bound 56837.078549, queue 23) MINTO: ... evaluated 235000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 236000 nodes ... (best bound 56837.078549, queue 25) MINTO: ... evaluated 237000 nodes ... (best bound 56837.078549, queue 25) MINTO: ... evaluated 238000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 239000 nodes ... (best bound 56837.078549, queue 21) MINTO: ... evaluated 240000 nodes ... (best bound 56837.078549, queue 35) MINTO: ... evaluated 241000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 242000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 243000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 244000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 245000 nodes ... (best bound 56837.078549, queue 25) MINTO: ... evaluated 246000 nodes ... (best bound 56837.078549, queue 21) MINTO: ... evaluated 247000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 248000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 249000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 250000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 251000 nodes ... (best bound 56837.078549, queue 29) MINTO: ... evaluated 252000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 253000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 254000 nodes ... (best bound 56837.078549, queue 35) MINTO: ... evaluated 255000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 256000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 257000 nodes ... (best bound 56837.078549, queue 27) MINTO: ... evaluated 258000 nodes ... (best bound 56837.078549, queue 25) MINTO: ... evaluated 259000 nodes ... (best bound 56837.078549, queue 25) MINTO: ... evaluated 260000 nodes ... (best bound 56837.078549, queue 23) MINTO: ... evaluated 261000 nodes ... (best bound 56837.078549, queue 25) MINTO: ... evaluated 262000 nodes ... (best bound 56837.078549, queue 27) Abort ! [PREPROC/PREP/branch.c: 295] Command exited with non-zero status 1 65.96user 1.45system 1:07.41elapsed 100%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+0outputs (0major+2964minor)pagefaults 0swaps