current bounds on the number of colors: 0 -- 214 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:10:57 2012 Optimize a model with 121659 rows, 24033 columns and 387233 nonzeros Presolve time: 0.42s Presolved: 121659 rows, 24033 columns, 387233 nonzeros Variable types: 0 continuous, 24033 integer (24033 binary) Root relaxation: objective 0.000000e+00, 571 iterations, 0.15 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 (1023 simplex iterations) in 0.74 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 -- 107 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:10:59 2012 Optimize a model with 60369 rows, 12477 columns and 191807 nonzeros Presolve time: 0.18s Presolved: 60369 rows, 12477 columns, 191807 nonzeros Variable types: 0 continuous, 12477 integer (12477 binary) Root relaxation: objective 0.000000e+00, 541 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 (998 simplex iterations) in 0.30 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 -- 53 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:11:00 2012 Optimize a model with 29724 rows, 6699 columns and 94094 nonzeros Presolve time: 0.13s Presolved: 29724 rows, 6699 columns, 94094 nonzeros Variable types: 0 continuous, 6699 integer (6699 binary) Root relaxation: objective 0.000000e+00, 445 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 (1092 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 15:11:00 2012 Optimize a model with 14969 rows, 3917 columns and 47047 nonzeros Presolve time: 0.05s Presolved: 14969 rows, 3917 columns, 47047 nonzeros Variable types: 0 continuous, 3917 integer (3917 binary) Root relaxation: objective 0.000000e+00, 448 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 (1117 simplex iterations) in 0.10 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 15:11:01 2012 Optimize a model with 7024 rows, 2419 columns and 21714 nonzeros Presolve time: 0.02s Presolved: 7024 rows, 2419 columns, 21714 nonzeros Variable types: 0 continuous, 2419 integer (2419 binary) Root relaxation: objective 0.000000e+00, 463 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 (3459 simplex iterations) in 0.29 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 15:11:01 2012 Optimize a model with 3619 rows, 1777 columns and 10857 nonzeros Presolve time: 0.01s Presolved: 3619 rows, 1777 columns, 10857 nonzeros Variable types: 0 continuous, 1777 integer (1777 binary) Root relaxation: objective 0.000000e+00, 478 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 346 - 0.00000 - - 0s 0 0 0.00000 0 451 - 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: 1429 Explored 0 nodes (11193 simplex iterations) in 1.88 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 15:11:03 2012 Optimize a model with 4754 rows, 1991 columns and 14476 nonzeros Presolve time: 0.01s Presolved: 4754 rows, 1991 columns, 14476 nonzeros Variable types: 0 continuous, 1991 integer (1991 binary) Root relaxation: objective 0.000000e+00, 475 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 420 - 0.00000 - - 0s 0 0 0.00000 0 420 - 0.00000 - - 0s 0 0 0.00000 0 400 - 0.00000 - - 1s 0 0 0.00000 0 458 - 0.00000 - - 1s 0 0 0.00000 0 401 - 0.00000 - - 2s 0 0 0.00000 0 386 - 0.00000 - - 3s 0 0 0.00000 0 384 - 0.00000 - - 4s 0 0 0.00000 0 384 - 0.00000 - - 5s 0 0 0.00000 0 398 - 0.00000 - - 6s 0 0 0.00000 0 383 - 0.00000 - - 7s 0 0 0.00000 0 381 - 0.00000 - - 7s 0 0 0.00000 0 376 - 0.00000 - - 8s 0 0 0.00000 0 372 - 0.00000 - - 9s 0 0 0.00000 0 368 - 0.00000 - - 10s 0 0 0.00000 0 358 - 0.00000 - - 11s 0 0 0.00000 0 344 - 0.00000 - - 12s 0 0 0.00000 0 348 - 0.00000 - - 12s 0 0 0.00000 0 348 - 0.00000 - - 13s 0 2 0.00000 0 348 - 0.00000 - - 14s 14 14 0.00000 11 455 - 0.00000 - 565 15s 315 48 0.00000 25 344 - 0.00000 - 197 20s 685 45 0.00000 16 388 - 0.00000 - 170 25s 970 34 infeasible 14 - 0.00000 - 172 30s 1105 63 0.00000 23 392 - 0.00000 - 171 36s 1107 64 0.00000 23 384 - 0.00000 - 170 40s 1109 65 0.00000 5 376 - 0.00000 - 170 45s 1111 67 0.00000 6 377 - 0.00000 - 170 50s 1113 68 0.00000 12 360 - 0.00000 - 169 56s 1114 69 0.00000 23 356 - 0.00000 - 169 60s 1116 70 0.00000 5 332 - 0.00000 - 169 65s 1118 71 0.00000 6 326 - 0.00000 - 169 71s 1122 74 infeasible 11 - 0.00000 - 268 75s 1131 76 0.00000 15 476 - 0.00000 - 268 80s 1195 77 0.00000 26 474 - 0.00000 - 271 85s 1325 29 infeasible 28 - 0.00000 - 278 90s 1457 18 0.00000 22 433 - 0.00000 - 283 95s 1584 25 infeasible 25 - 0.00000 - 287 100s 1711 28 0.00000 23 516 - 0.00000 - 293 105s 1830 25 0.00000 16 501 - 0.00000 - 297 110s 1949 24 infeasible 22 - 0.00000 - 301 115s 2070 25 0.00000 21 472 - 0.00000 - 303 120s 2181 10 infeasible 23 - 0.00000 - 309 125s 2332 13 infeasible 26 - 0.00000 - 309 130s 2483 10 0.00000 21 501 - 0.00000 - 310 135s 2640 13 0.00000 24 423 - 0.00000 - 310 140s 2781 6 infeasible 23 - 0.00000 - 312 145s 2950 7 0.00000 18 509 - 0.00000 - 312 150s 3091 4 infeasible 22 - 0.00000 - 313 155s Cutting planes: Gomory: 1 Zero half: 32 Explored 3102 nodes (1059604 simplex iterations) in 155.47 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 15:13:39 2012 Optimize a model with 5889 rows, 2205 columns and 18095 nonzeros Presolve time: 0.02s Presolved: 5889 rows, 2205 columns, 18095 nonzeros Variable types: 0 continuous, 2205 integer (2205 binary) Root relaxation: objective 0.000000e+00, 455 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 402 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 0s 0 0 0.00000 0 412 - 0.00000 - - 1s 0 0 0.00000 0 538 - 0.00000 - - 1s 0 0 0.00000 0 430 - 0.00000 - - 2s H 0 0 0.0000000 0.00000 0.0% - 2s Explored 0 nodes (19121 simplex iterations) in 2.92 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