current bounds on the number of colors: 0 -- 133 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:57:15 2012 Optimize a model with 57289 rows, 9644 columns and 180246 nonzeros Presolve time: 0.18s Presolved: 57289 rows, 9644 columns, 180246 nonzeros Variable types: 0 continuous, 9644 integer (9644 binary) Root relaxation: objective 0.000000e+00, 319 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 (626 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:57:16 2012 Optimize a model with 28711 rows, 5255 columns and 90123 nonzeros Presolve time: 0.13s Presolved: 28711 rows, 5255 columns, 90123 nonzeros Variable types: 0 continuous, 5255 integer (5255 binary) Root relaxation: objective 0.000000e+00, 318 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 (689 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 -- 33 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:57:17 2012 Optimize a model with 13989 rows, 2994 columns and 43696 nonzeros Presolve time: 0.05s Presolved: 13989 rows, 2994 columns, 43696 nonzeros Variable types: 0 continuous, 2994 integer (2994 binary) Root relaxation: objective 0.000000e+00, 293 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 (588 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:57:17 2012 Optimize a model with 7061 rows, 1930 columns and 21848 nonzeros Presolve time: 0.02s Presolved: 7061 rows, 1930 columns, 21848 nonzeros Variable types: 0 continuous, 1930 integer (1930 binary) Root relaxation: objective 0.000000e+00, 275 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 (1020 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 04:57:17 2012 Optimize a model with 3597 rows, 1398 columns and 10924 nonzeros Presolve time: 0.01s Presolved: 3597 rows, 1398 columns, 10924 nonzeros Variable types: 0 continuous, 1398 integer (1398 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 202 - 0.00000 - - 0s 0 0 0.00000 0 170 - 0.00000 - - 0s 0 0 0.00000 0 404 - 0.00000 - - 1s 0 0 0.00000 0 407 - 0.00000 - - 2s 0 0 0.00000 0 400 - 0.00000 - - 3s 0 0 0.00000 0 396 - 0.00000 - - 5s 0 0 0.00000 0 395 - 0.00000 - - 6s 0 0 0.00000 0 400 - 0.00000 - - 6s 0 0 0.00000 0 395 - 0.00000 - - 8s 0 0 0.00000 0 390 - 0.00000 - - 9s 0 0 0.00000 0 389 - 0.00000 - - 10s 0 0 0.00000 0 383 - 0.00000 - - 11s 0 0 0.00000 0 384 - 0.00000 - - 12s 0 0 0.00000 0 384 - 0.00000 - - 12s 0 2 0.00000 0 384 - 0.00000 - - 13s Cutting planes: Clique: 20 Zero half: 17 Explored 15 nodes (53300 simplex iterations) in 14.34 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:57:32 2012 Optimize a model with 5329 rows, 1664 columns and 16386 nonzeros Presolve time: 0.01s Presolved: 5329 rows, 1664 columns, 16386 nonzeros Variable types: 0 continuous, 1664 integer (1664 binary) Root relaxation: objective 0.000000e+00, 288 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 135 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2546 simplex iterations) in 0.16 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:57:32 2012 Optimize a model with 4463 rows, 1531 columns and 13655 nonzeros Presolve time: 0.01s Presolved: 4463 rows, 1531 columns, 13655 nonzeros Variable types: 0 continuous, 1531 integer (1531 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 250 - 0.00000 - - 0s 0 0 0.00000 0 244 - 0.00000 - - 0s 0 0 0.00000 0 285 - 0.00000 - - 1s 0 0 0.00000 0 367 - 0.00000 - - 1s 0 0 0.00000 0 324 - 0.00000 - - 2s 0 0 0.00000 0 308 - 0.00000 - - 3s 0 0 0.00000 0 302 - 0.00000 - - 3s 0 0 0.00000 0 298 - 0.00000 - - 4s 0 0 0.00000 0 293 - 0.00000 - - 5s 0 0 0.00000 0 293 - 0.00000 - - 5s 0 0 0.00000 0 282 - 0.00000 - - 6s 0 0 0.00000 0 288 - 0.00000 - - 7s 0 0 0.00000 0 279 - 0.00000 - - 8s 0 0 0.00000 0 254 - 0.00000 - - 8s 0 0 0.00000 0 252 - 0.00000 - - 9s 0 0 0.00000 0 250 - 0.00000 - - 9s 0 0 0.00000 0 255 - 0.00000 - - 10s 0 0 0.00000 0 242 - 0.00000 - - 11s 0 2 0.00000 0 242 - 0.00000 - - 11s 291 61 infeasible 24 - 0.00000 - 121 15s 704 117 0.00000 14 357 - 0.00000 - 114 20s 707 119 0.00000 19 333 - 0.00000 - 114 25s 711 122 0.00000 10 224 - 0.00000 - 113 31s 751 140 infeasible 32 - 0.00000 - 175 35s 981 124 0.00000 38 286 - 0.00000 - 195 40s 1211 134 infeasible 37 - 0.00000 - 207 45s 1432 159 infeasible 32 - 0.00000 - 216 50s 1645 166 infeasible 36 - 0.00000 - 226 55s 1846 163 0.00000 32 273 - 0.00000 - 234 60s 2066 153 0.00000 35 285 - 0.00000 - 239 65s 2305 164 infeasible 31 - 0.00000 - 241 70s 2546 169 0.00000 32 273 - 0.00000 - 243 75s 2766 167 infeasible 29 - 0.00000 - 246 80s 2991 212 0.00000 32 283 - 0.00000 - 247 85s 3233 234 0.00000 33 279 - 0.00000 - 246 90s 3442 251 infeasible 36 - 0.00000 - 249 95s 3664 285 0.00000 33 283 - 0.00000 - 250 100s 3890 305 0.00000 32 247 - 0.00000 - 251 105s 4131 326 0.00000 30 216 - 0.00000 - 250 110s 4371 328 infeasible 31 - 0.00000 - 251 115s 4617 364 infeasible 34 - 0.00000 - 251 120s 4826 359 0.00000 39 277 - 0.00000 - 253 125s 5077 378 infeasible 33 - 0.00000 - 252 130s 5332 385 infeasible 39 - 0.00000 - 252 135s 5567 388 infeasible 31 - 0.00000 - 252 140s 5800 405 infeasible 40 - 0.00000 - 253 145s 6023 392 infeasible 37 - 0.00000 - 253 150s 6230 375 0.00000 32 320 - 0.00000 - 255 155s 6445 376 infeasible 33 - 0.00000 - 256 160s 6696 391 0.00000 33 287 - 0.00000 - 255 165s 6902 395 0.00000 35 313 - 0.00000 - 257 170s 7120 437 0.00000 34 302 - 0.00000 - 257 175s 7344 463 infeasible 37 - 0.00000 - 257 180s 7570 469 0.00000 34 282 - 0.00000 - 257 185s 7802 477 infeasible 37 - 0.00000 - 258 190s 8040 479 infeasible 38 - 0.00000 - 258 195s 8284 489 0.00000 38 247 - 0.00000 - 257 200s 8513 486 0.00000 38 288 - 0.00000 - 258 205s 8739 488 infeasible 35 - 0.00000 - 258 210s 8952 477 0.00000 29 265 - 0.00000 - 259 215s 9185 486 0.00000 28 286 - 0.00000 - 259 220s 9430 489 infeasible 31 - 0.00000 - 259 225s 9648 515 infeasible 39 - 0.00000 - 259 230s 9855 498 infeasible 32 - 0.00000 - 260 235s 10097 510 infeasible 35 - 0.00000 - 259 240s 10332 503 infeasible 33 - 0.00000 - 260 245s 10559 500 infeasible 32 - 0.00000 - 260 250s 10799 528 infeasible 39 - 0.00000 - 260 255s 11033 530 infeasible 35 - 0.00000 - 260 260s 11273 532 infeasible 33 - 0.00000 - 260 265s 11508 567 infeasible 31 - 0.00000 - 260 270s 11739 582 0.00000 33 288 - 0.00000 - 260 275s 11964 585 0.00000 36 294 - 0.00000 - 260 280s Cutting planes: Gomory: 1 Clique: 3 Zero half: 9 Explored 12048 nodes (3200072 simplex iterations) in 282.18 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