current bounds on the number of colors: 0 -- 199 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:46:34 2012 Optimize a model with 97615 rows, 20685 columns and 311949 nonzeros Presolve time: 0.32s Presolved: 97615 rows, 20685 columns, 311949 nonzeros Variable types: 0 continuous, 20685 integer (20685 binary) Root relaxation: objective 0.000000e+00, 662 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 (1051 simplex iterations) in 0.52 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 -- 99 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:46:35 2012 Optimize a model with 48415 rows, 10735 columns and 154399 nonzeros Presolve time: 0.16s Presolved: 48415 rows, 10735 columns, 154399 nonzeros Variable types: 0 continuous, 10735 integer (10735 binary) Root relaxation: objective 0.000000e+00, 544 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 (919 simplex iterations) in 0.26 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 -- 49 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:46:36 2012 Optimize a model with 23815 rows, 5760 columns and 75624 nonzeros Presolve time: 0.10s Presolved: 23815 rows, 5760 columns, 75624 nonzeros Variable types: 0 continuous, 5760 integer (5760 binary) Root relaxation: objective 0.000000e+00, 430 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 (795 simplex iterations) in 0.14 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:46:37 2012 Optimize a model with 12007 rows, 3372 columns and 37812 nonzeros Presolve time: 0.04s Presolved: 12007 rows, 3372 columns, 37812 nonzeros Variable types: 0 continuous, 3372 integer (3372 binary) Root relaxation: objective 0.000000e+00, 422 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 (781 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 08:46:37 2012 Optimize a model with 6103 rows, 2178 columns and 18906 nonzeros Presolve time: 0.02s Presolved: 6103 rows, 2178 columns, 18906 nonzeros Variable types: 0 continuous, 2178 integer (2178 binary) Root relaxation: objective 0.000000e+00, 416 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 (1912 simplex iterations) in 0.09 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 08:46:37 2012 Optimize a model with 3151 rows, 1581 columns and 9453 nonzeros Presolve time: 0.01s Presolved: 3151 rows, 1581 columns, 9453 nonzeros Variable types: 0 continuous, 1581 integer (1581 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 326 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6296 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 08:46:38 2012 Optimize a model with 4135 rows, 1780 columns and 12604 nonzeros Presolve time: 0.01s Presolved: 4135 rows, 1780 columns, 12604 nonzeros Variable types: 0 continuous, 1780 integer (1780 binary) Root relaxation: objective 0.000000e+00, 452 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 382 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 1s 0 0 0.00000 0 376 - 0.00000 - - 1s 0 0 0.00000 0 368 - 0.00000 - - 2s 0 0 0.00000 0 362 - 0.00000 - - 2s 0 0 0.00000 0 358 - 0.00000 - - 3s 0 0 0.00000 0 342 - 0.00000 - - 3s 0 0 0.00000 0 332 - 0.00000 - - 4s 0 0 0.00000 0 332 - 0.00000 - - 4s 0 0 0.00000 0 339 - 0.00000 - - 5s 0 0 0.00000 0 336 - 0.00000 - - 6s 0 0 0.00000 0 334 - 0.00000 - - 6s 0 0 0.00000 0 338 - 0.00000 - - 7s 0 0 0.00000 0 336 - 0.00000 - - 7s 0 0 0.00000 0 337 - 0.00000 - - 8s 0 0 0.00000 0 330 - 0.00000 - - 8s 0 2 0.00000 0 330 - 0.00000 - - 9s 61 25 infeasible 21 - 0.00000 - 198 10s 603 81 0.00000 16 380 - 0.00000 - 145 15s 607 84 0.00000 9 346 - 0.00000 - 144 21s 610 86 0.00000 27 344 - 0.00000 - 143 26s 612 87 0.00000 17 330 - 0.00000 - 143 30s 615 89 0.00000 16 306 - 0.00000 - 142 37s 617 91 0.00000 22 358 - 0.00000 - 142 40s 799 92 0.00000 20 383 - 0.00000 - 254 45s 1050 51 0.00000 23 346 - 0.00000 - 254 50s 1337 70 0.00000 19 344 - 0.00000 - 251 55s 1644 87 0.00000 22 338 - 0.00000 - 247 60s 1930 75 infeasible 21 - 0.00000 - 247 65s 2213 58 0.00000 23 362 - 0.00000 - 246 70s 2463 60 0.00000 19 377 - 0.00000 - 247 75s 2695 62 infeasible 26 - 0.00000 - 249 80s 2974 55 infeasible 21 - 0.00000 - 248 85s 3197 42 0.00000 18 344 - 0.00000 - 251 90s 3409 38 infeasible 19 - 0.00000 - 252 95s 3623 48 0.00000 24 340 - 0.00000 - 255 100s 3848 41 infeasible 23 - 0.00000 - 257 105s 4100 43 infeasible 28 - 0.00000 - 257 110s 4298 35 infeasible 24 - 0.00000 - 259 115s 4519 20 infeasible 21 - 0.00000 - 259 120s 4716 13 0.00000 19 457 - 0.00000 - 261 125s 4931 24 infeasible 29 - 0.00000 - 261 130s 5132 3 infeasible 23 - 0.00000 - 263 135s Cutting planes: Zero half: 4 Explored 5146 nodes (1420920 simplex iterations) in 135.38 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 08:48:53 2012 Optimize a model with 5119 rows, 1979 columns and 15755 nonzeros Presolve time: 0.01s Presolved: 5119 rows, 1979 columns, 15755 nonzeros Variable types: 0 continuous, 1979 integer (1979 binary) Root relaxation: objective 0.000000e+00, 427 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 350 - 0.00000 - - 0s 0 0 0.00000 0 247 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (8484 simplex iterations) in 1.02 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