current bounds on the number of colors: 0 -- 185 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:11:28 2012 Optimize a model with 80777 rows, 17896 columns and 258796 nonzeros Presolve time: 0.25s Presolved: 80777 rows, 17896 columns, 258796 nonzeros Variable types: 0 continuous, 17896 integer (17896 binary) Root relaxation: objective 0.000000e+00, 687 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 (1087 simplex iterations) in 0.44 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 03:11:29 2012 Optimize a model with 40481 rows, 9386 columns and 129398 nonzeros Presolve time: 0.16s Presolved: 40481 rows, 9386 columns, 129398 nonzeros Variable types: 0 continuous, 9386 integer (9386 binary) Root relaxation: objective 0.000000e+00, 510 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 (917 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 -- 46 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:11:30 2012 Optimize a model with 20333 rows, 5131 columns and 64699 nonzeros Presolve time: 0.08s Presolved: 20333 rows, 5131 columns, 64699 nonzeros Variable types: 0 continuous, 5131 integer (5131 binary) Root relaxation: objective 0.000000e+00, 438 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 (1042 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 03:11:30 2012 Optimize a model with 9821 rows, 2911 columns and 30943 nonzeros Presolve time: 0.03s Presolved: 9821 rows, 2911 columns, 30943 nonzeros Variable types: 0 continuous, 2911 integer (2911 binary) Root relaxation: objective 0.000000e+00, 387 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 (738 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 03:11:30 2012 Optimize a model with 4565 rows, 1801 columns and 14065 nonzeros Presolve time: 0.01s Presolved: 4565 rows, 1801 columns, 14065 nonzeros Variable types: 0 continuous, 1801 integer (1801 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.00000 0 287 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4353 simplex iterations) in 0.36 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 03:11:31 2012 Optimize a model with 1937 rows, 1246 columns and 5626 nonzeros Presolve removed 185 rows and 185 columns Presolve time: 0.00s Presolved: 1752 rows, 1061 columns, 5256 nonzeros Variable types: 0 continuous, 1061 integer (1061 binary) Root relaxation: objective 0.000000e+00, 191 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 0 0 infeasible 0 - 0.10000 - - 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 03:11:31 2012 Optimize a model with 2813 rows, 1431 columns and 8439 nonzeros Presolve time: 0.01s Presolved: 2813 rows, 1431 columns, 8439 nonzeros Variable types: 0 continuous, 1431 integer (1431 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.00000 0 366 - 0.00000 - - 0s 0 0 0.00000 0 364 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4447 simplex iterations) in 0.51 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 03:11:31 2012 Optimize a model with 3689 rows, 1616 columns and 11252 nonzeros Presolve time: 0.01s Presolved: 3689 rows, 1616 columns, 11252 nonzeros Variable types: 0 continuous, 1616 integer (1616 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 354 - 0.00000 - - 0s 0 0 0.00000 0 350 - 0.00000 - - 0s 0 0 0.00000 0 357 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 0s 0 0 0.00000 0 510 - 0.00000 - - 1s 0 0 0.00000 0 334 - 0.00000 - - 1s 0 0 0.00000 0 330 - 0.00000 - - 2s 0 0 0.00000 0 326 - 0.00000 - - 2s 0 0 0.00000 0 322 - 0.00000 - - 2s 0 0 0.00000 0 314 - 0.00000 - - 3s 0 0 0.00000 0 310 - 0.00000 - - 3s 0 0 0.00000 0 300 - 0.00000 - - 4s 0 0 0.00000 0 296 - 0.00000 - - 4s 0 0 0.00000 0 292 - 0.00000 - - 5s 0 0 0.00000 0 290 - 0.00000 - - 5s 0 0 0.00000 0 288 - 0.00000 - - 6s 0 0 0.00000 0 290 - 0.00000 - - 6s 0 0 0.00000 0 288 - 0.00000 - - 7s 0 0 0.00000 0 296 - 0.00000 - - 7s 0 0 0.00000 0 276 - 0.00000 - - 8s 0 0 0.00000 0 268 - 0.00000 - - 8s 0 0 0.00000 0 266 - 0.00000 - - 8s 0 0 0.00000 0 266 - 0.00000 - - 9s 0 0 0.00000 0 266 - 0.00000 - - 9s 0 2 0.00000 0 266 - 0.00000 - - 10s 411 92 infeasible 20 - 0.00000 - 144 15s 903 126 0.00000 21 357 - 0.00000 - 143 20s 908 130 0.00000 18 304 - 0.00000 - 142 25s 912 132 0.00000 21 281 - 0.00000 - 141 30s 1049 142 infeasible 32 - 0.00000 - 196 35s 1383 132 infeasible 31 - 0.00000 - 197 40s 1711 182 infeasible 31 - 0.00000 - 199 45s 2026 169 0.00000 24 332 - 0.00000 - 202 50s 2330 171 infeasible 27 - 0.00000 - 206 55s 2628 183 infeasible 32 - 0.00000 - 208 60s 2926 169 0.00000 28 366 - 0.00000 - 210 65s 3205 146 infeasible 31 - 0.00000 - 214 70s 3496 140 infeasible 27 - 0.00000 - 215 75s 3867 167 infeasible 31 - 0.00000 - 213 80s 4235 165 infeasible 30 - 0.00000 - 212 85s 4583 163 infeasible 32 - 0.00000 - 212 90s 4957 191 infeasible 35 - 0.00000 - 211 95s 5297 177 infeasible 30 - 0.00000 - 212 100s 5630 180 0.00000 28 328 - 0.00000 - 212 105s 5956 164 0.00000 34 418 - 0.00000 - 213 110s 6255 139 infeasible 32 - 0.00000 - 213 115s 6580 124 infeasible 32 - 0.00000 - 213 120s 6838 132 infeasible 24 - 0.00000 - 215 125s 7189 143 infeasible 28 - 0.00000 - 214 130s 7511 139 0.00000 32 322 - 0.00000 - 215 135s 7858 136 0.00000 31 386 - 0.00000 - 215 140s 8146 102 0.00000 25 328 - 0.00000 - 215 145s 8440 62 infeasible 33 - 0.00000 - 216 150s 8694 32 0.00000 26 370 - 0.00000 - 217 155s 8962 8 0.00000 19 410 - 0.00000 - 217 160s 9253 19 infeasible 30 - 0.00000 - 218 165s 9538 24 0.00000 25 322 - 0.00000 - 219 170s 9848 14 0.00000 27 352 - 0.00000 - 219 175s 10139 19 infeasible 29 - 0.00000 - 219 180s 10410 10 0.00000 25 358 - 0.00000 - 220 185s 10697 19 infeasible 28 - 0.00000 - 220 190s 10978 12 infeasible 28 - 0.00000 - 221 195s 11304 18 infeasible 26 - 0.00000 - 221 200s 11633 15 infeasible 26 - 0.00000 - 221 205s 11957 15 infeasible 26 - 0.00000 - 221 210s 12330 38 infeasible 31 - 0.00000 - 220 215s 12674 12 infeasible 26 - 0.00000 - 220 220s 13001 7 0.00000 22 318 - 0.00000 - 220 225s 13334 14 0.00000 30 324 - 0.00000 - 220 230s 13593 7 0.00000 28 351 - 0.00000 - 221 235s Cutting planes: Gomory: 1 Zero half: 19 Explored 13765 nodes (3121890 simplex iterations) in 238.29 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