current bounds on the number of colors: 0 -- 189 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:54:14 2012 Optimize a model with 86293 rows, 18682 columns and 276078 nonzeros Presolve time: 0.28s Presolved: 86293 rows, 18682 columns, 276078 nonzeros Variable types: 0 continuous, 18682 integer (18682 binary) Root relaxation: objective 0.000000e+00, 751 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 (1203 simplex iterations) in 0.49 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 -- 94 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:54:16 2012 Optimize a model with 43241 rows, 9799 columns and 138039 nonzeros Presolve time: 0.15s Presolved: 43241 rows, 9799 columns, 138039 nonzeros Variable types: 0 continuous, 9799 integer (9799 binary) Root relaxation: objective 0.000000e+00, 645 iterations, 0.04 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 (1069 simplex iterations) in 0.25 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 -- 47 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:54:16 2012 Optimize a model with 21257 rows, 5263 columns and 67551 nonzeros Presolve time: 0.08s Presolved: 21257 rows, 5263 columns, 67551 nonzeros Variable types: 0 continuous, 5263 integer (5263 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 (1019 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:54:17 2012 Optimize a model with 10265 rows, 2995 columns and 32307 nonzeros Presolve time: 0.03s Presolved: 10265 rows, 2995 columns, 32307 nonzeros Variable types: 0 continuous, 2995 integer (2995 binary) Root relaxation: objective 0.000000e+00, 386 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 (774 simplex iterations) in 0.06 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:54:17 2012 Optimize a model with 4769 rows, 1861 columns and 14685 nonzeros Presolve time: 0.01s Presolved: 4769 rows, 1861 columns, 14685 nonzeros Variable types: 0 continuous, 1861 integer (1861 binary) Root relaxation: objective 0.000000e+00, 433 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 194 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3323 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:54:17 2012 Optimize a model with 2021 rows, 1294 columns and 5874 nonzeros Presolve removed 189 rows and 189 columns Presolve time: 0.01s Presolved: 1832 rows, 1105 columns, 5496 nonzeros Variable types: 0 continuous, 1105 integer (1105 binary) Root relaxation: objective 0.000000e+00, 198 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 189 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (816 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:54:17 2012 Optimize a model with 2937 rows, 1483 columns and 8811 nonzeros Presolve time: 0.01s Presolved: 2937 rows, 1483 columns, 8811 nonzeros Variable types: 0 continuous, 1483 integer (1483 binary) Root relaxation: objective 0.000000e+00, 431 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 378 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4877 simplex iterations) in 0.66 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:54:18 2012 Optimize a model with 3853 rows, 1672 columns and 11748 nonzeros Presolve time: 0.01s Presolved: 3853 rows, 1672 columns, 11748 nonzeros Variable types: 0 continuous, 1672 integer (1672 binary) Root relaxation: objective 0.000000e+00, 423 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 362 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 0s 0 0 0.00000 0 354 - 0.00000 - - 0s 0 0 0.00000 0 496 - 0.00000 - - 1s 0 0 0.00000 0 348 - 0.00000 - - 1s 0 0 0.00000 0 334 - 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 310 - 0.00000 - - 3s 0 0 0.00000 0 296 - 0.00000 - - 4s 0 0 0.00000 0 274 - 0.00000 - - 4s 0 0 0.00000 0 272 - 0.00000 - - 5s 0 0 0.00000 0 266 - 0.00000 - - 5s 0 0 0.00000 0 268 - 0.00000 - - 5s 0 0 0.00000 0 363 - 0.00000 - - 6s 0 0 0.00000 0 335 - 0.00000 - - 7s 0 0 0.00000 0 377 - 0.00000 - - 7s 0 0 0.00000 0 407 - 0.00000 - - 8s 0 0 0.00000 0 407 - 0.00000 - - 8s 0 2 0.00000 0 407 - 0.00000 - - 9s 16 16 0.00000 11 347 - 0.00000 - 304 10s 601 100 0.00000 17 362 - 0.00000 - 132 15s 607 104 0.00000 12 302 - 0.00000 - 131 20s 611 107 0.00000 17 413 - 0.00000 - 130 26s 615 109 0.00000 13 415 - 0.00000 - 129 30s 815 95 infeasible 22 - 0.00000 - 217 35s 1052 81 0.00000 24 322 - 0.00000 - 225 40s 1280 63 infeasible 23 - 0.00000 - 236 45s 1497 54 infeasible 25 - 0.00000 - 243 50s 1757 58 infeasible 28 - 0.00000 - 244 55s 1987 46 infeasible 23 - 0.00000 - 247 60s 2201 60 0.00000 21 435 - 0.00000 - 251 65s 2429 74 infeasible 25 - 0.00000 - 253 70s 2648 62 infeasible 26 - 0.00000 - 255 75s 2845 55 infeasible 27 - 0.00000 - 259 80s 3056 50 0.00000 20 366 - 0.00000 - 261 85s 3256 74 infeasible 23 - 0.00000 - 263 90s 3476 74 0.00000 21 388 - 0.00000 - 263 95s 3651 55 infeasible 27 - 0.00000 - 266 100s 3850 30 infeasible 22 - 0.00000 - 267 105s 4058 20 infeasible 24 - 0.00000 - 268 110s Cutting planes: Zero half: 19 Explored 4227 nodes (1207532 simplex iterations) in 114.38 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5