current bounds on the number of colors: 0 -- 197 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:54:36 2012 Optimize a model with 95453 rows, 20278 columns and 305074 nonzeros Presolve time: 0.31s Presolved: 95453 rows, 20278 columns, 305074 nonzeros Variable types: 0 continuous, 20278 integer (20278 binary) Root relaxation: objective 0.000000e+00, 801 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 (1272 simplex iterations) in 0.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% current bounds on the number of colors: 0 -- 98 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:54:37 2012 Optimize a model with 47825 rows, 10625 columns and 152537 nonzeros Presolve time: 0.16s Presolved: 47825 rows, 10625 columns, 152537 nonzeros Variable types: 0 continuous, 10625 integer (10625 binary) Root relaxation: objective 0.000000e+00, 550 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 (1189 simplex iterations) in 0.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% current bounds on the number of colors: 0 -- 49 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:54:38 2012 Optimize a model with 23525 rows, 5700 columns and 74712 nonzeros Presolve time: 0.10s Presolved: 23525 rows, 5700 columns, 74712 nonzeros Variable types: 0 continuous, 5700 integer (5700 binary) Root relaxation: objective 0.000000e+00, 459 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 (839 simplex iterations) in 0.14 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:54:39 2012 Optimize a model with 11861 rows, 3336 columns and 37356 nonzeros Presolve time: 0.04s Presolved: 11861 rows, 3336 columns, 37356 nonzeros Variable types: 0 continuous, 3336 integer (3336 binary) Root relaxation: objective 0.000000e+00, 414 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 (783 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 07:54:39 2012 Optimize a model with 6029 rows, 2154 columns and 18678 nonzeros Presolve time: 0.02s Presolved: 6029 rows, 2154 columns, 18678 nonzeros Variable types: 0 continuous, 2154 integer (2154 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 (1978 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 07:54:39 2012 Optimize a model with 3113 rows, 1563 columns and 9339 nonzeros Presolve time: 0.01s Presolved: 3113 rows, 1563 columns, 9339 nonzeros Variable types: 0 continuous, 1563 integer (1563 binary) Root relaxation: objective 0.000000e+00, 457 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 392 - 0.00000 - - 0s 0 0 0.00000 0 543 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 17 Zero half: 1259 Explored 0 nodes (9446 simplex iterations) in 1.34 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 07:54:41 2012 Optimize a model with 4085 rows, 1760 columns and 12452 nonzeros Presolve time: 0.01s Presolved: 4085 rows, 1760 columns, 12452 nonzeros Variable types: 0 continuous, 1760 integer (1760 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.00000 0 374 - 0.00000 - - 0s 0 0 0.00000 0 378 - 0.00000 - - 0s 0 0 0.00000 0 354 - 0.00000 - - 1s 0 0 0.00000 0 424 - 0.00000 - - 1s 0 0 0.00000 0 340 - 0.00000 - - 2s 0 0 0.00000 0 358 - 0.00000 - - 2s 0 0 0.00000 0 334 - 0.00000 - - 3s 0 0 0.00000 0 334 - 0.00000 - - 3s 0 0 0.00000 0 330 - 0.00000 - - 4s 0 0 0.00000 0 335 - 0.00000 - - 5s 0 0 0.00000 0 325 - 0.00000 - - 6s 0 0 0.00000 0 326 - 0.00000 - - 6s 0 0 0.00000 0 326 - 0.00000 - - 6s 0 2 0.00000 0 326 - 0.00000 - - 7s 197 50 infeasible 28 - 0.00000 - 157 10s 808 84 infeasible 17 - 0.00000 - 130 15s 906 95 0.00000 21 342 - 0.00000 - 130 21s 908 97 0.00000 25 340 - 0.00000 - 129 25s 911 99 0.00000 21 308 - 0.00000 - 129 30s 914 101 0.00000 2 290 - 0.00000 - 128 36s 918 103 infeasible 15 - 0.00000 - 202 40s 977 105 0.00000 21 336 - 0.00000 - 204 45s 1187 91 0.00000 30 370 - 0.00000 - 211 50s 1401 76 infeasible 28 - 0.00000 - 221 55s 1618 83 0.00000 28 348 - 0.00000 - 228 60s 1869 72 0.00000 25 368 - 0.00000 - 230 65s 2088 43 infeasible 27 - 0.00000 - 236 70s 2298 41 infeasible 23 - 0.00000 - 239 75s 2485 52 infeasible 29 - 0.00000 - 244 80s 2668 57 0.00000 30 461 - 0.00000 - 248 85s 2858 35 infeasible 27 - 0.00000 - 252 90s 3049 8 infeasible 27 - 0.00000 - 255 95s Cutting planes: Gomory: 1 Zero half: 16 Explored 3078 nodes (840438 simplex iterations) in 96.09 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 07:56:17 2012 Optimize a model with 5057 rows, 1957 columns and 15565 nonzeros Presolve time: 0.01s Presolved: 5057 rows, 1957 columns, 15565 nonzeros Variable types: 0 continuous, 1957 integer (1957 binary) Root relaxation: objective 0.000000e+00, 435 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 350 - 0.00000 - - 0s 0 0 0.00000 0 348 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (8434 simplex iterations) in 0.85 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