current bounds on the number of colors: 0 -- 137 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:40:36 2012 Optimize a model with 64669 rows, 10265 columns and 202912 nonzeros Presolve time: 0.19s Presolved: 64669 rows, 10265 columns, 202912 nonzeros Variable types: 0 continuous, 10265 integer (10265 binary) Root relaxation: objective 0.000000e+00, 340 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 (648 simplex iterations) in 0.35 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:40:37 2012 Optimize a model with 32403 rows, 5607 columns and 101456 nonzeros Presolve time: 0.15s Presolved: 32403 rows, 5607 columns, 101456 nonzeros Variable types: 0 continuous, 5607 integer (5607 binary) Root relaxation: objective 0.000000e+00, 323 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 (620 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:40:38 2012 Optimize a model with 16270 rows, 3278 columns and 50728 nonzeros Presolve time: 0.06s Presolved: 16270 rows, 3278 columns, 50728 nonzeros Variable types: 0 continuous, 3278 integer (3278 binary) Root relaxation: objective 0.000000e+00, 280 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 (576 simplex iterations) in 0.09 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:40:38 2012 Optimize a model with 7729 rows, 2045 columns and 23872 nonzeros Presolve time: 0.02s Presolved: 7729 rows, 2045 columns, 23872 nonzeros Variable types: 0 continuous, 2045 integer (2045 binary) Root relaxation: objective 0.000000e+00, 284 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 (1254 simplex iterations) in 0.07 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:40:38 2012 Optimize a model with 3933 rows, 1497 columns and 11936 nonzeros Presolve time: 0.01s Presolved: 3933 rows, 1497 columns, 11936 nonzeros Variable types: 0 continuous, 1497 integer (1497 binary) Root relaxation: objective 0.000000e+00, 287 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 174 - 0.00000 - - 0s 0 0 0.00000 0 256 - 0.00000 - - 0s 0 0 0.00000 0 434 - 0.00000 - - 1s 0 0 0.00000 0 440 - 0.00000 - - 2s 0 0 0.00000 0 428 - 0.00000 - - 3s 0 0 0.00000 0 441 - 0.00000 - - 3s 0 0 0.00000 0 418 - 0.00000 - - 5s 0 0 0.00000 0 422 - 0.00000 - - 6s 0 0 0.00000 0 421 - 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 413 - 0.00000 - - 11s 0 0 0.00000 0 410 - 0.00000 - - 12s 0 0 0.00000 0 410 - 0.00000 - - 13s 0 0 0.00000 0 410 - 0.00000 - - 14s 0 2 0.00000 0 410 - 0.00000 - - 15s Cutting planes: Clique: 35 Zero half: 11 Explored 29 nodes (64039 simplex iterations) in 16.80 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:40:55 2012 Optimize a model with 5831 rows, 1771 columns and 17904 nonzeros Presolve time: 0.02s Presolved: 5831 rows, 1771 columns, 17904 nonzeros Variable types: 0 continuous, 1771 integer (1771 binary) Root relaxation: objective 0.000000e+00, 280 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 248 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 2 Clique: 305 MIR: 5 Zero half: 365 Explored 0 nodes (4241 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:40:56 2012 Optimize a model with 4882 rows, 1634 columns and 14920 nonzeros Presolve time: 0.01s Presolved: 4882 rows, 1634 columns, 14920 nonzeros Variable types: 0 continuous, 1634 integer (1634 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 270 - 0.00000 - - 0s 0 0 0.00000 0 258 - 0.00000 - - 0s 0 0 0.00000 0 383 - 0.00000 - - 1s 0 0 0.00000 0 384 - 0.00000 - - 1s 0 0 0.00000 0 367 - 0.00000 - - 2s 0 0 0.00000 0 361 - 0.00000 - - 3s 0 0 0.00000 0 366 - 0.00000 - - 3s 0 0 0.00000 0 372 - 0.00000 - - 4s 0 0 0.00000 0 395 - 0.00000 - - 4s 0 0 0.00000 0 395 - 0.00000 - - 5s 0 2 0.00000 0 395 - 0.00000 - - 6s 284 20 infeasible 17 - 0.00000 - 156 10s 763 18 0.00000 17 285 - 0.00000 - 140 15s 815 34 0.00000 22 387 - 0.00000 - 140 20s 819 36 0.00000 4 358 - 0.00000 - 139 27s 821 38 0.00000 8 353 - 0.00000 - 139 31s 823 39 0.00000 14 346 - 0.00000 - 138 35s 826 41 0.00000 4 343 - 0.00000 - 138 41s 829 43 0.00000 17 356 - 0.00000 - 137 45s 932 34 0.00000 27 273 - 0.00000 - 219 50s 1095 25 0.00000 28 305 - 0.00000 - 235 55s 1257 21 0.00000 22 328 - 0.00000 - 247 60s 1431 37 0.00000 29 257 - 0.00000 - 254 65s 1568 30 0.00000 28 296 - 0.00000 - 265 70s 1739 37 infeasible 28 - 0.00000 - 269 75s 1913 25 infeasible 32 - 0.00000 - 273 80s 2065 23 infeasible 31 - 0.00000 - 278 85s 2227 27 infeasible 31 - 0.00000 - 281 90s 2372 18 0.00000 27 331 - 0.00000 - 285 95s 2519 29 0.00000 36 297 - 0.00000 - 289 100s 2706 30 infeasible 38 - 0.00000 - 289 105s 2879 27 0.00000 36 230 - 0.00000 - 290 110s 3027 27 infeasible 37 - 0.00000 - 293 115s 3189 23 infeasible 33 - 0.00000 - 294 120s 3338 34 infeasible 32 - 0.00000 - 296 125s 3475 37 0.00000 26 344 - 0.00000 - 299 130s 3617 35 infeasible 33 - 0.00000 - 301 135s 3777 43 infeasible 31 - 0.00000 - 302 140s 3915 41 0.00000 32 323 - 0.00000 - 304 145s 4047 45 0.00000 29 304 - 0.00000 - 306 150s 4184 36 infeasible 29 - 0.00000 - 308 155s 4325 43 0.00000 26 326 - 0.00000 - 309 160s 4466 40 0.00000 28 289 - 0.00000 - 310 165s 4617 41 infeasible 31 - 0.00000 - 311 170s 4769 33 0.00000 33 311 - 0.00000 - 311 175s 4938 48 0.00000 31 294 - 0.00000 - 311 180s 5064 36 0.00000 28 316 - 0.00000 - 313 185s 5194 28 infeasible 26 - 0.00000 - 314 190s 5402 64 infeasible 35 - 0.00000 - 312 195s 5584 52 0.00000 37 284 - 0.00000 - 312 200s 5774 50 0.00000 28 240 - 0.00000 - 312 205s 5944 42 infeasible 30 - 0.00000 - 312 210s 6131 31 0.00000 29 312 - 0.00000 - 312 215s 6328 56 0.00000 33 244 - 0.00000 - 310 220s 6496 44 0.00000 29 313 - 0.00000 - 311 225s 6693 43 0.00000 25 316 - 0.00000 - 310 230s 6863 39 0.00000 28 274 - 0.00000 - 310 235s 7052 38 infeasible 35 - 0.00000 - 309 240s 7194 32 0.00000 23 333 - 0.00000 - 310 245s 7355 37 0.00000 32 262 - 0.00000 - 311 250s 7515 43 0.00000 33 327 - 0.00000 - 311 255s 7658 42 0.00000 34 312 - 0.00000 - 312 260s 7815 43 infeasible 34 - 0.00000 - 312 265s 7976 64 0.00000 33 309 - 0.00000 - 312 270s 8143 59 0.00000 25 330 - 0.00000 - 312 275s Cutting planes: Clique: 8 Zero half: 17 Explored 8286 nodes (2618109 simplex iterations) in 279.00 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