current bounds on the number of colors: 0 -- 179 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:34:56 2012 Optimize a model with 72625 rows, 16745 columns and 233269 nonzeros Presolve time: 0.23s Presolved: 72625 rows, 16745 columns, 233269 nonzeros Variable types: 0 continuous, 16745 integer (16745 binary) Root relaxation: objective 0.000000e+00, 681 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 (1083 simplex iterations) in 0.40 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 -- 89 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:34:57 2012 Optimize a model with 35995 rows, 8690 columns and 115324 nonzeros Presolve time: 0.15s Presolved: 35995 rows, 8690 columns, 115324 nonzeros Variable types: 0 continuous, 8690 integer (8690 binary) Root relaxation: objective 0.000000e+00, 464 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 (826 simplex iterations) in 0.22 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 -- 44 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:34:57 2012 Optimize a model with 18087 rows, 4752 columns and 57662 nonzeros Presolve time: 0.07s Presolved: 18087 rows, 4752 columns, 57662 nonzeros Variable types: 0 continuous, 4752 integer (4752 binary) Root relaxation: objective 0.000000e+00, 419 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 (973 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 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 00:34:58 2012 Optimize a model with 9133 rows, 2783 columns and 28831 nonzeros Presolve time: 0.03s Presolved: 9133 rows, 2783 columns, 28831 nonzeros Variable types: 0 continuous, 2783 integer (2783 binary) Root relaxation: objective 0.000000e+00, 382 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 (700 simplex iterations) in 0.05 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 00:34:58 2012 Optimize a model with 4249 rows, 1709 columns and 13105 nonzeros Presolve time: 0.01s Presolved: 4249 rows, 1709 columns, 13105 nonzeros Variable types: 0 continuous, 1709 integer (1709 binary) Root relaxation: objective 0.000000e+00, 383 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 (2641 simplex iterations) in 0.16 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 00:34:58 2012 Optimize a model with 1807 rows, 1172 columns and 5242 nonzeros Presolve removed 179 rows and 179 columns Presolve time: 0.00s Presolved: 1628 rows, 993 columns, 4884 nonzeros Variable types: 0 continuous, 993 integer (993 binary) Root relaxation: objective 0.000000e+00, 186 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 179 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (798 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 00:34:58 2012 Optimize a model with 2621 rows, 1351 columns and 7863 nonzeros Presolve time: 0.01s Presolved: 2621 rows, 1351 columns, 7863 nonzeros Variable types: 0 continuous, 1351 integer (1351 binary) Root relaxation: objective 0.000000e+00, 407 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 358 - 0.00000 - - 0s 0 0 0.00000 0 356 - 0.00000 - - 0s 0 0 0.00000 0 465 - 0.00000 - - 0s 0 0 0.00000 0 502 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 1 Zero half: 847 Explored 0 nodes (7990 simplex iterations) in 1.17 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 00:35:00 2012 Optimize a model with 3435 rows, 1530 columns and 10484 nonzeros Presolve time: 0.01s Presolved: 3435 rows, 1530 columns, 10484 nonzeros Variable types: 0 continuous, 1530 integer (1530 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 330 - 0.00000 - - 0s 0 0 0.00000 0 336 - 0.00000 - - 0s 0 0 0.00000 0 336 - 0.00000 - - 0s 0 0 0.00000 0 369 - 0.00000 - - 0s 0 0 0.00000 0 334 - 0.00000 - - 1s 0 0 0.00000 0 334 - 0.00000 - - 1s 0 0 0.00000 0 326 - 0.00000 - - 1s 0 0 0.00000 0 320 - 0.00000 - - 2s 0 0 0.00000 0 323 - 0.00000 - - 2s 0 0 0.00000 0 312 - 0.00000 - - 2s 0 0 0.00000 0 310 - 0.00000 - - 3s 0 0 0.00000 0 298 - 0.00000 - - 3s 0 0 0.00000 0 298 - 0.00000 - - 4s 0 0 0.00000 0 298 - 0.00000 - - 4s 0 2 0.00000 0 298 - 0.00000 - - 4s 21 19 0.00000 12 286 - 0.00000 - 229 5s 730 73 infeasible 18 - 0.00000 - 130 10s 1010 78 0.00000 5 306 - 0.00000 - 127 15s 1015 82 0.00000 14 324 - 0.00000 - 126 21s 1018 84 0.00000 12 385 - 0.00000 - 126 26s 1051 102 0.00000 28 312 - 0.00000 - 177 30s 1395 28 0.00000 24 356 - 0.00000 - 189 35s 1746 25 0.00000 24 306 - 0.00000 - 196 40s 2144 69 0.00000 25 300 - 0.00000 - 196 45s 2521 78 infeasible 29 - 0.00000 - 198 50s 2900 73 infeasible 30 - 0.00000 - 200 55s 3235 88 infeasible 28 - 0.00000 - 203 60s 3584 87 0.00000 28 314 - 0.00000 - 205 65s 3927 48 0.00000 27 379 - 0.00000 - 207 70s 4276 35 0.00000 25 322 - 0.00000 - 208 75s 4706 35 0.00000 25 372 - 0.00000 - 206 80s 5083 22 0.00000 28 363 - 0.00000 - 206 85s 5402 5 infeasible 25 - 0.00000 - 208 90s Cutting planes: Gomory: 1 Zero half: 16 Explored 5438 nodes (1173114 simplex iterations) in 90.73 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