current bounds on the number of colors: 0 -- 205 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:05:27 2012 Optimize a model with 109753 rows, 21984 columns and 349554 nonzeros Presolve time: 0.37s Presolved: 109753 rows, 21984 columns, 349554 nonzeros Variable types: 0 continuous, 21984 integer (21984 binary) Root relaxation: objective 0.000000e+00, 768 iterations, 0.08 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 (1227 simplex iterations) in 0.62 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 -- 102 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:05:29 2012 Optimize a model with 54979 rows, 11529 columns and 174777 nonzeros Presolve time: 0.17s Presolved: 54979 rows, 11529 columns, 174777 nonzeros Variable types: 0 continuous, 11529 integer (11529 binary) Root relaxation: objective 0.000000e+00, 711 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 (1225 simplex iterations) in 0.31 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 11:05:30 2012 Optimize a model with 27055 rows, 6199 columns and 85675 nonzeros Presolve time: 0.11s Presolved: 27055 rows, 6199 columns, 85675 nonzeros Variable types: 0 continuous, 6199 integer (6199 binary) Root relaxation: objective 0.000000e+00, 470 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 (914 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 11:05:30 2012 Optimize a model with 13093 rows, 3534 columns and 41124 nonzeros Presolve time: 0.04s Presolved: 13093 rows, 3534 columns, 41124 nonzeros Variable types: 0 continuous, 3534 integer (3534 binary) Root relaxation: objective 0.000000e+00, 437 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 (837 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 11:05:31 2012 Optimize a model with 6649 rows, 2304 columns and 20562 nonzeros Presolve time: 0.02s Presolved: 6649 rows, 2304 columns, 20562 nonzeros Variable types: 0 continuous, 2304 integer (2304 binary) Root relaxation: objective 0.000000e+00, 444 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 (2420 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 11:05:31 2012 Optimize a model with 3427 rows, 1689 columns and 10281 nonzeros Presolve time: 0.01s Presolved: 3427 rows, 1689 columns, 10281 nonzeros Variable types: 0 continuous, 1689 integer (1689 binary) Root relaxation: objective 0.000000e+00, 456 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 406 - 0.00000 - - 0s 0 0 0.00000 0 408 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5458 simplex iterations) in 0.79 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 11:05:32 2012 Optimize a model with 4501 rows, 1894 columns and 13708 nonzeros Presolve time: 0.01s Presolved: 4501 rows, 1894 columns, 13708 nonzeros Variable types: 0 continuous, 1894 integer (1894 binary) Root relaxation: objective 0.000000e+00, 446 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 384 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 1s 0 0 0.00000 0 481 - 0.00000 - - 1s 0 0 0.00000 0 374 - 0.00000 - - 2s 0 0 0.00000 0 372 - 0.00000 - - 3s 0 0 0.00000 0 371 - 0.00000 - - 3s 0 0 0.00000 0 373 - 0.00000 - - 4s 0 0 0.00000 0 375 - 0.00000 - - 5s 0 0 0.00000 0 397 - 0.00000 - - 6s 0 0 0.00000 0 397 - 0.00000 - - 6s 0 2 0.00000 0 396 - 0.00000 - - 7s 153 33 0.00000 10 451 - 0.00000 - 191 10s 577 58 infeasible 21 - 0.00000 - 160 15s 977 61 0.00000 7 380 - 0.00000 - 155 20s 1105 85 0.00000 20 366 - 0.00000 - 156 27s 1107 86 0.00000 11 344 - 0.00000 - 156 31s 1109 87 0.00000 11 357 - 0.00000 - 155 36s 1111 89 0.00000 15 326 - 0.00000 - 155 41s 1113 90 0.00000 17 306 - 0.00000 - 155 46s 1115 91 0.00000 13 318 - 0.00000 - 155 51s 1122 96 0.00000 18 421 - 0.00000 - 224 55s 1167 102 infeasible 25 - 0.00000 - 228 60s 1295 79 0.00000 28 378 - 0.00000 - 238 65s 1450 37 0.00000 25 384 - 0.00000 - 246 70s 1577 18 0.00000 25 396 - 0.00000 - 256 75s 1696 19 0.00000 24 445 - 0.00000 - 263 80s 1851 16 infeasible 33 - 0.00000 - 267 85s 1958 9 0.00000 25 489 - 0.00000 - 275 90s Cutting planes: Zero half: 23 Explored 2004 nodes (601447 simplex iterations) in 92.13 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 11:07:04 2012 Optimize a model with 5575 rows, 2099 columns and 17135 nonzeros Presolve time: 0.01s Presolved: 5575 rows, 2099 columns, 17135 nonzeros Variable types: 0 continuous, 2099 integer (2099 binary) Root relaxation: objective 0.000000e+00, 444 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 384 - 0.00000 - - 0s 0 0 0.00000 0 364 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 1s 0 0 0.00000 0 350 - 0.00000 - - 1s 0 0 0.00000 0 338 - 0.00000 - - 1s 0 0 0.00000 0 332 - 0.00000 - - 2s 0 0 0.00000 0 322 - 0.00000 - - 2s * 0 0 0 0.0000000 0.00000 0.0% - 2s Cutting planes: Zero half: 214 Explored 0 nodes (21546 simplex iterations) in 2.47 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