current bounds on the number of colors: 0 -- 125 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:38:45 2012 Optimize a model with 47803 rows, 8519 columns and 150784 nonzeros Presolve time: 0.16s Presolved: 47803 rows, 8519 columns, 150784 nonzeros Variable types: 0 continuous, 8519 integer (8519 binary) Root relaxation: objective 0.000000e+00, 330 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 (614 simplex iterations) in 0.28 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 -- 62 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:38:46 2012 Optimize a model with 23964 rows, 4644 columns and 75392 nonzeros Presolve time: 0.10s Presolved: 23964 rows, 4644 columns, 75392 nonzeros Variable types: 0 continuous, 4644 integer (4644 binary) Root relaxation: objective 0.000000e+00, 299 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 (554 simplex iterations) in 0.16 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 -- 31 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:38:46 2012 Optimize a model with 11660 rows, 2644 columns and 36480 nonzeros Presolve time: 0.04s Presolved: 11660 rows, 2644 columns, 36480 nonzeros Variable types: 0 continuous, 2644 integer (2644 binary) Root relaxation: objective 0.000000e+00, 253 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 (502 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 -- 15 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:38:46 2012 Optimize a model with 5508 rows, 1644 columns and 17024 nonzeros Presolve time: 0.01s Presolved: 5508 rows, 1644 columns, 17024 nonzeros Variable types: 0 continuous, 1644 integer (1644 binary) Root relaxation: objective 0.000000e+00, 281 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 80 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1430 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:38:46 2012 Optimize a model with 2432 rows, 1144 columns and 7296 nonzeros Presolve time: 0.01s Presolved: 2432 rows, 1144 columns, 7296 nonzeros Variable types: 0 continuous, 1144 integer (1144 binary) Root relaxation: objective 0.000000e+00, 291 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 208 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 5 Clique: 317 Zero half: 407 Explored 0 nodes (1692 simplex iterations) in 0.11 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:38:47 2012 Optimize a model with 3970 rows, 1394 columns and 12160 nonzeros Presolve time: 0.01s Presolved: 3970 rows, 1394 columns, 12160 nonzeros Variable types: 0 continuous, 1394 integer (1394 binary) Root relaxation: objective 0.000000e+00, 275 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 242 - 0.00000 - - 0s 0 0 0.00000 0 220 - 0.00000 - - 0s 0 0 0.00000 0 269 - 0.00000 - - 0s 0 0 0.00000 0 345 - 0.00000 - - 0s 0 0 0.00000 0 318 - 0.00000 - - 1s 0 0 0.00000 0 262 - 0.00000 - - 2s 0 0 0.00000 0 266 - 0.00000 - - 2s 0 0 0.00000 0 283 - 0.00000 - - 3s 0 0 0.00000 0 345 - 0.00000 - - 3s 0 0 0.00000 0 345 - 0.00000 - - 3s 0 2 0.00000 0 343 - 0.00000 - - 4s 106 59 0.00000 16 207 - 0.00000 - 105 5s 707 123 0.00000 28 302 - 0.00000 - 64.3 10s 714 130 0.00000 15 261 - 0.00000 - 100 15s 1004 131 infeasible 27 - 0.00000 - 130 20s 1321 156 infeasible 30 - 0.00000 - 152 25s 1682 213 infeasible 31 - 0.00000 - 162 30s 2034 263 infeasible 31 - 0.00000 - 169 35s 2345 282 0.00000 36 268 - 0.00000 - 177 40s 2629 330 infeasible 37 - 0.00000 - 183 45s 2929 372 infeasible 29 - 0.00000 - 187 50s 3226 453 0.00000 33 248 - 0.00000 - 190 55s 3537 458 infeasible 28 - 0.00000 - 193 60s 3841 504 infeasible 40 - 0.00000 - 196 65s 4135 540 0.00000 39 278 - 0.00000 - 198 70s 4428 559 0.00000 26 286 - 0.00000 - 200 75s 4752 593 infeasible 31 - 0.00000 - 202 80s 5089 598 0.00000 30 271 - 0.00000 - 203 85s 5362 621 0.00000 32 261 - 0.00000 - 205 90s 5636 617 0.00000 29 259 - 0.00000 - 207 95s 5951 628 0.00000 32 236 - 0.00000 - 209 100s * 6099 1 30 0.0000000 0.00000 0.0% 209 102s Cutting planes: Gomory: 2 Clique: 2 Zero half: 11 Explored 6100 nodes (1301962 simplex iterations) in 102.23 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 22:40:29 2012 Optimize a model with 3201 rows, 1269 columns and 9728 nonzeros Presolve time: 0.01s Presolved: 3201 rows, 1269 columns, 9728 nonzeros Variable types: 0 continuous, 1269 integer (1269 binary) Root relaxation: objective 0.000000e+00, 270 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 246 - 0.00000 - - 0s 0 0 0.00000 0 217 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 1s 0 0 0.00000 0 378 - 0.00000 - - 1s 0 0 0.00000 0 367 - 0.00000 - - 2s 0 0 0.00000 0 366 - 0.00000 - - 2s 0 0 0.00000 0 362 - 0.00000 - - 3s 0 0 0.00000 0 360 - 0.00000 - - 4s 0 0 0.00000 0 357 - 0.00000 - - 4s 0 0 0.00000 0 356 - 0.00000 - - 5s 0 0 0.00000 0 356 - 0.00000 - - 5s 0 0 0.00000 0 366 - 0.00000 - - 6s 0 0 0.00000 0 359 - 0.00000 - - 6s 0 0 0.00000 0 356 - 0.00000 - - 7s 0 0 0.00000 0 354 - 0.00000 - - 8s 0 0 0.00000 0 367 - 0.00000 - - 8s 0 0 0.00000 0 367 - 0.00000 - - 8s 0 2 0.00000 0 367 - 0.00000 - - 9s 12 2 0.00000 2 371 - 0.00000 - 461 10s Cutting planes: Clique: 29 Zero half: 24 Explored 15 nodes (50090 simplex iterations) in 10.08 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