current bounds on the number of colors: 0 -- 120 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:09:34 2012 Optimize a model with 47520 rows, 7990 columns and 149400 nonzeros Presolve time: 0.16s Presolved: 47520 rows, 7990 columns, 149400 nonzeros Variable types: 0 continuous, 7990 integer (7990 binary) Root relaxation: objective 0.000000e+00, 289 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 (650 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 -- 60 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:09:35 2012 Optimize a model with 23820 rows, 4390 columns and 74700 nonzeros Presolve time: 0.10s Presolved: 23820 rows, 4390 columns, 74700 nonzeros Variable types: 0 continuous, 4390 integer (4390 binary) Root relaxation: objective 0.000000e+00, 284 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 (611 simplex iterations) in 0.16 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 -- 30 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:09:35 2012 Optimize a model with 11970 rows, 2590 columns and 37350 nonzeros Presolve time: 0.04s Presolved: 11970 rows, 2590 columns, 37350 nonzeros Variable types: 0 continuous, 2590 integer (2590 binary) Root relaxation: objective 0.000000e+00, 242 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 (499 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 -- 15 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:09:35 2012 Optimize a model with 5650 rows, 1630 columns and 17430 nonzeros Presolve time: 0.02s Presolved: 5650 rows, 1630 columns, 17430 nonzeros Variable types: 0 continuous, 1630 integer (1630 binary) Root relaxation: objective 0.000000e+00, 272 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 (1239 simplex iterations) in 0.07 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:09:36 2012 Optimize a model with 2490 rows, 1150 columns and 7470 nonzeros Presolve time: 0.01s Presolved: 2490 rows, 1150 columns, 7470 nonzeros Variable types: 0 continuous, 1150 integer (1150 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.00000 0 232 - 0.00000 - - 0s 0 0 0.00000 0 240 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4057 simplex iterations) in 0.43 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:09:36 2012 Optimize a model with 4070 rows, 1390 columns and 12450 nonzeros Presolve time: 0.01s Presolved: 4070 rows, 1390 columns, 12450 nonzeros Variable types: 0 continuous, 1390 integer (1390 binary) Root relaxation: objective 0.000000e+00, 254 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 226 - 0.00000 - - 0s 0 0 0.00000 0 214 - 0.00000 - - 0s 0 0 0.00000 0 321 - 0.00000 - - 1s 0 0 0.00000 0 298 - 0.00000 - - 1s 0 0 0.00000 0 341 - 0.00000 - - 1s 0 0 0.00000 0 184 - 0.00000 - - 1s 0 0 0.00000 0 222 - 0.00000 - - 2s 0 0 0.00000 0 174 - 0.00000 - - 2s 0 0 0.00000 0 194 - 0.00000 - - 3s 0 0 0.00000 0 251 - 0.00000 - - 3s 0 0 0.00000 0 275 - 0.00000 - - 4s 0 0 0.00000 0 275 - 0.00000 - - 4s 0 2 0.00000 0 275 - 0.00000 - - 5s 605 70 0.00000 23 319 - 0.00000 - 87.2 10s 610 73 0.00000 14 253 - 0.00000 - 86.5 15s 619 79 infeasible 14 - 0.00000 - 152 20s 922 46 0.00000 29 206 - 0.00000 - 171 25s 1219 61 infeasible 35 - 0.00000 - 184 30s 1495 67 infeasible 29 - 0.00000 - 195 35s 1789 89 0.00000 30 258 - 0.00000 - 199 40s 2047 113 0.00000 35 265 - 0.00000 - 204 45s 2343 111 0.00000 32 275 - 0.00000 - 207 50s 2629 113 0.00000 31 282 - 0.00000 - 210 55s 2885 117 infeasible 31 - 0.00000 - 213 60s 3136 110 0.00000 32 263 - 0.00000 - 217 65s 3416 118 0.00000 32 261 - 0.00000 - 218 70s 3686 116 infeasible 32 - 0.00000 - 220 75s 3940 104 infeasible 31 - 0.00000 - 222 80s 4178 94 0.00000 22 262 - 0.00000 - 225 85s 4429 85 infeasible 28 - 0.00000 - 227 90s 4678 76 0.00000 28 270 - 0.00000 - 228 95s 4940 66 0.00000 25 296 - 0.00000 - 229 100s 5201 83 0.00000 35 259 - 0.00000 - 229 105s 5487 71 infeasible 38 - 0.00000 - 230 110s 5739 79 infeasible 35 - 0.00000 - 230 115s 5992 66 infeasible 30 - 0.00000 - 231 120s 6245 67 infeasible 33 - 0.00000 - 232 125s 6508 72 0.00000 31 289 - 0.00000 - 233 130s 6780 112 infeasible 36 - 0.00000 - 233 135s 7008 108 0.00000 30 281 - 0.00000 - 234 140s 7257 119 infeasible 33 - 0.00000 - 235 145s 7525 143 infeasible 34 - 0.00000 - 235 150s 7780 144 0.00000 30 266 - 0.00000 - 235 155s 8040 142 infeasible 39 - 0.00000 - 236 160s 8291 135 infeasible 34 - 0.00000 - 236 165s 8546 143 0.00000 34 212 - 0.00000 - 237 170s 8791 136 infeasible 37 - 0.00000 - 237 175s 9029 131 infeasible 33 - 0.00000 - 238 180s 9270 132 infeasible 32 - 0.00000 - 239 185s 9518 134 infeasible 36 - 0.00000 - 239 190s 9776 128 infeasible 33 - 0.00000 - 240 195s 10023 125 0.00000 29 275 - 0.00000 - 240 200s 10277 125 infeasible 36 - 0.00000 - 240 205s 10525 125 0.00000 29 284 - 0.00000 - 241 210s 10788 120 infeasible 28 - 0.00000 - 241 215s 11042 118 infeasible 28 - 0.00000 - 241 220s 11293 107 infeasible 35 - 0.00000 - 241 225s 11544 98 infeasible 34 - 0.00000 - 241 230s 11810 102 0.00000 30 267 - 0.00000 - 241 235s 12083 95 infeasible 31 - 0.00000 - 241 240s 12321 91 infeasible 33 - 0.00000 - 242 245s 12579 79 infeasible 29 - 0.00000 - 242 250s 12855 89 0.00000 35 262 - 0.00000 - 242 255s 13127 77 infeasible 35 - 0.00000 - 242 260s 13384 88 infeasible 38 - 0.00000 - 242 265s 13611 79 infeasible 31 - 0.00000 - 243 270s 13846 92 infeasible 33 - 0.00000 - 243 275s 14070 82 0.00000 31 257 - 0.00000 - 243 280s 14334 82 infeasible 34 - 0.00000 - 243 285s 14604 78 0.00000 35 258 - 0.00000 - 243 290s 14870 81 infeasible 35 - 0.00000 - 243 295s Cutting planes: Clique: 5 Zero half: 18 Explored 14957 nodes (3675768 simplex iterations) in 296.87 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: 5 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:14:33 2012 Optimize a model with 4860 rows, 1510 columns and 14940 nonzeros Presolve time: 0.01s Presolved: 4860 rows, 1510 columns, 14940 nonzeros Variable types: 0 continuous, 1510 integer (1510 binary) Root relaxation: objective 0.000000e+00, 253 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 240 - 0.00000 - - 0s Explored 0 nodes (773 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: 7