current bounds on the number of colors: 0 -- 122 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:41:08 2012 Optimize a model with 50508 rows, 8268 columns and 158600 nonzeros Presolve time: 0.17s Presolved: 50508 rows, 8268 columns, 158600 nonzeros Variable types: 0 continuous, 8268 integer (8268 binary) Root relaxation: objective 0.000000e+00, 293 iterations, 0.06 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 (699 simplex iterations) in 0.32 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 -- 61 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 21:41:09 2012 Optimize a model with 24902 rows, 4486 columns and 78000 nonzeros Presolve time: 0.11s Presolved: 24902 rows, 4486 columns, 78000 nonzeros Variable types: 0 continuous, 4486 integer (4486 binary) Root relaxation: objective 0.000000e+00, 291 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 (563 simplex iterations) in 0.17 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:41:09 2012 Optimize a model with 12512 rows, 2656 columns and 39000 nonzeros Presolve time: 0.04s Presolved: 12512 rows, 2656 columns, 39000 nonzeros Variable types: 0 continuous, 2656 integer (2656 binary) Root relaxation: objective 0.000000e+00, 245 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 (703 simplex iterations) in 0.08 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:41:09 2012 Optimize a model with 5904 rows, 1680 columns and 18200 nonzeros Presolve time: 0.02s Presolved: 5904 rows, 1680 columns, 18200 nonzeros Variable types: 0 continuous, 1680 integer (1680 binary) Root relaxation: objective 0.000000e+00, 264 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 (1210 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:41:09 2012 Optimize a model with 2600 rows, 1192 columns and 7800 nonzeros Presolve time: 0.01s Presolved: 2600 rows, 1192 columns, 7800 nonzeros Variable types: 0 continuous, 1192 integer (1192 binary) Root relaxation: objective 0.000000e+00, 290 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 198 - 0.00000 - - 0s 0 0 0.00000 0 301 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4741 simplex iterations) in 0.54 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:41:10 2012 Optimize a model with 4252 rows, 1436 columns and 13000 nonzeros Presolve time: 0.01s Presolved: 4252 rows, 1436 columns, 13000 nonzeros Variable types: 0 continuous, 1436 integer (1436 binary) Root relaxation: objective 0.000000e+00, 252 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 238 - 0.00000 - - 0s 0 0 0.00000 0 172 - 0.00000 - - 0s 0 0 0.00000 0 230 - 0.00000 - - 1s 0 0 0.00000 0 342 - 0.00000 - - 1s 0 0 0.00000 0 226 - 0.00000 - - 2s 0 0 0.00000 0 224 - 0.00000 - - 2s 0 0 0.00000 0 229 - 0.00000 - - 2s 0 0 0.00000 0 223 - 0.00000 - - 3s 0 0 0.00000 0 214 - 0.00000 - - 3s 0 0 0.00000 0 208 - 0.00000 - - 4s 0 0 0.00000 0 200 - 0.00000 - - 4s 0 0 0.00000 0 192 - 0.00000 - - 4s 0 0 0.00000 0 198 - 0.00000 - - 5s 0 0 0.00000 0 186 - 0.00000 - - 5s 0 0 0.00000 0 188 - 0.00000 - - 6s 0 0 0.00000 0 184 - 0.00000 - - 6s 0 0 0.00000 0 229 - 0.00000 - - 7s 0 0 0.00000 0 229 - 0.00000 - - 7s 0 2 0.00000 0 229 - 0.00000 - - 8s 90 29 0.00000 12 297 - 0.00000 - 163 10s 561 58 0.00000 17 252 - 0.00000 - 138 15s 706 70 0.00000 11 322 - 0.00000 - 136 21s 710 73 0.00000 12 255 - 0.00000 - 136 26s 714 76 0.00000 12 262 - 0.00000 - 135 30s 725 81 0.00000 16 320 - 0.00000 - 195 35s 883 66 0.00000 28 264 - 0.00000 - 204 40s 1065 57 0.00000 23 208 - 0.00000 - 220 45s 1238 46 0.00000 29 198 - 0.00000 - 232 50s 1392 24 0.00000 25 293 - 0.00000 - 245 55s 1591 21 infeasible 28 - 0.00000 - 249 60s 1752 18 infeasible 23 - 0.00000 - 256 65s 1921 21 0.00000 24 288 - 0.00000 - 261 70s 2102 16 0.00000 23 275 - 0.00000 - 264 75s 2270 16 0.00000 22 307 - 0.00000 - 267 80s 2447 29 infeasible 26 - 0.00000 - 269 85s 2652 42 0.00000 25 268 - 0.00000 - 270 90s 2872 36 0.00000 25 271 - 0.00000 - 269 95s 3061 25 infeasible 27 - 0.00000 - 270 100s 3271 33 0.00000 27 270 - 0.00000 - 270 105s 3501 25 0.00000 25 229 - 0.00000 - 270 110s 3706 20 0.00000 27 257 - 0.00000 - 271 115s 3873 21 0.00000 26 284 - 0.00000 - 274 120s 4059 21 0.00000 25 286 - 0.00000 - 275 125s 4267 15 infeasible 26 - 0.00000 - 276 130s 4439 15 0.00000 27 260 - 0.00000 - 278 135s 4645 13 0.00000 27 275 - 0.00000 - 278 140s 4852 22 infeasible 30 - 0.00000 - 278 145s 5084 28 infeasible 34 - 0.00000 - 278 150s 5327 23 0.00000 26 268 - 0.00000 - 278 155s 5574 26 infeasible 30 - 0.00000 - 277 160s 5843 23 0.00000 24 289 - 0.00000 - 275 165s 6084 28 infeasible 28 - 0.00000 - 274 170s 6287 29 infeasible 32 - 0.00000 - 275 175s 6494 18 infeasible 30 - 0.00000 - 276 180s 6684 16 infeasible 30 - 0.00000 - 276 185s 6886 16 infeasible 34 - 0.00000 - 277 190s 7085 19 infeasible 33 - 0.00000 - 278 195s 7282 24 infeasible 29 - 0.00000 - 279 200s 7480 14 0.00000 31 291 - 0.00000 - 279 205s 7688 18 0.00000 26 287 - 0.00000 - 279 210s 7875 11 0.00000 25 298 - 0.00000 - 280 215s 8085 21 0.00000 27 261 - 0.00000 - 280 220s 8292 22 0.00000 34 208 - 0.00000 - 280 225s 8512 26 infeasible 31 - 0.00000 - 280 230s 8724 20 infeasible 29 - 0.00000 - 280 235s 8924 16 0.00000 27 283 - 0.00000 - 280 240s 9147 23 0.00000 30 212 - 0.00000 - 280 245s 9372 18 0.00000 31 251 - 0.00000 - 280 250s 9563 13 infeasible 30 - 0.00000 - 280 255s 9753 9 infeasible 24 - 0.00000 - 281 260s 9971 5 infeasible 23 - 0.00000 - 281 265s 10198 20 infeasible 30 - 0.00000 - 281 270s 10414 30 infeasible 30 - 0.00000 - 281 275s 10637 27 infeasible 26 - 0.00000 - 281 280s 10861 15 infeasible 30 - 0.00000 - 281 285s 11073 13 0.00000 25 228 - 0.00000 - 281 290s 11247 13 0.00000 27 273 - 0.00000 - 281 295s Cutting planes: Clique: 4 Zero half: 15 Explored 11325 nodes (3247650 simplex iterations) in 296.59 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:46:07 2012 Optimize a model with 5078 rows, 1558 columns and 15600 nonzeros Presolve time: 0.01s Presolved: 5078 rows, 1558 columns, 15600 nonzeros Variable types: 0 continuous, 1558 integer (1558 binary) Root relaxation: objective 0.000000e+00, 262 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 244 - 0.00000 - - 0s Explored 0 nodes (591 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: 7