current bounds on the number of colors: 0 -- 189 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:43:29 2012 Optimize a model with 83003 rows, 18647 columns and 266208 nonzeros Presolve time: 0.26s Presolved: 83003 rows, 18647 columns, 266208 nonzeros Variable types: 0 continuous, 18647 integer (18647 binary) Root relaxation: objective 0.000000e+00, 717 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 (1120 simplex iterations) in 0.46 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 -- 94 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:43:30 2012 Optimize a model with 41596 rows, 9764 columns and 133104 nonzeros Presolve time: 0.15s Presolved: 41596 rows, 9764 columns, 133104 nonzeros Variable types: 0 continuous, 9764 integer (9764 binary) Root relaxation: objective 0.000000e+00, 696 iterations, 0.05 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 (1172 simplex iterations) in 0.26 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 -- 47 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:43:31 2012 Optimize a model with 20452 rows, 5228 columns and 65136 nonzeros Presolve time: 0.08s Presolved: 20452 rows, 5228 columns, 65136 nonzeros Variable types: 0 continuous, 5228 integer (5228 binary) Root relaxation: objective 0.000000e+00, 405 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 (752 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:43:32 2012 Optimize a model with 9880 rows, 2960 columns and 31152 nonzeros Presolve time: 0.03s Presolved: 9880 rows, 2960 columns, 31152 nonzeros Variable types: 0 continuous, 2960 integer (2960 binary) Root relaxation: objective 0.000000e+00, 393 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 (742 simplex iterations) in 0.06 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:43:32 2012 Optimize a model with 4594 rows, 1826 columns and 14160 nonzeros Presolve time: 0.01s Presolved: 4594 rows, 1826 columns, 14160 nonzeros Variable types: 0 continuous, 1826 integer (1826 binary) Root relaxation: objective 0.000000e+00, 399 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 75 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3442 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:43:32 2012 Optimize a model with 1951 rows, 1259 columns and 5664 nonzeros Presolve removed 189 rows and 189 columns Presolve time: 0.00s Presolved: 1762 rows, 1070 columns, 5286 nonzeros Variable types: 0 continuous, 1070 integer (1070 binary) Root relaxation: objective 0.000000e+00, 201 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 189 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (843 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:43:32 2012 Optimize a model with 2832 rows, 1448 columns and 8496 nonzeros Presolve time: 0.01s Presolved: 2832 rows, 1448 columns, 8496 nonzeros Variable types: 0 continuous, 1448 integer (1448 binary) Root relaxation: objective 0.000000e+00, 441 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 374 - 0.00000 - - 0s 0 0 0.00000 0 519 - 0.00000 - - 0s 0 0 0.00000 0 529 - 0.00000 - - 1s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 1 Clique: 1 Zero half: 825 Explored 0 nodes (8845 simplex iterations) in 1.52 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 04:43:34 2012 Optimize a model with 3713 rows, 1637 columns and 11328 nonzeros Presolve time: 0.01s Presolved: 3713 rows, 1637 columns, 11328 nonzeros Variable types: 0 continuous, 1637 integer (1637 binary) Root relaxation: objective 0.000000e+00, 403 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 350 - 0.00000 - - 0s 0 0 0.00000 0 350 - 0.00000 - - 0s 0 0 0.00000 0 344 - 0.00000 - - 0s 0 0 0.00000 0 440 - 0.00000 - - 0s 0 0 0.00000 0 334 - 0.00000 - - 1s 0 0 0.00000 0 330 - 0.00000 - - 1s 0 0 0.00000 0 330 - 0.00000 - - 1s 0 0 0.00000 0 320 - 0.00000 - - 2s 0 0 0.00000 0 318 - 0.00000 - - 2s 0 0 0.00000 0 312 - 0.00000 - - 3s 0 0 0.00000 0 304 - 0.00000 - - 3s 0 0 0.00000 0 302 - 0.00000 - - 3s 0 0 0.00000 0 298 - 0.00000 - - 4s 0 0 0.00000 0 294 - 0.00000 - - 4s 0 0 0.00000 0 296 - 0.00000 - - 4s 0 0 0.00000 0 296 - 0.00000 - - 5s 0 0 0.00000 0 294 - 0.00000 - - 5s 0 0 0.00000 0 294 - 0.00000 - - 5s 0 0 0.00000 0 294 - 0.00000 - - 5s 0 2 0.00000 0 294 - 0.00000 - - 6s 477 178 0.00000 18 330 - 0.00000 - 123 10s 707 199 0.00000 15 337 - 0.00000 - 121 15s 711 202 0.00000 11 298 - 0.00000 - 120 21s 714 204 0.00000 10 286 - 0.00000 - 119 26s 716 205 0.00000 17 446 - 0.00000 - 119 30s 719 207 0.00000 18 401 - 0.00000 - 119 35s 852 212 infeasible 27 - 0.00000 - 223 40s 1088 121 0.00000 28 352 - 0.00000 - 234 45s 1374 38 infeasible 28 - 0.00000 - 237 50s 1605 29 infeasible 28 - 0.00000 - 243 55s 1873 29 infeasible 26 - 0.00000 - 246 60s 2123 37 0.00000 29 412 - 0.00000 - 249 65s 2367 39 0.00000 29 364 - 0.00000 - 252 70s 2601 13 infeasible 26 - 0.00000 - 255 75s Cutting planes: Zero half: 9 Explored 2701 nodes (750456 simplex iterations) in 77.34 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5