current bounds on the number of colors: 0 -- 161 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:22:14 2012 Optimize a model with 56081 rows, 13579 columns and 180640 nonzeros Presolve time: 0.17s Presolved: 56081 rows, 13579 columns, 180640 nonzeros Variable types: 0 continuous, 13579 integer (13579 binary) Root relaxation: objective 0.000000e+00, 586 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 (954 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 -- 80 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:22:15 2012 Optimize a model with 28121 rows, 7139 columns and 90320 nonzeros Presolve time: 0.14s Presolved: 28121 rows, 7139 columns, 90320 nonzeros Variable types: 0 continuous, 7139 integer (7139 binary) Root relaxation: objective 0.000000e+00, 415 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 (741 simplex iterations) in 0.19 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 -- 40 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:22:15 2012 Optimize a model with 14141 rows, 3919 columns and 45160 nonzeros Presolve time: 0.05s Presolved: 14141 rows, 3919 columns, 45160 nonzeros Variable types: 0 continuous, 3919 integer (3919 binary) Root relaxation: objective 0.000000e+00, 340 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 (807 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 -- 20 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:22:16 2012 Optimize a model with 7151 rows, 2309 columns and 22580 nonzeros Presolve time: 0.02s Presolved: 7151 rows, 2309 columns, 22580 nonzeros Variable types: 0 continuous, 2309 integer (2309 binary) Root relaxation: objective 0.000000e+00, 339 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 (637 simplex iterations) in 0.04 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 -- 10 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:22:16 2012 Optimize a model with 3656 rows, 1504 columns and 11290 nonzeros Presolve time: 0.01s Presolved: 3656 rows, 1504 columns, 11290 nonzeros Variable types: 0 continuous, 1504 integer (1504 binary) Root relaxation: objective 0.000000e+00, 349 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 56 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3798 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:22:16 2012 Optimize a model with 1559 rows, 1021 columns and 4516 nonzeros Presolve removed 161 rows and 161 columns Presolve time: 0.00s Presolved: 1398 rows, 860 columns, 4194 nonzeros Variable types: 0 continuous, 860 integer (860 binary) Root relaxation: objective 0.000000e+00, 169 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 161 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (688 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 Fri Dec 14 19:22:16 2012 Optimize a model with 2258 rows, 1182 columns and 6774 nonzeros Presolve time: 0.01s Presolved: 2258 rows, 1182 columns, 6774 nonzeros Variable types: 0 continuous, 1182 integer (1182 binary) Root relaxation: objective 0.000000e+00, 363 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 244 - 0.00000 - - 0s 0 0 0.00000 0 309 - 0.00000 - - 0s 0 0 0.00000 0 400 - 0.00000 - - 0s 0 0 0.00000 0 432 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Zero half: 703 Explored 0 nodes (9276 simplex iterations) in 0.99 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 Fri Dec 14 19:22:17 2012 Optimize a model with 2957 rows, 1343 columns and 9032 nonzeros Presolve time: 0.01s Presolved: 2957 rows, 1343 columns, 9032 nonzeros Variable types: 0 continuous, 1343 integer (1343 binary) Root relaxation: objective 0.000000e+00, 348 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 304 - 0.00000 - - 0s 0 0 0.00000 0 304 - 0.00000 - - 0s 0 0 0.00000 0 280 - 0.00000 - - 0s 0 0 0.00000 0 306 - 0.00000 - - 0s 0 0 0.00000 0 266 - 0.00000 - - 0s 0 0 0.00000 0 267 - 0.00000 - - 1s 0 0 0.00000 0 260 - 0.00000 - - 1s 0 0 0.00000 0 258 - 0.00000 - - 1s 0 0 0.00000 0 248 - 0.00000 - - 1s 0 0 0.00000 0 230 - 0.00000 - - 2s 0 0 0.00000 0 220 - 0.00000 - - 2s 0 0 0.00000 0 218 - 0.00000 - - 2s 0 0 0.00000 0 218 - 0.00000 - - 3s 0 0 0.00000 0 222 - 0.00000 - - 3s 0 0 0.00000 0 230 - 0.00000 - - 3s 0 0 0.00000 0 229 - 0.00000 - - 3s 0 2 0.00000 0 229 - 0.00000 - - 4s 291 37 infeasible 23 - 0.00000 - 67.8 5s 808 75 0.00000 17 188 - 0.00000 - 62.6 10s 815 79 infeasible 12 - 0.00000 - 98.7 15s 1296 42 infeasible 24 - 0.00000 - 127 20s 1814 46 0.00000 24 309 - 0.00000 - 140 25s 2340 50 infeasible 27 - 0.00000 - 148 30s 2891 63 infeasible 25 - 0.00000 - 150 35s 3441 103 0.00000 28 320 - 0.00000 - 152 40s 3992 76 0.00000 26 269 - 0.00000 - 155 45s 4552 72 infeasible 29 - 0.00000 - 156 50s 5019 73 0.00000 27 260 - 0.00000 - 159 55s 5503 45 infeasible 26 - 0.00000 - 161 60s 5937 51 infeasible 27 - 0.00000 - 164 65s 6428 58 0.00000 28 262 - 0.00000 - 165 70s 6911 49 0.00000 29 283 - 0.00000 - 166 75s 7358 46 infeasible 30 - 0.00000 - 168 80s 7864 34 infeasible 26 - 0.00000 - 168 85s 8324 26 infeasible 30 - 0.00000 - 169 90s 8845 23 0.00000 28 294 - 0.00000 - 169 95s 9314 10 0.00000 28 288 - 0.00000 - 169 100s Cutting planes: Gomory: 1 Zero half: 11 Explored 9383 nodes (1631856 simplex iterations) in 100.80 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