current bounds on the number of colors: 0 -- 211 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:40:03 2012 Optimize a model with 119281 rows, 23289 columns and 379365 nonzeros Presolve time: 0.41s Presolved: 119281 rows, 23289 columns, 379365 nonzeros Variable types: 0 continuous, 23289 integer (23289 binary) Root relaxation: objective 0.000000e+00, 538 iterations, 0.15 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 (956 simplex iterations) in 0.72 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:40:05 2012 Optimize a model with 59179 rows, 12106 columns and 187876 nonzeros Presolve time: 0.18s Presolved: 59179 rows, 12106 columns, 187876 nonzeros Variable types: 0 continuous, 12106 integer (12106 binary) Root relaxation: objective 0.000000e+00, 820 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 (1362 simplex iterations) in 0.35 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:40:06 2012 Optimize a model with 29695 rows, 6620 columns and 93938 nonzeros Presolve time: 0.13s Presolved: 29695 rows, 6620 columns, 93938 nonzeros Variable types: 0 continuous, 6620 integer (6620 binary) Root relaxation: objective 0.000000e+00, 529 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 (960 simplex iterations) in 0.19 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:40:07 2012 Optimize a model with 14953 rows, 3877 columns and 46969 nonzeros Presolve time: 0.05s Presolved: 14953 rows, 3877 columns, 46969 nonzeros Variable types: 0 continuous, 3877 integer (3877 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (848 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:40:07 2012 Optimize a model with 7015 rows, 2400 columns and 21678 nonzeros Presolve time: 0.02s Presolved: 7015 rows, 2400 columns, 21678 nonzeros Variable types: 0 continuous, 2400 integer (2400 binary) Root relaxation: objective 0.000000e+00, 442 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 (2858 simplex iterations) in 0.18 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:40:07 2012 Optimize a model with 3613 rows, 1767 columns and 10839 nonzeros Presolve time: 0.01s Presolved: 3613 rows, 1767 columns, 10839 nonzeros Variable types: 0 continuous, 1767 integer (1767 binary) Root relaxation: objective 0.000000e+00, 467 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 420 - 0.00000 - - 0s 0 0 0.00000 0 427 - 0.00000 - - 0s 0 0 0.00000 0 598 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 45 Zero half: 1534 Explored 0 nodes (9750 simplex iterations) in 1.87 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:40:09 2012 Optimize a model with 4747 rows, 1978 columns and 14452 nonzeros Presolve time: 0.01s Presolved: 4747 rows, 1978 columns, 14452 nonzeros Variable types: 0 continuous, 1978 integer (1978 binary) Root relaxation: objective 0.000000e+00, 478 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 408 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 0s 0 0 0.00000 0 378 - 0.00000 - - 1s 0 0 0.00000 0 558 - 0.00000 - - 1s 0 0 0.00000 0 364 - 0.00000 - - 3s 0 0 0.00000 0 360 - 0.00000 - - 4s 0 0 0.00000 0 392 - 0.00000 - - 5s 0 0 0.00000 0 342 - 0.00000 - - 6s 0 0 0.00000 0 392 - 0.00000 - - 7s 0 0 0.00000 0 371 - 0.00000 - - 8s 0 0 0.00000 0 320 - 0.00000 - - 9s 0 0 0.00000 0 407 - 0.00000 - - 10s 0 0 0.00000 0 348 - 0.00000 - - 12s 0 0 0.00000 0 336 - 0.00000 - - 13s 0 0 0.00000 0 398 - 0.00000 - - 14s 0 0 0.00000 0 392 - 0.00000 - - 15s 0 2 0.00000 0 294 - 0.00000 - - 16s 74 20 infeasible 16 - 0.00000 - 261 20s 390 36 infeasible 18 - 0.00000 - 185 25s 603 51 0.00000 13 378 - 0.00000 - 178 30s 606 53 0.00000 13 361 - 0.00000 - 177 36s 608 55 0.00000 13 381 - 0.00000 - 177 42s 609 55 0.00000 11 326 - 0.00000 - 176 45s 611 57 0.00000 13 446 - 0.00000 - 176 51s 612 57 0.00000 9 501 - 0.00000 - 175 55s 671 51 infeasible 21 - 0.00000 - 295 60s 784 28 infeasible 18 - 0.00000 - 306 65s 887 11 infeasible 21 - 0.00000 - 320 70s 990 4 infeasible 19 - 0.00000 - 329 75s 1094 6 infeasible 21 - 0.00000 - 336 80s 1198 4 0.00000 18 513 - 0.00000 - 342 85s Cutting planes: Clique: 1 Zero half: 36 Explored 1215 nodes (505909 simplex iterations) in 85.90 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:41:35 2012 Optimize a model with 5881 rows, 2189 columns and 18065 nonzeros Presolve time: 0.02s Presolved: 5881 rows, 2189 columns, 18065 nonzeros Variable types: 0 continuous, 2189 integer (2189 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.00000 0 394 - 0.00000 - - 0s 0 0 0.00000 0 433 - 0.00000 - - 1s 0 0 0.00000 0 503 - 0.00000 - - 2s 0 0 0.00000 0 546 - 0.00000 - - 2s 0 0 0.00000 0 452 - 0.00000 - - 3s 0 0 0.00000 0 466 - 0.00000 - - 4s 0 0 0.00000 0 554 - 0.00000 - - 5s 0 0 0.00000 0 554 - 0.00000 - - 6s 0 2 0.00000 0 554 - 0.00000 - - 7s * 145 1 48 0.0000000 0.00000 0.0% 113 8s Cutting planes: Zero half: 18 Explored 146 nodes (48964 simplex iterations) in 8.55 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