current bounds on the number of colors: 0 -- 141 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:26:18 2012 Optimize a model with 70491 rows, 10875 columns and 220920 nonzeros Presolve time: 0.19s Presolved: 70491 rows, 10875 columns, 220920 nonzeros Variable types: 0 continuous, 10875 integer (10875 binary) Root relaxation: objective 0.000000e+00, 372 iterations, 0.08 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 (756 simplex iterations) in 0.38 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 -- 70 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:26:20 2012 Optimize a model with 35316 rows, 5940 columns and 110460 nonzeros Presolve time: 0.16s Presolved: 35316 rows, 5940 columns, 110460 nonzeros Variable types: 0 continuous, 5940 integer (5940 binary) Root relaxation: objective 0.000000e+00, 437 iterations, 0.04 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 (840 simplex iterations) in 0.25 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:26:20 2012 Optimize a model with 17226 rows, 3402 columns and 53652 nonzeros Presolve time: 0.06s Presolved: 17226 rows, 3402 columns, 53652 nonzeros Variable types: 0 continuous, 3402 integer (3402 binary) Root relaxation: objective 0.000000e+00, 396 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 (776 simplex iterations) in 0.11 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 11:26:21 2012 Optimize a model with 8181 rows, 2133 columns and 25248 nonzeros Presolve time: 0.02s Presolved: 8181 rows, 2133 columns, 25248 nonzeros Variable types: 0 continuous, 2133 integer (2133 binary) Root relaxation: objective 0.000000e+00, 294 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 (1372 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:26:21 2012 Optimize a model with 4161 rows, 1569 columns and 12624 nonzeros Presolve time: 0.01s Presolved: 4161 rows, 1569 columns, 12624 nonzeros Variable types: 0 continuous, 1569 integer (1569 binary) Root relaxation: objective 0.000000e+00, 302 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 282 - 0.00000 - - 0s 0 0 0.00000 0 256 - 0.00000 - - 0s 0 0 0.00000 0 457 - 0.00000 - - 1s 0 0 0.00000 0 458 - 0.00000 - - 2s 0 0 0.00000 0 459 - 0.00000 - - 3s 0 0 0.00000 0 447 - 0.00000 - - 4s 0 0 0.00000 0 438 - 0.00000 - - 5s 0 0 0.00000 0 444 - 0.00000 - - 6s 0 0 0.00000 0 432 - 0.00000 - - 7s 0 0 0.00000 0 430 - 0.00000 - - 9s 0 0 0.00000 0 427 - 0.00000 - - 11s 0 0 0.00000 0 438 - 0.00000 - - 11s 0 0 0.00000 0 438 - 0.00000 - - 12s 0 2 0.00000 0 438 - 0.00000 - - 13s Cutting planes: Clique: 38 Zero half: 16 Explored 19 nodes (55668 simplex iterations) in 14.25 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 11:26:35 2012 Optimize a model with 6171 rows, 1851 columns and 18936 nonzeros Presolve time: 0.02s Presolved: 6171 rows, 1851 columns, 18936 nonzeros Variable types: 0 continuous, 1851 integer (1851 binary) Root relaxation: objective 0.000000e+00, 311 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 262 - 0.00000 - - 0s 0 0 0.00000 0 256 - 0.00000 - - 0s Cutting planes: Clique: 17 Explored 0 nodes (5746 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 11:26:36 2012 Optimize a model with 5166 rows, 1710 columns and 15780 nonzeros Presolve time: 0.01s Presolved: 5166 rows, 1710 columns, 15780 nonzeros Variable types: 0 continuous, 1710 integer (1710 binary) Root relaxation: objective 0.000000e+00, 295 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 276 - 0.00000 - - 0s 0 0 0.00000 0 276 - 0.00000 - - 0s 0 0 0.00000 0 262 - 0.00000 - - 1s 0 0 0.00000 0 415 - 0.00000 - - 1s 0 0 0.00000 0 254 - 0.00000 - - 2s 0 0 0.00000 0 254 - 0.00000 - - 3s 0 0 0.00000 0 252 - 0.00000 - - 3s 0 0 0.00000 0 244 - 0.00000 - - 4s 0 0 0.00000 0 242 - 0.00000 - - 5s 0 0 0.00000 0 332 - 0.00000 - - 6s 0 0 0.00000 0 341 - 0.00000 - - 7s 0 0 0.00000 0 241 - 0.00000 - - 7s 0 2 0.00000 0 224 - 0.00000 - - 8s 55 23 0.00000 18 266 - 0.00000 - 245 10s 351 15 0.00000 15 250 - 0.00000 - 192 15s 635 11 0.00000 8 355 - 0.00000 - 187 20s 705 39 0.00000 9 250 - 0.00000 - 186 26s 708 41 0.00000 18 242 - 0.00000 - 185 31s 710 42 0.00000 10 246 - 0.00000 - 185 35s 713 44 0.00000 19 238 - 0.00000 - 184 40s 717 47 0.00000 21 300 - 0.00000 - 183 45s 731 56 0.00000 17 355 - 0.00000 - 282 50s 826 89 infeasible 36 - 0.00000 - 284 55s 966 131 0.00000 22 352 - 0.00000 - 286 60s 1110 177 0.00000 26 335 - 0.00000 - 288 65s 1246 197 0.00000 29 333 - 0.00000 - 294 70s 1372 217 infeasible 35 - 0.00000 - 299 75s 1494 233 infeasible 30 - 0.00000 - 305 80s 1646 271 infeasible 28 - 0.00000 - 304 85s 1783 282 infeasible 34 - 0.00000 - 307 90s 1909 284 infeasible 31 - 0.00000 - 312 95s 2031 296 infeasible 27 - 0.00000 - 314 100s 2176 301 infeasible 30 - 0.00000 - 315 105s 2318 307 infeasible 30 - 0.00000 - 316 110s 2478 309 infeasible 30 - 0.00000 - 316 115s 2607 314 infeasible 26 - 0.00000 - 319 120s 2741 336 0.00000 24 360 - 0.00000 - 320 125s 2864 327 infeasible 30 - 0.00000 - 323 130s 2987 332 0.00000 24 347 - 0.00000 - 325 135s 3103 338 0.00000 32 345 - 0.00000 - 327 140s 3229 332 infeasible 22 - 0.00000 - 329 145s 3363 334 infeasible 33 - 0.00000 - 331 150s 3513 334 infeasible 33 - 0.00000 - 331 155s 3666 349 0.00000 24 335 - 0.00000 - 330 160s 3798 355 infeasible 28 - 0.00000 - 331 165s 3930 355 infeasible 26 - 0.00000 - 332 170s 4038 345 infeasible 25 - 0.00000 - 335 175s 4194 373 infeasible 32 - 0.00000 - 334 180s 4340 387 infeasible 32 - 0.00000 - 334 185s 4480 377 infeasible 30 - 0.00000 - 335 190s 4605 374 infeasible 32 - 0.00000 - 336 195s 4751 372 infeasible 31 - 0.00000 - 336 200s 4891 378 0.00000 24 363 - 0.00000 - 336 205s 5020 377 0.00000 23 361 - 0.00000 - 337 210s 5165 396 infeasible 32 - 0.00000 - 337 215s 5307 396 0.00000 30 328 - 0.00000 - 337 220s 5435 400 0.00000 30 330 - 0.00000 - 338 225s 5564 391 infeasible 31 - 0.00000 - 339 230s 5686 393 0.00000 30 342 - 0.00000 - 340 235s 5811 396 infeasible 26 - 0.00000 - 341 240s 5924 391 infeasible 33 - 0.00000 - 342 245s 6064 395 0.00000 23 326 - 0.00000 - 342 250s 6200 401 infeasible 29 - 0.00000 - 342 255s 6338 397 infeasible 28 - 0.00000 - 343 260s 6452 383 infeasible 27 - 0.00000 - 344 265s 6564 381 infeasible 28 - 0.00000 - 345 270s 6689 386 0.00000 27 311 - 0.00000 - 346 275s 6822 383 0.00000 28 334 - 0.00000 - 346 280s Cutting planes: Clique: 1 Zero half: 4 Explored 6843 nodes (2420040 simplex iterations) in 280.93 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