current bounds on the number of colors: 0 -- 195 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:13:39 2012 Optimize a model with 90696 rows, 19848 columns and 290418 nonzeros Presolve removed 1 rows and 97 columns Presolve time: 0.29s Presolved: 90695 rows, 19751 columns, 290321 nonzeros Variable types: 0 continuous, 19751 integer (19751 binary) Root relaxation: objective 0.000000e+00, 707 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 (1127 simplex iterations) in 0.51 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 -- 97 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:13:41 2012 Optimize a model with 44979 rows, 10293 columns and 143712 nonzeros Presolve removed 1 rows and 48 columns Presolve time: 0.16s Presolved: 44978 rows, 10245 columns, 143664 nonzeros Variable types: 0 continuous, 10245 integer (10245 binary) Root relaxation: objective 0.000000e+00, 704 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 (1127 simplex iterations) in 0.27 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 -- 48 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:13:42 2012 Optimize a model with 22587 rows, 5613 columns and 71856 nonzeros Presolve removed 1 rows and 24 columns Presolve time: 0.09s Presolved: 22586 rows, 5589 columns, 71832 nonzeros Variable types: 0 continuous, 5589 integer (5589 binary) Root relaxation: objective 0.000000e+00, 420 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 (777 simplex iterations) in 0.13 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 -- 24 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:13:42 2012 Optimize a model with 11391 rows, 3273 columns and 35928 nonzeros Presolve removed 1 rows and 12 columns Presolve time: 0.04s Presolved: 11390 rows, 3261 columns, 35916 nonzeros Variable types: 0 continuous, 3261 integer (3261 binary) Root relaxation: objective 0.000000e+00, 407 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 (745 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:13:42 2012 Optimize a model with 5793 rows, 2103 columns and 17964 nonzeros Presolve removed 1 rows and 6 columns Presolve time: 0.02s Presolved: 5792 rows, 2097 columns, 17958 nonzeros Variable types: 0 continuous, 2097 integer (2097 binary) Root relaxation: objective 0.000000e+00, 417 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 (1274 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:13:43 2012 Optimize a model with 2994 rows, 1518 columns and 8982 nonzeros Presolve removed 1 rows and 3 columns Presolve time: 0.01s Presolved: 2993 rows, 1515 columns, 8979 nonzeros Variable types: 0 continuous, 1515 integer (1515 binary) Root relaxation: objective 0.000000e+00, 416 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 384 - 0.00000 - - 0s 0 0 0.00000 0 384 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5158 simplex iterations) in 0.67 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:13:43 2012 Optimize a model with 3927 rows, 1713 columns and 11976 nonzeros Presolve removed 1 rows and 4 columns Presolve time: 0.01s Presolved: 3926 rows, 1709 columns, 11972 nonzeros Variable types: 0 continuous, 1709 integer (1709 binary) Root relaxation: objective 0.000000e+00, 448 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 364 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 0s 0 0 0.00000 0 370 - 0.00000 - - 0s 0 0 0.00000 0 473 - 0.00000 - - 1s 0 0 0.00000 0 373 - 0.00000 - - 1s 0 0 0.00000 0 370 - 0.00000 - - 2s 0 0 0.00000 0 363 - 0.00000 - - 2s 0 0 0.00000 0 364 - 0.00000 - - 3s 0 0 0.00000 0 340 - 0.00000 - - 3s 0 0 0.00000 0 342 - 0.00000 - - 4s 0 0 0.00000 0 340 - 0.00000 - - 4s 0 0 0.00000 0 346 - 0.00000 - - 5s 0 0 0.00000 0 346 - 0.00000 - - 5s 0 2 0.00000 0 346 - 0.00000 - - 6s 512 24 infeasible 19 - 0.00000 - 128 10s 707 42 0.00000 12 350 - 0.00000 - 119 15s 710 44 0.00000 5 338 - 0.00000 - 119 20s 713 46 0.00000 12 316 - 0.00000 - 118 25s 716 48 0.00000 12 313 - 0.00000 - 118 30s 720 51 0.00000 5 313 - 0.00000 - 117 35s 997 104 0.00000 22 413 - 0.00000 - 222 40s 1351 184 infeasible 32 - 0.00000 - 217 45s 1721 224 0.00000 31 344 - 0.00000 - 213 50s 2043 232 infeasible 27 - 0.00000 - 215 55s 2381 254 0.00000 30 346 - 0.00000 - 215 60s 2669 266 infeasible 30 - 0.00000 - 217 65s 3002 269 infeasible 34 - 0.00000 - 218 70s 3333 276 infeasible 30 - 0.00000 - 218 75s 3644 309 infeasible 29 - 0.00000 - 219 80s 3932 293 infeasible 32 - 0.00000 - 221 85s 4243 274 infeasible 34 - 0.00000 - 222 90s 4588 267 infeasible 30 - 0.00000 - 221 95s 4913 284 infeasible 31 - 0.00000 - 223 100s 5209 292 0.00000 21 344 - 0.00000 - 224 105s 5518 311 0.00000 32 330 - 0.00000 - 224 110s 5813 320 0.00000 26 352 - 0.00000 - 224 115s 6110 313 0.00000 28 358 - 0.00000 - 225 120s 6414 309 0.00000 31 338 - 0.00000 - 225 125s 6724 301 infeasible 25 - 0.00000 - 226 130s 7022 281 infeasible 36 - 0.00000 - 227 135s 7323 282 infeasible 30 - 0.00000 - 227 140s 7657 296 infeasible 30 - 0.00000 - 226 145s 7945 304 infeasible 31 - 0.00000 - 227 150s 8265 304 0.00000 32 344 - 0.00000 - 227 155s 8569 281 infeasible 27 - 0.00000 - 227 160s 8890 260 infeasible 29 - 0.00000 - 228 165s 9184 240 0.00000 30 370 - 0.00000 - 228 170s 9504 242 infeasible 31 - 0.00000 - 228 175s 9802 236 infeasible 38 - 0.00000 - 228 180s 10082 202 0.00000 30 407 - 0.00000 - 229 185s 10392 210 infeasible 29 - 0.00000 - 229 190s 10699 187 infeasible 32 - 0.00000 - 229 195s 10999 215 infeasible 38 - 0.00000 - 229 200s 11359 197 infeasible 32 - 0.00000 - 228 205s 11704 190 0.00000 27 342 - 0.00000 - 228 210s 12019 191 infeasible 31 - 0.00000 - 227 215s 12308 162 0.00000 25 368 - 0.00000 - 228 220s 12616 166 0.00000 27 396 - 0.00000 - 228 225s 12906 156 infeasible 32 - 0.00000 - 228 230s 13196 152 infeasible 31 - 0.00000 - 228 235s 13487 145 infeasible 29 - 0.00000 - 228 240s 13764 142 infeasible 31 - 0.00000 - 228 245s 14064 130 infeasible 33 - 0.00000 - 228 250s 14347 127 infeasible 25 - 0.00000 - 229 255s 14646 120 infeasible 29 - 0.00000 - 229 260s 14911 121 infeasible 34 - 0.00000 - 229 265s 15181 107 infeasible 31 - 0.00000 - 229 270s 15439 107 0.00000 32 342 - 0.00000 - 230 275s 15730 102 0.00000 28 370 - 0.00000 - 230 280s 15995 89 0.00000 27 383 - 0.00000 - 230 285s 16253 72 0.00000 32 416 - 0.00000 - 231 290s Cutting planes: Clique: 1 Zero half: 16 Explored 16476 nodes (3849247 simplex iterations) in 294.13 seconds Thread count was 1 (of 16 available processors) Time limit reached Best objective -, best bound 0.000000000000e+00, gap - current bounds on the number of colors: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 07:18:38 2012 Optimize a model with 4860 rows, 1908 columns and 14970 nonzeros Presolve removed 1 rows and 5 columns Presolve time: 0.01s Presolved: 4859 rows, 1903 columns, 14965 nonzeros Variable types: 0 continuous, 1903 integer (1903 binary) Root relaxation: objective 0.000000e+00, 423 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 388 - 0.00000 - - 0s Explored 0 nodes (787 simplex iterations) in 0.03 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