current bounds on the number of colors: 0 -- 200 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:54:08 2012 Optimize a model with 107000 rows, 21068 columns and 340400 nonzeros Presolve time: 0.35s Presolved: 107000 rows, 21068 columns, 340400 nonzeros Variable types: 0 continuous, 21068 integer (21068 binary) Root relaxation: objective 0.000000e+00, 530 iterations, 0.13 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 (958 simplex iterations) in 0.64 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 -- 100 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:54:10 2012 Optimize a model with 53600 rows, 11068 columns and 170200 nonzeros Presolve time: 0.16s Presolved: 53600 rows, 11068 columns, 170200 nonzeros Variable types: 0 continuous, 11068 integer (11068 binary) Root relaxation: objective 0.000000e+00, 602 iterations, 0.04 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 (1074 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 08:54:11 2012 Optimize a model with 26900 rows, 6068 columns and 85100 nonzeros Presolve time: 0.11s Presolved: 26900 rows, 6068 columns, 85100 nonzeros Variable types: 0 continuous, 6068 integer (6068 binary) Root relaxation: objective 0.000000e+00, 454 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 (842 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 08:54:12 2012 Optimize a model with 13016 rows, 3468 columns and 40848 nonzeros Presolve time: 0.04s Presolved: 13016 rows, 3468 columns, 40848 nonzeros Variable types: 0 continuous, 3468 integer (3468 binary) Root relaxation: objective 0.000000e+00, 426 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 (1100 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 08:54:12 2012 Optimize a model with 6608 rows, 2268 columns and 20424 nonzeros Presolve time: 0.02s Presolved: 6608 rows, 2268 columns, 20424 nonzeros Variable types: 0 continuous, 2268 integer (2268 binary) Root relaxation: objective 0.000000e+00, 437 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 (1841 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 08:54:12 2012 Optimize a model with 3404 rows, 1668 columns and 10212 nonzeros Presolve time: 0.01s Presolved: 3404 rows, 1668 columns, 10212 nonzeros Variable types: 0 continuous, 1668 integer (1668 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 326 - 0.00000 - - 0s 0 0 0.00000 0 398 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6543 simplex iterations) in 0.89 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 08:54:13 2012 Optimize a model with 4472 rows, 1868 columns and 13616 nonzeros Presolve time: 0.01s Presolved: 4472 rows, 1868 columns, 13616 nonzeros Variable types: 0 continuous, 1868 integer (1868 binary) Root relaxation: objective 0.000000e+00, 444 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 392 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 1s 0 0 0.00000 0 434 - 0.00000 - - 1s 0 0 0.00000 0 388 - 0.00000 - - 2s 0 0 0.00000 0 388 - 0.00000 - - 2s 0 0 0.00000 0 386 - 0.00000 - - 3s 0 0 0.00000 0 388 - 0.00000 - - 4s 0 0 0.00000 0 390 - 0.00000 - - 4s 0 0 0.00000 0 390 - 0.00000 - - 4s 0 2 0.00000 0 390 - 0.00000 - - 6s 203 28 infeasible 18 - 0.00000 - 199 10s 500 71 infeasible 20 - 0.00000 - 187 15s 889 60 0.00000 24 433 - 0.00000 - 170 20s 1203 79 0.00000 15 388 - 0.00000 - 165 25s 1205 81 0.00000 15 383 - 0.00000 - 164 31s 1207 82 0.00000 11 368 - 0.00000 - 164 35s 1209 83 0.00000 16 362 - 0.00000 - 164 40s 1212 85 0.00000 16 346 - 0.00000 - 163 46s 1214 87 0.00000 15 362 - 0.00000 - 163 51s 1217 89 0.00000 23 364 - 0.00000 - 163 55s 1324 70 infeasible 21 - 0.00000 - 238 60s 1453 26 infeasible 23 - 0.00000 - 249 65s 1570 11 infeasible 18 - 0.00000 - 260 70s 1683 10 0.00000 17 405 - 0.00000 - 268 75s 1796 11 infeasible 22 - 0.00000 - 275 80s 1907 12 infeasible 22 - 0.00000 - 282 85s 2028 11 0.00000 21 474 - 0.00000 - 288 90s 2130 11 infeasible 19 - 0.00000 - 294 95s 2236 7 infeasible 18 - 0.00000 - 299 100s Cutting planes: Zero half: 14 Explored 2300 nodes (731157 simplex iterations) in 103.11 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 08:55:56 2012 Optimize a model with 5540 rows, 2068 columns and 17020 nonzeros Presolve time: 0.02s Presolved: 5540 rows, 2068 columns, 17020 nonzeros Variable types: 0 continuous, 2068 integer (2068 binary) Root relaxation: objective 0.000000e+00, 425 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 187 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4258 simplex iterations) in 0.35 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