current bounds on the number of colors: 0 -- 202 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:53:15 2012 Optimize a model with 109989 rows, 21489 columns and 349763 nonzeros Presolve time: 0.36s Presolved: 109989 rows, 21489 columns, 349763 nonzeros Variable types: 0 continuous, 21489 integer (21489 binary) Root relaxation: objective 0.000000e+00, 539 iterations, 0.14 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 (945 simplex iterations) in 0.66 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 -- 101 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:53:17 2012 Optimize a model with 54552 rows, 11187 columns and 173150 nonzeros Presolve time: 0.17s Presolved: 54552 rows, 11187 columns, 173150 nonzeros Variable types: 0 continuous, 11187 integer (11187 binary) Root relaxation: objective 0.000000e+00, 526 iterations, 0.03 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 (935 simplex iterations) in 0.27 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:53:18 2012 Optimize a model with 27377 rows, 6137 columns and 86575 nonzeros Presolve time: 0.11s Presolved: 27377 rows, 6137 columns, 86575 nonzeros Variable types: 0 continuous, 6137 integer (6137 binary) Root relaxation: objective 0.000000e+00, 441 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 (1085 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 09:53:18 2012 Optimize a model with 13246 rows, 3511 columns and 41556 nonzeros Presolve time: 0.04s Presolved: 13246 rows, 3511 columns, 41556 nonzeros Variable types: 0 continuous, 3511 integer (3511 binary) Root relaxation: objective 0.000000e+00, 423 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 (807 simplex iterations) in 0.07 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:53:18 2012 Optimize a model with 6724 rows, 2299 columns and 20778 nonzeros Presolve time: 0.02s Presolved: 6724 rows, 2299 columns, 20778 nonzeros Variable types: 0 continuous, 2299 integer (2299 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 (3342 simplex iterations) in 0.20 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:53:19 2012 Optimize a model with 3463 rows, 1693 columns and 10389 nonzeros Presolve time: 0.01s Presolved: 3463 rows, 1693 columns, 10389 nonzeros Variable types: 0 continuous, 1693 integer (1693 binary) Root relaxation: objective 0.000000e+00, 474 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 404 - 0.00000 - - 0s 0 0 0.00000 0 404 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5958 simplex iterations) in 0.83 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:53:20 2012 Optimize a model with 4550 rows, 1895 columns and 13852 nonzeros Presolve time: 0.01s Presolved: 4550 rows, 1895 columns, 13852 nonzeros Variable types: 0 continuous, 1895 integer (1895 binary) Root relaxation: objective 0.000000e+00, 462 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 374 - 0.00000 - - 0s 0 0 0.00000 0 384 - 0.00000 - - 1s 0 0 0.00000 0 579 - 0.00000 - - 1s 0 0 0.00000 0 385 - 0.00000 - - 3s 0 0 0.00000 0 358 - 0.00000 - - 4s 0 0 0.00000 0 350 - 0.00000 - - 5s 0 0 0.00000 0 352 - 0.00000 - - 5s 0 0 0.00000 0 350 - 0.00000 - - 6s 0 0 0.00000 0 363 - 0.00000 - - 7s 0 0 0.00000 0 354 - 0.00000 - - 8s 0 0 0.00000 0 350 - 0.00000 - - 9s 0 0 0.00000 0 355 - 0.00000 - - 10s 0 0 0.00000 0 355 - 0.00000 - - 10s 0 2 0.00000 0 355 - 0.00000 - - 11s 164 42 0.00000 16 370 - 0.00000 - 211 15s 475 46 0.00000 14 356 - 0.00000 - 183 20s 737 37 0.00000 12 458 - 0.00000 - 187 25s 904 52 0.00000 9 568 - 0.00000 - 192 31s 906 53 0.00000 5 370 - 0.00000 - 191 36s 908 55 0.00000 18 358 - 0.00000 - 191 41s 910 56 0.00000 5 360 - 0.00000 - 191 46s 912 57 0.00000 4 383 - 0.00000 - 190 50s 1013 57 0.00000 23 410 - 0.00000 - 255 55s 1131 40 0.00000 22 404 - 0.00000 - 268 60s 1240 39 infeasible 24 - 0.00000 - 279 65s 1351 38 infeasible 21 - 0.00000 - 289 70s 1455 34 0.00000 24 374 - 0.00000 - 297 75s 1561 34 0.00000 17 484 - 0.00000 - 305 80s 1673 34 0.00000 24 372 - 0.00000 - 310 85s 1766 15 0.00000 20 489 - 0.00000 - 317 90s 1871 6 infeasible 25 - 0.00000 - 322 95s 1980 19 infeasible 24 - 0.00000 - 325 100s 2094 11 infeasible 22 - 0.00000 - 329 105s Cutting planes: Zero half: 12 Explored 2164 nodes (784937 simplex iterations) in 108.54 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:55:08 2012 Optimize a model with 5637 rows, 2097 columns and 17315 nonzeros Presolve time: 0.02s Presolved: 5637 rows, 2097 columns, 17315 nonzeros Variable types: 0 continuous, 2097 integer (2097 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 382 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 0s 0 0 0.00000 0 334 - 0.00000 - - 1s 0 0 0.00000 0 343 - 0.00000 - - 1s 0 0 0.00000 0 326 - 0.00000 - - 1s 0 0 0.00000 0 338 - 0.00000 - - 1s 0 0 0.00000 0 298 - 0.00000 - - 2s 0 0 0.00000 0 449 - 0.00000 - - 3s 0 0 0.00000 0 72 - 0.00000 - - 4s 0 0 0.00000 0 361 - 0.00000 - - 4s H 0 0 0.0000000 0.00000 0.0% - 4s Cutting planes: Zero half: 3 Explored 0 nodes (37345 simplex iterations) in 4.81 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