current bounds on the number of colors: 0 -- 185 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:54:04 2012 Optimize a model with 85745 rows, 17950 columns and 273700 nonzeros Presolve time: 0.27s Presolved: 85745 rows, 17950 columns, 273700 nonzeros Variable types: 0 continuous, 17950 integer (17950 binary) Root relaxation: objective 0.000000e+00, 720 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 (1149 simplex iterations) in 0.47 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 -- 92 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:54:05 2012 Optimize a model with 42965 rows, 9440 columns and 136850 nonzeros Presolve time: 0.15s Presolved: 42965 rows, 9440 columns, 136850 nonzeros Variable types: 0 continuous, 9440 integer (9440 binary) Root relaxation: objective 0.000000e+00, 575 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 (1258 simplex iterations) in 0.28 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 -- 46 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:54:06 2012 Optimize a model with 21575 rows, 5185 columns and 68425 nonzeros Presolve time: 0.09s Presolved: 21575 rows, 5185 columns, 68425 nonzeros Variable types: 0 continuous, 5185 integer (5185 binary) Root relaxation: objective 0.000000e+00, 403 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 (944 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:54:07 2012 Optimize a model with 10415 rows, 2965 columns and 32725 nonzeros Presolve time: 0.03s Presolved: 10415 rows, 2965 columns, 32725 nonzeros Variable types: 0 continuous, 2965 integer (2965 binary) Root relaxation: objective 0.000000e+00, 396 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 (748 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 02:54:07 2012 Optimize a model with 4835 rows, 1855 columns and 14875 nonzeros Presolve time: 0.01s Presolved: 4835 rows, 1855 columns, 14875 nonzeros Variable types: 0 continuous, 1855 integer (1855 binary) Root relaxation: objective 0.000000e+00, 394 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 342 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2094 simplex iterations) in 0.10 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 02:54:07 2012 Optimize a model with 2045 rows, 1300 columns and 5950 nonzeros Presolve removed 185 rows and 185 columns Presolve time: 0.01s Presolved: 1860 rows, 1115 columns, 5580 nonzeros Variable types: 0 continuous, 1115 integer (1115 binary) Root relaxation: objective 0.000000e+00, 192 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 185 - 0.00000 - - 0s Explored 0 nodes (794 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 02:54:07 2012 Optimize a model with 2975 rows, 1485 columns and 8925 nonzeros Presolve time: 0.01s Presolved: 2975 rows, 1485 columns, 8925 nonzeros Variable types: 0 continuous, 1485 integer (1485 binary) Root relaxation: objective 0.000000e+00, 419 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 366 - 0.00000 - - 0s 0 0 0.00000 0 370 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5214 simplex iterations) in 0.63 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 02:54:08 2012 Optimize a model with 3905 rows, 1670 columns and 11900 nonzeros Presolve time: 0.01s Presolved: 3905 rows, 1670 columns, 11900 nonzeros Variable types: 0 continuous, 1670 integer (1670 binary) Root relaxation: objective 0.000000e+00, 421 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 360 - 0.00000 - - 0s 0 0 0.00000 0 348 - 0.00000 - - 0s 0 0 0.00000 0 445 - 0.00000 - - 0s 0 0 0.00000 0 379 - 0.00000 - - 1s 0 0 0.00000 0 340 - 0.00000 - - 2s 0 0 0.00000 0 322 - 0.00000 - - 2s 0 0 0.00000 0 322 - 0.00000 - - 3s 0 0 0.00000 0 316 - 0.00000 - - 3s 0 0 0.00000 0 310 - 0.00000 - - 4s 0 0 0.00000 0 302 - 0.00000 - - 4s 0 0 0.00000 0 311 - 0.00000 - - 5s 0 0 0.00000 0 304 - 0.00000 - - 5s 0 0 0.00000 0 324 - 0.00000 - - 6s 0 0 0.00000 0 300 - 0.00000 - - 6s 0 0 0.00000 0 313 - 0.00000 - - 7s 0 0 0.00000 0 313 - 0.00000 - - 7s 0 2 0.00000 0 311 - 0.00000 - - 8s 261 31 0.00000 17 357 - 0.00000 - 115 10s 605 55 0.00000 19 332 - 0.00000 - 113 16s 608 57 0.00000 17 324 - 0.00000 - 112 20s 611 59 0.00000 13 314 - 0.00000 - 112 25s 614 61 0.00000 13 324 - 0.00000 - 111 31s 616 62 0.00000 17 492 - 0.00000 - 111 35s 793 30 infeasible 26 - 0.00000 - 221 40s 1049 17 infeasible 28 - 0.00000 - 229 45s 1307 23 infeasible 26 - 0.00000 - 231 50s 1546 22 0.00000 28 318 - 0.00000 - 236 55s 1778 18 infeasible 24 - 0.00000 - 239 60s 2018 16 0.00000 29 330 - 0.00000 - 242 65s Explored 2179 nodes (593816 simplex iterations) in 68.67 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