current bounds on the number of colors: 0 -- 160 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:19:59 2012 Optimize a model with 50240 rows, 13426 columns and 163040 nonzeros Presolve time: 0.17s Presolved: 50240 rows, 13426 columns, 163040 nonzeros Variable types: 0 continuous, 13426 integer (13426 binary) Root relaxation: objective 0.000000e+00, 625 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 (949 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:20:00 2012 Optimize a model with 25200 rows, 7026 columns and 81520 nonzeros Presolve time: 0.13s Presolved: 25200 rows, 7026 columns, 81520 nonzeros Variable types: 0 continuous, 7026 integer (7026 binary) Root relaxation: objective 0.000000e+00, 471 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 (819 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:20:00 2012 Optimize a model with 12680 rows, 3826 columns and 40760 nonzeros Presolve time: 0.05s Presolved: 12680 rows, 3826 columns, 40760 nonzeros Variable types: 0 continuous, 3826 integer (3826 binary) Root relaxation: objective 0.000000e+00, 323 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 (591 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 -- 20 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:20:01 2012 Optimize a model with 6420 rows, 2226 columns and 20380 nonzeros Presolve time: 0.02s Presolved: 6420 rows, 2226 columns, 20380 nonzeros Variable types: 0 continuous, 2226 integer (2226 binary) Root relaxation: objective 0.000000e+00, 335 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.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:20:01 2012 Optimize a model with 3290 rows, 1426 columns and 10190 nonzeros Presolve time: 0.01s Presolved: 3290 rows, 1426 columns, 10190 nonzeros Variable types: 0 continuous, 1426 integer (1426 binary) Root relaxation: objective 0.000000e+00, 366 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 14 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1516 simplex iterations) in 0.05 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:20:01 2012 Optimize a model with 1412 rows, 946 columns and 4076 nonzeros Presolve removed 160 rows and 160 columns Presolve time: 0.00s Presolved: 1252 rows, 786 columns, 3756 nonzeros Variable types: 0 continuous, 786 integer (786 binary) Root relaxation: objective 0.000000e+00, 167 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 160 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (680 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:20:01 2012 Optimize a model with 2038 rows, 1106 columns and 6114 nonzeros Presolve time: 0.01s Presolved: 2038 rows, 1106 columns, 6114 nonzeros Variable types: 0 continuous, 1106 integer (1106 binary) Root relaxation: objective 0.000000e+00, 374 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 310 - 0.00000 - - 0s 0 0 0.00000 0 316 - 0.00000 - - 0s 0 0 0.00000 0 373 - 0.00000 - - 0s 0 0 0.00000 0 446 - 0.00000 - - 0s 0 0 0.00000 0 317 - 0.00000 - - 0s 0 0 0.00000 0 371 - 0.00000 - - 1s 0 0 0.00000 0 373 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Zero half: 343 Explored 0 nodes (13578 simplex iterations) in 1.57 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:20:02 2012 Optimize a model with 2664 rows, 1266 columns and 8152 nonzeros Presolve time: 0.01s Presolved: 2664 rows, 1266 columns, 8152 nonzeros Variable types: 0 continuous, 1266 integer (1266 binary) Root relaxation: objective 0.000000e+00, 363 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 308 - 0.00000 - - 0s 0 0 0.00000 0 308 - 0.00000 - - 0s 0 0 0.00000 0 282 - 0.00000 - - 0s 0 0 0.00000 0 292 - 0.00000 - - 0s 0 0 0.00000 0 306 - 0.00000 - - 0s 0 0 0.00000 0 341 - 0.00000 - - 1s 0 0 0.00000 0 341 - 0.00000 - - 1s 0 2 0.00000 0 341 - 0.00000 - - 1s * 217 3 27 0.0000000 0.00000 0.0% 51.8 1s Cutting planes: Zero half: 15 Explored 218 nodes (24534 simplex iterations) in 1.99 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