current bounds on the number of colors: 0 -- 181 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:17:03 2012 Optimize a model with 76591 rows, 17139 columns and 245520 nonzeros Presolve time: 0.25s Presolved: 76591 rows, 17139 columns, 245520 nonzeros Variable types: 0 continuous, 17139 integer (17139 binary) Root relaxation: objective 0.000000e+00, 586 iterations, 0.05 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 (987 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: 0 -- 90 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:17:05 2012 Optimize a model with 38386 rows, 8994 columns and 122760 nonzeros Presolve time: 0.16s Presolved: 38386 rows, 8994 columns, 122760 nonzeros Variable types: 0 continuous, 8994 integer (8994 binary) Root relaxation: objective 0.000000e+00, 523 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 (931 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 -- 45 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:17:05 2012 Optimize a model with 18859 rows, 4831 columns and 60016 nonzeros Presolve time: 0.08s Presolved: 18859 rows, 4831 columns, 60016 nonzeros Variable types: 0 continuous, 4831 integer (4831 binary) Root relaxation: objective 0.000000e+00, 412 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 (783 simplex iterations) in 0.12 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 -- 22 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:17:06 2012 Optimize a model with 9520 rows, 2840 columns and 30008 nonzeros Presolve time: 0.03s Presolved: 9520 rows, 2840 columns, 30008 nonzeros Variable types: 0 continuous, 2840 integer (2840 binary) Root relaxation: objective 0.000000e+00, 372 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 (725 simplex iterations) in 0.05 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:17:06 2012 Optimize a model with 4426 rows, 1754 columns and 13640 nonzeros Presolve time: 0.01s Presolved: 4426 rows, 1754 columns, 13640 nonzeros Variable types: 0 continuous, 1754 integer (1754 binary) Root relaxation: objective 0.000000e+00, 400 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 42 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3977 simplex iterations) in 0.28 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:17:06 2012 Optimize a model with 1879 rows, 1211 columns and 5456 nonzeros Presolve removed 181 rows and 181 columns Presolve time: 0.00s Presolved: 1698 rows, 1030 columns, 5094 nonzeros Variable types: 0 continuous, 1030 integer (1030 binary) Root relaxation: objective 0.000000e+00, 187 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 181 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (772 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:17:06 2012 Optimize a model with 2728 rows, 1392 columns and 8184 nonzeros Presolve time: 0.01s Presolved: 2728 rows, 1392 columns, 8184 nonzeros Variable types: 0 continuous, 1392 integer (1392 binary) Root relaxation: objective 0.000000e+00, 431 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 356 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4744 simplex iterations) in 0.59 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: 3 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 01:17:07 2012 Optimize a model with 3577 rows, 1573 columns and 10912 nonzeros Presolve time: 0.01s Presolved: 3577 rows, 1573 columns, 10912 nonzeros Variable types: 0 continuous, 1573 integer (1573 binary) Root relaxation: objective 0.000000e+00, 422 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 344 - 0.00000 - - 0s 0 0 0.00000 0 348 - 0.00000 - - 0s 0 0 0.00000 0 324 - 0.00000 - - 0s 0 0 0.00000 0 397 - 0.00000 - - 0s 0 0 0.00000 0 324 - 0.00000 - - 1s 0 0 0.00000 0 310 - 0.00000 - - 1s 0 0 0.00000 0 304 - 0.00000 - - 2s 0 0 0.00000 0 298 - 0.00000 - - 2s 0 0 0.00000 0 303 - 0.00000 - - 3s 0 0 0.00000 0 296 - 0.00000 - - 3s 0 0 0.00000 0 292 - 0.00000 - - 3s 0 0 0.00000 0 298 - 0.00000 - - 4s 0 0 0.00000 0 300 - 0.00000 - - 4s 0 0 0.00000 0 300 - 0.00000 - - 4s 0 2 0.00000 0 300 - 0.00000 - - 5s 707 133 0.00000 21 493 - 0.00000 - 113 10s 711 136 0.00000 17 262 - 0.00000 - 112 16s 714 138 0.00000 8 313 - 0.00000 - 112 20s 924 112 0.00000 33 357 - 0.00000 - 180 25s 1313 51 0.00000 25 350 - 0.00000 - 184 30s 1697 127 infeasible 31 - 0.00000 - 185 35s 2064 214 infeasible 31 - 0.00000 - 186 40s 2432 246 infeasible 33 - 0.00000 - 189 45s 2777 227 infeasible 30 - 0.00000 - 193 50s 3133 227 infeasible 36 - 0.00000 - 195 55s 3474 236 0.00000 23 302 - 0.00000 - 198 60s 3834 272 infeasible 29 - 0.00000 - 199 65s 4186 260 infeasible 29 - 0.00000 - 201 70s 4558 252 infeasible 32 - 0.00000 - 201 75s 4885 259 0.00000 27 341 - 0.00000 - 203 80s 5236 260 infeasible 33 - 0.00000 - 204 85s 5563 255 0.00000 29 314 - 0.00000 - 204 90s 5899 265 0.00000 32 336 - 0.00000 - 205 95s 6252 268 infeasible 34 - 0.00000 - 206 100s 6592 294 0.00000 31 316 - 0.00000 - 206 105s 6944 282 infeasible 28 - 0.00000 - 206 110s 7294 258 infeasible 33 - 0.00000 - 207 115s 7616 262 infeasible 33 - 0.00000 - 208 120s 7906 250 infeasible 34 - 0.00000 - 210 125s 8265 275 0.00000 30 310 - 0.00000 - 210 130s 8606 258 infeasible 30 - 0.00000 - 210 135s 8932 254 infeasible 37 - 0.00000 - 210 140s 9227 237 infeasible 31 - 0.00000 - 211 145s 9555 229 infeasible 26 - 0.00000 - 212 150s 9875 211 0.00000 30 312 - 0.00000 - 212 155s 10191 221 infeasible 34 - 0.00000 - 213 160s 10516 222 0.00000 30 326 - 0.00000 - 213 165s 10832 238 0.00000 32 322 - 0.00000 - 214 170s 11205 245 infeasible 31 - 0.00000 - 213 175s 11548 236 0.00000 28 324 - 0.00000 - 214 180s 11859 245 infeasible 31 - 0.00000 - 214 185s 12223 255 infeasible 30 - 0.00000 - 214 190s 12602 266 infeasible 31 - 0.00000 - 213 195s 12908 238 infeasible 29 - 0.00000 - 214 200s 13267 229 infeasible 35 - 0.00000 - 214 205s 13569 233 infeasible 30 - 0.00000 - 214 210s 13880 226 infeasible 35 - 0.00000 - 214 215s 14183 223 infeasible 33 - 0.00000 - 215 220s 14539 227 0.00000 31 296 - 0.00000 - 214 225s 14862 254 0.00000 30 306 - 0.00000 - 215 230s 15147 257 0.00000 28 314 - 0.00000 - 215 235s 15451 251 infeasible 31 - 0.00000 - 215 240s 15740 240 infeasible 28 - 0.00000 - 216 245s 16068 248 0.00000 32 317 - 0.00000 - 216 250s 16391 241 infeasible 28 - 0.00000 - 216 255s 16695 243 0.00000 31 330 - 0.00000 - 216 260s 17003 231 infeasible 35 - 0.00000 - 217 265s 17324 232 infeasible 29 - 0.00000 - 217 270s 17628 240 0.00000 25 403 - 0.00000 - 217 275s 17952 242 infeasible 26 - 0.00000 - 217 280s 18280 246 infeasible 26 - 0.00000 - 217 285s 18633 283 0.00000 33 300 - 0.00000 - 217 290s Cutting planes: Zero half: 9 Explored 18907 nodes (4153050 simplex iterations) in 294.50 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: 5