current bounds on the number of colors: 0 -- 141 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:31:18 2012 Optimize a model with 68391 rows, 10845 columns and 214620 nonzeros Presolve time: 0.21s Presolved: 68391 rows, 10845 columns, 214620 nonzeros Variable types: 0 continuous, 10845 integer (10845 binary) Root relaxation: objective 0.000000e+00, 339 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 (660 simplex iterations) in 0.37 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 -- 70 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:31:20 2012 Optimize a model with 34266 rows, 5910 columns and 107310 nonzeros Presolve time: 0.16s Presolved: 34266 rows, 5910 columns, 107310 nonzeros Variable types: 0 continuous, 5910 integer (5910 binary) Root relaxation: objective 0.000000e+00, 416 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 (775 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:31:20 2012 Optimize a model with 16716 rows, 3372 columns and 52122 nonzeros Presolve time: 0.06s Presolved: 16716 rows, 3372 columns, 52122 nonzeros Variable types: 0 continuous, 3372 integer (3372 binary) Root relaxation: objective 0.000000e+00, 287 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 (587 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:31:21 2012 Optimize a model with 7941 rows, 2103 columns and 24528 nonzeros Presolve time: 0.02s Presolved: 7941 rows, 2103 columns, 24528 nonzeros Variable types: 0 continuous, 2103 integer (2103 binary) Root relaxation: objective 0.000000e+00, 296 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 (905 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:31:21 2012 Optimize a model with 4041 rows, 1539 columns and 12264 nonzeros Presolve time: 0.01s Presolved: 4041 rows, 1539 columns, 12264 nonzeros Variable types: 0 continuous, 1539 integer (1539 binary) Root relaxation: objective 0.000000e+00, 307 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 282 - 0.00000 - - 0s 0 0 0.00000 0 276 - 0.00000 - - 0s 0 0 0.00000 0 427 - 0.00000 - - 1s 0 0 0.00000 0 422 - 0.00000 - - 2s 0 0 0.00000 0 406 - 0.00000 - - 2s 0 0 0.00000 0 406 - 0.00000 - - 2s 0 0 0.00000 0 405 - 0.00000 - - 4s 0 0 0.00000 0 415 - 0.00000 - - 4s 0 0 0.00000 0 416 - 0.00000 - - 6s 0 0 0.00000 0 411 - 0.00000 - - 7s 0 0 0.00000 0 407 - 0.00000 - - 8s 0 0 0.00000 0 424 - 0.00000 - - 8s 0 0 0.00000 0 424 - 0.00000 - - 9s 0 2 0.00000 0 424 - 0.00000 - - 10s Cutting planes: Clique: 27 Zero half: 25 Explored 23 nodes (47344 simplex iterations) in 11.50 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 11:31:32 2012 Optimize a model with 5991 rows, 1821 columns and 18396 nonzeros Presolve time: 0.02s Presolved: 5991 rows, 1821 columns, 18396 nonzeros Variable types: 0 continuous, 1821 integer (1821 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 250 - 0.00000 - - 0s 0 0 0.00000 0 242 - 0.00000 - - 1s * 0 0 0 0.0000000 0.00000 0.0% - 1s Explored 0 nodes (13288 simplex iterations) in 1.88 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 11:31:34 2012 Optimize a model with 5016 rows, 1680 columns and 15330 nonzeros Presolve time: 0.01s Presolved: 5016 rows, 1680 columns, 15330 nonzeros Variable types: 0 continuous, 1680 integer (1680 binary) Root relaxation: objective 0.000000e+00, 300 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 276 - 0.00000 - - 0s 0 0 0.00000 0 264 - 0.00000 - - 0s 0 0 0.00000 0 268 - 0.00000 - - 1s 0 0 0.00000 0 408 - 0.00000 - - 1s 0 0 0.00000 0 330 - 0.00000 - - 2s 0 0 0.00000 0 323 - 0.00000 - - 3s 0 0 0.00000 0 372 - 0.00000 - - 3s 0 0 0.00000 0 330 - 0.00000 - - 4s 0 0 0.00000 0 357 - 0.00000 - - 5s 0 0 0.00000 0 357 - 0.00000 - - 5s 0 2 0.00000 0 357 - 0.00000 - - 6s 282 41 0.00000 28 236 - 0.00000 - 138 10s 732 53 0.00000 17 297 - 0.00000 - 135 15s 1009 71 0.00000 13 364 - 0.00000 - 134 20s 1012 73 0.00000 16 297 - 0.00000 - 133 26s 1015 75 0.00000 20 327 - 0.00000 - 133 32s 1017 76 0.00000 2 312 - 0.00000 - 133 36s 1051 95 0.00000 27 328 - 0.00000 - 186 40s 1221 76 0.00000 26 293 - 0.00000 - 201 45s 1415 119 0.00000 30 308 - 0.00000 - 210 50s 1588 140 0.00000 32 314 - 0.00000 - 220 55s 1770 144 0.00000 25 324 - 0.00000 - 228 60s 1951 155 0.00000 32 313 - 0.00000 - 234 65s 2131 161 infeasible 30 - 0.00000 - 239 70s 2284 154 infeasible 35 - 0.00000 - 246 75s 2454 160 0.00000 25 333 - 0.00000 - 250 80s 2628 184 0.00000 32 325 - 0.00000 - 254 85s 2785 191 infeasible 28 - 0.00000 - 258 90s 2950 178 infeasible 28 - 0.00000 - 262 95s 3121 169 0.00000 29 277 - 0.00000 - 264 100s 3300 174 infeasible 39 - 0.00000 - 266 105s 3454 174 0.00000 29 228 - 0.00000 - 268 110s 3626 178 infeasible 34 - 0.00000 - 270 115s 3790 188 infeasible 29 - 0.00000 - 272 120s 3937 227 0.00000 32 271 - 0.00000 - 274 125s 4117 281 infeasible 34 - 0.00000 - 274 130s 4299 311 0.00000 34 244 - 0.00000 - 274 135s 4462 312 0.00000 34 316 - 0.00000 - 276 140s 4609 307 0.00000 25 316 - 0.00000 - 278 145s 4775 343 0.00000 36 274 - 0.00000 - 278 150s 4914 342 infeasible 30 - 0.00000 - 281 155s 5074 352 infeasible 33 - 0.00000 - 282 160s 5257 355 infeasible 32 - 0.00000 - 282 165s 5406 384 infeasible 41 - 0.00000 - 284 170s 5561 387 infeasible 34 - 0.00000 - 285 175s 5717 383 0.00000 32 250 - 0.00000 - 286 180s 5877 389 infeasible 29 - 0.00000 - 287 185s 6039 399 infeasible 29 - 0.00000 - 287 190s 6210 418 infeasible 33 - 0.00000 - 288 195s 6390 410 infeasible 33 - 0.00000 - 288 200s 6559 427 infeasible 29 - 0.00000 - 288 205s 6693 423 0.00000 34 303 - 0.00000 - 290 210s 6844 416 infeasible 30 - 0.00000 - 291 215s 7006 410 infeasible 34 - 0.00000 - 291 220s 7206 420 0.00000 34 245 - 0.00000 - 291 225s 7383 419 infeasible 30 - 0.00000 - 291 230s 7548 424 0.00000 32 275 - 0.00000 - 292 235s 7727 423 0.00000 32 309 - 0.00000 - 292 240s 7913 413 0.00000 37 299 - 0.00000 - 291 245s 8077 411 infeasible 36 - 0.00000 - 292 250s 8263 415 infeasible 36 - 0.00000 - 292 255s 8451 417 infeasible 34 - 0.00000 - 292 260s 8599 405 infeasible 33 - 0.00000 - 293 265s 8755 411 0.00000 35 313 - 0.00000 - 293 270s 8918 414 0.00000 29 328 - 0.00000 - 294 275s 9085 417 infeasible 33 - 0.00000 - 294 280s Cutting planes: Gomory: 1 Clique: 3 Zero half: 22 Explored 9193 nodes (2735109 simplex iterations) in 282.67 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