current bounds on the number of colors: 0 -- 183 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:25:44 2012 Optimize a model with 15744 rows, 16824 columns and 63336 nonzeros Presolve removed 29 rows and 2639 columns Presolve time: 0.12s Presolved: 15715 rows, 14185 columns, 60697 nonzeros Variable types: 0 continuous, 14185 integer (14185 binary) Root relaxation: objective 0.000000e+00, 280 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 (419 simplex iterations) in 0.15 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 -- 91 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:25:44 2012 Optimize a model with 7878 rows, 8406 columns and 31320 nonzeros Presolve removed 29 rows and 1305 columns Presolve time: 0.07s Presolved: 7849 rows, 7101 columns, 30015 nonzeros Variable types: 0 continuous, 7101 integer (7101 binary) Root relaxation: objective 0.000000e+00, 281 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 (411 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 -- 45 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:25:44 2012 Optimize a model with 3945 rows, 4197 columns and 15312 nonzeros Presolve removed 29 rows and 638 columns Presolve time: 0.02s Presolved: 3916 rows, 3559 columns, 14674 nonzeros Variable types: 0 continuous, 3559 integer (3559 binary) Root relaxation: objective 0.000000e+00, 280 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 (405 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 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:25:44 2012 Optimize a model with 2064 rows, 2184 columns and 7656 nonzeros Presolve removed 29 rows and 319 columns Presolve time: 0.01s Presolved: 2035 rows, 1865 columns, 7337 nonzeros Variable types: 0 continuous, 1865 integer (1865 binary) Root relaxation: objective 0.000000e+00, 278 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 (426 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:25:44 2012 Optimize a model with 1038 rows, 1086 columns and 3480 nonzeros Presolve removed 29 rows and 145 columns Presolve time: 0.00s Presolved: 1009 rows, 941 columns, 3335 nonzeros Variable types: 0 continuous, 941 integer (941 binary) Root relaxation: objective 0.000000e+00, 269 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 (269 simplex iterations) in 0.01 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 16:25:44 2012 Optimize a model with 525 rows, 537 columns and 1392 nonzeros Presolve removed 191 rows and 224 columns Presolve time: 0.00s Presolved: 334 rows, 313 columns, 1002 nonzeros Variable types: 0 continuous, 313 integer (313 binary) Root relaxation: objective 0.000000e+00, 164 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 139 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (535 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:25:44 2012 Optimize a model with 696 rows, 720 columns and 2088 nonzeros Presolve removed 29 rows and 87 columns Presolve time: 0.00s Presolved: 667 rows, 633 columns, 2001 nonzeros Variable types: 0 continuous, 633 integer (633 binary) Root relaxation: objective 0.000000e+00, 258 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 (352 simplex iterations) in 0.00 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% optimal solution found: number of colors: 3