current bounds on the number of colors: 0 -- 176 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:01:21 2012 Optimize a model with 69080 rows, 16271 columns and 222200 nonzeros Presolve time: 0.22s Presolved: 69080 rows, 16271 columns, 222200 nonzeros Variable types: 0 continuous, 16271 integer (16271 binary) Root relaxation: objective 0.000000e+00, 694 iterations, 0.07 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 (1107 simplex iterations) in 0.39 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 -- 88 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:01:23 2012 Optimize a model with 34628 rows, 8527 columns and 111100 nonzeros Presolve time: 0.15s Presolved: 34628 rows, 8527 columns, 111100 nonzeros Variable types: 0 continuous, 8527 integer (8527 binary) Root relaxation: objective 0.000000e+00, 546 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 (913 simplex iterations) in 0.22 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 -- 44 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:01:23 2012 Optimize a model with 17402 rows, 4655 columns and 55550 nonzeros Presolve time: 0.07s Presolved: 17402 rows, 4655 columns, 55550 nonzeros Variable types: 0 continuous, 4655 integer (4655 binary) Root relaxation: objective 0.000000e+00, 402 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 (743 simplex iterations) in 0.10 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 -- 22 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:01:24 2012 Optimize a model with 8789 rows, 2719 columns and 27775 nonzeros Presolve time: 0.03s Presolved: 8789 rows, 2719 columns, 27775 nonzeros Variable types: 0 continuous, 2719 integer (2719 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (699 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 -- 11 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:01:24 2012 Optimize a model with 4091 rows, 1663 columns and 12625 nonzeros Presolve time: 0.01s Presolved: 4091 rows, 1663 columns, 12625 nonzeros Variable types: 0 continuous, 1663 integer (1663 binary) Root relaxation: objective 0.000000e+00, 388 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 (1738 simplex iterations) in 0.09 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 23:01:24 2012 Optimize a model with 1742 rows, 1135 columns and 5050 nonzeros Presolve removed 176 rows and 176 columns Presolve time: 0.00s Presolved: 1566 rows, 959 columns, 4698 nonzeros Variable types: 0 continuous, 959 integer (959 binary) Root relaxation: objective 0.000000e+00, 184 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 176 - 0.00000 - - 0s Explored 0 nodes (757 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 23:01:24 2012 Optimize a model with 2525 rows, 1311 columns and 7575 nonzeros Presolve time: 0.01s Presolved: 2525 rows, 1311 columns, 7575 nonzeros Variable types: 0 continuous, 1311 integer (1311 binary) Root relaxation: objective 0.000000e+00, 428 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 254 - 0.00000 - - 0s 0 0 0.00000 0 385 - 0.00000 - - 0s 0 0 0.00000 0 445 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 34 Zero half: 749 Explored 0 nodes (11103 simplex iterations) in 1.24 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 23:01:25 2012 Optimize a model with 3308 rows, 1487 columns and 10100 nonzeros Presolve time: 0.01s Presolved: 3308 rows, 1487 columns, 10100 nonzeros Variable types: 0 continuous, 1487 integer (1487 binary) Root relaxation: objective 0.000000e+00, 407 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 332 - 0.00000 - - 0s 0 0 0.00000 0 314 - 0.00000 - - 0s 0 0 0.00000 0 334 - 0.00000 - - 0s 0 0 0.00000 0 376 - 0.00000 - - 0s 0 0 0.00000 0 324 - 0.00000 - - 1s 0 0 0.00000 0 320 - 0.00000 - - 1s 0 0 0.00000 0 318 - 0.00000 - - 1s 0 0 0.00000 0 318 - 0.00000 - - 1s 0 0 0.00000 0 310 - 0.00000 - - 2s 0 0 0.00000 0 304 - 0.00000 - - 2s 0 0 0.00000 0 308 - 0.00000 - - 2s 0 0 0.00000 0 298 - 0.00000 - - 3s 0 0 0.00000 0 286 - 0.00000 - - 3s 0 0 0.00000 0 284 - 0.00000 - - 3s 0 0 0.00000 0 270 - 0.00000 - - 4s 0 0 0.00000 0 266 - 0.00000 - - 4s 0 0 0.00000 0 254 - 0.00000 - - 4s 0 0 0.00000 0 242 - 0.00000 - - 5s 0 0 0.00000 0 234 - 0.00000 - - 5s 0 0 0.00000 0 240 - 0.00000 - - 5s 0 0 0.00000 0 240 - 0.00000 - - 5s 0 2 0.00000 0 240 - 0.00000 - - 6s 604 201 0.00000 17 443 - 0.00000 - 86.7 10s 609 204 0.00000 13 374 - 0.00000 - 86.0 15s 612 206 0.00000 17 346 - 0.00000 - 85.6 20s 623 212 0.00000 13 315 - 0.00000 - 159 25s 1048 107 infeasible 28 - 0.00000 - 158 30s 1487 68 infeasible 26 - 0.00000 - 164 35s 1941 114 0.00000 27 294 - 0.00000 - 169 40s 2445 182 infeasible 26 - 0.00000 - 169 45s 2873 144 infeasible 24 - 0.00000 - 173 50s 3303 182 0.00000 22 288 - 0.00000 - 176 55s 3710 151 infeasible 26 - 0.00000 - 179 60s 4143 150 infeasible 24 - 0.00000 - 181 65s 4587 126 infeasible 27 - 0.00000 - 182 70s 5033 108 infeasible 23 - 0.00000 - 183 75s 5485 86 infeasible 22 - 0.00000 - 183 80s 5883 66 0.00000 18 388 - 0.00000 - 185 85s 6389 44 infeasible 23 - 0.00000 - 185 90s Cutting planes: Zero half: 1 Explored 6768 nodes (1312809 simplex iterations) in 94.50 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5