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 acc1 MINTO: Problem statistics: Number of constraints: 2286 Number of variables: 1620 (0) Number of nonzero's: 12978 Number of continuous variables: 0 Number of binary variables: 1620 Number of integer variables: 0 MINTO: Row structure analysis (after preprocessing): Number of constraints of type ALLBINUB: 549 Number of constraints of type ALLBINEQ: 27 Number of constraints of type BINSUM1UB: 1458 Number of constraints of type BINSUM1EQ: 252 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 (Integral solution) Value: 0.00 Elapsed time: 9.42 Node: 84 MINTO: Value of solution: -0.000000 MINTO: Non-zero variables in the solution: xopt[8] = 1.000000 (v18) xopt[20] = 1.000000 (v30) xopt[23] = 1.000000 (v33) xopt[28] = 1.000000 (v38) xopt[36] = 1.000000 (v46) xopt[50] = 1.000000 (v60) xopt[55] = 1.000000 (v65) xopt[65] = 1.000000 (v75) xopt[76] = 1.000000 (v86) xopt[89] = 1.000000 (v99) xopt[93] = 1.000000 (v1003) xopt[124] = 1.000000 (v1034) xopt[128] = 1.000000 (v1038) xopt[153] = 1.000000 (v1063) xopt[171] = 1.000000 (v1081) xopt[180] = 1.000000 (v1090) xopt[191] = 1.000000 (v1101) xopt[221] = 1.000000 (v1131) xopt[230] = 1.000000 (v1140) xopt[240] = 1.000000 (v1150) xopt[258] = 1.000000 (v1168) xopt[282] = 1.000000 (v1192) xopt[293] = 1.000000 (v4) xopt[305] = 1.000000 (v1206) xopt[342] = 1.000000 (v1243) xopt[351] = 1.000000 (v1252) xopt[360] = 1.000000 (v1261) xopt[372] = 1.000000 (v1273) xopt[389] = 1.000000 (v1290) xopt[402] = 1.000000 (v1303) xopt[446] = 1.000000 (v1347) xopt[461] = 1.000000 (v1362) xopt[474] = 1.000000 (v1375) xopt[505] = 1.000000 (v1406) xopt[523] = 1.000000 (v1424) xopt[536] = 1.000000 (v1437) xopt[548] = 1.000000 (v1449) xopt[575] = 1.000000 (v1476) xopt[577] = 1.000000 (v1478) xopt[587] = 1.000000 (v1488) xopt[604] = 1.000000 (v1505) xopt[615] = 1.000000 (v1516) xopt[646] = 1.000000 (v1547) xopt[653] = 1.000000 (v1554) xopt[682] = 1.000000 (v1583) xopt[696] = 1.000000 (v1597) xopt[727] = 1.000000 (v107) xopt[733] = 1.000000 (v113) xopt[744] = 1.000000 (v124) xopt[747] = 1.000000 (v127) xopt[754] = 1.000000 (v134) xopt[771] = 1.000000 (v151) xopt[777] = 1.000000 (v157) xopt[783] = 1.000000 (v163) xopt[784] = 1.000000 (v164) xopt[786] = 1.000000 (v166) xopt[788] = 1.000000 (v168) xopt[795] = 1.000000 (v175) xopt[796] = 1.000000 (v176) xopt[797] = 1.000000 (v177) xopt[798] = 1.000000 (v178) xopt[802] = 1.000000 (v182) xopt[803] = 1.000000 (v183) xopt[808] = 1.000000 (v188) xopt[809] = 1.000000 (v189) xopt[813] = 1.000000 (v193) xopt[814] = 1.000000 (v194) xopt[815] = 1.000000 (v195) xopt[816] = 1.000000 (v196) xopt[819] = 1.000000 (v199) xopt[820] = 1.000000 (v200) xopt[823] = 1.000000 (v203) xopt[826] = 1.000000 (v206) xopt[829] = 1.000000 (v209) xopt[830] = 1.000000 (v210) xopt[834] = 1.000000 (v214) xopt[836] = 1.000000 (v216) xopt[839] = 1.000000 (v219) xopt[840] = 1.000000 (v220) xopt[842] = 1.000000 (v222) xopt[844] = 1.000000 (v224) xopt[846] = 1.000000 (v226) xopt[847] = 1.000000 (v227) xopt[850] = 1.000000 (v230) xopt[854] = 1.000000 (v234) xopt[857] = 1.000000 (v237) xopt[859] = 1.000000 (v239) xopt[861] = 1.000000 (v241) xopt[862] = 1.000000 (v242) xopt[864] = 1.000000 (v244) xopt[865] = 1.000000 (v245) xopt[867] = 1.000000 (v247) xopt[869] = 1.000000 (v249) xopt[873] = 1.000000 (v253) xopt[877] = 1.000000 (v257) xopt[880] = 1.000000 (v260) xopt[881] = 1.000000 (v261) xopt[884] = 1.000000 (v264) xopt[885] = 1.000000 (v265) xopt[888] = 1.000000 (v268) xopt[890] = 1.000000 (v270) xopt[891] = 1.000000 (v271) xopt[894] = 1.000000 (v274) xopt[896] = 1.000000 (v276) xopt[898] = 1.000000 (v278) xopt[900] = 1.000000 (v280) xopt[901] = 1.000000 (v281) xopt[902] = 1.000000 (v282) xopt[906] = 1.000000 (v286) xopt[911] = 1.000000 (v291) xopt[913] = 1.000000 (v293) xopt[914] = 1.000000 (v294) xopt[917] = 1.000000 (v297) xopt[918] = 1.000000 (v298) xopt[921] = 1.000000 (v301) xopt[922] = 1.000000 (v302) xopt[925] = 1.000000 (v305) xopt[929] = 1.000000 (v309) xopt[933] = 1.000000 (v313) xopt[934] = 1.000000 (v314) xopt[935] = 1.000000 (v315) xopt[937] = 1.000000 (v317) xopt[941] = 1.000000 (v321) xopt[942] = 1.000000 (v322) xopt[944] = 1.000000 (v324) xopt[956] = 1.000000 (v336) xopt[968] = 1.000000 (v348) xopt[985] = 1.000000 (v365) xopt[995] = 1.000000 (v375) xopt[1010] = 1.000000 (v390) xopt[1038] = 1.000000 (v418) xopt[1061] = 1.000000 (v441) xopt[1079] = 1.000000 (v459) xopt[1101] = 1.000000 (v481) xopt[1118] = 1.000000 (v498) xopt[1138] = 1.000000 (v518) xopt[1159] = 1.000000 (v539) xopt[1169] = 1.000000 (v549) xopt[1187] = 1.000000 (v567) xopt[1212] = 1.000000 (v592) xopt[1224] = 1.000000 (v604) xopt[1237] = 1.000000 (v617) xopt[1259] = 1.000000 (v639) xopt[1266] = 1.000000 (v646) xopt[1292] = 1.000000 (v672) xopt[1320] = 1.000000 (v700) xopt[1329] = 1.000000 (v709) xopt[1359] = 1.000000 (v739) xopt[1374] = 1.000000 (v754) xopt[1399] = 1.000000 (v779) xopt[1409] = 1.000000 (v789) xopt[1434] = 1.000000 (v814) xopt[1444] = 1.000000 (v824) xopt[1486] = 1.000000 (v866) xopt[1496] = 1.000000 (v876) xopt[1507] = 1.000000 (v887) xopt[1517] = 1.000000 (v897) xopt[1521] = 1.000000 (v901) xopt[1568] = 1.000000 (v948) xopt[1573] = 1.000000 (v953) xopt[1596] = 1.000000 (v976) xopt[1611] = 1.000000 (v991) zopt = -0.000000 zroot = -0.000000 zinit = -0.000000 MINTO: Branch and bound statistics Maximum number of unevaluated nodes = 0 Number of evaluated nodes = 84 Depth of the tree = 83 Number of linear programs solved = 106 Maximum number of rows in active LP = 2551 (2286) MINTO: Cut generation statistics Number of generated clique inequalities = 265 Number of generated implication inequalities = 0 Number of generated lifted knapsack covers = 0 Knapsack covers = 0 Knapsack covers with GUBs = 0 Surrogate knapsack covers = 0 Number of generated generalized flow covers = 0 APPL: Timing statistics (in seconds) appl_bounds: 0.00 appl_constraints: 0.00 appl_delconstraints: 0.00 appl_divide: 0.00 appl_exit: 0.00 appl_fathom: 0.00 appl_feasible: 0.00 appl_init: 0.00 appl_initlp: 0.00 appl_mps: 0.00 appl_node: 0.00 appl_preprocessing: 0.00 appl_primal: 0.00 appl_rank: 0.00 appl_terminatelp: 0.00 appl_terminatenode: 0.00 appl_variables: 0.00 MINTO: Timing statistics (in seconds) Reading MPS file: 0.00 Restart: 0.00 Preprocessing and probing: 0.06 Primal heuristic: 0.99 Bound improvement: 5.85 Clique cut generation: 0.20 Implication cut generation: 0.00 Knapsack cover generation: 0.02 GUB cover generation: 0.04 Surrogate knapsack cover generation: 0.00 Flow cover generation: 0.00 Cut pool search: 0.00 Cut Management: 0.01 Branching: 2.24 Time LP solving: 0.00 Total elapsed time: 9.42 Command exited with non-zero status 161 9.42user 0.01system 0:09.44elapsed 100%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+0outputs (0major+10815minor)pagefaults 0swaps