current bounds on the number of colors: 0 -- 145 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:19:27 2012 Optimize a model with 78193 rows, 11524 columns and 244584 nonzeros Presolve time: 0.22s Presolved: 78193 rows, 11524 columns, 244584 nonzeros Variable types: 0 continuous, 11524 integer (11524 binary) Root relaxation: objective 0.000000e+00, 362 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 (769 simplex iterations) in 0.43 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 -- 72 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:19:29 2012 Optimize a model with 39169 rows, 6304 columns and 122292 nonzeros Presolve time: 0.15s Presolved: 39169 rows, 6304 columns, 122292 nonzeros Variable types: 0 continuous, 6304 integer (6304 binary) Root relaxation: objective 0.000000e+00, 355 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 (743 simplex iterations) in 0.24 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 14:19:30 2012 Optimize a model with 19657 rows, 3694 columns and 61146 nonzeros Presolve time: 0.07s Presolved: 19657 rows, 3694 columns, 61146 nonzeros Variable types: 0 continuous, 3694 integer (3694 binary) Root relaxation: objective 0.000000e+00, 414 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 (847 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 14:19:30 2012 Optimize a model with 9901 rows, 2389 columns and 30573 nonzeros Presolve time: 0.03s Presolved: 9901 rows, 2389 columns, 30573 nonzeros Variable types: 0 continuous, 2389 integer (2389 binary) Root relaxation: objective 0.000000e+00, 304 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 (1169 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 14:19:30 2012 Optimize a model with 4481 rows, 1664 columns and 13588 nonzeros Presolve time: 0.01s Presolved: 4481 rows, 1664 columns, 13588 nonzeros Variable types: 0 continuous, 1664 integer (1664 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 288 - 0.00000 - - 0s 0 0 0.00000 0 212 - 0.00000 - - 0s 0 0 0.00000 0 483 - 0.00000 - - 1s 0 0 0.00000 0 487 - 0.00000 - - 2s 0 0 0.00000 0 480 - 0.00000 - - 3s 0 0 0.00000 0 485 - 0.00000 - - 3s 0 0 0.00000 0 485 - 0.00000 - - 4s 0 0 0.00000 0 490 - 0.00000 - - 5s 0 0 0.00000 0 487 - 0.00000 - - 6s 0 2 0.00000 0 487 - 0.00000 - - 7s Cutting planes: Clique: 22 Zero half: 14 Explored 19 nodes (46224 simplex iterations) in 8.85 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 14:19:39 2012 Optimize a model with 6649 rows, 1954 columns and 20382 nonzeros Presolve time: 0.02s Presolved: 6649 rows, 1954 columns, 20382 nonzeros Variable types: 0 continuous, 1954 integer (1954 binary) Root relaxation: objective 0.000000e+00, 318 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 278 - 0.00000 - - 0s 0 0 0.00000 0 274 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 2s 0 0 0.00000 0 427 - 0.00000 - - 2s 0 0 0.00000 0 383 - 0.00000 - - 3s 0 0 0.00000 0 391 - 0.00000 - - 4s 0 0 0.00000 0 339 - 0.00000 - - 5s 0 0 0.00000 0 305 - 0.00000 - - 5s 0 0 0.00000 0 292 - 0.00000 - - 6s 0 0 0.00000 0 333 - 0.00000 - - 7s 0 0 0.00000 0 395 - 0.00000 - - 8s 0 0 0.00000 0 395 - 0.00000 - - 9s 0 2 0.00000 0 343 - 0.00000 - - 10s 1249 76 0.00000 41 174 - 0.00000 - 66.5 15s 1712 97 0.00000 1 344 - 0.00000 - 67.3 20s 1718 101 0.00000 34 294 - 0.00000 - 67.1 25s 1722 104 0.00000 12 272 - 0.00000 - 66.9 30s 1726 107 0.00000 1 322 - 0.00000 - 66.8 35s 1949 163 infeasible 46 - 0.00000 - 109 40s * 2018 9 42 0.0000000 0.00000 0.0% 111 40s Cutting planes: Clique: 7 Zero half: 10 Explored 2019 nodes (281043 simplex iterations) in 40.83 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 14:20:20 2012 Optimize a model with 5565 rows, 1809 columns and 16985 nonzeros Presolve time: 0.01s Presolved: 5565 rows, 1809 columns, 16985 nonzeros Variable types: 0 continuous, 1809 integer (1809 binary) Root relaxation: objective 0.000000e+00, 307 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 156 - 0.00000 - - 0s 0 0 0.00000 0 134 - 0.00000 - - 0s 0 0 0.00000 0 418 - 0.00000 - - 1s 0 0 0.00000 0 412 - 0.00000 - - 2s 0 0 0.00000 0 402 - 0.00000 - - 2s 0 0 0.00000 0 391 - 0.00000 - - 2s 0 0 0.00000 0 413 - 0.00000 - - 2s 0 0 0.00000 0 234 - 0.00000 - - 4s 0 0 0.00000 0 266 - 0.00000 - - 5s 0 0 0.00000 0 226 - 0.00000 - - 6s 0 0 0.00000 0 227 - 0.00000 - - 7s 0 0 0.00000 0 227 - 0.00000 - - 8s 0 0 0.00000 0 214 - 0.00000 - - 9s 0 0 0.00000 0 216 - 0.00000 - - 10s 0 0 0.00000 0 216 - 0.00000 - - 11s 0 2 0.00000 0 216 - 0.00000 - - 12s 72 22 0.00000 18 246 - 0.00000 - 215 15s 271 49 0.00000 18 345 - 0.00000 - 216 20s 450 62 0.00000 21 346 - 0.00000 - 224 25s 603 105 0.00000 9 418 - 0.00000 - 218 31s 605 107 0.00000 13 405 - 0.00000 - 217 36s 607 108 0.00000 21 364 - 0.00000 - 216 42s 609 109 0.00000 24 360 - 0.00000 - 216 46s 611 111 0.00000 21 363 - 0.00000 - 215 50s 613 112 0.00000 14 350 - 0.00000 - 214 56s 628 120 0.00000 16 378 - 0.00000 - 305 60s 737 101 infeasible 26 - 0.00000 - 312 65s 832 72 infeasible 27 - 0.00000 - 324 70s 904 42 infeasible 26 - 0.00000 - 341 75s 986 30 0.00000 26 346 - 0.00000 - 351 80s 1073 29 infeasible 21 - 0.00000 - 358 85s 1161 37 infeasible 26 - 0.00000 - 364 90s 1239 41 infeasible 29 - 0.00000 - 373 95s 1314 36 0.00000 19 365 - 0.00000 - 381 100s 1401 37 infeasible 22 - 0.00000 - 386 105s 1480 30 0.00000 21 348 - 0.00000 - 391 110s 1581 27 infeasible 23 - 0.00000 - 392 115s 1667 23 infeasible 23 - 0.00000 - 394 120s 1763 19 infeasible 26 - 0.00000 - 394 125s 1845 19 infeasible 26 - 0.00000 - 397 130s 1933 13 0.00000 22 380 - 0.00000 - 400 135s 2032 34 infeasible 29 - 0.00000 - 399 140s 2127 39 0.00000 26 360 - 0.00000 - 400 145s 2219 65 infeasible 29 - 0.00000 - 400 150s 2307 72 0.00000 23 364 - 0.00000 - 402 155s 2394 73 infeasible 26 - 0.00000 - 403 160s 2477 76 infeasible 30 - 0.00000 - 406 165s 2555 68 infeasible 27 - 0.00000 - 408 170s 2642 75 infeasible 27 - 0.00000 - 410 175s 2726 79 0.00000 30 338 - 0.00000 - 412 180s 2815 86 0.00000 22 365 - 0.00000 - 412 185s 2891 94 infeasible 29 - 0.00000 - 415 190s 2970 83 infeasible 27 - 0.00000 - 417 195s 3052 87 infeasible 26 - 0.00000 - 418 200s 3136 93 infeasible 28 - 0.00000 - 420 205s 3220 97 0.00000 31 344 - 0.00000 - 421 210s 3308 97 0.00000 21 380 - 0.00000 - 421 215s 3395 94 infeasible 25 - 0.00000 - 422 220s 3468 89 infeasible 25 - 0.00000 - 424 225s 3547 86 0.00000 25 342 - 0.00000 - 426 230s 3631 88 0.00000 25 373 - 0.00000 - 426 235s 3713 86 infeasible 24 - 0.00000 - 428 240s 3792 85 infeasible 24 - 0.00000 - 429 245s Cutting planes: Gomory: 1 Clique: 6 Zero half: 20 Explored 3800 nodes (1697702 simplex iterations) in 245.84 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