current bounds on the number of colors: 0 -- 144

Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:09:27 2012

Optimize a model with 79992 rows, 11477 columns and 249912 nonzeros
Presolve time: 0.22s
Presolved: 79992 rows, 11477 columns, 249912 nonzeros
Variable types: 0 continuous, 11477 integer (11477 binary)

Root relaxation: objective 0.000000e+00, 332 iterations, 0.09 seconds

    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time

*    0     0               0       0.0000000    0.00000   0.0%     -    0s

Explored 0 nodes (732 simplex iterations) in 0.44 seconds
Thread count was 1 (of 16 available processors)

Optimal solution found (tolerance 1.00e-04)
Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0%


current bounds on the number of colors: 0 -- 72

Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:09:29 2012

Optimize a model with 40068 rows, 6293 columns and 124956 nonzeros
Presolve time: 0.15s
Presolved: 40068 rows, 6293 columns, 124956 nonzeros
Variable types: 0 continuous, 6293 integer (6293 binary)

Root relaxation: objective 0.000000e+00, 355 iterations, 0.04 seconds

    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time

*    0     0               0       0.0000000    0.00000   0.0%     -    0s

Explored 0 nodes (758 simplex iterations) in 0.24 seconds
Thread count was 1 (of 16 available processors)

Optimal solution found (tolerance 1.00e-04)
Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0%


current bounds on the number of colors: 0 -- 36

Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:09:29 2012

Optimize a model with 20106 rows, 3701 columns and 62478 nonzeros
Presolve time: 0.07s
Presolved: 20106 rows, 3701 columns, 62478 nonzeros
Variable types: 0 continuous, 3701 integer (3701 binary)

Root relaxation: objective 0.000000e+00, 425 iterations, 0.02 seconds

    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time

*    0     0               0       0.0000000    0.00000   0.0%     -    0s

Explored 0 nodes (825 simplex iterations) in 0.12 seconds
Thread count was 1 (of 16 available processors)

Optimal solution found (tolerance 1.00e-04)
Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0%


current bounds on the number of colors: 0 -- 18

Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:09:30 2012

Optimize a model with 10125 rows, 2405 columns and 31239 nonzeros
Presolve time: 0.03s
Presolved: 10125 rows, 2405 columns, 31239 nonzeros
Variable types: 0 continuous, 2405 integer (2405 binary)

Root relaxation: objective 0.000000e+00, 305 iterations, 0.01 seconds

    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time

*    0     0               0       0.0000000    0.00000   0.0%     -    0s

Explored 0 nodes (734 simplex iterations) in 0.06 seconds
Thread count was 1 (of 16 available processors)

Optimal solution found (tolerance 1.00e-04)
Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0%


current bounds on the number of colors: 0 -- 9

Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:09:30 2012

Optimize a model with 4580 rows, 1685 columns and 13884 nonzeros
Presolve time: 0.01s
Presolved: 4580 rows, 1685 columns, 13884 nonzeros
Variable types: 0 continuous, 1685 integer (1685 binary)

Root relaxation: objective 0.000000e+00, 305 iterations, 0.01 seconds

    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time

     0     0    0.00000    0  286          -    0.00000     -      -    0s
     0     0    0.00000    0  282          -    0.00000     -      -    0s
     0     0    0.00000    0  482          -    0.00000     -      -    2s
     0     0    0.00000    0  494          -    0.00000     -      -    2s
     0     0    0.00000    0  491          -    0.00000     -      -    3s
     0     0    0.00000    0  484          -    0.00000     -      -    3s
     0     0    0.00000    0  479          -    0.00000     -      -    4s
     0     0    0.00000    0  477          -    0.00000     -      -    5s
     0     0    0.00000    0  478          -    0.00000     -      -    6s
     0     0    0.00000    0  487          -    0.00000     -      -    7s
     0     0    0.00000    0  479          -    0.00000     -      -    8s
     0     0    0.00000    0  484          -    0.00000     -      -    9s
     0     0    0.00000    0  483          -    0.00000     -      -   10s
     0     2    0.00000    0  476          -    0.00000     -      -   11s

Cutting planes:
  Clique: 25
  Zero half: 36

Explored 5 nodes (57217 simplex iterations) in 11.44 seconds
Thread count was 1 (of 16 available processors)

Model objective exceeds cutoff
Best objective -, best bound -, gap -


current bounds on the number of colors: 4 -- 9

Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:09:42 2012

Optimize a model with 6798 rows, 1973 columns and 20826 nonzeros
Presolve time: 0.02s
Presolved: 6798 rows, 1973 columns, 20826 nonzeros
Variable types: 0 continuous, 1973 integer (1973 binary)

Root relaxation: objective 0.000000e+00, 300 iterations, 0.01 seconds

    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time

     0     0    0.00000    0  230          -    0.00000     -      -    0s
     0     0    0.00000    0  324          -    0.00000     -      -    1s
     0     0    0.00000    0  230          -    0.00000     -      -    2s
     0     0    0.00000    0  358          -    0.00000     -      -    2s
     0     0    0.00000    0  221          -    0.00000     -      -    3s
     0     0    0.00000    0  222          -    0.00000     -      -    4s
     0     0    0.00000    0  213          -    0.00000     -      -    5s
     0     0    0.00000    0  257          -    0.00000     -      -    5s
     0     0    0.00000    0  255          -    0.00000     -      -    6s
     0     0    0.00000    0  287          -    0.00000     -      -    7s
     0     0    0.00000    0  284          -    0.00000     -      -    8s
     0     2    0.00000    0  284          -    0.00000     -      -    9s
     3     3    0.00000    2  326          -    0.00000     -   1129   10s
   603   154    0.00000   37  230          -    0.00000     -   90.8   15s
   607   157    0.00000   24  104          -    0.00000     -   90.2   20s
   610   159    0.00000   13  256          -    0.00000     -   89.8   25s
   613   161    0.00000   40   98          -    0.00000     -   89.4   30s
   653   188    0.00000   29  122          -    0.00000     -    180   35s
   930   252    0.00000   39  154          -    0.00000     -    188   40s
