current bounds on the number of colors: 0 -- 129 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:34:55 2012 Optimize a model with 51777 rows, 9063 columns and 163200 nonzeros Presolve time: 0.17s Presolved: 51777 rows, 9063 columns, 163200 nonzeros Variable types: 0 continuous, 9063 integer (9063 binary) Root relaxation: objective 0.000000e+00, 342 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 (635 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 -- 64 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:34:56 2012 Optimize a model with 25953 rows, 4935 columns and 81600 nonzeros Presolve time: 0.12s Presolved: 25953 rows, 4935 columns, 81600 nonzeros Variable types: 0 continuous, 4935 integer (4935 binary) Root relaxation: objective 0.000000e+00, 400 iterations, 0.03 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 (740 simplex iterations) in 0.19 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:34:56 2012 Optimize a model with 13041 rows, 2871 columns and 40800 nonzeros Presolve time: 0.04s Presolved: 13041 rows, 2871 columns, 40800 nonzeros Variable types: 0 continuous, 2871 integer (2871 binary) Root relaxation: objective 0.000000e+00, 264 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 (690 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:34:56 2012 Optimize a model with 6585 rows, 1839 columns and 20400 nonzeros Presolve time: 0.02s Presolved: 6585 rows, 1839 columns, 20400 nonzeros Variable types: 0 continuous, 1839 integer (1839 binary) Root relaxation: objective 0.000000e+00, 281 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 (643 simplex iterations) in 0.04 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:34:57 2012 Optimize a model with 3357 rows, 1323 columns and 10200 nonzeros Presolve time: 0.01s Presolved: 3357 rows, 1323 columns, 10200 nonzeros Variable types: 0 continuous, 1323 integer (1323 binary) Root relaxation: objective 0.000000e+00, 286 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 190 - 0.00000 - - 0s 0 0 0.00000 0 228 - 0.00000 - - 0s 0 0 0.00000 0 364 - 0.00000 - - 1s 0 0 0.00000 0 388 - 0.00000 - - 1s 0 0 0.00000 0 374 - 0.00000 - - 2s 0 0 0.00000 0 375 - 0.00000 - - 3s 0 0 0.00000 0 371 - 0.00000 - - 4s 0 0 0.00000 0 369 - 0.00000 - - 4s 0 0 0.00000 0 365 - 0.00000 - - 5s 0 0 0.00000 0 386 - 0.00000 - - 6s 0 0 0.00000 0 374 - 0.00000 - - 7s 0 0 0.00000 0 370 - 0.00000 - - 8s 0 0 0.00000 0 373 - 0.00000 - - 9s 0 0 0.00000 0 373 - 0.00000 - - 9s 0 2 0.00000 0 373 - 0.00000 - - 10s Cutting planes: Clique: 6 Zero half: 21 Explored 5 nodes (44880 simplex iterations) in 10.40 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:35:07 2012 Optimize a model with 4971 rows, 1581 columns and 15300 nonzeros Presolve time: 0.01s Presolved: 4971 rows, 1581 columns, 15300 nonzeros Variable types: 0 continuous, 1581 integer (1581 binary) Root relaxation: objective 0.000000e+00, 274 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 197 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2946 simplex iterations) in 0.23 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:35:07 2012 Optimize a model with 4164 rows, 1452 columns and 12750 nonzeros Presolve time: 0.01s Presolved: 4164 rows, 1452 columns, 12750 nonzeros Variable types: 0 continuous, 1452 integer (1452 binary) Root relaxation: objective 0.000000e+00, 265 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 258 - 0.00000 - - 0s 0 0 0.00000 0 222 - 0.00000 - - 0s 0 0 0.00000 0 214 - 0.00000 - - 1s 0 0 0.00000 0 358 - 0.00000 - - 1s 0 0 0.00000 0 259 - 0.00000 - - 1s 0 0 0.00000 0 249 - 0.00000 - - 2s 0 0 0.00000 0 272 - 0.00000 - - 3s 0 0 0.00000 0 302 - 0.00000 - - 3s 0 0 0.00000 0 301 - 0.00000 - - 4s 0 0 0.00000 0 267 - 0.00000 - - 4s 0 0 0.00000 0 297 - 0.00000 - - 5s 0 0 0.00000 0 259 - 0.00000 - - 5s 0 0 0.00000 0 309 - 0.00000 - - 6s 0 0 0.00000 0 309 - 0.00000 - - 6s 0 2 0.00000 0 309 - 0.00000 - - 7s 355 68 0.00000 22 180 - 0.00000 - 114 10s 708 88 0.00000 19 235 - 0.00000 - 100 15s 712 91 0.00000 22 257 - 0.00000 - 100 20s 918 68 0.00000 32 206 - 0.00000 - 161 25s 1233 56 0.00000 38 276 - 0.00000 - 177 30s 1560 75 infeasible 31 - 0.00000 - 185 35s 1862 87 infeasible 32 - 0.00000 - 192 40s 2129 74 0.00000 26 228 - 0.00000 - 200 45s 2425 78 0.00000 33 277 - 0.00000 - 204 50s 2719 74 0.00000 35 244 - 0.00000 - 207 55s 3014 71 infeasible 31 - 0.00000 - 209 60s 3316 60 infeasible 34 - 0.00000 - 211 65s 3599 67 0.00000 31 216 - 0.00000 - 213 70s 3864 64 0.00000 30 270 - 0.00000 - 216 75s 4151 67 0.00000 32 290 - 0.00000 - 217 80s 4426 70 infeasible 28 - 0.00000 - 218 85s 4690 98 infeasible 31 - 0.00000 - 220 90s 4959 103 infeasible 31 - 0.00000 - 221 95s 5210 82 infeasible 26 - 0.00000 - 223 100s 5504 92 0.00000 27 235 - 0.00000 - 224 105s 5780 82 infeasible 31 - 0.00000 - 224 110s 6062 76 infeasible 35 - 0.00000 - 225 115s 6453 95 infeasible 28 - 0.00000 - 223 120s 6898 110 0.00000 30 245 - 0.00000 - 221 125s 7322 130 infeasible 33 - 0.00000 - 219 130s 7720 132 infeasible 29 - 0.00000 - 218 135s * 7849 2 30 0.0000000 0.00000 0.0% 219 137s Cutting planes: Clique: 2 Zero half: 7 Explored 7850 nodes (1762752 simplex iterations) in 137.04 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