current bounds on the number of colors: 0 -- 193 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:08:31 2012 Optimize a model with 96289 rows, 19529 columns and 306816 nonzeros Presolve time: 0.31s Presolved: 96289 rows, 19529 columns, 306816 nonzeros Variable types: 0 continuous, 19529 integer (19529 binary) Root relaxation: objective 0.000000e+00, 909 iterations, 0.12 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 (1388 simplex iterations) in 0.58 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 -- 96 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:08:33 2012 Optimize a model with 48241 rows, 10265 columns and 153408 nonzeros Presolve time: 0.16s Presolved: 48241 rows, 10265 columns, 153408 nonzeros Variable types: 0 continuous, 10265 integer (10265 binary) Root relaxation: objective 0.000000e+00, 579 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 (986 simplex iterations) in 0.26 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 -- 48 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:08:34 2012 Optimize a model with 24217 rows, 5633 columns and 76704 nonzeros Presolve time: 0.10s Presolved: 24217 rows, 5633 columns, 76704 nonzeros Variable types: 0 continuous, 5633 integer (5633 binary) Root relaxation: objective 0.000000e+00, 427 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 (788 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:08:34 2012 Optimize a model with 12205 rows, 3317 columns and 38352 nonzeros Presolve time: 0.04s Presolved: 12205 rows, 3317 columns, 38352 nonzeros Variable types: 0 continuous, 3317 integer (3317 binary) Root relaxation: objective 0.000000e+00, 391 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 (765 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:08:34 2012 Optimize a model with 6199 rows, 2159 columns and 19176 nonzeros Presolve time: 0.02s Presolved: 6199 rows, 2159 columns, 19176 nonzeros Variable types: 0 continuous, 2159 integer (2159 binary) Root relaxation: objective 0.000000e+00, 426 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 (2483 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:08:35 2012 Optimize a model with 3196 rows, 1580 columns and 9588 nonzeros Presolve time: 0.01s Presolved: 3196 rows, 1580 columns, 9588 nonzeros Variable types: 0 continuous, 1580 integer (1580 binary) Root relaxation: objective 0.000000e+00, 443 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 386 - 0.00000 - - 0s 0 0 0.00000 0 384 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5026 simplex iterations) in 0.69 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:08:35 2012 Optimize a model with 4197 rows, 1773 columns and 12784 nonzeros Presolve time: 0.01s Presolved: 4197 rows, 1773 columns, 12784 nonzeros Variable types: 0 continuous, 1773 integer (1773 binary) Root relaxation: objective 0.000000e+00, 414 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 384 - 0.00000 - - 0s 0 0 0.00000 0 382 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 1s 0 0 0.00000 0 476 - 0.00000 - - 1s 0 0 0.00000 0 348 - 0.00000 - - 2s 0 0 0.00000 0 352 - 0.00000 - - 2s 0 0 0.00000 0 326 - 0.00000 - - 3s 0 0 0.00000 0 352 - 0.00000 - - 4s 0 0 0.00000 0 304 - 0.00000 - - 4s 0 0 0.00000 0 302 - 0.00000 - - 5s 0 0 0.00000 0 302 - 0.00000 - - 6s 0 0 0.00000 0 302 - 0.00000 - - 6s 0 2 0.00000 0 302 - 0.00000 - - 7s 63 23 0.00000 10 439 - 0.00000 - 287 10s 341 29 infeasible 18 - 0.00000 - 216 15s 578 35 0.00000 8 348 - 0.00000 - 219 20s 606 48 0.00000 13 346 - 0.00000 - 215 26s 608 50 0.00000 9 370 - 0.00000 - 214 31s 610 51 0.00000 12 280 - 0.00000 - 214 36s 612 52 0.00000 14 284 - 0.00000 - 213 40s 617 56 0.00000 13 496 - 0.00000 - 319 45s 643 53 0.00000 21 428 - 0.00000 - 320 50s Cutting planes: Zero half: 16 Explored 718 nodes (278949 simplex iterations) in 53.20 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:09:29 2012 Optimize a model with 5198 rows, 1966 columns and 15980 nonzeros Presolve time: 0.01s Presolved: 5198 rows, 1966 columns, 15980 nonzeros Variable types: 0 continuous, 1966 integer (1966 binary) Root relaxation: objective 0.000000e+00, 415 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 237 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 8 Clique: 38 Zero half: 65 Explored 0 nodes (6000 simplex iterations) in 0.62 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: 5