current bounds on the number of colors: 0 -- 168 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:42:12 2012 Optimize a model with 62412 rows, 14853 columns and 200844 nonzeros Presolve time: 0.19s Presolved: 62412 rows, 14853 columns, 200844 nonzeros Variable types: 0 continuous, 14853 integer (14853 binary) Root relaxation: objective 0.000000e+00, 638 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 (1017 simplex iterations) in 0.33 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 -- 84 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:42:13 2012 Optimize a model with 31290 rows, 7797 columns and 100422 nonzeros Presolve time: 0.14s Presolved: 31290 rows, 7797 columns, 100422 nonzeros Variable types: 0 continuous, 7797 integer (7797 binary) Root relaxation: objective 0.000000e+00, 462 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 (791 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 -- 42 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:42:14 2012 Optimize a model with 15729 rows, 4269 columns and 50211 nonzeros Presolve time: 0.06s Presolved: 15729 rows, 4269 columns, 50211 nonzeros Variable types: 0 continuous, 4269 integer (4269 binary) Root relaxation: objective 0.000000e+00, 363 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 (660 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 -- 21 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:42:14 2012 Optimize a model with 7578 rows, 2421 columns and 23910 nonzeros Presolve time: 0.02s Presolved: 7578 rows, 2421 columns, 23910 nonzeros Variable types: 0 continuous, 2421 integer (2421 binary) Root relaxation: objective 0.000000e+00, 351 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 (632 simplex iterations) in 0.04 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:42:14 2012 Optimize a model with 3873 rows, 1581 columns and 11955 nonzeros Presolve time: 0.01s Presolved: 3873 rows, 1581 columns, 11955 nonzeros Variable types: 0 continuous, 1581 integer (1581 binary) Root relaxation: objective 0.000000e+00, 365 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 180 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2673 simplex iterations) in 0.13 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 Fri Dec 14 20:42:15 2012 Optimize a model with 1650 rows, 1077 columns and 4782 nonzeros Presolve removed 168 rows and 168 columns Presolve time: 0.00s Presolved: 1482 rows, 909 columns, 4446 nonzeros Variable types: 0 continuous, 909 integer (909 binary) Root relaxation: objective 0.000000e+00, 178 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 168 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (722 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 Fri Dec 14 20:42:15 2012 Optimize a model with 2391 rows, 1245 columns and 7173 nonzeros Presolve time: 0.01s Presolved: 2391 rows, 1245 columns, 7173 nonzeros Variable types: 0 continuous, 1245 integer (1245 binary) Root relaxation: objective 0.000000e+00, 440 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 328 - 0.00000 - - 0s 0 0 0.00000 0 330 - 0.00000 - - 0s 0 0 0.00000 0 453 - 0.00000 - - 0s 0 0 0.00000 0 480 - 0.00000 - - 0s 0 0 0.00000 0 415 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Clique: 1 Zero half: 282 Explored 0 nodes (10161 simplex iterations) in 1.51 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 Fri Dec 14 20:42:16 2012 Optimize a model with 3132 rows, 1413 columns and 9564 nonzeros Presolve time: 0.01s Presolved: 3132 rows, 1413 columns, 9564 nonzeros Variable types: 0 continuous, 1413 integer (1413 binary) Root relaxation: objective 0.000000e+00, 389 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 314 - 0.00000 - - 0s 0 0 0.00000 0 303 - 0.00000 - - 0s 0 0 0.00000 0 316 - 0.00000 - - 0s 0 0 0.00000 0 336 - 0.00000 - - 0s 0 0 0.00000 0 312 - 0.00000 - - 0s 0 0 0.00000 0 312 - 0.00000 - - 1s 0 0 0.00000 0 304 - 0.00000 - - 1s 0 0 0.00000 0 295 - 0.00000 - - 1s 0 0 0.00000 0 274 - 0.00000 - - 1s 0 0 0.00000 0 260 - 0.00000 - - 2s 0 0 0.00000 0 254 - 0.00000 - - 2s 0 0 0.00000 0 256 - 0.00000 - - 2s 0 0 0.00000 0 255 - 0.00000 - - 3s 0 0 0.00000 0 263 - 0.00000 - - 3s 0 0 0.00000 0 238 - 0.00000 - - 3s 0 0 0.00000 0 214 - 0.00000 - - 4s 0 0 0.00000 0 224 - 0.00000 - - 4s 0 0 0.00000 0 224 - 0.00000 - - 4s 0 2 0.00000 0 224 - 0.00000 - - 4s 8 8 0.00000 6 337 - 0.00000 - 315 5s 607 109 0.00000 6 298 - 0.00000 - 93.8 10s 612 112 0.00000 21 300 - 0.00000 - 93.1 15s 617 116 0.00000 16 371 - 0.00000 - 92.3 21s 698 136 0.00000 25 254 - 0.00000 - 182 25s 1150 49 infeasible 29 - 0.00000 - 186 30s 1560 55 0.00000 28 348 - 0.00000 - 193 35s 1988 59 infeasible 31 - 0.00000 - 194 40s 2430 85 0.00000 30 297 - 0.00000 - 193 45s 2909 110 infeasible 32 - 0.00000 - 192 50s 3376 105 infeasible 31 - 0.00000 - 191 55s 3853 122 infeasible 33 - 0.00000 - 191 60s 4307 114 0.00000 28 266 - 0.00000 - 191 65s 4798 121 infeasible 34 - 0.00000 - 190 70s 5271 120 0.00000 29 278 - 0.00000 - 190 75s 5727 138 0.00000 33 284 - 0.00000 - 190 80s 6150 131 0.00000 28 284 - 0.00000 - 191 85s 6556 131 infeasible 33 - 0.00000 - 192 90s 6965 130 0.00000 26 341 - 0.00000 - 193 95s 7382 121 infeasible 31 - 0.00000 - 194 100s 7792 119 0.00000 30 272 - 0.00000 - 195 105s 8217 108 infeasible 35 - 0.00000 - 195 110s 8688 107 0.00000 33 280 - 0.00000 - 194 115s 9123 76 infeasible 33 - 0.00000 - 195 120s 9528 45 0.00000 29 356 - 0.00000 - 195 125s 9916 27 infeasible 29 - 0.00000 - 196 130s 10323 40 infeasible 26 - 0.00000 - 196 135s 10721 36 infeasible 30 - 0.00000 - 196 140s 11092 45 infeasible 33 - 0.00000 - 197 145s 11514 27 infeasible 26 - 0.00000 - 197 150s 11941 22 0.00000 25 328 - 0.00000 - 197 155s 12355 4 infeasible 27 - 0.00000 - 197 160s Cutting planes: Gomory: 1 Zero half: 17 Explored 12418 nodes (2488852 simplex iterations) in 160.76 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