current bounds on the number of colors: 0 -- 187 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:47:44 2012 Optimize a model with 80260 rows, 18252 columns and 257610 nonzeros Presolve time: 0.25s Presolved: 80260 rows, 18252 columns, 257610 nonzeros Variable types: 0 continuous, 18252 integer (18252 binary) Root relaxation: objective 0.000000e+00, 747 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 (1184 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 -- 93 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 03:47:45 2012 Optimize a model with 39793 rows, 9463 columns and 127420 nonzeros Presolve time: 0.16s Presolved: 39793 rows, 9463 columns, 127420 nonzeros Variable types: 0 continuous, 9463 integer (9463 binary) Root relaxation: objective 0.000000e+00, 651 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 (1095 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 03:47:46 2012 Optimize a model with 19990 rows, 5162 columns and 63710 nonzeros Presolve time: 0.08s Presolved: 19990 rows, 5162 columns, 63710 nonzeros Variable types: 0 continuous, 5162 integer (5162 binary) Root relaxation: objective 0.000000e+00, 431 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 (786 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 03:47:46 2012 Optimize a model with 9658 rows, 2918 columns and 30470 nonzeros Presolve time: 0.03s Presolved: 9658 rows, 2918 columns, 30470 nonzeros Variable types: 0 continuous, 2918 integer (2918 binary) Root relaxation: objective 0.000000e+00, 386 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 (722 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:47:47 2012 Optimize a model with 4492 rows, 1796 columns and 13850 nonzeros Presolve time: 0.01s Presolved: 4492 rows, 1796 columns, 13850 nonzeros Variable types: 0 continuous, 1796 integer (1796 binary) Root relaxation: objective 0.000000e+00, 427 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 334 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2201 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 03:47:47 2012 Optimize a model with 1909 rows, 1235 columns and 5540 nonzeros Presolve removed 187 rows and 187 columns Presolve time: 0.00s Presolved: 1722 rows, 1048 columns, 5166 nonzeros Variable types: 0 continuous, 1048 integer (1048 binary) Root relaxation: objective 0.000000e+00, 193 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 187 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (764 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:47:47 2012 Optimize a model with 2770 rows, 1422 columns and 8310 nonzeros Presolve time: 0.01s Presolved: 2770 rows, 1422 columns, 8310 nonzeros Variable types: 0 continuous, 1422 integer (1422 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 280 - 0.00000 - - 0s 0 0 0.00000 0 354 - 0.00000 - - 0s 0 0 0.00000 0 516 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 56 Clique: 1 Zero half: 507 Explored 0 nodes (9265 simplex iterations) in 1.34 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:47:48 2012 Optimize a model with 3631 rows, 1609 columns and 11080 nonzeros Presolve time: 0.01s Presolved: 3631 rows, 1609 columns, 11080 nonzeros Variable types: 0 continuous, 1609 integer (1609 binary) Root relaxation: objective 0.000000e+00, 400 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 360 - 0.00000 - - 0s 0 0 0.00000 0 354 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 0s 0 0 0.00000 0 393 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 1s 0 0 0.00000 0 334 - 0.00000 - - 1s 0 0 0.00000 0 332 - 0.00000 - - 1s 0 0 0.00000 0 326 - 0.00000 - - 2s 0 0 0.00000 0 322 - 0.00000 - - 2s 0 0 0.00000 0 318 - 0.00000 - - 2s 0 0 0.00000 0 320 - 0.00000 - - 3s 0 0 0.00000 0 320 - 0.00000 - - 3s 0 0 0.00000 0 318 - 0.00000 - - 3s 0 0 0.00000 0 308 - 0.00000 - - 4s 0 0 0.00000 0 314 - 0.00000 - - 4s 0 0 0.00000 0 304 - 0.00000 - - 4s 0 0 0.00000 0 312 - 0.00000 - - 5s 0 0 0.00000 0 312 - 0.00000 - - 5s 0 2 0.00000 0 312 - 0.00000 - - 5s 705 136 0.00000 20 346 - 0.00000 - 93.4 10s 709 138 0.00000 8 303 - 0.00000 - 92.9 15s 714 142 0.00000 20 254 - 0.00000 - 92.2 20s 718 144 0.00000 27 402 - 0.00000 - 91.7 25s 937 108 infeasible 29 - 0.00000 - 186 30s 1336 82 infeasible 29 - 0.00000 - 190 35s 1724 62 0.00000 28 318 - 0.00000 - 195 40s 2120 94 infeasible 31 - 0.00000 - 196 45s 2483 79 infeasible 26 - 0.00000 - 201 50s 2896 74 0.00000 21 330 - 0.00000 - 201 55s 3281 75 infeasible 28 - 0.00000 - 202 60s 3665 125 0.00000 24 392 - 0.00000 - 202 65s 4042 104 infeasible 27 - 0.00000 - 203 70s 4423 111 infeasible 30 - 0.00000 - 204 75s 4830 104 infeasible 29 - 0.00000 - 203 80s 5206 220 infeasible 29 - 0.00000 - 203 85s 5615 291 infeasible 34 - 0.00000 - 202 90s 6045 359 0.00000 32 320 - 0.00000 - 201 95s 6413 375 infeasible 34 - 0.00000 - 202 100s 6778 376 0.00000 24 399 - 0.00000 - 203 105s 7156 396 0.00000 34 320 - 0.00000 - 203 110s 7531 369 infeasible 29 - 0.00000 - 203 115s 7904 352 0.00000 27 316 - 0.00000 - 204 120s 8253 333 infeasible 34 - 0.00000 - 205 125s 8630 328 infeasible 36 - 0.00000 - 206 130s 8982 318 infeasible 29 - 0.00000 - 207 135s 9338 300 infeasible 31 - 0.00000 - 207 140s 9744 310 infeasible 38 - 0.00000 - 207 145s 10138 336 0.00000 25 359 - 0.00000 - 207 150s 10521 329 0.00000 35 324 - 0.00000 - 207 155s 10898 316 0.00000 32 320 - 0.00000 - 207 160s 11264 304 infeasible 31 - 0.00000 - 207 165s 11632 300 infeasible 30 - 0.00000 - 207 170s 11965 311 0.00000 27 344 - 0.00000 - 208 175s 12335 279 0.00000 29 310 - 0.00000 - 208 180s 12705 329 infeasible 32 - 0.00000 - 208 185s 13110 332 infeasible 28 - 0.00000 - 208 190s 13519 325 infeasible 29 - 0.00000 - 208 195s 13883 301 0.00000 29 373 - 0.00000 - 208 200s 14240 284 0.00000 27 377 - 0.00000 - 208 205s 14597 269 infeasible 34 - 0.00000 - 209 210s 14924 244 0.00000 27 389 - 0.00000 - 209 215s 15254 236 infeasible 36 - 0.00000 - 210 220s 15609 249 0.00000 32 411 - 0.00000 - 210 225s 15998 236 0.00000 25 308 - 0.00000 - 210 230s 16329 229 infeasible 32 - 0.00000 - 210 235s 16674 220 infeasible 27 - 0.00000 - 211 240s 17016 208 infeasible 28 - 0.00000 - 211 245s 17390 192 infeasible 31 - 0.00000 - 211 250s 17751 185 0.00000 25 363 - 0.00000 - 211 255s 18147 171 infeasible 30 - 0.00000 - 211 260s 18511 157 infeasible 25 - 0.00000 - 211 265s 18868 154 0.00000 27 322 - 0.00000 - 211 270s 19183 147 0.00000 31 352 - 0.00000 - 211 275s 19477 127 infeasible 31 - 0.00000 - 212 280s 19832 120 0.00000 32 332 - 0.00000 - 212 285s 20152 122 0.00000 33 308 - 0.00000 - 212 290s Cutting planes: Gomory: 1 Zero half: 8 Explored 20421 nodes (4388999 simplex iterations) in 293.94 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 5