current bounds on the number of colors: 0 -- 185 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:06:02 2012 Optimize a model with 81421 rows, 17903 columns and 260728 nonzeros Presolve time: 0.26s Presolved: 81421 rows, 17903 columns, 260728 nonzeros Variable types: 0 continuous, 17903 integer (17903 binary) Root relaxation: objective 0.000000e+00, 727 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 (1145 simplex iterations) in 0.45 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 -- 92 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:06:03 2012 Optimize a model with 40803 rows, 9393 columns and 130364 nonzeros Presolve time: 0.16s Presolved: 40803 rows, 9393 columns, 130364 nonzeros Variable types: 0 continuous, 9393 integer (9393 binary) Root relaxation: objective 0.000000e+00, 626 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 (1050 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 -- 46 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:06:04 2012 Optimize a model with 20494 rows, 5138 columns and 65182 nonzeros Presolve time: 0.08s Presolved: 20494 rows, 5138 columns, 65182 nonzeros Variable types: 0 continuous, 5138 integer (5138 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 (719 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:06:04 2012 Optimize a model with 9898 rows, 2918 columns and 31174 nonzeros Presolve time: 0.03s Presolved: 9898 rows, 2918 columns, 31174 nonzeros Variable types: 0 continuous, 2918 integer (2918 binary) Root relaxation: objective 0.000000e+00, 395 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 (720 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:06:04 2012 Optimize a model with 4600 rows, 1808 columns and 14170 nonzeros Presolve time: 0.01s Presolved: 4600 rows, 1808 columns, 14170 nonzeros Variable types: 0 continuous, 1808 integer (1808 binary) Root relaxation: objective 0.000000e+00, 392 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 (3868 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:06:05 2012 Optimize a model with 1951 rows, 1253 columns and 5668 nonzeros Presolve removed 185 rows and 185 columns Presolve time: 0.00s Presolved: 1766 rows, 1068 columns, 5298 nonzeros Variable types: 0 continuous, 1068 integer (1068 binary) Root relaxation: objective 0.000000e+00, 190 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 185 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (800 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:06:05 2012 Optimize a model with 2834 rows, 1438 columns and 8502 nonzeros Presolve time: 0.01s Presolved: 2834 rows, 1438 columns, 8502 nonzeros Variable types: 0 continuous, 1438 integer (1438 binary) Root relaxation: objective 0.000000e+00, 406 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 368 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4527 simplex iterations) in 0.57 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:06:05 2012 Optimize a model with 3717 rows, 1623 columns and 11336 nonzeros Presolve time: 0.01s Presolved: 3717 rows, 1623 columns, 11336 nonzeros Variable types: 0 continuous, 1623 integer (1623 binary) Root relaxation: objective 0.000000e+00, 437 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 364 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 0s 0 0 0.00000 0 328 - 0.00000 - - 0s 0 0 0.00000 0 438 - 0.00000 - - 1s 0 0 0.00000 0 316 - 0.00000 - - 1s 0 0 0.00000 0 312 - 0.00000 - - 2s 0 0 0.00000 0 316 - 0.00000 - - 2s 0 0 0.00000 0 327 - 0.00000 - - 2s 0 0 0.00000 0 314 - 0.00000 - - 3s 0 0 0.00000 0 320 - 0.00000 - - 3s 0 0 0.00000 0 319 - 0.00000 - - 3s 0 2 0.00000 0 315 - 0.00000 - - 4s 77 47 0.00000 20 314 - 0.00000 - 160 5s 604 110 0.00000 19 472 - 0.00000 - 136 10s 608 113 0.00000 11 307 - 0.00000 - 135 15s 612 115 0.00000 12 260 - 0.00000 - 134 21s 615 117 0.00000 20 396 - 0.00000 - 133 25s 940 48 infeasible 30 - 0.00000 - 212 30s 1328 28 infeasible 24 - 0.00000 - 207 35s 1652 17 0.00000 24 403 - 0.00000 - 208 40s 2000 25 0.00000 23 395 - 0.00000 - 207 45s 2318 21 0.00000 21 355 - 0.00000 - 210 50s 2645 30 infeasible 31 - 0.00000 - 210 55s 2953 44 infeasible 32 - 0.00000 - 211 60s 3253 28 infeasible 28 - 0.00000 - 212 65s 3555 16 infeasible 24 - 0.00000 - 214 70s 3899 22 infeasible 26 - 0.00000 - 213 75s 4190 13 0.00000 24 396 - 0.00000 - 215 80s 4467 4 infeasible 25 - 0.00000 - 216 85s Cutting planes: Clique: 1 Zero half: 21 Explored 4532 nodes (1010382 simplex iterations) in 86.03 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