current bounds on the number of colors: 0 -- 125 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:17:00 2012 Optimize a model with 6077 rows, 7846 columns and 25606 nonzeros Presolve removed 22 rows and 1364 columns Presolve time: 0.07s Presolved: 6055 rows, 6482 columns, 24242 nonzeros Variable types: 0 continuous, 6482 integer (6482 binary) Root relaxation: objective 0.000000e+00, 178 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 (178 simplex iterations) in 0.08 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 -- 62 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:17:00 2012 Optimize a model with 3101 rows, 3971 columns and 12803 nonzeros Presolve removed 22 rows and 682 columns Presolve time: 0.02s Presolved: 3079 rows, 3289 columns, 12121 nonzeros Variable types: 0 continuous, 3289 integer (3289 binary) Root relaxation: objective 0.000000e+00, 178 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 (178 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 -- 31 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:17:00 2012 Optimize a model with 1565 rows, 1971 columns and 6195 nonzeros Presolve removed 22 rows and 330 columns Presolve time: 0.01s Presolved: 1543 rows, 1641 columns, 5865 nonzeros Variable types: 0 continuous, 1641 integer (1641 binary) Root relaxation: objective 0.000000e+00, 180 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 (180 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 -- 15 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:17:00 2012 Optimize a model with 797 rows, 971 columns and 2891 nonzeros Presolve removed 22 rows and 154 columns Presolve time: 0.00s Presolved: 775 rows, 817 columns, 2737 nonzeros Variable types: 0 continuous, 817 integer (817 binary) Root relaxation: objective 0.000000e+00, 169 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 (169 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 -- 7 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:17:01 2012 Optimize a model with 413 rows, 471 columns and 1239 nonzeros Presolve removed 22 rows and 66 columns Presolve time: 0.00s Presolved: 391 rows, 405 columns, 1173 nonzeros Variable types: 0 continuous, 405 integer (405 binary) Root relaxation: objective 0.000000e+00, 160 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 (204 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 -- 3 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:17:01 2012 Optimize a model with 221 rows, 221 columns and 413 nonzeros Presolve removed 221 rows and 221 columns Presolve time: 0.00s Explored 0 nodes (0 simplex iterations) in 0.00 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 1 -- 3 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:17:01 2012 Optimize a model with 317 rows, 346 columns and 826 nonzeros Presolve removed 129 rows and 153 columns Presolve time: 0.00s Presolved: 188 rows, 193 columns, 564 nonzeros Variable types: 0 continuous, 193 integer (193 binary) Root relaxation: objective 0.000000e+00, 100 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 66 - 0.00000 - - 0s Explored 0 nodes (262 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 - optimal solution found: number of colors: 3