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 cap6000 MINTO: Problem statistics: Number of constraints: 2176 Number of variables: 6000 (0) Number of nonzero's: 48249 Number of continuous variables: 0 Number of binary variables: 6000 Number of integer variables: 0 MINTO: Presolve eliminated 146 constraints and 51 variables Presolve made 0 coefficient changes MINTO: Row structure analysis (after preprocessing): Number of constraints of type ALLBINUB: 2 Number of constraints of type BINSUM1UB: 1905 Number of constraints of type BINSUM1EQ: 123 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: 2431556.00 Elapsed time: 5.58 Node: 1 MINTO: Updating primal (MINTO heuristic) Value: 2449247.00 Elapsed time: 8.32 Node: 1 MINTO: Updating primal (MINTO heuristic) Value: 2450836.00 Elapsed time: 9.05 Node: 1 MINTO: ... evaluated 1000 nodes ... (best bound 2451534.007068, queue 999) MINTO: ... evaluated 2000 nodes ... (best bound 2451534.007068, queue 1999) MINTO: ... evaluated 3000 nodes ... (best bound 2451534.007068, queue 2999) MINTO: Updating primal (MINTO heuristic) Value: 2451200.00 Elapsed time: 17.28 Node: 3000 MINTO: ... evaluated 4000 nodes ... (best bound 2451534.007068, queue 3995) MINTO: ... evaluated 5000 nodes ... (best bound 2451534.007068, queue 4995) MINTO: ... evaluated 6000 nodes ... (best bound 2451534.007068, queue 5995) MINTO: Updating primal (MINTO heuristic) Value: 2451241.00 Elapsed time: 25.26 Node: 6000 MINTO: ... evaluated 7000 nodes ... (best bound 2451434.867877, queue 6989) MINTO: ... evaluated 8000 nodes ... (best bound 2451434.867877, queue 7987) MINTO: ... evaluated 9000 nodes ... (best bound 2451434.867877, queue 8983) MINTO: ... evaluated 10000 nodes ... (best bound 2451434.229077, queue 9983) MINTO: ... evaluated 11000 nodes ... (best bound 2451434.229077, queue 10977) MINTO: ... evaluated 12000 nodes ... (best bound 2451434.229077, queue 11977) MINTO: Updating primal (MINTO heuristic) Value: 2451315.00 Elapsed time: 45.47 Node: 12000 MINTO: ... evaluated 13000 nodes ... (best bound 2451434.229077, queue 12915) MINTO: Updating primal (Integral solution) Value: 2451365.00 Elapsed time: 51.18 Node: 13428 MINTO: ... evaluated 14000 nodes ... (best bound 2451434.229077, queue 12903) MINTO: ... evaluated 15000 nodes ... (best bound 2451434.229077, queue 13139) MINTO: Updating primal (MINTO heuristic) Value: 2451377.00 Elapsed time: 56.56 Node: 15000 MINTO: ... evaluated 16000 nodes ... (best bound 2451434.229077, queue 7808) MINTO: ... evaluated 17000 nodes ... (best bound 2451434.229077, queue 7508) MINTO: ... evaluated 18000 nodes ... (best bound 2451434.229077, queue 7412) MINTO: ... evaluated 19000 nodes ... (best bound 2451434.229077, queue 7322) MINTO: ... evaluated 20000 nodes ... (best bound 2451434.229077, queue 7196) MINTO: ... evaluated 21000 nodes ... (best bound 2451434.229077, queue 7124) MINTO: ... evaluated 22000 nodes ... (best bound 2451434.229077, queue 7078) MINTO: ... evaluated 23000 nodes ... (best bound 2451434.229077, queue 7064) MINTO: ... evaluated 24000 nodes ... (best bound 2451434.229077, queue 6650) MINTO: ... evaluated 25000 nodes ... (best bound 2451434.229077, queue 6436) MINTO: ... evaluated 26000 nodes ... (best bound 2451434.229077, queue 6216) MINTO: ... evaluated 27000 nodes ... (best bound 2451434.229077, queue 6084) MINTO: ... evaluated 28000 nodes ... (best bound 2451434.229077, queue 5894) MINTO: ... evaluated 29000 nodes ... (best bound 2451434.229077, queue 5628) MINTO: ... evaluated 30000 nodes ... (best bound 2451434.229077, queue 5364) MINTO: ... evaluated 31000 nodes ... (best bound 2451434.229077, queue 5278) MINTO: ... evaluated 32000 nodes ... (best bound 2451428.778146, queue 5070) MINTO: ... evaluated 33000 nodes ... (best bound 2451428.778146, queue 4686) MINTO: ... evaluated 34000 nodes ... (best bound 2451428.778146, queue 4390) MINTO: ... evaluated 35000 nodes ... (best bound 2451428.778146, queue 4050) MINTO: ... evaluated 36000 nodes ... (best bound 2451428.778146, queue 4014) MINTO: ... evaluated 37000 nodes ... (best bound 2451428.778146, queue 3980) MINTO: ... evaluated 38000 nodes ... (best bound 2451428.778146, queue 3730) MINTO: ... evaluated 39000 nodes ... (best bound 2451428.778146, queue 3536) MINTO: ... evaluated 40000 nodes ... (best bound 2451428.778146, queue 3430) MINTO: ... evaluated 41000 nodes ... (best bound 2451428.778146, queue 3346) MINTO: ... evaluated 42000 nodes ... (best bound 2451428.778146, queue 3298) MINTO: ... evaluated 43000 nodes ... (best bound 2451428.778146, queue 3254) MINTO: ... evaluated 44000 nodes ... (best bound 2451428.778146, queue 3084) MINTO: ... evaluated 45000 nodes ... (best bound 2451428.778146, queue 2884) MINTO: ... evaluated 46000 nodes ... (best bound 2451428.778146, queue 2694) MINTO: ... evaluated 47000 nodes ... (best bound 2451428.778146, queue 2538) MINTO: ... evaluated 48000 nodes ... (best bound 2451428.778146, queue 2452) MINTO: ... evaluated 49000 nodes ... (best bound 2451428.778146, queue 2364) MINTO: ... evaluated 50000 nodes ... (best bound 2451428.778146, queue 2280) MINTO: ... evaluated 51000 nodes ... (best bound 2451428.778146, queue 2222) MINTO: ... evaluated 52000 nodes ... (best bound 2451428.778146, queue 2208) MINTO: ... evaluated 53000 nodes ... (best bound 2451428.778146, queue 2082) MINTO: ... evaluated 54000 nodes ... (best bound 2451428.778146, queue 2008) MINTO: ... evaluated 55000 nodes ... (best bound 2451428.778146, queue 1936) MINTO: ... evaluated 56000 nodes ... (best bound 2451428.778146, queue 1882) MINTO: ... evaluated 57000 nodes ... (best bound 2451428.778146, queue 1824) MINTO: ... evaluated 58000 nodes ... (best bound 2451428.778146, queue 1754) MINTO: ... evaluated 59000 nodes ... (best bound 2451428.778146, queue 1672) MINTO: ... evaluated 60000 nodes ... (best bound 2451428.778146, queue 1612) MINTO: ... evaluated 61000 nodes ... (best bound 2451428.778146, queue 1500) MINTO: ... evaluated 62000 nodes ... (best bound 2451428.778146, queue 1400) MINTO: ... evaluated 63000 nodes ... (best bound 2451428.778146, queue 1354) MINTO: ... evaluated 64000 nodes ... (best bound 2451428.778146, queue 1324) MINTO: ... evaluated 65000 nodes ... (best bound 2451428.778146, queue 1234) MINTO: ... evaluated 66000 nodes ... (best bound 2451428.778146, queue 1164) MINTO: ... evaluated 67000 nodes ... (best bound 2451428.778146, queue 1106) MINTO: ... evaluated 68000 nodes ... (best bound 2451428.778146, queue 1082) MINTO: ... evaluated 69000 nodes ... (best bound 2451428.778146, queue 986) MINTO: ... evaluated 70000 nodes ... (best bound 2451428.778146, queue 884) MINTO: ... evaluated 71000 nodes ... (best bound 2451428.778146, queue 848) MINTO: ... evaluated 72000 nodes ... (best bound 2451428.778146, queue 820) MINTO: ... evaluated 73000 nodes ... (best bound 2451428.778146, queue 708) MINTO: ... evaluated 74000 nodes ... (best bound 2451428.778146, queue 620) MINTO: ... evaluated 75000 nodes ... (best bound 2451428.778146, queue 562) MINTO: ... evaluated 76000 nodes ... (best bound 2451428.778146, queue 568) MINTO: ... evaluated 77000 nodes ... (best bound 2451428.778146, queue 490) MINTO: ... evaluated 78000 nodes ... (best bound 2451428.778146, queue 414) MINTO: ... evaluated 79000 nodes ... (best bound 2451428.778146, queue 362) MINTO: ... evaluated 80000 nodes ... (best bound 2451428.778146, queue 310) MINTO: ... evaluated 81000 nodes ... (best bound 2451428.778146, queue 280) MINTO: ... evaluated 82000 nodes ... (best bound 2451428.778146, queue 196) MINTO: ... evaluated 83000 nodes ... (best bound 2451428.778146, queue 146) MINTO: ... evaluated 84000 nodes ... (best bound 2451428.778146, queue 104) MINTO: ... evaluated 85000 nodes ... (best bound 2451428.778146, queue 188) MINTO: ... evaluated 86000 nodes ... (best bound 2451428.778146, queue 206) MINTO: ... evaluated 87000 nodes ... (best bound 2451428.778146, queue 66) MINTO: ... evaluated 88000 nodes ... (best bound 2451428.778146, queue 28) MINTO: Value of solution: -2451377.000000 MINTO: Non-zero variables in the solution: xopt[46] = 1.000000 (x47) xopt[141] = 1.000000 (x142) xopt[238] = 1.000000 (x239) xopt[250] = 1.000000 (x251) xopt[253] = 1.000000 (x254) xopt[257] = 1.000000 (x258) xopt[260] = 1.000000 (x261) xopt[261] = 1.000000 (x262) xopt[266] = 1.000000 (x267) xopt[268] = 1.000000 (x269) xopt[270] = 1.000000 (x271) xopt[274] = 1.000000 (x275) xopt[277] = 1.000000 (x278) xopt[280] = 1.000000 (x281) xopt[289] = 1.000000 (x290) xopt[292] = 1.000000 (x293) xopt[296] = 1.000000 (x297) xopt[297] = 1.000000 (x298) xopt[300] = 1.000000 (x301) xopt[305] = 1.000000 (x306) xopt[306] = 1.000000 (x307) xopt[310] = 1.000000 (x311) xopt[314] = 1.000000 (x315) xopt[317] = 1.000000 (x318) xopt[319] = 1.000000 (x320) xopt[321] = 1.000000 (x322) xopt[324] = 1.000000 (x325) xopt[329] = 1.000000 (x330) xopt[332] = 1.000000 (x333) xopt[333] = 1.000000 (x334) xopt[336] = 1.000000 (x337) xopt[339] = 1.000000 (x340) xopt[343] = 1.000000 (x344) xopt[345] = 1.000000 (x346) xopt[350] = 1.000000 (x351) xopt[353] = 1.000000 (x354) xopt[354] = 1.000000 (x355) xopt[357] = 1.000000 (x358) xopt[361] = 1.000000 (x362) xopt[364] = 1.000000 (x365) xopt[367] = 1.000000 (x368) xopt[370] = 1.000000 (x371) xopt[372] = 1.000000 (x373) xopt[376] = 1.000000 (x377) xopt[379] = 1.000000 (x380) xopt[381] = 1.000000 (x382) xopt[386] = 1.000000 (x387) xopt[387] = 1.000000 (x388) xopt[392] = 1.000000 (x393) xopt[395] = 1.000000 (x396) xopt[397] = 1.000000 (x398) xopt[400] = 1.000000 (x401) xopt[402] = 1.000000 (x403) xopt[405] = 1.000000 (x406) xopt[410] = 1.000000 (x411) xopt[413] = 1.000000 (x414) xopt[416] = 1.000000 (x417) xopt[419] = 1.000000 (x420) xopt[420] = 1.000000 (x421) xopt[425] = 1.000000 (x426) xopt[427] = 1.000000 (x428) xopt[430] = 1.000000 (x431) xopt[434] = 1.000000 (x435) xopt[436] = 1.000000 (x437) xopt[441] = 1.000000 (x442) xopt[444] = 1.000000 (x445) xopt[447] = 1.000000 (x448) xopt[451] = 1.000000 (x452) xopt[454] = 1.000000 (x455) xopt[456] = 1.000000 (x457) xopt[459] = 1.000000 (x460) xopt[463] = 1.000000 (x464) xopt[467] = 1.000000 (x468) xopt[468] = 1.000000 (x469) xopt[473] = 1.000000 (x474) xopt[474] = 1.000000 (x475) xopt[479] = 1.000000 (x480) xopt[480] = 1.000000 (x481) xopt[483] = 1.000000 (x484) xopt[488] = 1.000000 (x489) xopt[490] = 1.000000 (x491) xopt[493] = 1.000000 (x494) xopt[496] = 1.000000 (x497) xopt[499] = 1.000000 (x500) xopt[501] = 1.000000 (x502) xopt[506] = 1.000000 (x507) xopt[509] = 1.000000 (x510) xopt[511] = 1.000000 (x512) xopt[522] = 1.000000 (x523) xopt[536] = 1.000000 (x537) xopt[537] = 1.000000 (x538) xopt[552] = 1.000000 (x553) xopt[563] = 1.000000 (x564) xopt[565] = 1.000000 (x566) xopt[569] = 1.000000 (x570) xopt[571] = 1.000000 (x572) xopt[574] = 1.000000 (x575) xopt[576] = 1.000000 (x577) xopt[580] = 1.000000 (x581) xopt[582] = 1.000000 (x583) xopt[588] = 1.000000 (x589) xopt[591] = 1.000000 (x592) xopt[596] = 1.000000 (x597) xopt[597] = 1.000000 (x598) xopt[601] = 1.000000 (x602) xopt[607] = 1.000000 (x608) xopt[609] = 1.000000 (x610) xopt[613] = 1.000000 (x614) xopt[616] = 1.000000 (x617) xopt[618] = 1.000000 (x619) xopt[621] = 1.000000 (x622) xopt[626] = 1.000000 (x627) xopt[632] = 1.000000 (x633) xopt[634] = 1.000000 (x635) xopt[644] = 1.000000 (x645) xopt[647] = 1.000000 (x648) xopt[648] = 1.000000 (x649) xopt[658] = 1.000000 (x659) xopt[661] = 1.000000 (x662) xopt[663] = 1.000000 (x664) xopt[668] = 1.000000 (x669) xopt[670] = 1.000000 (x671) xopt[680] = 1.000000 (x681) xopt[688] = 1.000000 (x689) xopt[691] = 1.000000 (x692) xopt[695] = 1.000000 (x696) xopt[698] = 1.000000 (x699) xopt[699] = 1.000000 (x700) xopt[703] = 1.000000 (x704) xopt[713] = 1.000000 (x714) xopt[721] = 1.000000 (x722) xopt[723] = 1.000000 (x724) xopt[730] = 1.000000 (x731) xopt[740] = 1.000000 (x741) xopt[742] = 1.000000 (x743) xopt[746] = 1.000000 (x747) xopt[751] = 1.000000 (x752) xopt[755] = 1.000000 (x756) xopt[757] = 1.000000 (x758) xopt[760] = 1.000000 (x761) xopt[765] = 1.000000 (x766) xopt[770] = 1.000000 (x771) xopt[775] = 1.000000 (x776) xopt[777] = 1.000000 (x778) xopt[781] = 1.000000 (x782) xopt[785] = 1.000000 (x786) xopt[792] = 1.000000 (x793) xopt[796] = 1.000000 (x797) xopt[801] = 1.000000 (x802) xopt[804] = 1.000000 (x805) xopt[812] = 1.000000 (x813) xopt[821] = 1.000000 (x822) xopt[826] = 1.000000 (x827) xopt[834] = 1.000000 (x835) xopt[838] = 1.000000 (x839) xopt[840] = 1.000000 (x841) xopt[844] = 1.000000 (x845) xopt[872] = 1.000000 (x873) xopt[881] = 1.000000 (x882) xopt[883] = 1.000000 (x884) xopt[887] = 1.000000 (x888) xopt[888] = 1.000000 (x889) xopt[899] = 1.000000 (x900) xopt[904] = 1.000000 (x905) xopt[906] = 1.000000 (x907) xopt[917] = 1.000000 (x918) xopt[919] = 1.000000 (x920) xopt[931] = 1.000000 (x932) xopt[935] = 1.000000 (x936) xopt[938] = 1.000000 (x939) xopt[945] = 1.000000 (x946) xopt[948] = 1.000000 (x949) xopt[953] = 1.000000 (x954) xopt[958] = 1.000000 (x959) xopt[962] = 1.000000 (x963) xopt[963] = 1.000000 (x964) xopt[970] = 1.000000 (x971) xopt[976] = 1.000000 (x977) xopt[979] = 1.000000 (x980) xopt[981] = 1.000000 (x982) xopt[997] = 1.000000 (x998) xopt[1000] = 1.000000 (x1001) xopt[1004] = 1.000000 (x1005) xopt[1005] = 1.000000 (x1006) xopt[1009] = 1.000000 (x1010) xopt[1013] = 1.000000 (x1014) xopt[1014] = 1.000000 (x1015) xopt[1024] = 1.000000 (x1025) xopt[1026] = 1.000000 (x1027) xopt[1034] = 1.000000 (x1035) xopt[1039] = 1.000000 (x1040) xopt[1055] = 1.000000 (x1056) xopt[1061] = 1.000000 (x1062) xopt[1069] = 1.000000 (x1070) xopt[1076] = 1.000000 (x1077) xopt[1078] = 1.000000 (x1079) xopt[1084] = 1.000000 (x1085) xopt[1089] = 1.000000 (x1090) xopt[1099] = 1.000000 (x1100) xopt[1101] = 1.000000 (x1102) xopt[1104] = 1.000000 (x1105) xopt[1109] = 1.000000 (x1110) xopt[1111] = 1.000000 (x1112) xopt[1124] = 1.000000 (x1125) xopt[1127] = 1.000000 (x1128) xopt[1129] = 1.000000 (x1130) xopt[1133] = 1.000000 (x1134) xopt[1138] = 1.000000 (x1139) xopt[1140] = 1.000000 (x1141) xopt[1145] = 1.000000 (x1146) xopt[1148] = 1.000000 (x1149) xopt[1149] = 1.000000 (x1150) xopt[1159] = 1.000000 (x1160) xopt[1166] = 1.000000 (x1167) xopt[1167] = 1.000000 (x1168) xopt[1171] = 1.000000 (x1172) xopt[1180] = 1.000000 (x1181) xopt[1187] = 1.000000 (x1188) xopt[1194] = 1.000000 (x1195) xopt[1198] = 1.000000 (x1199) xopt[1205] = 1.000000 (x1206) xopt[1224] = 1.000000 (x1225) xopt[1228] = 1.000000 (x1229) xopt[1246] = 1.000000 (x1247) xopt[1255] = 1.000000 (x1256) xopt[1261] = 1.000000 (x1262) xopt[1269] = 1.000000 (x1270) xopt[1275] = 1.000000 (x1276) xopt[1286] = 1.000000 (x1287) xopt[1289] = 1.000000 (x1290) xopt[1291] = 1.000000 (x1292) xopt[1311] = 1.000000 (x1312) xopt[1390] = 1.000000 (x1391) xopt[1406] = 1.000000 (x1407) xopt[1410] = 1.000000 (x1411) xopt[1413] = 1.000000 (x1414) xopt[1418] = 1.000000 (x1419) xopt[1426] = 1.000000 (x1427) xopt[1435] = 1.000000 (x1436) xopt[1446] = 1.000000 (x1447) xopt[1453] = 1.000000 (x1454) xopt[1455] = 1.000000 (x1456) xopt[1468] = 1.000000 (x1469) xopt[1477] = 1.000000 (x1478) xopt[1486] = 1.000000 (x1487) xopt[1492] = 1.000000 (x1493) xopt[1502] = 1.000000 (x1503) xopt[1508] = 1.000000 (x1509) xopt[1509] = 1.000000 (x1510) xopt[1525] = 1.000000 (x1526) xopt[1551] = 1.000000 (x1552) xopt[1559] = 1.000000 (x1560) xopt[1591] = 1.000000 (x1592) xopt[1643] = 1.000000 (x1644) xopt[1657] = 1.000000 (x1658) xopt[1660] = 1.000000 (x1661) xopt[1662] = 1.000000 (x1663) xopt[1677] = 1.000000 (x1678) xopt[1710] = 1.000000 (x1711) xopt[1719] = 1.000000 (x1720) xopt[1752] = 1.000000 (x1753) xopt[1840] = 1.000000 (x1841) xopt[1862] = 1.000000 (x1863) xopt[1869] = 1.000000 (x1870) xopt[1891] = 1.000000 (x1892) xopt[1936] = 1.000000 (x1937) xopt[1986] = 1.000000 (x1987) xopt[2087] = 1.000000 (x2088) xopt[2178] = 1.000000 (x2179) xopt[2203] = 1.000000 (x2204) xopt[2212] = 1.000000 (x2213) xopt[2311] = 1.000000 (x2312) xopt[2503] = 1.000000 (x2504) xopt[2505] = 1.000000 (x2506) xopt[2530] = 1.000000 (x2531) xopt[2532] = 1.000000 (x2533) xopt[2557] = 1.000000 (x2558) xopt[2561] = 1.000000 (x2562) xopt[2564] = 1.000000 (x2565) xopt[2567] = 1.000000 (x2568) xopt[2571] = 1.000000 (x2572) xopt[2578] = 1.000000 (x2579) xopt[2581] = 1.000000 (x2582) xopt[2588] = 1.000000 (x2589) xopt[2591] = 1.000000 (x2592) xopt[2594] = 1.000000 (x2595) xopt[2598] = 1.000000 (x2599) xopt[2603] = 1.000000 (x2604) xopt[2605] = 1.000000 (x2606) xopt[2616] = 1.000000 (x2617) xopt[2620] = 1.000000 (x2621) xopt[2624] = 1.000000 (x2625) xopt[2630] = 1.000000 (x2631) xopt[2637] = 1.000000 (x2638) xopt[2643] = 1.000000 (x2644) xopt[2647] = 1.000000 (x2648) xopt[2654] = 1.000000 (x2655) xopt[2656] = 1.000000 (x2657) xopt[2681] = 1.000000 (x2682) xopt[2689] = 1.000000 (x2690) xopt[2699] = 1.000000 (x2700) xopt[2703] = 1.000000 (x2704) xopt[2761] = 1.000000 (x2762) xopt[2764] = 1.000000 (x2765) xopt[2867] = 1.000000 (x2868) xopt[2871] = 1.000000 (x2872) xopt[2879] = 1.000000 (x2880) xopt[2936] = 1.000000 (x2937) xopt[2971] = 1.000000 (x2972) xopt[3024] = 1.000000 (x3025) xopt[3076] = 1.000000 (x3077) xopt[3094] = 1.000000 (x3095) xopt[3119] = 1.000000 (x3120) xopt[3378] = 1.000000 (x3379) xopt[3435] = 1.000000 (x3436) xopt[3446] = 1.000000 (x3447) xopt[3476] = 1.000000 (x3477) xopt[3570] = 1.000000 (x3571) xopt[3605] = 1.000000 (x3606) xopt[3646] = 1.000000 (x3647) xopt[3702] = 1.000000 (x3703) xopt[3725] = 1.000000 (x3726) xopt[3751] = 1.000000 (x3752) xopt[3755] = 1.000000 (x3756) xopt[3758] = 1.000000 (x3759) xopt[3760] = 1.000000 (x3761) xopt[3764] = 1.000000 (x3765) xopt[3765] = 1.000000 (x3766) xopt[3770] = 1.000000 (x3771) xopt[3773] = 1.000000 (x3774) xopt[3776] = 1.000000 (x3777) xopt[3779] = 1.000000 (x3780) xopt[3782] = 1.000000 (x3783) xopt[3784] = 1.000000 (x3785) xopt[3788] = 1.000000 (x3789) xopt[3791] = 1.000000 (x3792) xopt[3792] = 1.000000 (x3793) xopt[3796] = 1.000000 (x3797) xopt[3799] = 1.000000 (x3800) xopt[3803] = 1.000000 (x3804) xopt[3804] = 1.000000 (x3805) xopt[3807] = 1.000000 (x3808) xopt[3811] = 1.000000 (x3812) xopt[3814] = 1.000000 (x3815) xopt[3816] = 1.000000 (x3817) xopt[3821] = 1.000000 (x3822) xopt[3823] = 1.000000 (x3824) xopt[3826] = 1.000000 (x3827) xopt[3830] = 1.000000 (x3831) xopt[3831] = 1.000000 (x3832) xopt[3836] = 1.000000 (x3837) xopt[3838] = 1.000000 (x3839) xopt[3840] = 1.000000 (x3841) xopt[3844] = 1.000000 (x3845) xopt[3847] = 1.000000 (x3848) xopt[3851] = 1.000000 (x3852) xopt[3852] = 1.000000 (x3853) xopt[3855] = 1.000000 (x3856) xopt[3859] = 1.000000 (x3860) xopt[3863] = 1.000000 (x3864) xopt[3864] = 1.000000 (x3865) xopt[3867] = 1.000000 (x3868) xopt[3895] = 1.000000 (x3896) xopt[3921] = 1.000000 (x3922) xopt[3948] = 1.000000 (x3949) xopt[3960] = 1.000000 (x3961) xopt[3970] = 1.000000 (x3971) xopt[3988] = 1.000000 (x3989) xopt[4026] = 1.000000 (x4027) xopt[4032] = 1.000000 (x4033) xopt[4035] = 1.000000 (x4036) xopt[4036] = 1.000000 (x4037) xopt[4038] = 1.000000 (x4039) xopt[4041] = 1.000000 (x4042) xopt[4042] = 1.000000 (x4043) xopt[4045] = 1.000000 (x4046) xopt[4046] = 1.000000 (x4047) xopt[4048] = 1.000000 (x4049) xopt[4050] = 1.000000 (x4051) xopt[4053] = 1.000000 (x4054) xopt[4055] = 1.000000 (x4056) xopt[4057] = 1.000000 (x4058) xopt[4058] = 1.000000 (x4059) xopt[4060] = 1.000000 (x4061) xopt[4063] = 1.000000 (x4064) xopt[4065] = 1.000000 (x4066) xopt[4067] = 1.000000 (x4068) xopt[4069] = 1.000000 (x4070) xopt[4071] = 1.000000 (x4072) xopt[4072] = 1.000000 (x4073) xopt[4075] = 1.000000 (x4076) xopt[4076] = 1.000000 (x4077) xopt[4079] = 1.000000 (x4080) xopt[4081] = 1.000000 (x4082) xopt[4082] = 1.000000 (x4083) xopt[4085] = 1.000000 (x4086) xopt[4087] = 1.000000 (x4088) xopt[4088] = 1.000000 (x4089) xopt[4090] = 1.000000 (x4091) xopt[4092] = 1.000000 (x4093) xopt[4094] = 1.000000 (x4095) xopt[4097] = 1.000000 (x4098) xopt[4099] = 1.000000 (x4100) xopt[4100] = 1.000000 (x4101) xopt[4102] = 1.000000 (x4103) xopt[4104] = 1.000000 (x4105) xopt[4107] = 1.000000 (x4108) xopt[4109] = 1.000000 (x4110) xopt[4111] = 1.000000 (x4112) xopt[4113] = 1.000000 (x4114) xopt[4114] = 1.000000 (x4115) xopt[4207] = 1.000000 (x4208) xopt[4209] = 1.000000 (x4210) xopt[4213] = 1.000000 (x4214) xopt[4216] = 1.000000 (x4217) xopt[4220] = 1.000000 (x4221) xopt[4227] = 1.000000 (x4228) xopt[4233] = 1.000000 (x4234) xopt[4238] = 1.000000 (x4239) xopt[4240] = 1.000000 (x4241) xopt[4248] = 1.000000 (x4249) xopt[4253] = 1.000000 (x4254) xopt[4259] = 1.000000 (x4260) xopt[4260] = 1.000000 (x4261) xopt[4267] = 1.000000 (x4268) xopt[4268] = 1.000000 (x4269) xopt[4273] = 1.000000 (x4274) xopt[4280] = 1.000000 (x4281) xopt[4284] = 1.000000 (x4285) xopt[4290] = 1.000000 (x4291) xopt[4292] = 1.000000 (x4293) xopt[4295] = 1.000000 (x4296) xopt[4301] = 1.000000 (x4302) xopt[4303] = 1.000000 (x4304) xopt[4311] = 1.000000 (x4312) xopt[4319] = 1.000000 (x4320) xopt[4326] = 1.000000 (x4327) xopt[4329] = 1.000000 (x4330) xopt[4332] = 1.000000 (x4333) xopt[4335] = 1.000000 (x4336) xopt[4336] = 1.000000 (x4337) xopt[4344] = 1.000000 (x4345) xopt[4349] = 1.000000 (x4350) xopt[4351] = 1.000000 (x4352) xopt[4355] = 1.000000 (x4356) xopt[4363] = 1.000000 (x4364) xopt[4371] = 1.000000 (x4372) xopt[4372] = 1.000000 (x4373) xopt[4378] = 1.000000 (x4379) xopt[4388] = 1.000000 (x4389) xopt[4401] = 1.000000 (x4402) xopt[4409] = 1.000000 (x4410) xopt[4413] = 1.000000 (x4414) xopt[4417] = 1.000000 (x4418) xopt[4420] = 1.000000 (x4421) xopt[4431] = 1.000000 (x4432) xopt[4435] = 1.000000 (x4436) xopt[4441] = 1.000000 (x4442) xopt[4451] = 1.000000 (x4452) xopt[4458] = 1.000000 (x4459) xopt[4463] = 1.000000 (x4464) xopt[4468] = 1.000000 (x4469) xopt[4474] = 1.000000 (x4475) xopt[4478] = 1.000000 (x4479) xopt[4482] = 1.000000 (x4483) xopt[4483] = 1.000000 (x4484) xopt[4497] = 1.000000 (x4498) xopt[4499] = 1.000000 (x4500) xopt[4522] = 1.000000 (x4523) xopt[4614] = 1.000000 (x4615) xopt[4626] = 1.000000 (x4627) xopt[4645] = 1.000000 (x4646) xopt[4648] = 1.000000 (x4649) xopt[4751] = 1.000000 (x4752) xopt[4755] = 1.000000 (x4756) xopt[4758] = 1.000000 (x4759) xopt[4759] = 1.000000 (x4760) xopt[4763] = 1.000000 (x4764) xopt[4840] = 1.000000 (x4841) xopt[4846] = 1.000000 (x4847) xopt[4859] = 1.000000 (x4860) xopt[4865] = 1.000000 (x4866) xopt[4883] = 1.000000 (x4884) xopt[4943] = 1.000000 (x4944) xopt[4970] = 1.000000 (x4971) xopt[5030] = 1.000000 (x5031) xopt[5050] = 1.000000 (x5051) xopt[5084] = 1.000000 (x5085) xopt[5124] = 1.000000 (x5125) xopt[5181] = 1.000000 (x5182) xopt[5224] = 1.000000 (x5225) xopt[5236] = 1.000000 (x5237) xopt[5238] = 1.000000 (x5239) xopt[5328] = 1.000000 (x5329) xopt[5362] = 1.000000 (x5363) xopt[5375] = 1.000000 (x5376) xopt[5378] = 1.000000 (x5379) xopt[5434] = 1.000000 (x5435) xopt[5478] = 1.000000 (x5479) xopt[5483] = 1.000000 (x5484) xopt[5562] = 1.000000 (x5563) xopt[5581] = 1.000000 (x5582) xopt[5586] = 1.000000 (x5587) xopt[5591] = 1.000000 (x5592) xopt[5644] = 1.000000 (x5645) xopt[5684] = 1.000000 (x5685) zopt = -2451377.000000 zroot = -2451534.007068 zinit = -2451537.325024 MINTO: Branch and bound statistics Maximum number of unevaluated nodes = 8301 Number of evaluated nodes = 88700 Depth of the tree = 268 Number of linear programs solved = 93356 Maximum number of rows in active LP = 2206 (2030) MINTO: Cut generation statistics Number of generated clique inequalities = 0 Number of generated implication inequalities = 0 Number of generated lifted knapsack covers = 3217 Knapsack covers = 3217 Knapsack covers with GUBs = 0 Surrogate knapsack covers = 0 Number of generated generalized flow covers = 0 APPL: Timing statistics (in seconds) appl_bounds: 0.01 appl_constraints: 0.01 appl_delconstraints: 0.05 appl_divide: 0.02 appl_exit: 0.00 appl_fathom: 0.04 appl_feasible: 0.00 appl_init: 0.00 appl_initlp: 0.00 appl_mps: 0.00 appl_node: 0.06 appl_preprocessing: 0.04 appl_primal: 0.03 appl_rank: 0.00 appl_terminatelp: 0.04 appl_terminatenode: 0.01 appl_variables: 0.02 MINTO: Timing statistics (in seconds) Reading MPS file: 0.00 Restart: 2.38 Preprocessing and probing: 5.81 Primal heuristic: 1.42 Bound improvement: 90.59 Clique cut generation: 0.10 Implication cut generation: 0.00 Knapsack cover generation: 1.49 GUB cover generation: 0.27 Surrogate knapsack cover generation: 0.04 Flow cover generation: 0.00 Cut pool search: 20.24 Cut Management: 0.11 Branching: 3.82 Time LP solving: 0.00 Total elapsed time: 235.81 Command exited with non-zero status 161 234.84user 0.98system 3:55.88elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+0outputs (0major+35942minor)pagefaults 0swaps