current bounds on the number of colors: 0 -- 136 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:01:04 2012 Optimize a model with 62288 rows, 10162 columns and 195704 nonzeros Presolve time: 0.19s Presolved: 62288 rows, 10162 columns, 195704 nonzeros Variable types: 0 continuous, 10162 integer (10162 binary) Root relaxation: objective 0.000000e+00, 346 iterations, 0.07 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 (647 simplex iterations) in 0.34 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 -- 68 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:01:05 2012 Optimize a model with 31212 rows, 5538 columns and 97852 nonzeros Presolve time: 0.14s Presolved: 31212 rows, 5538 columns, 97852 nonzeros Variable types: 0 continuous, 5538 integer (5538 binary) Root relaxation: objective 0.000000e+00, 327 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 (679 simplex iterations) in 0.22 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 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:01:05 2012 Optimize a model with 15674 rows, 3226 columns and 48926 nonzeros Presolve time: 0.05s Presolved: 15674 rows, 3226 columns, 48926 nonzeros Variable types: 0 continuous, 3226 integer (3226 binary) Root relaxation: objective 0.000000e+00, 278 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 (558 simplex iterations) in 0.08 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:01:06 2012 Optimize a model with 7448 rows, 2002 columns and 23024 nonzeros Presolve time: 0.02s Presolved: 7448 rows, 2002 columns, 23024 nonzeros Variable types: 0 continuous, 2002 integer (2002 binary) Root relaxation: objective 0.000000e+00, 288 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 (1361 simplex iterations) in 0.08 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:01:06 2012 Optimize a model with 3792 rows, 1458 columns and 11512 nonzeros Presolve time: 0.01s Presolved: 3792 rows, 1458 columns, 11512 nonzeros Variable types: 0 continuous, 1458 integer (1458 binary) Root relaxation: objective 0.000000e+00, 283 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 272 - 0.00000 - - 0s 0 0 0.00000 0 258 - 0.00000 - - 0s 0 0 0.00000 0 432 - 0.00000 - - 1s 0 0 0.00000 0 448 - 0.00000 - - 2s 0 0 0.00000 0 440 - 0.00000 - - 2s 0 0 0.00000 0 436 - 0.00000 - - 4s 0 0 0.00000 0 428 - 0.00000 - - 4s 0 0 0.00000 0 421 - 0.00000 - - 6s 0 0 0.00000 0 412 - 0.00000 - - 7s 0 0 0.00000 0 417 - 0.00000 - - 9s 0 0 0.00000 0 414 - 0.00000 - - 10s 0 0 0.00000 0 422 - 0.00000 - - 11s 0 0 0.00000 0 423 - 0.00000 - - 12s 0 0 0.00000 0 423 - 0.00000 - - 13s 0 2 0.00000 0 423 - 0.00000 - - 13s Cutting planes: Clique: 20 Zero half: 18 Explored 5 nodes (52834 simplex iterations) in 14.05 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 4 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:01:20 2012 Optimize a model with 5620 rows, 1730 columns and 17268 nonzeros Presolve time: 0.02s Presolved: 5620 rows, 1730 columns, 17268 nonzeros Variable types: 0 continuous, 1730 integer (1730 binary) Root relaxation: objective 0.000000e+00, 282 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 122 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 1 Clique: 34 MIR: 2 Zero half: 67 Explored 0 nodes (3527 simplex iterations) in 0.29 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:01:21 2012 Optimize a model with 4706 rows, 1594 columns and 14390 nonzeros Presolve time: 0.01s Presolved: 4706 rows, 1594 columns, 14390 nonzeros Variable types: 0 continuous, 1594 integer (1594 binary) Root relaxation: objective 0.000000e+00, 286 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 264 - 0.00000 - - 0s 0 0 0.00000 0 278 - 0.00000 - - 0s 0 0 0.00000 0 236 - 0.00000 - - 1s 0 0 0.00000 0 405 - 0.00000 - - 1s 0 0 0.00000 0 210 - 0.00000 - - 2s 0 0 0.00000 0 224 - 0.00000 - - 3s 0 0 0.00000 0 334 - 0.00000 - - 4s 0 0 0.00000 0 311 - 0.00000 - - 5s 0 0 0.00000 0 323 - 0.00000 - - 6s 0 0 0.00000 0 333 - 0.00000 - - 7s 0 0 0.00000 0 333 - 0.00000 - - 7s 0 2 0.00000 0 333 - 0.00000 - - 7s 99 43 infeasible 18 - 0.00000 - 204 10s 542 106 0.00000 15 260 - 0.00000 - 149 15s 705 127 0.00000 12 220 - 0.00000 - 144 20s 708 129 0.00000 19 288 - 0.00000 - 143 25s 712 131 0.00000 12 287 - 0.00000 - 142 30s 737 146 0.00000 21 301 - 0.00000 - 201 35s 877 153 infeasible 21 - 0.00000 - 212 40s 1045 127 0.00000 29 321 - 0.00000 - 223 45s 1236 135 infeasible 33 - 0.00000 - 229 50s 1431 188 infeasible 37 - 0.00000 - 234 55s 1614 207 infeasible 37 - 0.00000 - 240 60s 1766 201 infeasible 34 - 0.00000 - 247 65s 1944 219 0.00000 25 345 - 0.00000 - 251 70s 2095 220 infeasible 31 - 0.00000 - 255 75s 2245 214 0.00000 27 305 - 0.00000 - 260 80s 2387 198 infeasible 29 - 0.00000 - 266 85s 2555 208 infeasible 26 - 0.00000 - 269 90s 2743 232 infeasible 30 - 0.00000 - 271 95s 2897 222 infeasible 26 - 0.00000 - 275 100s 3091 248 infeasible 32 - 0.00000 - 275 105s 3279 242 infeasible 29 - 0.00000 - 275 110s 3459 266 infeasible 32 - 0.00000 - 276 115s 3641 258 0.00000 26 313 - 0.00000 - 277 120s 3813 268 infeasible 25 - 0.00000 - 279 125s 3992 273 infeasible 30 - 0.00000 - 280 130s 4165 272 infeasible 25 - 0.00000 - 281 135s 4337 286 infeasible 25 - 0.00000 - 282 140s 4503 290 infeasible 31 - 0.00000 - 283 145s 4694 291 0.00000 28 299 - 0.00000 - 283 150s 4852 275 0.00000 24 326 - 0.00000 - 285 155s 5002 273 infeasible 26 - 0.00000 - 287 160s 5177 270 0.00000 27 288 - 0.00000 - 288 165s 5354 273 infeasible 25 - 0.00000 - 288 170s 5501 268 0.00000 26 315 - 0.00000 - 290 175s 5665 286 infeasible 29 - 0.00000 - 291 180s 5827 280 infeasible 33 - 0.00000 - 292 185s 5986 293 0.00000 28 323 - 0.00000 - 292 190s 6146 291 infeasible 35 - 0.00000 - 293 195s 6328 315 0.00000 26 314 - 0.00000 - 293 200s 6492 307 0.00000 26 297 - 0.00000 - 293 205s 6661 324 0.00000 27 294 - 0.00000 - 294 210s 6843 324 infeasible 38 - 0.00000 - 295 215s 6991 326 0.00000 30 296 - 0.00000 - 296 220s 7163 316 0.00000 20 342 - 0.00000 - 296 225s 7317 310 infeasible 29 - 0.00000 - 297 230s 7467 304 0.00000 23 301 - 0.00000 - 298 235s 7624 293 infeasible 27 - 0.00000 - 299 240s 7778 301 infeasible 32 - 0.00000 - 300 245s 7952 295 0.00000 30 305 - 0.00000 - 300 250s 8119 290 infeasible 29 - 0.00000 - 300 255s 8281 284 infeasible 29 - 0.00000 - 301 260s 8444 291 0.00000 31 307 - 0.00000 - 301 265s 8614 285 infeasible 28 - 0.00000 - 301 270s 8777 278 infeasible 29 - 0.00000 - 302 275s 8930 271 infeasible 25 - 0.00000 - 302 280s Cutting planes: Gomory: 1 Clique: 5 Zero half: 13 Explored 8999 nodes (2764841 simplex iterations) in 282.04 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: 6