current bounds on the number of colors: 0 -- 140 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:39:56 2012 Optimize a model with 36820 rows, 10324 columns and 119840 nonzeros Presolve time: 0.14s Presolved: 36820 rows, 10324 columns, 119840 nonzeros Variable types: 0 continuous, 10324 integer (10324 binary) Root relaxation: objective 0.000000e+00, 478 iterations, 0.03 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 (781 simplex iterations) in 0.23 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 -- 70 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:39:57 2012 Optimize a model with 18480 rows, 5424 columns and 59920 nonzeros Presolve time: 0.09s Presolved: 18480 rows, 5424 columns, 59920 nonzeros Variable types: 0 continuous, 5424 integer (5424 binary) Root relaxation: objective 0.000000e+00, 338 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 (595 simplex iterations) in 0.13 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:39:57 2012 Optimize a model with 9048 rows, 2904 columns and 29104 nonzeros Presolve time: 0.03s Presolved: 9048 rows, 2904 columns, 29104 nonzeros Variable types: 0 continuous, 2904 integer (2904 binary) Root relaxation: objective 0.000000e+00, 285 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 (509 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% current bounds on the number of colors: 0 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:39:57 2012 Optimize a model with 4332 rows, 1644 columns and 13696 nonzeros Presolve time: 0.01s Presolved: 4332 rows, 1644 columns, 13696 nonzeros Variable types: 0 continuous, 1644 integer (1644 binary) Root relaxation: objective 0.000000e+00, 306 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 (544 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:39:57 2012 Optimize a model with 2236 rows, 1084 columns and 6848 nonzeros Presolve time: 0.01s Presolved: 2236 rows, 1084 columns, 6848 nonzeros Variable types: 0 continuous, 1084 integer (1084 binary) Root relaxation: objective 0.000000e+00, 332 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 276 - 0.00000 - - 0s 0 0 0.00000 0 248 - 0.00000 - - 0s 0 0 0.00000 0 253 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (5668 simplex iterations) in 0.34 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:39:58 2012 Optimize a model with 1188 rows, 804 columns and 3424 nonzeros Presolve removed 140 rows and 140 columns Presolve time: 0.00s Presolved: 1048 rows, 664 columns, 3144 nonzeros Variable types: 0 continuous, 664 integer (664 binary) Root relaxation: objective 0.000000e+00, 148 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 140 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (602 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:39:58 2012 Optimize a model with 1712 rows, 944 columns and 5136 nonzeros Presolve time: 0.00s Presolved: 1712 rows, 944 columns, 5136 nonzeros Variable types: 0 continuous, 944 integer (944 binary) Root relaxation: objective 0.000000e+00, 324 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 272 - 0.00000 - - 0s 0 0 0.00000 0 274 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 0s 0 0 0.00000 0 379 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 0s 0 0 0.00000 0 357 - 0.00000 - - 0s 0 0 0.00000 0 384 - 0.00000 - - 1s 0 0 0.00000 0 381 - 0.00000 - - 1s 0 0 0.00000 0 341 - 0.00000 - - 1s 0 0 0.00000 0 358 - 0.00000 - - 1s 0 0 0.00000 0 380 - 0.00000 - - 1s 0 0 0.00000 0 256 - 0.00000 - - 2s 0 2 0.00000 0 256 - 0.00000 - - 2s Cutting planes: Gomory: 1 Zero half: 25 Explored 3 nodes (20202 simplex iterations) in 2.28 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