current bounds on the number of colors: 0 -- 163 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:46:31 2012 Optimize a model with 53623 rows, 13863 columns and 173583 nonzeros Presolve time: 0.17s Presolved: 53623 rows, 13863 columns, 173583 nonzeros Variable types: 0 continuous, 13863 integer (13863 binary) Root relaxation: objective 0.000000e+00, 600 iterations, 0.04 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 (995 simplex iterations) in 0.30 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 -- 81 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:46:32 2012 Optimize a model with 26563 rows, 7180 columns and 85720 nonzeros Presolve time: 0.13s Presolved: 26563 rows, 7180 columns, 85720 nonzeros Variable types: 0 continuous, 7180 integer (7180 binary) Root relaxation: objective 0.000000e+00, 448 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 (766 simplex iterations) in 0.18 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:46:33 2012 Optimize a model with 13363 rows, 3920 columns and 42860 nonzeros Presolve time: 0.05s Presolved: 13363 rows, 3920 columns, 42860 nonzeros Variable types: 0 continuous, 3920 integer (3920 binary) Root relaxation: objective 0.000000e+00, 357 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 (639 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:46:33 2012 Optimize a model with 6763 rows, 2290 columns and 21430 nonzeros Presolve time: 0.02s Presolved: 6763 rows, 2290 columns, 21430 nonzeros Variable types: 0 continuous, 2290 integer (2290 binary) Root relaxation: objective 0.000000e+00, 344 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 (634 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 19:46:33 2012 Optimize a model with 3463 rows, 1475 columns and 10715 nonzeros Presolve time: 0.01s Presolved: 3463 rows, 1475 columns, 10715 nonzeros Variable types: 0 continuous, 1475 integer (1475 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.00000 0 82 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2423 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 19:46:33 2012 Optimize a model with 1483 rows, 986 columns and 4286 nonzeros Presolve removed 163 rows and 163 columns Presolve time: 0.00s Presolved: 1320 rows, 823 columns, 3960 nonzeros Variable types: 0 continuous, 823 integer (823 binary) Root relaxation: objective 0.000000e+00, 173 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 163 - 0.00000 - - 0s Explored 0 nodes (703 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:46:33 2012 Optimize a model with 2143 rows, 1149 columns and 6429 nonzeros Presolve time: 0.01s Presolved: 2143 rows, 1149 columns, 6429 nonzeros Variable types: 0 continuous, 1149 integer (1149 binary) Root relaxation: objective 0.000000e+00, 369 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 322 - 0.00000 - - 0s 0 0 0.00000 0 318 - 0.00000 - - 0s 0 0 0.00000 0 445 - 0.00000 - - 0s 0 0 0.00000 0 445 - 0.00000 - - 0s 0 0 0.00000 0 415 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Clique: 3 Zero half: 485 Explored 0 nodes (8925 simplex iterations) in 1.23 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:46:35 2012 Optimize a model with 2803 rows, 1312 columns and 8572 nonzeros Presolve time: 0.01s Presolved: 2803 rows, 1312 columns, 8572 nonzeros Variable types: 0 continuous, 1312 integer (1312 binary) Root relaxation: objective 0.000000e+00, 365 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 306 - 0.00000 - - 0s 0 0 0.00000 0 300 - 0.00000 - - 0s 0 0 0.00000 0 266 - 0.00000 - - 0s 0 0 0.00000 0 355 - 0.00000 - - 0s 0 0 0.00000 0 254 - 0.00000 - - 0s 0 0 0.00000 0 250 - 0.00000 - - 0s 0 0 0.00000 0 232 - 0.00000 - - 1s 0 0 0.00000 0 224 - 0.00000 - - 1s 0 0 0.00000 0 204 - 0.00000 - - 1s 0 0 0.00000 0 200 - 0.00000 - - 1s 0 0 0.00000 0 184 - 0.00000 - - 1s 0 0 0.00000 0 187 - 0.00000 - - 2s 0 0 0.00000 0 180 - 0.00000 - - 2s 0 0 0.00000 0 225 - 0.00000 - - 2s 0 0 0.00000 0 172 - 0.00000 - - 2s 0 0 0.00000 0 180 - 0.00000 - - 3s 0 0 0.00000 0 180 - 0.00000 - - 3s 0 2 0.00000 0 180 - 0.00000 - - 3s 419 106 0.00000 21 211 - 0.00000 - 62.6 5s 610 135 0.00000 20 362 - 0.00000 - 59.5 10s 617 140 0.00000 9 306 - 0.00000 - 58.8 15s * 1243 3 31 0.0000000 0.00000 0.0% 124 19s Cutting planes: Gomory: 1 Zero half: 7 Explored 1244 nodes (193146 simplex iterations) in 19.97 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