current bounds on the number of colors: 0 -- 129 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:14:55 2012 Optimize a model with 54081 rows, 9099 columns and 170112 nonzeros Presolve time: 0.17s Presolved: 54081 rows, 9099 columns, 170112 nonzeros Variable types: 0 continuous, 9099 integer (9099 binary) Root relaxation: objective 0.000000e+00, 321 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 (623 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 -- 64 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:14:56 2012 Optimize a model with 27105 rows, 4971 columns and 85056 nonzeros Presolve time: 0.12s Presolved: 27105 rows, 4971 columns, 85056 nonzeros Variable types: 0 continuous, 4971 integer (4971 binary) Root relaxation: objective 0.000000e+00, 320 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 (591 simplex iterations) in 0.19 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 01:14:56 2012 Optimize a model with 13617 rows, 2907 columns and 42528 nonzeros Presolve time: 0.05s Presolved: 13617 rows, 2907 columns, 42528 nonzeros Variable types: 0 continuous, 2907 integer (2907 binary) Root relaxation: objective 0.000000e+00, 264 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 (697 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 01:14:56 2012 Optimize a model with 6873 rows, 1875 columns and 21264 nonzeros Presolve time: 0.02s Presolved: 6873 rows, 1875 columns, 21264 nonzeros Variable types: 0 continuous, 1875 integer (1875 binary) Root relaxation: objective 0.000000e+00, 274 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 (1043 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 01:14:56 2012 Optimize a model with 3501 rows, 1359 columns and 10632 nonzeros Presolve time: 0.01s Presolved: 3501 rows, 1359 columns, 10632 nonzeros Variable types: 0 continuous, 1359 integer (1359 binary) Root relaxation: objective 0.000000e+00, 279 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 230 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5256 simplex iterations) in 0.66 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound 1.000000000000e+00, gap - current bounds on the number of colors: 4 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:14:57 2012 Optimize a model with 5187 rows, 1617 columns and 15948 nonzeros Presolve time: 0.01s Presolved: 5187 rows, 1617 columns, 15948 nonzeros Variable types: 0 continuous, 1617 integer (1617 binary) Root relaxation: objective 0.000000e+00, 295 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 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 3 Clique: 290 MIR: 17 Zero half: 359 Explored 0 nodes (2404 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:14:58 2012 Optimize a model with 4344 rows, 1488 columns and 13290 nonzeros Presolve time: 0.01s Presolved: 4344 rows, 1488 columns, 13290 nonzeros Variable types: 0 continuous, 1488 integer (1488 binary) Root relaxation: objective 0.000000e+00, 266 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 258 - 0.00000 - - 0s 0 0 0.00000 0 240 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 1s 0 0 0.00000 0 346 - 0.00000 - - 1s 0 0 0.00000 0 342 - 0.00000 - - 1s 0 0 0.00000 0 342 - 0.00000 - - 1s 0 0 0.00000 0 314 - 0.00000 - - 2s 0 0 0.00000 0 258 - 0.00000 - - 3s 0 0 0.00000 0 232 - 0.00000 - - 3s 0 0 0.00000 0 193 - 0.00000 - - 4s 0 0 0.00000 0 260 - 0.00000 - - 4s 0 0 0.00000 0 209 - 0.00000 - - 5s 0 0 0.00000 0 273 - 0.00000 - - 6s 0 0 0.00000 0 359 - 0.00000 - - 6s 0 0 0.00000 0 273 - 0.00000 - - 7s 0 2 0.00000 0 226 - 0.00000 - - 7s 243 19 0.00000 20 269 - 0.00000 - 129 10s 704 36 0.00000 16 369 - 0.00000 - 114 15s 708 39 0.00000 11 315 - 0.00000 - 114 21s 712 41 0.00000 22 281 - 0.00000 - 113 25s 879 53 infeasible 27 - 0.00000 - 174 30s 1134 62 infeasible 28 - 0.00000 - 189 35s 1396 76 0.00000 34 277 - 0.00000 - 199 40s 1622 70 infeasible 28 - 0.00000 - 210 45s 1870 69 0.00000 24 295 - 0.00000 - 215 50s 2098 75 infeasible 31 - 0.00000 - 222 55s 2336 73 infeasible 33 - 0.00000 - 226 60s 2615 68 infeasible 27 - 0.00000 - 226 65s 2843 66 0.00000 28 295 - 0.00000 - 229 70s 3058 71 infeasible 26 - 0.00000 - 233 75s 3289 74 0.00000 29 299 - 0.00000 - 235 80s 3512 56 0.00000 26 319 - 0.00000 - 237 85s 3751 65 infeasible 31 - 0.00000 - 239 90s 3989 71 infeasible 36 - 0.00000 - 240 95s 4194 84 infeasible 29 - 0.00000 - 242 100s 4408 86 0.00000 33 286 - 0.00000 - 244 105s 4605 83 infeasible 28 - 0.00000 - 247 110s 4798 78 infeasible 30 - 0.00000 - 249 115s 4994 84 0.00000 36 280 - 0.00000 - 251 120s 5233 97 infeasible 29 - 0.00000 - 251 125s 5459 91 0.00000 29 216 - 0.00000 - 252 130s 5686 82 infeasible 31 - 0.00000 - 253 135s 5898 94 0.00000 27 302 - 0.00000 - 254 140s 6085 99 0.00000 31 284 - 0.00000 - 255 145s 6312 118 0.00000 28 278 - 0.00000 - 256 150s 6548 108 infeasible 28 - 0.00000 - 256 155s 6773 105 infeasible 28 - 0.00000 - 257 160s 6979 97 0.00000 29 216 - 0.00000 - 258 165s 7181 81 infeasible 26 - 0.00000 - 259 170s 7391 85 0.00000 24 273 - 0.00000 - 260 175s 7642 90 infeasible 32 - 0.00000 - 259 180s 7912 94 0.00000 37 256 - 0.00000 - 259 185s 8172 86 0.00000 28 305 - 0.00000 - 258 190s 8418 83 0.00000 27 270 - 0.00000 - 258 195s 8615 74 infeasible 26 - 0.00000 - 259 200s 8851 76 infeasible 29 - 0.00000 - 260 205s 9115 70 infeasible 26 - 0.00000 - 259 210s 9371 70 infeasible 31 - 0.00000 - 259 215s 9576 51 0.00000 28 268 - 0.00000 - 259 220s 9749 58 0.00000 32 277 - 0.00000 - 261 225s 9943 48 infeasible 31 - 0.00000 - 262 230s 10209 52 infeasible 29 - 0.00000 - 261 235s 10427 62 0.00000 27 300 - 0.00000 - 262 240s 10672 63 infeasible 35 - 0.00000 - 262 245s 10858 71 0.00000 29 270 - 0.00000 - 263 250s 11059 58 infeasible 28 - 0.00000 - 263 255s 11278 57 0.00000 27 275 - 0.00000 - 264 260s 11490 57 infeasible 32 - 0.00000 - 264 265s 11697 56 infeasible 31 - 0.00000 - 265 270s 11911 58 infeasible 30 - 0.00000 - 265 275s 12125 54 infeasible 30 - 0.00000 - 266 280s 12323 40 infeasible 30 - 0.00000 - 266 285s 12554 41 0.00000 25 307 - 0.00000 - 266 290s 12777 38 infeasible 31 - 0.00000 - 266 295s Cutting planes: Clique: 4 Zero half: 15 Explored 12819 nodes (3461203 simplex iterations) in 295.93 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