current bounds on the number of colors: 0 -- 208 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:27:37 2012 Optimize a model with 119392 rows, 22778 columns and 379184 nonzeros Presolve time: 0.41s Presolved: 119392 rows, 22778 columns, 379184 nonzeros Variable types: 0 continuous, 22778 integer (22778 binary) Root relaxation: objective 0.000000e+00, 549 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 (999 simplex iterations) in 0.74 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 -- 104 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:27:39 2012 Optimize a model with 59800 rows, 11962 columns and 189592 nonzeros Presolve time: 0.18s Presolved: 59800 rows, 11962 columns, 189592 nonzeros Variable types: 0 continuous, 11962 integer (11962 binary) Root relaxation: objective 0.000000e+00, 732 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 (1230 simplex iterations) in 0.33 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 12:27:40 2012 Optimize a model with 30004 rows, 6554 columns and 94796 nonzeros Presolve time: 0.13s Presolved: 30004 rows, 6554 columns, 94796 nonzeros Variable types: 0 continuous, 6554 integer (6554 binary) Root relaxation: objective 0.000000e+00, 448 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 (852 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:27:41 2012 Optimize a model with 15106 rows, 3850 columns and 47398 nonzeros Presolve time: 0.05s Presolved: 15106 rows, 3850 columns, 47398 nonzeros Variable types: 0 continuous, 3850 integer (3850 binary) Root relaxation: objective 0.000000e+00, 430 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 (858 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 12:27:41 2012 Optimize a model with 7084 rows, 2394 columns and 21876 nonzeros Presolve time: 0.02s Presolved: 7084 rows, 2394 columns, 21876 nonzeros Variable types: 0 continuous, 2394 integer (2394 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 (2984 simplex iterations) in 0.16 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 12:27:41 2012 Optimize a model with 3646 rows, 1770 columns and 10938 nonzeros Presolve time: 0.01s Presolved: 3646 rows, 1770 columns, 10938 nonzeros Variable types: 0 continuous, 1770 integer (1770 binary) Root relaxation: objective 0.000000e+00, 484 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 414 - 0.00000 - - 0s 0 0 0.00000 0 416 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6450 simplex iterations) in 0.90 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 12:27:42 2012 Optimize a model with 4792 rows, 1978 columns and 14584 nonzeros Presolve time: 0.01s Presolved: 4792 rows, 1978 columns, 14584 nonzeros Variable types: 0 continuous, 1978 integer (1978 binary) Root relaxation: objective 0.000000e+00, 468 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 414 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 1s 0 0 0.00000 0 390 - 0.00000 - - 1s 0 0 0.00000 0 384 - 0.00000 - - 2s 0 0 0.00000 0 376 - 0.00000 - - 3s 0 0 0.00000 0 380 - 0.00000 - - 4s 0 0 0.00000 0 372 - 0.00000 - - 5s 0 0 0.00000 0 415 - 0.00000 - - 6s 0 0 0.00000 0 387 - 0.00000 - - 7s 0 0 0.00000 0 398 - 0.00000 - - 8s 0 0 0.00000 0 348 - 0.00000 - - 10s 0 0 0.00000 0 382 - 0.00000 - - 10s 0 0 0.00000 0 382 - 0.00000 - - 11s 0 2 0.00000 0 380 - 0.00000 - - 12s 31 19 0.00000 17 487 - 0.00000 - 399 15s 236 67 0.00000 27 445 - 0.00000 - 237 20s 499 78 infeasible 13 - 0.00000 - 205 25s 706 76 0.00000 17 388 - 0.00000 - 199 30s 708 78 0.00000 12 390 - 0.00000 - 199 35s 710 79 0.00000 13 398 - 0.00000 - 198 40s 712 80 0.00000 15 362 - 0.00000 - 198 45s 727 88 0.00000 17 512 - 0.00000 - 272 50s 823 54 infeasible 23 - 0.00000 - 289 55s 905 37 0.00000 23 452 - 0.00000 - 304 60s 995 14 infeasible 24 - 0.00000 - 317 65s 1108 12 infeasible 23 - 0.00000 - 322 70s 1216 6 0.00000 18 506 - 0.00000 - 327 75s 1311 15 infeasible 27 - 0.00000 - 334 80s 1399 7 0.00000 21 510 - 0.00000 - 342 85s 1495 15 0.00000 28 388 - 0.00000 - 346 90s 1583 9 0.00000 23 461 - 0.00000 - 351 95s Cutting planes: Gomory: 1 Zero half: 15 Explored 1627 nodes (649487 simplex iterations) in 97.68 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 12:29:20 2012 Optimize a model with 5938 rows, 2186 columns and 18230 nonzeros Presolve time: 0.02s Presolved: 5938 rows, 2186 columns, 18230 nonzeros Variable types: 0 continuous, 2186 integer (2186 binary) Root relaxation: objective 0.000000e+00, 447 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 384 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 0s 0 0 0.00000 0 508 - 0.00000 - - 1s 0 0 0.00000 0 490 - 0.00000 - - 1s 0 0 0.00000 0 488 - 0.00000 - - 1s 0 0 0.00000 0 485 - 0.00000 - - 2s 0 0 0.00000 0 494 - 0.00000 - - 2s 0 0 0.00000 0 458 - 0.00000 - - 2s 0 2 0.00000 0 395 - 0.00000 - - 4s * 75 4 45 0.0000000 0.00000 0.0% 135 4s Cutting planes: Gomory: 2 Clique: 3 Zero half: 11 Explored 76 nodes (28844 simplex iterations) in 4.54 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