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

    Number of constraints: 3285
    Number of variables:   1620 (0)
    Number of nonzero's:   17073

    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:     801
    Number of constraints of type ALLBINEQ:     36
    Number of constraints of type BINSUM1UB:    2187
    Number of constraints of type BINSUM1EQ:    261

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: ... evaluated 1000 nodes ... (best bound 0.000000, queue 73)
MINTO: ... evaluated 2000 nodes ... (best bound 0.000000, queue 71)
MINTO: ... evaluated 3000 nodes ... (best bound 0.000000, queue 65)
MINTO: ... evaluated 4000 nodes ... (best bound 0.000000, queue 65)
MINTO: ... evaluated 5000 nodes ... (best bound 0.000000, queue 77)
MINTO: ... evaluated 6000 nodes ... (best bound 0.000000, queue 67)
MINTO: ... evaluated 7000 nodes ... (best bound 0.000000, queue 81)
MINTO: ... evaluated 8000 nodes ... (best bound 0.000000, queue 73)
Command terminated by signal 9
7190.96user 9.48system 2:00:05elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (0major+20101minor)pagefaults 0swaps