current bounds on the number of colors: 0 -- 216 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:06:21 2012 Optimize a model with 128736 rows, 24518 columns and 408888 nonzeros Presolve time: 0.45s Presolved: 128736 rows, 24518 columns, 408888 nonzeros Variable types: 0 continuous, 24518 integer (24518 binary) Root relaxation: objective 0.000000e+00, 572 iterations, 0.16 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 (1012 simplex iterations) in 0.80 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 -- 108 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:06:23 2012 Optimize a model with 64476 rows, 12854 columns and 204444 nonzeros Presolve time: 0.18s Presolved: 64476 rows, 12854 columns, 204444 nonzeros Variable types: 0 continuous, 12854 integer (12854 binary) Root relaxation: objective 0.000000e+00, 794 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 (1395 simplex iterations) in 0.37 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 -- 54 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:06:24 2012 Optimize a model with 32346 rows, 7022 columns and 102222 nonzeros Presolve time: 0.14s Presolved: 32346 rows, 7022 columns, 102222 nonzeros Variable types: 0 continuous, 7022 integer (7022 binary) Root relaxation: objective 0.000000e+00, 537 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 (1002 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 -- 27 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:06:25 2012 Optimize a model with 15686 rows, 3998 columns and 49218 nonzeros Presolve time: 0.05s Presolved: 15686 rows, 3998 columns, 49218 nonzeros Variable types: 0 continuous, 3998 integer (3998 binary) Root relaxation: objective 0.000000e+00, 453 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 (881 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:06:25 2012 Optimize a model with 7356 rows, 2486 columns and 22716 nonzeros Presolve time: 0.02s Presolved: 7356 rows, 2486 columns, 22716 nonzeros Variable types: 0 continuous, 2486 integer (2486 binary) Root relaxation: objective 0.000000e+00, 469 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 94 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3105 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:06:26 2012 Optimize a model with 3786 rows, 1838 columns and 11358 nonzeros Presolve time: 0.01s Presolved: 3786 rows, 1838 columns, 11358 nonzeros Variable types: 0 continuous, 1838 integer (1838 binary) Root relaxation: objective 0.000000e+00, 498 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 430 - 0.00000 - - 0s 0 0 0.00000 0 424 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (7950 simplex iterations) in 1.28 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:06:27 2012 Optimize a model with 4976 rows, 2054 columns and 15144 nonzeros Presolve time: 0.01s Presolved: 4976 rows, 2054 columns, 15144 nonzeros Variable types: 0 continuous, 2054 integer (2054 binary) Root relaxation: objective 0.000000e+00, 486 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 420 - 0.00000 - - 0s 0 0 0.00000 0 422 - 0.00000 - - 0s 0 0 0.00000 0 428 - 0.00000 - - 1s 0 0 0.00000 0 612 - 0.00000 - - 1s 0 0 0.00000 0 400 - 0.00000 - - 3s 0 0 0.00000 0 401 - 0.00000 - - 4s 0 0 0.00000 0 401 - 0.00000 - - 5s 0 0 0.00000 0 382 - 0.00000 - - 6s 0 0 0.00000 0 382 - 0.00000 - - 7s 0 0 0.00000 0 382 - 0.00000 - - 8s 0 2 0.00000 0 382 - 0.00000 - - 10s 266 48 0.00000 17 457 - 0.00000 - 187 15s 501 50 0.00000 13 490 - 0.00000 - 187 20s 605 67 0.00000 12 394 - 0.00000 - 182 27s 607 68 0.00000 15 403 - 0.00000 - 181 32s 608 69 0.00000 16 356 - 0.00000 - 181 36s 610 70 0.00000 17 346 - 0.00000 - 180 41s 612 71 0.00000 4 336 - 0.00000 - 180 48s 613 72 0.00000 20 421 - 0.00000 - 179 51s 629 81 0.00000 17 550 - 0.00000 - 318 55s 715 42 0.00000 16 530 - 0.00000 - 330 60s Cutting planes: Clique: 1 Zero half: 16 Explored 718 nodes (287337 simplex iterations) in 60.27 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 16:07:27 2012 Optimize a model with 6166 rows, 2270 columns and 18930 nonzeros Presolve time: 0.02s Presolved: 6166 rows, 2270 columns, 18930 nonzeros Variable types: 0 continuous, 2270 integer (2270 binary) Root relaxation: objective 0.000000e+00, 477 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 406 - 0.00000 - - 0s 0 0 0.00000 0 396 - 0.00000 - - 0s 0 0 0.00000 0 378 - 0.00000 - - 1s 0 0 0.00000 0 394 - 0.00000 - - 1s 0 0 0.00000 0 366 - 0.00000 - - 2s 0 0 0.00000 0 364 - 0.00000 - - 2s 0 0 0.00000 0 368 - 0.00000 - - 2s 0 0 0.00000 0 342 - 0.00000 - - 3s 0 0 0.00000 0 348 - 0.00000 - - 3s 0 0 0.00000 0 336 - 0.00000 - - 4s 0 0 0.00000 0 348 - 0.00000 - - 4s 0 0 0.00000 0 348 - 0.00000 - - 4s 0 0 0.00000 0 348 - 0.00000 - - 5s 0 2 0.00000 0 348 - 0.00000 - - 5s * 79 2 43 0.0000000 0.00000 0.0% 115 6s Cutting planes: Zero half: 13 Explored 80 nodes (50845 simplex iterations) in 6.78 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% optimal solution found: number of colors: 5