current bounds on the number of colors: 0 -- 210 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 13:36:54 2012 Optimize a model with 117705 rows, 23169 columns and 374535 nonzeros Presolve time: 0.41s Presolved: 117705 rows, 23169 columns, 374535 nonzeros Variable types: 0 continuous, 23169 integer (23169 binary) Root relaxation: objective 0.000000e+00, 531 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 (982 simplex iterations) in 0.71 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:36:56 2012 Optimize a model with 58398 rows, 12039 columns and 185484 nonzeros Presolve time: 0.17s Presolved: 58398 rows, 12039 columns, 185484 nonzeros Variable types: 0 continuous, 12039 integer (12039 binary) Root relaxation: objective 0.000000e+00, 765 iterations, 0.06 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 (1255 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:36:57 2012 Optimize a model with 29304 rows, 6579 columns and 92742 nonzeros Presolve time: 0.12s Presolved: 29304 rows, 6579 columns, 92742 nonzeros Variable types: 0 continuous, 6579 integer (6579 binary) Root relaxation: objective 0.000000e+00, 522 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 (963 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:36:57 2012 Optimize a model with 14757 rows, 3849 columns and 46371 nonzeros Presolve time: 0.05s Presolved: 14757 rows, 3849 columns, 46371 nonzeros Variable types: 0 continuous, 3849 integer (3849 binary) Root relaxation: objective 0.000000e+00, 423 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 (1000 simplex iterations) in 0.09 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:36:58 2012 Optimize a model with 6924 rows, 2379 columns and 21402 nonzeros Presolve time: 0.02s Presolved: 6924 rows, 2379 columns, 21402 nonzeros Variable types: 0 continuous, 2379 integer (2379 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 12 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3351 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:36:58 2012 Optimize a model with 3567 rows, 1749 columns and 10701 nonzeros Presolve time: 0.01s Presolved: 3567 rows, 1749 columns, 10701 nonzeros Variable types: 0 continuous, 1749 integer (1749 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 420 - 0.00000 - - 0s 0 0 0.00000 0 420 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5946 simplex iterations) in 0.75 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:36:59 2012 Optimize a model with 4686 rows, 1959 columns and 14268 nonzeros Presolve time: 0.01s Presolved: 4686 rows, 1959 columns, 14268 nonzeros Variable types: 0 continuous, 1959 integer (1959 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 406 - 0.00000 - - 0s 0 0 0.00000 0 418 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 1s 0 0 0.00000 0 559 - 0.00000 - - 1s 0 0 0.00000 0 380 - 0.00000 - - 3s 0 0 0.00000 0 380 - 0.00000 - - 3s 0 0 0.00000 0 374 - 0.00000 - - 4s 0 0 0.00000 0 368 - 0.00000 - - 5s 0 0 0.00000 0 372 - 0.00000 - - 6s 0 0 0.00000 0 372 - 0.00000 - - 7s 0 0 0.00000 0 372 - 0.00000 - - 7s 0 2 0.00000 0 372 - 0.00000 - - 9s 45 31 infeasible 22 - 0.00000 - 264 10s 331 81 infeasible 21 - 0.00000 - 192 15s 575 156 infeasible 23 - 0.00000 - 192 20s 614 163 0.00000 11 378 - 0.00000 - 192 27s 615 163 0.00000 10 360 - 0.00000 - 192 30s 617 165 0.00000 24 379 - 0.00000 - 191 35s 619 166 0.00000 11 360 - 0.00000 - 190 42s 621 167 0.00000 32 350 - 0.00000 - 190 47s 622 168 0.00000 24 352 - 0.00000 - 189 50s 714 153 0.00000 21 419 - 0.00000 - 303 55s 848 119 infeasible 27 - 0.00000 - 307 60s 952 76 0.00000 20 384 - 0.00000 - 319 65s 1073 39 0.00000 24 449 - 0.00000 - 325 70s 1194 16 infeasible 27 - 0.00000 - 329 75s 1288 4 infeasible 25 - 0.00000 - 338 80s Cutting planes: Gomory: 1 Zero half: 26 Explored 1315 nodes (492715 simplex iterations) in 81.12 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:38:20 2012 Optimize a model with 5805 rows, 2169 columns and 17835 nonzeros Presolve time: 0.02s Presolved: 5805 rows, 2169 columns, 17835 nonzeros Variable types: 0 continuous, 2169 integer (2169 binary) Root relaxation: objective 0.000000e+00, 451 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 396 - 0.00000 - - 0s 0 0 0.00000 0 398 - 0.00000 - - 0s 0 0 0.00000 0 454 - 0.00000 - - 1s 0 0 0.00000 0 446 - 0.00000 - - 1s 0 0 0.00000 0 471 - 0.00000 - - 1s H 0 0 0.0000000 0.00000 0.0% - 1s Cutting planes: Clique: 1 Zero half: 12 Explored 0 nodes (12951 simplex iterations) in 1.66 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