current bounds on the number of colors: 0 -- 114 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:15:30 2012 Optimize a model with 40812 rows, 7212 columns and 128592 nonzeros Presolve time: 0.16s Presolved: 40812 rows, 7212 columns, 128592 nonzeros Variable types: 0 continuous, 7212 integer (7212 binary) Root relaxation: objective 0.000000e+00, 269 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 (544 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 -- 57 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:15:31 2012 Optimize a model with 20106 rows, 3906 columns and 63168 nonzeros Presolve time: 0.08s Presolved: 20106 rows, 3906 columns, 63168 nonzeros Variable types: 0 continuous, 3906 integer (3906 binary) Root relaxation: objective 0.000000e+00, 268 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 (733 simplex iterations) in 0.15 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 -- 28 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:15:31 2012 Optimize a model with 10110 rows, 2310 columns and 31584 nonzeros Presolve time: 0.03s Presolved: 10110 rows, 2310 columns, 31584 nonzeros Variable types: 0 continuous, 2310 integer (2310 binary) Root relaxation: objective 0.000000e+00, 236 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 (593 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 -- 14 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:15:31 2012 Optimize a model with 5112 rows, 1512 columns and 15792 nonzeros Presolve time: 0.01s Presolved: 5112 rows, 1512 columns, 15792 nonzeros Variable types: 0 continuous, 1512 integer (1512 binary) Root relaxation: objective 0.000000e+00, 246 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 (1090 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 -- 7 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:15:32 2012 Optimize a model with 2256 rows, 1056 columns and 6768 nonzeros Presolve time: 0.01s Presolved: 2256 rows, 1056 columns, 6768 nonzeros Variable types: 0 continuous, 1056 integer (1056 binary) Root relaxation: objective 0.000000e+00, 239 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 200 - 0.00000 - - 0s 0 0 0.00000 0 237 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (3984 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 20:15:32 2012 Optimize a model with 3684 rows, 1284 columns and 11280 nonzeros Presolve time: 0.01s Presolved: 3684 rows, 1284 columns, 11280 nonzeros Variable types: 0 continuous, 1284 integer (1284 binary) Root relaxation: objective 0.000000e+00, 243 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 224 - 0.00000 - - 0s 0 0 0.00000 0 183 - 0.00000 - - 0s 0 0 0.00000 0 283 - 0.00000 - - 0s 0 0 0.00000 0 326 - 0.00000 - - 1s 0 0 0.00000 0 333 - 0.00000 - - 1s 0 0 0.00000 0 285 - 0.00000 - - 2s 0 0 0.00000 0 277 - 0.00000 - - 2s 0 0 0.00000 0 253 - 0.00000 - - 3s 0 0 0.00000 0 262 - 0.00000 - - 3s 0 0 0.00000 0 262 - 0.00000 - - 4s 0 2 0.00000 0 262 - 0.00000 - - 4s 28 22 0.00000 19 172 - 0.00000 - 187 5s 606 68 0.00000 19 271 - 0.00000 - 74.5 10s 611 72 0.00000 17 262 - 0.00000 - 73.9 15s 617 76 0.00000 20 215 - 0.00000 - 73.1 20s 716 74 0.00000 22 272 - 0.00000 - 148 25s 1082 48 infeasible 28 - 0.00000 - 163 30s 1492 56 infeasible 30 - 0.00000 - 169 35s 1874 58 infeasible 29 - 0.00000 - 175 40s 2246 120 infeasible 34 - 0.00000 - 179 45s 2671 149 0.00000 37 194 - 0.00000 - 180 50s 3097 139 infeasible 27 - 0.00000 - 181 55s 3535 139 infeasible 25 - 0.00000 - 180 60s 3905 175 0.00000 27 242 - 0.00000 - 182 65s 4259 169 infeasible 31 - 0.00000 - 185 70s 4639 169 0.00000 28 176 - 0.00000 - 186 75s 5007 181 infeasible 38 - 0.00000 - 188 80s 5349 173 infeasible 37 - 0.00000 - 190 85s 5670 156 infeasible 34 - 0.00000 - 192 90s 6013 157 infeasible 27 - 0.00000 - 193 95s 6363 155 infeasible 36 - 0.00000 - 194 100s 6707 146 infeasible 37 - 0.00000 - 196 105s 7027 132 0.00000 28 202 - 0.00000 - 197 110s 7365 128 infeasible 34 - 0.00000 - 198 115s 7707 118 infeasible 25 - 0.00000 - 199 120s 8050 109 0.00000 23 260 - 0.00000 - 200 125s 8421 106 infeasible 33 - 0.00000 - 200 130s 8802 118 0.00000 27 246 - 0.00000 - 200 135s 9148 108 0.00000 30 186 - 0.00000 - 201 140s 9496 110 infeasible 29 - 0.00000 - 201 145s 9796 112 infeasible 34 - 0.00000 - 202 150s 10186 118 0.00000 27 233 - 0.00000 - 202 155s 10573 103 0.00000 29 227 - 0.00000 - 202 160s 10944 102 0.00000 31 182 - 0.00000 - 201 165s 11311 91 0.00000 29 261 - 0.00000 - 201 170s 11632 84 infeasible 33 - 0.00000 - 202 175s 11931 69 0.00000 31 194 - 0.00000 - 203 180s 12240 52 0.00000 23 262 - 0.00000 - 204 185s 12591 61 infeasible 41 - 0.00000 - 204 190s 12916 40 infeasible 29 - 0.00000 - 205 195s 13237 35 0.00000 23 237 - 0.00000 - 205 200s 13540 50 infeasible 33 - 0.00000 - 206 205s 13888 46 0.00000 29 238 - 0.00000 - 206 210s 14191 43 infeasible 34 - 0.00000 - 206 215s 14533 39 0.00000 27 250 - 0.00000 - 207 220s 14869 39 infeasible 23 - 0.00000 - 207 225s 15190 58 0.00000 26 235 - 0.00000 - 207 230s 15542 68 0.00000 27 236 - 0.00000 - 207 235s 15917 63 infeasible 28 - 0.00000 - 207 240s 16309 49 infeasible 26 - 0.00000 - 207 245s 16735 55 infeasible 35 - 0.00000 - 206 250s 17173 51 infeasible 38 - 0.00000 - 205 255s 17532 42 0.00000 27 236 - 0.00000 - 205 260s 17914 40 infeasible 30 - 0.00000 - 205 265s 18295 41 infeasible 32 - 0.00000 - 205 270s 18634 34 0.00000 28 225 - 0.00000 - 205 275s 19004 44 infeasible 28 - 0.00000 - 205 280s 19282 46 0.00000 27 184 - 0.00000 - 206 285s 19612 42 0.00000 30 176 - 0.00000 - 206 290s 19970 40 0.00000 27 266 - 0.00000 - 206 295s Cutting planes: Clique: 2 Zero half: 12 Explored 20087 nodes (4173287 simplex iterations) in 297.24 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 20:20:29 2012 Optimize a model with 4398 rows, 1398 columns and 13536 nonzeros Presolve time: 0.01s Presolved: 4398 rows, 1398 columns, 13536 nonzeros Variable types: 0 continuous, 1398 integer (1398 binary) Root relaxation: objective 0.000000e+00, 243 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 228 - 0.00000 - - 0s Explored 0 nodes (765 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