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 mas74 MINTO: Problem statistics: Number of constraints: 13 Number of variables: 151 (0) Number of nonzero's: 1706 Number of continuous variables: 1 Number of binary variables: 150 Number of integer variables: 0 MINTO: Presolve eliminated 0 constraints and 1 variables Presolve made 0 coefficient changes MINTO: Row structure analysis (after preprocessing): Number of constraints of type MIXUB: 12 Number of constraints of type ALLBINUB: 1 MINTO control parameters: Objective sense : minimization Output level : 1 Maximum cpu time : 1000000 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: -14738.47 Elapsed time: 0.01 Node: 1 MINTO: Updating primal (MINTO heuristic) Value: -13279.74 Elapsed time: 0.08 Node: 100 MINTO: Updating primal (MINTO heuristic) Value: -13076.57 Elapsed time: 0.14 Node: 200 MINTO: ... evaluated 1000 nodes ... (best bound -10563.404191, queue 999) MINTO: Updating primal (MINTO heuristic) Value: -12872.02 Elapsed time: 0.59 Node: 1300 MINTO: ... evaluated 2000 nodes ... (best bound -10563.404191, queue 1999) MINTO: ... evaluated 3000 nodes ... (best bound -10563.404191, queue 2999) MINTO: Updating primal (MINTO heuristic) Value: -12774.78 Elapsed time: 1.67 Node: 3400 MINTO: ... evaluated 4000 nodes ... (best bound -10563.404191, queue 3999) MINTO: ... evaluated 5000 nodes ... (best bound -10563.404191, queue 4999) MINTO: ... evaluated 6000 nodes ... (best bound -10563.404191, queue 5997) MINTO: ... evaluated 7000 nodes ... (best bound -10563.404191, queue 6997) MINTO: ... evaluated 8000 nodes ... (best bound -10563.404191, queue 7997) MINTO: Updating primal (MINTO heuristic) Value: -11801.19 Elapsed time: 5.42 Node: 8500 MINTO: ... evaluated 9000 nodes ... (best bound -10563.404191, queue 8969) MINTO: ... evaluated 10000 nodes ... (best bound -10563.404191, queue 9965) MINTO: ... evaluated 11000 nodes ... (best bound -10563.404191, queue 10961) MINTO: ... evaluated 12000 nodes ... (best bound -10563.404191, queue 11957) MINTO: ... evaluated 13000 nodes ... (best bound -10563.404191, queue 12947) MINTO: ... evaluated 14000 nodes ... (best bound -10563.404191, queue 13943) MINTO: ... evaluated 15000 nodes ... (best bound -10563.404191, queue 14941) MINTO: ... evaluated 16000 nodes ... (best bound -10563.404191, queue 15925) MINTO: ... evaluated 17000 nodes ... (best bound -10563.404191, queue 16909) MINTO: ... evaluated 18000 nodes ... (best bound -10563.404191, queue 17891) MINTO: ... evaluated 19000 nodes ... (best bound -10563.404191, queue 18875) MINTO: ... evaluated 20000 nodes ... (best bound -10563.404191, queue 19847) MINTO: ... evaluated 21000 nodes ... (best bound -10563.404191, queue 20827) MINTO: ... evaluated 22000 nodes ... (best bound -10563.404191, queue 21799) MINTO: ... evaluated 23000 nodes ... (best bound -10563.404191, queue 22785) MINTO: ... evaluated 24000 nodes ... (best bound -10563.404191, queue 23769) MINTO: ... evaluated 25000 nodes ... (best bound -10563.404191, queue 24759) MINTO: ... evaluated 26000 nodes ... (best bound -10563.404191, queue 25715) MINTO: ... evaluated 27000 nodes ... (best bound -10563.404191, queue 26683) MINTO: ... evaluated 28000 nodes ... (best bound -10563.404191, queue 27661) MINTO: ... evaluated 29000 nodes ... (best bound -10563.404191, queue 28639) MINTO: ... evaluated 30000 nodes ... (best bound -10563.404191, queue 29617) MINTO: ... evaluated 31000 nodes ... (best bound -10563.404191, queue 30593) MINTO: ... evaluated 32000 nodes ... (best bound -10563.404191, queue 31565) MINTO: ... evaluated 33000 nodes ... (best bound -10563.404191, queue 32531) MINTO: ... evaluated 34000 nodes ... (best bound -10563.404191, queue 33475) MINTO: ... evaluated 35000 nodes ... (best bound -10563.404191, queue 34453) MINTO: ... evaluated 36000 nodes ... (best bound -10563.404191, queue 35413) MINTO: ... evaluated 37000 nodes ... (best bound -10563.404191, queue 36373) MINTO: ... evaluated 38000 nodes ... (best bound -10563.404191, queue 37349) MINTO: ... evaluated 39000 nodes ... (best bound -10563.404191, queue 38303) MINTO: ... evaluated 40000 nodes ... (best bound -10563.404191, queue 39265) MINTO: ... evaluated 41000 nodes ... (best bound -10563.404191, queue 40221) MINTO: ... evaluated 42000 nodes ... (best bound -10563.404191, queue 41205) MINTO: ... evaluated 43000 nodes ... (best bound -10563.404191, queue 42165) MINTO: ... evaluated 44000 nodes ... (best bound -10563.404191, queue 43137) MINTO: ... evaluated 45000 nodes ... (best bound -10563.404191, queue 44039) MINTO: ... evaluated 46000 nodes ... (best bound -10563.404191, queue 44971) MINTO: ... evaluated 47000 nodes ... (best bound -10563.404191, queue 45915) MINTO: ... evaluated 48000 nodes ... (best bound -10563.404191, queue 46825) MINTO: ... evaluated 49000 nodes ... (best bound -10563.404191, queue 47741) MINTO: ... evaluated 50000 nodes ... (best bound -10563.404191, queue 48665) MINTO: ... evaluated 51000 nodes ... (best bound -10563.404191, queue 49545) MINTO: ... evaluated 52000 nodes ... (best bound -10563.404191, queue 50457) MINTO: ... evaluated 53000 nodes ... (best bound -10563.404191, queue 51385) MINTO: ... evaluated 54000 nodes ... (best bound -10563.404191, queue 52301) MINTO: ... evaluated 55000 nodes ... (best bound -10563.404191, queue 53237) MINTO: ... evaluated 56000 nodes ... (best bound -10563.404191, queue 54113) MINTO: ... evaluated 57000 nodes ... (best bound -10563.404191, queue 55025) MINTO: ... evaluated 58000 nodes ... (best bound -10563.404191, queue 55949) MINTO: ... evaluated 59000 nodes ... (best bound -10563.404191, queue 56855) MINTO: ... evaluated 60000 nodes ... (best bound -10563.404191, queue 57759) MINTO: ... evaluated 61000 nodes ... (best bound -10563.404191, queue 58641) MINTO: ... evaluated 62000 nodes ... (best bound -10563.404191, queue 59533) MINTO: ... evaluated 63000 nodes ... (best bound -10563.404191, queue 60459) MINTO: ... evaluated 64000 nodes ... (best bound -10609.560145, queue 61427) MINTO: ... evaluated 65000 nodes ... (best bound -10609.560145, queue 62415) MINTO: ... evaluated 66000 nodes ... (best bound -10609.560145, queue 63351) MINTO: ... evaluated 67000 nodes ... (best bound -10609.560145, queue 64243) MINTO: ... evaluated 68000 nodes ... (best bound -10633.591833, queue 65103) MINTO: ... evaluated 69000 nodes ... (best bound -10633.591833, queue 65995) MINTO: ... evaluated 70000 nodes ... (best bound -10633.591833, queue 66949) MINTO: ... evaluated 71000 nodes ... (best bound -10633.591833, queue 67867) MINTO: ... evaluated 72000 nodes ... (best bound -10633.591833, queue 68749) MINTO: ... evaluated 73000 nodes ... (best bound -10633.591833, queue 69689) MINTO: ... evaluated 74000 nodes ... (best bound -10633.591833, queue 70593) MINTO: ... evaluated 75000 nodes ... (best bound -10633.591833, queue 71431) MINTO: ... evaluated 76000 nodes ... (best bound -10633.591833, queue 72349) MINTO: ... evaluated 77000 nodes ... (best bound -10633.591833, queue 73253) MINTO: ... evaluated 78000 nodes ... (best bound -10633.591833, queue 74111) MINTO: ... evaluated 79000 nodes ... (best bound -10633.591833, queue 74905) MINTO: ... evaluated 80000 nodes ... (best bound -10633.591833, queue 75757) MINTO: ... evaluated 81000 nodes ... (best bound -10633.591833, queue 76607) MINTO: ... evaluated 82000 nodes ... (best bound -10633.591833, queue 77493) MINTO: ... evaluated 83000 nodes ... (best bound -10633.591833, queue 78299) MINTO: ... evaluated 84000 nodes ... (best bound -10633.591833, queue 79189) MINTO: ... evaluated 85000 nodes ... (best bound -10633.591833, queue 80047) MINTO: ... evaluated 86000 nodes ... (best bound -10633.591833, queue 80901) MINTO: ... evaluated 87000 nodes ... (best bound -10633.591833, queue 81689) MINTO: ... evaluated 88000 nodes ... (best bound -10633.591833, queue 82505) MINTO: ... evaluated 89000 nodes ... (best bound -10633.591833, queue 83297) MINTO: ... evaluated 90000 nodes ... (best bound -10633.591833, queue 84057) MINTO: ... evaluated 91000 nodes ... (best bound -10633.591833, queue 84891) MINTO: ... evaluated 92000 nodes ... (best bound -10633.591833, queue 85693) MINTO: ... evaluated 93000 nodes ... (best bound -10633.591833, queue 86485) MINTO: ... evaluated 94000 nodes ... (best bound -10652.750596, queue 87233) MINTO: ... evaluated 95000 nodes ... (best bound -10655.694779, queue 88009) MINTO: ... evaluated 96000 nodes ... (best bound -10655.694779, queue 88805) MINTO: ... evaluated 97000 nodes ... (best bound -10655.694779, queue 89561) MINTO: ... evaluated 98000 nodes ... (best bound -10655.694779, queue 90383) MINTO: ... evaluated 99000 nodes ... (best bound -10655.694779, queue 91185) MINTO: ... evaluated 100000 nodes ... (best bound -10655.694779, queue 91917) MINTO: ... evaluated 101000 nodes ... (best bound -10655.694779, queue 92627) MINTO: ... evaluated 102000 nodes ... (best bound -10655.694779, queue 93313) MINTO: ... evaluated 103000 nodes ... (best bound -10655.694779, queue 94133) MINTO: ... evaluated 104000 nodes ... (best bound -10655.694779, queue 94947) MINTO: ... evaluated 105000 nodes ... (best bound -10655.694779, queue 95681) MINTO: ... evaluated 106000 nodes ... (best bound -10655.694779, queue 96463) MINTO: ... evaluated 107000 nodes ... (best bound -10655.694779, queue 97139) MINTO: ... evaluated 108000 nodes ... (best bound -10655.694779, queue 97897) MINTO: ... evaluated 109000 nodes ... (best bound -10655.694779, queue 98617) MINTO: ... evaluated 110000 nodes ... (best bound -10655.694779, queue 99295) MINTO: ... evaluated 111000 nodes ... (best bound -10655.694779, queue 100007) MINTO: ... evaluated 112000 nodes ... (best bound -10655.694779, queue 100665) MINTO: ... evaluated 113000 nodes ... (best bound -10655.694779, queue 101397) MINTO: ... evaluated 114000 nodes ... (best bound -10655.694779, queue 102157) MINTO: ... evaluated 115000 nodes ... (best bound -10655.694779, queue 102941) MINTO: ... evaluated 116000 nodes ... (best bound -10655.694779, queue 103643) MINTO: ... evaluated 117000 nodes ... (best bound -10655.694779, queue 104323) MINTO: ... evaluated 118000 nodes ... (best bound -10655.694779, queue 104973) MINTO: ... evaluated 119000 nodes ... (best bound -10655.694779, queue 105615) MINTO: ... evaluated 120000 nodes ... (best bound -10655.694779, queue 106311) MINTO: ... evaluated 121000 nodes ... (best bound -10655.694779, queue 106991) MINTO: ... evaluated 122000 nodes ... (best bound -10655.694779, queue 107635) MINTO: ... evaluated 123000 nodes ... (best bound -10655.694779, queue 108291) MINTO: ... evaluated 124000 nodes ... (best bound -10655.694779, queue 108959) MINTO: ... evaluated 125000 nodes ... (best bound -10655.694779, queue 109605) MINTO: ... evaluated 126000 nodes ... (best bound -10655.694779, queue 110273) MINTO: ... evaluated 127000 nodes ... (best bound -10655.694779, queue 110895) MINTO: ... evaluated 128000 nodes ... (best bound -10655.694779, queue 111517) MINTO: ... evaluated 129000 nodes ... (best bound -10655.694779, queue 112097) MINTO: ... evaluated 130000 nodes ... (best bound -10655.694779, queue 112737) MINTO: ... evaluated 131000 nodes ... (best bound -10655.694779, queue 113335) MINTO: ... evaluated 132000 nodes ... (best bound -10655.694779, queue 113957) MINTO: ... evaluated 133000 nodes ... (best bound -10655.694779, queue 114559) MINTO: ... evaluated 134000 nodes ... (best bound -10655.694779, queue 115159) MINTO: ... evaluated 135000 nodes ... (best bound -10655.694779, queue 115785) MINTO: ... evaluated 136000 nodes ... (best bound -10655.694779, queue 116405) MINTO: ... evaluated 137000 nodes ... (best bound -10655.694779, queue 116989) MINTO: ... evaluated 138000 nodes ... (best bound -10655.694779, queue 117539) MINTO: ... evaluated 139000 nodes ... (best bound -10655.694779, queue 118075) MINTO: ... evaluated 140000 nodes ... (best bound -10655.694779, queue 118589) MINTO: ... evaluated 141000 nodes ... (best bound -10655.694779, queue 119121) MINTO: ... evaluated 142000 nodes ... (best bound -10655.694779, queue 119587) MINTO: ... evaluated 143000 nodes ... (best bound -10655.694779, queue 119821) MINTO: ... evaluated 144000 nodes ... (best bound -10655.694779, queue 119873) MINTO: ... evaluated 145000 nodes ... (best bound -10655.694779, queue 119921) MINTO: ... evaluated 146000 nodes ... (best bound -10655.694779, queue 119999) MINTO: ... evaluated 147000 nodes ... (best bound -10655.694779, queue 120119) MINTO: ... evaluated 148000 nodes ... (best bound -10655.694779, queue 120235) MINTO: ... evaluated 149000 nodes ... (best bound -10655.694779, queue 120281) MINTO: ... evaluated 150000 nodes ... (best bound -10655.694779, queue 120349) MINTO: ... evaluated 151000 nodes ... (best bound -10655.694779, queue 120389) MINTO: ... evaluated 152000 nodes ... (best bound -10655.694779, queue 120477) MINTO: ... evaluated 153000 nodes ... (best bound -10655.694779, queue 120451) MINTO: ... evaluated 154000 nodes ... (best bound -10655.694779, queue 120467) MINTO: ... evaluated 155000 nodes ... (best bound -10655.694779, queue 120585) MINTO: ... evaluated 156000 nodes ... (best bound -10655.694779, queue 120641) MINTO: ... evaluated 157000 nodes ... (best bound -10655.694779, queue 120691) MINTO: ... evaluated 158000 nodes ... (best bound -10655.694779, queue 120769) MINTO: ... evaluated 159000 nodes ... (best bound -10655.694779, queue 120873) MINTO: ... evaluated 160000 nodes ... (best bound -10655.694779, queue 121063) MINTO: ... evaluated 161000 nodes ... (best bound -10655.694779, queue 121135) MINTO: ... evaluated 162000 nodes ... (best bound -10655.694779, queue 121191) MINTO: ... evaluated 163000 nodes ... (best bound -10655.694779, queue 121307) MINTO: ... evaluated 164000 nodes ... (best bound -10655.694779, queue 121339) MINTO: ... evaluated 165000 nodes ... (best bound -10655.694779, queue 121387) MINTO: ... evaluated 166000 nodes ... (best bound -10655.694779, queue 121531) MINTO: ... evaluated 167000 nodes ... (best bound -10655.694779, queue 121631) MINTO: ... evaluated 168000 nodes ... (best bound -10655.694779, queue 121771) MINTO: ... evaluated 169000 nodes ... (best bound -10655.694779, queue 121919) MINTO: ... evaluated 170000 nodes ... (best bound -10655.694779, queue 121967) MINTO: ... evaluated 171000 nodes ... (best bound -10655.694779, queue 122131) MINTO: ... evaluated 172000 nodes ... (best bound -10655.694779, queue 122249) MINTO: ... evaluated 173000 nodes ... (best bound -10655.694779, queue 122311) MINTO: ... evaluated 174000 nodes ... (best bound -10655.694779, queue 122489) MINTO: ... evaluated 175000 nodes ... (best bound -10655.694779, queue 122577) MINTO: ... evaluated 176000 nodes ... (best bound -10655.694779, queue 122753) MINTO: ... evaluated 177000 nodes ... (best bound -10655.694779, queue 122903) MINTO: ... evaluated 178000 nodes ... (best bound -10655.694779, queue 123029) MINTO: ... evaluated 179000 nodes ... (best bound -10655.694779, queue 123133) MINTO: ... evaluated 180000 nodes ... (best bound -10655.694779, queue 123355) MINTO: ... evaluated 181000 nodes ... (best bound -10655.694779, queue 123523) MINTO: ... evaluated 182000 nodes ... (best bound -10655.694779, queue 123641) MINTO: ... evaluated 183000 nodes ... (best bound -10655.694779, queue 123845) MINTO: ... evaluated 184000 nodes ... (best bound -10655.694779, queue 124023) MINTO: ... evaluated 185000 nodes ... (best bound -10655.694779, queue 124163) MINTO: ... evaluated 186000 nodes ... (best bound -10655.694779, queue 124275) MINTO: ... evaluated 187000 nodes ... (best bound -10655.694779, queue 124463) MINTO: ... evaluated 188000 nodes ... (best bound -10655.694779, queue 124675) MINTO: ... evaluated 189000 nodes ... (best bound -10655.694779, queue 124809) MINTO: ... evaluated 190000 nodes ... (best bound -10655.694779, queue 125039) MINTO: ... evaluated 191000 nodes ... (best bound -10655.694779, queue 125219) MINTO: ... evaluated 192000 nodes ... (best bound -10655.694779, queue 125355) MINTO: ... evaluated 193000 nodes ... (best bound -10655.694779, queue 125555) MINTO: ... evaluated 194000 nodes ... (best bound -10655.694779, queue 125757) MINTO: ... evaluated 195000 nodes ... (best bound -10655.694779, queue 125973) MINTO: ... evaluated 196000 nodes ... (best bound -10655.694779, queue 126261) MINTO: ... evaluated 197000 nodes ... (best bound -10655.694779, queue 126531) MINTO: ... evaluated 198000 nodes ... (best bound -10655.694779, queue 126731) MINTO: ... evaluated 199000 nodes ... (best bound -10655.694779, queue 126895) MINTO: ... evaluated 200000 nodes ... (best bound -10655.694779, queue 127105) MINTO: ... evaluated 201000 nodes ... (best bound -10655.694779, queue 127375) MINTO: ... evaluated 202000 nodes ... (best bound -10655.694779, queue 127603) MINTO: ... evaluated 203000 nodes ... (best bound -10655.694779, queue 127805) MINTO: ... evaluated 204000 nodes ... (best bound -10655.694779, queue 128085) MINTO: ... evaluated 205000 nodes ... (best bound -10655.694779, queue 128429) MINTO: ... evaluated 206000 nodes ... (best bound -10655.694779, queue 128683) MINTO: ... evaluated 207000 nodes ... (best bound -10655.694779, queue 128925) MINTO: ... evaluated 208000 nodes ... (best bound -10655.694779, queue 129457) MINTO: ... evaluated 209000 nodes ... (best bound -10655.694779, queue 129651) MINTO: ... evaluated 210000 nodes ... (best bound -10655.694779, queue 129843) MINTO: ... evaluated 211000 nodes ... (best bound -10655.694779, queue 130057) MINTO: ... evaluated 212000 nodes ... (best bound -10655.694779, queue 130465) MINTO: ... evaluated 213000 nodes ... (best bound -10655.694779, queue 130965) MINTO: ... evaluated 214000 nodes ... (best bound -10655.694779, queue 131455) MINTO: ... evaluated 215000 nodes ... (best bound -10655.694779, queue 131741) MINTO: ... evaluated 216000 nodes ... (best bound -10655.694779, queue 132003) MINTO: ... evaluated 217000 nodes ... (best bound -10655.694779, queue 132265) MINTO: ... evaluated 218000 nodes ... (best bound -10655.694779, queue 132565) MINTO: ... evaluated 219000 nodes ... (best bound -10655.694779, queue 132843) MINTO: ... evaluated 220000 nodes ... (best bound -10655.694779, queue 133157) MINTO: ... evaluated 221000 nodes ... (best bound -10655.694779, queue 133441) MINTO: ... evaluated 222000 nodes ... (best bound -10655.694779, queue 133785) MINTO: ... evaluated 223000 nodes ... (best bound -10655.694779, queue 134007) MINTO: ... evaluated 224000 nodes ... (best bound -10655.694779, queue 134329) MINTO: ... evaluated 225000 nodes ... (best bound -10655.694779, queue 134685) MINTO: ... evaluated 226000 nodes ... (best bound -10655.694779, queue 135025) MINTO: ... evaluated 227000 nodes ... (best bound -10655.694779, queue 135285) Abort ! [PREPROC/PREP/branch.c: 295] Command exited with non-zero status 1 602.41user 2.29system 10:04.76elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+0outputs (0major+41092minor)pagefaults 0swaps