current bounds on the number of colors: 0 -- 161 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:23:59 2012 Optimize a model with 54961 rows, 13565 columns and 177280 nonzeros Presolve time: 0.18s Presolved: 54961 rows, 13565 columns, 177280 nonzeros Variable types: 0 continuous, 13565 integer (13565 binary) Root relaxation: objective 0.000000e+00, 586 iterations, 0.05 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 (928 simplex iterations) in 0.31 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 -- 80 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:24:00 2012 Optimize a model with 27561 rows, 7125 columns and 88640 nonzeros Presolve time: 0.13s Presolved: 27561 rows, 7125 columns, 88640 nonzeros Variable types: 0 continuous, 7125 integer (7125 binary) Root relaxation: objective 0.000000e+00, 406 iterations, 0.02 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 (720 simplex iterations) in 0.19 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 -- 40 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:24:01 2012 Optimize a model with 13861 rows, 3905 columns and 44320 nonzeros Presolve time: 0.05s Presolved: 13861 rows, 3905 columns, 44320 nonzeros Variable types: 0 continuous, 3905 integer (3905 binary) Root relaxation: objective 0.000000e+00, 380 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 (704 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 -- 20 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:24:01 2012 Optimize a model with 7011 rows, 2295 columns and 22160 nonzeros Presolve time: 0.02s Presolved: 7011 rows, 2295 columns, 22160 nonzeros Variable types: 0 continuous, 2295 integer (2295 binary) Root relaxation: objective 0.000000e+00, 334 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 (808 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 19:24:01 2012 Optimize a model with 3586 rows, 1490 columns and 11080 nonzeros Presolve time: 0.01s Presolved: 3586 rows, 1490 columns, 11080 nonzeros Variable types: 0 continuous, 1490 integer (1490 binary) Root relaxation: objective 0.000000e+00, 354 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 (1374 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:24:01 2012 Optimize a model with 1531 rows, 1007 columns and 4432 nonzeros Presolve removed 161 rows and 161 columns Presolve time: 0.00s Presolved: 1370 rows, 846 columns, 4110 nonzeros Variable types: 0 continuous, 846 integer (846 binary) Root relaxation: objective 0.000000e+00, 170 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 161 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (690 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 19:24:01 2012 Optimize a model with 2216 rows, 1168 columns and 6648 nonzeros Presolve time: 0.01s Presolved: 2216 rows, 1168 columns, 6648 nonzeros Variable types: 0 continuous, 1168 integer (1168 binary) Root relaxation: objective 0.000000e+00, 361 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 248 - 0.00000 - - 0s 0 0 0.00000 0 290 - 0.00000 - - 0s 0 0 0.00000 0 419 - 0.00000 - - 0s 0 0 0.00000 0 457 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 2 Zero half: 455 Explored 0 nodes (8031 simplex iterations) in 0.93 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 19:24:02 2012 Optimize a model with 2901 rows, 1329 columns and 8864 nonzeros Presolve time: 0.01s Presolved: 2901 rows, 1329 columns, 8864 nonzeros Variable types: 0 continuous, 1329 integer (1329 binary) Root relaxation: objective 0.000000e+00, 355 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 316 - 0.00000 - - 0s 0 0 0.00000 0 302 - 0.00000 - - 0s 0 0 0.00000 0 286 - 0.00000 - - 0s 0 0 0.00000 0 292 - 0.00000 - - 0s 0 0 0.00000 0 280 - 0.00000 - - 0s 0 0 0.00000 0 278 - 0.00000 - - 1s 0 0 0.00000 0 268 - 0.00000 - - 1s 0 0 0.00000 0 262 - 0.00000 - - 1s 0 0 0.00000 0 254 - 0.00000 - - 1s 0 0 0.00000 0 262 - 0.00000 - - 1s 0 0 0.00000 0 248 - 0.00000 - - 2s 0 0 0.00000 0 250 - 0.00000 - - 2s 0 0 0.00000 0 240 - 0.00000 - - 2s 0 0 0.00000 0 244 - 0.00000 - - 2s 0 0 0.00000 0 244 - 0.00000 - - 2s 0 2 0.00000 0 244 - 0.00000 - - 3s 568 158 0.00000 19 274 - 0.00000 - 78.7 5s 615 173 0.00000 19 226 - 0.00000 - 75.5 10s 801 213 0.00000 27 256 - 0.00000 - 136 15s * 988 44 28 0.0000000 0.00000 0.0% 139 16s Cutting planes: Zero half: 17 Explored 989 nodes (169353 simplex iterations) in 16.48 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: 4