current bounds on the number of colors: 0 -- 144 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:54:27 2012 Optimize a model with 75024 rows, 11408 columns and 235008 nonzeros Presolve time: 0.21s Presolved: 75024 rows, 11408 columns, 235008 nonzeros Variable types: 0 continuous, 11408 integer (11408 binary) Root relaxation: objective 0.000000e+00, 331 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 (940 simplex iterations) in 0.47 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 -- 72 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:54:28 2012 Optimize a model with 37584 rows, 6224 columns and 117504 nonzeros Presolve time: 0.15s Presolved: 37584 rows, 6224 columns, 117504 nonzeros Variable types: 0 continuous, 6224 integer (6224 binary) Root relaxation: objective 0.000000e+00, 447 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 (856 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 -- 36 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:54:29 2012 Optimize a model with 18864 rows, 3632 columns and 58752 nonzeros Presolve time: 0.06s Presolved: 18864 rows, 3632 columns, 58752 nonzeros Variable types: 0 continuous, 3632 integer (3632 binary) Root relaxation: objective 0.000000e+00, 412 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 (816 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 -- 18 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:54:29 2012 Optimize a model with 9504 rows, 2336 columns and 29376 nonzeros Presolve time: 0.03s Presolved: 9504 rows, 2336 columns, 29376 nonzeros Variable types: 0 continuous, 2336 integer (2336 binary) Root relaxation: objective 0.000000e+00, 301 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 (978 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 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:54:30 2012 Optimize a model with 4304 rows, 1616 columns and 13056 nonzeros Presolve time: 0.01s Presolved: 4304 rows, 1616 columns, 13056 nonzeros Variable types: 0 continuous, 1616 integer (1616 binary) Root relaxation: objective 0.000000e+00, 301 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 190 - 0.00000 - - 0s 0 0 0.00000 0 283 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5580 simplex iterations) in 0.70 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: 4 -- 9 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 13:54:30 2012 Optimize a model with 6384 rows, 1904 columns and 19584 nonzeros Presolve time: 0.02s Presolved: 6384 rows, 1904 columns, 19584 nonzeros Variable types: 0 continuous, 1904 integer (1904 binary) Root relaxation: objective 0.000000e+00, 309 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 286 - 0.00000 - - 0s 0 0 0.00000 0 183 - 0.00000 - - 0s 0 0 0.00000 0 227 - 0.00000 - - 1s 0 0 0.00000 0 314 - 0.00000 - - 1s 0 0 0.00000 0 199 - 0.00000 - - 2s 0 0 0.00000 0 198 - 0.00000 - - 3s 0 0 0.00000 0 240 - 0.00000 - - 3s 0 0 0.00000 0 218 - 0.00000 - - 4s 0 0 0.00000 0 396 - 0.00000 - - 5s 0 0 0.00000 0 426 - 0.00000 - - 6s 0 0 0.00000 0 390 - 0.00000 - - 7s * 0 0 0 0.0000000 0.00000 0.0% - 8s Cutting planes: Clique: 7 Zero half: 173 Explored 0 nodes (53184 simplex iterations) in 8.93 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 13:54:40 2012 Optimize a model with 5344 rows, 1760 columns and 16320 nonzeros Presolve time: 0.01s Presolved: 5344 rows, 1760 columns, 16320 nonzeros Variable types: 0 continuous, 1760 integer (1760 binary) Root relaxation: objective 0.000000e+00, 300 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 286 - 0.00000 - - 0s 0 0 0.00000 0 216 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 2s 0 0 0.00000 0 396 - 0.00000 - - 2s 0 0 0.00000 0 403 - 0.00000 - - 3s 0 0 0.00000 0 399 - 0.00000 - - 4s 0 0 0.00000 0 397 - 0.00000 - - 5s 0 0 0.00000 0 381 - 0.00000 - - 6s 0 0 0.00000 0 378 - 0.00000 - - 7s 0 0 0.00000 0 372 - 0.00000 - - 7s 0 0 0.00000 0 381 - 0.00000 - - 8s 0 0 0.00000 0 365 - 0.00000 - - 8s 0 2 0.00000 0 365 - 0.00000 - - 10s 205 40 infeasible 18 - 0.00000 - 225 15s 430 31 0.00000 17 345 - 0.00000 - 217 20s 603 46 0.00000 10 366 - 0.00000 - 212 26s 605 48 0.00000 12 390 - 0.00000 - 212 30s 607 49 0.00000 13 384 - 0.00000 - 211 36s 609 50 0.00000 14 366 - 0.00000 - 210 41s 611 52 0.00000 14 351 - 0.00000 - 209 46s 614 54 0.00000 12 351 - 0.00000 - 208 51s 618 58 0.00000 11 341 - 0.00000 - 292 55s 711 54 infeasible 30 - 0.00000 - 302 60s 811 36 infeasible 25 - 0.00000 - 316 65s 920 43 0.00000 24 352 - 0.00000 - 325 70s 1011 42 infeasible 25 - 0.00000 - 334 75s 1115 56 0.00000 20 363 - 0.00000 - 339 80s 1215 66 infeasible 24 - 0.00000 - 345 85s 1321 78 infeasible 28 - 0.00000 - 349 90s 1430 89 0.00000 23 250 - 0.00000 - 352 95s 1523 86 infeasible 22 - 0.00000 - 359 100s 1637 94 infeasible 28 - 0.00000 - 360 105s 1739 100 0.00000 22 348 - 0.00000 - 363 110s 1833 108 0.00000 33 338 - 0.00000 - 367 115s 1933 88 infeasible 26 - 0.00000 - 370 120s 2040 87 infeasible 24 - 0.00000 - 372 125s 2134 81 infeasible 24 - 0.00000 - 375 130s 2232 79 infeasible 28 - 0.00000 - 378 135s 2318 77 infeasible 25 - 0.00000 - 382 140s 2405 62 infeasible 23 - 0.00000 - 385 145s 2510 69 infeasible 23 - 0.00000 - 385 150s 2616 69 infeasible 24 - 0.00000 - 386 155s 2723 70 0.00000 26 362 - 0.00000 - 386 160s 2822 77 infeasible 29 - 0.00000 - 387 165s 2911 70 infeasible 22 - 0.00000 - 390 170s 3003 66 0.00000 24 352 - 0.00000 - 392 175s 3106 73 infeasible 26 - 0.00000 - 392 180s 3207 62 infeasible 26 - 0.00000 - 393 185s 3299 60 infeasible 29 - 0.00000 - 394 190s 3400 49 infeasible 23 - 0.00000 - 395 195s 3493 40 infeasible 26 - 0.00000 - 397 200s 3588 41 0.00000 26 354 - 0.00000 - 398 205s 3685 36 infeasible 27 - 0.00000 - 399 210s 3775 34 0.00000 20 349 - 0.00000 - 400 215s 3880 33 0.00000 26 334 - 0.00000 - 400 220s 3980 33 infeasible 27 - 0.00000 - 400 225s 4087 32 0.00000 27 339 - 0.00000 - 400 230s 4178 21 infeasible 28 - 0.00000 - 401 235s 4271 26 0.00000 24 336 - 0.00000 - 402 240s 4380 23 infeasible 25 - 0.00000 - 402 245s 4462 21 infeasible 25 - 0.00000 - 404 250s 4560 27 0.00000 23 368 - 0.00000 - 405 255s 4671 28 0.00000 26 362 - 0.00000 - 404 260s 4779 24 infeasible 25 - 0.00000 - 404 265s 4875 18 0.00000 19 369 - 0.00000 - 405 270s 4974 17 infeasible 24 - 0.00000 - 405 275s 5077 24 infeasible 26 - 0.00000 - 405 280s 5177 18 infeasible 24 - 0.00000 - 405 285s Cutting planes: Clique: 4 Zero half: 22 Explored 5197 nodes (2149558 simplex iterations) in 285.99 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