current bounds on the number of colors: 0 -- 143 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:40:04 2012 Optimize a model with 75261 rows, 11211 columns and 235507 nonzeros Presolve time: 0.21s Presolved: 75261 rows, 11211 columns, 235507 nonzeros Variable types: 0 continuous, 11211 integer (11211 binary) Root relaxation: objective 0.000000e+00, 343 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 (751 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 -- 71 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:40:05 2012 Optimize a model with 37173 rows, 6063 columns and 116095 nonzeros Presolve time: 0.16s Presolved: 37173 rows, 6063 columns, 116095 nonzeros Variable types: 0 continuous, 6063 integer (6063 binary) Root relaxation: objective 0.000000e+00, 345 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 (736 simplex iterations) in 0.25 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:40:06 2012 Optimize a model with 18129 rows, 3489 columns and 56389 nonzeros Presolve time: 0.06s Presolved: 18129 rows, 3489 columns, 56389 nonzeros Variable types: 0 continuous, 3489 integer (3489 binary) Root relaxation: objective 0.000000e+00, 399 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 (1021 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:40:06 2012 Optimize a model with 8607 rows, 2202 columns and 26536 nonzeros Presolve time: 0.02s Presolved: 8607 rows, 2202 columns, 26536 nonzeros Variable types: 0 continuous, 2202 integer (2202 binary) Root relaxation: objective 0.000000e+00, 299 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 (1482 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 12:40:06 2012 Optimize a model with 4375 rows, 1630 columns and 13268 nonzeros Presolve time: 0.01s Presolved: 4375 rows, 1630 columns, 13268 nonzeros Variable types: 0 continuous, 1630 integer (1630 binary) Root relaxation: objective 0.000000e+00, 298 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 196 - 0.00000 - - 0s 0 0 0.00000 0 304 - 0.00000 - - 1s 0 0 0.00000 0 474 - 0.00000 - - 2s 0 0 0.00000 0 474 - 0.00000 - - 2s 0 0 0.00000 0 456 - 0.00000 - - 3s 0 0 0.00000 0 467 - 0.00000 - - 5s 0 0 0.00000 0 472 - 0.00000 - - 5s 0 0 0.00000 0 484 - 0.00000 - - 6s 0 0 0.00000 0 484 - 0.00000 - - 7s 0 2 0.00000 0 484 - 0.00000 - - 8s Cutting planes: Clique: 22 Zero half: 15 Explored 5 nodes (43541 simplex iterations) in 8.79 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 12:40:15 2012 Optimize a model with 6491 rows, 1916 columns and 19902 nonzeros Presolve time: 0.02s Presolved: 6491 rows, 1916 columns, 19902 nonzeros Variable types: 0 continuous, 1916 integer (1916 binary) Root relaxation: objective 0.000000e+00, 299 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 268 - 0.00000 - - 0s 0 0 0.00000 0 255 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 1s 0 0 0.00000 0 343 - 0.00000 - - 2s 0 0 0.00000 0 370 - 0.00000 - - 2s 0 0 0.00000 0 330 - 0.00000 - - 3s 0 0 0.00000 0 364 - 0.00000 - - 4s 0 0 0.00000 0 287 - 0.00000 - - 5s H 0 0 0.0000000 0.00000 0.0% - 5s Cutting planes: Clique: 4 Explored 0 nodes (32825 simplex iterations) in 5.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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 12:40:21 2012 Optimize a model with 5433 rows, 1773 columns and 16585 nonzeros Presolve time: 0.01s Presolved: 5433 rows, 1773 columns, 16585 nonzeros Variable types: 0 continuous, 1773 integer (1773 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.00000 0 178 - 0.00000 - - 0s 0 0 0.00000 0 306 - 0.00000 - - 1s 0 0 0.00000 0 436 - 0.00000 - - 1s 0 0 0.00000 0 426 - 0.00000 - - 2s 0 0 0.00000 0 427 - 0.00000 - - 2s 0 0 0.00000 0 401 - 0.00000 - - 5s 0 0 0.00000 0 401 - 0.00000 - - 6s 0 0 0.00000 0 380 - 0.00000 - - 7s 0 0 0.00000 0 377 - 0.00000 - - 8s 0 0 0.00000 0 374 - 0.00000 - - 9s 0 0 0.00000 0 388 - 0.00000 - - 10s 0 0 0.00000 0 401 - 0.00000 - - 10s 0 0 0.00000 0 401 - 0.00000 - - 11s 0 2 0.00000 0 401 - 0.00000 - - 12s 74 36 infeasible 24 - 0.00000 - 296 15s 328 28 infeasible 19 - 0.00000 - 211 20s 583 34 0.00000 27 317 - 0.00000 - 199 25s 605 42 0.00000 8 427 - 0.00000 - 196 30s 612 46 0.00000 7 429 - 0.00000 - 194 36s 613 47 0.00000 22 419 - 0.00000 - 194 40s 615 48 0.00000 17 412 - 0.00000 - 193 46s 617 50 0.00000 19 413 - 0.00000 - 192 51s 621 52 0.00000 2 405 - 0.00000 - 191 55s 700 43 infeasible 33 - 0.00000 - 278 60s 806 15 0.00000 26 360 - 0.00000 - 293 65s 899 18 0.00000 26 351 - 0.00000 - 308 70s 976 19 infeasible 31 - 0.00000 - 322 75s 1086 27 0.00000 31 338 - 0.00000 - 328 80s 1196 21 0.00000 30 338 - 0.00000 - 334 85s 1294 15 infeasible 28 - 0.00000 - 341 90s 1388 17 0.00000 24 372 - 0.00000 - 347 95s 1493 16 0.00000 27 361 - 0.00000 - 349 100s 1600 7 infeasible 26 - 0.00000 - 352 105s 1692 19 infeasible 32 - 0.00000 - 356 110s 1787 16 infeasible 31 - 0.00000 - 361 115s 1897 16 infeasible 31 - 0.00000 - 362 120s 1994 11 infeasible 27 - 0.00000 - 365 125s 2091 10 0.00000 29 347 - 0.00000 - 368 130s 2200 11 infeasible 30 - 0.00000 - 368 135s 2300 21 0.00000 27 353 - 0.00000 - 369 140s 2389 14 infeasible 28 - 0.00000 - 373 145s 2485 20 0.00000 29 355 - 0.00000 - 375 150s 2583 20 infeasible 30 - 0.00000 - 377 155s 2683 22 infeasible 31 - 0.00000 - 378 160s 2766 15 0.00000 24 357 - 0.00000 - 382 165s 2863 14 0.00000 27 363 - 0.00000 - 382 170s 2949 14 0.00000 26 347 - 0.00000 - 385 175s 3045 18 0.00000 27 365 - 0.00000 - 387 180s 3152 21 infeasible 31 - 0.00000 - 387 185s 3268 19 infeasible 28 - 0.00000 - 386 190s 3371 20 0.00000 27 355 - 0.00000 - 387 195s 3464 17 infeasible 28 - 0.00000 - 389 200s 3555 26 0.00000 31 349 - 0.00000 - 390 205s 3652 27 infeasible 32 - 0.00000 - 392 210s 3753 16 infeasible 27 - 0.00000 - 392 215s 3859 18 0.00000 25 362 - 0.00000 - 393 220s 3955 16 infeasible 28 - 0.00000 - 394 225s 4038 15 infeasible 27 - 0.00000 - 396 230s 4134 13 infeasible 28 - 0.00000 - 397 235s 4235 14 infeasible 29 - 0.00000 - 398 240s 4328 15 infeasible 30 - 0.00000 - 399 245s 4415 14 0.00000 28 355 - 0.00000 - 400 250s 4500 7 infeasible 26 - 0.00000 - 402 255s 4594 13 infeasible 23 - 0.00000 - 403 260s 4676 11 infeasible 26 - 0.00000 - 404 265s 4771 12 infeasible 30 - 0.00000 - 405 270s 4867 10 infeasible 26 - 0.00000 - 405 275s 4950 7 0.00000 23 369 - 0.00000 - 407 280s Cutting planes: Clique: 8 Zero half: 21 Explored 4979 nodes (2068260 simplex iterations) in 281.66 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