current bounds on the number of colors: 0 -- 148 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:26:03 2012 Optimize a model with 87542 rows, 12133 columns and 273134 nonzeros Presolve time: 0.25s Presolved: 87542 rows, 12133 columns, 273134 nonzeros Variable types: 0 continuous, 12133 integer (12133 binary) Root relaxation: objective 0.000000e+00, 343 iterations, 0.10 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 (990 simplex iterations) in 0.55 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 -- 74 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:26:04 2012 Optimize a model with 43845 rows, 6657 columns and 136567 nonzeros Presolve time: 0.15s Presolved: 43845 rows, 6657 columns, 136567 nonzeros Variable types: 0 continuous, 6657 integer (6657 binary) Root relaxation: objective 0.000000e+00, 349 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 (775 simplex iterations) in 0.27 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 -- 37 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 17:26:05 2012 Optimize a model with 21406 rows, 3845 columns and 66438 nonzeros Presolve time: 0.07s Presolved: 21406 rows, 3845 columns, 66438 nonzeros Variable types: 0 continuous, 3845 integer (3845 binary) Root relaxation: objective 0.000000e+00, 412 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 (1116 simplex iterations) in 0.15 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 17:26:05 2012 Optimize a model with 10777 rows, 2513 columns and 33219 nonzeros Presolve time: 0.03s Presolved: 10777 rows, 2513 columns, 33219 nonzeros Variable types: 0 continuous, 2513 integer (2513 binary) Root relaxation: objective 0.000000e+00, 318 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 (1427 simplex iterations) in 0.10 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 17:26:06 2012 Optimize a model with 4872 rows, 1773 columns and 14764 nonzeros Presolve time: 0.01s Presolved: 4872 rows, 1773 columns, 14764 nonzeros Variable types: 0 continuous, 1773 integer (1773 binary) Root relaxation: objective 0.000000e+00, 311 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 296 - 0.00000 - - 0s 0 0 0.00000 0 306 - 0.00000 - - 1s 0 0 0.00000 0 493 - 0.00000 - - 2s 0 0 0.00000 0 506 - 0.00000 - - 3s 0 0 0.00000 0 489 - 0.00000 - - 4s 0 0 0.00000 0 493 - 0.00000 - - 5s 0 0 0.00000 0 496 - 0.00000 - - 6s 0 0 0.00000 0 496 - 0.00000 - - 6s 0 0 0.00000 0 496 - 0.00000 - - 7s 0 2 0.00000 0 496 - 0.00000 - - 8s Cutting planes: Clique: 27 Zero half: 12 Explored 5 nodes (44950 simplex iterations) in 9.15 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 17:26:15 2012 Optimize a model with 7234 rows, 2069 columns and 22146 nonzeros Presolve time: 0.02s Presolved: 7234 rows, 2069 columns, 22146 nonzeros Variable types: 0 continuous, 2069 integer (2069 binary) Root relaxation: objective 0.000000e+00, 317 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 202 - 0.00000 - - 0s 0 0 0.00000 0 218 - 0.00000 - - 0s 0 0 0.00000 0 216 - 0.00000 - - 1s 0 0 0.00000 0 443 - 0.00000 - - 1s 0 0 0.00000 0 357 - 0.00000 - - 3s 0 0 0.00000 0 403 - 0.00000 - - 4s 0 0 0.00000 0 451 - 0.00000 - - 5s 0 0 0.00000 0 405 - 0.00000 - - 7s 0 0 0.00000 0 400 - 0.00000 - - 7s 0 0 0.00000 0 399 - 0.00000 - - 8s 0 0 0.00000 0 388 - 0.00000 - - 9s 0 0 0.00000 0 375 - 0.00000 - - 10s 0 0 0.00000 0 370 - 0.00000 - - 11s 0 0 0.00000 0 365 - 0.00000 - - 11s 0 0 0.00000 0 366 - 0.00000 - - 12s 0 0 0.00000 0 366 - 0.00000 - - 12s 0 2 0.00000 0 366 - 0.00000 - - 14s 16 16 0.00000 12 302 - 0.00000 - 472 15s * 507 0 41 0.0000000 0.00000 0.0% 95.6 17s Cutting planes: Clique: 11 Zero half: 26 Explored 508 nodes (113507 simplex iterations) in 17.92 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 17:26:33 2012 Optimize a model with 6053 rows, 1921 columns and 18455 nonzeros Presolve time: 0.02s Presolved: 6053 rows, 1921 columns, 18455 nonzeros Variable types: 0 continuous, 1921 integer (1921 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 296 - 0.00000 - - 0s 0 0 0.00000 0 288 - 0.00000 - - 0s 0 0 0.00000 0 428 - 0.00000 - - 2s 0 0 0.00000 0 448 - 0.00000 - - 2s 0 0 0.00000 0 324 - 0.00000 - - 4s 0 0 0.00000 0 373 - 0.00000 - - 6s 0 0 0.00000 0 385 - 0.00000 - - 7s 0 0 0.00000 0 431 - 0.00000 - - 9s 0 0 0.00000 0 396 - 0.00000 - - 10s 0 2 0.00000 0 396 - 0.00000 - - 12s 56 18 infeasible 16 - 0.00000 - 388 15s 185 54 infeasible 18 - 0.00000 - 317 20s 353 60 0.00000 13 385 - 0.00000 - 269 25s 495 55 0.00000 15 385 - 0.00000 - 267 30s 613 52 0.00000 13 406 - 0.00000 - 276 35s 711 64 0.00000 13 428 - 0.00000 - 272 41s 713 66 0.00000 12 428 - 0.00000 - 271 46s 714 66 0.00000 11 421 - 0.00000 - 271 51s 715 67 0.00000 16 414 - 0.00000 - 270 55s 717 68 0.00000 11 407 - 0.00000 - 269 61s 719 70 0.00000 13 415 - 0.00000 - 269 67s 721 71 0.00000 7 407 - 0.00000 - 268 73s 722 72 0.00000 12 402 - 0.00000 - 268 76s 724 73 0.00000 13 398 - 0.00000 - 267 82s 725 74 0.00000 8 397 - 0.00000 - 266 86s 726 74 0.00000 13 396 - 0.00000 - 266 90s 731 78 0.00000 6 395 - 0.00000 - 264 95s 789 70 infeasible 21 - 0.00000 - 380 100s 852 52 infeasible 21 - 0.00000 - 392 105s 918 26 infeasible 24 - 0.00000 - 402 110s 989 14 0.00000 23 390 - 0.00000 - 408 115s 1050 11 0.00000 14 410 - 0.00000 - 415 120s 1120 21 infeasible 23 - 0.00000 - 419 125s 1173 14 infeasible 20 - 0.00000 - 429 130s 1234 17 0.00000 20 404 - 0.00000 - 435 135s 1289 14 0.00000 18 410 - 0.00000 - 443 140s 1354 13 infeasible 23 - 0.00000 - 447 145s 1412 7 infeasible 21 - 0.00000 - 452 150s Cutting planes: Clique: 14 Zero half: 21 Explored 1462 nodes (712714 simplex iterations) in 154.28 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 6