current bounds on the number of colors: 0 -- 121 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:21:31 2012 Optimize a model with 42781 rows, 7971 columns and 135240 nonzeros Presolve time: 0.16s Presolved: 42781 rows, 7971 columns, 135240 nonzeros Variable types: 0 continuous, 7971 integer (7971 binary) Root relaxation: objective 0.000000e+00, 278 iterations, 0.05 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 (536 simplex iterations) in 0.26 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 -- 60 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:21:32 2012 Optimize a model with 21451 rows, 4341 columns and 67620 nonzeros Presolve time: 0.09s Presolved: 21451 rows, 4341 columns, 67620 nonzeros Variable types: 0 continuous, 4341 integer (4341 binary) Root relaxation: objective 0.000000e+00, 291 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 (544 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 -- 30 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:21:32 2012 Optimize a model with 10786 rows, 2526 columns and 33810 nonzeros Presolve time: 0.04s Presolved: 10786 rows, 2526 columns, 33810 nonzeros Variable types: 0 continuous, 2526 integer (2526 binary) Root relaxation: objective 0.000000e+00, 242 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 (476 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 -- 15 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:21:32 2012 Optimize a model with 5098 rows, 1558 columns and 15778 nonzeros Presolve time: 0.01s Presolved: 5098 rows, 1558 columns, 15778 nonzeros Variable types: 0 continuous, 1558 integer (1558 binary) Root relaxation: objective 0.000000e+00, 256 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 (841 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:21:33 2012 Optimize a model with 2254 rows, 1074 columns and 6762 nonzeros Presolve time: 0.01s Presolved: 2254 rows, 1074 columns, 6762 nonzeros Variable types: 0 continuous, 1074 integer (1074 binary) Root relaxation: objective 0.000000e+00, 272 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 188 - 0.00000 - - 0s 0 0 0.00000 0 259 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4382 simplex iterations) in 0.44 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: 3 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:21:33 2012 Optimize a model with 3676 rows, 1316 columns and 11270 nonzeros Presolve time: 0.01s Presolved: 3676 rows, 1316 columns, 11270 nonzeros Variable types: 0 continuous, 1316 integer (1316 binary) Root relaxation: objective 0.000000e+00, 250 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 146 - 0.00000 - - 0s 0 0 0.00000 0 237 - 0.00000 - - 0s 0 0 0.00000 0 317 - 0.00000 - - 1s 0 0 0.00000 0 305 - 0.00000 - - 1s 0 0 0.00000 0 304 - 0.00000 - - 1s 0 0 0.00000 0 310 - 0.00000 - - 1s 0 0 0.00000 0 330 - 0.00000 - - 1s 0 0 0.00000 0 330 - 0.00000 - - 1s 0 2 0.00000 0 330 - 0.00000 - - 2s * 358 3 23 0.0000000 0.00000 0.0% 72.3 3s Cutting planes: Clique: 4 Zero half: 30 Explored 359 nodes (41858 simplex iterations) in 3.76 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:21:37 2012 Optimize a model with 2965 rows, 1195 columns and 9016 nonzeros Presolve time: 0.01s Presolved: 2965 rows, 1195 columns, 9016 nonzeros Variable types: 0 continuous, 1195 integer (1195 binary) Root relaxation: objective 0.000000e+00, 279 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 234 - 0.00000 - - 0s 0 0 0.00000 0 236 - 0.00000 - - 0s 0 0 0.00000 0 346 - 0.00000 - - 0s 0 0 0.00000 0 354 - 0.00000 - - 1s 0 0 0.00000 0 349 - 0.00000 - - 1s 0 0 0.00000 0 343 - 0.00000 - - 2s 0 0 0.00000 0 342 - 0.00000 - - 2s 0 0 0.00000 0 338 - 0.00000 - - 3s 0 0 0.00000 0 336 - 0.00000 - - 3s 0 0 0.00000 0 352 - 0.00000 - - 4s 0 0 0.00000 0 347 - 0.00000 - - 4s 0 0 0.00000 0 346 - 0.00000 - - 5s 0 0 0.00000 0 346 - 0.00000 - - 5s 0 0 0.00000 0 346 - 0.00000 - - 6s 0 2 0.00000 0 346 - 0.00000 - - 6s Cutting planes: Clique: 14 Zero half: 31 Explored 33 nodes (40539 simplex iterations) in 7.52 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5