current bounds on the number of colors: 0 -- 200 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:18:14 2012 Optimize a model with 102000 rows, 21018 columns and 325400 nonzeros Presolve time: 0.34s Presolved: 102000 rows, 21018 columns, 325400 nonzeros Variable types: 0 continuous, 21018 integer (21018 binary) Root relaxation: objective 0.000000e+00, 853 iterations, 0.11 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 (1340 simplex iterations) in 0.60 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 -- 100 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:18:16 2012 Optimize a model with 51100 rows, 11018 columns and 162700 nonzeros Presolve time: 0.17s Presolved: 51100 rows, 11018 columns, 162700 nonzeros Variable types: 0 continuous, 11018 integer (11018 binary) Root relaxation: objective 0.000000e+00, 709 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 (1188 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% current bounds on the number of colors: 0 -- 50 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:18:16 2012 Optimize a model with 25650 rows, 6018 columns and 81350 nonzeros Presolve time: 0.11s Presolved: 25650 rows, 6018 columns, 81350 nonzeros Variable types: 0 continuous, 6018 integer (6018 binary) Root relaxation: objective 0.000000e+00, 413 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 (780 simplex iterations) in 0.15 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:18:17 2012 Optimize a model with 12416 rows, 3418 columns and 39048 nonzeros Presolve time: 0.04s Presolved: 12416 rows, 3418 columns, 39048 nonzeros Variable types: 0 continuous, 3418 integer (3418 binary) Root relaxation: objective 0.000000e+00, 419 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 (1065 simplex iterations) in 0.08 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 09:18:17 2012 Optimize a model with 6308 rows, 2218 columns and 19524 nonzeros Presolve time: 0.02s Presolved: 6308 rows, 2218 columns, 19524 nonzeros Variable types: 0 continuous, 2218 integer (2218 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 (1311 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:18:17 2012 Optimize a model with 3254 rows, 1618 columns and 9762 nonzeros Presolve time: 0.01s Presolved: 3254 rows, 1618 columns, 9762 nonzeros Variable types: 0 continuous, 1618 integer (1618 binary) Root relaxation: objective 0.000000e+00, 444 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 400 - 0.00000 - - 0s 0 0 0.00000 0 398 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5916 simplex iterations) in 0.66 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 09:18:18 2012 Optimize a model with 4272 rows, 1818 columns and 13016 nonzeros Presolve time: 0.01s Presolved: 4272 rows, 1818 columns, 13016 nonzeros Variable types: 0 continuous, 1818 integer (1818 binary) Root relaxation: objective 0.000000e+00, 433 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 382 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 1s 0 0 0.00000 0 429 - 0.00000 - - 1s 0 0 0.00000 0 348 - 0.00000 - - 2s 0 0 0.00000 0 348 - 0.00000 - - 3s 0 0 0.00000 0 350 - 0.00000 - - 3s 0 0 0.00000 0 348 - 0.00000 - - 4s 0 0 0.00000 0 342 - 0.00000 - - 5s 0 0 0.00000 0 334 - 0.00000 - - 5s 0 0 0.00000 0 334 - 0.00000 - - 6s 0 0 0.00000 0 341 - 0.00000 - - 7s 0 0 0.00000 0 341 - 0.00000 - - 7s 0 2 0.00000 0 341 - 0.00000 - - 8s 67 37 infeasible 18 - 0.00000 - 250 10s 409 65 0.00000 19 342 - 0.00000 - 194 15s 704 81 0.00000 16 558 - 0.00000 - 169 21s 706 82 0.00000 15 346 - 0.00000 - 168 25s 709 84 0.00000 20 330 - 0.00000 - 168 31s 712 86 0.00000 25 323 - 0.00000 - 167 37s 718 90 0.00000 16 464 - 0.00000 - 243 40s 781 88 infeasible 30 - 0.00000 - 249 45s 921 52 infeasible 27 - 0.00000 - 259 50s 1073 35 infeasible 35 - 0.00000 - 269 55s 1242 46 0.00000 30 440 - 0.00000 - 272 60s 1403 39 infeasible 28 - 0.00000 - 276 65s 1543 37 0.00000 24 423 - 0.00000 - 283 70s 1683 27 infeasible 30 - 0.00000 - 288 75s 1812 20 0.00000 22 361 - 0.00000 - 293 80s 1960 10 0.00000 31 428 - 0.00000 - 297 85s Cutting planes: Gomory: 1 Zero half: 20 Explored 2009 nodes (658218 simplex iterations) in 86.99 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 09:19:45 2012 Optimize a model with 5290 rows, 2018 columns and 16270 nonzeros Presolve time: 0.01s Presolved: 5290 rows, 2018 columns, 16270 nonzeros Variable types: 0 continuous, 2018 integer (2018 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 142 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 2 Clique: 14 Zero half: 45 Explored 0 nodes (5152 simplex iterations) in 0.36 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