current bounds on the number of colors: 0 -- 211 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:46:25 2012 Optimize a model with 115501 rows, 23253 columns and 368025 nonzeros Presolve time: 0.40s Presolved: 115501 rows, 23253 columns, 368025 nonzeros Variable types: 0 continuous, 23253 integer (23253 binary) Root relaxation: objective 0.000000e+00, 933 iterations, 0.12 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 (1451 simplex iterations) in 0.69 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 -- 105 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:46:28 2012 Optimize a model with 57307 rows, 12070 columns and 182260 nonzeros Presolve time: 0.17s Presolved: 57307 rows, 12070 columns, 182260 nonzeros Variable types: 0 continuous, 12070 integer (12070 binary) Root relaxation: objective 0.000000e+00, 775 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 (1287 simplex iterations) in 0.33 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:46:29 2012 Optimize a model with 28759 rows, 6584 columns and 91130 nonzeros Presolve time: 0.12s Presolved: 28759 rows, 6584 columns, 91130 nonzeros Variable types: 0 continuous, 6584 integer (6584 binary) Root relaxation: objective 0.000000e+00, 525 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 (950 simplex iterations) in 0.18 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:46:29 2012 Optimize a model with 14485 rows, 3841 columns and 45565 nonzeros Presolve time: 0.05s Presolved: 14485 rows, 3841 columns, 45565 nonzeros Variable types: 0 continuous, 3841 integer (3841 binary) Root relaxation: objective 0.000000e+00, 430 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 (806 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:46:29 2012 Optimize a model with 6799 rows, 2364 columns and 21030 nonzeros Presolve time: 0.02s Presolved: 6799 rows, 2364 columns, 21030 nonzeros Variable types: 0 continuous, 2364 integer (2364 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 (2810 simplex iterations) in 0.18 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:46:30 2012 Optimize a model with 3505 rows, 1731 columns and 10515 nonzeros Presolve time: 0.01s Presolved: 3505 rows, 1731 columns, 10515 nonzeros Variable types: 0 continuous, 1731 integer (1731 binary) Root relaxation: objective 0.000000e+00, 472 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 314 - 0.00000 - - 0s 0 0 0.00000 0 423 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (7629 simplex iterations) in 0.98 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:46:31 2012 Optimize a model with 4603 rows, 1942 columns and 14020 nonzeros Presolve time: 0.01s Presolved: 4603 rows, 1942 columns, 14020 nonzeros Variable types: 0 continuous, 1942 integer (1942 binary) Root relaxation: objective 0.000000e+00, 465 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 422 - 0.00000 - - 0s 0 0 0.00000 0 412 - 0.00000 - - 0s 0 0 0.00000 0 402 - 0.00000 - - 1s 0 0 0.00000 0 535 - 0.00000 - - 1s 0 0 0.00000 0 380 - 0.00000 - - 2s 0 0 0.00000 0 376 - 0.00000 - - 3s 0 0 0.00000 0 368 - 0.00000 - - 4s 0 0 0.00000 0 370 - 0.00000 - - 5s 0 0 0.00000 0 366 - 0.00000 - - 5s 0 0 0.00000 0 362 - 0.00000 - - 6s 0 0 0.00000 0 360 - 0.00000 - - 7s 0 0 0.00000 0 366 - 0.00000 - - 8s 0 0 0.00000 0 370 - 0.00000 - - 8s 0 0 0.00000 0 348 - 0.00000 - - 9s 0 0 0.00000 0 348 - 0.00000 - - 10s 0 0 0.00000 0 348 - 0.00000 - - 11s 0 2 0.00000 0 348 - 0.00000 - - 12s 128 34 infeasible 14 - 0.00000 - 189 15s 447 75 0.00000 18 368 - 0.00000 - 177 20s 609 98 0.00000 19 557 - 0.00000 - 180 25s 611 99 0.00000 16 364 - 0.00000 - 180 30s 614 101 0.00000 17 356 - 0.00000 - 179 36s 618 104 infeasible 13 - 0.00000 - 251 40s 747 78 infeasible 24 - 0.00000 - 262 45s 916 33 infeasible 24 - 0.00000 - 266 50s 1064 37 0.00000 27 503 - 0.00000 - 275 55s 1185 38 infeasible 25 - 0.00000 - 286 60s 1334 39 infeasible 24 - 0.00000 - 292 65s 1458 31 infeasible 24 - 0.00000 - 300 70s 1602 33 infeasible 26 - 0.00000 - 302 75s 1734 25 infeasible 24 - 0.00000 - 308 80s 1864 27 infeasible 28 - 0.00000 - 312 85s 1986 31 infeasible 24 - 0.00000 - 316 90s 2117 24 0.00000 21 502 - 0.00000 - 319 95s 2244 23 0.00000 28 382 - 0.00000 - 322 100s 2372 11 infeasible 20 - 0.00000 - 324 105s 2501 16 infeasible 29 - 0.00000 - 326 110s 2627 12 0.00000 21 386 - 0.00000 - 328 115s 2748 1 infeasible 20 - 0.00000 - 330 120s Cutting planes: Gomory: 1 Zero half: 28 Explored 2752 nodes (981958 simplex iterations) in 120.16 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:48:31 2012 Optimize a model with 5701 rows, 2153 columns and 17525 nonzeros Presolve time: 0.02s Presolved: 5701 rows, 2153 columns, 17525 nonzeros Variable types: 0 continuous, 2153 integer (2153 binary) Root relaxation: objective 0.000000e+00, 469 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 251 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (5225 simplex iterations) in 0.49 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