current bounds on the number of colors: 0 -- 116 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:30:16 2012 Optimize a model with 42804 rows, 7464 columns and 134792 nonzeros Presolve time: 0.16s Presolved: 42804 rows, 7464 columns, 134792 nonzeros Variable types: 0 continuous, 7464 integer (7464 binary) Root relaxation: objective 0.000000e+00, 279 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 (545 simplex iterations) in 0.27 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 -- 58 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:30:17 2012 Optimize a model with 21460 rows, 4100 columns and 67396 nonzeros Presolve time: 0.09s Presolved: 21460 rows, 4100 columns, 67396 nonzeros Variable types: 0 continuous, 4100 integer (4100 binary) Root relaxation: objective 0.000000e+00, 280 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 (529 simplex iterations) in 0.14 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 -- 29 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:30:18 2012 Optimize a model with 10420 rows, 2360 columns and 32536 nonzeros Presolve time: 0.03s Presolved: 10420 rows, 2360 columns, 32536 nonzeros Variable types: 0 continuous, 2360 integer (2360 binary) Root relaxation: objective 0.000000e+00, 240 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 (484 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 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:30:18 2012 Optimize a model with 5268 rows, 1548 columns and 16268 nonzeros Presolve time: 0.01s Presolved: 5268 rows, 1548 columns, 16268 nonzeros Variable types: 0 continuous, 1548 integer (1548 binary) Root relaxation: objective 0.000000e+00, 237 iterations, 0.00 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 (1259 simplex iterations) in 0.06 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:30:18 2012 Optimize a model with 2324 rows, 1084 columns and 6972 nonzeros Presolve time: 0.01s Presolved: 2324 rows, 1084 columns, 6972 nonzeros Variable types: 0 continuous, 1084 integer (1084 binary) Root relaxation: objective 0.000000e+00, 252 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 230 - 0.00000 - - 0s 0 0 0.00000 0 241 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3666 simplex iterations) in 0.43 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:30:18 2012 Optimize a model with 3796 rows, 1316 columns and 11620 nonzeros Presolve time: 0.01s Presolved: 3796 rows, 1316 columns, 11620 nonzeros Variable types: 0 continuous, 1316 integer (1316 binary) Root relaxation: objective 0.000000e+00, 254 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 160 - 0.00000 - - 0s 0 0 0.00000 0 156 - 0.00000 - - 0s 0 0 0.00000 0 308 - 0.00000 - - 1s 0 0 0.00000 0 308 - 0.00000 - - 1s 0 0 0.00000 0 229 - 0.00000 - - 1s 0 0 0.00000 0 232 - 0.00000 - - 2s 0 0 0.00000 0 188 - 0.00000 - - 2s 0 0 0.00000 0 220 - 0.00000 - - 3s 0 0 0.00000 0 261 - 0.00000 - - 3s 0 0 0.00000 0 261 - 0.00000 - - 3s 0 2 0.00000 0 261 - 0.00000 - - 4s 111 35 infeasible 28 - 0.00000 - 113 5s 716 62 0.00000 23 270 - 0.00000 - 78.5 10s 721 65 0.00000 23 269 - 0.00000 - 78.0 15s 836 74 0.00000 29 264 - 0.00000 - 129 20s 1246 61 0.00000 20 277 - 0.00000 - 145 25s 1612 99 infeasible 31 - 0.00000 - 156 30s 2062 165 infeasible 31 - 0.00000 - 158 35s 2462 147 0.00000 34 224 - 0.00000 - 163 40s 2856 151 infeasible 43 - 0.00000 - 166 45s 3243 158 infeasible 40 - 0.00000 - 169 50s 3634 161 0.00000 35 192 - 0.00000 - 171 55s 4002 161 0.00000 33 239 - 0.00000 - 174 60s 4367 168 infeasible 30 - 0.00000 - 176 65s 4732 221 infeasible 35 - 0.00000 - 177 70s 5054 215 infeasible 32 - 0.00000 - 180 75s 5458 209 infeasible 37 - 0.00000 - 180 80s 5827 222 infeasible 37 - 0.00000 - 181 85s 6246 213 infeasible 36 - 0.00000 - 181 90s 6632 209 0.00000 32 259 - 0.00000 - 182 95s 6986 199 infeasible 36 - 0.00000 - 183 100s 7332 209 infeasible 32 - 0.00000 - 184 105s 7693 190 0.00000 33 240 - 0.00000 - 185 110s 8045 231 infeasible 32 - 0.00000 - 185 115s 8464 262 0.00000 37 192 - 0.00000 - 185 120s 8850 290 infeasible 34 - 0.00000 - 185 125s 9249 303 infeasible 36 - 0.00000 - 185 130s 9621 281 0.00000 32 216 - 0.00000 - 185 135s 10000 320 infeasible 39 - 0.00000 - 185 140s 10393 335 0.00000 25 194 - 0.00000 - 185 145s 10747 337 0.00000 31 254 - 0.00000 - 185 150s 11102 338 0.00000 27 204 - 0.00000 - 186 155s 11441 319 infeasible 35 - 0.00000 - 186 160s 11787 321 infeasible 28 - 0.00000 - 187 165s 12230 332 infeasible 34 - 0.00000 - 186 170s 12624 332 infeasible 34 - 0.00000 - 186 175s 12967 319 infeasible 37 - 0.00000 - 187 180s 13303 273 infeasible 31 - 0.00000 - 187 185s 13654 252 infeasible 30 - 0.00000 - 188 190s 13997 249 0.00000 26 258 - 0.00000 - 188 195s 14348 218 infeasible 29 - 0.00000 - 188 200s 14665 203 infeasible 33 - 0.00000 - 189 205s 15106 198 infeasible 35 - 0.00000 - 188 210s 15451 192 0.00000 29 190 - 0.00000 - 189 215s 15802 185 infeasible 36 - 0.00000 - 189 220s 16120 175 0.00000 31 258 - 0.00000 - 190 225s 16476 171 0.00000 29 260 - 0.00000 - 190 230s 16902 175 infeasible 34 - 0.00000 - 190 235s 17273 164 infeasible 33 - 0.00000 - 190 240s 17600 163 0.00000 31 227 - 0.00000 - 190 245s 18015 168 infeasible 35 - 0.00000 - 190 250s 18411 166 infeasible 35 - 0.00000 - 190 255s 18712 153 0.00000 34 264 - 0.00000 - 191 260s 19055 170 0.00000 34 251 - 0.00000 - 191 265s 19371 148 infeasible 30 - 0.00000 - 192 270s 19735 166 infeasible 38 - 0.00000 - 192 275s 20066 181 infeasible 32 - 0.00000 - 192 280s 20400 169 infeasible 26 - 0.00000 - 193 285s 20713 158 infeasible 34 - 0.00000 - 193 290s 21015 152 infeasible 30 - 0.00000 - 193 295s Cutting planes: Gomory: 1 Zero half: 22 Explored 21139 nodes (4120982 simplex iterations) in 297.11 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - current bounds on the number of colors: 5 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:35:16 2012 Optimize a model with 4532 rows, 1432 columns and 13944 nonzeros Presolve time: 0.01s Presolved: 4532 rows, 1432 columns, 13944 nonzeros Variable types: 0 continuous, 1432 integer (1432 binary) Root relaxation: objective 0.000000e+00, 253 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 186 - 0.00000 - - 0s Explored 0 nodes (871 simplex iterations) in 0.05 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - optimal solution found: number of colors: 7