current bounds on the number of colors: 0 -- 130 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:27:26 2012 Optimize a model with 56420 rows, 9316 columns and 177320 nonzeros Presolve time: 0.18s Presolved: 56420 rows, 9316 columns, 177320 nonzeros Variable types: 0 continuous, 9316 integer (9316 binary) Root relaxation: objective 0.000000e+00, 348 iterations, 0.06 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 (632 simplex iterations) in 0.32 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 -- 65 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:27:27 2012 Optimize a model with 27842 rows, 5026 columns and 87296 nonzeros Presolve time: 0.13s Presolved: 27842 rows, 5026 columns, 87296 nonzeros Variable types: 0 continuous, 5026 integer (5026 binary) Root relaxation: objective 0.000000e+00, 309 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 (668 simplex iterations) in 0.20 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:27:28 2012 Optimize a model with 13986 rows, 2946 columns and 43648 nonzeros Presolve time: 0.05s Presolved: 13986 rows, 2946 columns, 43648 nonzeros Variable types: 0 continuous, 2946 integer (2946 binary) Root relaxation: objective 0.000000e+00, 267 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 (515 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:27:28 2012 Optimize a model with 7058 rows, 1906 columns and 21824 nonzeros Presolve time: 0.02s Presolved: 7058 rows, 1906 columns, 21824 nonzeros Variable types: 0 continuous, 1906 integer (1906 binary) Root relaxation: objective 0.000000e+00, 272 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 (684 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 02:27:28 2012 Optimize a model with 3594 rows, 1386 columns and 10912 nonzeros Presolve time: 0.01s Presolved: 3594 rows, 1386 columns, 10912 nonzeros Variable types: 0 continuous, 1386 integer (1386 binary) Root relaxation: objective 0.000000e+00, 274 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 200 - 0.00000 - - 0s 0 0 0.00000 0 200 - 0.00000 - - 0s 0 0 0.00000 0 410 - 0.00000 - - 1s 0 0 0.00000 0 402 - 0.00000 - - 1s 0 0 0.00000 0 419 - 0.00000 - - 1s 0 0 0.00000 0 412 - 0.00000 - - 2s 0 0 0.00000 0 405 - 0.00000 - - 3s 0 0 0.00000 0 393 - 0.00000 - - 4s 0 0 0.00000 0 391 - 0.00000 - - 5s 0 0 0.00000 0 382 - 0.00000 - - 7s 0 0 0.00000 0 378 - 0.00000 - - 8s 0 0 0.00000 0 391 - 0.00000 - - 9s 0 0 0.00000 0 387 - 0.00000 - - 9s 0 0 0.00000 0 381 - 0.00000 - - 10s 0 0 0.00000 0 391 - 0.00000 - - 11s 0 0 0.00000 0 381 - 0.00000 - - 12s 0 0 0.00000 0 380 - 0.00000 - - 13s 0 0 0.00000 0 377 - 0.00000 - - 14s 0 0 0.00000 0 391 - 0.00000 - - 14s 0 0 0.00000 0 391 - 0.00000 - - 15s 0 2 0.00000 0 391 - 0.00000 - - 16s Cutting planes: Clique: 24 Zero half: 32 Explored 25 nodes (66003 simplex iterations) in 16.87 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 02:27:45 2012 Optimize a model with 5326 rows, 1646 columns and 16368 nonzeros Presolve time: 0.01s Presolved: 5326 rows, 1646 columns, 16368 nonzeros Variable types: 0 continuous, 1646 integer (1646 binary) Root relaxation: objective 0.000000e+00, 267 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 112 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 1 Clique: 18 MIR: 2 Zero half: 49 Explored 0 nodes (3337 simplex iterations) in 0.23 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 02:27:45 2012 Optimize a model with 4460 rows, 1516 columns and 13640 nonzeros Presolve time: 0.01s Presolved: 4460 rows, 1516 columns, 13640 nonzeros Variable types: 0 continuous, 1516 integer (1516 binary) Root relaxation: objective 0.000000e+00, 267 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 258 - 0.00000 - - 0s 0 0 0.00000 0 242 - 0.00000 - - 0s 0 0 0.00000 0 349 - 0.00000 - - 1s 0 0 0.00000 0 344 - 0.00000 - - 1s 0 0 0.00000 0 371 - 0.00000 - - 1s 0 0 0.00000 0 261 - 0.00000 - - 2s 0 0 0.00000 0 361 - 0.00000 - - 2s 0 0 0.00000 0 362 - 0.00000 - - 3s 0 0 0.00000 0 363 - 0.00000 - - 4s 0 0 0.00000 0 363 - 0.00000 - - 4s 0 2 0.00000 0 363 - 0.00000 - - 5s 385 149 0.00000 28 284 - 0.00000 - 144 10s 605 198 0.00000 21 304 - 0.00000 - 132 15s 609 200 0.00000 17 309 - 0.00000 - 131 21s 612 202 0.00000 4 294 - 0.00000 - 131 25s 617 206 0.00000 28 296 - 0.00000 - 129 30s 851 200 0.00000 38 255 - 0.00000 - 201 35s 1107 126 0.00000 32 252 - 0.00000 - 209 40s 1345 81 infeasible 35 - 0.00000 - 217 45s 1590 84 0.00000 20 317 - 0.00000 - 221 50s 1845 113 infeasible 36 - 0.00000 - 223 55s 2130 140 0.00000 28 222 - 0.00000 - 222 60s 2393 139 infeasible 28 - 0.00000 - 222 65s 2639 187 infeasible 36 - 0.00000 - 224 70s 2872 210 infeasible 36 - 0.00000 - 228 75s 3103 223 0.00000 32 289 - 0.00000 - 230 80s 3343 239 0.00000 29 282 - 0.00000 - 231 85s 3552 240 infeasible 36 - 0.00000 - 235 90s 3811 257 infeasible 35 - 0.00000 - 235 95s 4058 248 0.00000 31 286 - 0.00000 - 236 100s 4295 277 0.00000 40 288 - 0.00000 - 236 105s 4516 282 0.00000 32 226 - 0.00000 - 238 110s 4737 281 0.00000 39 296 - 0.00000 - 239 115s 4965 285 infeasible 37 - 0.00000 - 240 120s 5241 283 infeasible 32 - 0.00000 - 240 125s 5451 277 infeasible 34 - 0.00000 - 241 130s 5668 276 0.00000 33 284 - 0.00000 - 242 135s 5903 269 infeasible 38 - 0.00000 - 243 140s 6134 272 infeasible 39 - 0.00000 - 244 145s 6365 275 infeasible 36 - 0.00000 - 244 150s 6594 278 infeasible 33 - 0.00000 - 245 155s 6806 272 infeasible 29 - 0.00000 - 246 160s 7036 270 infeasible 35 - 0.00000 - 247 165s 7250 274 infeasible 35 - 0.00000 - 247 170s 7485 295 infeasible 36 - 0.00000 - 248 175s 7715 295 infeasible 35 - 0.00000 - 248 180s 7920 288 0.00000 28 295 - 0.00000 - 249 185s 8114 288 infeasible 34 - 0.00000 - 250 190s 8317 291 infeasible 32 - 0.00000 - 251 195s 8526 296 0.00000 33 290 - 0.00000 - 252 200s 8795 303 0.00000 32 284 - 0.00000 - 251 205s 9017 293 0.00000 27 303 - 0.00000 - 252 210s 9246 288 0.00000 30 278 - 0.00000 - 252 215s 9538 304 infeasible 39 - 0.00000 - 251 220s 9780 292 infeasible 32 - 0.00000 - 251 225s 10085 295 infeasible 36 - 0.00000 - 250 230s 10328 280 0.00000 33 234 - 0.00000 - 250 235s 10552 270 0.00000 36 294 - 0.00000 - 250 240s 10758 268 0.00000 36 295 - 0.00000 - 251 245s 10967 255 0.00000 34 284 - 0.00000 - 252 250s 11186 254 infeasible 36 - 0.00000 - 252 255s 11384 246 infeasible 39 - 0.00000 - 252 260s 11622 244 infeasible 37 - 0.00000 - 252 265s 11840 238 infeasible 37 - 0.00000 - 253 270s 12064 244 0.00000 34 283 - 0.00000 - 253 275s Cutting planes: Clique: 4 Zero half: 13 Explored 12258 nodes (3132886 simplex iterations) in 279.63 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