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

    Number of constraints: 1568
    Number of variables:   477 (0)
    Number of nonzero's:   4284

    Number of continuous variables: 245
    Number of binary variables:     232
    Number of integer variables:    0

MINTO: Row structure analysis (after preprocessing):
    Number of constraints of type MIXUB:        668
    Number of constraints of type NOBINUB:      242
    Number of constraints of type NOBINEQ:      28
    Number of constraints of type ALLBINUB:     112
    Number of constraints of type VARUB:        188
    Number of constraints of type BINSUM1UB:    316
    Number of constraints of type BINSUM1EQ:    14

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 (MINTO heuristic)
       Value:      -435.00  Elapsed time:     0.05  Node:       1
MINTO: Updating primal (MINTO heuristic)
       Value:      -273.00  Elapsed time:     0.14  Node:       1
MINTO: Updating primal (MINTO heuristic)
       Value:      -171.00  Elapsed time:     0.80  Node:     100
MINTO: Updating primal (MINTO heuristic)
       Value:      -155.00  Elapsed time:     1.62  Node:     300
MINTO: Updating primal (Integral solution)
       Value:      -141.00  Elapsed time:     3.27  Node:     794
MINTO: Updating primal (Integral solution)
       Value:      -137.00  Elapsed time:     3.29  Node:     805
