current bounds on the number of colors: 0 -- 136 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:56:04 2012 Optimize a model with 64328 rows, 10192 columns and 201824 nonzeros Presolve time: 0.19s Presolved: 64328 rows, 10192 columns, 201824 nonzeros Variable types: 0 continuous, 10192 integer (10192 binary) Root relaxation: objective 0.000000e+00, 333 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 (654 simplex iterations) in 0.35 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 -- 68 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:56:05 2012 Optimize a model with 32232 rows, 5568 columns and 100912 nonzeros Presolve time: 0.15s Presolved: 32232 rows, 5568 columns, 100912 nonzeros Variable types: 0 continuous, 5568 integer (5568 binary) Root relaxation: objective 0.000000e+00, 327 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 (646 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: 0 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:56:06 2012 Optimize a model with 16184 rows, 3256 columns and 50456 nonzeros Presolve time: 0.05s Presolved: 16184 rows, 3256 columns, 50456 nonzeros Variable types: 0 continuous, 3256 integer (3256 binary) Root relaxation: objective 0.000000e+00, 277 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 (553 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:56:06 2012 Optimize a model with 7688 rows, 2032 columns and 23744 nonzeros Presolve time: 0.02s Presolved: 7688 rows, 2032 columns, 23744 nonzeros Variable types: 0 continuous, 2032 integer (2032 binary) Root relaxation: objective 0.000000e+00, 279 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 (1023 simplex iterations) in 0.07 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 06:56:06 2012 Optimize a model with 3912 rows, 1488 columns and 11872 nonzeros Presolve time: 0.01s Presolved: 3912 rows, 1488 columns, 11872 nonzeros Variable types: 0 continuous, 1488 integer (1488 binary) Root relaxation: objective 0.000000e+00, 291 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 268 - 0.00000 - - 0s 0 0 0.00000 0 263 - 0.00000 - - 0s 0 0 0.00000 0 419 - 0.00000 - - 1s 0 0 0.00000 0 422 - 0.00000 - - 2s 0 0 0.00000 0 405 - 0.00000 - - 3s 0 0 0.00000 0 404 - 0.00000 - - 4s 0 0 0.00000 0 401 - 0.00000 - - 5s 0 0 0.00000 0 409 - 0.00000 - - 6s 0 0 0.00000 0 408 - 0.00000 - - 7s 0 0 0.00000 0 407 - 0.00000 - - 9s 0 0 0.00000 0 406 - 0.00000 - - 10s 0 0 0.00000 0 406 - 0.00000 - - 11s 0 0 0.00000 0 418 - 0.00000 - - 12s 0 0 0.00000 0 418 - 0.00000 - - 12s 0 2 0.00000 0 418 - 0.00000 - - 13s Cutting planes: Clique: 16 Zero half: 20 Explored 19 nodes (55713 simplex iterations) in 14.55 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 06:56:21 2012 Optimize a model with 5800 rows, 1760 columns and 17808 nonzeros Presolve time: 0.02s Presolved: 5800 rows, 1760 columns, 17808 nonzeros Variable types: 0 continuous, 1760 integer (1760 binary) Root relaxation: objective 0.000000e+00, 289 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 154 - 0.00000 - - 0s 0 0 0.00000 0 305 - 0.00000 - - 0s Cutting planes: Clique: 1 Explored 0 nodes (6959 simplex iterations) in 0.76 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 06:56:22 2012 Optimize a model with 4856 rows, 1624 columns and 14840 nonzeros Presolve time: 0.01s Presolved: 4856 rows, 1624 columns, 14840 nonzeros Variable types: 0 continuous, 1624 integer (1624 binary) Root relaxation: objective 0.000000e+00, 283 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 258 - 0.00000 - - 0s 0 0 0.00000 0 246 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 1s 0 0 0.00000 0 350 - 0.00000 - - 2s 0 0 0.00000 0 350 - 0.00000 - - 2s 0 0 0.00000 0 270 - 0.00000 - - 3s 0 0 0.00000 0 319 - 0.00000 - - 3s 0 0 0.00000 0 311 - 0.00000 - - 4s 0 0 0.00000 0 313 - 0.00000 - - 5s 0 0 0.00000 0 345 - 0.00000 - - 6s 0 0 0.00000 0 345 - 0.00000 - - 6s 0 2 0.00000 0 345 - 0.00000 - - 7s 153 61 0.00000 23 202 - 0.00000 - 183 10s 603 129 0.00000 16 352 - 0.00000 - 133 16s 609 133 0.00000 17 333 - 0.00000 - 132 21s 612 135 0.00000 17 334 - 0.00000 - 131 26s 614 137 0.00000 12 330 - 0.00000 - 131 30s 617 139 0.00000 14 326 - 0.00000 - 130 35s 624 143 0.00000 14 325 - 0.00000 - 214 40s 695 179 0.00000 35 306 - 0.00000 - 217 45s 876 141 0.00000 36 297 - 0.00000 - 229 50s 1059 116 infeasible 40 - 0.00000 - 239 55s 1228 153 0.00000 32 246 - 0.00000 - 245 60s 1417 170 infeasible 34 - 0.00000 - 249 65s 1572 183 infeasible 27 - 0.00000 - 257 70s 1764 199 0.00000 29 307 - 0.00000 - 259 75s 1954 195 infeasible 32 - 0.00000 - 263 80s 2137 210 0.00000 25 329 - 0.00000 - 264 85s 2312 223 infeasible 34 - 0.00000 - 267 90s 2490 241 infeasible 32 - 0.00000 - 269 95s 2668 263 infeasible 35 - 0.00000 - 272 100s 2859 264 0.00000 34 330 - 0.00000 - 273 105s 3010 257 infeasible 31 - 0.00000 - 277 110s 3178 269 infeasible 30 - 0.00000 - 279 115s 3337 276 0.00000 29 324 - 0.00000 - 282 120s 3476 253 0.00000 30 312 - 0.00000 - 285 125s 3634 255 0.00000 31 318 - 0.00000 - 288 130s 3802 259 infeasible 34 - 0.00000 - 289 135s 3959 268 0.00000 33 292 - 0.00000 - 291 140s 4124 271 0.00000 33 254 - 0.00000 - 293 145s 4299 272 0.00000 28 308 - 0.00000 - 293 150s 4490 269 infeasible 36 - 0.00000 - 293 155s 4639 270 infeasible 31 - 0.00000 - 295 160s 4815 270 infeasible 33 - 0.00000 - 295 165s 4974 263 infeasible 30 - 0.00000 - 297 170s 5112 265 infeasible 32 - 0.00000 - 299 175s 5271 264 infeasible 36 - 0.00000 - 300 180s 5447 270 infeasible 31 - 0.00000 - 300 185s 5623 286 0.00000 28 311 - 0.00000 - 300 190s 5779 278 0.00000 28 318 - 0.00000 - 302 195s 5951 282 infeasible 35 - 0.00000 - 302 200s 6121 276 0.00000 31 316 - 0.00000 - 302 205s 6295 278 0.00000 28 320 - 0.00000 - 303 210s 6451 274 infeasible 33 - 0.00000 - 304 215s 6603 264 infeasible 34 - 0.00000 - 305 220s 6770 265 infeasible 31 - 0.00000 - 305 225s 6947 256 infeasible 37 - 0.00000 - 305 230s 7100 267 0.00000 27 326 - 0.00000 - 305 235s 7296 315 0.00000 20 329 - 0.00000 - 304 240s 7465 352 infeasible 30 - 0.00000 - 304 245s 7638 365 infeasible 32 - 0.00000 - 304 250s 7799 378 0.00000 32 295 - 0.00000 - 304 255s 7965 388 infeasible 27 - 0.00000 - 304 260s 8130 403 0.00000 26 308 - 0.00000 - 305 265s 8307 412 0.00000 30 302 - 0.00000 - 305 270s 8473 416 infeasible 31 - 0.00000 - 305 275s 8637 406 infeasible 30 - 0.00000 - 305 280s Cutting planes: Gomory: 1 Clique: 2 Zero half: 9 Explored 8665 nodes (2684791 simplex iterations) in 280.97 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 6