current bounds on the number of colors: 0 -- 206 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:00:25 2012 Optimize a model with 111446 rows, 22298 columns and 354938 nonzeros Presolve time: 0.37s Presolved: 111446 rows, 22298 columns, 354938 nonzeros Variable types: 0 continuous, 22298 integer (22298 binary) Root relaxation: objective 0.000000e+00, 900 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 (1370 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 -- 103 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:00:27 2012 Optimize a model with 55286 rows, 11586 columns and 175746 nonzeros Presolve time: 0.17s Presolved: 55286 rows, 11586 columns, 175746 nonzeros Variable types: 0 continuous, 11586 integer (11586 binary) Root relaxation: objective 0.000000e+00, 705 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 (1180 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 -- 51 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:00:28 2012 Optimize a model with 27206 rows, 6230 columns and 86150 nonzeros Presolve time: 0.11s Presolved: 27206 rows, 6230 columns, 86150 nonzeros Variable types: 0 continuous, 6230 integer (6230 binary) Root relaxation: objective 0.000000e+00, 494 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 (893 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 12:00:28 2012 Optimize a model with 13166 rows, 3552 columns and 41352 nonzeros Presolve time: 0.04s Presolved: 13166 rows, 3552 columns, 41352 nonzeros Variable types: 0 continuous, 3552 integer (3552 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (815 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 12:00:28 2012 Optimize a model with 6686 rows, 2316 columns and 20676 nonzeros Presolve time: 0.02s Presolved: 6686 rows, 2316 columns, 20676 nonzeros Variable types: 0 continuous, 2316 integer (2316 binary) Root relaxation: objective 0.000000e+00, 461 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 118 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3374 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 12:00:29 2012 Optimize a model with 3446 rows, 1698 columns and 10338 nonzeros Presolve time: 0.01s Presolved: 3446 rows, 1698 columns, 10338 nonzeros Variable types: 0 continuous, 1698 integer (1698 binary) Root relaxation: objective 0.000000e+00, 464 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 406 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5984 simplex iterations) in 0.84 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:00:30 2012 Optimize a model with 4526 rows, 1904 columns and 13784 nonzeros Presolve time: 0.01s Presolved: 4526 rows, 1904 columns, 13784 nonzeros Variable types: 0 continuous, 1904 integer (1904 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 390 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 1s 0 0 0.00000 0 575 - 0.00000 - - 1s 0 0 0.00000 0 376 - 0.00000 - - 2s 0 0 0.00000 0 362 - 0.00000 - - 3s 0 0 0.00000 0 391 - 0.00000 - - 4s 0 0 0.00000 0 350 - 0.00000 - - 5s 0 0 0.00000 0 338 - 0.00000 - - 5s 0 0 0.00000 0 338 - 0.00000 - - 6s 0 0 0.00000 0 334 - 0.00000 - - 7s 0 0 0.00000 0 345 - 0.00000 - - 8s 0 0 0.00000 0 345 - 0.00000 - - 9s 0 2 0.00000 0 345 - 0.00000 - - 10s 197 71 0.00000 16 356 - 0.00000 - 200 15s 496 76 0.00000 14 358 - 0.00000 - 190 20s 704 86 0.00000 5 568 - 0.00000 - 192 26s 705 87 0.00000 17 410 - 0.00000 - 192 30s 707 88 0.00000 7 438 - 0.00000 - 191 36s 709 89 0.00000 13 345 - 0.00000 - 191 41s 711 91 0.00000 16 322 - 0.00000 - 190 46s 714 93 0.00000 7 338 - 0.00000 - 189 50s 722 98 0.00000 19 516 - 0.00000 - 278 55s 786 93 0.00000 24 449 - 0.00000 - 285 60s 907 51 infeasible 29 - 0.00000 - 294 65s 1008 16 0.00000 24 370 - 0.00000 - 304 70s 1113 17 infeasible 29 - 0.00000 - 314 75s 1219 21 infeasible 26 - 0.00000 - 322 80s 1317 17 infeasible 26 - 0.00000 - 329 85s 1418 8 infeasible 25 - 0.00000 - 337 90s Cutting planes: Clique: 1 Zero half: 15 Explored 1507 nodes (575636 simplex iterations) in 94.75 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:02:04 2012 Optimize a model with 5606 rows, 2110 columns and 17230 nonzeros Presolve time: 0.02s Presolved: 5606 rows, 2110 columns, 17230 nonzeros Variable types: 0 continuous, 2110 integer (2110 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 380 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 1s 0 0 0.00000 0 344 - 0.00000 - - 1s 0 0 0.00000 0 348 - 0.00000 - - 1s 0 0 0.00000 0 330 - 0.00000 - - 2s * 0 0 0 0.0000000 0.00000 0.0% - 2s Cutting planes: Zero half: 226 Explored 0 nodes (21186 simplex iterations) in 2.36 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