current bounds on the number of colors: 0 -- 202 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:15:27 2012 Optimize a model with 104838 rows, 21438 columns and 334310 nonzeros Presolve time: 0.35s Presolved: 104838 rows, 21438 columns, 334310 nonzeros Variable types: 0 continuous, 21438 integer (21438 binary) Root relaxation: objective 0.000000e+00, 768 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 (1251 simplex iterations) in 0.60 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 -- 101 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:15:29 2012 Optimize a model with 52002 rows, 11136 columns and 165500 nonzeros Presolve time: 0.17s Presolved: 52002 rows, 11136 columns, 165500 nonzeros Variable types: 0 continuous, 11136 integer (11136 binary) Root relaxation: objective 0.000000e+00, 550 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 (959 simplex iterations) in 0.27 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 -- 50 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:15:30 2012 Optimize a model with 26102 rows, 6086 columns and 82750 nonzeros Presolve time: 0.11s Presolved: 26102 rows, 6086 columns, 82750 nonzeros Variable types: 0 continuous, 6086 integer (6086 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 (829 simplex iterations) in 0.16 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:15:31 2012 Optimize a model with 12634 rows, 3460 columns and 39720 nonzeros Presolve time: 0.04s Presolved: 12634 rows, 3460 columns, 39720 nonzeros Variable types: 0 continuous, 3460 integer (3460 binary) Root relaxation: objective 0.000000e+00, 423 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 (800 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:15:31 2012 Optimize a model with 6418 rows, 2248 columns and 19860 nonzeros Presolve time: 0.02s Presolved: 6418 rows, 2248 columns, 19860 nonzeros Variable types: 0 continuous, 2248 integer (2248 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1552 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:15:31 2012 Optimize a model with 3310 rows, 1642 columns and 9930 nonzeros Presolve time: 0.01s Presolved: 3310 rows, 1642 columns, 9930 nonzeros Variable types: 0 continuous, 1642 integer (1642 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.00000 0 400 - 0.00000 - - 0s 0 0 0.00000 0 402 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5497 simplex iterations) in 0.69 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 10:15:32 2012 Optimize a model with 4346 rows, 1844 columns and 13240 nonzeros Presolve time: 0.01s Presolved: 4346 rows, 1844 columns, 13240 nonzeros Variable types: 0 continuous, 1844 integer (1844 binary) Root relaxation: objective 0.000000e+00, 445 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 402 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 0s 0 0 0.00000 0 384 - 0.00000 - - 1s 0 0 0.00000 0 513 - 0.00000 - - 1s 0 0 0.00000 0 378 - 0.00000 - - 2s 0 0 0.00000 0 372 - 0.00000 - - 2s 0 0 0.00000 0 376 - 0.00000 - - 3s 0 0 0.00000 0 383 - 0.00000 - - 3s 0 0 0.00000 0 372 - 0.00000 - - 4s 0 0 0.00000 0 368 - 0.00000 - - 5s 0 0 0.00000 0 366 - 0.00000 - - 6s 0 0 0.00000 0 364 - 0.00000 - - 6s 0 0 0.00000 0 356 - 0.00000 - - 7s 0 0 0.00000 0 354 - 0.00000 - - 7s 0 0 0.00000 0 352 - 0.00000 - - 8s 0 0 0.00000 0 348 - 0.00000 - - 9s 0 0 0.00000 0 346 - 0.00000 - - 9s 0 0 0.00000 0 346 - 0.00000 - - 10s 0 0 0.00000 0 346 - 0.00000 - - 10s 0 2 0.00000 0 346 - 0.00000 - - 11s 194 56 infeasible 18 - 0.00000 - 198 15s 528 97 0.00000 18 469 - 0.00000 - 181 20s 704 112 0.00000 12 561 - 0.00000 - 173 25s 707 114 0.00000 8 366 - 0.00000 - 172 31s 709 115 0.00000 17 346 - 0.00000 - 172 37s 711 117 0.00000 17 332 - 0.00000 - 171 42s 741 137 0.00000 26 362 - 0.00000 - 247 45s 919 95 infeasible 26 - 0.00000 - 254 50s 1141 93 0.00000 23 354 - 0.00000 - 253 55s 1336 78 infeasible 24 - 0.00000 - 258 60s 1532 80 infeasible 26 - 0.00000 - 261 65s 1751 85 infeasible 25 - 0.00000 - 261 70s 1935 91 infeasible 30 - 0.00000 - 266 75s 2123 81 0.00000 23 390 - 0.00000 - 268 80s 2307 79 infeasible 26 - 0.00000 - 271 85s 2464 78 infeasible 23 - 0.00000 - 275 90s 2635 75 0.00000 29 360 - 0.00000 - 278 95s 2820 58 infeasible 30 - 0.00000 - 278 100s 2967 53 infeasible 26 - 0.00000 - 282 105s 3143 53 0.00000 21 374 - 0.00000 - 283 110s 3305 35 infeasible 23 - 0.00000 - 285 115s 3451 21 0.00000 25 416 - 0.00000 - 287 120s 3609 19 infeasible 26 - 0.00000 - 289 125s 3744 10 infeasible 26 - 0.00000 - 292 130s 3925 11 infeasible 21 - 0.00000 - 292 135s 4085 5 0.00000 18 380 - 0.00000 - 293 140s 4286 14 infeasible 25 - 0.00000 - 292 145s 4497 9 infeasible 23 - 0.00000 - 291 150s Cutting planes: Gomory: 1 Zero half: 14 Explored 4645 nodes (1420748 simplex iterations) in 153.48 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 10:18:05 2012 Optimize a model with 5382 rows, 2046 columns and 16550 nonzeros Presolve time: 0.01s Presolved: 5382 rows, 2046 columns, 16550 nonzeros Variable types: 0 continuous, 2046 integer (2046 binary) Root relaxation: objective 0.000000e+00, 441 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 325 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 27 Clique: 48 Zero half: 164 Explored 0 nodes (6240 simplex iterations) in 0.77 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