current bounds on the number of colors: 0 -- 166 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:06:22 2012 Optimize a model with 57187 rows, 14465 columns and 184841 nonzeros Presolve time: 0.17s Presolved: 57187 rows, 14465 columns, 184841 nonzeros Variable types: 0 continuous, 14465 integer (14465 binary) Root relaxation: objective 0.000000e+00, 552 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 (881 simplex iterations) in 0.30 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 -- 83 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:06:23 2012 Optimize a model with 28333 rows, 7493 columns and 91307 nonzeros Presolve time: 0.14s Presolved: 28333 rows, 7493 columns, 91307 nonzeros Variable types: 0 continuous, 7493 integer (7493 binary) Root relaxation: objective 0.000000e+00, 517 iterations, 0.03 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 (889 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 -- 41 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 20:06:24 2012 Optimize a model with 13906 rows, 4007 columns and 44540 nonzeros Presolve time: 0.05s Presolved: 13906 rows, 4007 columns, 44540 nonzeros Variable types: 0 continuous, 4007 integer (4007 binary) Root relaxation: objective 0.000000e+00, 360 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 (649 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 20:06:24 2012 Optimize a model with 7036 rows, 2347 columns and 22270 nonzeros Presolve time: 0.02s Presolved: 7036 rows, 2347 columns, 22270 nonzeros Variable types: 0 continuous, 2347 integer (2347 binary) Root relaxation: objective 0.000000e+00, 352 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 (646 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 20:06:24 2012 Optimize a model with 3601 rows, 1517 columns and 11135 nonzeros Presolve time: 0.01s Presolved: 3601 rows, 1517 columns, 11135 nonzeros Variable types: 0 continuous, 1517 integer (1517 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 (2688 simplex iterations) in 0.15 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 20:06:24 2012 Optimize a model with 1540 rows, 1019 columns and 4454 nonzeros Presolve removed 166 rows and 166 columns Presolve time: 0.00s Presolved: 1374 rows, 853 columns, 4122 nonzeros Variable types: 0 continuous, 853 integer (853 binary) Root relaxation: objective 0.000000e+00, 172 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 166 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (711 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 20:06:24 2012 Optimize a model with 2227 rows, 1185 columns and 6681 nonzeros Presolve time: 0.01s Presolved: 2227 rows, 1185 columns, 6681 nonzeros Variable types: 0 continuous, 1185 integer (1185 binary) Root relaxation: objective 0.000000e+00, 399 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 312 - 0.00000 - - 0s 0 0 0.00000 0 316 - 0.00000 - - 0s 0 0 0.00000 0 418 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 30 Zero half: 583 Explored 0 nodes (7038 simplex iterations) in 0.75 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 20:06:25 2012 Optimize a model with 2914 rows, 1351 columns and 8908 nonzeros Presolve time: 0.01s Presolved: 2914 rows, 1351 columns, 8908 nonzeros Variable types: 0 continuous, 1351 integer (1351 binary) Root relaxation: objective 0.000000e+00, 403 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 304 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 0s 0 0 0.00000 0 296 - 0.00000 - - 0s 0 0 0.00000 0 313 - 0.00000 - - 0s 0 0 0.00000 0 294 - 0.00000 - - 0s 0 0 0.00000 0 292 - 0.00000 - - 1s 0 0 0.00000 0 276 - 0.00000 - - 1s 0 0 0.00000 0 274 - 0.00000 - - 1s 0 0 0.00000 0 274 - 0.00000 - - 1s 0 0 0.00000 0 268 - 0.00000 - - 2s 0 0 0.00000 0 216 - 0.00000 - - 2s 0 0 0.00000 0 212 - 0.00000 - - 2s 0 0 0.00000 0 231 - 0.00000 - - 2s 0 0 0.00000 0 198 - 0.00000 - - 3s 0 0 0.00000 0 200 - 0.00000 - - 3s 0 0 0.00000 0 217 - 0.00000 - - 3s 0 0 0.00000 0 217 - 0.00000 - - 3s 0 2 0.00000 0 217 - 0.00000 - - 4s 97 31 0.00000 17 309 - 0.00000 - 121 5s 707 71 0.00000 16 234 - 0.00000 - 83.2 10s 724 80 0.00000 15 254 - 0.00000 - 125 15s * 1053 2 25 0.0000000 0.00000 0.0% 142 18s Cutting planes: Zero half: 10 Explored 1054 nodes (190401 simplex iterations) in 18.26 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