current bounds on the number of colors: 0 -- 194 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:37:15 2012 Optimize a model with 89434 rows, 19738 columns and 286538 nonzeros Presolve time: 0.29s Presolved: 89434 rows, 19738 columns, 286538 nonzeros Variable types: 0 continuous, 19738 integer (19738 binary) Root relaxation: objective 0.000000e+00, 770 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 (1238 simplex iterations) in 0.50 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 06:37:17 2012 Optimize a model with 44354 rows, 10232 columns and 141792 nonzeros Presolve time: 0.15s Presolved: 44354 rows, 10232 columns, 141792 nonzeros Variable types: 0 continuous, 10232 integer (10232 binary) Root relaxation: objective 0.000000e+00, 672 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 (1102 simplex iterations) in 0.26 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 06:37:17 2012 Optimize a model with 22274 rows, 5576 columns and 70896 nonzeros Presolve time: 0.09s Presolved: 22274 rows, 5576 columns, 70896 nonzeros Variable types: 0 continuous, 5576 integer (5576 binary) Root relaxation: objective 0.000000e+00, 435 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 (798 simplex iterations) in 0.14 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 06:37:18 2012 Optimize a model with 11234 rows, 3248 columns and 35448 nonzeros Presolve time: 0.03s Presolved: 11234 rows, 3248 columns, 35448 nonzeros Variable types: 0 continuous, 3248 integer (3248 binary) Root relaxation: objective 0.000000e+00, 403 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 (750 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 06:37:18 2012 Optimize a model with 5714 rows, 2084 columns and 17724 nonzeros Presolve time: 0.02s Presolved: 5714 rows, 2084 columns, 17724 nonzeros Variable types: 0 continuous, 2084 integer (2084 binary) Root relaxation: objective 0.000000e+00, 421 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 (1899 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:37:18 2012 Optimize a model with 2954 rows, 1502 columns and 8862 nonzeros Presolve time: 0.01s Presolved: 2954 rows, 1502 columns, 8862 nonzeros Variable types: 0 continuous, 1502 integer (1502 binary) Root relaxation: objective 0.000000e+00, 424 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 382 - 0.00000 - - 0s 0 0 0.00000 0 393 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5335 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 06:37:19 2012 Optimize a model with 3874 rows, 1696 columns and 11816 nonzeros Presolve time: 0.01s Presolved: 3874 rows, 1696 columns, 11816 nonzeros Variable types: 0 continuous, 1696 integer (1696 binary) Root relaxation: objective 0.000000e+00, 439 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 360 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 0s 0 0 0.00000 0 362 - 0.00000 - - 1s 0 0 0.00000 0 350 - 0.00000 - - 1s 0 0 0.00000 0 356 - 0.00000 - - 1s 0 0 0.00000 0 362 - 0.00000 - - 2s 0 0 0.00000 0 358 - 0.00000 - - 2s 0 0 0.00000 0 346 - 0.00000 - - 3s 0 0 0.00000 0 344 - 0.00000 - - 3s 0 0 0.00000 0 346 - 0.00000 - - 3s 0 0 0.00000 0 346 - 0.00000 - - 4s 0 2 0.00000 0 346 - 0.00000 - - 4s 16 16 0.00000 11 354 - 0.00000 - 322 5s 805 55 infeasible 25 - 0.00000 - 120 10s 906 73 0.00000 16 344 - 0.00000 - 122 15s 910 76 0.00000 24 329 - 0.00000 - 122 20s 913 78 0.00000 20 314 - 0.00000 - 121 26s 915 79 0.00000 22 298 - 0.00000 - 121 30s 918 81 0.00000 16 472 - 0.00000 - 121 35s 1060 74 infeasible 25 - 0.00000 - 206 40s 1301 56 infeasible 29 - 0.00000 - 217 45s 1578 99 0.00000 31 425 - 0.00000 - 221 50s 1851 98 infeasible 32 - 0.00000 - 224 55s 2086 131 infeasible 31 - 0.00000 - 229 60s 2329 118 infeasible 29 - 0.00000 - 234 65s 2559 110 infeasible 30 - 0.00000 - 238 70s 2786 115 0.00000 31 444 - 0.00000 - 242 75s 3066 121 0.00000 27 383 - 0.00000 - 241 80s 3310 139 0.00000 30 330 - 0.00000 - 243 85s 3563 136 infeasible 31 - 0.00000 - 245 90s 3834 131 infeasible 27 - 0.00000 - 245 95s 4064 123 infeasible 35 - 0.00000 - 247 100s 4292 111 0.00000 29 422 - 0.00000 - 249 105s 4498 113 0.00000 30 365 - 0.00000 - 251 110s 4767 112 infeasible 30 - 0.00000 - 252 115s 5007 98 infeasible 28 - 0.00000 - 252 120s 5218 75 0.00000 17 411 - 0.00000 - 254 125s 5474 115 infeasible 30 - 0.00000 - 253 130s 5727 134 infeasible 30 - 0.00000 - 254 135s 5982 145 0.00000 29 394 - 0.00000 - 254 140s 6238 131 0.00000 27 342 - 0.00000 - 254 145s 6488 135 infeasible 32 - 0.00000 - 254 150s 6711 146 infeasible 32 - 0.00000 - 256 155s 7001 168 0.00000 30 338 - 0.00000 - 255 160s 7264 167 0.00000 26 361 - 0.00000 - 255 165s 7527 176 infeasible 28 - 0.00000 - 255 170s 7782 185 infeasible 34 - 0.00000 - 255 175s 8027 188 infeasible 32 - 0.00000 - 256 180s 8272 179 0.00000 31 369 - 0.00000 - 256 185s 8532 179 infeasible 32 - 0.00000 - 257 190s 8760 169 infeasible 25 - 0.00000 - 257 195s 8983 176 infeasible 31 - 0.00000 - 258 200s 9227 178 infeasible 33 - 0.00000 - 258 205s 9526 177 infeasible 30 - 0.00000 - 257 210s 9801 176 infeasible 32 - 0.00000 - 257 215s 10039 180 0.00000 32 312 - 0.00000 - 257 220s 10280 169 infeasible 30 - 0.00000 - 258 225s 10507 164 infeasible 29 - 0.00000 - 258 230s 10744 161 infeasible 36 - 0.00000 - 258 235s 10953 150 infeasible 31 - 0.00000 - 259 240s 11178 133 infeasible 34 - 0.00000 - 260 245s 11394 127 0.00000 31 318 - 0.00000 - 260 250s 11613 120 infeasible 29 - 0.00000 - 261 255s 11817 112 infeasible 29 - 0.00000 - 261 260s 12013 112 0.00000 27 436 - 0.00000 - 262 265s 12230 107 infeasible 29 - 0.00000 - 262 270s 12442 107 infeasible 28 - 0.00000 - 263 275s 12692 95 infeasible 25 - 0.00000 - 263 280s 12892 87 infeasible 29 - 0.00000 - 263 285s 13113 74 infeasible 33 - 0.00000 - 264 290s Cutting planes: Gomory: 1 Clique: 3 Zero half: 17 Explored 13300 nodes (3544321 simplex iterations) in 294.26 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 06:42:13 2012 Optimize a model with 4794 rows, 1890 columns and 14770 nonzeros Presolve time: 0.01s Presolved: 4794 rows, 1890 columns, 14770 nonzeros Variable types: 0 continuous, 1890 integer (1890 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.00000 0 388 - 0.00000 - - 0s Explored 0 nodes (1060 simplex iterations) in 0.04 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