current bounds on the number of colors: 0 -- 189 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:51:56 2012 Optimize a model with 86387 rows, 18683 columns and 276360 nonzeros Presolve time: 0.28s Presolved: 86387 rows, 18683 columns, 276360 nonzeros Variable types: 0 continuous, 18683 integer (18683 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 (1209 simplex iterations) in 0.50 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:51:58 2012 Optimize a model with 43288 rows, 9800 columns and 138180 nonzeros Presolve time: 0.15s Presolved: 43288 rows, 9800 columns, 138180 nonzeros Variable types: 0 continuous, 9800 integer (9800 binary) Root relaxation: objective 0.000000e+00, 529 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 (915 simplex iterations) in 0.23 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:51:58 2012 Optimize a model with 21280 rows, 5264 columns and 67620 nonzeros Presolve time: 0.08s Presolved: 21280 rows, 5264 columns, 67620 nonzeros Variable types: 0 continuous, 5264 integer (5264 binary) Root relaxation: objective 0.000000e+00, 413 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 (752 simplex iterations) in 0.12 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:51:59 2012 Optimize a model with 10276 rows, 2996 columns and 32340 nonzeros Presolve time: 0.03s Presolved: 10276 rows, 2996 columns, 32340 nonzeros Variable types: 0 continuous, 2996 integer (2996 binary) Root relaxation: objective 0.000000e+00, 391 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 (728 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:51:59 2012 Optimize a model with 4774 rows, 1862 columns and 14700 nonzeros Presolve time: 0.01s Presolved: 4774 rows, 1862 columns, 14700 nonzeros Variable types: 0 continuous, 1862 integer (1862 binary) Root relaxation: objective 0.000000e+00, 405 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 178 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4343 simplex iterations) in 0.34 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:51:59 2012 Optimize a model with 2023 rows, 1295 columns and 5880 nonzeros Presolve removed 189 rows and 189 columns Presolve time: 0.01s Presolved: 1834 rows, 1106 columns, 5502 nonzeros Variable types: 0 continuous, 1106 integer (1106 binary) Root relaxation: objective 0.000000e+00, 193 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 (796 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:52:00 2012 Optimize a model with 2940 rows, 1484 columns and 8820 nonzeros Presolve time: 0.01s Presolved: 2940 rows, 1484 columns, 8820 nonzeros Variable types: 0 continuous, 1484 integer (1484 binary) Root relaxation: objective 0.000000e+00, 447 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 298 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6378 simplex iterations) in 0.74 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:52:00 2012 Optimize a model with 3857 rows, 1673 columns and 11760 nonzeros Presolve time: 0.01s Presolved: 3857 rows, 1673 columns, 11760 nonzeros Variable types: 0 continuous, 1673 integer (1673 binary) Root relaxation: objective 0.000000e+00, 396 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 364 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 0s 0 0 0.00000 0 498 - 0.00000 - - 1s 0 0 0.00000 0 344 - 0.00000 - - 1s 0 0 0.00000 0 330 - 0.00000 - - 2s 0 0 0.00000 0 328 - 0.00000 - - 2s 0 0 0.00000 0 326 - 0.00000 - - 3s 0 0 0.00000 0 318 - 0.00000 - - 4s 0 0 0.00000 0 310 - 0.00000 - - 4s 0 0 0.00000 0 312 - 0.00000 - - 5s 0 0 0.00000 0 312 - 0.00000 - - 5s 0 0 0.00000 0 304 - 0.00000 - - 6s 0 0 0.00000 0 302 - 0.00000 - - 6s 0 0 0.00000 0 304 - 0.00000 - - 6s 0 0 0.00000 0 304 - 0.00000 - - 7s 0 2 0.00000 0 304 - 0.00000 - - 7s 188 23 0.00000 19 389 - 0.00000 - 162 10s 747 39 0.00000 17 428 - 0.00000 - 137 15s 905 51 0.00000 24 332 - 0.00000 - 137 21s 908 53 0.00000 12 324 - 0.00000 - 136 25s 911 55 0.00000 15 304 - 0.00000 - 136 30s 914 57 0.00000 17 296 - 0.00000 - 135 35s 1016 51 0.00000 26 346 - 0.00000 - 204 40s 1247 28 infeasible 29 - 0.00000 - 216 45s 1485 28 0.00000 25 381 - 0.00000 - 226 50s 1731 38 infeasible 27 - 0.00000 - 230 55s 1950 47 infeasible 26 - 0.00000 - 236 60s 2176 45 0.00000 27 330 - 0.00000 - 241 65s 2436 39 0.00000 26 344 - 0.00000 - 242 70s 2690 21 infeasible 29 - 0.00000 - 243 75s 2891 16 infeasible 24 - 0.00000 - 246 80s 3161 52 infeasible 27 - 0.00000 - 245 85s 3407 68 0.00000 28 379 - 0.00000 - 245 90s 3668 53 infeasible 32 - 0.00000 - 245 95s 3901 54 infeasible 28 - 0.00000 - 247 100s 4120 53 infeasible 29 - 0.00000 - 248 105s 4345 46 0.00000 34 332 - 0.00000 - 249 110s 4607 34 infeasible 27 - 0.00000 - 249 115s 4819 24 infeasible 24 - 0.00000 - 250 120s 5040 13 0.00000 22 330 - 0.00000 - 251 125s 5268 9 0.00000 23 406 - 0.00000 - 251 130s Cutting planes: Zero half: 17 Explored 5342 nodes (1401378 simplex iterations) in 131.94 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