current bounds on the number of colors: 0 -- 203 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:21:04 2012 Optimize a model with 104536 rows, 21536 columns and 333502 nonzeros Presolve time: 0.35s Presolved: 104536 rows, 21536 columns, 333502 nonzeros Variable types: 0 continuous, 21536 integer (21536 binary) Root relaxation: objective 0.000000e+00, 831 iterations, 0.11 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 (1299 simplex iterations) in 0.62 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 -- 101 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:21:06 2012 Optimize a model with 51853 rows, 11183 columns and 165100 nonzeros Presolve time: 0.17s Presolved: 51853 rows, 11183 columns, 165100 nonzeros Variable types: 0 continuous, 11183 integer (11183 binary) Root relaxation: objective 0.000000e+00, 649 iterations, 0.05 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 (1096 simplex iterations) in 0.29 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 -- 50 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:21:07 2012 Optimize a model with 26028 rows, 6108 columns and 82550 nonzeros Presolve time: 0.11s Presolved: 26028 rows, 6108 columns, 82550 nonzeros Variable types: 0 continuous, 6108 integer (6108 binary) Root relaxation: objective 0.000000e+00, 449 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 (823 simplex iterations) in 0.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% current bounds on the number of colors: 0 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:21:07 2012 Optimize a model with 12599 rows, 3469 columns and 39624 nonzeros Presolve time: 0.04s Presolved: 12599 rows, 3469 columns, 39624 nonzeros Variable types: 0 continuous, 3469 integer (3469 binary) Root relaxation: objective 0.000000e+00, 426 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 (824 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:21:08 2012 Optimize a model with 6401 rows, 2251 columns and 19812 nonzeros Presolve time: 0.02s Presolved: 6401 rows, 2251 columns, 19812 nonzeros Variable types: 0 continuous, 2251 integer (2251 binary) Root relaxation: objective 0.000000e+00, 441 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 (1579 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:21:08 2012 Optimize a model with 3302 rows, 1642 columns and 9906 nonzeros Presolve time: 0.01s Presolved: 3302 rows, 1642 columns, 9906 nonzeros Variable types: 0 continuous, 1642 integer (1642 binary) Root relaxation: objective 0.000000e+00, 468 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 326 - 0.00000 - - 0s 0 0 0.00000 0 400 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (6369 simplex iterations) in 0.85 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 10:21:09 2012 Optimize a model with 4335 rows, 1845 columns and 13208 nonzeros Presolve time: 0.01s Presolved: 4335 rows, 1845 columns, 13208 nonzeros Variable types: 0 continuous, 1845 integer (1845 binary) Root relaxation: objective 0.000000e+00, 457 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 390 - 0.00000 - - 0s 0 0 0.00000 0 390 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 1s 0 0 0.00000 0 470 - 0.00000 - - 1s 0 0 0.00000 0 368 - 0.00000 - - 2s 0 0 0.00000 0 364 - 0.00000 - - 2s 0 0 0.00000 0 364 - 0.00000 - - 3s 0 0 0.00000 0 352 - 0.00000 - - 4s 0 0 0.00000 0 364 - 0.00000 - - 5s 0 0 0.00000 0 366 - 0.00000 - - 6s 0 0 0.00000 0 370 - 0.00000 - - 6s 0 0 0.00000 0 370 - 0.00000 - - 7s 0 2 0.00000 0 370 - 0.00000 - - 7s 117 35 infeasible 13 - 0.00000 - 201 10s 420 72 0.00000 13 354 - 0.00000 - 187 15s 604 105 0.00000 11 581 - 0.00000 - 191 21s 605 106 0.00000 19 374 - 0.00000 - 191 25s 608 108 0.00000 12 346 - 0.00000 - 190 30s 610 109 0.00000 15 352 - 0.00000 - 189 35s 612 110 0.00000 11 340 - 0.00000 - 189 40s 614 112 0.00000 11 316 - 0.00000 - 188 45s 635 120 0.00000 22 479 - 0.00000 - 314 50s 778 87 infeasible 23 - 0.00000 - 317 55s 894 52 0.00000 27 446 - 0.00000 - 326 60s 1041 34 0.00000 25 425 - 0.00000 - 326 65s 1163 36 0.00000 23 472 - 0.00000 - 333 70s 1285 30 infeasible 27 - 0.00000 - 337 75s 1410 23 infeasible 27 - 0.00000 - 340 80s 1504 7 0.00000 20 494 - 0.00000 - 348 85s Cutting planes: Zero half: 25 Explored 1594 nodes (610006 simplex iterations) in 88.95 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 10:22:38 2012 Optimize a model with 5368 rows, 2048 columns and 16510 nonzeros Presolve time: 0.01s Presolved: 5368 rows, 2048 columns, 16510 nonzeros Variable types: 0 continuous, 2048 integer (2048 binary) Root relaxation: objective 0.000000e+00, 462 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 316 - 0.00000 - - 0s 0 0 0.00000 0 418 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (10639 simplex iterations) in 1.49 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