current bounds on the number of colors: 0 -- 209 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:12:33 2012 Optimize a model with 115233 rows, 22842 columns and 366808 nonzeros Presolve time: 0.39s Presolved: 115233 rows, 22842 columns, 366808 nonzeros Variable types: 0 continuous, 22842 integer (22842 binary) Root relaxation: objective 0.000000e+00, 554 iterations, 0.14 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 (991 simplex iterations) in 0.70 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 -- 104 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:12:35 2012 Optimize a model with 57721 rows, 11974 columns and 183404 nonzeros Presolve time: 0.17s Presolved: 57721 rows, 11974 columns, 183404 nonzeros Variable types: 0 continuous, 11974 integer (11974 binary) Root relaxation: objective 0.000000e+00, 765 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 (1275 simplex iterations) in 0.32 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 -- 52 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:12:36 2012 Optimize a model with 28965 rows, 6540 columns and 91702 nonzeros Presolve time: 0.12s Presolved: 28965 rows, 6540 columns, 91702 nonzeros Variable types: 0 continuous, 6540 integer (6540 binary) Root relaxation: objective 0.000000e+00, 479 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 (878 simplex iterations) in 0.17 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:12:36 2012 Optimize a model with 14587 rows, 3823 columns and 45851 nonzeros Presolve time: 0.05s Presolved: 14587 rows, 3823 columns, 45851 nonzeros Variable types: 0 continuous, 3823 integer (3823 binary) Root relaxation: objective 0.000000e+00, 440 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 (850 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:12:37 2012 Optimize a model with 6845 rows, 2360 columns and 21162 nonzeros Presolve time: 0.02s Presolved: 6845 rows, 2360 columns, 21162 nonzeros Variable types: 0 continuous, 2360 integer (2360 binary) Root relaxation: objective 0.000000e+00, 447 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 17 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2285 simplex iterations) in 0.11 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:12:37 2012 Optimize a model with 3527 rows, 1733 columns and 10581 nonzeros Presolve time: 0.01s Presolved: 3527 rows, 1733 columns, 10581 nonzeros Variable types: 0 continuous, 1733 integer (1733 binary) Root relaxation: objective 0.000000e+00, 476 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 416 - 0.00000 - - 0s 0 0 0.00000 0 416 - 0.00000 - - 0s 0 0 0.00000 0 584 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 41 Zero half: 1492 Explored 0 nodes (8578 simplex iterations) in 1.64 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:12:39 2012 Optimize a model with 4633 rows, 1942 columns and 14108 nonzeros Presolve time: 0.01s Presolved: 4633 rows, 1942 columns, 14108 nonzeros Variable types: 0 continuous, 1942 integer (1942 binary) Root relaxation: objective 0.000000e+00, 498 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 408 - 0.00000 - - 0s 0 0 0.00000 0 402 - 0.00000 - - 0s 0 0 0.00000 0 388 - 0.00000 - - 1s 0 0 0.00000 0 531 - 0.00000 - - 1s 0 0 0.00000 0 377 - 0.00000 - - 3s 0 0 0.00000 0 368 - 0.00000 - - 3s 0 0 0.00000 0 362 - 0.00000 - - 4s 0 0 0.00000 0 360 - 0.00000 - - 5s 0 0 0.00000 0 356 - 0.00000 - - 5s 0 0 0.00000 0 348 - 0.00000 - - 6s 0 0 0.00000 0 366 - 0.00000 - - 7s 0 0 0.00000 0 350 - 0.00000 - - 8s 0 0 0.00000 0 348 - 0.00000 - - 9s 0 0 0.00000 0 349 - 0.00000 - - 10s 0 0 0.00000 0 346 - 0.00000 - - 11s 0 0 0.00000 0 344 - 0.00000 - - 12s 0 0 0.00000 0 338 - 0.00000 - - 13s 0 0 0.00000 0 336 - 0.00000 - - 13s 0 0 0.00000 0 372 - 0.00000 - - 15s 0 0 0.00000 0 372 - 0.00000 - - 15s 0 2 0.00000 0 372 - 0.00000 - - 16s 76 44 0.00000 20 366 - 0.00000 - 270 20s 379 89 infeasible 23 - 0.00000 - 185 25s 603 130 0.00000 24 388 - 0.00000 - 177 30s 606 132 0.00000 20 358 - 0.00000 - 176 35s 609 134 0.00000 23 339 - 0.00000 - 175 41s 611 136 0.00000 15 330 - 0.00000 - 174 46s 613 137 0.00000 29 346 - 0.00000 - 174 52s 618 140 0.00000 15 510 - 0.00000 - 281 55s 633 148 0.00000 22 471 - 0.00000 - 280 60s 737 106 infeasible 23 - 0.00000 - 288 65s 843 78 infeasible 25 - 0.00000 - 298 70s 953 38 infeasible 27 - 0.00000 - 304 75s 1078 19 infeasible 25 - 0.00000 - 308 80s 1189 12 0.00000 20 503 - 0.00000 - 313 85s 1303 18 infeasible 23 - 0.00000 - 318 90s 1417 16 0.00000 21 492 - 0.00000 - 319 95s 1554 25 0.00000 23 490 - 0.00000 - 319 100s 1688 21 0.00000 28 382 - 0.00000 - 320 105s 1839 32 0.00000 31 431 - 0.00000 - 318 110s 1947 34 0.00000 29 390 - 0.00000 - 321 115s 2083 30 infeasible 32 - 0.00000 - 321 120s 2197 34 infeasible 29 - 0.00000 - 324 125s 2309 24 0.00000 22 504 - 0.00000 - 327 130s 2440 31 infeasible 27 - 0.00000 - 328 135s 2555 30 infeasible 28 - 0.00000 - 331 140s 2670 25 infeasible 25 - 0.00000 - 333 145s 2829 26 infeasible 27 - 0.00000 - 331 150s 2959 22 infeasible 25 - 0.00000 - 332 155s 3063 12 infeasible 25 - 0.00000 - 335 160s 3203 6 infeasible 22 - 0.00000 - 335 165s Cutting planes: Gomory: 2 Zero half: 12 Explored 3310 nodes (1214484 simplex iterations) in 169.97 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:15:29 2012 Optimize a model with 5739 rows, 2151 columns and 17635 nonzeros Presolve time: 0.02s Presolved: 5739 rows, 2151 columns, 17635 nonzeros Variable types: 0 continuous, 2151 integer (2151 binary) Root relaxation: objective 0.000000e+00, 444 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 376 - 0.00000 - - 0s 0 0 0.00000 0 364 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 1s 0 0 0.00000 0 508 - 0.00000 - - 1s 0 0 0.00000 0 515 - 0.00000 - - 2s 0 0 0.00000 0 456 - 0.00000 - - 2s H 0 0 0.0000000 0.00000 0.0% - 2s Explored 0 nodes (20219 simplex iterations) in 2.77 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% optimal solution found: number of colors: 5