current bounds on the number of colors: 0 -- 155 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:54:27 2012 Optimize a model with 50590 rows, 12590 columns and 163240 nonzeros Presolve time: 0.16s Presolved: 50590 rows, 12590 columns, 163240 nonzeros Variable types: 0 continuous, 12590 integer (12590 binary) Root relaxation: objective 0.000000e+00, 592 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 (935 simplex iterations) in 0.28 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 -- 77 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:54:28 2012 Optimize a model with 25045 rows, 6545 columns and 80560 nonzeros Presolve time: 0.13s Presolved: 25045 rows, 6545 columns, 80560 nonzeros Variable types: 0 continuous, 6545 integer (6545 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (711 simplex iterations) in 0.18 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 -- 38 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:54:28 2012 Optimize a model with 12600 rows, 3600 columns and 40280 nonzeros Presolve time: 0.05s Presolved: 12600 rows, 3600 columns, 40280 nonzeros Variable types: 0 continuous, 3600 integer (3600 binary) Root relaxation: objective 0.000000e+00, 329 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 (607 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 -- 19 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:54:29 2012 Optimize a model with 6050 rows, 2050 columns and 19080 nonzeros Presolve time: 0.02s Presolved: 6050 rows, 2050 columns, 19080 nonzeros Variable types: 0 continuous, 2050 integer (2050 binary) Root relaxation: objective 0.000000e+00, 336 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:54:29 2012 Optimize a model with 2775 rows, 1275 columns and 8480 nonzeros Presolve time: 0.01s Presolved: 2775 rows, 1275 columns, 8480 nonzeros Variable types: 0 continuous, 1275 integer (1275 binary) Root relaxation: objective 0.000000e+00, 353 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 282 - 0.00000 - - 0s 0 0 0.00000 0 262 - 0.00000 - - 0s 0 0 0.00000 0 334 - 0.00000 - - 0s 0 0 0.00000 0 393 - 0.00000 - - 0s 0 0 0.00000 0 316 - 0.00000 - - 1s 0 0 0.00000 0 374 - 0.00000 - - 1s 0 0 0.00000 0 312 - 0.00000 - - 2s 0 0 0.00000 0 319 - 0.00000 - - 2s 0 0 0.00000 0 319 - 0.00000 - - 2s 0 2 0.00000 0 319 - 0.00000 - - 3s 600 70 0.00000 11 240 - 0.00000 - 70.0 5s 619 85 0.00000 16 374 - 0.00000 - 68.8 10s 1068 73 infeasible 26 - 0.00000 - 126 15s 1624 117 infeasible 26 - 0.00000 - 139 20s 2199 112 0.00000 22 232 - 0.00000 - 146 25s 2701 122 infeasible 25 - 0.00000 - 151 30s 3217 116 0.00000 27 302 - 0.00000 - 154 35s 3765 94 infeasible 29 - 0.00000 - 155 40s 4298 95 infeasible 28 - 0.00000 - 157 45s 4804 71 0.00000 23 246 - 0.00000 - 159 50s 5362 87 0.00000 21 256 - 0.00000 - 159 55s 5907 94 infeasible 29 - 0.00000 - 159 60s 6399 74 infeasible 25 - 0.00000 - 161 65s 6878 85 0.00000 25 212 - 0.00000 - 162 70s 7364 109 0.00000 25 266 - 0.00000 - 163 75s 7859 102 0.00000 27 281 - 0.00000 - 164 80s 8336 87 infeasible 27 - 0.00000 - 166 85s 8839 104 0.00000 27 214 - 0.00000 - 166 90s 9375 63 infeasible 28 - 0.00000 - 167 95s 9843 40 infeasible 23 - 0.00000 - 167 100s 10328 17 0.00000 27 248 - 0.00000 - 168 105s Cutting planes: Gomory: 4 Clique: 1 Zero half: 6 Explored 10470 nodes (1783049 simplex iterations) in 106.60 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 4 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:56:15 2012 Optimize a model with 4085 rows, 1585 columns and 12720 nonzeros Presolve time: 0.01s Presolved: 4085 rows, 1585 columns, 12720 nonzeros Variable types: 0 continuous, 1585 integer (1585 binary) Root relaxation: objective 0.000000e+00, 346 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 (995 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 18:56:16 2012 Optimize a model with 3430 rows, 1430 columns and 10600 nonzeros Presolve time: 0.01s Presolved: 3430 rows, 1430 columns, 10600 nonzeros Variable types: 0 continuous, 1430 integer (1430 binary) Root relaxation: objective 0.000000e+00, 378 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 125 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3250 simplex iterations) in 0.18 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: 5