current bounds on the number of colors: 0 -- 213 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:38:43 2012 Optimize a model with 122537 rows, 23732 columns and 389550 nonzeros Presolve time: 0.42s Presolved: 122537 rows, 23732 columns, 389550 nonzeros Variable types: 0 continuous, 23732 integer (23732 binary) Root relaxation: objective 0.000000e+00, 551 iterations, 0.15 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 (1001 simplex iterations) in 0.75 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 -- 106 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:38:45 2012 Optimize a model with 61375 rows, 12443 columns and 194775 nonzeros Presolve time: 0.17s Presolved: 61375 rows, 12443 columns, 194775 nonzeros Variable types: 0 continuous, 12443 integer (12443 binary) Root relaxation: objective 0.000000e+00, 736 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 (1277 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 -- 53 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:38:46 2012 Optimize a model with 30217 rows, 6692 columns and 95550 nonzeros Presolve time: 0.13s Presolved: 30217 rows, 6692 columns, 95550 nonzeros Variable types: 0 continuous, 6692 integer (6692 binary) Root relaxation: objective 0.000000e+00, 544 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 (1260 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 -- 26 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:38:47 2012 Optimize a model with 15215 rows, 3923 columns and 47775 nonzeros Presolve time: 0.05s Presolved: 15215 rows, 3923 columns, 47775 nonzeros Variable types: 0 continuous, 3923 integer (3923 binary) Root relaxation: objective 0.000000e+00, 438 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 (843 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 -- 13 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:38:47 2012 Optimize a model with 7137 rows, 2432 columns and 22050 nonzeros Presolve time: 0.02s Presolved: 7137 rows, 2432 columns, 22050 nonzeros Variable types: 0 continuous, 2432 integer (2432 binary) Root relaxation: objective 0.000000e+00, 445 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 (1901 simplex iterations) in 0.10 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:38:47 2012 Optimize a model with 3675 rows, 1793 columns and 11025 nonzeros Presolve time: 0.01s Presolved: 3675 rows, 1793 columns, 11025 nonzeros Variable types: 0 continuous, 1793 integer (1793 binary) Root relaxation: objective 0.000000e+00, 492 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 426 - 0.00000 - - 0s 0 0 0.00000 0 424 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5710 simplex iterations) in 0.95 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: 3 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:38:48 2012 Optimize a model with 4829 rows, 2006 columns and 14700 nonzeros Presolve time: 0.01s Presolved: 4829 rows, 2006 columns, 14700 nonzeros Variable types: 0 continuous, 2006 integer (2006 binary) Root relaxation: objective 0.000000e+00, 467 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 418 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 0s 0 0 0.00000 0 412 - 0.00000 - - 1s 0 0 0.00000 0 427 - 0.00000 - - 1s 0 0 0.00000 0 408 - 0.00000 - - 2s 0 0 0.00000 0 404 - 0.00000 - - 2s 0 0 0.00000 0 402 - 0.00000 - - 3s 0 0 0.00000 0 398 - 0.00000 - - 4s 0 0 0.00000 0 403 - 0.00000 - - 5s 0 0 0.00000 0 392 - 0.00000 - - 5s 0 0 0.00000 0 388 - 0.00000 - - 6s 0 0 0.00000 0 386 - 0.00000 - - 7s 0 0 0.00000 0 390 - 0.00000 - - 8s 0 0 0.00000 0 386 - 0.00000 - - 9s 0 0 0.00000 0 382 - 0.00000 - - 9s 0 0 0.00000 0 380 - 0.00000 - - 10s 0 0 0.00000 0 374 - 0.00000 - - 11s 0 0 0.00000 0 370 - 0.00000 - - 12s 0 0 0.00000 0 370 - 0.00000 - - 13s 0 0 0.00000 0 370 - 0.00000 - - 14s 0 0 0.00000 0 370 - 0.00000 - - 14s 0 2 0.00000 0 370 - 0.00000 - - 15s 265 37 0.00000 21 380 - 0.00000 - 169 20s 576 70 0.00000 26 384 - 0.00000 - 171 25s 917 51 0.00000 23 405 - 0.00000 - 168 30s 1312 30 infeasible 20 - 0.00000 - 161 35s 1505 60 0.00000 16 402 - 0.00000 - 160 41s 1507 61 0.00000 19 396 - 0.00000 - 160 45s 1509 62 0.00000 7 386 - 0.00000 - 160 50s 1511 64 0.00000 20 384 - 0.00000 - 160 55s 1513 65 0.00000 25 373 - 0.00000 - 159 60s 1515 66 0.00000 22 374 - 0.00000 - 159 65s 1517 68 0.00000 25 362 - 0.00000 - 159 71s 1519 69 0.00000 28 366 - 0.00000 - 159 75s 1618 65 infeasible 32 - 0.00000 - 233 80s 1763 30 0.00000 22 435 - 0.00000 - 240 85s 1901 24 0.00000 30 437 - 0.00000 - 248 90s 2031 36 infeasible 27 - 0.00000 - 253 95s 2191 46 0.00000 22 401 - 0.00000 - 256 100s 2314 31 infeasible 20 - 0.00000 - 262 105s 2459 26 infeasible 25 - 0.00000 - 265 110s 2581 36 infeasible 26 - 0.00000 - 269 115s 2736 21 infeasible 22 - 0.00000 - 272 120s 2847 18 0.00000 23 511 - 0.00000 - 277 125s 2966 7 0.00000 16 526 - 0.00000 - 280 130s 3084 11 infeasible 23 - 0.00000 - 283 135s 3192 25 infeasible 26 - 0.00000 - 287 140s 3374 35 infeasible 25 - 0.00000 - 287 145s 3487 8 infeasible 27 - 0.00000 - 290 150s 3592 13 infeasible 31 - 0.00000 - 294 155s Cutting planes: Clique: 1 Zero half: 20 Explored 3680 nodes (1187631 simplex iterations) in 159.48 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 14:41:28 2012 Optimize a model with 5983 rows, 2219 columns and 18375 nonzeros Presolve time: 0.02s Presolved: 5983 rows, 2219 columns, 18375 nonzeros Variable types: 0 continuous, 2219 integer (2219 binary) Root relaxation: objective 0.000000e+00, 472 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 284 - 0.00000 - - 0s 0 0 0.00000 0 394 - 0.00000 - - 1s 0 0 0.00000 0 478 - 0.00000 - - 3s 0 0 0.00000 0 550 - 0.00000 - - 3s 0 0 0.00000 0 457 - 0.00000 - - 4s 0 0 0.00000 0 509 - 0.00000 - - 5s * 0 0 0 0.0000000 0.00000 0.0% - 6s Cutting planes: Zero half: 16 Explored 0 nodes (35905 simplex iterations) in 6.16 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% optimal solution found: number of colors: 5