current bounds on the number of colors: 0 -- 79 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:39:29 2012 Optimize a model with 12871 rows, 3409 columns and 41457 nonzeros Presolve time: 0.07s Presolved: 12871 rows, 3409 columns, 41457 nonzeros Variable types: 0 continuous, 3409 integer (3409 binary) Root relaxation: objective 0.000000e+00, 241 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 (425 simplex iterations) in 0.10 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 -- 39 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:39:29 2012 Optimize a model with 6311 rows, 1829 columns and 20197 nonzeros Presolve time: 0.02s Presolved: 6311 rows, 1829 columns, 20197 nonzeros Variable types: 0 continuous, 1829 integer (1829 binary) Root relaxation: objective 0.000000e+00, 172 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 (302 simplex iterations) in 0.03 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 -- 19 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:39:29 2012 Optimize a model with 3031 rows, 1039 columns and 9567 nonzeros Presolve time: 0.01s Presolved: 3031 rows, 1039 columns, 9567 nonzeros Variable types: 0 continuous, 1039 integer (1039 binary) Root relaxation: objective 0.000000e+00, 170 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 (406 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 -- 9 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 19:39:29 2012 Optimize a model with 1391 rows, 644 columns and 4252 nonzeros Presolve time: 0.00s Presolved: 1391 rows, 644 columns, 4252 nonzeros Variable types: 0 continuous, 644 integer (644 binary) Root relaxation: objective 0.000000e+00, 180 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 150 - 0.00000 - - 0s 0 0 0.00000 0 150 - 0.00000 - - 0s 0 0 0.00000 0 144 - 0.00000 - - 0s 0 0 0.00000 0 206 - 0.00000 - - 0s 0 0 0.00000 0 184 - 0.00000 - - 0s 0 0 0.00000 0 141 - 0.00000 - - 0s 0 0 0.00000 0 151 - 0.00000 - - 0s 0 0 0.00000 0 188 - 0.00000 - - 0s 0 0 0.00000 0 188 - 0.00000 - - 0s 0 2 0.00000 0 188 - 0.00000 - - 0s * 639 1 14 0.0000000 0.00000 0.0% 58.0 1s Cutting planes: Clique: 3 Zero half: 18 Explored 640 nodes (46061 simplex iterations) in 1.94 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 Thu Dec 13 19:39:31 2012 Optimize a model with 735 rows, 486 columns and 2126 nonzeros Presolve removed 79 rows and 79 columns Presolve time: 0.00s Presolved: 656 rows, 407 columns, 1968 nonzeros Variable types: 0 continuous, 407 integer (407 binary) Root relaxation: objective 0.000000e+00, 80 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 79 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (332 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 Thu Dec 13 19:39:31 2012 Optimize a model with 1063 rows, 565 columns and 3189 nonzeros Presolve time: 0.00s Presolved: 1063 rows, 565 columns, 3189 nonzeros Variable types: 0 continuous, 565 integer (565 binary) Root relaxation: objective 0.000000e+00, 191 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 158 - 0.00000 - - 0s 0 0 0.00000 0 154 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (1592 simplex iterations) in 0.10 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - optimal solution found: number of colors: 4