current bounds on the number of colors: 0 -- 152 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:49:36 2012 Optimize a model with 47120 rows, 12170 columns and 152456 nonzeros Presolve removed 1 rows and 76 columns Presolve time: 0.16s Presolved: 47119 rows, 12094 columns, 152380 nonzeros Variable types: 0 continuous, 12094 integer (12094 binary) Root relaxation: objective 0.000000e+00, 551 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 (884 simplex iterations) in 0.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: 0 -- 76 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:49:37 2012 Optimize a model with 23636 rows, 6394 columns and 76228 nonzeros Presolve removed 1 rows and 38 columns Presolve time: 0.12s Presolved: 23635 rows, 6356 columns, 76190 nonzeros Variable types: 0 continuous, 6356 integer (6356 binary) Root relaxation: objective 0.000000e+00, 392 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 (680 simplex iterations) in 0.17 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 -- 38 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:49:37 2012 Optimize a model with 11894 rows, 3506 columns and 38114 nonzeros Presolve removed 1 rows and 19 columns Presolve time: 0.04s Presolved: 11893 rows, 3487 columns, 38095 nonzeros Variable types: 0 continuous, 3487 integer (3487 binary) Root relaxation: objective 0.000000e+00, 308 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 (592 simplex iterations) in 0.07 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 Fri Dec 14 18:49:37 2012 Optimize a model with 5714 rows, 1986 columns and 18054 nonzeros Presolve removed 1 rows and 9 columns Presolve time: 0.02s Presolved: 5713 rows, 1977 columns, 18045 nonzeros Variable types: 0 continuous, 1977 integer (1977 binary) Root relaxation: objective 0.000000e+00, 317 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 (765 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:49:38 2012 Optimize a model with 2624 rows, 1226 columns and 8024 nonzeros Presolve removed 1 rows and 4 columns Presolve time: 0.01s Presolved: 2623 rows, 1222 columns, 8020 nonzeros Variable types: 0 continuous, 1222 integer (1222 binary) Root relaxation: objective 0.000000e+00, 325 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 294 - 0.00000 - - 0s 0 0 0.00000 0 290 - 0.00000 - - 0s 0 0 0.00000 0 278 - 0.00000 - - 0s 0 0 0.00000 0 315 - 0.00000 - - 0s 0 0 0.00000 0 227 - 0.00000 - - 0s 0 0 0.00000 0 341 - 0.00000 - - 0s 0 0 0.00000 0 292 - 0.00000 - - 1s 0 0 0.00000 0 348 - 0.00000 - - 1s 0 0 0.00000 0 337 - 0.00000 - - 1s 0 2 0.00000 0 315 - 0.00000 - - 1s * 235 1 25 0.0000000 0.00000 0.0% 83.0 2s Cutting planes: Clique: 1 Zero half: 20 Explored 236 nodes (37095 simplex iterations) in 2.73 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:49:40 2012 Optimize a model with 1388 rows, 922 columns and 4012 nonzeros Presolve removed 152 rows and 153 columns Presolve time: 0.00s Presolved: 1236 rows, 769 columns, 3708 nonzeros Variable types: 0 continuous, 769 integer (769 binary) Root relaxation: objective 0.000000e+00, 169 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 151 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (652 simplex iterations) in 0.02 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:49:40 2012 Optimize a model with 2006 rows, 1074 columns and 6018 nonzeros Presolve removed 1 rows and 3 columns Presolve time: 0.01s Presolved: 2005 rows, 1071 columns, 6015 nonzeros Variable types: 0 continuous, 1071 integer (1071 binary) Root relaxation: objective 0.000000e+00, 326 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 302 - 0.00000 - - 0s 0 0 0.00000 0 296 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3340 simplex iterations) in 0.31 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