current bounds on the number of colors: 0 -- 164 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:50:42 2012 Optimize a model with 58548 rows, 14160 columns and 188600 nonzeros Presolve time: 0.17s Presolved: 58548 rows, 14160 columns, 188600 nonzeros Variable types: 0 continuous, 14160 integer (14160 binary) Root relaxation: objective 0.000000e+00, 590 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 (955 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 -- 82 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:50:44 2012 Optimize a model with 29356 rows, 7436 columns and 94300 nonzeros Presolve time: 0.14s Presolved: 29356 rows, 7436 columns, 94300 nonzeros Variable types: 0 continuous, 7436 integer (7436 binary) Root relaxation: objective 0.000000e+00, 425 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 (757 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 -- 41 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:50:44 2012 Optimize a model with 14404 rows, 3992 columns and 46000 nonzeros Presolve time: 0.05s Presolved: 14404 rows, 3992 columns, 46000 nonzeros Variable types: 0 continuous, 3992 integer (3992 binary) Root relaxation: objective 0.000000e+00, 356 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 (669 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:50:44 2012 Optimize a model with 7284 rows, 2352 columns and 23000 nonzeros Presolve time: 0.02s Presolved: 7284 rows, 2352 columns, 23000 nonzeros Variable types: 0 continuous, 2352 integer (2352 binary) Root relaxation: objective 0.000000e+00, 342 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 (798 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:50:44 2012 Optimize a model with 3724 rows, 1532 columns and 11500 nonzeros Presolve time: 0.01s Presolved: 3724 rows, 1532 columns, 11500 nonzeros Variable types: 0 continuous, 1532 integer (1532 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.00000 0 288 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1869 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:50:45 2012 Optimize a model with 1588 rows, 1040 columns and 4600 nonzeros Presolve removed 164 rows and 164 columns Presolve time: 0.00s Presolved: 1424 rows, 876 columns, 4272 nonzeros Variable types: 0 continuous, 876 integer (876 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 164 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (715 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:50:45 2012 Optimize a model with 2300 rows, 1204 columns and 6900 nonzeros Presolve time: 0.01s Presolved: 2300 rows, 1204 columns, 6900 nonzeros Variable types: 0 continuous, 1204 integer (1204 binary) Root relaxation: objective 0.000000e+00, 379 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 246 - 0.00000 - - 0s 0 0 0.00000 0 310 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5526 simplex iterations) in 0.50 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:50:45 2012 Optimize a model with 3012 rows, 1368 columns and 9200 nonzeros Presolve time: 0.01s Presolved: 3012 rows, 1368 columns, 9200 nonzeros Variable types: 0 continuous, 1368 integer (1368 binary) Root relaxation: objective 0.000000e+00, 392 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 324 - 0.00000 - - 0s 0 0 0.00000 0 292 - 0.00000 - - 0s 0 0 0.00000 0 290 - 0.00000 - - 0s 0 0 0.00000 0 412 - 0.00000 - - 0s 0 0 0.00000 0 270 - 0.00000 - - 0s 0 0 0.00000 0 270 - 0.00000 - - 1s 0 0 0.00000 0 258 - 0.00000 - - 1s 0 0 0.00000 0 256 - 0.00000 - - 1s 0 0 0.00000 0 401 - 0.00000 - - 2s 0 0 0.00000 0 393 - 0.00000 - - 2s 0 0 0.00000 0 378 - 0.00000 - - 3s 0 0 0.00000 0 380 - 0.00000 - - 3s 0 0 0.00000 0 380 - 0.00000 - - 3s 0 2 0.00000 0 380 - 0.00000 - - 4s 92 20 infeasible 18 - 0.00000 - 122 5s 707 32 0.00000 10 274 - 0.00000 - 92.7 10s 727 43 0.00000 21 331 - 0.00000 - 138 15s 1163 69 infeasible 30 - 0.00000 - 154 20s 1594 76 infeasible 29 - 0.00000 - 164 25s 2026 80 0.00000 25 324 - 0.00000 - 171 30s 2456 96 0.00000 28 336 - 0.00000 - 175 35s 2862 82 infeasible 35 - 0.00000 - 179 40s 3296 94 0.00000 31 358 - 0.00000 - 182 45s 3691 79 0.00000 25 267 - 0.00000 - 185 50s 4115 63 infeasible 29 - 0.00000 - 186 55s 4563 75 infeasible 35 - 0.00000 - 187 60s 4994 42 0.00000 23 343 - 0.00000 - 188 65s 5419 15 infeasible 28 - 0.00000 - 188 70s Cutting planes: Zero half: 25 Explored 5627 nodes (1099899 simplex iterations) in 72.85 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5