current bounds on the number of colors: 0 -- 194 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:31:16 2012 Optimize a model with 94769 rows, 19793 columns and 302543 nonzeros Presolve time: 0.31s Presolved: 94769 rows, 19793 columns, 302543 nonzeros Variable types: 0 continuous, 19793 integer (19793 binary) Root relaxation: objective 0.000000e+00, 814 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 (1320 simplex iterations) in 0.54 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 -- 97 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:31:18 2012 Optimize a model with 46994 rows, 10287 columns and 149712 nonzeros Presolve time: 0.16s Presolved: 46994 rows, 10287 columns, 149712 nonzeros Variable types: 0 continuous, 10287 integer (10287 binary) Root relaxation: objective 0.000000e+00, 674 iterations, 0.06 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 (1157 simplex iterations) in 0.28 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 -- 48 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:31:19 2012 Optimize a model with 23594 rows, 5631 columns and 74856 nonzeros Presolve time: 0.10s Presolved: 23594 rows, 5631 columns, 74856 nonzeros Variable types: 0 continuous, 5631 integer (5631 binary) Root relaxation: objective 0.000000e+00, 452 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 (830 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:31:19 2012 Optimize a model with 11894 rows, 3303 columns and 37428 nonzeros Presolve time: 0.04s Presolved: 11894 rows, 3303 columns, 37428 nonzeros Variable types: 0 continuous, 3303 integer (3303 binary) Root relaxation: objective 0.000000e+00, 408 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 (815 simplex iterations) in 0.07 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:31:20 2012 Optimize a model with 6044 rows, 2139 columns and 18714 nonzeros Presolve time: 0.02s Presolved: 6044 rows, 2139 columns, 18714 nonzeros Variable types: 0 continuous, 2139 integer (2139 binary) Root relaxation: objective 0.000000e+00, 414 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 (1648 simplex iterations) in 0.07 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 06:31:20 2012 Optimize a model with 3119 rows, 1557 columns and 9357 nonzeros Presolve time: 0.01s Presolved: 3119 rows, 1557 columns, 9357 nonzeros Variable types: 0 continuous, 1557 integer (1557 binary) Root relaxation: objective 0.000000e+00, 431 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 388 - 0.00000 - - 0s 0 0 0.00000 0 384 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4904 simplex iterations) in 0.56 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 06:31:20 2012 Optimize a model with 4094 rows, 1751 columns and 12476 nonzeros Presolve time: 0.01s Presolved: 4094 rows, 1751 columns, 12476 nonzeros Variable types: 0 continuous, 1751 integer (1751 binary) Root relaxation: objective 0.000000e+00, 448 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 376 - 0.00000 - - 0s 0 0 0.00000 0 370 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 1s 0 0 0.00000 0 460 - 0.00000 - - 1s 0 0 0.00000 0 382 - 0.00000 - - 2s 0 0 0.00000 0 354 - 0.00000 - - 2s 0 0 0.00000 0 350 - 0.00000 - - 3s 0 0 0.00000 0 343 - 0.00000 - - 3s 0 0 0.00000 0 351 - 0.00000 - - 4s 0 0 0.00000 0 332 - 0.00000 - - 5s 0 0 0.00000 0 334 - 0.00000 - - 5s 0 0 0.00000 0 336 - 0.00000 - - 6s 0 0 0.00000 0 342 - 0.00000 - - 7s 0 0 0.00000 0 342 - 0.00000 - - 7s 0 2 0.00000 0 342 - 0.00000 - - 8s 185 15 0.00000 8 367 - 0.00000 - 154 10s 610 45 0.00000 4 496 - 0.00000 - 132 15s 613 47 0.00000 5 358 - 0.00000 - 131 21s 615 48 0.00000 12 374 - 0.00000 - 131 25s 617 50 0.00000 10 459 - 0.00000 - 130 30s 621 52 0.00000 8 442 - 0.00000 - 130 35s 752 32 0.00000 18 401 - 0.00000 - 231 40s 917 54 infeasible 19 - 0.00000 - 246 45s 1096 59 0.00000 24 474 - 0.00000 - 256 50s 1254 51 infeasible 26 - 0.00000 - 268 55s 1428 39 0.00000 22 411 - 0.00000 - 274 60s 1577 24 0.00000 17 356 - 0.00000 - 281 65s 1718 7 0.00000 18 464 - 0.00000 - 288 70s Cutting planes: Gomory: 1 Zero half: 21 Explored 1750 nodes (564609 simplex iterations) in 71.39 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 06:32:32 2012 Optimize a model with 5069 rows, 1945 columns and 15595 nonzeros Presolve time: 0.01s Presolved: 5069 rows, 1945 columns, 15595 nonzeros Variable types: 0 continuous, 1945 integer (1945 binary) Root relaxation: objective 0.000000e+00, 437 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 274 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 13 Clique: 35 MIR: 1 Zero half: 112 Explored 0 nodes (8569 simplex iterations) in 0.93 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