current bounds on the number of colors: 0 -- 171 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:18:34 2012 Optimize a model with 63666 rows, 15282 columns and 205020 nonzeros Presolve time: 0.19s Presolved: 63666 rows, 15282 columns, 205020 nonzeros Variable types: 0 continuous, 15282 integer (15282 binary) Root relaxation: objective 0.000000e+00, 703 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 (1122 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 -- 85 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:18:35 2012 Optimize a model with 31545 rows, 7929 columns and 101304 nonzeros Presolve time: 0.14s Presolved: 31545 rows, 7929 columns, 101304 nonzeros Variable types: 0 continuous, 7929 integer (7929 binary) Root relaxation: objective 0.000000e+00, 529 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 (911 simplex iterations) in 0.21 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 -- 42 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:18:36 2012 Optimize a model with 15858 rows, 4338 columns and 50652 nonzeros Presolve time: 0.06s Presolved: 15858 rows, 4338 columns, 50652 nonzeros Variable types: 0 continuous, 4338 integer (4338 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 (717 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 -- 21 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:18:36 2012 Optimize a model with 7641 rows, 2457 columns and 24120 nonzeros Presolve time: 0.02s Presolved: 7641 rows, 2457 columns, 24120 nonzeros Variable types: 0 continuous, 2457 integer (2457 binary) Root relaxation: objective 0.000000e+00, 366 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 (667 simplex iterations) in 0.04 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:18:36 2012 Optimize a model with 3906 rows, 1602 columns and 12060 nonzeros Presolve time: 0.01s Presolved: 3906 rows, 1602 columns, 12060 nonzeros Variable types: 0 continuous, 1602 integer (1602 binary) Root relaxation: objective 0.000000e+00, 375 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 (1402 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 21:18:37 2012 Optimize a model with 1665 rows, 1089 columns and 4824 nonzeros Presolve removed 171 rows and 171 columns Presolve time: 0.00s Presolved: 1494 rows, 918 columns, 4482 nonzeros Variable types: 0 continuous, 918 integer (918 binary) Root relaxation: objective 0.000000e+00, 184 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 171 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (711 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 Fri Dec 14 21:18:37 2012 Optimize a model with 2412 rows, 1260 columns and 7236 nonzeros Presolve time: 0.01s Presolved: 2412 rows, 1260 columns, 7236 nonzeros Variable types: 0 continuous, 1260 integer (1260 binary) Root relaxation: objective 0.000000e+00, 382 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 340 - 0.00000 - - 0s 0 0 0.00000 0 338 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3987 simplex iterations) in 0.43 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 Fri Dec 14 21:18:37 2012 Optimize a model with 3159 rows, 1431 columns and 9648 nonzeros Presolve time: 0.01s Presolved: 3159 rows, 1431 columns, 9648 nonzeros Variable types: 0 continuous, 1431 integer (1431 binary) Root relaxation: objective 0.000000e+00, 404 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 326 - 0.00000 - - 0s 0 0 0.00000 0 316 - 0.00000 - - 0s 0 0 0.00000 0 330 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 0s 0 0 0.00000 0 305 - 0.00000 - - 1s 0 0 0.00000 0 288 - 0.00000 - - 1s 0 0 0.00000 0 294 - 0.00000 - - 1s 0 0 0.00000 0 291 - 0.00000 - - 1s 0 0 0.00000 0 268 - 0.00000 - - 2s 0 0 0.00000 0 270 - 0.00000 - - 2s 0 0 0.00000 0 357 - 0.00000 - - 2s 0 0 0.00000 0 377 - 0.00000 - - 3s 0 0 0.00000 0 377 - 0.00000 - - 3s 0 2 0.00000 0 377 - 0.00000 - - 3s 237 127 0.00000 17 286 - 0.00000 - 107 5s 609 179 0.00000 22 397 - 0.00000 - 89.9 10s 739 202 infeasible 35 - 0.00000 - 149 15s 1269 146 0.00000 27 312 - 0.00000 - 153 20s 1779 190 0.00000 31 276 - 0.00000 - 159 25s 2305 136 infeasible 34 - 0.00000 - 161 30s 2855 244 0.00000 33 264 - 0.00000 - 160 35s 3463 312 infeasible 34 - 0.00000 - 157 40s 4059 352 infeasible 39 - 0.00000 - 156 45s 4591 362 infeasible 35 - 0.00000 - 157 50s 5176 393 infeasible 35 - 0.00000 - 156 55s 5731 402 infeasible 32 - 0.00000 - 156 60s 6342 397 infeasible 34 - 0.00000 - 156 65s 6906 391 infeasible 36 - 0.00000 - 156 70s 7442 367 0.00000 37 278 - 0.00000 - 157 75s 7983 354 infeasible 33 - 0.00000 - 157 80s 8591 470 infeasible 33 - 0.00000 - 156 85s 9152 501 infeasible 34 - 0.00000 - 156 90s 9689 510 infeasible 31 - 0.00000 - 157 95s 10203 494 infeasible 37 - 0.00000 - 158 100s 10741 448 infeasible 30 - 0.00000 - 158 105s 11249 428 infeasible 31 - 0.00000 - 159 110s 11821 486 infeasible 40 - 0.00000 - 159 115s 12414 499 infeasible 33 - 0.00000 - 158 120s 12979 562 0.00000 29 279 - 0.00000 - 158 125s 13534 571 infeasible 33 - 0.00000 - 158 130s 14077 574 infeasible 34 - 0.00000 - 158 135s 14591 570 infeasible 34 - 0.00000 - 159 140s 15146 587 infeasible 30 - 0.00000 - 158 145s 15689 594 0.00000 34 275 - 0.00000 - 159 150s 16232 575 infeasible 35 - 0.00000 - 159 155s 16768 551 infeasible 38 - 0.00000 - 159 160s 17340 527 0.00000 34 278 - 0.00000 - 159 165s 17845 535 infeasible 36 - 0.00000 - 159 170s 18353 507 infeasible 31 - 0.00000 - 160 175s 18865 509 infeasible 35 - 0.00000 - 160 180s 19384 496 0.00000 32 302 - 0.00000 - 160 185s 19913 489 infeasible 38 - 0.00000 - 161 190s 20415 461 infeasible 30 - 0.00000 - 161 195s 20911 431 infeasible 30 - 0.00000 - 161 200s 21474 444 0.00000 33 276 - 0.00000 - 161 205s 22062 494 infeasible 36 - 0.00000 - 161 210s 22664 496 infeasible 34 - 0.00000 - 161 215s 23245 481 infeasible 40 - 0.00000 - 160 220s 23748 426 infeasible 36 - 0.00000 - 161 225s 24307 387 0.00000 31 286 - 0.00000 - 161 230s 24827 369 infeasible 37 - 0.00000 - 161 235s 25342 386 infeasible 31 - 0.00000 - 161 240s 25833 385 0.00000 32 270 - 0.00000 - 161 245s 26355 393 infeasible 30 - 0.00000 - 162 250s 26873 383 0.00000 24 276 - 0.00000 - 162 255s 27421 405 infeasible 30 - 0.00000 - 162 260s 28023 389 infeasible 29 - 0.00000 - 162 265s 28567 343 0.00000 31 310 - 0.00000 - 162 270s 29127 329 infeasible 33 - 0.00000 - 161 275s 29634 290 0.00000 29 331 - 0.00000 - 162 280s 30107 277 infeasible 32 - 0.00000 - 162 285s 30645 257 0.00000 29 288 - 0.00000 - 162 290s 31156 240 0.00000 40 270 - 0.00000 - 162 295s Cutting planes: Zero half: 30 Explored 31236 nodes (5095875 simplex iterations) in 295.81 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