current bounds on the number of colors: 0 -- 196 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:30:46 2012 Optimize a model with 93492 rows, 20160 columns and 299096 nonzeros Presolve time: 0.31s Presolved: 93492 rows, 20160 columns, 299096 nonzeros Variable types: 0 continuous, 20160 integer (20160 binary) Root relaxation: objective 0.000000e+00, 757 iterations, 0.08 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 (1205 simplex iterations) in 0.52 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 -- 98 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:30:47 2012 Optimize a model with 46844 rows, 10556 columns and 149548 nonzeros Presolve time: 0.16s Presolved: 46844 rows, 10556 columns, 149548 nonzeros Variable types: 0 continuous, 10556 integer (10556 binary) Root relaxation: objective 0.000000e+00, 562 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 (968 simplex iterations) in 0.25 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 -- 49 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:30:48 2012 Optimize a model with 23044 rows, 5656 columns and 73248 nonzeros Presolve time: 0.09s Presolved: 23044 rows, 5656 columns, 73248 nonzeros Variable types: 0 continuous, 5656 integer (5656 binary) Root relaxation: objective 0.000000e+00, 451 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 (847 simplex iterations) in 0.14 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:30:49 2012 Optimize a model with 11620 rows, 3304 columns and 36624 nonzeros Presolve time: 0.04s Presolved: 11620 rows, 3304 columns, 36624 nonzeros Variable types: 0 continuous, 3304 integer (3304 binary) Root relaxation: objective 0.000000e+00, 410 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.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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:30:49 2012 Optimize a model with 5908 rows, 2128 columns and 18312 nonzeros Presolve time: 0.02s Presolved: 5908 rows, 2128 columns, 18312 nonzeros Variable types: 0 continuous, 2128 integer (2128 binary) Root relaxation: objective 0.000000e+00, 420 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 (935 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:30:49 2012 Optimize a model with 3052 rows, 1540 columns and 9156 nonzeros Presolve time: 0.01s Presolved: 3052 rows, 1540 columns, 9156 nonzeros Variable types: 0 continuous, 1540 integer (1540 binary) Root relaxation: objective 0.000000e+00, 439 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 390 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 0s 0 0 0.00000 0 515 - 0.00000 - - 1s 0 0 0.00000 0 546 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Zero half: 1037 Explored 0 nodes (9954 simplex iterations) in 1.82 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:30:51 2012 Optimize a model with 4004 rows, 1736 columns and 12208 nonzeros Presolve time: 0.01s Presolved: 4004 rows, 1736 columns, 12208 nonzeros Variable types: 0 continuous, 1736 integer (1736 binary) Root relaxation: objective 0.000000e+00, 453 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 380 - 0.00000 - - 0s 0 0 0.00000 0 378 - 0.00000 - - 0s 0 0 0.00000 0 348 - 0.00000 - - 0s 0 0 0.00000 0 537 - 0.00000 - - 0s 0 0 0.00000 0 326 - 0.00000 - - 1s 0 0 0.00000 0 324 - 0.00000 - - 2s 0 0 0.00000 0 341 - 0.00000 - - 2s 0 0 0.00000 0 328 - 0.00000 - - 3s 0 0 0.00000 0 324 - 0.00000 - - 3s 0 0 0.00000 0 328 - 0.00000 - - 4s 0 0 0.00000 0 330 - 0.00000 - - 4s 0 0 0.00000 0 328 - 0.00000 - - 5s 0 0 0.00000 0 326 - 0.00000 - - 5s 0 0 0.00000 0 318 - 0.00000 - - 6s 0 0 0.00000 0 316 - 0.00000 - - 6s 0 0 0.00000 0 316 - 0.00000 - - 6s 0 0 0.00000 0 316 - 0.00000 - - 7s 0 2 0.00000 0 316 - 0.00000 - - 8s 253 61 0.00000 18 350 - 0.00000 - 130 10s 607 86 0.00000 13 342 - 0.00000 - 129 16s 610 88 0.00000 14 308 - 0.00000 - 128 21s 613 90 0.00000 13 303 - 0.00000 - 127 26s 688 108 infeasible 25 - 0.00000 - 202 30s 980 104 infeasible 23 - 0.00000 - 206 35s 1291 111 infeasible 29 - 0.00000 - 207 40s 1608 112 infeasible 23 - 0.00000 - 209 45s 1871 97 infeasible 22 - 0.00000 - 217 50s 2175 101 0.00000 22 356 - 0.00000 - 216 55s 2467 75 infeasible 26 - 0.00000 - 217 60s 2747 67 0.00000 26 365 - 0.00000 - 219 65s 2995 71 0.00000 24 382 - 0.00000 - 222 70s 3256 72 infeasible 27 - 0.00000 - 225 75s 3472 58 infeasible 28 - 0.00000 - 228 80s 3692 40 infeasible 28 - 0.00000 - 232 85s 3923 43 0.00000 23 427 - 0.00000 - 234 90s 4123 21 infeasible 23 - 0.00000 - 237 95s 4355 23 0.00000 24 354 - 0.00000 - 238 100s 4581 17 0.00000 22 348 - 0.00000 - 240 105s 4820 20 0.00000 27 392 - 0.00000 - 241 110s 5047 7 infeasible 23 - 0.00000 - 242 115s Cutting planes: Zero half: 10 Explored 5247 nodes (1334872 simplex iterations) in 119.47 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:32:50 2012 Optimize a model with 4956 rows, 1932 columns and 15260 nonzeros Presolve time: 0.01s Presolved: 4956 rows, 1932 columns, 15260 nonzeros Variable types: 0 continuous, 1932 integer (1932 binary) Root relaxation: objective 0.000000e+00, 432 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 281 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (5616 simplex iterations) in 0.53 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