current bounds on the number of colors: 0 -- 147 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:11:02 2012 Optimize a model with 77892 rows, 11796 columns and 243966 nonzeros Presolve time: 0.22s Presolved: 77892 rows, 11796 columns, 243966 nonzeros Variable types: 0 continuous, 11796 integer (11796 binary) Root relaxation: objective 0.000000e+00, 403 iterations, 0.09 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 (1009 simplex iterations) in 0.48 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 -- 73 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:11:03 2012 Optimize a model with 38487 rows, 6357 columns and 120312 nonzeros Presolve time: 0.15s Presolved: 38487 rows, 6357 columns, 120312 nonzeros Variable types: 0 continuous, 6357 integer (6357 binary) Root relaxation: objective 0.000000e+00, 495 iterations, 0.05 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 (942 simplex iterations) in 0.25 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:11:04 2012 Optimize a model with 19317 rows, 3711 columns and 60156 nonzeros Presolve time: 0.07s Presolved: 19317 rows, 3711 columns, 60156 nonzeros Variable types: 0 continuous, 3711 integer (3711 binary) Root relaxation: objective 0.000000e+00, 426 iterations, 0.02 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 (832 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:11:04 2012 Optimize a model with 9732 rows, 2388 columns and 30078 nonzeros Presolve time: 0.03s Presolved: 9732 rows, 2388 columns, 30078 nonzeros Variable types: 0 continuous, 2388 integer (2388 binary) Root relaxation: objective 0.000000e+00, 302 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 (767 simplex iterations) in 0.06 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:11:04 2012 Optimize a model with 4407 rows, 1653 columns and 13368 nonzeros Presolve time: 0.01s Presolved: 4407 rows, 1653 columns, 13368 nonzeros Variable types: 0 continuous, 1653 integer (1653 binary) Root relaxation: objective 0.000000e+00, 316 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 292 - 0.00000 - - 0s 0 0 0.00000 0 327 - 0.00000 - - 0s 0 0 0.00000 0 485 - 0.00000 - - 2s 0 0 0.00000 0 482 - 0.00000 - - 2s 0 0 0.00000 0 495 - 0.00000 - - 2s 0 0 0.00000 0 496 - 0.00000 - - 3s 0 0 0.00000 0 497 - 0.00000 - - 4s 0 0 0.00000 0 478 - 0.00000 - - 5s 0 0 0.00000 0 478 - 0.00000 - - 6s 0 0 0.00000 0 478 - 0.00000 - - 7s 0 2 0.00000 0 478 - 0.00000 - - 8s Cutting planes: Clique: 11 Zero half: 12 Explored 9 nodes (44053 simplex iterations) in 8.87 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 16:11:13 2012 Optimize a model with 6537 rows, 1947 columns and 20052 nonzeros Presolve time: 0.02s Presolved: 6537 rows, 1947 columns, 20052 nonzeros Variable types: 0 continuous, 1947 integer (1947 binary) Root relaxation: objective 0.000000e+00, 327 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 282 - 0.00000 - - 0s 0 0 0.00000 0 296 - 0.00000 - - 0s 0 0 0.00000 0 272 - 0.00000 - - 2s 0 0 0.00000 0 382 - 0.00000 - - 2s 0 0 0.00000 0 362 - 0.00000 - - 3s 0 0 0.00000 0 400 - 0.00000 - - 3s 0 0 0.00000 0 402 - 0.00000 - - 5s 0 0 0.00000 0 402 - 0.00000 - - 5s 0 2 0.00000 0 402 - 0.00000 - - 6s * 91 2 44 0.0000000 0.00000 0.0% 123 7s Cutting planes: Clique: 6 Zero half: 18 Explored 92 nodes (44957 simplex iterations) in 7.52 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 16:11:21 2012 Optimize a model with 5472 rows, 1800 columns and 16710 nonzeros Presolve time: 0.01s Presolved: 5472 rows, 1800 columns, 16710 nonzeros Variable types: 0 continuous, 1800 integer (1800 binary) Root relaxation: objective 0.000000e+00, 313 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 146 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 1s 0 0 0.00000 0 390 - 0.00000 - - 2s 0 0 0.00000 0 412 - 0.00000 - - 2s 0 0 0.00000 0 402 - 0.00000 - - 4s 0 0 0.00000 0 412 - 0.00000 - - 5s 0 0 0.00000 0 397 - 0.00000 - - 6s 0 0 0.00000 0 395 - 0.00000 - - 7s 0 0 0.00000 0 395 - 0.00000 - - 7s 0 0 0.00000 0 341 - 0.00000 - - 9s 0 0 0.00000 0 377 - 0.00000 - - 10s 0 0 0.00000 0 375 - 0.00000 - - 11s 0 0 0.00000 0 378 - 0.00000 - - 12s 0 0 0.00000 0 378 - 0.00000 - - 13s 0 2 0.00000 0 378 - 0.00000 - - 14s 8 8 0.00000 5 361 - 0.00000 - 707 15s 245 65 0.00000 23 313 - 0.00000 - 207 20s 511 71 infeasible 17 - 0.00000 - 194 25s 604 91 0.00000 4 417 - 0.00000 - 191 30s 606 92 0.00000 11 315 - 0.00000 - 190 36s 608 94 0.00000 12 329 - 0.00000 - 189 41s 610 95 0.00000 16 224 - 0.00000 - 189 47s 611 96 0.00000 5 348 - 0.00000 - 188 50s 620 100 0.00000 17 387 - 0.00000 - 291 55s 716 126 0.00000 30 380 - 0.00000 - 300 60s 818 96 0.00000 32 341 - 0.00000 - 312 65s 937 85 infeasible 35 - 0.00000 - 318 70s 1044 110 0.00000 29 359 - 0.00000 - 324 75s 1144 112 infeasible 33 - 0.00000 - 333 80s 1256 124 infeasible 31 - 0.00000 - 337 85s 1342 126 0.00000 30 352 - 0.00000 - 347 90s 1429 125 0.00000 34 348 - 0.00000 - 355 95s 1524 128 0.00000 31 343 - 0.00000 - 361 100s 1627 141 0.00000 33 359 - 0.00000 - 363 105s 1715 139 0.00000 26 354 - 0.00000 - 368 110s 1815 149 infeasible 36 - 0.00000 - 370 115s 1921 147 0.00000 31 375 - 0.00000 - 372 120s 2017 151 infeasible 37 - 0.00000 - 374 125s 2121 151 0.00000 29 342 - 0.00000 - 377 130s 2229 157 infeasible 31 - 0.00000 - 378 135s 2335 161 0.00000 30 353 - 0.00000 - 378 140s 2433 165 infeasible 33 - 0.00000 - 380 145s 2538 164 infeasible 32 - 0.00000 - 381 150s 2643 159 infeasible 29 - 0.00000 - 382 155s 2737 163 infeasible 34 - 0.00000 - 383 160s 2830 158 0.00000 33 356 - 0.00000 - 386 165s 2923 157 0.00000 30 344 - 0.00000 - 388 170s 3030 152 infeasible 28 - 0.00000 - 388 175s 3114 152 infeasible 32 - 0.00000 - 391 180s 3221 155 0.00000 33 346 - 0.00000 - 391 185s 3331 149 0.00000 33 340 - 0.00000 - 390 190s 3429 139 infeasible 32 - 0.00000 - 391 195s 3509 123 infeasible 32 - 0.00000 - 394 200s 3604 122 infeasible 32 - 0.00000 - 395 205s 3698 122 infeasible 34 - 0.00000 - 396 210s 3795 115 0.00000 32 352 - 0.00000 - 397 215s 3896 112 infeasible 31 - 0.00000 - 397 220s 3994 110 infeasible 29 - 0.00000 - 398 225s 4085 105 0.00000 30 365 - 0.00000 - 399 230s 4172 104 0.00000 30 349 - 0.00000 - 401 235s 4275 115 0.00000 39 343 - 0.00000 - 401 240s 4384 122 0.00000 31 354 - 0.00000 - 401 245s 4492 136 0.00000 31 332 - 0.00000 - 401 250s 4593 133 infeasible 31 - 0.00000 - 401 255s 4699 141 0.00000 33 343 - 0.00000 - 401 260s 4800 134 infeasible 33 - 0.00000 - 402 265s 4906 142 0.00000 28 351 - 0.00000 - 402 270s 5011 159 infeasible 32 - 0.00000 - 402 275s Cutting planes: Gomory: 1 Clique: 6 Zero half: 10 Explored 5095 nodes (2113251 simplex iterations) in 279.13 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