current bounds on the number of colors: 0 -- 181 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:48:39 2012 Optimize a model with 76771 rows, 17141 columns and 246060 nonzeros Presolve time: 0.24s Presolved: 76771 rows, 17141 columns, 246060 nonzeros Variable types: 0 continuous, 17141 integer (17141 binary) Root relaxation: objective 0.000000e+00, 720 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 (1139 simplex iterations) in 0.43 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 -- 90 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:48:40 2012 Optimize a model with 38476 rows, 8996 columns and 123030 nonzeros Presolve time: 0.15s Presolved: 38476 rows, 8996 columns, 123030 nonzeros Variable types: 0 continuous, 8996 integer (8996 binary) Root relaxation: objective 0.000000e+00, 608 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 (1006 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 -- 45 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:48:41 2012 Optimize a model with 18903 rows, 4833 columns and 60148 nonzeros Presolve time: 0.07s Presolved: 18903 rows, 4833 columns, 60148 nonzeros Variable types: 0 continuous, 4833 integer (4833 binary) Root relaxation: objective 0.000000e+00, 378 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 (706 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 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:48:41 2012 Optimize a model with 9542 rows, 2842 columns and 30074 nonzeros Presolve time: 0.03s Presolved: 9542 rows, 2842 columns, 30074 nonzeros Variable types: 0 continuous, 2842 integer (2842 binary) Root relaxation: objective 0.000000e+00, 381 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 (697 simplex iterations) in 0.05 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:48:42 2012 Optimize a model with 4436 rows, 1756 columns and 13670 nonzeros Presolve time: 0.01s Presolved: 4436 rows, 1756 columns, 13670 nonzeros Variable types: 0 continuous, 1756 integer (1756 binary) Root relaxation: objective 0.000000e+00, 386 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 194 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (4035 simplex iterations) in 0.28 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:48:42 2012 Optimize a model with 1883 rows, 1213 columns and 5468 nonzeros Presolve removed 181 rows and 181 columns Presolve time: 0.00s Presolved: 1702 rows, 1032 columns, 5106 nonzeros Variable types: 0 continuous, 1032 integer (1032 binary) Root relaxation: objective 0.000000e+00, 198 iterations, 0.00 seconds Nodes | Current Node | Objective Bounds | Work Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time 0 0 0.00000 0 181 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (796 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:48:42 2012 Optimize a model with 2734 rows, 1394 columns and 8202 nonzeros Presolve time: 0.01s Presolved: 2734 rows, 1394 columns, 8202 nonzeros Variable types: 0 continuous, 1394 integer (1394 binary) Root relaxation: objective 0.000000e+00, 419 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 358 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4727 simplex iterations) in 0.50 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:48:43 2012 Optimize a model with 3585 rows, 1575 columns and 10936 nonzeros Presolve time: 0.01s Presolved: 3585 rows, 1575 columns, 10936 nonzeros Variable types: 0 continuous, 1575 integer (1575 binary) Root relaxation: objective 0.000000e+00, 417 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 344 - 0.00000 - - 0s 0 0 0.00000 0 348 - 0.00000 - - 0s 0 0 0.00000 0 336 - 0.00000 - - 0s 0 0 0.00000 0 466 - 0.00000 - - 0s 0 0 0.00000 0 334 - 0.00000 - - 1s 0 0 0.00000 0 312 - 0.00000 - - 1s 0 0 0.00000 0 308 - 0.00000 - - 2s 0 0 0.00000 0 300 - 0.00000 - - 2s 0 0 0.00000 0 302 - 0.00000 - - 3s 0 0 0.00000 0 302 - 0.00000 - - 3s 0 0 0.00000 0 308 - 0.00000 - - 3s 0 0 0.00000 0 304 - 0.00000 - - 3s 0 0 0.00000 0 298 - 0.00000 - - 4s 0 0 0.00000 0 309 - 0.00000 - - 4s 0 0 0.00000 0 309 - 0.00000 - - 4s 0 2 0.00000 0 309 - 0.00000 - - 5s 596 71 infeasible 19 - 0.00000 - 130 10s 805 76 0.00000 6 316 - 0.00000 - 128 15s 809 78 0.00000 21 288 - 0.00000 - 127 20s 813 81 0.00000 13 469 - 0.00000 - 127 25s 1028 54 0.00000 29 373 - 0.00000 - 194 30s 1362 45 infeasible 29 - 0.00000 - 203 35s 1714 51 0.00000 30 314 - 0.00000 - 206 40s 2080 43 infeasible 30 - 0.00000 - 207 45s 2395 40 infeasible 26 - 0.00000 - 210 50s 2699 40 0.00000 30 300 - 0.00000 - 214 55s 3071 58 infeasible 33 - 0.00000 - 213 60s 3423 52 infeasible 28 - 0.00000 - 214 65s 3766 59 infeasible 31 - 0.00000 - 214 70s 4129 48 0.00000 25 308 - 0.00000 - 214 75s 4443 36 infeasible 26 - 0.00000 - 215 80s 4736 39 0.00000 26 318 - 0.00000 - 216 85s 5011 26 0.00000 27 349 - 0.00000 - 219 90s 5291 28 infeasible 32 - 0.00000 - 221 95s 5551 16 0.00000 27 376 - 0.00000 - 223 100s 5848 11 0.00000 28 310 - 0.00000 - 224 105s Explored 5906 nodes (1366624 simplex iterations) in 106.06 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5