current bounds on the number of colors: 0 -- 161 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:24:52 2012 Optimize a model with 52001 rows, 13528 columns and 168400 nonzeros Presolve time: 0.17s Presolved: 52001 rows, 13528 columns, 168400 nonzeros Variable types: 0 continuous, 13528 integer (13528 binary) Root relaxation: objective 0.000000e+00, 587 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 (959 simplex iterations) in 0.29 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 -- 80 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:24:53 2012 Optimize a model with 26081 rows, 7088 columns and 84200 nonzeros Presolve time: 0.13s Presolved: 26081 rows, 7088 columns, 84200 nonzeros Variable types: 0 continuous, 7088 integer (7088 binary) Root relaxation: objective 0.000000e+00, 480 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 (841 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 -- 40 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:24:54 2012 Optimize a model with 13121 rows, 3868 columns and 42100 nonzeros Presolve time: 0.05s Presolved: 13121 rows, 3868 columns, 42100 nonzeros Variable types: 0 continuous, 3868 integer (3868 binary) Root relaxation: objective 0.000000e+00, 365 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 (621 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 -- 20 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:24:54 2012 Optimize a model with 6641 rows, 2258 columns and 21050 nonzeros Presolve time: 0.02s Presolved: 6641 rows, 2258 columns, 21050 nonzeros Variable types: 0 continuous, 2258 integer (2258 binary) Root relaxation: objective 0.000000e+00, 343 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 (784 simplex iterations) in 0.04 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:24:54 2012 Optimize a model with 3401 rows, 1453 columns and 10525 nonzeros Presolve time: 0.01s Presolved: 3401 rows, 1453 columns, 10525 nonzeros Variable types: 0 continuous, 1453 integer (1453 binary) Root relaxation: objective 0.000000e+00, 369 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 (1241 simplex iterations) in 0.04 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:24:54 2012 Optimize a model with 1457 rows, 970 columns and 4210 nonzeros Presolve removed 161 rows and 161 columns Presolve time: 0.00s Presolved: 1296 rows, 809 columns, 3888 nonzeros Variable types: 0 continuous, 809 integer (809 binary) Root relaxation: objective 0.000000e+00, 163 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 161 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (705 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:24:54 2012 Optimize a model with 2105 rows, 1131 columns and 6315 nonzeros Presolve time: 0.01s Presolved: 2105 rows, 1131 columns, 6315 nonzeros Variable types: 0 continuous, 1131 integer (1131 binary) Root relaxation: objective 0.000000e+00, 386 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 322 - 0.00000 - - 0s 0 0 0.00000 0 322 - 0.00000 - - 0s 0 0 0.00000 0 406 - 0.00000 - - 0s 0 0 0.00000 0 441 - 0.00000 - - 0s 0 0 0.00000 0 412 - 0.00000 - - 1s 0 0 0.00000 0 418 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Clique: 1 Zero half: 405 Explored 0 nodes (11518 simplex iterations) in 1.52 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:24:56 2012 Optimize a model with 2753 rows, 1292 columns and 8420 nonzeros Presolve time: 0.01s Presolved: 2753 rows, 1292 columns, 8420 nonzeros Variable types: 0 continuous, 1292 integer (1292 binary) Root relaxation: objective 0.000000e+00, 349 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 298 - 0.00000 - - 0s 0 0 0.00000 0 296 - 0.00000 - - 0s 0 0 0.00000 0 274 - 0.00000 - - 0s 0 0 0.00000 0 280 - 0.00000 - - 0s 0 0 0.00000 0 264 - 0.00000 - - 0s 0 0 0.00000 0 262 - 0.00000 - - 0s 0 0 0.00000 0 264 - 0.00000 - - 1s 0 0 0.00000 0 264 - 0.00000 - - 1s 0 0 0.00000 0 254 - 0.00000 - - 1s 0 0 0.00000 0 256 - 0.00000 - - 1s 0 0 0.00000 0 262 - 0.00000 - - 1s 0 0 0.00000 0 262 - 0.00000 - - 1s 0 2 0.00000 0 262 - 0.00000 - - 2s 807 35 0.00000 3 250 - 0.00000 - 59.3 5s 815 41 0.00000 15 288 - 0.00000 - 58.8 10s * 898 16 32 0.0000000 0.00000 0.0% 98.4 11s Cutting planes: Gomory: 1 Zero half: 9 Explored 899 nodes (110678 simplex iterations) in 11.90 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: 4