current bounds on the number of colors: 0 -- 180 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:56:49 2012 Optimize a model with 71910 rows, 16997 columns and 231390 nonzeros Presolve time: 0.23s Presolved: 71910 rows, 16997 columns, 231390 nonzeros Variable types: 0 continuous, 16997 integer (16997 binary) Root relaxation: objective 0.000000e+00, 699 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 (1110 simplex iterations) in 0.41 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 -- 90 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:56:51 2012 Optimize a model with 36045 rows, 8897 columns and 115695 nonzeros Presolve time: 0.15s Presolved: 36045 rows, 8897 columns, 115695 nonzeros Variable types: 0 continuous, 8897 integer (8897 binary) Root relaxation: objective 0.000000e+00, 540 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 (910 simplex iterations) in 0.22 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 -- 45 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:56:51 2012 Optimize a model with 17714 rows, 4757 columns and 56562 nonzeros Presolve time: 0.07s Presolved: 17714 rows, 4757 columns, 56562 nonzeros Variable types: 0 continuous, 4757 integer (4757 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (720 simplex iterations) in 0.11 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 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:56:52 2012 Optimize a model with 8947 rows, 2777 columns and 28281 nonzeros Presolve time: 0.03s Presolved: 8947 rows, 2777 columns, 28281 nonzeros Variable types: 0 continuous, 2777 integer (2777 binary) Root relaxation: objective 0.000000e+00, 377 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 (717 simplex iterations) in 0.05 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 00:56:52 2012 Optimize a model with 4165 rows, 1697 columns and 12855 nonzeros Presolve time: 0.01s Presolved: 4165 rows, 1697 columns, 12855 nonzeros Variable types: 0 continuous, 1697 integer (1697 binary) Root relaxation: objective 0.000000e+00, 392 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 (2677 simplex iterations) in 0.16 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 00:56:52 2012 Optimize a model with 1774 rows, 1157 columns and 5142 nonzeros Presolve removed 180 rows and 180 columns Presolve time: 0.00s Presolved: 1594 rows, 977 columns, 4782 nonzeros Variable types: 0 continuous, 977 integer (977 binary) Root relaxation: objective 0.000000e+00, 188 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 180 - 0.00000 - - 0s Explored 0 nodes (783 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 00:56:52 2012 Optimize a model with 2571 rows, 1337 columns and 7713 nonzeros Presolve time: 0.01s Presolved: 2571 rows, 1337 columns, 7713 nonzeros Variable types: 0 continuous, 1337 integer (1337 binary) Root relaxation: objective 0.000000e+00, 412 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 354 - 0.00000 - - 0s 0 0 0.00000 0 356 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4129 simplex iterations) in 0.45 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 00:56:53 2012 Optimize a model with 3368 rows, 1517 columns and 10284 nonzeros Presolve time: 0.01s Presolved: 3368 rows, 1517 columns, 10284 nonzeros Variable types: 0 continuous, 1517 integer (1517 binary) Root relaxation: objective 0.000000e+00, 403 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 342 - 0.00000 - - 0s 0 0 0.00000 0 316 - 0.00000 - - 0s 0 0 0.00000 0 334 - 0.00000 - - 0s 0 0 0.00000 0 434 - 0.00000 - - 0s 0 0 0.00000 0 316 - 0.00000 - - 1s 0 0 0.00000 0 310 - 0.00000 - - 1s 0 0 0.00000 0 312 - 0.00000 - - 1s 0 0 0.00000 0 326 - 0.00000 - - 2s 0 0 0.00000 0 317 - 0.00000 - - 2s 0 0 0.00000 0 315 - 0.00000 - - 2s 0 0 0.00000 0 319 - 0.00000 - - 2s 0 0 0.00000 0 318 - 0.00000 - - 3s 0 2 0.00000 0 314 - 0.00000 - - 3s 379 32 infeasible 23 - 0.00000 - 91.4 5s 607 51 0.00000 19 244 - 0.00000 - 89.6 10s 612 54 0.00000 23 335 - 0.00000 - 88.9 15s 841 120 0.00000 33 328 - 0.00000 - 160 20s 1278 227 0.00000 34 308 - 0.00000 - 166 25s 1706 245 infeasible 31 - 0.00000 - 173 30s 2152 309 0.00000 28 338 - 0.00000 - 174 35s 2581 334 0.00000 30 302 - 0.00000 - 176 40s 3001 360 0.00000 31 347 - 0.00000 - 178 45s 3443 390 infeasible 32 - 0.00000 - 178 50s 3836 373 0.00000 28 361 - 0.00000 - 182 55s 4259 368 infeasible 32 - 0.00000 - 183 60s 4685 360 0.00000 32 304 - 0.00000 - 184 65s 5118 325 infeasible 30 - 0.00000 - 185 70s 5554 311 infeasible 30 - 0.00000 - 186 75s 5977 316 0.00000 32 296 - 0.00000 - 186 80s 6421 314 0.00000 33 322 - 0.00000 - 187 85s 6839 306 infeasible 32 - 0.00000 - 188 90s 7244 295 infeasible 33 - 0.00000 - 188 95s 7645 302 infeasible 34 - 0.00000 - 189 100s 8067 292 infeasible 27 - 0.00000 - 189 105s 8475 352 0.00000 29 371 - 0.00000 - 189 110s 8924 357 infeasible 40 - 0.00000 - 189 115s 9335 346 infeasible 34 - 0.00000 - 190 120s 9782 309 infeasible 26 - 0.00000 - 190 125s 10223 302 0.00000 32 377 - 0.00000 - 190 130s 10655 312 infeasible 33 - 0.00000 - 189 135s 11045 332 infeasible 37 - 0.00000 - 190 140s 11467 348 0.00000 28 312 - 0.00000 - 190 145s 11869 320 0.00000 31 304 - 0.00000 - 190 150s 12278 307 infeasible 26 - 0.00000 - 191 155s 12710 317 infeasible 33 - 0.00000 - 191 160s 13135 304 infeasible 31 - 0.00000 - 191 165s 13542 309 infeasible 32 - 0.00000 - 191 170s 13964 301 infeasible 36 - 0.00000 - 191 175s 14344 311 infeasible 38 - 0.00000 - 191 180s 14771 290 infeasible 30 - 0.00000 - 191 185s 15254 355 0.00000 27 359 - 0.00000 - 190 190s 15698 337 infeasible 33 - 0.00000 - 190 195s 16148 313 0.00000 30 402 - 0.00000 - 190 200s 16580 331 infeasible 31 - 0.00000 - 190 205s 16958 303 infeasible 31 - 0.00000 - 190 210s 17383 306 infeasible 31 - 0.00000 - 190 215s 17789 322 infeasible 26 - 0.00000 - 190 220s 18202 351 0.00000 35 350 - 0.00000 - 191 225s 18595 358 infeasible 32 - 0.00000 - 191 230s 19061 376 0.00000 29 370 - 0.00000 - 190 235s 19489 406 0.00000 30 389 - 0.00000 - 190 240s 19878 399 infeasible 32 - 0.00000 - 190 245s 20311 388 infeasible 28 - 0.00000 - 190 250s 20746 385 0.00000 31 401 - 0.00000 - 190 255s 21171 396 infeasible 31 - 0.00000 - 190 260s 21661 434 infeasible 32 - 0.00000 - 189 265s 22111 436 infeasible 32 - 0.00000 - 189 270s 22527 434 infeasible 32 - 0.00000 - 189 275s 22938 443 infeasible 35 - 0.00000 - 189 280s 23326 463 0.00000 23 374 - 0.00000 - 190 285s 23815 476 infeasible 29 - 0.00000 - 189 290s 24242 489 infeasible 32 - 0.00000 - 189 295s Cutting planes: Gomory: 2 Zero half: 15 Explored 24256 nodes (4620788 simplex iterations) in 295.21 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: 5