current bounds on the number of colors: 0 -- 210 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:26:35 2012 Optimize a model with 114765 rows, 23141 columns and 365715 nonzeros Presolve time: 0.40s Presolved: 114765 rows, 23141 columns, 365715 nonzeros Variable types: 0 continuous, 23141 integer (23141 binary) Root relaxation: objective 0.000000e+00, 754 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 (1206 simplex iterations) in 0.65 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 -- 105 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:26:37 2012 Optimize a model with 56942 rows, 12011 columns and 181116 nonzeros Presolve time: 0.17s Presolved: 56942 rows, 12011 columns, 181116 nonzeros Variable types: 0 continuous, 12011 integer (12011 binary) Root relaxation: objective 0.000000e+00, 569 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 (967 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 -- 52 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:26:38 2012 Optimize a model with 28576 rows, 6551 columns and 90558 nonzeros Presolve time: 0.12s Presolved: 28576 rows, 6551 columns, 90558 nonzeros Variable types: 0 continuous, 6551 integer (6551 binary) Root relaxation: objective 0.000000e+00, 426 iterations, 0.02 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 (809 simplex iterations) in 0.17 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:26:39 2012 Optimize a model with 14393 rows, 3821 columns and 45279 nonzeros Presolve time: 0.05s Presolved: 14393 rows, 3821 columns, 45279 nonzeros Variable types: 0 continuous, 3821 integer (3821 binary) Root relaxation: objective 0.000000e+00, 445 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 (845 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:26:39 2012 Optimize a model with 6756 rows, 2351 columns and 20898 nonzeros Presolve time: 0.02s Presolved: 6756 rows, 2351 columns, 20898 nonzeros Variable types: 0 continuous, 2351 integer (2351 binary) Root relaxation: objective 0.000000e+00, 456 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 (1633 simplex iterations) in 0.09 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 13:26:39 2012 Optimize a model with 3483 rows, 1721 columns and 10449 nonzeros Presolve time: 0.01s Presolved: 3483 rows, 1721 columns, 10449 nonzeros Variable types: 0 continuous, 1721 integer (1721 binary) Root relaxation: objective 0.000000e+00, 470 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 418 - 0.00000 - - 0s 0 0 0.00000 0 418 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5723 simplex iterations) in 0.89 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 13:26:40 2012 Optimize a model with 4574 rows, 1931 columns and 13932 nonzeros Presolve time: 0.01s Presolved: 4574 rows, 1931 columns, 13932 nonzeros Variable types: 0 continuous, 1931 integer (1931 binary) Root relaxation: objective 0.000000e+00, 450 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 412 - 0.00000 - - 0s 0 0 0.00000 0 398 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 1s 0 0 0.00000 0 415 - 0.00000 - - 1s 0 0 0.00000 0 398 - 0.00000 - - 2s 0 0 0.00000 0 392 - 0.00000 - - 3s 0 0 0.00000 0 394 - 0.00000 - - 3s 0 0 0.00000 0 396 - 0.00000 - - 4s 0 0 0.00000 0 396 - 0.00000 - - 5s 0 0 0.00000 0 388 - 0.00000 - - 6s 0 0 0.00000 0 386 - 0.00000 - - 6s 0 0 0.00000 0 390 - 0.00000 - - 7s 0 0 0.00000 0 390 - 0.00000 - - 7s 0 2 0.00000 0 390 - 0.00000 - - 8s 44 14 0.00000 6 386 - 0.00000 - 302 10s 413 45 0.00000 14 389 - 0.00000 - 182 15s 704 92 0.00000 14 575 - 0.00000 - 172 21s 705 93 0.00000 14 396 - 0.00000 - 172 25s 708 95 0.00000 15 390 - 0.00000 - 171 31s 710 96 0.00000 10 390 - 0.00000 - 171 36s 741 103 infeasible 24 - 0.00000 - 244 40s 884 72 0.00000 20 382 - 0.00000 - 258 45s 1001 40 infeasible 24 - 0.00000 - 274 50s 1129 54 infeasible 21 - 0.00000 - 286 55s 1267 62 infeasible 22 - 0.00000 - 293 60s 1392 55 infeasible 21 - 0.00000 - 302 65s 1518 47 infeasible 23 - 0.00000 - 309 70s 1644 25 infeasible 26 - 0.00000 - 315 75s Cutting planes: Gomory: 1 Zero half: 20 Explored 1750 nodes (617909 simplex iterations) in 79.97 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 13:28:00 2012 Optimize a model with 5665 rows, 2141 columns and 17415 nonzeros Presolve time: 0.02s Presolved: 5665 rows, 2141 columns, 17415 nonzeros Variable types: 0 continuous, 2141 integer (2141 binary) Root relaxation: objective 0.000000e+00, 459 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 388 - 0.00000 - - 0s 0 0 0.00000 0 376 - 0.00000 - - 1s * 0 0 0 0.0000000 0.00000 0.0% - 2s Explored 0 nodes (17302 simplex iterations) in 2.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% optimal solution found: number of colors: 5