current bounds on the number of colors: 0 -- 131 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:56:49 2012 Optimize a model with 55056 rows, 9360 columns and 173290 nonzeros Presolve time: 0.17s Presolved: 55056 rows, 9360 columns, 173290 nonzeros Variable types: 0 continuous, 9360 integer (9360 binary) Root relaxation: objective 0.000000e+00, 351 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 (638 simplex iterations) in 0.30 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:56:49 2012 Optimize a model with 27171 rows, 5037 columns and 85312 nonzeros Presolve time: 0.12s Presolved: 27171 rows, 5037 columns, 85312 nonzeros Variable types: 0 continuous, 5037 integer (5037 binary) Root relaxation: objective 0.000000e+00, 323 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 (765 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:56:50 2012 Optimize a model with 13651 rows, 2941 columns and 42656 nonzeros Presolve time: 0.05s Presolved: 13651 rows, 2941 columns, 42656 nonzeros Variable types: 0 continuous, 2941 integer (2941 binary) Root relaxation: objective 0.000000e+00, 276 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 (549 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:56:50 2012 Optimize a model with 6891 rows, 1893 columns and 21328 nonzeros Presolve time: 0.02s Presolved: 6891 rows, 1893 columns, 21328 nonzeros Variable types: 0 continuous, 1893 integer (1893 binary) Root relaxation: objective 0.000000e+00, 278 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 (1031 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 02:56:50 2012 Optimize a model with 3511 rows, 1369 columns and 10664 nonzeros Presolve time: 0.01s Presolved: 3511 rows, 1369 columns, 10664 nonzeros Variable types: 0 continuous, 1369 integer (1369 binary) Root relaxation: objective 0.000000e+00, 299 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 262 - 0.00000 - - 0s 0 0 0.00000 0 250 - 0.00000 - - 0s 0 0 0.00000 0 415 - 0.00000 - - 1s 0 0 0.00000 0 409 - 0.00000 - - 1s 0 0 0.00000 0 407 - 0.00000 - - 1s 0 0 0.00000 0 401 - 0.00000 - - 2s 0 0 0.00000 0 400 - 0.00000 - - 2s 0 0 0.00000 0 398 - 0.00000 - - 2s 0 0 0.00000 0 401 - 0.00000 - - 2s 0 0 0.00000 0 385 - 0.00000 - - 4s 0 0 0.00000 0 383 - 0.00000 - - 5s 0 0 0.00000 0 377 - 0.00000 - - 6s 0 0 0.00000 0 377 - 0.00000 - - 6s 0 0 0.00000 0 390 - 0.00000 - - 7s 0 0 0.00000 0 380 - 0.00000 - - 8s 0 0 0.00000 0 381 - 0.00000 - - 8s 0 0 0.00000 0 380 - 0.00000 - - 9s 0 2 0.00000 0 379 - 0.00000 - - 9s 1 4 0.00000 1 383 - 0.00000 - 3117 10s Cutting planes: Clique: 27 Zero half: 36 Explored 27 nodes (46428 simplex iterations) in 10.93 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:57:01 2012 Optimize a model with 5201 rows, 1631 columns and 15996 nonzeros Presolve time: 0.01s Presolved: 5201 rows, 1631 columns, 15996 nonzeros Variable types: 0 continuous, 1631 integer (1631 binary) Root relaxation: objective 0.000000e+00, 284 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 246 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 2 Clique: 280 MIR: 8 Zero half: 341 Explored 0 nodes (3829 simplex iterations) in 0.38 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:57:02 2012 Optimize a model with 4356 rows, 1500 columns and 13330 nonzeros Presolve time: 0.01s Presolved: 4356 rows, 1500 columns, 13330 nonzeros Variable types: 0 continuous, 1500 integer (1500 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 258 - 0.00000 - - 0s 0 0 0.00000 0 351 - 0.00000 - - 0s 0 0 0.00000 0 214 - 0.00000 - - 1s 0 0 0.00000 0 356 - 0.00000 - - 1s 0 0 0.00000 0 297 - 0.00000 - - 2s 0 0 0.00000 0 302 - 0.00000 - - 2s 0 0 0.00000 0 315 - 0.00000 - - 3s 0 0 0.00000 0 323 - 0.00000 - - 4s 0 0 0.00000 0 323 - 0.00000 - - 4s 0 2 0.00000 0 323 - 0.00000 - - 5s 604 158 0.00000 12 339 - 0.00000 - 103 10s 609 161 0.00000 22 225 - 0.00000 - 102 15s 693 189 infeasible 36 - 0.00000 - 166 20s 974 101 infeasible 31 - 0.00000 - 187 25s 1235 64 infeasible 37 - 0.00000 - 201 30s 1535 82 infeasible 37 - 0.00000 - 204 35s 1789 82 0.00000 36 194 - 0.00000 - 212 40s 2025 70 infeasible 35 - 0.00000 - 219 45s 2287 144 0.00000 30 313 - 0.00000 - 220 50s 2516 159 infeasible 34 - 0.00000 - 225 55s 2820 165 infeasible 37 - 0.00000 - 224 60s 3070 177 0.00000 34 256 - 0.00000 - 226 65s 3358 183 0.00000 32 273 - 0.00000 - 227 70s 3617 170 0.00000 33 218 - 0.00000 - 229 75s 3863 160 infeasible 40 - 0.00000 - 231 80s 4152 195 0.00000 36 208 - 0.00000 - 231 85s 4431 212 0.00000 27 282 - 0.00000 - 231 90s 4698 230 infeasible 35 - 0.00000 - 232 95s 4962 258 infeasible 30 - 0.00000 - 233 100s 5221 251 infeasible 33 - 0.00000 - 234 105s 5509 253 infeasible 31 - 0.00000 - 234 110s 5801 267 infeasible 30 - 0.00000 - 233 115s 6073 259 infeasible 27 - 0.00000 - 234 120s 6362 260 0.00000 34 275 - 0.00000 - 233 125s 6648 262 0.00000 29 228 - 0.00000 - 234 130s 6927 273 0.00000 26 285 - 0.00000 - 234 135s 7214 286 0.00000 32 226 - 0.00000 - 234 140s 7511 279 0.00000 36 269 - 0.00000 - 234 145s 7757 265 0.00000 31 297 - 0.00000 - 235 150s 8003 267 0.00000 30 293 - 0.00000 - 236 155s 8309 341 0.00000 30 232 - 0.00000 - 235 160s 8627 339 infeasible 39 - 0.00000 - 234 165s 8910 338 0.00000 35 300 - 0.00000 - 234 170s 9177 365 0.00000 29 216 - 0.00000 - 234 175s 9428 382 0.00000 35 275 - 0.00000 - 235 180s 9681 383 infeasible 30 - 0.00000 - 236 185s 9957 419 0.00000 35 276 - 0.00000 - 235 190s 10210 410 infeasible 33 - 0.00000 - 236 195s 10524 432 0.00000 32 282 - 0.00000 - 235 200s 10836 436 infeasible 38 - 0.00000 - 235 205s 11158 448 0.00000 37 265 - 0.00000 - 234 210s 11474 460 infeasible 31 - 0.00000 - 234 215s 11764 464 infeasible 35 - 0.00000 - 234 220s 12007 459 infeasible 32 - 0.00000 - 235 225s 12299 467 infeasible 36 - 0.00000 - 235 230s 12579 477 infeasible 35 - 0.00000 - 235 235s 12834 504 infeasible 36 - 0.00000 - 235 240s 13119 507 infeasible 37 - 0.00000 - 235 245s 13402 514 0.00000 31 271 - 0.00000 - 236 250s 13660 510 infeasible 32 - 0.00000 - 236 255s 13905 525 infeasible 35 - 0.00000 - 236 260s 14187 521 0.00000 32 284 - 0.00000 - 237 265s 14436 520 0.00000 30 305 - 0.00000 - 237 270s 14713 517 infeasible 36 - 0.00000 - 237 275s 14965 513 0.00000 34 249 - 0.00000 - 238 280s 15258 516 infeasible 30 - 0.00000 - 237 285s Cutting planes: Clique: 7 Zero half: 7 Explored 15288 nodes (3658454 simplex iterations) in 285.45 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