current bounds on the number of colors: 0 -- 146 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:44:18 2012 Optimize a model with 38690 rows, 11186 columns and 126290 nonzeros Presolve time: 0.15s Presolved: 38690 rows, 11186 columns, 126290 nonzeros Variable types: 0 continuous, 11186 integer (11186 binary) Root relaxation: objective 0.000000e+00, 451 iterations, 0.03 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 (451 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 -- 73 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:44:18 2012 Optimize a model with 19154 rows, 5784 columns and 62280 nonzeros Presolve time: 0.10s Presolved: 19154 rows, 5784 columns, 62280 nonzeros Variable types: 0 continuous, 5784 integer (5784 binary) Root relaxation: objective 0.000000e+00, 375 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 (653 simplex iterations) in 0.14 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:44:19 2012 Optimize a model with 9650 rows, 3156 columns and 31140 nonzeros Presolve time: 0.04s Presolved: 9650 rows, 3156 columns, 31140 nonzeros Variable types: 0 continuous, 3156 integer (3156 binary) Root relaxation: objective 0.000000e+00, 307 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 (562 simplex iterations) in 0.06 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:44:19 2012 Optimize a model with 4898 rows, 1842 columns and 15570 nonzeros Presolve time: 0.01s Presolved: 4898 rows, 1842 columns, 15570 nonzeros Variable types: 0 continuous, 1842 integer (1842 binary) Root relaxation: objective 0.000000e+00, 313 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 (582 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:44:19 2012 Optimize a model with 2258 rows, 1112 columns and 6920 nonzeros Presolve time: 0.01s Presolved: 2258 rows, 1112 columns, 6920 nonzeros Variable types: 0 continuous, 1112 integer (1112 binary) Root relaxation: objective 0.000000e+00, 320 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 132 - 0.00000 - - 0s 0 0 0.00000 0 132 - 0.00000 - - 0s 0 0 0.00000 0 264 - 0.00000 - - 0s 0 0 0.00000 0 272 - 0.00000 - - 0s 0 0 0.00000 0 240 - 0.00000 - - 0s 0 0 0.00000 0 263 - 0.00000 - - 0s 0 0 0.00000 0 203 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (11933 simplex iterations) in 0.84 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 Fri Dec 14 18:44:20 2012 Optimize a model with 1202 rows, 820 columns and 3460 nonzeros Presolve removed 146 rows and 146 columns Presolve time: 0.00s Presolved: 1056 rows, 674 columns, 3168 nonzeros Variable types: 0 continuous, 674 integer (674 binary) Root relaxation: objective 0.000000e+00, 151 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 146 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (608 simplex iterations) in 0.01 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 Fri Dec 14 18:44:20 2012 Optimize a model with 1730 rows, 966 columns and 5190 nonzeros Presolve time: 0.00s Presolved: 1730 rows, 966 columns, 5190 nonzeros Variable types: 0 continuous, 966 integer (966 binary) Root relaxation: objective 0.000000e+00, 350 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 276 - 0.00000 - - 0s 0 0 0.00000 0 282 - 0.00000 - - 0s 0 0 0.00000 0 305 - 0.00000 - - 0s 0 0 0.00000 0 377 - 0.00000 - - 0s 0 0 0.00000 0 364 - 0.00000 - - 0s 0 0 0.00000 0 333 - 0.00000 - - 1s 0 0 0.00000 0 337 - 0.00000 - - 1s 0 0 0.00000 0 357 - 0.00000 - - 1s 0 0 0.00000 0 364 - 0.00000 - - 1s 0 0 0.00000 0 364 - 0.00000 - - 1s 0 2 0.00000 0 364 - 0.00000 - - 2s Cutting planes: Zero half: 19 Explored 5 nodes (18868 simplex iterations) in 2.11 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 4