* 1094     3              47       0.0000000    0.00000   0.0%   190   42s

Cutting planes:
  Clique: 2
  Zero half: 3

Explored 1095 nodes (259167 simplex iterations) in 42.27 seconds
Thread count was 1 (of 16 available processors)

Optimal solution found (tolerance 1.00e-04)
Best objective 0.000000000000e+00, best bound 0.000000000000e+00, gap 0.0%


current bounds on the number of colors: 4 -- 6

Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:10:24 2012

Optimize a model with 5689 rows, 1829 columns and 17355 nonzeros
Presolve time: 0.02s
Presolved: 5689 rows, 1829 columns, 17355 nonzeros
Variable types: 0 continuous, 1829 integer (1829 binary)

Root relaxation: objective 0.000000e+00, 302 iterations, 0.01 seconds

    Nodes    |    Current Node    |     Objective Bounds      |     Work
 Expl Unexpl |  Obj  Depth IntInf | Incumbent    BestBd   Gap | It/Node Time

     0     0    0.00000    0  288          -    0.00000     -      -    0s
     0     0    0.00000    0  285          -    0.00000     -      -    0s
     0     0    0.00000    0  349          -    0.00000     -      -    2s
     0     0    0.00000    0  378          -    0.00000     -      -    2s
     0     0    0.00000    0  373          -    0.00000     -      -    3s
     0     0    0.00000    0  374          -    0.00000     -      -    4s
     0     0    0.00000    0  375          -    0.00000     -      -    6s
     0     0    0.00000    0  375          -    0.00000     -      -    6s
     0     2    0.00000    0  375          -    0.00000     -      -    8s
    55    17 infeasible   19               -    0.00000     -    315   10s
   248    22 infeasible   16               -    0.00000     -    241   15s
   418    20    0.00000   15  350          -    0.00000     -    242   20s
   620    20    0.00000   15  312          -    0.00000     -    233   25s
   777    20 infeasible   12               -    0.00000     -    235   30s
   980    18 infeasible   19               -    0.00000     -    229   35s
  1189    20    0.00000   16  363          -    0.00000     -    223   40s
  1382    26    0.00000   17  368          -    0.00000     -    222   45s
  1405    30    0.00000   18  358          -    0.00000     -    222   52s
  1406    30    0.00000    6  329          -    0.00000     -    222   55s
  1409    32    0.00000   10  302          -    0.00000     -    221   62s
  1411    34    0.00000    4  297          -    0.00000     -    221   66s
  1413    35    0.00000   16  306          -    0.00000     -    221   70s
  1420    38    0.00000   11  366          -    0.00000     -    262   75s
  1431    45    0.00000   17  370          -    0.00000     -    263   80s
  1494    35 infeasible   20               -    0.00000     -    268   85s
  1589    31 infeasible   25               -    0.00000     -    275   90s
  1669    31 infeasible   21               -    0.00000     -    284   95s
  1760    60 infeasible   26               -    0.00000     -    289  100s
  1852    58 infeasible   27               -    0.00000     -    295  105s
  1944    66    0.00000   20  361          -    0.00000     -    300  110s
  2039    85    0.00000   29  338          -    0.00000     -    303  115s
  2118    78    0.00000   21  360          -    0.00000     -    310  120s
  2207    79 infeasible   21               -    0.00000     -    314  125s
  2301    91    0.00000   23  343          -    0.00000     -    318  130s
  2398    98 infeasible   25               -    0.00000     -    322  135s
  2488    90 infeasible   26               -    0.00000     -    326  140s
  2575    93 infeasible   23               -    0.00000     -    330  145s
  2680   100    0.00000   23  356          -    0.00000     -    332  150s
  2786   108    0.00000   26  359          -    0.00000     -    333  155s
  2878   110    0.00000   26  373          -    0.00000     -    336  160s
  2955   105 infeasible   32               -    0.00000     -    340  165s
  3041   103 infeasible   22               -    0.00000     -    342  170s
  3138   112 infeasible   24               -    0.00000     -    344  175s
  3228   104 infeasible   24               -    0.00000     -    346  180s
  3310   100    0.00000   19  371          -    0.00000     -    349  185s
  3389    95 infeasible   27               -    0.00000     -    353  190s
  3470    94 infeasible   25               -    0.00000     -    356  195s
  3549    87    0.00000   23  360          -    0.00000     -    359  200s
  3631    85 infeasible   25               -    0.00000     -    361  205s
  3722    86 infeasible   25               -    0.00000     -    363  210s
  3806    86 infeasible   26               -    0.00000     -    365  215s
  3900    92 infeasible   25               -    0.00000     -    366  220s
  3980    90    0.00000   24  381          -    0.00000     -    368  225s
  4053    85 infeasible   25               -    0.00000     -    370  230s
  4140    82    0.00000   28  366          -    0.00000     -    372  235s
  4228    76    0.00000   25  366          -    0.00000     -    374  240s

Cutting planes:
  Clique: 3
  Zero half: 10

Explored 4261 nodes (1623362 simplex iterations) in 241.76 seconds
Thread count was 1 (of 16 available processors)

Time limit reached
Best objective -, best bound 0.000000000000e+00, gap -


optimal solution found: number of colors: 6