current bounds on the number of colors: 0 -- 208 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:38:18 2012 Optimize a model with 111280 rows, 22700 columns and 354848 nonzeros Presolve time: 0.38s Presolved: 111280 rows, 22700 columns, 354848 nonzeros Variable types: 0 continuous, 22700 integer (22700 binary) Root relaxation: objective 0.000000e+00, 919 iterations, 0.13 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 (1442 simplex iterations) in 0.67 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 -- 104 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:38:20 2012 Optimize a model with 55744 rows, 11884 columns and 177424 nonzeros Presolve time: 0.17s Presolved: 55744 rows, 11884 columns, 177424 nonzeros Variable types: 0 continuous, 11884 integer (11884 binary) Root relaxation: objective 0.000000e+00, 831 iterations, 0.07 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 (1297 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 12:38:21 2012 Optimize a model with 27976 rows, 6476 columns and 88712 nonzeros Presolve time: 0.12s Presolved: 27976 rows, 6476 columns, 88712 nonzeros Variable types: 0 continuous, 6476 integer (6476 binary) Root relaxation: objective 0.000000e+00, 488 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 (872 simplex iterations) in 0.17 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 12:38:22 2012 Optimize a model with 14092 rows, 3772 columns and 44356 nonzeros Presolve time: 0.05s Presolved: 14092 rows, 3772 columns, 44356 nonzeros Variable types: 0 continuous, 3772 integer (3772 binary) Root relaxation: objective 0.000000e+00, 439 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 (845 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 12:38:22 2012 Optimize a model with 6616 rows, 2316 columns and 20472 nonzeros Presolve time: 0.02s Presolved: 6616 rows, 2316 columns, 20472 nonzeros Variable types: 0 continuous, 2316 integer (2316 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2290 simplex iterations) in 0.11 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 12:38:22 2012 Optimize a model with 3412 rows, 1692 columns and 10236 nonzeros Presolve time: 0.01s Presolved: 3412 rows, 1692 columns, 10236 nonzeros Variable types: 0 continuous, 1692 integer (1692 binary) Root relaxation: objective 0.000000e+00, 450 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 322 - 0.00000 - - 0s 0 0 0.00000 0 474 - 0.00000 - - 0s 0 0 0.00000 0 552 - 0.00000 - - 1s 0 0 0.00000 0 558 - 0.00000 - - 1s 0 0 0.00000 0 558 - 0.00000 - - 2s 0 0 infeasible 0 - 0.10000 - - 3s Cutting planes: Zero half: 1188 Explored 0 nodes (17835 simplex iterations) in 3.33 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 12:38:26 2012 Optimize a model with 4480 rows, 1900 columns and 13648 nonzeros Presolve time: 0.01s Presolved: 4480 rows, 1900 columns, 13648 nonzeros Variable types: 0 continuous, 1900 integer (1900 binary) Root relaxation: objective 0.000000e+00, 445 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 400 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 0s 0 0 0.00000 0 408 - 0.00000 - - 1s 0 0 0.00000 0 416 - 0.00000 - - 1s 0 0 0.00000 0 408 - 0.00000 - - 1s 0 0 0.00000 0 402 - 0.00000 - - 2s 0 0 0.00000 0 402 - 0.00000 - - 3s 0 0 0.00000 0 392 - 0.00000 - - 3s 0 0 0.00000 0 392 - 0.00000 - - 4s 0 0 0.00000 0 380 - 0.00000 - - 4s 0 0 0.00000 0 382 - 0.00000 - - 5s 0 0 0.00000 0 380 - 0.00000 - - 5s 0 0 0.00000 0 368 - 0.00000 - - 6s 0 0 0.00000 0 368 - 0.00000 - - 7s 0 0 0.00000 0 368 - 0.00000 - - 7s 0 2 0.00000 0 368 - 0.00000 - - 8s 130 18 0.00000 16 445 - 0.00000 - 179 10s 601 111 0.00000 15 390 - 0.00000 - 147 15s 607 115 0.00000 17 404 - 0.00000 - 145 21s 610 117 0.00000 18 398 - 0.00000 - 145 27s 612 118 0.00000 8 388 - 0.00000 - 144 30s 668 130 infeasible 23 - 0.00000 - 238 35s 921 80 infeasible 31 - 0.00000 - 236 40s 1128 63 infeasible 30 - 0.00000 - 244 45s 1353 72 infeasible 26 - 0.00000 - 248 50s 1551 92 infeasible 25 - 0.00000 - 254 55s 1733 96 0.00000 23 374 - 0.00000 - 259 60s 1932 93 0.00000 29 370 - 0.00000 - 262 65s 2153 104 0.00000 24 386 - 0.00000 - 261 70s 2381 110 0.00000 17 382 - 0.00000 - 261 75s 2593 96 infeasible 22 - 0.00000 - 263 80s 2773 74 0.00000 20 388 - 0.00000 - 266 85s 2972 71 0.00000 21 374 - 0.00000 - 267 90s 3179 92 infeasible 28 - 0.00000 - 268 95s 3410 95 infeasible 34 - 0.00000 - 267 100s 3624 113 infeasible 26 - 0.00000 - 267 105s 3850 115 infeasible 23 - 0.00000 - 267 110s 4056 99 infeasible 23 - 0.00000 - 268 115s 4294 81 0.00000 22 393 - 0.00000 - 267 120s 4518 87 0.00000 19 413 - 0.00000 - 267 125s 4708 61 0.00000 25 399 - 0.00000 - 269 130s 4865 30 infeasible 28 - 0.00000 - 272 135s 4991 2 infeasible 21 - 0.00000 - 275 140s Cutting planes: Gomory: 1 Zero half: 25 Explored 4994 nodes (1428935 simplex iterations) in 140.05 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 12:40:46 2012 Optimize a model with 5548 rows, 2108 columns and 17060 nonzeros Presolve time: 0.02s Presolved: 5548 rows, 2108 columns, 17060 nonzeros Variable types: 0 continuous, 2108 integer (2108 binary) Root relaxation: objective 0.000000e+00, 450 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 314 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 7 Clique: 27 Zero half: 154 Explored 0 nodes (6421 simplex iterations) in 0.67 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