current bounds on the number of colors: 0 -- 186 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:28:30 2012 Optimize a model with 81747 rows, 18175 columns and 261981 nonzeros Presolve time: 0.26s Presolved: 81747 rows, 18175 columns, 261981 nonzeros Variable types: 0 continuous, 18175 integer (18175 binary) Root relaxation: objective 0.000000e+00, 665 iterations, 0.06 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 (1066 simplex iterations) in 0.44 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 -- 93 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:28:31 2012 Optimize a model with 40528 rows, 9433 columns and 129582 nonzeros Presolve time: 0.16s Presolved: 40528 rows, 9433 columns, 129582 nonzeros Variable types: 0 continuous, 9433 integer (9433 binary) Root relaxation: objective 0.000000e+00, 522 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 (908 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 -- 46 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:28:32 2012 Optimize a model with 20357 rows, 5155 columns and 64791 nonzeros Presolve time: 0.08s Presolved: 20357 rows, 5155 columns, 64791 nonzeros Variable types: 0 continuous, 5155 integer (5155 binary) Root relaxation: objective 0.000000e+00, 434 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 (807 simplex iterations) in 0.12 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:28:32 2012 Optimize a model with 9833 rows, 2923 columns and 30987 nonzeros Presolve time: 0.03s Presolved: 9833 rows, 2923 columns, 30987 nonzeros Variable types: 0 continuous, 2923 integer (2923 binary) Root relaxation: objective 0.000000e+00, 387 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 (737 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 03:28:33 2012 Optimize a model with 4571 rows, 1807 columns and 14085 nonzeros Presolve time: 0.01s Presolved: 4571 rows, 1807 columns, 14085 nonzeros Variable types: 0 continuous, 1807 integer (1807 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 76 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3963 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:28:33 2012 Optimize a model with 1940 rows, 1249 columns and 5634 nonzeros Presolve removed 186 rows and 186 columns Presolve time: 0.00s Presolved: 1754 rows, 1063 columns, 5262 nonzeros Variable types: 0 continuous, 1063 integer (1063 binary) Root relaxation: objective 0.000000e+00, 195 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 186 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (782 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 03:28:33 2012 Optimize a model with 2817 rows, 1435 columns and 8451 nonzeros Presolve time: 0.01s Presolved: 2817 rows, 1435 columns, 8451 nonzeros Variable types: 0 continuous, 1435 integer (1435 binary) Root relaxation: objective 0.000000e+00, 461 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 366 - 0.00000 - - 0s 0 0 0.00000 0 364 - 0.00000 - - 0s 0 0 0.00000 0 483 - 0.00000 - - 0s 0 0 0.00000 0 498 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Zero half: 1125 Explored 0 nodes (10009 simplex iterations) in 1.44 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 03:28:34 2012 Optimize a model with 3694 rows, 1621 columns and 11268 nonzeros Presolve time: 0.01s Presolved: 3694 rows, 1621 columns, 11268 nonzeros Variable types: 0 continuous, 1621 integer (1621 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 358 - 0.00000 - - 0s 0 0 0.00000 0 348 - 0.00000 - - 0s 0 0 0.00000 0 320 - 0.00000 - - 0s 0 0 0.00000 0 397 - 0.00000 - - 1s 0 0 0.00000 0 308 - 0.00000 - - 1s 0 0 0.00000 0 304 - 0.00000 - - 1s 0 0 0.00000 0 296 - 0.00000 - - 2s 0 0 0.00000 0 300 - 0.00000 - - 2s 0 0 0.00000 0 300 - 0.00000 - - 3s 0 0 0.00000 0 301 - 0.00000 - - 3s 0 0 0.00000 0 288 - 0.00000 - - 4s 0 0 0.00000 0 288 - 0.00000 - - 4s 0 0 0.00000 0 276 - 0.00000 - - 4s 0 2 0.00000 0 276 - 0.00000 - - 5s 648 45 0.00000 12 340 - 0.00000 - 131 10s 707 63 0.00000 3 288 - 0.00000 - 131 15s 710 65 0.00000 16 402 - 0.00000 - 130 20s 713 67 0.00000 11 387 - 0.00000 - 130 25s 890 47 infeasible 31 - 0.00000 - 199 30s 1173 34 infeasible 31 - 0.00000 - 210 35s 1442 39 0.00000 26 324 - 0.00000 - 222 40s 1759 32 0.00000 26 346 - 0.00000 - 223 45s 2012 31 0.00000 29 340 - 0.00000 - 228 50s 2308 33 infeasible 27 - 0.00000 - 229 55s 2568 19 0.00000 23 421 - 0.00000 - 232 60s 2827 18 infeasible 28 - 0.00000 - 235 65s 3077 16 0.00000 25 324 - 0.00000 - 238 70s 3328 11 infeasible 28 - 0.00000 - 239 75s Cutting planes: Gomory: 1 Zero half: 19 Explored 3362 nodes (849230 simplex iterations) in 75.66 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