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 AIR04 MINTO: Problem statistics: Number of constraints: 823 Number of variables: 8904 (0) Number of nonzero's: 72965 Number of continuous variables: 0 Number of binary variables: 8904 Number of integer variables: 0 MINTO: Presolve eliminated 0 constraints and 1385 variables Presolve made 0 coefficient changes MINTO: Row structure analysis (after preprocessing): Number of constraints of type BINSUM1EQ: 823 MINTO control parameters: Objective sense : minimization Output level : 1 Maximum cpu time : 1000003 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: -56547.00 Elapsed time: 21.10 Node: 69 MINTO: Updating primal (Integral solution) Value: -56223.00 Elapsed time: 23.39 Node: 77 MINTO: Updating primal (Integral solution) Value: -56222.00 Elapsed time: 24.72 Node: 80 MINTO: Updating primal (Integral solution) Value: -56167.00 Elapsed time: 38.94 Node: 153 MINTO: Updating primal (Integral solution) Value: -56166.00 Elapsed time: 39.79 Node: 156 MINTO: Updating primal (Integral solution) Value: -56137.00 Elapsed time: 64.47 Node: 276 MINTO: Value of solution: 56137.000000 MINTO: Non-zero variables in the solution: xopt[0] = 1.000000 (CL000001) xopt[1] = 1.000000 (CL000002) xopt[3] = 1.000000 (CL000004) xopt[4] = 1.000000 (CL000005) xopt[5] = 1.000000 (CL000006) xopt[6] = 1.000000 (CL000007) xopt[7] = 1.000000 (CL000008) xopt[9] = 1.000000 (CL000010) xopt[11] = 1.000000 (CL000012) xopt[12] = 1.000000 (CL000013) xopt[13] = 1.000000 (CL000014) xopt[15] = 1.000000 (CL000016) xopt[17] = 1.000000 (CL000018) xopt[18] = 1.000000 (CL000019) xopt[19] = 1.000000 (CL000020) xopt[20] = 1.000000 (CL000021) xopt[21] = 1.000000 (CL000022) xopt[25] = 1.000000 (CL000026) xopt[26] = 1.000000 (CL000027) xopt[27] = 1.000000 (CL000028) xopt[28] = 1.000000 (CL000029) xopt[29] = 1.000000 (CL000030) xopt[32] = 1.000000 (CL000033) xopt[35] = 1.000000 (CL000036) xopt[36] = 1.000000 (CL000037) xopt[38] = 1.000000 (CL000039) xopt[39] = 1.000000 (CL000040) xopt[40] = 1.000000 (CL000041) xopt[42] = 1.000000 (CL000043) xopt[44] = 1.000000 (CL000045) xopt[45] = 1.000000 (CL000046) xopt[47] = 1.000000 (CL000048) xopt[48] = 1.000000 (CL000049) xopt[49] = 1.000000 (CL000050) xopt[50] = 1.000000 (CL000051) xopt[51] = 1.000000 (CL000052) xopt[52] = 1.000000 (CL000053) xopt[53] = 1.000000 (CL000054) xopt[56] = 1.000000 (CL000057) xopt[57] = 1.000000 (CL000058) xopt[58] = 1.000000 (CL000059) xopt[60] = 1.000000 (CL000061) xopt[63] = 1.000000 (CL000064) xopt[64] = 1.000000 (CL000065) xopt[66] = 1.000000 (CL000067) xopt[67] = 1.000000 (CL000068) xopt[68] = 1.000000 (CL000069) xopt[73] = 1.000000 (CL000074) xopt[74] = 1.000000 (CL000075) xopt[80] = 1.000000 (CL000081) xopt[81] = 1.000000 (CL000082) xopt[83] = 1.000000 (CL000084) xopt[85] = 1.000000 (CL000086) xopt[87] = 1.000000 (CL000088) xopt[92] = 1.000000 (CL000093) xopt[93] = 1.000000 (CL000094) xopt[94] = 1.000000 (CL000095) xopt[95] = 1.000000 (CL000096) xopt[97] = 1.000000 (CL000098) xopt[99] = 1.000000 (CL000100) xopt[101] = 1.000000 (CL000102) xopt[102] = 1.000000 (CL000103) xopt[105] = 1.000000 (CL000106) xopt[472] = 1.000000 (CL000473) xopt[616] = 1.000000 (CL000617) xopt[680] = 1.000000 (CL000681) xopt[902] = 1.000000 (CL000903) xopt[1432] = 1.000000 (CL001433) xopt[1466] = 1.000000 (CL001467) xopt[1827] = 1.000000 (CL001828) xopt[2389] = 1.000000 (CL002390) xopt[2535] = 1.000000 (CL002536) xopt[2551] = 1.000000 (CL002552) xopt[2883] = 1.000000 (CL002884) xopt[3202] = 1.000000 (CL003203) xopt[3215] = 1.000000 (CL003216) xopt[3505] = 1.000000 (CL003506) xopt[3517] = 1.000000 (CL003518) xopt[3586] = 1.000000 (CL003587) xopt[4092] = 1.000000 (CL004093) xopt[4685] = 1.000000 (CL004686) xopt[4700] = 1.000000 (CL004701) xopt[4834] = 1.000000 (CL004835) xopt[4847] = 1.000000 (CL004848) xopt[4892] = 1.000000 (CL004893) xopt[5189] = 1.000000 (CL005190) xopt[5211] = 1.000000 (CL005212) xopt[5394] = 1.000000 (CL005395) xopt[5878] = 1.000000 (CL005879) xopt[6045] = 1.000000 (CL006046) xopt[6143] = 1.000000 (CL006144) xopt[6493] = 1.000000 (CL006494) xopt[6988] = 1.000000 (CL006989) xopt[7511] = 1.000000 (CL007512) xopt[7664] = 1.000000 (CL007665) xopt[7730] = 1.000000 (CL007731) xopt[7910] = 1.000000 (CL007911) xopt[8041] = 1.000000 (CL008042) xopt[8350] = 1.000000 (CL008351) xopt[8615] = 1.000000 (CL008616) xopt[8635] = 1.000000 (CL008636) xopt[8670] = 1.000000 (CL008671) zopt = 56137.000000 zroot = 55645.556796 zinit = 55535.436388 MINTO: Branch and bound statistics Maximum number of unevaluated nodes = 21 Number of evaluated nodes = 473 Depth of the tree = 33 Number of linear programs solved = 600 Maximum number of rows in active LP = 951 (823) MINTO: Cut generation statistics Number of generated clique inequalities = 476 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.01 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: 1.31 Preprocessing and probing: 0.80 Primal heuristic: 0.83 Bound improvement: 85.33 Clique cut generation: 3.33 Implication cut generation: 0.00 Knapsack cover generation: 0.00 GUB cover generation: 0.00 Surrogate knapsack cover generation: 0.00 Flow cover generation: 0.00 Cut pool search: 0.00 Cut Management: 0.01 Branching: 5.47 Time LP solving: 0.00 Total elapsed time: 99.20 Command exited with non-zero status 161 99.15user 0.06system 1:39.26elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+0outputs (0major+7661minor)pagefaults 0swaps