current bounds on the number of colors: 0 -- 124 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:05:06 2012 Optimize a model with 47616 rows, 8454 columns and 150164 nonzeros Presolve time: 0.16s Presolved: 47616 rows, 8454 columns, 150164 nonzeros Variable types: 0 continuous, 8454 integer (8454 binary) Root relaxation: objective 0.000000e+00, 320 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 (594 simplex iterations) in 0.28 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 -- 62 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:05:06 2012 Optimize a model with 23870 rows, 4610 columns and 75082 nonzeros Presolve time: 0.11s Presolved: 23870 rows, 4610 columns, 75082 nonzeros Variable types: 0 continuous, 4610 integer (4610 binary) Root relaxation: objective 0.000000e+00, 291 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 (621 simplex iterations) in 0.17 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 -- 31 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:05:07 2012 Optimize a model with 11614 rows, 2626 columns and 36330 nonzeros Presolve time: 0.04s Presolved: 11614 rows, 2626 columns, 36330 nonzeros Variable types: 0 continuous, 2626 integer (2626 binary) Root relaxation: objective 0.000000e+00, 251 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 (671 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 -- 15 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:05:07 2012 Optimize a model with 5486 rows, 1634 columns and 16954 nonzeros Presolve time: 0.01s Presolved: 5486 rows, 1634 columns, 16954 nonzeros Variable types: 0 continuous, 1634 integer (1634 binary) Root relaxation: objective 0.000000e+00, 271 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 8 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1717 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:05:07 2012 Optimize a model with 2422 rows, 1138 columns and 7266 nonzeros Presolve time: 0.01s Presolved: 2422 rows, 1138 columns, 7266 nonzeros Variable types: 0 continuous, 1138 integer (1138 binary) Root relaxation: objective 0.000000e+00, 258 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 248 - 0.00000 - - 0s 0 0 0.00000 0 246 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3623 simplex iterations) in 0.45 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:05:08 2012 Optimize a model with 3954 rows, 1386 columns and 12110 nonzeros Presolve time: 0.01s Presolved: 3954 rows, 1386 columns, 12110 nonzeros Variable types: 0 continuous, 1386 integer (1386 binary) Root relaxation: objective 0.000000e+00, 266 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 236 - 0.00000 - - 0s 0 0 0.00000 0 155 - 0.00000 - - 0s 0 0 0.00000 0 328 - 0.00000 - - 0s 0 0 0.00000 0 341 - 0.00000 - - 1s 0 0 0.00000 0 278 - 0.00000 - - 1s 0 0 0.00000 0 272 - 0.00000 - - 2s 0 0 0.00000 0 207 - 0.00000 - - 2s 0 0 0.00000 0 285 - 0.00000 - - 3s 0 0 0.00000 0 333 - 0.00000 - - 3s 0 0 0.00000 0 333 - 0.00000 - - 3s 0 2 0.00000 0 333 - 0.00000 - - 4s 72 34 infeasible 24 - 0.00000 - 149 5s 605 134 0.00000 19 235 - 0.00000 - 93.8 10s 610 137 0.00000 19 218 - 0.00000 - 93.1 15s 668 168 0.00000 42 192 - 0.00000 - 150 20s 1043 83 0.00000 39 261 - 0.00000 - 166 25s 1422 78 infeasible 37 - 0.00000 - 174 30s 1856 100 0.00000 40 255 - 0.00000 - 176 35s 2207 121 infeasible 40 - 0.00000 - 181 40s 2577 137 infeasible 36 - 0.00000 - 184 45s * 2831 1 41 0.0000000 0.00000 0.0% 187 48s Cutting planes: Clique: 5 Zero half: 14 Explored 2832 nodes (557314 simplex iterations) in 48.68 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:05:57 2012 Optimize a model with 3188 rows, 1262 columns and 9688 nonzeros Presolve time: 0.01s Presolved: 3188 rows, 1262 columns, 9688 nonzeros Variable types: 0 continuous, 1262 integer (1262 binary) Root relaxation: objective 0.000000e+00, 270 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 182 - 0.00000 - - 0s 0 0 0.00000 0 280 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 1s 0 0 0.00000 0 368 - 0.00000 - - 1s 0 0 0.00000 0 365 - 0.00000 - - 2s 0 0 0.00000 0 367 - 0.00000 - - 3s 0 0 0.00000 0 356 - 0.00000 - - 3s 0 0 0.00000 0 361 - 0.00000 - - 4s 0 0 0.00000 0 355 - 0.00000 - - 5s 0 0 0.00000 0 355 - 0.00000 - - 6s 0 0 0.00000 0 355 - 0.00000 - - 6s 0 2 0.00000 0 355 - 0.00000 - - 7s Cutting planes: Clique: 15 Zero half: 23 Explored 59 nodes (43896 simplex iterations) in 8.70 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