current bounds on the number of colors: 0 -- 135 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:41:04 2012 Optimize a model with 60971 rows, 9953 columns and 191553 nonzeros Presolve time: 0.18s Presolved: 60971 rows, 9953 columns, 191553 nonzeros Variable types: 0 continuous, 9953 integer (9953 binary) Root relaxation: objective 0.000000e+00, 335 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 (640 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 06:41:05 2012 Optimize a model with 30099 rows, 5363 columns and 94347 nonzeros Presolve time: 0.14s Presolved: 30099 rows, 5363 columns, 94347 nonzeros Variable types: 0 continuous, 5363 integer (5363 binary) Root relaxation: objective 0.000000e+00, 330 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 (662 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 06:41:05 2012 Optimize a model with 14663 rows, 3068 columns and 45744 nonzeros Presolve time: 0.05s Presolved: 14663 rows, 3068 columns, 45744 nonzeros Variable types: 0 continuous, 3068 integer (3068 binary) Root relaxation: objective 0.000000e+00, 271 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 (573 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 06:41:05 2012 Optimize a model with 7399 rows, 1988 columns and 22872 nonzeros Presolve time: 0.02s Presolved: 7399 rows, 1988 columns, 22872 nonzeros Variable types: 0 continuous, 1988 integer (1988 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 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1345 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:41:06 2012 Optimize a model with 3767 rows, 1448 columns and 11436 nonzeros Presolve time: 0.01s Presolved: 3767 rows, 1448 columns, 11436 nonzeros Variable types: 0 continuous, 1448 integer (1448 binary) Root relaxation: objective 0.000000e+00, 289 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 270 - 0.00000 - - 0s 0 0 0.00000 0 270 - 0.00000 - - 0s 0 0 0.00000 0 411 - 0.00000 - - 1s 0 0 0.00000 0 401 - 0.00000 - - 2s 0 0 0.00000 0 412 - 0.00000 - - 2s 0 0 0.00000 0 402 - 0.00000 - - 3s 0 0 0.00000 0 399 - 0.00000 - - 4s 0 0 0.00000 0 396 - 0.00000 - - 5s 0 0 0.00000 0 394 - 0.00000 - - 6s 0 0 0.00000 0 416 - 0.00000 - - 6s 0 0 0.00000 0 404 - 0.00000 - - 7s 0 0 0.00000 0 398 - 0.00000 - - 8s 0 0 0.00000 0 396 - 0.00000 - - 10s 0 0 0.00000 0 407 - 0.00000 - - 10s 0 0 0.00000 0 404 - 0.00000 - - 11s 0 0 0.00000 0 405 - 0.00000 - - 11s 0 0 0.00000 0 405 - 0.00000 - - 12s 0 2 0.00000 0 405 - 0.00000 - - 13s Cutting planes: Clique: 8 Zero half: 23 Explored 15 nodes (57831 simplex iterations) in 14.13 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 06:41:20 2012 Optimize a model with 5583 rows, 1718 columns and 17154 nonzeros Presolve time: 0.02s Presolved: 5583 rows, 1718 columns, 17154 nonzeros Variable types: 0 continuous, 1718 integer (1718 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 H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1552 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 06:41:20 2012 Optimize a model with 4675 rows, 1583 columns and 14295 nonzeros Presolve time: 0.01s Presolved: 4675 rows, 1583 columns, 14295 nonzeros Variable types: 0 continuous, 1583 integer (1583 binary) Root relaxation: objective 0.000000e+00, 283 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 264 - 0.00000 - - 0s 0 0 0.00000 0 262 - 0.00000 - - 0s 0 0 0.00000 0 357 - 0.00000 - - 1s 0 0 0.00000 0 347 - 0.00000 - - 1s 0 0 0.00000 0 353 - 0.00000 - - 1s 0 0 0.00000 0 328 - 0.00000 - - 2s 0 0 0.00000 0 345 - 0.00000 - - 2s 0 0 0.00000 0 324 - 0.00000 - - 3s 0 0 0.00000 0 342 - 0.00000 - - 4s 0 0 0.00000 0 342 - 0.00000 - - 4s 0 2 0.00000 0 342 - 0.00000 - - 5s 484 141 0.00000 27 224 - 0.00000 - 129 10s 608 178 0.00000 34 344 - 0.00000 - 124 16s 610 179 0.00000 21 346 - 0.00000 - 124 20s 614 182 0.00000 22 343 - 0.00000 - 123 26s 616 183 0.00000 33 330 - 0.00000 - 123 30s 691 185 0.00000 35 279 - 0.00000 - 185 35s 880 145 infeasible 37 - 0.00000 - 206 40s 1055 74 infeasible 35 - 0.00000 - 225 45s 1226 31 infeasible 39 - 0.00000 - 240 50s 1406 47 0.00000 30 284 - 0.00000 - 248 55s 1613 80 0.00000 42 232 - 0.00000 - 251 60s 1797 66 0.00000 36 306 - 0.00000 - 256 65s 1989 75 infeasible 30 - 0.00000 - 259 70s 2207 79 infeasible 29 - 0.00000 - 261 75s 2412 70 infeasible 33 - 0.00000 - 262 80s 2608 64 0.00000 32 327 - 0.00000 - 264 85s 2833 75 0.00000 38 243 - 0.00000 - 263 90s 3035 113 infeasible 35 - 0.00000 - 264 95s 3250 102 infeasible 30 - 0.00000 - 264 100s 3420 92 0.00000 38 224 - 0.00000 - 267 105s 3617 105 infeasible 40 - 0.00000 - 268 110s 3827 105 0.00000 32 275 - 0.00000 - 268 115s 4068 114 infeasible 39 - 0.00000 - 266 120s 4268 108 infeasible 35 - 0.00000 - 267 125s 4450 98 infeasible 33 - 0.00000 - 268 130s 4655 107 0.00000 28 319 - 0.00000 - 268 135s 4879 113 0.00000 36 289 - 0.00000 - 267 140s 5097 107 infeasible 34 - 0.00000 - 267 145s 5323 131 infeasible 33 - 0.00000 - 266 150s 5562 114 infeasible 33 - 0.00000 - 266 155s 5750 112 0.00000 37 296 - 0.00000 - 266 160s 5941 107 0.00000 35 240 - 0.00000 - 268 165s 6171 107 infeasible 35 - 0.00000 - 267 170s 6368 96 infeasible 37 - 0.00000 - 268 175s 6573 119 0.00000 51 293 - 0.00000 - 268 180s 6757 103 0.00000 30 322 - 0.00000 - 268 185s 6950 98 infeasible 35 - 0.00000 - 269 190s 7145 127 0.00000 30 255 - 0.00000 - 269 195s 7358 150 infeasible 35 - 0.00000 - 269 200s 7544 114 infeasible 34 - 0.00000 - 270 205s 7752 112 infeasible 34 - 0.00000 - 270 210s 7942 102 0.00000 35 234 - 0.00000 - 270 215s 8128 106 0.00000 39 319 - 0.00000 - 271 220s 8360 96 infeasible 33 - 0.00000 - 270 225s 8520 104 0.00000 31 291 - 0.00000 - 271 230s 8710 94 infeasible 33 - 0.00000 - 271 235s 8910 114 0.00000 33 325 - 0.00000 - 272 240s 9129 167 0.00000 33 300 - 0.00000 - 271 245s 9337 223 0.00000 33 293 - 0.00000 - 271 250s 9557 255 infeasible 37 - 0.00000 - 271 255s 9760 240 0.00000 30 289 - 0.00000 - 271 260s 9998 280 0.00000 37 292 - 0.00000 - 270 265s 10211 257 infeasible 36 - 0.00000 - 270 270s 10413 233 0.00000 38 302 - 0.00000 - 271 275s 10607 221 infeasible 33 - 0.00000 - 271 280s Cutting planes: Clique: 4 Zero half: 14 Explored 10703 nodes (2926764 simplex iterations) in 282.24 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