current bounds on the number of colors: 0 -- 187 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:02:05 2012 Optimize a model with 83980 rows, 18292 columns and 268770 nonzeros Presolve time: 0.26s Presolved: 83980 rows, 18292 columns, 268770 nonzeros Variable types: 0 continuous, 18292 integer (18292 binary) Root relaxation: objective 0.000000e+00, 675 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 (1316 simplex iterations) in 0.52 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 -- 93 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:02:07 2012 Optimize a model with 41633 rows, 9503 columns and 132940 nonzeros Presolve time: 0.16s Presolved: 41633 rows, 9503 columns, 132940 nonzeros Variable types: 0 continuous, 9503 integer (9503 binary) Root relaxation: objective 0.000000e+00, 520 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 (900 simplex iterations) in 0.24 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 -- 46 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:02:07 2012 Optimize a model with 20910 rows, 5202 columns and 66470 nonzeros Presolve time: 0.08s Presolved: 20910 rows, 5202 columns, 66470 nonzeros Variable types: 0 continuous, 5202 integer (5202 binary) Root relaxation: objective 0.000000e+00, 383 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 (721 simplex iterations) in 0.12 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:02:08 2012 Optimize a model with 10098 rows, 2958 columns and 31790 nonzeros Presolve time: 0.03s Presolved: 10098 rows, 2958 columns, 31790 nonzeros Variable types: 0 continuous, 2958 integer (2958 binary) Root relaxation: objective 0.000000e+00, 381 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 (737 simplex iterations) in 0.06 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:02:08 2012 Optimize a model with 4692 rows, 1836 columns and 14450 nonzeros Presolve time: 0.01s Presolved: 4692 rows, 1836 columns, 14450 nonzeros Variable types: 0 continuous, 1836 integer (1836 binary) Root relaxation: objective 0.000000e+00, 408 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 217 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3964 simplex iterations) in 0.30 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:02:08 2012 Optimize a model with 1989 rows, 1275 columns and 5780 nonzeros Presolve removed 187 rows and 187 columns Presolve time: 0.01s Presolved: 1802 rows, 1088 columns, 5406 nonzeros Variable types: 0 continuous, 1088 integer (1088 binary) Root relaxation: objective 0.000000e+00, 200 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 187 - 0.00000 - - 0s Explored 0 nodes (789 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:02:08 2012 Optimize a model with 2890 rows, 1462 columns and 8670 nonzeros Presolve time: 0.01s Presolved: 2890 rows, 1462 columns, 8670 nonzeros Variable types: 0 continuous, 1462 integer (1462 binary) Root relaxation: objective 0.000000e+00, 417 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 372 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 0s 0 0 0.00000 0 511 - 0.00000 - - 0s 0 0 0.00000 0 529 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 1 Zero half: 1037 Explored 0 nodes (7902 simplex iterations) in 1.37 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:02:10 2012 Optimize a model with 3791 rows, 1649 columns and 11560 nonzeros Presolve time: 0.01s Presolved: 3791 rows, 1649 columns, 11560 nonzeros Variable types: 0 continuous, 1649 integer (1649 binary) Root relaxation: objective 0.000000e+00, 411 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 358 - 0.00000 - - 0s 0 0 0.00000 0 348 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 0s 0 0 0.00000 0 397 - 0.00000 - - 0s 0 0 0.00000 0 343 - 0.00000 - - 1s 0 0 0.00000 0 334 - 0.00000 - - 1s 0 0 0.00000 0 328 - 0.00000 - - 2s 0 0 0.00000 0 318 - 0.00000 - - 2s 0 0 0.00000 0 302 - 0.00000 - - 3s 0 0 0.00000 0 300 - 0.00000 - - 3s 0 0 0.00000 0 294 - 0.00000 - - 4s 0 0 0.00000 0 288 - 0.00000 - - 4s 0 0 0.00000 0 264 - 0.00000 - - 4s 0 0 0.00000 0 278 - 0.00000 - - 5s 0 0 0.00000 0 248 - 0.00000 - - 6s 0 0 0.00000 0 248 - 0.00000 - - 6s 0 0 0.00000 0 250 - 0.00000 - - 7s 0 0 0.00000 0 250 - 0.00000 - - 7s 0 2 0.00000 0 250 - 0.00000 - - 8s 163 23 infeasible 16 - 0.00000 - 122 10s 705 34 0.00000 19 336 - 0.00000 - 102 16s 708 36 0.00000 12 313 - 0.00000 - 101 20s 712 38 0.00000 2 284 - 0.00000 - 101 27s 745 50 0.00000 27 438 - 0.00000 - 171 30s 952 45 infeasible 24 - 0.00000 - 198 35s 1165 34 0.00000 24 340 - 0.00000 - 214 40s 1362 29 infeasible 25 - 0.00000 - 227 45s 1566 19 infeasible 25 - 0.00000 - 236 50s 1779 24 0.00000 22 441 - 0.00000 - 241 55s 1991 34 infeasible 25 - 0.00000 - 246 60s 2210 37 infeasible 27 - 0.00000 - 249 65s 2461 50 infeasible 30 - 0.00000 - 250 70s 2689 50 0.00000 24 343 - 0.00000 - 252 75s 2878 47 0.00000 27 332 - 0.00000 - 256 80s 3084 45 0.00000 28 330 - 0.00000 - 259 85s 3322 39 0.00000 27 427 - 0.00000 - 260 90s 3532 33 infeasible 25 - 0.00000 - 262 95s 3742 29 infeasible 27 - 0.00000 - 263 100s 3966 29 infeasible 24 - 0.00000 - 264 105s 4207 32 infeasible 33 - 0.00000 - 264 110s 4444 47 infeasible 29 - 0.00000 - 264 115s 4654 43 infeasible 30 - 0.00000 - 267 120s 4864 33 infeasible 30 - 0.00000 - 268 125s 5108 31 infeasible 27 - 0.00000 - 268 130s 5324 31 0.00000 30 324 - 0.00000 - 269 135s 5534 23 0.00000 30 432 - 0.00000 - 270 140s 5740 5 infeasible 29 - 0.00000 - 271 145s Cutting planes: Gomory: 1 Zero half: 13 Explored 5774 nodes (1624961 simplex iterations) in 145.84 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5