current bounds on the number of colors: 0 -- 133 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:27:15 2012 Optimize a model with 59335 rows, 9675 columns and 186384 nonzeros Presolve time: 0.18s Presolved: 59335 rows, 9675 columns, 186384 nonzeros Variable types: 0 continuous, 9675 integer (9675 binary) Root relaxation: objective 0.000000e+00, 311 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 (619 simplex iterations) in 0.33 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 -- 66 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:27:16 2012 Optimize a model with 29734 rows, 5286 columns and 93192 nonzeros Presolve time: 0.13s Presolved: 29734 rows, 5286 columns, 93192 nonzeros Variable types: 0 continuous, 5286 integer (5286 binary) Root relaxation: objective 0.000000e+00, 323 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 (626 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 -- 33 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:27:17 2012 Optimize a model with 14485 rows, 3025 columns and 45184 nonzeros Presolve time: 0.05s Presolved: 14485 rows, 3025 columns, 45184 nonzeros Variable types: 0 continuous, 3025 integer (3025 binary) Root relaxation: objective 0.000000e+00, 271 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 (813 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:27:17 2012 Optimize a model with 7309 rows, 1961 columns and 22592 nonzeros Presolve time: 0.02s Presolved: 7309 rows, 1961 columns, 22592 nonzeros Variable types: 0 continuous, 1961 integer (1961 binary) Root relaxation: objective 0.000000e+00, 272 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 (912 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:27:17 2012 Optimize a model with 3721 rows, 1429 columns and 11296 nonzeros Presolve time: 0.01s Presolved: 3721 rows, 1429 columns, 11296 nonzeros Variable types: 0 continuous, 1429 integer (1429 binary) Root relaxation: objective 0.000000e+00, 290 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 266 - 0.00000 - - 0s 0 0 0.00000 0 247 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 1s 0 0 0.00000 0 429 - 0.00000 - - 1s 0 0 0.00000 0 425 - 0.00000 - - 2s 0 0 0.00000 0 417 - 0.00000 - - 4s 0 0 0.00000 0 420 - 0.00000 - - 4s 0 0 0.00000 0 411 - 0.00000 - - 5s 0 0 0.00000 0 416 - 0.00000 - - 6s 0 0 0.00000 0 406 - 0.00000 - - 7s 0 0 0.00000 0 402 - 0.00000 - - 9s 0 0 0.00000 0 400 - 0.00000 - - 10s 0 0 0.00000 0 405 - 0.00000 - - 11s 0 0 0.00000 0 401 - 0.00000 - - 13s 0 0 0.00000 0 400 - 0.00000 - - 15s 0 0 0.00000 0 399 - 0.00000 - - 15s 0 0 0.00000 0 413 - 0.00000 - - 17s 0 0 0.00000 0 413 - 0.00000 - - 17s 0 2 0.00000 0 413 - 0.00000 - - 18s Cutting planes: Clique: 10 Zero half: 20 Explored 9 nodes (63215 simplex iterations) in 19.16 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 04:27:36 2012 Optimize a model with 5515 rows, 1695 columns and 16944 nonzeros Presolve time: 0.01s Presolved: 5515 rows, 1695 columns, 16944 nonzeros Variable types: 0 continuous, 1695 integer (1695 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 260 - 0.00000 - - 0s 0 0 0.00000 0 226 - 0.00000 - - 0s Cutting planes: Clique: 13 Zero half: 1 Explored 0 nodes (4867 simplex iterations) in 0.61 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 04:27:37 2012 Optimize a model with 4618 rows, 1562 columns and 14120 nonzeros Presolve time: 0.01s Presolved: 4618 rows, 1562 columns, 14120 nonzeros Variable types: 0 continuous, 1562 integer (1562 binary) Root relaxation: objective 0.000000e+00, 285 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 230 - 0.00000 - - 0s 0 0 0.00000 0 281 - 0.00000 - - 0s 0 0 0.00000 0 340 - 0.00000 - - 1s 0 0 0.00000 0 346 - 0.00000 - - 1s 0 0 0.00000 0 298 - 0.00000 - - 2s 0 0 0.00000 0 286 - 0.00000 - - 3s 0 0 0.00000 0 291 - 0.00000 - - 4s 0 0 0.00000 0 282 - 0.00000 - - 5s 0 0 0.00000 0 274 - 0.00000 - - 6s 0 0 0.00000 0 282 - 0.00000 - - 6s 0 0 0.00000 0 272 - 0.00000 - - 7s 0 0 0.00000 0 264 - 0.00000 - - 8s 0 0 0.00000 0 245 - 0.00000 - - 8s 0 0 0.00000 0 272 - 0.00000 - - 9s 0 0 0.00000 0 272 - 0.00000 - - 9s 0 2 0.00000 0 272 - 0.00000 - - 10s 390 25 0.00000 22 217 - 0.00000 - 132 15s 803 49 0.00000 25 340 - 0.00000 - 130 20s 807 52 0.00000 12 294 - 0.00000 - 129 25s 811 55 0.00000 21 265 - 0.00000 - 128 30s 816 58 infeasible 16 - 0.00000 - 184 35s 1017 58 infeasible 31 - 0.00000 - 198 40s 1216 99 infeasible 31 - 0.00000 - 211 45s 1436 175 0.00000 30 308 - 0.00000 - 216 50s 1630 187 0.00000 29 293 - 0.00000 - 226 55s 1847 200 infeasible 32 - 0.00000 - 231 60s 2039 224 infeasible 36 - 0.00000 - 236 65s 2225 214 infeasible 32 - 0.00000 - 241 70s 2416 217 0.00000 30 334 - 0.00000 - 246 75s 2626 257 0.00000 33 283 - 0.00000 - 247 80s 2779 250 infeasible 27 - 0.00000 - 253 85s 2983 292 0.00000 31 290 - 0.00000 - 254 90s 3183 300 0.00000 36 310 - 0.00000 - 256 95s 3338 307 infeasible 32 - 0.00000 - 261 100s 3525 310 infeasible 36 - 0.00000 - 263 105s 3699 332 0.00000 32 313 - 0.00000 - 265 110s 3887 352 0.00000 36 298 - 0.00000 - 266 115s 4060 345 infeasible 34 - 0.00000 - 268 120s 4240 339 infeasible 35 - 0.00000 - 270 125s 4426 335 infeasible 36 - 0.00000 - 272 130s 4605 326 infeasible 32 - 0.00000 - 273 135s 4770 323 infeasible 35 - 0.00000 - 275 140s 4938 323 infeasible 29 - 0.00000 - 277 145s 5105 322 0.00000 28 323 - 0.00000 - 278 150s 5264 304 infeasible 31 - 0.00000 - 280 155s 5449 345 0.00000 29 312 - 0.00000 - 280 160s 5614 326 infeasible 35 - 0.00000 - 282 165s 5793 323 infeasible 34 - 0.00000 - 283 170s 5959 313 0.00000 35 300 - 0.00000 - 284 175s 6152 314 infeasible 32 - 0.00000 - 284 180s 6312 310 infeasible 28 - 0.00000 - 286 185s 6488 320 0.00000 26 297 - 0.00000 - 286 190s 6686 322 0.00000 30 311 - 0.00000 - 286 195s 6894 328 0.00000 30 306 - 0.00000 - 286 200s 7084 314 infeasible 35 - 0.00000 - 286 205s 7267 285 infeasible 33 - 0.00000 - 287 210s 7430 286 infeasible 32 - 0.00000 - 288 215s 7643 295 infeasible 33 - 0.00000 - 287 220s 7839 291 infeasible 32 - 0.00000 - 288 225s 8016 296 infeasible 30 - 0.00000 - 288 230s 8217 301 infeasible 31 - 0.00000 - 288 235s 8368 302 infeasible 30 - 0.00000 - 289 240s 8543 309 0.00000 29 265 - 0.00000 - 290 245s 8703 303 infeasible 29 - 0.00000 - 291 250s 8876 310 0.00000 27 308 - 0.00000 - 291 255s 9044 316 0.00000 30 288 - 0.00000 - 291 260s 9238 326 infeasible 35 - 0.00000 - 291 265s 9387 329 0.00000 29 324 - 0.00000 - 293 270s 9573 329 infeasible 38 - 0.00000 - 293 275s Cutting planes: Gomory: 1 Clique: 6 Zero half: 4 Explored 9634 nodes (2879613 simplex iterations) in 276.77 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