current bounds on the number of colors: 0 -- 161 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:26:12 2012 Optimize a model with 54881 rows, 13564 columns and 177040 nonzeros Presolve time: 0.18s Presolved: 54881 rows, 13564 columns, 177040 nonzeros Variable types: 0 continuous, 13564 integer (13564 binary) Root relaxation: objective 0.000000e+00, 596 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 (980 simplex iterations) in 0.31 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:26:13 2012 Optimize a model with 27521 rows, 7124 columns and 88520 nonzeros Presolve time: 0.14s Presolved: 27521 rows, 7124 columns, 88520 nonzeros Variable types: 0 continuous, 7124 integer (7124 binary) Root relaxation: objective 0.000000e+00, 537 iterations, 0.03 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 (918 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 -- 40 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:26:13 2012 Optimize a model with 13841 rows, 3904 columns and 44260 nonzeros Presolve time: 0.05s Presolved: 13841 rows, 3904 columns, 44260 nonzeros Variable types: 0 continuous, 3904 integer (3904 binary) Root relaxation: objective 0.000000e+00, 323 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 (600 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 -- 20 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:26:13 2012 Optimize a model with 7001 rows, 2294 columns and 22130 nonzeros Presolve time: 0.02s Presolved: 7001 rows, 2294 columns, 22130 nonzeros Variable types: 0 continuous, 2294 integer (2294 binary) Root relaxation: objective 0.000000e+00, 334 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 (652 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:26:14 2012 Optimize a model with 3581 rows, 1489 columns and 11065 nonzeros Presolve time: 0.01s Presolved: 3581 rows, 1489 columns, 11065 nonzeros Variable types: 0 continuous, 1489 integer (1489 binary) Root relaxation: objective 0.000000e+00, 365 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 (1476 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 -- 5 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 19:26:14 2012 Optimize a model with 1529 rows, 1006 columns and 4426 nonzeros Presolve removed 161 rows and 161 columns Presolve time: 0.00s Presolved: 1368 rows, 845 columns, 4104 nonzeros Variable types: 0 continuous, 845 integer (845 binary) Root relaxation: objective 0.000000e+00, 171 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 (704 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:26:14 2012 Optimize a model with 2213 rows, 1167 columns and 6639 nonzeros Presolve time: 0.01s Presolved: 2213 rows, 1167 columns, 6639 nonzeros Variable types: 0 continuous, 1167 integer (1167 binary) Root relaxation: objective 0.000000e+00, 360 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 320 - 0.00000 - - 0s 0 0 0.00000 0 308 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3914 simplex iterations) in 0.36 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:26:14 2012 Optimize a model with 2897 rows, 1328 columns and 8852 nonzeros Presolve time: 0.01s Presolved: 2897 rows, 1328 columns, 8852 nonzeros Variable types: 0 continuous, 1328 integer (1328 binary) Root relaxation: objective 0.000000e+00, 380 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 308 - 0.00000 - - 0s 0 0 0.00000 0 295 - 0.00000 - - 0s 0 0 0.00000 0 296 - 0.00000 - - 0s 0 0 0.00000 0 295 - 0.00000 - - 0s 0 0 0.00000 0 394 - 0.00000 - - 0s 0 0 0.00000 0 278 - 0.00000 - - 0s 0 0 0.00000 0 274 - 0.00000 - - 1s 0 0 0.00000 0 264 - 0.00000 - - 1s 0 0 0.00000 0 270 - 0.00000 - - 1s 0 0 0.00000 0 281 - 0.00000 - - 1s 0 0 0.00000 0 270 - 0.00000 - - 2s 0 0 0.00000 0 264 - 0.00000 - - 2s 0 0 0.00000 0 260 - 0.00000 - - 2s 0 0 0.00000 0 260 - 0.00000 - - 2s 0 0 0.00000 0 256 - 0.00000 - - 2s 0 0 0.00000 0 246 - 0.00000 - - 3s 0 0 0.00000 0 246 - 0.00000 - - 3s 0 0 0.00000 0 246 - 0.00000 - - 3s 0 2 0.00000 0 246 - 0.00000 - - 3s 468 100 0.00000 24 232 - 0.00000 - 63.3 5s 710 114 0.00000 20 210 - 0.00000 - 57.2 10s 719 120 infeasible 14 - 0.00000 - 117 15s 1315 37 infeasible 27 - 0.00000 - 132 20s 2003 117 infeasible 34 - 0.00000 - 135 25s 2697 129 0.00000 32 266 - 0.00000 - 136 30s 3388 122 infeasible 28 - 0.00000 - 137 35s 4059 145 infeasible 29 - 0.00000 - 138 40s 4672 138 0.00000 25 266 - 0.00000 - 141 45s 5403 273 0.00000 24 254 - 0.00000 - 140 50s 6119 309 infeasible 33 - 0.00000 - 139 55s 6822 356 0.00000 26 264 - 0.00000 - 139 60s 7502 308 infeasible 35 - 0.00000 - 140 65s 8117 277 0.00000 27 256 - 0.00000 - 141 70s 8769 245 0.00000 26 262 - 0.00000 - 142 75s 9370 258 0.00000 26 311 - 0.00000 - 143 80s 10068 270 infeasible 27 - 0.00000 - 143 85s 10749 269 infeasible 32 - 0.00000 - 143 90s 11413 271 infeasible 29 - 0.00000 - 143 95s 12051 273 infeasible 31 - 0.00000 - 144 100s 12703 285 infeasible 36 - 0.00000 - 144 105s 13376 278 0.00000 31 260 - 0.00000 - 144 110s 14012 246 0.00000 27 272 - 0.00000 - 145 115s 14639 241 infeasible 30 - 0.00000 - 145 120s 15266 256 infeasible 30 - 0.00000 - 146 125s 15872 259 0.00000 34 234 - 0.00000 - 146 130s *16165 1 38 0.0000000 0.00000 0.0% 146 132s Cutting planes: Gomory: 1 Zero half: 13 Explored 16166 nodes (2404972 simplex iterations) in 132.53 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: 4