current bounds on the number of colors: 0 -- 178 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:03:57 2012 Optimize a model with 74226 rows, 16674 columns and 237986 nonzeros Presolve time: 0.23s Presolved: 74226 rows, 16674 columns, 237986 nonzeros Variable types: 0 continuous, 16674 integer (16674 binary) Root relaxation: objective 0.000000e+00, 732 iterations, 0.08 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 (1378 simplex iterations) in 0.48 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 -- 89 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:03:59 2012 Optimize a model with 36786 rows, 8664 columns and 117656 nonzeros Presolve time: 0.15s Presolved: 36786 rows, 8664 columns, 117656 nonzeros Variable types: 0 continuous, 8664 integer (8664 binary) Root relaxation: objective 0.000000e+00, 575 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 (968 simplex iterations) in 0.24 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 -- 44 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:03:59 2012 Optimize a model with 18482 rows, 4748 columns and 58828 nonzeros Presolve time: 0.07s Presolved: 18482 rows, 4748 columns, 58828 nonzeros Variable types: 0 continuous, 4748 integer (4748 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (734 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 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:04:00 2012 Optimize a model with 9330 rows, 2790 columns and 29414 nonzeros Presolve time: 0.03s Presolved: 9330 rows, 2790 columns, 29414 nonzeros Variable types: 0 continuous, 2790 integer (2790 binary) Root relaxation: objective 0.000000e+00, 368 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 (714 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:04:00 2012 Optimize a model with 4338 rows, 1722 columns and 13370 nonzeros Presolve time: 0.01s Presolved: 4338 rows, 1722 columns, 13370 nonzeros Variable types: 0 continuous, 1722 integer (1722 binary) Root relaxation: objective 0.000000e+00, 405 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 160 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3432 simplex iterations) in 0.22 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 Sat Dec 15 00:04:00 2012 Optimize a model with 1842 rows, 1188 columns and 5348 nonzeros Presolve removed 178 rows and 178 columns Presolve time: 0.00s Presolved: 1664 rows, 1010 columns, 4992 nonzeros Variable types: 0 continuous, 1010 integer (1010 binary) Root relaxation: objective 0.000000e+00, 196 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 178 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (767 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 Sat Dec 15 00:04:00 2012 Optimize a model with 2674 rows, 1366 columns and 8022 nonzeros Presolve time: 0.01s Presolved: 2674 rows, 1366 columns, 8022 nonzeros Variable types: 0 continuous, 1366 integer (1366 binary) Root relaxation: objective 0.000000e+00, 401 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 350 - 0.00000 - - 0s 0 0 0.00000 0 344 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4892 simplex iterations) in 0.54 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 Sat Dec 15 00:04:01 2012 Optimize a model with 3506 rows, 1544 columns and 10696 nonzeros Presolve time: 0.01s Presolved: 3506 rows, 1544 columns, 10696 nonzeros Variable types: 0 continuous, 1544 integer (1544 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.00000 0 332 - 0.00000 - - 0s 0 0 0.00000 0 344 - 0.00000 - - 0s 0 0 0.00000 0 320 - 0.00000 - - 0s 0 0 0.00000 0 401 - 0.00000 - - 0s 0 0 0.00000 0 280 - 0.00000 - - 1s 0 0 0.00000 0 266 - 0.00000 - - 1s 0 0 0.00000 0 264 - 0.00000 - - 1s 0 0 0.00000 0 270 - 0.00000 - - 2s 0 0 0.00000 0 254 - 0.00000 - - 2s 0 0 0.00000 0 240 - 0.00000 - - 2s 0 0 0.00000 0 238 - 0.00000 - - 3s 0 0 0.00000 0 243 - 0.00000 - - 3s 0 0 0.00000 0 240 - 0.00000 - - 4s 0 0 0.00000 0 234 - 0.00000 - - 4s 0 0 0.00000 0 313 - 0.00000 - - 4s 0 0 0.00000 0 250 - 0.00000 - - 5s 0 2 0.00000 0 250 - 0.00000 - - 6s 508 76 infeasible 22 - 0.00000 - 124 10s 608 103 0.00000 16 261 - 0.00000 - 117 15s 612 105 0.00000 12 270 - 0.00000 - 117 20s 786 83 infeasible 28 - 0.00000 - 193 25s 1105 18 0.00000 23 298 - 0.00000 - 201 30s 1445 48 infeasible 24 - 0.00000 - 205 35s 1770 47 infeasible 27 - 0.00000 - 209 40s 2119 52 infeasible 30 - 0.00000 - 208 45s 2413 30 0.00000 25 318 - 0.00000 - 212 50s 2718 37 0.00000 24 328 - 0.00000 - 215 55s 3019 30 infeasible 26 - 0.00000 - 217 60s 3304 11 0.00000 20 379 - 0.00000 - 219 65s Cutting planes: Gomory: 1 Zero half: 5 Explored 3506 nodes (819161 simplex iterations) in 68.60 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