current bounds on the number of colors: 0 -- 190 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:56:15 2012 Optimize a model with 92530 rows, 19022 columns and 295070 nonzeros Presolve time: 0.30s Presolved: 92530 rows, 19022 columns, 295070 nonzeros Variable types: 0 continuous, 19022 integer (19022 binary) Root relaxation: objective 0.000000e+00, 636 iterations, 0.07 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 (1004 simplex iterations) in 0.49 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 -- 95 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:56:16 2012 Optimize a model with 45874 rows, 9902 columns and 145982 nonzeros Presolve time: 0.15s Presolved: 45874 rows, 9902 columns, 145982 nonzeros Variable types: 0 continuous, 9902 integer (9902 binary) Root relaxation: objective 0.000000e+00, 519 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 (895 simplex iterations) in 0.24 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 -- 47 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:56:17 2012 Optimize a model with 22546 rows, 5342 columns and 71438 nonzeros Presolve time: 0.09s Presolved: 22546 rows, 5342 columns, 71438 nonzeros Variable types: 0 continuous, 5342 integer (5342 binary) Root relaxation: objective 0.000000e+00, 405 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 (750 simplex iterations) in 0.13 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:56:17 2012 Optimize a model with 10882 rows, 3062 columns and 34166 nonzeros Presolve time: 0.03s Presolved: 10882 rows, 3062 columns, 34166 nonzeros Variable types: 0 continuous, 3062 integer (3062 binary) Root relaxation: objective 0.000000e+00, 402 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 (762 simplex iterations) in 0.06 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:56:18 2012 Optimize a model with 5050 rows, 1922 columns and 15530 nonzeros Presolve time: 0.01s Presolved: 5050 rows, 1922 columns, 15530 nonzeros Variable types: 0 continuous, 1922 integer (1922 binary) Root relaxation: objective 0.000000e+00, 429 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 208 - 0.00000 - - 0s 0 0 0.00000 0 160 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (9420 simplex iterations) in 0.89 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:56:19 2012 Optimize a model with 2134 rows, 1352 columns and 6212 nonzeros Presolve removed 190 rows and 190 columns Presolve time: 0.01s Presolved: 1944 rows, 1162 columns, 5832 nonzeros Variable types: 0 continuous, 1162 integer (1162 binary) Root relaxation: objective 0.000000e+00, 197 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 190 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (802 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:56:19 2012 Optimize a model with 3106 rows, 1542 columns and 9318 nonzeros Presolve time: 0.01s Presolved: 3106 rows, 1542 columns, 9318 nonzeros Variable types: 0 continuous, 1542 integer (1542 binary) Root relaxation: objective 0.000000e+00, 430 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 378 - 0.00000 - - 0s 0 0 0.00000 0 378 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4680 simplex iterations) in 0.60 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:56:19 2012 Optimize a model with 4078 rows, 1732 columns and 12424 nonzeros Presolve time: 0.01s Presolved: 4078 rows, 1732 columns, 12424 nonzeros Variable types: 0 continuous, 1732 integer (1732 binary) Root relaxation: objective 0.000000e+00, 460 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 362 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 0s 0 0 0.00000 0 360 - 0.00000 - - 1s 0 0 0.00000 0 387 - 0.00000 - - 1s 0 0 0.00000 0 344 - 0.00000 - - 1s 0 0 0.00000 0 344 - 0.00000 - - 2s 0 0 0.00000 0 346 - 0.00000 - - 3s 0 0 0.00000 0 344 - 0.00000 - - 3s 0 0 0.00000 0 342 - 0.00000 - - 4s 0 0 0.00000 0 328 - 0.00000 - - 4s 0 0 0.00000 0 328 - 0.00000 - - 5s 0 0 0.00000 0 328 - 0.00000 - - 5s 0 2 0.00000 0 328 - 0.00000 - - 6s 222 72 0.00000 17 435 - 0.00000 - 181 10s 577 102 0.00000 21 418 - 0.00000 - 173 15s 608 110 0.00000 15 328 - 0.00000 - 171 21s 611 112 0.00000 17 322 - 0.00000 - 170 25s 614 114 0.00000 15 310 - 0.00000 - 169 31s 616 116 0.00000 14 325 - 0.00000 - 169 35s 619 118 0.00000 12 290 - 0.00000 - 168 42s 621 119 0.00000 19 359 - 0.00000 - 167 45s 636 125 0.00000 15 423 - 0.00000 - 308 50s 767 91 0.00000 18 340 - 0.00000 - 311 55s 919 35 0.00000 20 376 - 0.00000 - 316 60s 1061 15 0.00000 20 324 - 0.00000 - 320 65s 1246 26 0.00000 21 401 - 0.00000 - 315 70s 1435 25 infeasible 17 - 0.00000 - 312 75s 1590 18 0.00000 24 330 - 0.00000 - 312 80s 1751 11 infeasible 22 - 0.00000 - 315 85s Cutting planes: Gomory: 1 Zero half: 11 Explored 1859 nodes (629475 simplex iterations) in 88.06 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5