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 ampl_mod
MINTO: Problem statistics:

    Number of constraints: 8317
    Number of variables:   3983 (0)
    Number of nonzero's:   25781

    Number of continuous variables: 847
    Number of binary variables:     3136
    Number of integer variables:    0

MINTO: Row structure analysis (after preprocessing):
    Number of constraints of type MIXUB:        504
    Number of constraints of type MIXEQ:        84
    Number of constraints of type NOBINUB:      966
    Number of constraints of type NOBINEQ:      127
    Number of constraints of type ALLBINEQ:     364
    Number of constraints of type VARLB:        6272

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: ... evaluated 1000 nodes ... (best bound -9.984503, queue 999)
MINTO: ... evaluated 2000 nodes ... (best bound -9.984503, queue 1999)
MINTO: ... evaluated 3000 nodes ... (best bound -9.984503, queue 2999)
MINTO: ... evaluated 4000 nodes ... (best bound -10.295250, queue 3999)
MINTO: ... evaluated 5000 nodes ... (best bound -10.295250, queue 4999)
MINTO: ... evaluated 6000 nodes ... (best bound -10.295250, queue 5997)
MINTO: ... evaluated 7000 nodes ... (best bound -10.295250, queue 6995)
MINTO: ... evaluated 8000 nodes ... (best bound -10.416043, queue 7993)
MINTO: ... evaluated 9000 nodes ... (best bound -10.416043, queue 8987)
MINTO: ... evaluated 10000 nodes ... (best bound -10.419570, queue 9987)
MINTO: ... evaluated 11000 nodes ... (best bound -10.449973, queue 10987)
MINTO: Updating primal (Integral solution)
       Value:       -13.00  Elapsed time:  6380.34  Node:   11568
MINTO: ... evaluated 12000 nodes ... (best bound -10.460526, queue 11428)
MINTO: ... evaluated 13000 nodes ... (best bound -10.515444, queue 12392)
Command terminated by signal 9
7199.17user 1.27system 2:00:00elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (0major+238458minor)pagefaults 0swaps