current bounds on the number of colors: 0 -- 184 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:50:26 2012 Optimize a model with 80960 rows, 17806 columns and 259256 nonzeros Presolve time: 0.25s Presolved: 80960 rows, 17806 columns, 259256 nonzeros Variable types: 0 continuous, 17806 integer (17806 binary) Root relaxation: objective 0.000000e+00, 725 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 (1150 simplex iterations) in 0.45 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:50:27 2012 Optimize a model with 40572 rows, 9342 columns and 129628 nonzeros Presolve time: 0.16s Presolved: 40572 rows, 9342 columns, 129628 nonzeros Variable types: 0 continuous, 9342 integer (9342 binary) Root relaxation: objective 0.000000e+00, 644 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 (1086 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 -- 46 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 02:50:28 2012 Optimize a model with 20378 rows, 5110 columns and 64814 nonzeros Presolve time: 0.08s Presolved: 20378 rows, 5110 columns, 64814 nonzeros Variable types: 0 continuous, 5110 integer (5110 binary) Root relaxation: objective 0.000000e+00, 389 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 (732 simplex iterations) in 0.12 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:50:28 2012 Optimize a model with 9842 rows, 2902 columns and 30998 nonzeros Presolve time: 0.03s Presolved: 9842 rows, 2902 columns, 30998 nonzeros Variable types: 0 continuous, 2902 integer (2902 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 (726 simplex iterations) in 0.05 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:50:28 2012 Optimize a model with 4574 rows, 1798 columns and 14090 nonzeros Presolve time: 0.01s Presolved: 4574 rows, 1798 columns, 14090 nonzeros Variable types: 0 continuous, 1798 integer (1798 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4090 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 02:50:29 2012 Optimize a model with 1940 rows, 1246 columns and 5636 nonzeros Presolve removed 184 rows and 184 columns Presolve time: 0.00s Presolved: 1756 rows, 1062 columns, 5268 nonzeros Variable types: 0 continuous, 1062 integer (1062 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 184 - 0.00000 - - 0s Explored 0 nodes (799 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:50:29 2012 Optimize a model with 2818 rows, 1430 columns and 8454 nonzeros Presolve time: 0.01s Presolved: 2818 rows, 1430 columns, 8454 nonzeros Variable types: 0 continuous, 1430 integer (1430 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.00000 0 368 - 0.00000 - - 0s 0 0 0.00000 0 426 - 0.00000 - - 0s 0 0 0.00000 0 483 - 0.00000 - - 1s 0 0 0.00000 0 512 - 0.00000 - - 1s 0 0 0.00000 0 508 - 0.00000 - - 2s 0 0 infeasible 0 - 0.10000 - - 2s Cutting planes: Clique: 1 Zero half: 956 Explored 0 nodes (13699 simplex iterations) in 2.32 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:50:31 2012 Optimize a model with 3696 rows, 1614 columns and 11272 nonzeros Presolve time: 0.01s Presolved: 3696 rows, 1614 columns, 11272 nonzeros Variable types: 0 continuous, 1614 integer (1614 binary) Root relaxation: objective 0.000000e+00, 422 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 358 - 0.00000 - - 0s 0 0 0.00000 0 322 - 0.00000 - - 0s 0 0 0.00000 0 332 - 0.00000 - - 0s 0 0 0.00000 0 436 - 0.00000 - - 1s 0 0 0.00000 0 306 - 0.00000 - - 1s 0 0 0.00000 0 320 - 0.00000 - - 2s 0 0 0.00000 0 292 - 0.00000 - - 2s 0 0 0.00000 0 286 - 0.00000 - - 3s 0 0 0.00000 0 302 - 0.00000 - - 3s 0 0 0.00000 0 274 - 0.00000 - - 4s 0 0 0.00000 0 268 - 0.00000 - - 4s 0 0 0.00000 0 272 - 0.00000 - - 5s 0 0 0.00000 0 272 - 0.00000 - - 5s 0 2 0.00000 0 272 - 0.00000 - - 5s 536 189 0.00000 6 332 - 0.00000 - 131 10s 607 225 0.00000 12 320 - 0.00000 - 127 15s 611 228 0.00000 10 302 - 0.00000 - 126 20s 615 230 0.00000 21 324 - 0.00000 - 125 25s 792 216 0.00000 26 327 - 0.00000 - 220 30s 1055 140 infeasible 28 - 0.00000 - 227 35s 1296 72 infeasible 28 - 0.00000 - 235 40s 1606 77 infeasible 27 - 0.00000 - 233 45s 1880 81 0.00000 26 334 - 0.00000 - 236 50s 2119 88 0.00000 28 366 - 0.00000 - 241 55s 2393 94 infeasible 27 - 0.00000 - 242 60s 2632 93 infeasible 34 - 0.00000 - 244 65s 2880 127 infeasible 32 - 0.00000 - 245 70s 3132 139 infeasible 27 - 0.00000 - 245 75s 3389 152 0.00000 20 328 - 0.00000 - 245 80s 3615 152 infeasible 31 - 0.00000 - 247 85s 3867 164 infeasible 26 - 0.00000 - 248 90s 4150 155 infeasible 26 - 0.00000 - 247 95s 4397 170 infeasible 31 - 0.00000 - 247 100s 4658 183 infeasible 34 - 0.00000 - 247 105s 4871 190 0.00000 28 360 - 0.00000 - 249 110s 5117 186 infeasible 26 - 0.00000 - 249 115s 5342 173 infeasible 27 - 0.00000 - 250 120s 5612 165 0.00000 23 367 - 0.00000 - 250 125s 5854 145 infeasible 31 - 0.00000 - 250 130s 6122 163 infeasible 30 - 0.00000 - 250 135s 6410 179 0.00000 26 387 - 0.00000 - 250 140s 6692 157 infeasible 32 - 0.00000 - 249 145s 6920 147 infeasible 23 - 0.00000 - 250 150s 7167 154 infeasible 28 - 0.00000 - 250 155s 7441 148 infeasible 25 - 0.00000 - 250 160s 7662 129 0.00000 24 393 - 0.00000 - 251 165s 7892 105 infeasible 24 - 0.00000 - 251 170s 8135 92 infeasible 28 - 0.00000 - 252 175s 8378 71 0.00000 23 422 - 0.00000 - 252 180s 8612 69 infeasible 25 - 0.00000 - 252 185s 8867 54 infeasible 28 - 0.00000 - 252 190s 9122 47 0.00000 29 308 - 0.00000 - 252 195s 9369 24 infeasible 30 - 0.00000 - 252 200s 9625 14 infeasible 29 - 0.00000 - 252 205s 9846 5 infeasible 32 - 0.00000 - 252 210s Cutting planes: Zero half: 15 Explored 9886 nodes (2539259 simplex iterations) in 210.71 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