current bounds on the number of colors: 0 -- 141 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:21:18 2012 Optimize a model with 66571 rows, 10819 columns and 209160 nonzeros Presolve time: 0.20s Presolved: 66571 rows, 10819 columns, 209160 nonzeros Variable types: 0 continuous, 10819 integer (10819 binary) Root relaxation: objective 0.000000e+00, 340 iterations, 0.08 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 (808 simplex iterations) in 0.41 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 -- 70 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:21:19 2012 Optimize a model with 33356 rows, 5884 columns and 104580 nonzeros Presolve time: 0.16s Presolved: 33356 rows, 5884 columns, 104580 nonzeros Variable types: 0 continuous, 5884 integer (5884 binary) Root relaxation: objective 0.000000e+00, 426 iterations, 0.04 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 (816 simplex iterations) in 0.24 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 -- 35 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:21:20 2012 Optimize a model with 16274 rows, 3346 columns and 50796 nonzeros Presolve time: 0.05s Presolved: 16274 rows, 3346 columns, 50796 nonzeros Variable types: 0 continuous, 3346 integer (3346 binary) Root relaxation: objective 0.000000e+00, 292 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 (586 simplex iterations) in 0.09 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 -- 17 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:21:20 2012 Optimize a model with 7733 rows, 2077 columns and 23904 nonzeros Presolve time: 0.02s Presolved: 7733 rows, 2077 columns, 23904 nonzeros Variable types: 0 continuous, 2077 integer (2077 binary) Root relaxation: objective 0.000000e+00, 294 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 (815 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 11:21:21 2012 Optimize a model with 3937 rows, 1513 columns and 11952 nonzeros Presolve time: 0.01s Presolved: 3937 rows, 1513 columns, 11952 nonzeros Variable types: 0 continuous, 1513 integer (1513 binary) Root relaxation: objective 0.000000e+00, 302 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 280 - 0.00000 - - 0s 0 0 0.00000 0 262 - 0.00000 - - 0s 0 0 0.00000 0 424 - 0.00000 - - 2s 0 0 0.00000 0 420 - 0.00000 - - 2s 0 0 0.00000 0 418 - 0.00000 - - 3s 0 0 0.00000 0 424 - 0.00000 - - 3s 0 0 0.00000 0 411 - 0.00000 - - 4s 0 0 0.00000 0 407 - 0.00000 - - 6s 0 0 0.00000 0 403 - 0.00000 - - 7s 0 0 0.00000 0 401 - 0.00000 - - 8s 0 0 0.00000 0 394 - 0.00000 - - 10s 0 0 0.00000 0 396 - 0.00000 - - 11s 0 0 0.00000 0 395 - 0.00000 - - 12s 0 0 0.00000 0 400 - 0.00000 - - 13s 0 0 0.00000 0 409 - 0.00000 - - 14s 0 0 0.00000 0 407 - 0.00000 - - 14s 0 2 0.00000 0 407 - 0.00000 - - 15s Cutting planes: Clique: 21 Zero half: 22 Explored 31 nodes (59713 simplex iterations) in 17.16 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 11:21:38 2012 Optimize a model with 5835 rows, 1795 columns and 17928 nonzeros Presolve time: 0.02s Presolved: 5835 rows, 1795 columns, 17928 nonzeros Variable types: 0 continuous, 1795 integer (1795 binary) Root relaxation: objective 0.000000e+00, 315 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 151 - 0.00000 - - 0s 0 0 0.00000 0 178 - 0.00000 - - 0s Cutting planes: Clique: 23 Explored 0 nodes (7399 simplex iterations) in 0.85 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 11:21:39 2012 Optimize a model with 4886 rows, 1654 columns and 14940 nonzeros Presolve time: 0.01s Presolved: 4886 rows, 1654 columns, 14940 nonzeros Variable types: 0 continuous, 1654 integer (1654 binary) Root relaxation: objective 0.000000e+00, 300 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 274 - 0.00000 - - 0s 0 0 0.00000 0 347 - 0.00000 - - 0s 0 0 0.00000 0 395 - 0.00000 - - 1s 0 0 0.00000 0 392 - 0.00000 - - 1s 0 0 0.00000 0 385 - 0.00000 - - 2s 0 0 0.00000 0 393 - 0.00000 - - 2s 0 0 0.00000 0 388 - 0.00000 - - 2s 0 0 0.00000 0 388 - 0.00000 - - 3s 0 0 0.00000 0 385 - 0.00000 - - 3s 0 0 0.00000 0 361 - 0.00000 - - 4s 0 0 0.00000 0 278 - 0.00000 - - 6s 0 0 0.00000 0 312 - 0.00000 - - 6s 0 0 0.00000 0 303 - 0.00000 - - 7s 0 0 0.00000 0 314 - 0.00000 - - 8s 0 0 0.00000 0 313 - 0.00000 - - 8s 0 2 0.00000 0 306 - 0.00000 - - 9s 3 3 0.00000 2 353 - 0.00000 - 1011 10s 495 26 0.00000 27 297 - 0.00000 - 125 15s 606 38 0.00000 6 383 - 0.00000 - 120 20s 608 40 0.00000 12 378 - 0.00000 - 119 25s 612 42 0.00000 6 375 - 0.00000 - 119 30s 614 44 0.00000 18 336 - 0.00000 - 118 35s 617 46 0.00000 6 336 - 0.00000 - 118 41s 620 48 0.00000 17 351 - 0.00000 - 117 45s 752 50 0.00000 32 308 - 0.00000 - 223 50s 942 77 0.00000 31 323 - 0.00000 - 233 55s 1132 107 infeasible 32 - 0.00000 - 241 60s 1303 98 infeasible 30 - 0.00000 - 251 65s 1493 110 infeasible 38 - 0.00000 - 256 70s 1707 108 0.00000 31 272 - 0.00000 - 257 75s 1878 99 infeasible 33 - 0.00000 - 261 80s 2064 97 infeasible 32 - 0.00000 - 264 85s 2227 90 infeasible 32 - 0.00000 - 269 90s 2439 100 infeasible 36 - 0.00000 - 269 95s 2625 102 0.00000 33 250 - 0.00000 - 270 100s 2817 106 0.00000 32 312 - 0.00000 - 272 105s 2990 99 infeasible 35 - 0.00000 - 274 110s 3175 114 0.00000 33 331 - 0.00000 - 275 115s 3353 124 infeasible 40 - 0.00000 - 276 120s 3520 129 infeasible 37 - 0.00000 - 278 125s 3673 118 0.00000 31 317 - 0.00000 - 280 130s 3864 135 infeasible 34 - 0.00000 - 281 135s 4031 134 infeasible 28 - 0.00000 - 283 140s 4209 146 infeasible 33 - 0.00000 - 283 145s 4442 145 infeasible 31 - 0.00000 - 282 150s 4664 153 0.00000 32 224 - 0.00000 - 281 155s 4860 145 infeasible 32 - 0.00000 - 281 160s 5033 142 0.00000 31 314 - 0.00000 - 282 165s 5213 164 infeasible 33 - 0.00000 - 282 170s 5392 163 infeasible 33 - 0.00000 - 283 175s 5612 169 infeasible 32 - 0.00000 - 282 180s 5805 166 0.00000 27 296 - 0.00000 - 283 185s 5981 178 0.00000 30 300 - 0.00000 - 283 190s 6167 174 infeasible 29 - 0.00000 - 284 195s 6340 185 infeasible 34 - 0.00000 - 285 200s 6506 183 infeasible 31 - 0.00000 - 285 205s 6701 186 infeasible 33 - 0.00000 - 285 210s 6897 192 infeasible 33 - 0.00000 - 285 215s 7101 214 0.00000 29 305 - 0.00000 - 284 220s 7275 240 0.00000 23 293 - 0.00000 - 285 225s 7446 233 0.00000 23 330 - 0.00000 - 285 230s 7620 237 0.00000 27 291 - 0.00000 - 286 235s 7815 256 infeasible 34 - 0.00000 - 286 240s 8004 251 0.00000 28 312 - 0.00000 - 285 245s 8183 234 0.00000 35 325 - 0.00000 - 286 250s 8378 229 infeasible 30 - 0.00000 - 286 255s 8555 224 0.00000 32 319 - 0.00000 - 286 260s 8708 209 infeasible 35 - 0.00000 - 287 265s 8871 212 0.00000 31 319 - 0.00000 - 288 270s 9037 204 0.00000 26 329 - 0.00000 - 288 275s Cutting planes: Clique: 6 Zero half: 21 Explored 9125 nodes (2685514 simplex iterations) in 278.10 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