current bounds on the number of colors: 0 -- 214 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:57:02 2012 Optimize a model with 126260 rows, 24076 columns and 401036 nonzeros Presolve time: 0.44s Presolved: 126260 rows, 24076 columns, 401036 nonzeros Variable types: 0 continuous, 24076 integer (24076 binary) Root relaxation: objective 0.000000e+00, 549 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 (1010 simplex iterations) in 0.77 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 -- 107 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:57:04 2012 Optimize a model with 62648 rows, 12520 columns and 198644 nonzeros Presolve time: 0.18s Presolved: 62648 rows, 12520 columns, 198644 nonzeros Variable types: 0 continuous, 12520 integer (12520 binary) Root relaxation: objective 0.000000e+00, 726 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 (1270 simplex iterations) in 0.35 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 -- 53 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:57:05 2012 Optimize a model with 30842 rows, 6742 columns and 97448 nonzeros Presolve time: 0.13s Presolved: 30842 rows, 6742 columns, 97448 nonzeros Variable types: 0 continuous, 6742 integer (6742 binary) Root relaxation: objective 0.000000e+00, 540 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 (1016 simplex iterations) in 0.19 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:57:06 2012 Optimize a model with 15528 rows, 3960 columns and 48724 nonzeros Presolve time: 0.05s Presolved: 15528 rows, 3960 columns, 48724 nonzeros Variable types: 0 continuous, 3960 integer (3960 binary) Root relaxation: objective 0.000000e+00, 446 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 (874 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:57:06 2012 Optimize a model with 7282 rows, 2462 columns and 22488 nonzeros Presolve time: 0.02s Presolved: 7282 rows, 2462 columns, 22488 nonzeros Variable types: 0 continuous, 2462 integer (2462 binary) Root relaxation: objective 0.000000e+00, 446 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 (2317 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:57:06 2012 Optimize a model with 3748 rows, 1820 columns and 11244 nonzeros Presolve time: 0.01s Presolved: 3748 rows, 1820 columns, 11244 nonzeros Variable types: 0 continuous, 1820 integer (1820 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 338 - 0.00000 - - 0s 0 0 0.00000 0 420 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Explored 0 nodes (9487 simplex iterations) in 1.27 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 14:57:07 2012 Optimize a model with 4926 rows, 2034 columns and 14992 nonzeros Presolve time: 0.01s Presolved: 4926 rows, 2034 columns, 14992 nonzeros Variable types: 0 continuous, 2034 integer (2034 binary) Root relaxation: objective 0.000000e+00, 467 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 426 - 0.00000 - - 0s 0 0 0.00000 0 416 - 0.00000 - - 0s 0 0 0.00000 0 416 - 0.00000 - - 1s 0 0 0.00000 0 560 - 0.00000 - - 1s 0 0 0.00000 0 406 - 0.00000 - - 3s 0 0 0.00000 0 424 - 0.00000 - - 4s 0 0 0.00000 0 412 - 0.00000 - - 5s 0 0 0.00000 0 421 - 0.00000 - - 7s 0 0 0.00000 0 402 - 0.00000 - - 8s 0 0 0.00000 0 425 - 0.00000 - - 9s 0 0 0.00000 0 415 - 0.00000 - - 10s 0 0 0.00000 0 404 - 0.00000 - - 11s 0 0 0.00000 0 410 - 0.00000 - - 12s 0 0 0.00000 0 410 - 0.00000 - - 12s 0 2 0.00000 0 408 - 0.00000 - - 13s 25 13 0.00000 9 543 - 0.00000 - 402 15s 187 23 0.00000 10 543 - 0.00000 - 289 20s 412 55 0.00000 17 374 - 0.00000 - 241 25s 613 56 0.00000 7 416 - 0.00000 - 227 31s 615 58 0.00000 6 416 - 0.00000 - 226 37s 617 59 0.00000 15 408 - 0.00000 - 226 41s 619 60 0.00000 15 418 - 0.00000 - 225 46s 620 61 0.00000 7 380 - 0.00000 - 225 50s 622 62 0.00000 11 397 - 0.00000 - 224 56s 624 64 0.00000 7 377 - 0.00000 - 223 62s 625 64 0.00000 14 384 - 0.00000 - 223 65s 632 69 0.00000 16 534 - 0.00000 - 373 70s 646 66 0.00000 16 546 - 0.00000 - 378 75s 723 40 0.00000 20 449 - 0.00000 - 380 80s Cutting planes: Zero half: 22 Explored 760 nodes (365806 simplex iterations) in 82.54 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 14:58:30 2012 Optimize a model with 6104 rows, 2248 columns and 18740 nonzeros Presolve time: 0.02s Presolved: 6104 rows, 2248 columns, 18740 nonzeros Variable types: 0 continuous, 2248 integer (2248 binary) Root relaxation: objective 0.000000e+00, 450 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 319 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 12 Clique: 47 MIR: 1 Zero half: 34 Explored 0 nodes (5992 simplex iterations) in 0.59 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