current bounds on the number of colors: 0 -- 181 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:22:03 2012 Optimize a model with 74251 rows, 17113 columns and 238500 nonzeros Presolve time: 0.23s Presolved: 74251 rows, 17113 columns, 238500 nonzeros Variable types: 0 continuous, 17113 integer (17113 binary) Root relaxation: objective 0.000000e+00, 727 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 (1136 simplex iterations) in 0.41 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:22:05 2012 Optimize a model with 37216 rows, 8968 columns and 119250 nonzeros Presolve time: 0.15s Presolved: 37216 rows, 8968 columns, 119250 nonzeros Variable types: 0 continuous, 8968 integer (8968 binary) Root relaxation: objective 0.000000e+00, 594 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 (1021 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:22:05 2012 Optimize a model with 18287 rows, 4805 columns and 58300 nonzeros Presolve time: 0.07s Presolved: 18287 rows, 4805 columns, 58300 nonzeros Variable types: 0 continuous, 4805 integer (4805 binary) Root relaxation: objective 0.000000e+00, 389 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 (698 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:22:06 2012 Optimize a model with 9234 rows, 2814 columns and 29150 nonzeros Presolve time: 0.03s Presolved: 9234 rows, 2814 columns, 29150 nonzeros Variable types: 0 continuous, 2814 integer (2814 binary) Root relaxation: objective 0.000000e+00, 376 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 (715 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:22:06 2012 Optimize a model with 4296 rows, 1728 columns and 13250 nonzeros Presolve time: 0.01s Presolved: 4296 rows, 1728 columns, 13250 nonzeros Variable types: 0 continuous, 1728 integer (1728 binary) Root relaxation: objective 0.000000e+00, 414 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 314 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2025 simplex iterations) in 0.10 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:22:06 2012 Optimize a model with 1827 rows, 1185 columns and 5300 nonzeros Presolve removed 181 rows and 181 columns Presolve time: 0.00s Presolved: 1646 rows, 1004 columns, 4938 nonzeros Variable types: 0 continuous, 1004 integer (1004 binary) Root relaxation: objective 0.000000e+00, 193 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 (781 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:22:06 2012 Optimize a model with 2650 rows, 1366 columns and 7950 nonzeros Presolve time: 0.01s Presolved: 2650 rows, 1366 columns, 7950 nonzeros Variable types: 0 continuous, 1366 integer (1366 binary) Root relaxation: objective 0.000000e+00, 413 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 352 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4516 simplex iterations) in 0.53 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:22:07 2012 Optimize a model with 3473 rows, 1547 columns and 10600 nonzeros Presolve time: 0.01s Presolved: 3473 rows, 1547 columns, 10600 nonzeros Variable types: 0 continuous, 1547 integer (1547 binary) Root relaxation: objective 0.000000e+00, 423 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 350 - 0.00000 - - 0s 0 0 0.00000 0 344 - 0.00000 - - 0s 0 0 0.00000 0 342 - 0.00000 - - 0s 0 0 0.00000 0 348 - 0.00000 - - 0s 0 0 0.00000 0 324 - 0.00000 - - 1s 0 0 0.00000 0 320 - 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 318 - 0.00000 - - 2s 0 0 0.00000 0 308 - 0.00000 - - 2s 0 0 0.00000 0 304 - 0.00000 - - 2s 0 0 0.00000 0 298 - 0.00000 - - 3s 0 0 0.00000 0 298 - 0.00000 - - 3s 0 0 0.00000 0 298 - 0.00000 - - 3s 0 0 0.00000 0 292 - 0.00000 - - 4s 0 0 0.00000 0 288 - 0.00000 - - 4s 0 0 0.00000 0 282 - 0.00000 - - 4s 0 0 0.00000 0 274 - 0.00000 - - 5s 0 0 0.00000 0 280 - 0.00000 - - 5s 0 0 0.00000 0 280 - 0.00000 - - 5s 0 2 0.00000 0 280 - 0.00000 - - 5s 605 76 0.00000 18 318 - 0.00000 - 89.5 10s 610 79 0.00000 18 309 - 0.00000 - 88.7 15s 616 83 infeasible 15 - 0.00000 - 155 20s 1052 75 0.00000 31 306 - 0.00000 - 163 25s 1570 85 0.00000 24 320 - 0.00000 - 163 30s 2022 71 0.00000 30 324 - 0.00000 - 168 35s 2440 53 0.00000 32 304 - 0.00000 - 171 40s 2897 66 0.00000 29 282 - 0.00000 - 172 45s 3335 64 0.00000 28 320 - 0.00000 - 174 50s 3734 59 infeasible 30 - 0.00000 - 176 55s 4155 74 infeasible 32 - 0.00000 - 176 60s 4597 94 0.00000 32 392 - 0.00000 - 176 65s 5005 94 infeasible 32 - 0.00000 - 177 70s 5444 107 infeasible 35 - 0.00000 - 178 75s 5903 104 infeasible 33 - 0.00000 - 177 80s 6333 98 0.00000 29 310 - 0.00000 - 178 85s 6726 119 infeasible 31 - 0.00000 - 179 90s 7084 125 infeasible 31 - 0.00000 - 180 95s 7522 157 0.00000 27 316 - 0.00000 - 180 100s 7934 135 0.00000 33 314 - 0.00000 - 180 105s 8376 115 infeasible 30 - 0.00000 - 180 110s 8770 115 0.00000 30 308 - 0.00000 - 181 115s 9193 108 0.00000 26 383 - 0.00000 - 181 120s 9620 111 0.00000 32 286 - 0.00000 - 181 125s 10033 96 infeasible 29 - 0.00000 - 182 130s 10458 153 infeasible 33 - 0.00000 - 182 135s 10853 158 0.00000 37 300 - 0.00000 - 183 140s 11284 169 infeasible 33 - 0.00000 - 183 145s 11708 139 0.00000 38 300 - 0.00000 - 184 150s 12140 151 infeasible 33 - 0.00000 - 184 155s 12560 153 0.00000 31 322 - 0.00000 - 184 160s 13049 150 infeasible 33 - 0.00000 - 184 165s 13487 182 0.00000 29 300 - 0.00000 - 184 170s 13963 184 0.00000 31 282 - 0.00000 - 183 175s 14404 157 infeasible 33 - 0.00000 - 184 180s 14819 224 infeasible 30 - 0.00000 - 184 185s 15274 245 infeasible 34 - 0.00000 - 184 190s 15698 249 0.00000 31 338 - 0.00000 - 184 195s 16132 247 0.00000 30 320 - 0.00000 - 184 200s 16582 207 infeasible 35 - 0.00000 - 184 205s 17011 204 infeasible 31 - 0.00000 - 185 210s 17414 205 infeasible 32 - 0.00000 - 185 215s 17822 199 0.00000 32 315 - 0.00000 - 185 220s 18208 201 infeasible 36 - 0.00000 - 186 225s 18600 207 infeasible 34 - 0.00000 - 186 230s 18980 177 infeasible 34 - 0.00000 - 187 235s 19425 198 infeasible 29 - 0.00000 - 186 240s 19827 206 infeasible 30 - 0.00000 - 187 245s 20225 216 infeasible 28 - 0.00000 - 187 250s 20618 229 infeasible 30 - 0.00000 - 187 255s 20967 232 0.00000 31 300 - 0.00000 - 188 260s 21366 241 infeasible 32 - 0.00000 - 188 265s 21752 233 infeasible 31 - 0.00000 - 188 270s 22097 236 infeasible 30 - 0.00000 - 189 275s 22486 239 infeasible 31 - 0.00000 - 189 280s 22865 226 0.00000 32 363 - 0.00000 - 189 285s 23240 227 0.00000 34 320 - 0.00000 - 189 290s 23690 219 0.00000 29 290 - 0.00000 - 189 295s Cutting planes: Gomory: 1 Zero half: 5 Explored 23695 nodes (4538804 simplex iterations) in 295.06 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: 5