current bounds on the number of colors: 0 -- 170 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:13:37 2012 Optimize a model with 61285 rows, 15169 columns and 197795 nonzeros Presolve time: 0.19s Presolved: 61285 rows, 15169 columns, 197795 nonzeros Variable types: 0 continuous, 15169 integer (15169 binary) Root relaxation: objective 0.000000e+00, 690 iterations, 0.06 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 (1057 simplex iterations) in 0.34 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 -- 85 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:13:38 2012 Optimize a model with 30368 rows, 7859 columns and 97734 nonzeros Presolve time: 0.14s Presolved: 30368 rows, 7859 columns, 97734 nonzeros Variable types: 0 continuous, 7859 integer (7859 binary) Root relaxation: objective 0.000000e+00, 527 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 (897 simplex iterations) in 0.21 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 21:13:39 2012 Optimize a model with 15269 rows, 4289 columns and 48867 nonzeros Presolve time: 0.06s Presolved: 15269 rows, 4289 columns, 48867 nonzeros Variable types: 0 continuous, 4289 integer (4289 binary) Root relaxation: objective 0.000000e+00, 358 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 (656 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 21:13:39 2012 Optimize a model with 7360 rows, 2419 columns and 23270 nonzeros Presolve time: 0.02s Presolved: 7360 rows, 2419 columns, 23270 nonzeros Variable types: 0 continuous, 2419 integer (2419 binary) Root relaxation: objective 0.000000e+00, 359 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 (656 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 21:13:39 2012 Optimize a model with 3765 rows, 1569 columns and 11635 nonzeros Presolve time: 0.01s Presolved: 3765 rows, 1569 columns, 11635 nonzeros Variable types: 0 continuous, 1569 integer (1569 binary) Root relaxation: objective 0.000000e+00, 374 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 (1739 simplex iterations) in 0.07 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 21:13:40 2012 Optimize a model with 1608 rows, 1059 columns and 4654 nonzeros Presolve removed 170 rows and 170 columns Presolve time: 0.00s Presolved: 1438 rows, 889 columns, 4314 nonzeros Variable types: 0 continuous, 889 integer (889 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 170 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (712 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 21:13:40 2012 Optimize a model with 2327 rows, 1229 columns and 6981 nonzeros Presolve time: 0.01s Presolved: 2327 rows, 1229 columns, 6981 nonzeros Variable types: 0 continuous, 1229 integer (1229 binary) Root relaxation: objective 0.000000e+00, 386 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 336 - 0.00000 - - 0s 0 0 0.00000 0 334 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4194 simplex iterations) in 0.39 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 21:13:40 2012 Optimize a model with 3046 rows, 1399 columns and 9308 nonzeros Presolve time: 0.01s Presolved: 3046 rows, 1399 columns, 9308 nonzeros Variable types: 0 continuous, 1399 integer (1399 binary) Root relaxation: objective 0.000000e+00, 370 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 330 - 0.00000 - - 0s 0 0 0.00000 0 326 - 0.00000 - - 0s 0 0 0.00000 0 316 - 0.00000 - - 0s 0 0 0.00000 0 314 - 0.00000 - - 0s 0 0 0.00000 0 399 - 0.00000 - - 0s 0 0 0.00000 0 284 - 0.00000 - - 0s 0 0 0.00000 0 274 - 0.00000 - - 1s 0 0 0.00000 0 262 - 0.00000 - - 1s 0 0 0.00000 0 266 - 0.00000 - - 1s 0 0 0.00000 0 268 - 0.00000 - - 1s 0 0 0.00000 0 250 - 0.00000 - - 1s 0 0 0.00000 0 242 - 0.00000 - - 2s 0 0 0.00000 0 232 - 0.00000 - - 2s 0 0 0.00000 0 238 - 0.00000 - - 2s 0 0 0.00000 0 238 - 0.00000 - - 2s 0 2 0.00000 0 238 - 0.00000 - - 3s 358 98 0.00000 13 323 - 0.00000 - 113 5s 709 140 0.00000 15 228 - 0.00000 - 95.4 10s 766 170 infeasible 36 - 0.00000 - 149 15s 1477 326 infeasible 29 - 0.00000 - 141 20s 2200 495 infeasible 34 - 0.00000 - 139 25s 2885 617 0.00000 31 278 - 0.00000 - 141 30s 3552 746 0.00000 27 269 - 0.00000 - 142 35s 4205 786 0.00000 29 351 - 0.00000 - 144 40s * 4500 3 29 0.0000000 0.00000 0.0% 144 42s Cutting planes: Gomory: 3 Zero half: 6 Explored 4501 nodes (679179 simplex iterations) in 42.24 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