current bounds on the number of colors: 0 -- 131 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:16:21 2012 Optimize a model with 57266 rows, 9394 columns and 179920 nonzeros Presolve time: 0.18s Presolved: 57266 rows, 9394 columns, 179920 nonzeros Variable types: 0 continuous, 9394 integer (9394 binary) Root relaxation: objective 0.000000e+00, 323 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 (619 simplex iterations) in 0.32 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 -- 65 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:16:22 2012 Optimize a model with 28259 rows, 5071 columns and 88576 nonzeros Presolve time: 0.13s Presolved: 28259 rows, 5071 columns, 88576 nonzeros Variable types: 0 continuous, 5071 integer (5071 binary) Root relaxation: objective 0.000000e+00, 314 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 (623 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:16:23 2012 Optimize a model with 14195 rows, 2975 columns and 44288 nonzeros Presolve time: 0.05s Presolved: 14195 rows, 2975 columns, 44288 nonzeros Variable types: 0 continuous, 2975 integer (2975 binary) Root relaxation: objective 0.000000e+00, 265 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 (522 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:16:23 2012 Optimize a model with 7163 rows, 1927 columns and 22144 nonzeros Presolve time: 0.02s Presolved: 7163 rows, 1927 columns, 22144 nonzeros Variable types: 0 continuous, 1927 integer (1927 binary) Root relaxation: objective 0.000000e+00, 275 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 8 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1606 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:16:23 2012 Optimize a model with 3647 rows, 1403 columns and 11072 nonzeros Presolve time: 0.01s Presolved: 3647 rows, 1403 columns, 11072 nonzeros Variable types: 0 continuous, 1403 integer (1403 binary) Root relaxation: objective 0.000000e+00, 282 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 262 - 0.00000 - - 0s 0 0 0.00000 0 172 - 0.00000 - - 0s 0 0 0.00000 0 413 - 0.00000 - - 1s 0 0 0.00000 0 417 - 0.00000 - - 1s 0 0 0.00000 0 408 - 0.00000 - - 2s 0 0 0.00000 0 407 - 0.00000 - - 3s 0 0 0.00000 0 401 - 0.00000 - - 4s 0 0 0.00000 0 408 - 0.00000 - - 6s 0 0 0.00000 0 403 - 0.00000 - - 7s 0 0 0.00000 0 400 - 0.00000 - - 8s 0 0 0.00000 0 397 - 0.00000 - - 9s 0 0 0.00000 0 407 - 0.00000 - - 10s 0 0 0.00000 0 396 - 0.00000 - - 11s 0 0 0.00000 0 396 - 0.00000 - - 12s 0 0 0.00000 0 389 - 0.00000 - - 14s 0 0 0.00000 0 384 - 0.00000 - - 15s 0 0 0.00000 0 382 - 0.00000 - - 16s 0 0 0.00000 0 374 - 0.00000 - - 17s 0 0 0.00000 0 389 - 0.00000 - - 18s 0 0 0.00000 0 389 - 0.00000 - - 19s 0 2 0.00000 0 389 - 0.00000 - - 19s 4 4 0.00000 3 395 - 0.00000 - 1085 20s Cutting planes: Clique: 26 Zero half: 14 Explored 21 nodes (69921 simplex iterations) in 20.59 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:16:44 2012 Optimize a model with 5405 rows, 1665 columns and 16608 nonzeros Presolve time: 0.01s Presolved: 5405 rows, 1665 columns, 16608 nonzeros Variable types: 0 continuous, 1665 integer (1665 binary) Root relaxation: objective 0.000000e+00, 271 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 137 - 0.00000 - - 0s 0 0 0.00000 0 215 - 0.00000 - - 0s 0 0 0.00000 0 48 - 0.00000 - - 1s H 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (10742 simplex iterations) in 1.28 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 03:16:45 2012 Optimize a model with 4526 rows, 1534 columns and 13840 nonzeros Presolve time: 0.01s Presolved: 4526 rows, 1534 columns, 13840 nonzeros Variable types: 0 continuous, 1534 integer (1534 binary) Root relaxation: objective 0.000000e+00, 278 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 260 - 0.00000 - - 0s 0 0 0.00000 0 222 - 0.00000 - - 0s 0 0 0.00000 0 327 - 0.00000 - - 1s 0 0 0.00000 0 315 - 0.00000 - - 1s 0 0 0.00000 0 333 - 0.00000 - - 1s 0 0 0.00000 0 325 - 0.00000 - - 2s 0 0 0.00000 0 318 - 0.00000 - - 2s 0 0 0.00000 0 321 - 0.00000 - - 3s 0 0 0.00000 0 298 - 0.00000 - - 4s 0 0 0.00000 0 306 - 0.00000 - - 4s 0 0 0.00000 0 349 - 0.00000 - - 5s 0 0 0.00000 0 279 - 0.00000 - - 6s 0 0 0.00000 0 272 - 0.00000 - - 7s 0 0 0.00000 0 265 - 0.00000 - - 7s 0 0 0.00000 0 317 - 0.00000 - - 8s 0 0 0.00000 0 317 - 0.00000 - - 9s 0 2 0.00000 0 317 - 0.00000 - - 9s 16 16 0.00000 13 306 - 0.00000 - 321 10s 542 47 infeasible 23 - 0.00000 - 131 15s 706 70 0.00000 11 309 - 0.00000 - 122 20s 709 72 0.00000 9 283 - 0.00000 - 122 25s 713 75 0.00000 24 336 - 0.00000 - 121 30s 727 82 0.00000 16 302 - 0.00000 - 188 35s 911 47 infeasible 25 - 0.00000 - 210 40s 1091 64 infeasible 31 - 0.00000 - 223 45s 1274 75 infeasible 32 - 0.00000 - 234 50s 1475 94 infeasible 32 - 0.00000 - 240 55s 1665 106 infeasible 32 - 0.00000 - 247 60s 1836 107 0.00000 25 297 - 0.00000 - 254 65s 2009 98 infeasible 30 - 0.00000 - 260 70s 2213 106 0.00000 27 224 - 0.00000 - 263 75s 2420 109 infeasible 35 - 0.00000 - 265 80s 2603 98 infeasible 32 - 0.00000 - 268 85s 2788 93 infeasible 25 - 0.00000 - 270 90s 2960 89 infeasible 25 - 0.00000 - 273 95s 3137 86 0.00000 25 311 - 0.00000 - 276 100s 3307 100 0.00000 27 228 - 0.00000 - 278 105s 3475 95 0.00000 30 258 - 0.00000 - 280 110s 3642 100 infeasible 27 - 0.00000 - 283 115s 3799 101 infeasible 27 - 0.00000 - 285 120s 3966 98 0.00000 28 291 - 0.00000 - 287 125s 4124 116 infeasible 26 - 0.00000 - 289 130s 4301 115 0.00000 26 327 - 0.00000 - 289 135s 4484 154 0.00000 28 305 - 0.00000 - 290 140s 4662 152 infeasible 28 - 0.00000 - 291 145s 4832 148 0.00000 31 315 - 0.00000 - 292 150s 4993 147 infeasible 32 - 0.00000 - 293 155s 5160 148 infeasible 29 - 0.00000 - 295 160s 5316 138 0.00000 25 315 - 0.00000 - 296 165s 5481 131 infeasible 31 - 0.00000 - 297 170s 5663 137 infeasible 34 - 0.00000 - 297 175s 5847 135 0.00000 32 304 - 0.00000 - 297 180s 6009 133 infeasible 29 - 0.00000 - 298 185s 6174 124 infeasible 28 - 0.00000 - 299 190s 6369 123 infeasible 33 - 0.00000 - 299 195s 6533 119 0.00000 25 316 - 0.00000 - 300 200s 6703 123 infeasible 28 - 0.00000 - 300 205s 6857 123 0.00000 26 296 - 0.00000 - 301 210s 7022 116 infeasible 28 - 0.00000 - 302 215s 7194 128 infeasible 30 - 0.00000 - 302 220s 7358 116 infeasible 30 - 0.00000 - 303 225s 7515 127 0.00000 22 309 - 0.00000 - 304 230s 7681 131 0.00000 24 282 - 0.00000 - 304 235s 7820 122 infeasible 32 - 0.00000 - 306 240s 7981 123 0.00000 23 309 - 0.00000 - 306 245s 8134 116 infeasible 30 - 0.00000 - 307 250s 8299 117 0.00000 21 317 - 0.00000 - 307 255s 8478 124 0.00000 26 295 - 0.00000 - 307 260s 8650 128 0.00000 25 272 - 0.00000 - 307 265s 8812 120 0.00000 26 279 - 0.00000 - 308 270s Cutting planes: Clique: 6 Zero half: 6 Explored 8953 nodes (2816495 simplex iterations) in 274.78 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 6