current bounds on the number of colors: 0 -- 141 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:16:18 2012 Optimize a model with 67901 rows, 10838 columns and 213150 nonzeros Presolve time: 0.20s Presolved: 67901 rows, 10838 columns, 213150 nonzeros Variable types: 0 continuous, 10838 integer (10838 binary) Root relaxation: objective 0.000000e+00, 359 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 (700 simplex iterations) in 0.37 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:16:19 2012 Optimize a model with 34021 rows, 5903 columns and 106575 nonzeros Presolve time: 0.15s Presolved: 34021 rows, 5903 columns, 106575 nonzeros Variable types: 0 continuous, 5903 integer (5903 binary) Root relaxation: objective 0.000000e+00, 455 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 (831 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:16:20 2012 Optimize a model with 16597 rows, 3365 columns and 51765 nonzeros Presolve time: 0.06s Presolved: 16597 rows, 3365 columns, 51765 nonzeros Variable types: 0 continuous, 3365 integer (3365 binary) Root relaxation: objective 0.000000e+00, 282 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 (548 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:16:20 2012 Optimize a model with 7885 rows, 2096 columns and 24360 nonzeros Presolve time: 0.02s Presolved: 7885 rows, 2096 columns, 24360 nonzeros Variable types: 0 continuous, 2096 integer (2096 binary) Root relaxation: objective 0.000000e+00, 296 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 (1402 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 11:16:20 2012 Optimize a model with 4013 rows, 1532 columns and 12180 nonzeros Presolve time: 0.01s Presolved: 4013 rows, 1532 columns, 12180 nonzeros Variable types: 0 continuous, 1532 integer (1532 binary) Root relaxation: objective 0.000000e+00, 331 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 278 - 0.00000 - - 0s 0 0 0.00000 0 280 - 0.00000 - - 0s 0 0 0.00000 0 422 - 0.00000 - - 1s 0 0 0.00000 0 421 - 0.00000 - - 2s 0 0 0.00000 0 416 - 0.00000 - - 2s 0 0 0.00000 0 416 - 0.00000 - - 3s 0 0 0.00000 0 415 - 0.00000 - - 3s 0 0 0.00000 0 414 - 0.00000 - - 5s 0 0 0.00000 0 414 - 0.00000 - - 5s 0 0 0.00000 0 414 - 0.00000 - - 6s 0 0 0.00000 0 412 - 0.00000 - - 7s 0 0 0.00000 0 416 - 0.00000 - - 8s 0 0 0.00000 0 416 - 0.00000 - - 8s 0 2 0.00000 0 416 - 0.00000 - - 10s Cutting planes: Clique: 19 Zero half: 16 Explored 19 nodes (42939 simplex iterations) in 11.20 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:16:32 2012 Optimize a model with 5949 rows, 1814 columns and 18270 nonzeros Presolve time: 0.02s Presolved: 5949 rows, 1814 columns, 18270 nonzeros Variable types: 0 continuous, 1814 integer (1814 binary) Root relaxation: objective 0.000000e+00, 296 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 171 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3299 simplex iterations) in 0.29 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:16:32 2012 Optimize a model with 4981 rows, 1673 columns and 15225 nonzeros Presolve time: 0.01s Presolved: 4981 rows, 1673 columns, 15225 nonzeros Variable types: 0 continuous, 1673 integer (1673 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 280 - 0.00000 - - 0s 0 0 0.00000 0 272 - 0.00000 - - 0s 0 0 0.00000 0 375 - 0.00000 - - 1s 0 0 0.00000 0 384 - 0.00000 - - 1s 0 0 0.00000 0 378 - 0.00000 - - 2s 0 0 0.00000 0 377 - 0.00000 - - 3s 0 0 0.00000 0 374 - 0.00000 - - 3s 0 0 0.00000 0 389 - 0.00000 - - 4s 0 0 0.00000 0 381 - 0.00000 - - 5s 0 0 0.00000 0 299 - 0.00000 - - 6s 0 0 0.00000 0 317 - 0.00000 - - 7s 0 0 0.00000 0 377 - 0.00000 - - 8s 0 0 0.00000 0 377 - 0.00000 - - 8s 0 2 0.00000 0 377 - 0.00000 - - 9s 9 7 0.00000 7 302 - 0.00000 - 520 10s 449 68 infeasible 29 - 0.00000 - 138 15s 809 76 0.00000 22 375 - 0.00000 - 131 20s 812 78 0.00000 12 377 - 0.00000 - 131 25s 815 80 0.00000 20 330 - 0.00000 - 130 30s 818 82 0.00000 23 351 - 0.00000 - 130 35s 943 108 infeasible 30 - 0.00000 - 197 40s 1154 80 infeasible 32 - 0.00000 - 209 45s 1364 114 0.00000 28 308 - 0.00000 - 219 50s 1558 102 0.00000 28 259 - 0.00000 - 228 55s 1735 93 0.00000 26 318 - 0.00000 - 236 60s 1936 96 infeasible 30 - 0.00000 - 241 65s 2138 80 infeasible 29 - 0.00000 - 244 70s 2341 65 0.00000 28 279 - 0.00000 - 247 75s 2510 68 0.00000 28 313 - 0.00000 - 251 80s 2672 70 infeasible 29 - 0.00000 - 256 85s 2870 80 infeasible 32 - 0.00000 - 258 90s 3077 91 0.00000 25 266 - 0.00000 - 258 95s 3266 102 0.00000 29 315 - 0.00000 - 260 100s 3442 98 infeasible 28 - 0.00000 - 263 105s 3633 121 0.00000 31 254 - 0.00000 - 264 110s 3823 111 infeasible 27 - 0.00000 - 266 115s 3998 118 infeasible 30 - 0.00000 - 268 120s 4203 127 infeasible 32 - 0.00000 - 268 125s 4403 125 infeasible 32 - 0.00000 - 269 130s 4608 122 0.00000 27 257 - 0.00000 - 270 135s 4794 126 infeasible 23 - 0.00000 - 271 140s 4983 123 infeasible 26 - 0.00000 - 272 145s 5162 122 infeasible 33 - 0.00000 - 273 150s 5372 150 0.00000 29 311 - 0.00000 - 272 155s 5573 145 infeasible 31 - 0.00000 - 273 160s 5756 158 0.00000 33 310 - 0.00000 - 274 165s 5942 166 0.00000 28 279 - 0.00000 - 274 170s 6190 168 0.00000 34 228 - 0.00000 - 273 175s 6428 174 infeasible 37 - 0.00000 - 273 180s 6638 166 infeasible 34 - 0.00000 - 273 185s 6823 181 0.00000 29 345 - 0.00000 - 273 190s 6988 204 0.00000 35 276 - 0.00000 - 274 195s 7160 206 0.00000 34 249 - 0.00000 - 275 200s 7320 234 infeasible 31 - 0.00000 - 276 205s 7491 245 infeasible 25 - 0.00000 - 277 210s 7665 245 infeasible 26 - 0.00000 - 277 215s 7834 276 0.00000 27 326 - 0.00000 - 278 220s 8013 285 0.00000 31 258 - 0.00000 - 278 225s 8184 302 0.00000 33 298 - 0.00000 - 279 230s 8355 297 0.00000 30 314 - 0.00000 - 280 235s 8521 281 0.00000 30 305 - 0.00000 - 281 240s 8665 265 infeasible 27 - 0.00000 - 282 245s 8815 281 0.00000 29 282 - 0.00000 - 283 250s 8986 296 infeasible 32 - 0.00000 - 284 255s 9139 295 0.00000 32 281 - 0.00000 - 285 260s 9306 332 infeasible 33 - 0.00000 - 285 265s 9472 334 0.00000 28 258 - 0.00000 - 286 270s 9643 317 0.00000 23 364 - 0.00000 - 286 275s 9821 327 infeasible 31 - 0.00000 - 287 280s Cutting planes: Gomory: 3 Clique: 2 Zero half: 9 Explored 9986 nodes (2905419 simplex iterations) in 284.58 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