current bounds on the number of colors: 0 -- 169 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:49:58 2012 Optimize a model with 59977 rows, 14908 columns and 193620 nonzeros Presolve time: 0.18s Presolved: 59977 rows, 14908 columns, 193620 nonzeros Variable types: 0 continuous, 14908 integer (14908 binary) Root relaxation: objective 0.000000e+00, 590 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 (963 simplex iterations) in 0.32 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 -- 84 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:49:59 2012 Optimize a model with 30073 rows, 7810 columns and 96810 nonzeros Presolve time: 0.14s Presolved: 30073 rows, 7810 columns, 96810 nonzeros Variable types: 0 continuous, 7810 integer (7810 binary) Root relaxation: objective 0.000000e+00, 418 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 (748 simplex iterations) in 0.20 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 -- 42 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:49:59 2012 Optimize a model with 15121 rows, 4261 columns and 48405 nonzeros Presolve time: 0.06s Presolved: 15121 rows, 4261 columns, 48405 nonzeros Variable types: 0 continuous, 4261 integer (4261 binary) Root relaxation: objective 0.000000e+00, 364 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 (664 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 -- 21 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:50:00 2012 Optimize a model with 7289 rows, 2402 columns and 23050 nonzeros Presolve time: 0.02s Presolved: 7289 rows, 2402 columns, 23050 nonzeros Variable types: 0 continuous, 2402 integer (2402 binary) Root relaxation: objective 0.000000e+00, 360 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 (633 simplex iterations) in 0.04 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 20:50:00 2012 Optimize a model with 3729 rows, 1557 columns and 11525 nonzeros Presolve time: 0.01s Presolved: 3729 rows, 1557 columns, 11525 nonzeros Variable types: 0 continuous, 1557 integer (1557 binary) Root relaxation: objective 0.000000e+00, 377 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 (2552 simplex iterations) in 0.11 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 20:50:00 2012 Optimize a model with 1593 rows, 1050 columns and 4610 nonzeros Presolve removed 169 rows and 169 columns Presolve time: 0.00s Presolved: 1424 rows, 881 columns, 4272 nonzeros Variable types: 0 continuous, 881 integer (881 binary) Root relaxation: objective 0.000000e+00, 176 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 169 - 0.00000 - - 0s Explored 0 nodes (730 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 20:50:00 2012 Optimize a model with 2305 rows, 1219 columns and 6915 nonzeros Presolve time: 0.01s Presolved: 2305 rows, 1219 columns, 6915 nonzeros Variable types: 0 continuous, 1219 integer (1219 binary) Root relaxation: objective 0.000000e+00, 388 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 338 - 0.00000 - - 0s 0 0 0.00000 0 324 - 0.00000 - - 0s 0 0 0.00000 0 465 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 51 Clique: 1 Zero half: 416 Explored 0 nodes (7744 simplex iterations) in 0.98 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 20:50:01 2012 Optimize a model with 3017 rows, 1388 columns and 9220 nonzeros Presolve time: 0.01s Presolved: 3017 rows, 1388 columns, 9220 nonzeros Variable types: 0 continuous, 1388 integer (1388 binary) Root relaxation: objective 0.000000e+00, 368 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 324 - 0.00000 - - 0s 0 0 0.00000 0 290 - 0.00000 - - 0s 0 0 0.00000 0 284 - 0.00000 - - 0s 0 0 0.00000 0 284 - 0.00000 - - 0s 0 0 0.00000 0 276 - 0.00000 - - 0s 0 0 0.00000 0 266 - 0.00000 - - 1s 0 0 0.00000 0 266 - 0.00000 - - 1s 0 0 0.00000 0 256 - 0.00000 - - 1s 0 0 0.00000 0 252 - 0.00000 - - 1s 0 0 0.00000 0 246 - 0.00000 - - 1s 0 0 0.00000 0 234 - 0.00000 - - 2s 0 0 0.00000 0 228 - 0.00000 - - 2s 0 0 0.00000 0 238 - 0.00000 - - 2s 0 0 0.00000 0 227 - 0.00000 - - 2s 0 0 0.00000 0 216 - 0.00000 - - 3s 0 0 0.00000 0 218 - 0.00000 - - 3s 0 0 0.00000 0 218 - 0.00000 - - 3s 0 2 0.00000 0 218 - 0.00000 - - 3s 316 69 0.00000 18 274 - 0.00000 - 86.4 5s 812 104 0.00000 17 226 - 0.00000 - 73.6 10s 1009 90 0.00000 20 294 - 0.00000 - 123 15s 1503 70 0.00000 25 293 - 0.00000 - 143 20s 2052 77 infeasible 30 - 0.00000 - 151 25s 2626 93 0.00000 29 280 - 0.00000 - 154 30s 3155 92 0.00000 24 377 - 0.00000 - 157 35s 3731 142 0.00000 29 254 - 0.00000 - 158 40s 4356 139 0.00000 26 262 - 0.00000 - 158 45s * 4666 3 26 0.0000000 0.00000 0.0% 158 47s Cutting planes: Clique: 2 Zero half: 7 Explored 4667 nodes (778896 simplex iterations) in 47.67 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