MINTO: ... evaluated 1000 nodes ... (best bound -63.752208, queue 258)
MINTO: ... evaluated 2000 nodes ... (best bound -63.752208, queue 242)
MINTO: ... evaluated 3000 nodes ... (best bound -63.752208, queue 240)
MINTO: ... evaluated 4000 nodes ... (best bound -63.752208, queue 236)
MINTO: ... evaluated 5000 nodes ... (best bound -63.752208, queue 238)
MINTO: ... evaluated 6000 nodes ... (best bound -63.752208, queue 238)
MINTO: ... evaluated 7000 nodes ... (best bound -63.752208, queue 210)
MINTO: ... evaluated 8000 nodes ... (best bound -63.752208, queue 184)
MINTO: ... evaluated 9000 nodes ... (best bound -63.752208, queue 166)
MINTO: ... evaluated 10000 nodes ... (best bound -63.752208, queue 156)
MINTO: ... evaluated 11000 nodes ... (best bound -63.752208, queue 154)
MINTO: ... evaluated 12000 nodes ... (best bound -63.752208, queue 152)
MINTO: ... evaluated 13000 nodes ... (best bound -63.752208, queue 154)
MINTO: ... evaluated 14000 nodes ... (best bound -63.752208, queue 138)
MINTO: ... evaluated 15000 nodes ... (best bound -63.752208, queue 138)
MINTO: ... evaluated 16000 nodes ... (best bound -63.752208, queue 142)
MINTO: ... evaluated 17000 nodes ... (best bound -63.752208, queue 134)
MINTO: ... evaluated 18000 nodes ... (best bound -63.752208, queue 134)
MINTO: ... evaluated 19000 nodes ... (best bound -63.752208, queue 132)
MINTO: ... evaluated 20000 nodes ... (best bound -63.752208, queue 128)
MINTO: ... evaluated 21000 nodes ... (best bound -63.752208, queue 136)
MINTO: ... evaluated 22000 nodes ... (best bound -63.752208, queue 132)
MINTO: ... evaluated 23000 nodes ... (best bound -63.752208, queue 136)
MINTO: ... evaluated 24000 nodes ... (best bound -63.752208, queue 136)
MINTO: ... evaluated 25000 nodes ... (best bound -63.752208, queue 120)
MINTO: ... evaluated 26000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 27000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 28000 nodes ... (best bound -63.752208, queue 130)
MINTO: ... evaluated 29000 nodes ... (best bound -63.752208, queue 134)
MINTO: ... evaluated 30000 nodes ... (best bound -63.752208, queue 138)
MINTO: ... evaluated 31000 nodes ... (best bound -63.752208, queue 120)
MINTO: ... evaluated 32000 nodes ... (best bound -63.752208, queue 122)
MINTO: ... evaluated 33000 nodes ... (best bound -63.752208, queue 126)
MINTO: ... evaluated 34000 nodes ... (best bound -63.752208, queue 122)
MINTO: ... evaluated 35000 nodes ... (best bound -63.752208, queue 122)
MINTO: ... evaluated 36000 nodes ... (best bound -63.752208, queue 120)
MINTO: ... evaluated 37000 nodes ... (best bound -63.752208, queue 120)
MINTO: ... evaluated 38000 nodes ... (best bound -63.752208, queue 126)
MINTO: ... evaluated 39000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 40000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 41000 nodes ... (best bound -63.752208, queue 122)
MINTO: ... evaluated 42000 nodes ... (best bound -63.752208, queue 122)
MINTO: ... evaluated 43000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 44000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 45000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 46000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 47000 nodes ... (best bound -63.752208, queue 120)
MINTO: ... evaluated 48000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 49000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 50000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 51000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 52000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 53000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 54000 nodes ... (best bound -63.752208, queue 108)
MINTO: ... evaluated 55000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 56000 nodes ... (best bound -63.752208, queue 110)
MINTO: ... evaluated 57000 nodes ... (best bound -63.752208, queue 110)
MINTO: ... evaluated 58000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 59000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 60000 nodes ... (best bound -63.752208, queue 110)
MINTO: ... evaluated 61000 nodes ... (best bound -63.752208, queue 122)
MINTO: ... evaluated 62000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 63000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 64000 nodes ... (best bound -63.752208, queue 108)
MINTO: ... evaluated 65000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 66000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 67000 nodes ... (best bound -63.752208, queue 128)
MINTO: ... evaluated 68000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 69000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 70000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 71000 nodes ... (best bound -63.752208, queue 120)
MINTO: ... evaluated 72000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 73000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 74000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 75000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 76000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 77000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 78000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 79000 nodes ... (best bound -63.752208, queue 120)
MINTO: ... evaluated 80000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 81000 nodes ... (best bound -63.752208, queue 120)
MINTO: ... evaluated 82000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 83000 nodes ... (best bound -63.752208, queue 108)
MINTO: ... evaluated 84000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 85000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 86000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 87000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 88000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 89000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 90000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 91000 nodes ... (best bound -63.752208, queue 108)
MINTO: ... evaluated 92000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 93000 nodes ... (best bound -63.752208, queue 110)
MINTO: ... evaluated 94000 nodes ... (best bound -63.752208, queue 110)
MINTO: ... evaluated 95000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 96000 nodes ... (best bound -63.752208, queue 106)
MINTO: ... evaluated 97000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 98000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 99000 nodes ... (best bound -63.752208, queue 108)
MINTO: ... evaluated 100000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 101000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 102000 nodes ... (best bound -63.752208, queue 110)
MINTO: ... evaluated 103000 nodes ... (best bound -63.752208, queue 108)
MINTO: ... evaluated 104000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 105000 nodes ... (best bound -63.752208, queue 110)
MINTO: ... evaluated 106000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 107000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 108000 nodes ... (best bound -63.752208, queue 110)
MINTO: ... evaluated 109000 nodes ... (best bound -63.752208, queue 110)
MINTO: ... evaluated 110000 nodes ... (best bound -63.752208, queue 122)
MINTO: ... evaluated 111000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 112000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 113000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 114000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 115000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 116000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 117000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 118000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 119000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 120000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 121000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 122000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 123000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 124000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 125000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 126000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 127000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 128000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 129000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 130000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 131000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 132000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 133000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 134000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 135000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 136000 nodes ... (best bound -63.752208, queue 120)
MINTO: ... evaluated 137000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 138000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 139000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 140000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 141000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 142000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 143000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 144000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 145000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 146000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 147000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 148000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 149000 nodes ... (best bound -63.752208, queue 108)
MINTO: ... evaluated 150000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 151000 nodes ... (best bound -63.752208, queue 110)
MINTO: ... evaluated 152000 nodes ... (best bound -63.752208, queue 120)
MINTO: ... evaluated 153000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 154000 nodes ... (best bound -63.752208, queue 110)
MINTO: ... evaluated 155000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 156000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 157000 nodes ... (best bound -63.752208, queue 110)
MINTO: ... evaluated 158000 nodes ... (best bound -63.752208, queue 110)
MINTO: ... evaluated 159000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 160000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 161000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 162000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 163000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 164000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 165000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 166000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 167000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 168000 nodes ... (best bound -63.752208, queue 120)
MINTO: ... evaluated 169000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 170000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 171000 nodes ... (best bound -63.752208, queue 120)
MINTO: ... evaluated 172000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 173000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 174000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 175000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 176000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 177000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 178000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 179000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 180000 nodes ... (best bound -63.752208, queue 120)
MINTO: ... evaluated 181000 nodes ... (best bound -63.752208, queue 120)
MINTO: ... evaluated 182000 nodes ... (best bound -63.752208, queue 122)
MINTO: ... evaluated 183000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 184000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 185000 nodes ... (best bound -63.752208, queue 120)
MINTO: ... evaluated 186000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 187000 nodes ... (best bound -63.752208, queue 120)
MINTO: ... evaluated 188000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 189000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 190000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 191000 nodes ... (best bound -63.752208, queue 122)
MINTO: ... evaluated 192000 nodes ... (best bound -63.752208, queue 126)
MINTO: ... evaluated 193000 nodes ... (best bound -63.752208, queue 120)
MINTO: ... evaluated 194000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 195000 nodes ... (best bound -63.752208, queue 110)
MINTO: ... evaluated 196000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 197000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 198000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 199000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 200000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 201000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 202000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 203000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 204000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 205000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 206000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 207000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 208000 nodes ... (best bound -63.752208, queue 110)
MINTO: ... evaluated 209000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 210000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 211000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 212000 nodes ... (best bound -63.752208, queue 120)
MINTO: ... evaluated 213000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 214000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 215000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 216000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 217000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 218000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 219000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 220000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 221000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 222000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 223000 nodes ... (best bound -63.752208, queue 110)
MINTO: ... evaluated 224000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 225000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 226000 nodes ... (best bound -63.752208, queue 110)
MINTO: ... evaluated 227000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 228000 nodes ... (best bound -63.752208, queue 110)
MINTO: ... evaluated 229000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 230000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 231000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 232000 nodes ... (best bound -63.752208, queue 110)
MINTO: ... evaluated 233000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 234000 nodes ... (best bound -63.752208, queue 110)
MINTO: ... evaluated 235000 nodes ... (best bound -63.752208, queue 112)
MINTO: ... evaluated 236000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 237000 nodes ... (best bound -63.752208, queue 108)
MINTO: ... evaluated 238000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 239000 nodes ... (best bound -63.752208, queue 110)
MINTO: ... evaluated 240000 nodes ... (best bound -63.752208, queue 108)
MINTO: ... evaluated 241000 nodes ... (best bound -63.752208, queue 106)
MINTO: ... evaluated 242000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 243000 nodes ... (best bound -63.752208, queue 120)
MINTO: ... evaluated 244000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 245000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 246000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 247000 nodes ... (best bound -63.752208, queue 110)
MINTO: ... evaluated 248000 nodes ... (best bound -63.752208, queue 114)
MINTO: ... evaluated 249000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 250000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 251000 nodes ... (best bound -63.752208, queue 122)
MINTO: ... evaluated 252000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 253000 nodes ... (best bound -63.752208, queue 122)
MINTO: ... evaluated 254000 nodes ... (best bound -63.752208, queue 120)
MINTO: ... evaluated 255000 nodes ... (best bound -63.752208, queue 124)
MINTO: ... evaluated 256000 nodes ... (best bound -63.752208, queue 124)
MINTO: ... evaluated 257000 nodes ... (best bound -63.752208, queue 122)
MINTO: ... evaluated 258000 nodes ... (best bound -63.752208, queue 126)
MINTO: ... evaluated 259000 nodes ... (best bound -63.752208, queue 118)
MINTO: ... evaluated 260000 nodes ... (best bound -63.752208, queue 124)
MINTO: ... evaluated 261000 nodes ... (best bound -63.752208, queue 116)
MINTO: ... evaluated 262000 nodes ... (best bound -63.752208, queue 160)
Abort ! [PREPROC/PREP/branch.c: 295]
Command exited with non-zero status 1
549.46user 1.65system 9:11.19elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k
0inputs+0outputs (0major+7584minor)pagefaults 0swaps