current bounds on the number of colors: 0 -- 156 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:51 2012 Optimize a model with 9594 rows, 12289 columns and 40482 nonzeros Presolve removed 29 rows and 2262 columns Presolve time: 0.11s Presolved: 9565 rows, 10027 columns, 38220 nonzeros Variable types: 0 continuous, 10027 integer (10027 binary) Root relaxation: objective 0.000000e+00, 219 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 (219 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 -- 78 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:51 2012 Optimize a model with 4875 rows, 6205 columns and 20241 nonzeros Presolve removed 29 rows and 1131 columns Presolve time: 0.04s Presolved: 4846 rows, 5074 columns, 19110 nonzeros Variable types: 0 continuous, 5074 integer (5074 binary) Root relaxation: objective 0.000000e+00, 219 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 (219 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 -- 39 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:51 2012 Optimize a model with 2455 rows, 3085 columns and 9861 nonzeros Presolve removed 29 rows and 551 columns Presolve time: 0.01s Presolved: 2426 rows, 2534 columns, 9310 nonzeros Variable types: 0 continuous, 2534 integer (2534 binary) Root relaxation: objective 0.000000e+00, 219 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 (219 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 -- 19 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:51 2012 Optimize a model with 1245 rows, 1525 columns and 4671 nonzeros Presolve removed 29 rows and 261 columns Presolve time: 0.01s Presolved: 1216 rows, 1264 columns, 4410 nonzeros Variable types: 0 continuous, 1264 integer (1264 binary) Root relaxation: objective 0.000000e+00, 219 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 (219 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 -- 9 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:51 2012 Optimize a model with 640 rows, 745 columns and 2076 nonzeros Presolve removed 29 rows and 116 columns Presolve time: 0.00s Presolved: 611 rows, 629 columns, 1960 nonzeros Variable types: 0 continuous, 629 integer (629 binary) Root relaxation: objective 0.000000e+00, 201 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 (276 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% current bounds on the number of colors: 0 -- 4 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:20:51 2012 Optimize a model with 398 rows, 433 columns and 1038 nonzeros Presolve removed 176 rows and 215 columns Presolve time: 0.00s Presolved: 222 rows, 218 columns, 666 nonzeros Variable types: 0 continuous, 218 integer (218 binary) Root relaxation: objective 0.000000e+00, 113 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 82 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (366 simplex iterations) in 0.00 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 Sat Dec 15 16:20:51 2012 Optimize a model with 519 rows, 589 columns and 1557 nonzeros Presolve removed 29 rows and 87 columns Presolve time: 0.00s Presolved: 490 rows, 502 columns, 1470 nonzeros Variable types: 0 continuous, 502 integer (502 binary) Root relaxation: objective 0.000000e+00, 197 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 (197 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