current bounds on the number of colors: 0 -- 203 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:32:58 2012 Optimize a model with 105546 rows, 21546 columns and 336532 nonzeros Presolve time: 0.35s Presolved: 105546 rows, 21546 columns, 336532 nonzeros Variable types: 0 continuous, 21546 integer (21546 binary) Root relaxation: objective 0.000000e+00, 864 iterations, 0.11 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 (1358 simplex iterations) in 0.62 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:33:00 2012 Optimize a model with 52353 rows, 11193 columns and 166600 nonzeros Presolve time: 0.17s Presolved: 52353 rows, 11193 columns, 166600 nonzeros Variable types: 0 continuous, 11193 integer (11193 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 (1182 simplex iterations) in 0.30 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:33:01 2012 Optimize a model with 26278 rows, 6118 columns and 83300 nonzeros Presolve time: 0.11s Presolved: 26278 rows, 6118 columns, 83300 nonzeros Variable types: 0 continuous, 6118 integer (6118 binary) Root relaxation: objective 0.000000e+00, 481 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 (872 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:33:01 2012 Optimize a model with 12719 rows, 3479 columns and 39984 nonzeros Presolve time: 0.04s Presolved: 12719 rows, 3479 columns, 39984 nonzeros Variable types: 0 continuous, 3479 integer (3479 binary) Root relaxation: objective 0.000000e+00, 417 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 (797 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:33:01 2012 Optimize a model with 6461 rows, 2261 columns and 19992 nonzeros Presolve time: 0.02s Presolved: 6461 rows, 2261 columns, 19992 nonzeros Variable types: 0 continuous, 2261 integer (2261 binary) Root relaxation: objective 0.000000e+00, 435 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 (1845 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 10:33:02 2012 Optimize a model with 3332 rows, 1652 columns and 9996 nonzeros Presolve time: 0.01s Presolved: 3332 rows, 1652 columns, 9996 nonzeros Variable types: 0 continuous, 1652 integer (1652 binary) Root relaxation: objective 0.000000e+00, 454 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 404 - 0.00000 - - 0s 0 0 0.00000 0 406 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5210 simplex iterations) in 0.68 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:33:02 2012 Optimize a model with 4375 rows, 1855 columns and 13328 nonzeros Presolve time: 0.01s Presolved: 4375 rows, 1855 columns, 13328 nonzeros Variable types: 0 continuous, 1855 integer (1855 binary) Root relaxation: objective 0.000000e+00, 456 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 404 - 0.00000 - - 0s 0 0 0.00000 0 380 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 1s 0 0 0.00000 0 513 - 0.00000 - - 1s 0 0 0.00000 0 380 - 0.00000 - - 2s 0 0 0.00000 0 374 - 0.00000 - - 3s 0 0 0.00000 0 366 - 0.00000 - - 3s 0 0 0.00000 0 358 - 0.00000 - - 4s 0 0 0.00000 0 372 - 0.00000 - - 5s 0 0 0.00000 0 370 - 0.00000 - - 6s 0 0 0.00000 0 356 - 0.00000 - - 6s 0 0 0.00000 0 356 - 0.00000 - - 7s 0 0 0.00000 0 348 - 0.00000 - - 8s 0 0 0.00000 0 346 - 0.00000 - - 8s 0 0 0.00000 0 330 - 0.00000 - - 9s 0 0 0.00000 0 342 - 0.00000 - - 10s 0 0 0.00000 0 332 - 0.00000 - - 10s 0 2 0.00000 0 332 - 0.00000 - - 11s 370 22 0.00000 10 378 - 0.00000 - 135 15s 604 34 0.00000 18 542 - 0.00000 - 144 20s 607 36 0.00000 4 364 - 0.00000 - 143 26s 609 37 0.00000 20 357 - 0.00000 - 143 30s 612 39 0.00000 17 351 - 0.00000 - 142 36s 614 41 0.00000 15 336 - 0.00000 - 141 41s 616 42 0.00000 15 337 - 0.00000 - 141 45s 718 34 infeasible 25 - 0.00000 - 270 50s 875 25 0.00000 22 429 - 0.00000 - 281 55s 1040 24 0.00000 23 394 - 0.00000 - 286 60s 1194 14 infeasible 23 - 0.00000 - 293 65s 1358 22 infeasible 26 - 0.00000 - 295 70s 1503 23 0.00000 20 368 - 0.00000 - 301 75s 1675 15 infeasible 23 - 0.00000 - 301 80s 1814 14 infeasible 21 - 0.00000 - 307 85s 1983 9 infeasible 21 - 0.00000 - 308 90s Cutting planes: Zero half: 13 Explored 2085 nodes (724199 simplex iterations) in 93.87 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:34:36 2012 Optimize a model with 5418 rows, 2058 columns and 16660 nonzeros Presolve time: 0.02s Presolved: 5418 rows, 2058 columns, 16660 nonzeros Variable types: 0 continuous, 2058 integer (2058 binary) Root relaxation: objective 0.000000e+00, 459 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 225 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 6 Clique: 25 Zero half: 61 Explored 0 nodes (5522 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% optimal solution found: number of colors: 5