current bounds on the number of colors: 0 -- 130 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:34:33 2012 Optimize a model with 27365 rows, 8869 columns and 90155 nonzeros Presolve time: 0.13s Presolved: 27365 rows, 8869 columns, 90155 nonzeros Variable types: 0 continuous, 8869 integer (8869 binary) Root relaxation: objective 0.000000e+00, 395 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 (638 simplex iterations) in 0.19 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 -- 65 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:34:34 2012 Optimize a model with 13538 rows, 4579 columns and 44384 nonzeros Presolve time: 0.07s Presolved: 13538 rows, 4579 columns, 44384 nonzeros Variable types: 0 continuous, 4579 integer (4579 binary) Root relaxation: objective 0.000000e+00, 320 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 (558 simplex iterations) in 0.09 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:34:34 2012 Optimize a model with 6834 rows, 2499 columns and 22192 nonzeros Presolve time: 0.02s Presolved: 6834 rows, 2499 columns, 22192 nonzeros Variable types: 0 continuous, 2499 integer (2499 binary) Root relaxation: objective 0.000000e+00, 267 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 (483 simplex iterations) in 0.04 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:34:34 2012 Optimize a model with 3482 rows, 1459 columns and 11096 nonzeros Presolve time: 0.01s Presolved: 3482 rows, 1459 columns, 11096 nonzeros Variable types: 0 continuous, 1459 integer (1459 binary) Root relaxation: objective 0.000000e+00, 298 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 (507 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:34:34 2012 Optimize a model with 1806 rows, 939 columns and 5548 nonzeros Presolve time: 0.00s Presolved: 1806 rows, 939 columns, 5548 nonzeros Variable types: 0 continuous, 939 integer (939 binary) Root relaxation: objective 0.000000e+00, 309 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 62 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2010 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 -- 4 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:34:34 2012 Optimize a model with 968 rows, 679 columns and 2774 nonzeros Presolve removed 130 rows and 130 columns Presolve time: 0.00s Presolved: 838 rows, 549 columns, 2514 nonzeros Variable types: 0 continuous, 549 integer (549 binary) Root relaxation: objective 0.000000e+00, 132 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 130 - 0.00000 - - 0s Explored 0 nodes (532 simplex iterations) in 0.01 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 -- 4 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:34:34 2012 Optimize a model with 1387 rows, 809 columns and 4161 nonzeros Presolve time: 0.00s Presolved: 1387 rows, 809 columns, 4161 nonzeros Variable types: 0 continuous, 809 integer (809 binary) Root relaxation: objective 0.000000e+00, 303 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 250 - 0.00000 - - 0s 0 0 0.00000 0 246 - 0.00000 - - 0s 0 0 0.00000 0 250 - 0.00000 - - 0s 0 0 0.00000 0 330 - 0.00000 - - 0s 0 0 0.00000 0 287 - 0.00000 - - 0s 0 0 0.00000 0 279 - 0.00000 - - 0s 0 0 0.00000 0 318 - 0.00000 - - 0s 0 0 0.00000 0 329 - 0.00000 - - 0s 0 0 0.00000 0 285 - 0.00000 - - 0s 0 2 0.00000 0 285 - 0.00000 - - 0s Cutting planes: Gomory: 1 Zero half: 32 Explored 3 nodes (11050 simplex iterations) in 0.98 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 4