current bounds on the number of colors: 0 -- 210 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:17:59 2012 Optimize a model with 122535 rows, 23215 columns and 389025 nonzeros Presolve time: 0.42s Presolved: 122535 rows, 23215 columns, 389025 nonzeros Variable types: 0 continuous, 23215 integer (23215 binary) Root relaxation: objective 0.000000e+00, 545 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 (986 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 -- 105 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:18:02 2012 Optimize a model with 60790 rows, 12085 columns and 192660 nonzeros Presolve time: 0.18s Presolved: 60790 rows, 12085 columns, 192660 nonzeros Variable types: 0 continuous, 12085 integer (12085 binary) Root relaxation: objective 0.000000e+00, 823 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 (1412 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% current bounds on the number of colors: 0 -- 52 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:18:03 2012 Optimize a model with 30500 rows, 6625 columns and 96330 nonzeros Presolve time: 0.13s Presolved: 30500 rows, 6625 columns, 96330 nonzeros Variable types: 0 continuous, 6625 integer (6625 binary) Root relaxation: objective 0.000000e+00, 495 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 (920 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 13:18:03 2012 Optimize a model with 15355 rows, 3895 columns and 48165 nonzeros Presolve time: 0.05s Presolved: 15355 rows, 3895 columns, 48165 nonzeros Variable types: 0 continuous, 3895 integer (3895 binary) Root relaxation: objective 0.000000e+00, 431 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 (830 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:18:04 2012 Optimize a model with 7200 rows, 2425 columns and 22230 nonzeros Presolve time: 0.02s Presolved: 7200 rows, 2425 columns, 22230 nonzeros Variable types: 0 continuous, 2425 integer (2425 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3348 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:18:04 2012 Optimize a model with 3705 rows, 1795 columns and 11115 nonzeros Presolve time: 0.01s Presolved: 3705 rows, 1795 columns, 11115 nonzeros Variable types: 0 continuous, 1795 integer (1795 binary) Root relaxation: objective 0.000000e+00, 480 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 420 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5781 simplex iterations) in 0.98 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:18:05 2012 Optimize a model with 4870 rows, 2005 columns and 14820 nonzeros Presolve time: 0.01s Presolved: 4870 rows, 2005 columns, 14820 nonzeros Variable types: 0 continuous, 2005 integer (2005 binary) Root relaxation: objective 0.000000e+00, 465 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 398 - 0.00000 - - 0s 0 0 0.00000 0 404 - 0.00000 - - 1s 0 0 0.00000 0 607 - 0.00000 - - 1s 0 0 0.00000 0 398 - 0.00000 - - 3s 0 0 0.00000 0 392 - 0.00000 - - 4s 0 0 0.00000 0 396 - 0.00000 - - 5s 0 0 0.00000 0 416 - 0.00000 - - 6s 0 0 0.00000 0 384 - 0.00000 - - 7s 0 0 0.00000 0 384 - 0.00000 - - 8s 0 0 0.00000 0 384 - 0.00000 - - 8s 0 2 0.00000 0 384 - 0.00000 - - 9s 4 4 0.00000 2 549 - 0.00000 - 1253 10s 178 23 infeasible 21 - 0.00000 - 254 15s 355 15 infeasible 16 - 0.00000 - 252 20s 530 15 0.00000 14 418 - 0.00000 - 246 25s 703 27 0.00000 13 398 - 0.00000 - 242 30s 707 30 0.00000 10 453 - 0.00000 - 240 38s 708 30 0.00000 20 376 - 0.00000 - 240 40s 710 32 0.00000 11 370 - 0.00000 - 239 46s 712 33 0.00000 13 376 - 0.00000 - 239 51s 714 34 0.00000 19 435 - 0.00000 - 238 56s 731 44 0.00000 17 541 - 0.00000 - 338 60s 825 25 infeasible 18 - 0.00000 - 342 65s 920 18 infeasible 21 - 0.00000 - 349 70s 998 16 infeasible 17 - 0.00000 - 360 75s 1083 11 infeasible 22 - 0.00000 - 366 80s 1152 4 0.00000 17 514 - 0.00000 - 376 85s Cutting planes: Gomory: 1 Clique: 1 Zero half: 27 Explored 1167 nodes (490579 simplex iterations) in 85.98 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:19:31 2012 Optimize a model with 6035 rows, 2215 columns and 18525 nonzeros Presolve time: 0.02s Presolved: 6035 rows, 2215 columns, 18525 nonzeros Variable types: 0 continuous, 2215 integer (2215 binary) Root relaxation: objective 0.000000e+00, 451 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 390 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 0s 0 0 0.00000 0 458 - 0.00000 - - 2s 0 0 0.00000 0 501 - 0.00000 - - 2s H 0 0 0.0000000 0.00000 0.0% - 2s Cutting planes: Gomory: 2 Clique: 1 Zero half: 20 Explored 0 nodes (15299 simplex iterations) in 2.29 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