current bounds on the number of colors: 0 -- 137 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:45:36 2012 Optimize a model with 65553 rows, 10278 columns and 205564 nonzeros Presolve time: 0.19s Presolved: 65553 rows, 10278 columns, 205564 nonzeros Variable types: 0 continuous, 10278 integer (10278 binary) Root relaxation: objective 0.000000e+00, 328 iterations, 0.07 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 (706 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 -- 68 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:45:38 2012 Optimize a model with 32845 rows, 5620 columns and 102782 nonzeros Presolve time: 0.15s Presolved: 32845 rows, 5620 columns, 102782 nonzeros Variable types: 0 continuous, 5620 integer (5620 binary) Root relaxation: objective 0.000000e+00, 337 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 (622 simplex iterations) in 0.23 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 -- 34 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:45:38 2012 Optimize a model with 16491 rows, 3291 columns and 51391 nonzeros Presolve time: 0.06s Presolved: 16491 rows, 3291 columns, 51391 nonzeros Variable types: 0 continuous, 3291 integer (3291 binary) Root relaxation: objective 0.000000e+00, 412 iterations, 0.02 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 (818 simplex iterations) in 0.10 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 07:45:38 2012 Optimize a model with 7833 rows, 2058 columns and 24184 nonzeros Presolve time: 0.02s Presolved: 7833 rows, 2058 columns, 24184 nonzeros Variable types: 0 continuous, 2058 integer (2058 binary) Root relaxation: objective 0.000000e+00, 316 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 (723 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:45:39 2012 Optimize a model with 3985 rows, 1510 columns and 12092 nonzeros Presolve time: 0.01s Presolved: 3985 rows, 1510 columns, 12092 nonzeros Variable types: 0 continuous, 1510 integer (1510 binary) Root relaxation: objective 0.000000e+00, 287 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 168 - 0.00000 - - 0s 0 0 0.00000 0 254 - 0.00000 - - 1s 0 0 0.00000 0 444 - 0.00000 - - 1s 0 0 0.00000 0 449 - 0.00000 - - 2s 0 0 0.00000 0 445 - 0.00000 - - 2s 0 0 0.00000 0 435 - 0.00000 - - 3s 0 0 0.00000 0 430 - 0.00000 - - 5s 0 0 0.00000 0 433 - 0.00000 - - 6s 0 0 0.00000 0 435 - 0.00000 - - 8s 0 0 0.00000 0 429 - 0.00000 - - 9s 0 0 0.00000 0 432 - 0.00000 - - 10s 0 0 0.00000 0 432 - 0.00000 - - 10s 0 2 0.00000 0 432 - 0.00000 - - 11s Cutting planes: Clique: 17 Zero half: 14 Explored 13 nodes (53878 simplex iterations) in 12.07 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 07:45:51 2012 Optimize a model with 5909 rows, 1784 columns and 18138 nonzeros Presolve time: 0.02s Presolved: 5909 rows, 1784 columns, 18138 nonzeros Variable types: 0 continuous, 1784 integer (1784 binary) Root relaxation: objective 0.000000e+00, 283 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 262 - 0.00000 - - 0s 0 0 0.00000 0 218 - 0.00000 - - 1s Cutting planes: Clique: 14 Explored 0 nodes (8050 simplex iterations) in 1.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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 07:45:52 2012 Optimize a model with 4947 rows, 1647 columns and 15115 nonzeros Presolve time: 0.01s Presolved: 4947 rows, 1647 columns, 15115 nonzeros Variable types: 0 continuous, 1647 integer (1647 binary) Root relaxation: objective 0.000000e+00, 287 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 260 - 0.00000 - - 0s 0 0 0.00000 0 251 - 0.00000 - - 1s 0 0 0.00000 0 396 - 0.00000 - - 1s 0 0 0.00000 0 331 - 0.00000 - - 2s 0 0 0.00000 0 329 - 0.00000 - - 3s 0 0 0.00000 0 323 - 0.00000 - - 4s 0 0 0.00000 0 345 - 0.00000 - - 5s 0 0 0.00000 0 350 - 0.00000 - - 6s 0 0 0.00000 0 343 - 0.00000 - - 6s 0 2 0.00000 0 343 - 0.00000 - - 7s 144 41 infeasible 24 - 0.00000 - 179 10s 555 42 infeasible 24 - 0.00000 - 154 15s 809 44 0.00000 17 251 - 0.00000 - 155 20s 812 46 0.00000 21 308 - 0.00000 - 154 25s 815 48 0.00000 17 301 - 0.00000 - 154 30s 855 57 0.00000 25 306 - 0.00000 - 205 35s 1024 32 0.00000 32 322 - 0.00000 - 218 40s 1174 50 infeasible 34 - 0.00000 - 231 45s 1327 49 0.00000 25 335 - 0.00000 - 241 50s 1476 50 infeasible 32 - 0.00000 - 250 55s 1619 69 0.00000 25 325 - 0.00000 - 258 60s 1785 89 0.00000 25 326 - 0.00000 - 261 65s 1934 90 0.00000 30 313 - 0.00000 - 267 70s 2079 99 0.00000 30 309 - 0.00000 - 272 75s 2213 97 0.00000 26 324 - 0.00000 - 278 80s 2347 83 infeasible 31 - 0.00000 - 283 85s 2490 80 infeasible 30 - 0.00000 - 286 90s 2633 69 infeasible 28 - 0.00000 - 289 95s 2771 73 0.00000 32 327 - 0.00000 - 292 100s 2919 93 infeasible 27 - 0.00000 - 294 105s 3056 100 0.00000 27 322 - 0.00000 - 296 110s 3204 102 infeasible 28 - 0.00000 - 297 115s 3338 100 0.00000 28 308 - 0.00000 - 300 120s 3482 96 infeasible 27 - 0.00000 - 301 125s 3647 139 infeasible 35 - 0.00000 - 300 130s 3820 148 infeasible 34 - 0.00000 - 300 135s 3991 153 0.00000 23 339 - 0.00000 - 300 140s 4153 183 infeasible 32 - 0.00000 - 300 145s 4309 193 infeasible 29 - 0.00000 - 300 150s 4464 212 infeasible 31 - 0.00000 - 300 155s 4628 258 infeasible 39 - 0.00000 - 300 160s 4769 283 0.00000 32 303 - 0.00000 - 301 165s 4940 288 0.00000 36 231 - 0.00000 - 301 170s 5080 284 infeasible 29 - 0.00000 - 302 175s 5225 285 infeasible 33 - 0.00000 - 303 180s 5400 278 infeasible 31 - 0.00000 - 303 185s 5539 290 0.00000 33 305 - 0.00000 - 304 190s 5707 294 infeasible 29 - 0.00000 - 304 195s 5868 305 0.00000 38 312 - 0.00000 - 304 200s 6014 297 infeasible 34 - 0.00000 - 304 205s 6157 300 0.00000 28 346 - 0.00000 - 305 210s 6311 310 infeasible 39 - 0.00000 - 306 215s 6457 308 infeasible 28 - 0.00000 - 306 220s 6607 310 infeasible 34 - 0.00000 - 307 225s 6778 321 infeasible 36 - 0.00000 - 307 230s 6934 319 infeasible 37 - 0.00000 - 307 235s 7091 308 0.00000 28 374 - 0.00000 - 307 240s 7250 327 infeasible 32 - 0.00000 - 306 245s 7407 326 infeasible 32 - 0.00000 - 307 250s 7546 323 0.00000 26 296 - 0.00000 - 307 255s 7699 329 infeasible 40 - 0.00000 - 308 260s 7860 328 0.00000 39 247 - 0.00000 - 308 265s 7994 324 0.00000 32 301 - 0.00000 - 309 270s 8126 316 0.00000 27 266 - 0.00000 - 310 275s 8277 313 infeasible 33 - 0.00000 - 310 280s Cutting planes: Clique: 6 Zero half: 10 Explored 8379 nodes (2633412 simplex iterations) in 282.87 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