current bounds on the number of colors: 0 -- 147 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:21:02 2012 Optimize a model with 79571 rows, 11819 columns and 249003 nonzeros Presolve time: 0.23s Presolved: 79571 rows, 11819 columns, 249003 nonzeros Variable types: 0 continuous, 11819 integer (11819 binary) Root relaxation: objective 0.000000e+00, 400 iterations, 0.09 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 (801 simplex iterations) in 0.44 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 -- 73 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:21:03 2012 Optimize a model with 39315 rows, 6380 columns and 122796 nonzeros Presolve time: 0.15s Presolved: 39315 rows, 6380 columns, 122796 nonzeros Variable types: 0 continuous, 6380 integer (6380 binary) Root relaxation: objective 0.000000e+00, 459 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 (867 simplex iterations) in 0.24 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:21:04 2012 Optimize a model with 19731 rows, 3734 columns and 61398 nonzeros Presolve time: 0.07s Presolved: 19731 rows, 3734 columns, 61398 nonzeros Variable types: 0 continuous, 3734 integer (3734 binary) Root relaxation: objective 0.000000e+00, 426 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 (1095 simplex iterations) in 0.14 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:21:04 2012 Optimize a model with 9939 rows, 2411 columns and 30699 nonzeros Presolve time: 0.03s Presolved: 9939 rows, 2411 columns, 30699 nonzeros Variable types: 0 continuous, 2411 integer (2411 binary) Root relaxation: objective 0.000000e+00, 300 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 (1269 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:21:04 2012 Optimize a model with 4499 rows, 1676 columns and 13644 nonzeros Presolve time: 0.01s Presolved: 4499 rows, 1676 columns, 13644 nonzeros Variable types: 0 continuous, 1676 integer (1676 binary) Root relaxation: objective 0.000000e+00, 331 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 188 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 1s 0 0 0.00000 0 481 - 0.00000 - - 2s 0 0 0.00000 0 490 - 0.00000 - - 2s 0 0 0.00000 0 495 - 0.00000 - - 3s 0 0 0.00000 0 476 - 0.00000 - - 5s 0 0 0.00000 0 480 - 0.00000 - - 6s 0 0 0.00000 0 483 - 0.00000 - - 7s 0 0 0.00000 0 483 - 0.00000 - - 8s 0 2 0.00000 0 483 - 0.00000 - - 9s 2 3 0.00000 1 460 - 0.00000 - 1906 10s Cutting planes: Clique: 20 Zero half: 17 Explored 9 nodes (46367 simplex iterations) in 10.41 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:21:15 2012 Optimize a model with 6675 rows, 1970 columns and 20466 nonzeros Presolve time: 0.02s Presolved: 6675 rows, 1970 columns, 20466 nonzeros Variable types: 0 continuous, 1970 integer (1970 binary) Root relaxation: objective 0.000000e+00, 307 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 209 - 0.00000 - - 0s 0 0 0.00000 0 227 - 0.00000 - - 0s 0 0 0.00000 0 419 - 0.00000 - - 1s 0 0 0.00000 0 423 - 0.00000 - - 1s 0 0 0.00000 0 404 - 0.00000 - - 3s 0 0 0.00000 0 375 - 0.00000 - - 3s 0 0 0.00000 0 394 - 0.00000 - - 4s 0 0 0.00000 0 389 - 0.00000 - - 5s 0 0 0.00000 0 393 - 0.00000 - - 6s 0 0 0.00000 0 386 - 0.00000 - - 6s 0 2 0.00000 0 261 - 0.00000 - - 7s 414 177 0.00000 38 237 - 0.00000 - 92.4 10s * 517 3 43 0.0000000 0.00000 0.0% 85.6 10s Cutting planes: Clique: 5 Zero half: 3 Explored 518 nodes (82090 simplex iterations) in 10.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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:21:25 2012 Optimize a model with 5587 rows, 1823 columns and 17055 nonzeros Presolve time: 0.01s Presolved: 5587 rows, 1823 columns, 17055 nonzeros Variable types: 0 continuous, 1823 integer (1823 binary) Root relaxation: objective 0.000000e+00, 312 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 292 - 0.00000 - - 0s 0 0 0.00000 0 280 - 0.00000 - - 0s 0 0 0.00000 0 293 - 0.00000 - - 1s 0 0 0.00000 0 418 - 0.00000 - - 2s 0 0 0.00000 0 356 - 0.00000 - - 3s 0 0 0.00000 0 342 - 0.00000 - - 4s 0 0 0.00000 0 320 - 0.00000 - - 6s 0 0 0.00000 0 266 - 0.00000 - - 7s 0 0 0.00000 0 254 - 0.00000 - - 9s 0 0 0.00000 0 372 - 0.00000 - - 9s 0 0 0.00000 0 344 - 0.00000 - - 11s 0 0 0.00000 0 399 - 0.00000 - - 12s 0 0 0.00000 0 370 - 0.00000 - - 13s 0 0 0.00000 0 426 - 0.00000 - - 14s 0 0 0.00000 0 382 - 0.00000 - - 15s 0 2 0.00000 0 382 - 0.00000 - - 16s 102 33 0.00000 15 349 - 0.00000 - 267 20s 323 55 0.00000 17 339 - 0.00000 - 224 25s 561 47 0.00000 14 338 - 0.00000 - 212 30s 764 50 infeasible 14 - 0.00000 - 214 35s 903 66 0.00000 13 293 - 0.00000 - 214 40s 905 68 0.00000 12 351 - 0.00000 - 214 45s 907 69 0.00000 14 367 - 0.00000 - 213 50s 912 72 infeasible 11 - 0.00000 - 254 55s 1006 59 0.00000 21 377 - 0.00000 - 268 60s 1089 38 0.00000 27 354 - 0.00000 - 283 65s 1193 20 0.00000 18 373 - 0.00000 - 293 70s 1299 24 infeasible 27 - 0.00000 - 301 75s 1392 23 infeasible 22 - 0.00000 - 310 80s 1483 18 infeasible 24 - 0.00000 - 318 85s 1571 28 0.00000 26 276 - 0.00000 - 325 90s 1658 23 0.00000 17 395 - 0.00000 - 332 95s 1762 39 infeasible 29 - 0.00000 - 335 100s 1846 33 infeasible 25 - 0.00000 - 341 105s 1931 28 infeasible 23 - 0.00000 - 347 110s 2015 26 infeasible 22 - 0.00000 - 352 115s 2106 33 infeasible 27 - 0.00000 - 356 120s 2191 30 0.00000 25 353 - 0.00000 - 360 125s 2277 22 0.00000 26 352 - 0.00000 - 365 130s 2374 31 0.00000 25 345 - 0.00000 - 366 135s 2491 26 0.00000 21 359 - 0.00000 - 365 140s 2590 21 infeasible 26 - 0.00000 - 367 145s 2691 30 infeasible 23 - 0.00000 - 368 150s 2790 39 0.00000 28 362 - 0.00000 - 370 155s 2883 36 infeasible 28 - 0.00000 - 371 160s 2970 27 0.00000 26 363 - 0.00000 - 374 165s 3072 25 0.00000 22 353 - 0.00000 - 375 170s 3163 32 0.00000 27 365 - 0.00000 - 377 175s 3254 35 infeasible 30 - 0.00000 - 379 180s 3350 43 infeasible 26 - 0.00000 - 380 185s 3446 45 0.00000 25 378 - 0.00000 - 381 190s 3539 38 infeasible 32 - 0.00000 - 382 195s 3615 32 infeasible 28 - 0.00000 - 385 200s 3719 33 0.00000 24 380 - 0.00000 - 385 205s 3803 29 0.00000 23 362 - 0.00000 - 387 210s 3897 33 0.00000 25 346 - 0.00000 - 388 215s 3978 32 infeasible 28 - 0.00000 - 390 220s 4070 30 infeasible 23 - 0.00000 - 391 225s 4159 23 infeasible 25 - 0.00000 - 392 230s 4257 31 0.00000 25 354 - 0.00000 - 393 235s 4347 25 0.00000 21 387 - 0.00000 - 394 240s 4435 27 0.00000 27 355 - 0.00000 - 395 245s 4534 24 infeasible 20 - 0.00000 - 395 250s 4626 30 infeasible 26 - 0.00000 - 396 255s 4712 34 0.00000 25 364 - 0.00000 - 397 260s 4779 23 infeasible 20 - 0.00000 - 399 265s 4855 19 infeasible 29 - 0.00000 - 401 270s Cutting planes: Clique: 8 Zero half: 9 Explored 4935 nodes (2058145 simplex iterations) in 274.71 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