current bounds on the number of colors: 0 -- 211 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:55:04 2012 Optimize a model with 119071 rows, 23287 columns and 378735 nonzeros Presolve time: 0.41s Presolved: 119071 rows, 23287 columns, 378735 nonzeros Variable types: 0 continuous, 23287 integer (23287 binary) Root relaxation: objective 0.000000e+00, 560 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 (994 simplex iterations) in 0.73 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:55:07 2012 Optimize a model with 59075 rows, 12104 columns and 187564 nonzeros Presolve time: 0.18s Presolved: 59075 rows, 12104 columns, 187564 nonzeros Variable types: 0 continuous, 12104 integer (12104 binary) Root relaxation: objective 0.000000e+00, 747 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 (1255 simplex iterations) in 0.33 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:55:08 2012 Optimize a model with 29643 rows, 6618 columns and 93782 nonzeros Presolve time: 0.12s Presolved: 29643 rows, 6618 columns, 93782 nonzeros Variable types: 0 continuous, 6618 integer (6618 binary) Root relaxation: objective 0.000000e+00, 452 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 (858 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:55:08 2012 Optimize a model with 14927 rows, 3875 columns and 46891 nonzeros Presolve time: 0.05s Presolved: 14927 rows, 3875 columns, 46891 nonzeros Variable types: 0 continuous, 3875 integer (3875 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 (821 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:55:08 2012 Optimize a model with 7003 rows, 2398 columns and 21642 nonzeros Presolve time: 0.02s Presolved: 7003 rows, 2398 columns, 21642 nonzeros Variable types: 0 continuous, 2398 integer (2398 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3167 simplex iterations) in 0.20 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:55:09 2012 Optimize a model with 3607 rows, 1765 columns and 10821 nonzeros Presolve time: 0.01s Presolved: 3607 rows, 1765 columns, 10821 nonzeros Variable types: 0 continuous, 1765 integer (1765 binary) Root relaxation: objective 0.000000e+00, 506 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 422 - 0.00000 - - 0s 0 0 0.00000 0 420 - 0.00000 - - 0s 0 0 0.00000 0 588 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 51 Zero half: 1432 Explored 0 nodes (10599 simplex iterations) in 1.85 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:55:11 2012 Optimize a model with 4739 rows, 1976 columns and 14428 nonzeros Presolve time: 0.01s Presolved: 4739 rows, 1976 columns, 14428 nonzeros Variable types: 0 continuous, 1976 integer (1976 binary) Root relaxation: objective 0.000000e+00, 477 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 412 - 0.00000 - - 0s 0 0 0.00000 0 402 - 0.00000 - - 0s 0 0 0.00000 0 394 - 0.00000 - - 1s 0 0 0.00000 0 565 - 0.00000 - - 1s 0 0 0.00000 0 378 - 0.00000 - - 3s 0 0 0.00000 0 374 - 0.00000 - - 3s 0 0 0.00000 0 378 - 0.00000 - - 4s 0 0 0.00000 0 372 - 0.00000 - - 5s 0 0 0.00000 0 383 - 0.00000 - - 6s 0 0 0.00000 0 366 - 0.00000 - - 7s 0 0 0.00000 0 364 - 0.00000 - - 8s 0 0 0.00000 0 388 - 0.00000 - - 9s 0 0 0.00000 0 382 - 0.00000 - - 10s 0 0 0.00000 0 369 - 0.00000 - - 12s 0 0 0.00000 0 348 - 0.00000 - - 13s 0 0 0.00000 0 442 - 0.00000 - - 14s 0 0 0.00000 0 442 - 0.00000 - - 14s 0 2 0.00000 0 442 - 0.00000 - - 16s 134 36 infeasible 24 - 0.00000 - 257 20s 319 77 0.00000 17 418 - 0.00000 - 244 25s 601 112 0.00000 21 402 - 0.00000 - 210 30s 605 115 0.00000 17 388 - 0.00000 - 208 36s 607 116 0.00000 21 382 - 0.00000 - 208 40s 609 117 0.00000 16 368 - 0.00000 - 207 46s 611 119 0.00000 16 366 - 0.00000 - 206 52s 613 120 0.00000 17 358 - 0.00000 - 206 56s 615 121 0.00000 21 358 - 0.00000 - 205 62s 616 122 0.00000 22 354 - 0.00000 - 205 65s 645 133 0.00000 23 457 - 0.00000 - 352 70s 746 125 infeasible 25 - 0.00000 - 356 75s 855 105 infeasible 24 - 0.00000 - 359 80s 962 71 0.00000 20 374 - 0.00000 - 364 85s 1068 67 infeasible 29 - 0.00000 - 368 90s 1186 65 infeasible 26 - 0.00000 - 369 95s 1286 57 infeasible 26 - 0.00000 - 374 100s 1382 57 0.00000 26 434 - 0.00000 - 378 105s 1469 46 0.00000 21 378 - 0.00000 - 385 110s 1562 41 infeasible 27 - 0.00000 - 389 115s 1640 19 0.00000 22 508 - 0.00000 - 396 120s 1728 17 0.00000 22 509 - 0.00000 - 398 125s 1812 5 0.00000 20 396 - 0.00000 - 403 130s 1925 2 infeasible 22 - 0.00000 - 402 135s Cutting planes: Gomory: 1 Zero half: 26 Explored 1930 nodes (866577 simplex iterations) in 135.26 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:57:26 2012 Optimize a model with 5871 rows, 2187 columns and 18035 nonzeros Presolve time: 0.02s Presolved: 5871 rows, 2187 columns, 18035 nonzeros Variable types: 0 continuous, 2187 integer (2187 binary) Root relaxation: objective 0.000000e+00, 449 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 214 - 0.00000 - - 0s 0 0 0.00000 0 210 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 1s 0 0 0.00000 0 348 - 0.00000 - - 1s 0 0 0.00000 0 324 - 0.00000 - - 2s 0 0 0.00000 0 332 - 0.00000 - - 2s 0 0 0.00000 0 330 - 0.00000 - - 2s 0 0 0.00000 0 318 - 0.00000 - - 3s 0 0 0.00000 0 316 - 0.00000 - - 3s 0 0 0.00000 0 318 - 0.00000 - - 3s 0 0 0.00000 0 316 - 0.00000 - - 4s 0 0 0.00000 0 304 - 0.00000 - - 4s 0 0 0.00000 0 298 - 0.00000 - - 5s 0 0 0.00000 0 300 - 0.00000 - - 5s 0 0 0.00000 0 288 - 0.00000 - - 5s 0 0 0.00000 0 281 - 0.00000 - - 6s 0 0 0.00000 0 262 - 0.00000 - - 6s 0 0 0.00000 0 258 - 0.00000 - - 7s 0 0 0.00000 0 252 - 0.00000 - - 7s 0 0 0.00000 0 238 - 0.00000 - - 7s 0 0 0.00000 0 240 - 0.00000 - - 8s * 0 0 0 0.0000000 0.00000 0.0% - 8s Cutting planes: Zero half: 7 Explored 0 nodes (74982 simplex iterations) in 8.57 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