current bounds on the number of colors: 0 -- 210 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:19:36 2012 Optimize a model with 118230 rows, 23174 columns and 376110 nonzeros Presolve time: 0.40s Presolved: 118230 rows, 23174 columns, 376110 nonzeros Variable types: 0 continuous, 23174 integer (23174 binary) Root relaxation: objective 0.000000e+00, 525 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 (973 simplex iterations) in 0.71 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:19:38 2012 Optimize a model with 58658 rows, 12044 columns and 186264 nonzeros Presolve time: 0.18s Presolved: 58658 rows, 12044 columns, 186264 nonzeros Variable types: 0 continuous, 12044 integer (12044 binary) Root relaxation: objective 0.000000e+00, 706 iterations, 0.05 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 (1243 simplex iterations) in 0.32 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:19:39 2012 Optimize a model with 29434 rows, 6584 columns and 93132 nonzeros Presolve time: 0.12s Presolved: 29434 rows, 6584 columns, 93132 nonzeros Variable types: 0 continuous, 6584 integer (6584 binary) Root relaxation: objective 0.000000e+00, 535 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 (1012 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:19:40 2012 Optimize a model with 14822 rows, 3854 columns and 46566 nonzeros Presolve time: 0.05s Presolved: 14822 rows, 3854 columns, 46566 nonzeros Variable types: 0 continuous, 3854 integer (3854 binary) Root relaxation: objective 0.000000e+00, 427 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 (855 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:19:40 2012 Optimize a model with 6954 rows, 2384 columns and 21492 nonzeros Presolve time: 0.02s Presolved: 6954 rows, 2384 columns, 21492 nonzeros Variable types: 0 continuous, 2384 integer (2384 binary) Root relaxation: objective 0.000000e+00, 452 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 (1686 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:19:40 2012 Optimize a model with 3582 rows, 1754 columns and 10746 nonzeros Presolve time: 0.01s Presolved: 3582 rows, 1754 columns, 10746 nonzeros Variable types: 0 continuous, 1754 integer (1754 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 342 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (7553 simplex iterations) in 1.13 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:19:41 2012 Optimize a model with 4706 rows, 1964 columns and 14328 nonzeros Presolve time: 0.01s Presolved: 4706 rows, 1964 columns, 14328 nonzeros Variable types: 0 continuous, 1964 integer (1964 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 406 - 0.00000 - - 0s 0 0 0.00000 0 378 - 0.00000 - - 0s 0 0 0.00000 0 408 - 0.00000 - - 1s 0 0 0.00000 0 450 - 0.00000 - - 1s 0 0 0.00000 0 388 - 0.00000 - - 2s 0 0 0.00000 0 386 - 0.00000 - - 3s 0 0 0.00000 0 390 - 0.00000 - - 4s 0 0 0.00000 0 390 - 0.00000 - - 5s 0 0 0.00000 0 386 - 0.00000 - - 5s 0 0 0.00000 0 384 - 0.00000 - - 6s 0 0 0.00000 0 376 - 0.00000 - - 7s 0 0 0.00000 0 385 - 0.00000 - - 8s 0 0 0.00000 0 374 - 0.00000 - - 9s 0 0 0.00000 0 378 - 0.00000 - - 10s 0 0 0.00000 0 378 - 0.00000 - - 10s 0 2 0.00000 0 378 - 0.00000 - - 11s 175 51 0.00000 13 394 - 0.00000 - 200 15s 488 97 0.00000 19 372 - 0.00000 - 179 20s 605 106 0.00000 12 398 - 0.00000 - 176 28s 606 106 0.00000 15 396 - 0.00000 - 176 31s 608 108 0.00000 21 386 - 0.00000 - 175 35s 610 109 0.00000 18 376 - 0.00000 - 174 41s 611 110 0.00000 20 389 - 0.00000 - 174 45s 614 112 0.00000 17 354 - 0.00000 - 173 52s 615 112 0.00000 17 352 - 0.00000 - 173 55s 617 114 0.00000 18 358 - 0.00000 - 172 61s 669 116 0.00000 20 463 - 0.00000 - 330 65s 767 88 infeasible 23 - 0.00000 - 346 70s 863 54 infeasible 28 - 0.00000 - 356 75s 972 25 0.00000 31 500 - 0.00000 - 361 80s 1057 8 infeasible 21 - 0.00000 - 373 85s 1161 8 infeasible 26 - 0.00000 - 377 90s 1271 12 0.00000 26 376 - 0.00000 - 379 95s Cutting planes: Gomory: 1 Zero half: 27 Explored 1338 nodes (579155 simplex iterations) in 97.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:21:19 2012 Optimize a model with 5830 rows, 2174 columns and 17910 nonzeros Presolve time: 0.02s Presolved: 5830 rows, 2174 columns, 17910 nonzeros Variable types: 0 continuous, 2174 integer (2174 binary) Root relaxation: objective 0.000000e+00, 443 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 386 - 0.00000 - - 0s 0 0 0.00000 0 378 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 1s 0 0 0.00000 0 404 - 0.00000 - - 1s 0 0 0.00000 0 441 - 0.00000 - - 2s 0 0 0.00000 0 505 - 0.00000 - - 2s H 0 0 0.0000000 0.00000 0.0% - 2s Explored 0 nodes (21329 simplex iterations) in 2.95 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