current bounds on the number of colors: 0 -- 194 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:44:47 2012 Optimize a model with 93411 rows, 19779 columns and 298469 nonzeros Presolve time: 0.30s Presolved: 93411 rows, 19779 columns, 298469 nonzeros Variable types: 0 continuous, 19779 integer (19779 binary) Root relaxation: objective 0.000000e+00, 766 iterations, 0.10 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 (1223 simplex iterations) in 0.53 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 -- 97 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:44:49 2012 Optimize a model with 46322 rows, 10273 columns and 147696 nonzeros Presolve time: 0.16s Presolved: 46322 rows, 10273 columns, 147696 nonzeros Variable types: 0 continuous, 10273 integer (10273 binary) Root relaxation: objective 0.000000e+00, 677 iterations, 0.05 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 (1143 simplex iterations) in 0.27 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 -- 48 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:44:50 2012 Optimize a model with 23258 rows, 5617 columns and 73848 nonzeros Presolve time: 0.09s Presolved: 23258 rows, 5617 columns, 73848 nonzeros Variable types: 0 continuous, 5617 integer (5617 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 (886 simplex iterations) in 0.15 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 06:44:50 2012 Optimize a model with 11726 rows, 3289 columns and 36924 nonzeros Presolve time: 0.04s Presolved: 11726 rows, 3289 columns, 36924 nonzeros Variable types: 0 continuous, 3289 integer (3289 binary) Root relaxation: objective 0.000000e+00, 408 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 06:44:50 2012 Optimize a model with 5960 rows, 2125 columns and 18462 nonzeros Presolve time: 0.02s Presolved: 5960 rows, 2125 columns, 18462 nonzeros Variable types: 0 continuous, 2125 integer (2125 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 (1762 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:44:50 2012 Optimize a model with 3077 rows, 1543 columns and 9231 nonzeros Presolve time: 0.01s Presolved: 3077 rows, 1543 columns, 9231 nonzeros Variable types: 0 continuous, 1543 integer (1543 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 384 - 0.00000 - - 0s 0 0 0.00000 0 384 - 0.00000 - - 0s 0 0 0.00000 0 508 - 0.00000 - - 1s 0 0 0.00000 0 548 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 1 Zero half: 1041 Explored 0 nodes (9352 simplex iterations) in 1.57 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 06:44:52 2012 Optimize a model with 4038 rows, 1737 columns and 12308 nonzeros Presolve time: 0.01s Presolved: 4038 rows, 1737 columns, 12308 nonzeros Variable types: 0 continuous, 1737 integer (1737 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.00000 0 374 - 0.00000 - - 0s 0 0 0.00000 0 372 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 1s 0 0 0.00000 0 501 - 0.00000 - - 1s 0 0 0.00000 0 477 - 0.00000 - - 2s 0 0 0.00000 0 341 - 0.00000 - - 3s 0 0 0.00000 0 334 - 0.00000 - - 4s 0 0 0.00000 0 300 - 0.00000 - - 4s 0 0 0.00000 0 290 - 0.00000 - - 5s 0 0 0.00000 0 318 - 0.00000 - - 6s 0 0 0.00000 0 280 - 0.00000 - - 6s 0 0 0.00000 0 382 - 0.00000 - - 7s 0 0 0.00000 0 425 - 0.00000 - - 8s 0 0 0.00000 0 450 - 0.00000 - - 9s 0 0 0.00000 0 450 - 0.00000 - - 9s 0 2 0.00000 0 450 - 0.00000 - - 10s 528 47 infeasible 17 - 0.00000 - 127 15s 805 55 0.00000 10 318 - 0.00000 - 127 22s 807 56 0.00000 5 314 - 0.00000 - 127 25s 810 58 0.00000 20 324 - 0.00000 - 126 32s 812 59 0.00000 16 480 - 0.00000 - 126 36s 917 41 infeasible 27 - 0.00000 - 199 40s 1153 27 infeasible 27 - 0.00000 - 213 45s 1383 19 0.00000 27 366 - 0.00000 - 224 50s 1643 39 0.00000 30 338 - 0.00000 - 228 55s 1858 30 infeasible 29 - 0.00000 - 235 60s 2080 20 infeasible 26 - 0.00000 - 239 65s 2312 34 infeasible 30 - 0.00000 - 243 70s 2534 24 infeasible 29 - 0.00000 - 247 75s 2758 20 infeasible 29 - 0.00000 - 250 80s 2986 14 infeasible 28 - 0.00000 - 252 85s 3216 10 0.00000 23 348 - 0.00000 - 253 90s 3452 12 0.00000 25 386 - 0.00000 - 254 95s 3681 13 infeasible 25 - 0.00000 - 254 100s 3925 11 0.00000 26 393 - 0.00000 - 255 105s Cutting planes: Zero half: 1 Explored 3983 nodes (1083783 simplex iterations) in 106.79 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 06:46:39 2012 Optimize a model with 4999 rows, 1931 columns and 15385 nonzeros Presolve time: 0.01s Presolved: 4999 rows, 1931 columns, 15385 nonzeros Variable types: 0 continuous, 1931 integer (1931 binary) Root relaxation: objective 0.000000e+00, 414 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 261 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4160 simplex iterations) in 0.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