current bounds on the number of colors: 0 -- 142 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:56:19 2012 Optimize a model with 71923 rows, 11093 columns and 225425 nonzeros Presolve time: 0.20s Presolved: 71923 rows, 11093 columns, 225425 nonzeros Variable types: 0 continuous, 11093 integer (11093 binary) Root relaxation: objective 0.000000e+00, 364 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 (933 simplex iterations) in 0.45 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 -- 71 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:56:20 2012 Optimize a model with 35527 rows, 5981 columns and 111125 nonzeros Presolve time: 0.15s Presolved: 35527 rows, 5981 columns, 111125 nonzeros Variable types: 0 continuous, 5981 integer (5981 binary) Root relaxation: objective 0.000000e+00, 349 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 (677 simplex iterations) in 0.24 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:56:21 2012 Optimize a model with 17329 rows, 3425 columns and 53975 nonzeros Presolve time: 0.06s Presolved: 17329 rows, 3425 columns, 53975 nonzeros Variable types: 0 continuous, 3425 integer (3425 binary) Root relaxation: objective 0.000000e+00, 395 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 (778 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:56:21 2012 Optimize a model with 8230 rows, 2147 columns and 25400 nonzeros Presolve time: 0.02s Presolved: 8230 rows, 2147 columns, 25400 nonzeros Variable types: 0 continuous, 2147 integer (2147 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1312 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:56:21 2012 Optimize a model with 4186 rows, 1579 columns and 12700 nonzeros Presolve time: 0.01s Presolved: 4186 rows, 1579 columns, 12700 nonzeros Variable types: 0 continuous, 1579 integer (1579 binary) Root relaxation: objective 0.000000e+00, 308 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 202 - 0.00000 - - 0s 0 0 0.00000 0 192 - 0.00000 - - 1s 0 0 0.00000 0 462 - 0.00000 - - 2s 0 0 0.00000 0 469 - 0.00000 - - 2s 0 0 0.00000 0 460 - 0.00000 - - 3s 0 0 0.00000 0 458 - 0.00000 - - 4s 0 0 0.00000 0 457 - 0.00000 - - 4s 0 0 0.00000 0 455 - 0.00000 - - 6s 0 0 0.00000 0 455 - 0.00000 - - 8s 0 0 0.00000 0 450 - 0.00000 - - 9s 0 0 0.00000 0 444 - 0.00000 - - 10s 0 0 0.00000 0 438 - 0.00000 - - 12s 0 0 0.00000 0 432 - 0.00000 - - 14s 0 0 0.00000 0 444 - 0.00000 - - 14s 0 0 0.00000 0 441 - 0.00000 - - 15s 0 0 0.00000 0 438 - 0.00000 - - 17s 0 0 0.00000 0 428 - 0.00000 - - 18s 0 0 0.00000 0 446 - 0.00000 - - 19s 0 0 0.00000 0 437 - 0.00000 - - 19s 0 2 0.00000 0 437 - 0.00000 - - 20s Cutting planes: Clique: 60 Zero half: 17 Explored 13 nodes (85764 simplex iterations) in 21.41 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:56:43 2012 Optimize a model with 6208 rows, 1863 columns and 19050 nonzeros Presolve time: 0.02s Presolved: 6208 rows, 1863 columns, 19050 nonzeros Variable types: 0 continuous, 1863 integer (1863 binary) Root relaxation: objective 0.000000e+00, 303 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 150 - 0.00000 - - 0s 0 0 0.00000 0 142 - 0.00000 - - 0s Cutting planes: Clique: 4 MIR: 1 Explored 0 nodes (5478 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:56:43 2012 Optimize a model with 5197 rows, 1721 columns and 15875 nonzeros Presolve time: 0.01s Presolved: 5197 rows, 1721 columns, 15875 nonzeros Variable types: 0 continuous, 1721 integer (1721 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 282 - 0.00000 - - 0s 0 0 0.00000 0 266 - 0.00000 - - 0s 0 0 0.00000 0 411 - 0.00000 - - 1s 0 0 0.00000 0 395 - 0.00000 - - 1s 0 0 0.00000 0 381 - 0.00000 - - 2s 0 0 0.00000 0 376 - 0.00000 - - 2s 0 0 0.00000 0 402 - 0.00000 - - 2s 0 0 0.00000 0 394 - 0.00000 - - 3s 0 0 0.00000 0 383 - 0.00000 - - 4s 0 0 0.00000 0 370 - 0.00000 - - 5s 0 0 0.00000 0 344 - 0.00000 - - 6s 0 0 0.00000 0 341 - 0.00000 - - 7s 0 0 0.00000 0 372 - 0.00000 - - 8s 0 0 0.00000 0 369 - 0.00000 - - 9s 0 0 0.00000 0 371 - 0.00000 - - 10s 0 0 0.00000 0 382 - 0.00000 - - 10s 0 0 0.00000 0 350 - 0.00000 - - 12s 0 0 0.00000 0 336 - 0.00000 - - 13s 0 0 0.00000 0 275 - 0.00000 - - 14s 0 0 0.00000 0 303 - 0.00000 - - 15s 0 0 0.00000 0 303 - 0.00000 - - 16s 0 2 0.00000 0 303 - 0.00000 - - 16s 127 21 infeasible 21 - 0.00000 - 169 20s 489 25 0.00000 24 304 - 0.00000 - 151 25s 803 48 0.00000 6 411 - 0.00000 - 144 31s 807 51 0.00000 3 392 - 0.00000 - 143 36s 809 52 0.00000 9 382 - 0.00000 - 143 41s 811 54 0.00000 3 379 - 0.00000 - 142 46s 813 55 0.00000 31 366 - 0.00000 - 142 50s 817 58 0.00000 11 382 - 0.00000 - 141 55s 914 64 0.00000 32 349 - 0.00000 - 213 60s 1017 42 infeasible 31 - 0.00000 - 232 65s 1133 42 infeasible 27 - 0.00000 - 248 70s 1274 75 0.00000 22 340 - 0.00000 - 254 75s 1381 88 infeasible 33 - 0.00000 - 265 80s 1492 77 infeasible 27 - 0.00000 - 275 85s 1595 68 0.00000 27 348 - 0.00000 - 285 90s 1707 74 infeasible 30 - 0.00000 - 292 95s 1815 68 0.00000 28 330 - 0.00000 - 299 100s 1938 63 0.00000 25 344 - 0.00000 - 303 105s 2046 69 0.00000 33 333 - 0.00000 - 308 110s 2164 57 infeasible 31 - 0.00000 - 311 115s 2284 63 infeasible 28 - 0.00000 - 315 120s 2393 58 infeasible 31 - 0.00000 - 318 125s 2497 66 0.00000 30 342 - 0.00000 - 322 130s 2609 76 infeasible 33 - 0.00000 - 325 135s 2713 72 infeasible 28 - 0.00000 - 329 140s 2815 72 infeasible 34 - 0.00000 - 332 145s 2942 77 infeasible 34 - 0.00000 - 333 150s 3048 83 0.00000 27 342 - 0.00000 - 335 155s 3160 77 infeasible 32 - 0.00000 - 337 160s 3261 82 infeasible 32 - 0.00000 - 340 165s 3369 74 0.00000 29 357 - 0.00000 - 341 170s 3470 69 0.00000 25 360 - 0.00000 - 344 175s 3584 73 0.00000 27 352 - 0.00000 - 345 180s 3695 70 infeasible 29 - 0.00000 - 347 185s 3831 100 0.00000 32 343 - 0.00000 - 346 190s 3957 104 0.00000 34 312 - 0.00000 - 346 195s 4076 99 infeasible 29 - 0.00000 - 347 200s 4195 98 infeasible 31 - 0.00000 - 347 205s 4314 115 0.00000 29 344 - 0.00000 - 348 210s 4438 115 0.00000 26 343 - 0.00000 - 348 215s 4558 115 infeasible 36 - 0.00000 - 349 220s 4690 111 infeasible 28 - 0.00000 - 349 225s 4815 108 infeasible 30 - 0.00000 - 349 230s 4938 109 infeasible 33 - 0.00000 - 349 235s 5043 108 0.00000 30 332 - 0.00000 - 350 240s 5174 105 0.00000 34 339 - 0.00000 - 350 245s 5285 100 infeasible 33 - 0.00000 - 351 250s 5407 98 infeasible 35 - 0.00000 - 351 255s 5527 92 infeasible 33 - 0.00000 - 352 260s 5639 88 infeasible 32 - 0.00000 - 352 265s 5742 85 infeasible 29 - 0.00000 - 354 270s Cutting planes: Clique: 7 Zero half: 7 Explored 5823 nodes (2134864 simplex iterations) in 273.92 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