current bounds on the number of colors: 0 -- 133 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:42:15 2012 Optimize a model with 57685 rows, 9650 columns and 181434 nonzeros Presolve time: 0.18s Presolved: 57685 rows, 9650 columns, 181434 nonzeros Variable types: 0 continuous, 9650 integer (9650 binary) Root relaxation: objective 0.000000e+00, 328 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 (642 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 -- 66 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:42:16 2012 Optimize a model with 28909 rows, 5261 columns and 90717 nonzeros Presolve time: 0.13s Presolved: 28909 rows, 5261 columns, 90717 nonzeros Variable types: 0 continuous, 5261 integer (5261 binary) Root relaxation: objective 0.000000e+00, 319 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 (719 simplex iterations) in 0.22 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 04:42:17 2012 Optimize a model with 14085 rows, 3000 columns and 43984 nonzeros Presolve time: 0.05s Presolved: 14085 rows, 3000 columns, 43984 nonzeros Variable types: 0 continuous, 3000 integer (3000 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 (536 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 04:42:17 2012 Optimize a model with 7109 rows, 1936 columns and 21992 nonzeros Presolve time: 0.02s Presolved: 7109 rows, 1936 columns, 21992 nonzeros Variable types: 0 continuous, 1936 integer (1936 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 (640 simplex iterations) in 0.04 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 04:42:17 2012 Optimize a model with 3621 rows, 1404 columns and 10996 nonzeros Presolve time: 0.01s Presolved: 3621 rows, 1404 columns, 10996 nonzeros Variable types: 0 continuous, 1404 integer (1404 binary) Root relaxation: objective 0.000000e+00, 283 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 264 - 0.00000 - - 0s 0 0 0.00000 0 267 - 0.00000 - - 0s 0 0 0.00000 0 400 - 0.00000 - - 1s 0 0 0.00000 0 417 - 0.00000 - - 1s 0 0 0.00000 0 396 - 0.00000 - - 3s 0 0 0.00000 0 398 - 0.00000 - - 4s 0 0 0.00000 0 394 - 0.00000 - - 5s 0 0 0.00000 0 393 - 0.00000 - - 6s 0 0 0.00000 0 397 - 0.00000 - - 6s 0 0 0.00000 0 384 - 0.00000 - - 7s 0 0 0.00000 0 398 - 0.00000 - - 9s 0 0 0.00000 0 397 - 0.00000 - - 9s 0 2 0.00000 0 397 - 0.00000 - - 10s Cutting planes: Clique: 20 Zero half: 12 Explored 17 nodes (46303 simplex iterations) in 10.81 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 04:42:28 2012 Optimize a model with 5365 rows, 1670 columns and 16494 nonzeros Presolve time: 0.01s Presolved: 5365 rows, 1670 columns, 16494 nonzeros Variable types: 0 continuous, 1670 integer (1670 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.00000 0 248 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 2 Clique: 323 MIR: 4 Zero half: 390 Explored 0 nodes (4310 simplex iterations) in 0.44 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 04:42:29 2012 Optimize a model with 4493 rows, 1537 columns and 13745 nonzeros Presolve time: 0.01s Presolved: 4493 rows, 1537 columns, 13745 nonzeros Variable types: 0 continuous, 1537 integer (1537 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.00000 0 258 - 0.00000 - - 0s 0 0 0.00000 0 349 - 0.00000 - - 0s 0 0 0.00000 0 285 - 0.00000 - - 1s 0 0 0.00000 0 372 - 0.00000 - - 1s 0 0 0.00000 0 286 - 0.00000 - - 2s 0 0 0.00000 0 323 - 0.00000 - - 2s 0 0 0.00000 0 226 - 0.00000 - - 3s 0 0 0.00000 0 244 - 0.00000 - - 4s 0 0 0.00000 0 285 - 0.00000 - - 5s 0 0 0.00000 0 281 - 0.00000 - - 5s 0 2 0.00000 0 262 - 0.00000 - - 6s 374 90 0.00000 11 305 - 0.00000 - 126 10s 707 144 0.00000 20 272 - 0.00000 - 113 15s 711 146 0.00000 11 302 - 0.00000 - 112 21s 715 149 0.00000 23 286 - 0.00000 - 111 25s 782 164 0.00000 30 294 - 0.00000 - 170 30s 985 129 infeasible 35 - 0.00000 - 188 35s 1223 111 infeasible 29 - 0.00000 - 198 40s 1455 157 0.00000 25 305 - 0.00000 - 205 45s 1684 144 infeasible 26 - 0.00000 - 213 50s 1922 156 0.00000 33 311 - 0.00000 - 216 55s 2135 179 0.00000 30 299 - 0.00000 - 221 60s 2363 189 infeasible 33 - 0.00000 - 224 65s 2613 221 infeasible 27 - 0.00000 - 226 70s 2859 243 infeasible 33 - 0.00000 - 228 75s 3067 231 infeasible 28 - 0.00000 - 232 80s 3286 228 infeasible 34 - 0.00000 - 236 85s 3509 227 infeasible 30 - 0.00000 - 238 90s 3722 254 infeasible 34 - 0.00000 - 240 95s 3966 294 infeasible 29 - 0.00000 - 241 100s 4190 298 infeasible 33 - 0.00000 - 243 105s 4441 311 0.00000 27 232 - 0.00000 - 243 110s 4662 302 infeasible 40 - 0.00000 - 245 115s 4910 324 0.00000 24 310 - 0.00000 - 245 120s 5132 327 0.00000 38 290 - 0.00000 - 246 125s 5349 316 infeasible 27 - 0.00000 - 248 130s 5571 306 0.00000 27 301 - 0.00000 - 249 135s 5782 295 infeasible 33 - 0.00000 - 251 140s 6045 304 infeasible 35 - 0.00000 - 250 145s 6293 292 infeasible 33 - 0.00000 - 250 150s 6499 290 infeasible 34 - 0.00000 - 252 155s 6752 307 infeasible 30 - 0.00000 - 252 160s 6976 323 0.00000 38 220 - 0.00000 - 253 165s 7186 311 0.00000 27 277 - 0.00000 - 254 170s 7451 326 0.00000 28 295 - 0.00000 - 253 175s 7754 345 infeasible 31 - 0.00000 - 252 180s 8040 335 infeasible 33 - 0.00000 - 252 185s 8318 335 infeasible 32 - 0.00000 - 252 190s 8579 318 infeasible 30 - 0.00000 - 252 195s 8801 320 infeasible 30 - 0.00000 - 253 200s 9016 311 infeasible 31 - 0.00000 - 253 205s 9219 310 infeasible 30 - 0.00000 - 254 210s 9423 294 0.00000 30 275 - 0.00000 - 255 215s 9643 304 infeasible 37 - 0.00000 - 255 220s 9843 296 infeasible 30 - 0.00000 - 256 225s 10069 298 0.00000 30 304 - 0.00000 - 257 230s 10298 291 0.00000 29 218 - 0.00000 - 257 235s 10536 295 0.00000 32 237 - 0.00000 - 257 240s 10747 290 infeasible 36 - 0.00000 - 258 245s 10998 291 infeasible 33 - 0.00000 - 258 250s 11207 304 infeasible 27 - 0.00000 - 258 255s 11409 316 0.00000 25 299 - 0.00000 - 258 260s 11618 321 infeasible 31 - 0.00000 - 259 265s 11847 342 infeasible 31 - 0.00000 - 259 270s 12070 337 infeasible 28 - 0.00000 - 259 275s 12284 325 infeasible 31 - 0.00000 - 260 280s 12503 322 infeasible 38 - 0.00000 - 260 285s Cutting planes: Clique: 11 Zero half: 10 Explored 12525 nodes (3289094 simplex iterations) in 285.40 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