current bounds on the number of colors: 0 -- 171 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:24:40 2012 Optimize a model with 62816 rows, 15272 columns and 202470 nonzeros Presolve time: 0.19s Presolved: 62816 rows, 15272 columns, 202470 nonzeros Variable types: 0 continuous, 15272 integer (15272 binary) Root relaxation: objective 0.000000e+00, 667 iterations, 0.07 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 (667 simplex iterations) in 0.28 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 -- 85 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:24:41 2012 Optimize a model with 31125 rows, 7919 columns and 100044 nonzeros Presolve time: 0.14s Presolved: 31125 rows, 7919 columns, 100044 nonzeros Variable types: 0 continuous, 7919 integer (7919 binary) Root relaxation: objective 0.000000e+00, 598 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 (987 simplex iterations) in 0.22 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 -- 42 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:24:42 2012 Optimize a model with 15648 rows, 4328 columns and 50022 nonzeros Presolve time: 0.06s Presolved: 15648 rows, 4328 columns, 50022 nonzeros Variable types: 0 continuous, 4328 integer (4328 binary) Root relaxation: objective 0.000000e+00, 391 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 (697 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 -- 21 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:24:42 2012 Optimize a model with 7541 rows, 2447 columns and 23820 nonzeros Presolve time: 0.02s Presolved: 7541 rows, 2447 columns, 23820 nonzeros Variable types: 0 continuous, 2447 integer (2447 binary) Root relaxation: objective 0.000000e+00, 354 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 (831 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:24:42 2012 Optimize a model with 3856 rows, 1592 columns and 11910 nonzeros Presolve time: 0.01s Presolved: 3856 rows, 1592 columns, 11910 nonzeros Variable types: 0 continuous, 1592 integer (1592 binary) Root relaxation: objective 0.000000e+00, 376 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 (3761 simplex iterations) in 0.25 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:24:42 2012 Optimize a model with 1645 rows, 1079 columns and 4764 nonzeros Presolve removed 171 rows and 171 columns Presolve time: 0.00s Presolved: 1474 rows, 908 columns, 4422 nonzeros Variable types: 0 continuous, 908 integer (908 binary) Root relaxation: objective 0.000000e+00, 179 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 171 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (709 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:24:42 2012 Optimize a model with 2382 rows, 1250 columns and 7146 nonzeros Presolve time: 0.01s Presolved: 2382 rows, 1250 columns, 7146 nonzeros Variable types: 0 continuous, 1250 integer (1250 binary) Root relaxation: objective 0.000000e+00, 378 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 340 - 0.00000 - - 0s 0 0 0.00000 0 340 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3956 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:24:43 2012 Optimize a model with 3119 rows, 1421 columns and 9528 nonzeros Presolve time: 0.01s Presolved: 3119 rows, 1421 columns, 9528 nonzeros Variable types: 0 continuous, 1421 integer (1421 binary) Root relaxation: objective 0.000000e+00, 387 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 330 - 0.00000 - - 0s 0 0 0.00000 0 312 - 0.00000 - - 0s 0 0 0.00000 0 298 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 0s 0 0 0.00000 0 280 - 0.00000 - - 1s 0 0 0.00000 0 272 - 0.00000 - - 1s 0 0 0.00000 0 266 - 0.00000 - - 1s 0 0 0.00000 0 268 - 0.00000 - - 2s 0 0 0.00000 0 264 - 0.00000 - - 2s 0 0 0.00000 0 262 - 0.00000 - - 2s 0 0 0.00000 0 261 - 0.00000 - - 2s 0 0 0.00000 0 278 - 0.00000 - - 3s 0 0 0.00000 0 257 - 0.00000 - - 3s 0 0 0.00000 0 234 - 0.00000 - - 3s 0 0 0.00000 0 389 - 0.00000 - - 4s 0 0 0.00000 0 349 - 0.00000 - - 4s 0 0 0.00000 0 361 - 0.00000 - - 5s 0 0 0.00000 0 361 - 0.00000 - - 5s 0 2 0.00000 0 361 - 0.00000 - - 5s 719 37 0.00000 11 274 - 0.00000 - 103 10s 812 52 0.00000 9 405 - 0.00000 - 101 15s 1062 22 infeasible 29 - 0.00000 - 148 20s 1441 23 infeasible 23 - 0.00000 - 165 25s 1786 16 infeasible 24 - 0.00000 - 176 30s Cutting planes: Gomory: 2 Zero half: 6 Explored 2149 nodes (436461 simplex iterations) in 34.72 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