current bounds on the number of colors: 0 -- 191 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:37:51 2012 Optimize a model with 89206 rows, 19082 columns and 285190 nonzeros Presolve time: 0.29s Presolved: 89206 rows, 19082 columns, 285190 nonzeros Variable types: 0 continuous, 19082 integer (19082 binary) Root relaxation: objective 0.000000e+00, 752 iterations, 0.09 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 (1223 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% current bounds on the number of colors: 0 -- 95 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:37:52 2012 Optimize a model with 44230 rows, 9914 columns and 141094 nonzeros Presolve time: 0.15s Presolved: 44230 rows, 9914 columns, 141094 nonzeros Variable types: 0 continuous, 9914 integer (9914 binary) Root relaxation: objective 0.000000e+00, 635 iterations, 0.05 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 (1068 simplex iterations) in 0.26 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 05:37:53 2012 Optimize a model with 21742 rows, 5330 columns and 69046 nonzeros Presolve time: 0.09s Presolved: 21742 rows, 5330 columns, 69046 nonzeros Variable types: 0 continuous, 5330 integer (5330 binary) Root relaxation: objective 0.000000e+00, 407 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.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 05:37:54 2012 Optimize a model with 10498 rows, 3038 columns and 33022 nonzeros Presolve time: 0.03s Presolved: 10498 rows, 3038 columns, 33022 nonzeros Variable types: 0 continuous, 3038 integer (3038 binary) Root relaxation: objective 0.000000e+00, 409 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 (778 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 05:37:54 2012 Optimize a model with 4876 rows, 1892 columns and 15010 nonzeros Presolve time: 0.01s Presolved: 4876 rows, 1892 columns, 15010 nonzeros Variable types: 0 continuous, 1892 integer (1892 binary) Root relaxation: objective 0.000000e+00, 434 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 150 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4055 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:37:54 2012 Optimize a model with 2065 rows, 1319 columns and 6004 nonzeros Presolve removed 191 rows and 191 columns Presolve time: 0.01s Presolved: 1874 rows, 1128 columns, 5622 nonzeros Variable types: 0 continuous, 1128 integer (1128 binary) Root relaxation: objective 0.000000e+00, 201 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 191 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (832 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 05:37:54 2012 Optimize a model with 3002 rows, 1510 columns and 9006 nonzeros Presolve time: 0.01s Presolved: 3002 rows, 1510 columns, 9006 nonzeros Variable types: 0 continuous, 1510 integer (1510 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 304 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5531 simplex iterations) in 0.65 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 05:37:55 2012 Optimize a model with 3939 rows, 1701 columns and 12008 nonzeros Presolve time: 0.01s Presolved: 3939 rows, 1701 columns, 12008 nonzeros Variable types: 0 continuous, 1701 integer (1701 binary) Root relaxation: objective 0.000000e+00, 418 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 354 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 1s 0 0 0.00000 0 434 - 0.00000 - - 1s 0 0 0.00000 0 304 - 0.00000 - - 2s 0 0 0.00000 0 306 - 0.00000 - - 2s 0 0 0.00000 0 305 - 0.00000 - - 3s 0 0 0.00000 0 297 - 0.00000 - - 3s 0 0 0.00000 0 290 - 0.00000 - - 4s 0 0 0.00000 0 294 - 0.00000 - - 4s 0 0 0.00000 0 297 - 0.00000 - - 5s 0 0 0.00000 0 303 - 0.00000 - - 5s 0 0 0.00000 0 303 - 0.00000 - - 6s 0 2 0.00000 0 303 - 0.00000 - - 6s 427 24 0.00000 15 367 - 0.00000 - 126 10s 1003 34 0.00000 14 366 - 0.00000 - 117 15s 1008 38 0.00000 3 294 - 0.00000 - 117 21s 1010 39 0.00000 17 382 - 0.00000 - 116 25s 1013 41 0.00000 14 445 - 0.00000 - 116 31s 1109 31 infeasible 30 - 0.00000 - 179 35s 1401 40 0.00000 32 382 - 0.00000 - 188 40s 1650 33 0.00000 26 332 - 0.00000 - 199 45s 1918 35 0.00000 32 384 - 0.00000 - 206 50s 2192 49 0.00000 26 436 - 0.00000 - 209 55s 2460 51 infeasible 28 - 0.00000 - 212 60s 2718 51 infeasible 35 - 0.00000 - 216 65s 3040 43 infeasible 31 - 0.00000 - 217 70s 3316 63 0.00000 34 421 - 0.00000 - 218 75s 3570 35 infeasible 28 - 0.00000 - 221 80s 3832 77 0.00000 35 334 - 0.00000 - 222 85s 4115 92 infeasible 32 - 0.00000 - 222 90s 4385 77 infeasible 38 - 0.00000 - 224 95s 4646 100 0.00000 27 438 - 0.00000 - 225 100s 4906 102 infeasible 31 - 0.00000 - 225 105s 5164 94 infeasible 28 - 0.00000 - 226 110s 5386 88 0.00000 27 346 - 0.00000 - 229 115s 5710 108 0.00000 34 355 - 0.00000 - 227 120s 6000 98 0.00000 32 350 - 0.00000 - 228 125s 6229 97 infeasible 27 - 0.00000 - 230 130s 6441 91 infeasible 36 - 0.00000 - 231 135s 6704 82 infeasible 36 - 0.00000 - 232 140s 6926 70 infeasible 32 - 0.00000 - 234 145s 7204 64 0.00000 25 406 - 0.00000 - 234 150s 7446 56 infeasible 33 - 0.00000 - 234 155s 7694 44 infeasible 26 - 0.00000 - 235 160s 7909 37 0.00000 32 403 - 0.00000 - 237 165s 8117 37 0.00000 26 358 - 0.00000 - 238 170s 8341 27 0.00000 24 377 - 0.00000 - 238 175s 8582 18 infeasible 28 - 0.00000 - 239 180s 8794 6 0.00000 26 344 - 0.00000 - 240 185s Cutting planes: Gomory: 1 Clique: 1 Zero half: 23 Explored 8837 nodes (2176663 simplex iterations) in 186.12 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