current bounds on the number of colors: 0 -- 184 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:46:32 2012 Optimize a model with 80592 rows, 17802 columns and 258152 nonzeros Presolve time: 0.25s Presolved: 80592 rows, 17802 columns, 258152 nonzeros Variable types: 0 continuous, 17802 integer (17802 binary) Root relaxation: objective 0.000000e+00, 769 iterations, 0.09 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 (1219 simplex iterations) in 0.46 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 -- 92 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:46:33 2012 Optimize a model with 40388 rows, 9338 columns and 129076 nonzeros Presolve time: 0.16s Presolved: 40388 rows, 9338 columns, 129076 nonzeros Variable types: 0 continuous, 9338 integer (9338 binary) Root relaxation: objective 0.000000e+00, 653 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 (1090 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 -- 46 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:46:34 2012 Optimize a model with 20286 rows, 5106 columns and 64538 nonzeros Presolve time: 0.08s Presolved: 20286 rows, 5106 columns, 64538 nonzeros Variable types: 0 continuous, 5106 integer (5106 binary) Root relaxation: objective 0.000000e+00, 410 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 (746 simplex iterations) in 0.12 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:46:35 2012 Optimize a model with 9798 rows, 2898 columns and 30866 nonzeros Presolve time: 0.03s Presolved: 9798 rows, 2898 columns, 30866 nonzeros Variable types: 0 continuous, 2898 integer (2898 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 (935 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:46:35 2012 Optimize a model with 4554 rows, 1794 columns and 14030 nonzeros Presolve time: 0.01s Presolved: 4554 rows, 1794 columns, 14030 nonzeros Variable types: 0 continuous, 1794 integer (1794 binary) Root relaxation: objective 0.000000e+00, 418 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 120 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3112 simplex iterations) in 0.16 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 Sat Dec 15 02:46:35 2012 Optimize a model with 1932 rows, 1242 columns and 5612 nonzeros Presolve removed 184 rows and 184 columns Presolve time: 0.00s Presolved: 1748 rows, 1058 columns, 5244 nonzeros Variable types: 0 continuous, 1058 integer (1058 binary) Root relaxation: objective 0.000000e+00, 199 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 184 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (781 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 Sat Dec 15 02:46:35 2012 Optimize a model with 2806 rows, 1426 columns and 8418 nonzeros Presolve time: 0.01s Presolved: 2806 rows, 1426 columns, 8418 nonzeros Variable types: 0 continuous, 1426 integer (1426 binary) Root relaxation: objective 0.000000e+00, 458 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 364 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5299 simplex iterations) in 0.60 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 Sat Dec 15 02:46:36 2012 Optimize a model with 3680 rows, 1610 columns and 11224 nonzeros Presolve time: 0.01s Presolved: 3680 rows, 1610 columns, 11224 nonzeros Variable types: 0 continuous, 1610 integer (1610 binary) Root relaxation: objective 0.000000e+00, 418 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 364 - 0.00000 - - 0s 0 0 0.00000 0 354 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 0s 0 0 0.00000 0 486 - 0.00000 - - 0s 0 0 0.00000 0 375 - 0.00000 - - 1s 0 0 0.00000 0 270 - 0.00000 - - 2s 0 0 0.00000 0 254 - 0.00000 - - 3s 0 0 0.00000 0 252 - 0.00000 - - 3s 0 0 0.00000 0 384 - 0.00000 - - 3s 0 0 0.00000 0 398 - 0.00000 - - 4s 0 0 0.00000 0 397 - 0.00000 - - 5s 0 0 0.00000 0 365 - 0.00000 - - 6s 0 0 0.00000 0 346 - 0.00000 - - 7s 0 0 0.00000 0 353 - 0.00000 - - 7s 0 0 0.00000 0 351 - 0.00000 - - 8s 0 2 0.00000 0 350 - 0.00000 - - 8s 109 31 0.00000 17 312 - 0.00000 - 177 10s 605 47 0.00000 9 461 - 0.00000 - 139 16s 608 49 0.00000 4 240 - 0.00000 - 138 21s 612 51 0.00000 14 276 - 0.00000 - 137 26s 615 53 0.00000 4 235 - 0.00000 - 137 31s 628 62 0.00000 15 304 - 0.00000 - 232 35s 837 6 infeasible 17 - 0.00000 - 238 40s 1051 4 infeasible 21 - 0.00000 - 245 45s Cutting planes: Gomory: 2 Zero half: 12 Explored 1086 nodes (323040 simplex iterations) in 45.82 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