current bounds on the number of colors: 0 -- 134 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:17:16 2012 Optimize a model with 61171 rows, 9889 columns and 192089 nonzeros Presolve time: 0.18s Presolved: 61171 rows, 9889 columns, 192089 nonzeros Variable types: 0 continuous, 9889 integer (9889 binary) Root relaxation: objective 0.000000e+00, 321 iterations, 0.07 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 (643 simplex iterations) in 0.33 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 -- 67 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:17:17 2012 Optimize a model with 30197 rows, 5333 columns and 94611 nonzeros Presolve time: 0.14s Presolved: 30197 rows, 5333 columns, 94611 nonzeros Variable types: 0 continuous, 5333 integer (5333 binary) Root relaxation: objective 0.000000e+00, 398 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 (749 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 -- 33 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:17:17 2012 Optimize a model with 14710 rows, 3055 columns and 45872 nonzeros Presolve time: 0.05s Presolved: 14710 rows, 3055 columns, 45872 nonzeros Variable types: 0 continuous, 3055 integer (3055 binary) Root relaxation: objective 0.000000e+00, 270 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 (537 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:17:17 2012 Optimize a model with 7422 rows, 1983 columns and 22936 nonzeros Presolve time: 0.02s Presolved: 7422 rows, 1983 columns, 22936 nonzeros Variable types: 0 continuous, 1983 integer (1983 binary) Root relaxation: objective 0.000000e+00, 281 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 (1194 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:17:18 2012 Optimize a model with 3778 rows, 1447 columns and 11468 nonzeros Presolve time: 0.01s Presolved: 3778 rows, 1447 columns, 11468 nonzeros Variable types: 0 continuous, 1447 integer (1447 binary) Root relaxation: objective 0.000000e+00, 305 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 268 - 0.00000 - - 0s 0 0 0.00000 0 266 - 0.00000 - - 0s 0 0 0.00000 0 416 - 0.00000 - - 1s 0 0 0.00000 0 416 - 0.00000 - - 1s 0 0 0.00000 0 409 - 0.00000 - - 3s 0 0 0.00000 0 408 - 0.00000 - - 4s 0 0 0.00000 0 406 - 0.00000 - - 5s 0 0 0.00000 0 404 - 0.00000 - - 6s 0 0 0.00000 0 408 - 0.00000 - - 7s 0 0 0.00000 0 406 - 0.00000 - - 8s 0 0 0.00000 0 410 - 0.00000 - - 8s 0 0 0.00000 0 410 - 0.00000 - - 9s 0 2 0.00000 0 410 - 0.00000 - - 9s 2 3 0.00000 1 412 - 0.00000 - 1762 10s Cutting planes: Clique: 9 Zero half: 15 Explored 7 nodes (40222 simplex iterations) in 10.18 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 4 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:17:28 2012 Optimize a model with 5600 rows, 1715 columns and 17202 nonzeros Presolve time: 0.02s Presolved: 5600 rows, 1715 columns, 17202 nonzeros Variable types: 0 continuous, 1715 integer (1715 binary) Root relaxation: objective 0.000000e+00, 282 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 147 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 8 Clique: 40 MIR: 1 Zero half: 60 Explored 0 nodes (5499 simplex iterations) in 0.54 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 05:17:29 2012 Optimize a model with 4689 rows, 1581 columns and 14335 nonzeros Presolve time: 0.01s Presolved: 4689 rows, 1581 columns, 14335 nonzeros Variable types: 0 continuous, 1581 integer (1581 binary) Root relaxation: objective 0.000000e+00, 285 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 152 - 0.00000 - - 0s 0 0 0.00000 0 202 - 0.00000 - - 0s 0 0 0.00000 0 303 - 0.00000 - - 1s 0 0 0.00000 0 393 - 0.00000 - - 1s 0 0 0.00000 0 345 - 0.00000 - - 2s 0 0 0.00000 0 308 - 0.00000 - - 3s 0 0 0.00000 0 306 - 0.00000 - - 3s 0 0 0.00000 0 164 - 0.00000 - - 4s 0 0 0.00000 0 194 - 0.00000 - - 5s 0 0 0.00000 0 304 - 0.00000 - - 5s 0 0 0.00000 0 291 - 0.00000 - - 6s 0 0 0.00000 0 352 - 0.00000 - - 7s 0 0 0.00000 0 352 - 0.00000 - - 7s 0 2 0.00000 0 352 - 0.00000 - - 8s 138 34 0.00000 25 216 - 0.00000 - 150 10s 681 31 0.00000 15 290 - 0.00000 - 122 15s 708 41 0.00000 12 184 - 0.00000 - 122 21s 712 44 0.00000 21 258 - 0.00000 - 122 26s 716 47 0.00000 16 216 - 0.00000 - 121 30s 726 51 0.00000 17 321 - 0.00000 - 191 35s 842 63 0.00000 35 276 - 0.00000 - 201 40s 1058 79 infeasible 26 - 0.00000 - 214 45s 1270 89 infeasible 29 - 0.00000 - 223 50s 1509 96 infeasible 29 - 0.00000 - 228 55s 1703 110 infeasible 34 - 0.00000 - 233 60s 1890 105 infeasible 26 - 0.00000 - 241 65s 2106 157 infeasible 30 - 0.00000 - 241 70s 2299 194 infeasible 34 - 0.00000 - 244 75s 2501 220 0.00000 30 315 - 0.00000 - 246 80s 2704 241 infeasible 34 - 0.00000 - 248 85s 2946 265 infeasible 36 - 0.00000 - 248 90s 3198 243 0.00000 34 287 - 0.00000 - 248 95s 3386 225 infeasible 31 - 0.00000 - 252 100s 3595 228 infeasible 31 - 0.00000 - 254 105s 3819 224 infeasible 33 - 0.00000 - 255 110s 4017 222 infeasible 29 - 0.00000 - 256 115s 4189 250 0.00000 29 289 - 0.00000 - 259 120s 4373 266 infeasible 24 - 0.00000 - 261 125s 4573 272 infeasible 25 - 0.00000 - 263 130s 4771 282 infeasible 34 - 0.00000 - 264 135s 4977 288 infeasible 29 - 0.00000 - 265 140s 5179 294 infeasible 35 - 0.00000 - 266 145s 5370 289 infeasible 30 - 0.00000 - 267 150s 5574 283 infeasible 31 - 0.00000 - 268 155s 5780 289 infeasible 31 - 0.00000 - 269 160s 5974 289 0.00000 31 274 - 0.00000 - 270 165s 6176 303 infeasible 40 - 0.00000 - 270 170s 6413 320 infeasible 33 - 0.00000 - 270 175s 6608 305 0.00000 28 292 - 0.00000 - 271 180s 6810 317 0.00000 27 228 - 0.00000 - 272 185s 7014 319 infeasible 32 - 0.00000 - 272 190s 7191 318 0.00000 28 293 - 0.00000 - 273 195s 7386 335 0.00000 31 300 - 0.00000 - 274 200s 7585 334 infeasible 37 - 0.00000 - 274 205s 7772 325 infeasible 33 - 0.00000 - 275 210s 7957 330 0.00000 30 305 - 0.00000 - 276 215s 8149 336 infeasible 27 - 0.00000 - 276 220s 8325 342 0.00000 28 295 - 0.00000 - 277 225s 8521 352 0.00000 29 304 - 0.00000 - 278 230s 8721 340 0.00000 28 280 - 0.00000 - 278 235s 8912 349 infeasible 26 - 0.00000 - 279 240s 9112 345 infeasible 31 - 0.00000 - 279 245s 9290 337 0.00000 28 283 - 0.00000 - 280 250s 9479 336 0.00000 23 340 - 0.00000 - 280 255s 9673 336 infeasible 29 - 0.00000 - 280 260s 9852 335 0.00000 29 310 - 0.00000 - 281 265s 10048 335 infeasible 32 - 0.00000 - 281 270s 10234 353 0.00000 32 291 - 0.00000 - 282 275s 10406 335 infeasible 35 - 0.00000 - 282 280s 10597 328 infeasible 29 - 0.00000 - 283 285s Cutting planes: Clique: 1 Zero half: 11 Explored 10624 nodes (3052023 simplex iterations) in 285.72 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: 6