current bounds on the number of colors: 0 -- 177 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:38:20 2012 Optimize a model with 72689 rows, 16400 columns and 233112 nonzeros Presolve time: 0.23s Presolved: 72689 rows, 16400 columns, 233112 nonzeros Variable types: 0 continuous, 16400 integer (16400 binary) Root relaxation: objective 0.000000e+00, 685 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 (1113 simplex iterations) in 0.40 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:38:21 2012 Optimize a model with 36433 rows, 8612 columns and 116556 nonzeros Presolve time: 0.15s Presolved: 36433 rows, 8612 columns, 116556 nonzeros Variable types: 0 continuous, 8612 integer (8612 binary) Root relaxation: objective 0.000000e+00, 460 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 (816 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:38:22 2012 Optimize a model with 18305 rows, 4718 columns and 58278 nonzeros Presolve time: 0.07s Presolved: 18305 rows, 4718 columns, 58278 nonzeros Variable types: 0 continuous, 4718 integer (4718 binary) Root relaxation: objective 0.000000e+00, 377 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 (712 simplex iterations) in 0.11 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:38:22 2012 Optimize a model with 9241 rows, 2771 columns and 29139 nonzeros Presolve time: 0.03s Presolved: 9241 rows, 2771 columns, 29139 nonzeros Variable types: 0 continuous, 2771 integer (2771 binary) Root relaxation: objective 0.000000e+00, 377 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 (707 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:38:23 2012 Optimize a model with 4297 rows, 1709 columns and 13245 nonzeros Presolve time: 0.01s Presolved: 4297 rows, 1709 columns, 13245 nonzeros Variable types: 0 continuous, 1709 integer (1709 binary) Root relaxation: objective 0.000000e+00, 376 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 129 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3924 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 23:38:23 2012 Optimize a model with 1825 rows, 1178 columns and 5298 nonzeros Presolve removed 177 rows and 177 columns Presolve time: 0.00s Presolved: 1648 rows, 1001 columns, 4944 nonzeros Variable types: 0 continuous, 1001 integer (1001 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 177 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (772 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:38:23 2012 Optimize a model with 2649 rows, 1355 columns and 7947 nonzeros Presolve time: 0.01s Presolved: 2649 rows, 1355 columns, 7947 nonzeros Variable types: 0 continuous, 1355 integer (1355 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.00000 0 256 - 0.00000 - - 0s 0 0 0.00000 0 355 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (7037 simplex iterations) in 0.74 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:38:24 2012 Optimize a model with 3473 rows, 1532 columns and 10596 nonzeros Presolve time: 0.01s Presolved: 3473 rows, 1532 columns, 10596 nonzeros Variable types: 0 continuous, 1532 integer (1532 binary) Root relaxation: objective 0.000000e+00, 419 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 279 - 0.00000 - - 0s 0 0 0.00000 0 334 - 0.00000 - - 0s 0 0 0.00000 0 395 - 0.00000 - - 1s 0 0 0.00000 0 324 - 0.00000 - - 1s 0 0 0.00000 0 329 - 0.00000 - - 2s 0 0 0.00000 0 326 - 0.00000 - - 2s 0 0 0.00000 0 322 - 0.00000 - - 2s 0 0 0.00000 0 320 - 0.00000 - - 3s 0 0 0.00000 0 320 - 0.00000 - - 3s 0 0 0.00000 0 322 - 0.00000 - - 3s 0 0 0.00000 0 322 - 0.00000 - - 4s 0 2 0.00000 0 322 - 0.00000 - - 4s 53 20 infeasible 20 - 0.00000 - 180 5s 804 78 0.00000 16 460 - 0.00000 - 116 10s 808 81 0.00000 19 430 - 0.00000 - 115 15s 813 84 0.00000 18 373 - 0.00000 - 115 21s 818 87 0.00000 17 346 - 0.00000 - 114 25s 1092 49 infeasible 26 - 0.00000 - 182 30s 1397 56 infeasible 27 - 0.00000 - 193 35s 1673 56 infeasible 28 - 0.00000 - 202 40s 1955 50 infeasible 24 - 0.00000 - 208 45s 2218 43 infeasible 27 - 0.00000 - 214 50s 2502 43 infeasible 29 - 0.00000 - 218 55s 2766 35 infeasible 27 - 0.00000 - 222 60s 3021 2 infeasible 22 - 0.00000 - 225 65s Cutting planes: Gomory: 1 Zero half: 5 Explored 3046 nodes (724602 simplex iterations) in 65.63 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