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

Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:22:20 2012

Optimize a model with 7483 rows, 3913 columns and 25929 nonzeros
Presolve removed 2 rows and 86 columns
Presolve time: 0.05s
Presolved: 7481 rows, 3827 columns, 25843 nonzeros
Variable types: 0 continuous, 3827 integer (3827 binary)

Root relaxation: objective 0.000000e+00, 199 iterations, 0.00 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 (199 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 -- 43

Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:22:21 2012

Optimize a model with 3699 rows, 1999 columns and 12663 nonzeros
Presolve removed 2 rows and 42 columns
Presolve time: 0.02s
Presolved: 3697 rows, 1957 columns, 12621 nonzeros
Variable types: 0 continuous, 1957 integer (1957 binary)

Root relaxation: objective 0.000000e+00, 195 iterations, 0.00 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 (326 simplex iterations) in 0.02 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 -- 21

Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:22:21 2012

Optimize a model with 1807 rows, 1042 columns and 6030 nonzeros
Presolve removed 2 rows and 20 columns
Presolve time: 0.01s
Presolved: 1805 rows, 1022 columns, 6010 nonzeros
Variable types: 0 continuous, 1022 integer (1022 binary)

Root relaxation: objective 0.000000e+00, 194 iterations, 0.00 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 (314 simplex iterations) in 0.01 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 -- 10

Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:22:21 2012

Optimize a model with 947 rows, 607 columns and 3015 nonzeros
Presolve removed 2 rows and 10 columns
Presolve time: 0.00s
Presolved: 945 rows, 597 columns, 3005 nonzeros
Variable types: 0 continuous, 597 integer (597 binary)

Root relaxation: objective 0.000000e+00, 194 iterations, 0.00 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 (324 simplex iterations) in 0.01 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 -- 5

Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:22:21 2012

Optimize a model with 431 rows, 346 columns and 1206 nonzeros
Presolve removed 87 rows and 89 columns
Presolve time: 0.00s
Presolved: 344 rows, 257 columns, 1032 nonzeros
Variable types: 0 continuous, 257 integer (257 binary)

Root relaxation: objective 0.000000e+00, 89 iterations, 0.00 seconds

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

     0     0    0.00000    0   85          -    0.00000     -      -    0s
     0     0 infeasible    0               -    0.10000     -      -    0s

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

Model objective exceeds cutoff
Best objective -, best bound 1.000000000000e+00, gap -


current bounds on the number of colors: 2 -- 5

Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:22:21 2012

Optimize a model with 603 rows, 433 columns and 1809 nonzeros
Presolve removed 2 rows and 6 columns
Presolve time: 0.00s
Presolved: 601 rows, 427 columns, 1803 nonzeros
Variable types: 0 continuous, 427 integer (427 binary)

Root relaxation: objective 0.000000e+00, 200 iterations, 0.00 seconds

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

     0     0    0.00000    0  128          -    0.00000     -      -    0s
     0     0    0.00000    0  128          -    0.00000     -      -    0s
     0     0    0.00000    0   43          -    0.00000     -      -    0s
H    0     0                       0.0000000    0.00000   0.0%     -    0s

Explored 0 nodes (1738 simplex iterations) in 0.05 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%


optimal solution found: number of colors: 3