current bounds on the number of colors: 0 -- 193 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:16:02 2012 Optimize a model with 87361 rows, 19436 columns and 280032 nonzeros Presolve time: 0.28s Presolved: 87361 rows, 19436 columns, 280032 nonzeros Variable types: 0 continuous, 19436 integer (19436 binary) Root relaxation: objective 0.000000e+00, 799 iterations, 0.09 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 (1284 simplex iterations) in 0.51 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:16:04 2012 Optimize a model with 43777 rows, 10172 columns and 140016 nonzeros Presolve time: 0.15s Presolved: 43777 rows, 10172 columns, 140016 nonzeros Variable types: 0 continuous, 10172 integer (10172 binary) Root relaxation: objective 0.000000e+00, 633 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 (1122 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:16:05 2012 Optimize a model with 21985 rows, 5540 columns and 70008 nonzeros Presolve time: 0.09s Presolved: 21985 rows, 5540 columns, 70008 nonzeros Variable types: 0 continuous, 5540 integer (5540 binary) Root relaxation: objective 0.000000e+00, 451 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 (825 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:16:05 2012 Optimize a model with 11089 rows, 3224 columns and 35004 nonzeros Presolve time: 0.03s Presolved: 11089 rows, 3224 columns, 35004 nonzeros Variable types: 0 continuous, 3224 integer (3224 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (739 simplex iterations) in 0.06 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:16:05 2012 Optimize a model with 5641 rows, 2066 columns and 17502 nonzeros Presolve time: 0.02s Presolved: 5641 rows, 2066 columns, 17502 nonzeros Variable types: 0 continuous, 2066 integer (2066 binary) Root relaxation: objective 0.000000e+00, 421 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 (1314 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:16:05 2012 Optimize a model with 2917 rows, 1487 columns and 8751 nonzeros Presolve time: 0.01s Presolved: 2917 rows, 1487 columns, 8751 nonzeros Variable types: 0 continuous, 1487 integer (1487 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 300 - 0.00000 - - 0s 0 0 0.00000 0 379 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6141 simplex iterations) in 0.68 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:16:06 2012 Optimize a model with 3825 rows, 1680 columns and 11668 nonzeros Presolve time: 0.01s Presolved: 3825 rows, 1680 columns, 11668 nonzeros Variable types: 0 continuous, 1680 integer (1680 binary) Root relaxation: objective 0.000000e+00, 407 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 360 - 0.00000 - - 0s 0 0 0.00000 0 364 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 0s 0 0 0.00000 0 364 - 0.00000 - - 1s 0 0 0.00000 0 358 - 0.00000 - - 1s 0 0 0.00000 0 354 - 0.00000 - - 1s 0 0 0.00000 0 353 - 0.00000 - - 2s 0 0 0.00000 0 338 - 0.00000 - - 2s 0 0 0.00000 0 342 - 0.00000 - - 3s 0 0 0.00000 0 337 - 0.00000 - - 3s 0 0 0.00000 0 328 - 0.00000 - - 4s 0 0 0.00000 0 332 - 0.00000 - - 4s 0 0 0.00000 0 332 - 0.00000 - - 5s 0 0 0.00000 0 332 - 0.00000 - - 5s 0 2 0.00000 0 332 - 0.00000 - - 6s 603 45 0.00000 20 362 - 0.00000 - 111 10s 608 49 0.00000 22 322 - 0.00000 - 110 15s 612 51 0.00000 16 300 - 0.00000 - 110 21s 615 53 0.00000 17 305 - 0.00000 - 109 27s 617 55 0.00000 12 398 - 0.00000 - 109 31s 621 57 0.00000 2 404 - 0.00000 - 108 35s 862 25 infeasible 28 - 0.00000 - 230 40s 1109 16 infeasible 27 - 0.00000 - 237 45s 1394 27 infeasible 26 - 0.00000 - 237 50s 1712 23 0.00000 27 330 - 0.00000 - 235 55s 1965 16 infeasible 25 - 0.00000 - 239 60s 2249 12 infeasible 28 - 0.00000 - 239 65s 2521 14 infeasible 26 - 0.00000 - 241 70s 2782 19 0.00000 28 369 - 0.00000 - 243 75s 3099 12 infeasible 29 - 0.00000 - 242 80s 3398 21 infeasible 30 - 0.00000 - 242 85s 3679 12 infeasible 27 - 0.00000 - 242 90s Cutting planes: Zero half: 18 Explored 3850 nodes (983655 simplex iterations) in 93.48 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:17:40 2012 Optimize a model with 4733 rows, 1873 columns and 14585 nonzeros Presolve time: 0.01s Presolved: 4733 rows, 1873 columns, 14585 nonzeros Variable types: 0 continuous, 1873 integer (1873 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.00000 0 247 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3820 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% optimal solution found: number of colors: 5