current bounds on the number of colors: 0 -- 118 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:46:09 2012 Optimize a model with 45371 rows, 7729 columns and 142721 nonzeros Presolve time: 0.16s Presolved: 45371 rows, 7729 columns, 142721 nonzeros Variable types: 0 continuous, 7729 integer (7729 binary) Root relaxation: objective 0.000000e+00, 287 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 (724 simplex iterations) in 0.31 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 -- 59 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:46:10 2012 Optimize a model with 22361 rows, 4189 columns and 70151 nonzeros Presolve time: 0.09s Presolved: 22361 rows, 4189 columns, 70151 nonzeros Variable types: 0 continuous, 4189 integer (4189 binary) Root relaxation: objective 0.000000e+00, 281 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 (597 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 -- 29 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 20:46:11 2012 Optimize a model with 10856 rows, 2419 columns and 33866 nonzeros Presolve time: 0.03s Presolved: 10856 rows, 2419 columns, 33866 nonzeros Variable types: 0 continuous, 2419 integer (2419 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 (486 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:46:11 2012 Optimize a model with 5487 rows, 1593 columns and 16933 nonzeros Presolve time: 0.01s Presolved: 5487 rows, 1593 columns, 16933 nonzeros Variable types: 0 continuous, 1593 integer (1593 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 (931 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:46:11 2012 Optimize a model with 2419 rows, 1121 columns and 7257 nonzeros Presolve time: 0.01s Presolved: 2419 rows, 1121 columns, 7257 nonzeros Variable types: 0 continuous, 1121 integer (1121 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 236 - 0.00000 - - 0s 0 0 0.00000 0 267 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4074 simplex iterations) in 0.50 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:46:11 2012 Optimize a model with 3953 rows, 1357 columns and 12095 nonzeros Presolve time: 0.01s Presolved: 3953 rows, 1357 columns, 12095 nonzeros Variable types: 0 continuous, 1357 integer (1357 binary) Root relaxation: objective 0.000000e+00, 249 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 234 - 0.00000 - - 0s 0 0 0.00000 0 199 - 0.00000 - - 0s 0 0 0.00000 0 245 - 0.00000 - - 1s 0 0 0.00000 0 280 - 0.00000 - - 1s 0 0 0.00000 0 236 - 0.00000 - - 1s 0 0 0.00000 0 202 - 0.00000 - - 2s 0 0 0.00000 0 308 - 0.00000 - - 2s 0 0 0.00000 0 292 - 0.00000 - - 3s 0 0 0.00000 0 258 - 0.00000 - - 4s 0 0 0.00000 0 266 - 0.00000 - - 4s 0 0 0.00000 0 282 - 0.00000 - - 5s 0 0 0.00000 0 281 - 0.00000 - - 5s 0 2 0.00000 0 277 - 0.00000 - - 5s 482 124 0.00000 19 250 - 0.00000 - 129 10s 607 166 0.00000 21 277 - 0.00000 - 122 15s 611 169 0.00000 21 232 - 0.00000 - 121 20s 729 155 0.00000 19 305 - 0.00000 - 182 25s 955 114 0.00000 34 253 - 0.00000 - 201 30s 1231 77 infeasible 36 - 0.00000 - 207 35s 1518 76 infeasible 34 - 0.00000 - 211 40s 1814 90 0.00000 33 252 - 0.00000 - 213 45s 2072 82 infeasible 34 - 0.00000 - 216 50s 2334 84 infeasible 32 - 0.00000 - 219 55s 2604 86 0.00000 29 188 - 0.00000 - 221 60s 2924 82 infeasible 29 - 0.00000 - 221 65s 3214 98 infeasible 33 - 0.00000 - 221 70s 3507 93 infeasible 32 - 0.00000 - 221 75s 3822 88 infeasible 30 - 0.00000 - 221 80s 4098 104 0.00000 34 202 - 0.00000 - 222 85s 4411 97 infeasible 29 - 0.00000 - 221 90s 4697 109 infeasible 34 - 0.00000 - 222 95s 4982 102 infeasible 32 - 0.00000 - 222 100s 5242 98 0.00000 29 255 - 0.00000 - 224 105s 5532 96 infeasible 32 - 0.00000 - 224 110s 5782 88 infeasible 36 - 0.00000 - 225 115s 6053 77 infeasible 33 - 0.00000 - 225 120s 6368 92 0.00000 32 253 - 0.00000 - 225 125s 6694 80 infeasible 31 - 0.00000 - 224 130s 6964 78 infeasible 28 - 0.00000 - 224 135s 7218 78 infeasible 31 - 0.00000 - 225 140s 7507 87 infeasible 32 - 0.00000 - 225 145s 7770 70 0.00000 29 264 - 0.00000 - 226 150s 8032 74 0.00000 36 251 - 0.00000 - 226 155s 8281 63 0.00000 28 278 - 0.00000 - 227 160s 8554 84 infeasible 35 - 0.00000 - 227 165s 8828 94 infeasible 38 - 0.00000 - 228 170s 9075 93 infeasible 35 - 0.00000 - 228 175s 9324 96 0.00000 32 299 - 0.00000 - 229 180s 9573 103 infeasible 37 - 0.00000 - 229 185s 9845 109 infeasible 44 - 0.00000 - 229 190s 10109 93 infeasible 31 - 0.00000 - 230 195s 10374 122 infeasible 31 - 0.00000 - 230 200s 10667 121 0.00000 30 292 - 0.00000 - 230 205s 10885 117 0.00000 31 292 - 0.00000 - 231 210s 11174 114 0.00000 29 225 - 0.00000 - 230 215s 11464 104 infeasible 31 - 0.00000 - 230 220s 11773 101 infeasible 34 - 0.00000 - 230 225s 12130 102 infeasible 31 - 0.00000 - 229 230s 12408 100 0.00000 31 266 - 0.00000 - 229 235s 12674 120 0.00000 35 263 - 0.00000 - 229 240s 12908 108 0.00000 34 286 - 0.00000 - 230 245s 13150 110 0.00000 36 269 - 0.00000 - 230 250s 13430 112 infeasible 37 - 0.00000 - 230 255s 13706 108 infeasible 34 - 0.00000 - 230 260s 13980 100 infeasible 29 - 0.00000 - 230 265s 14247 98 infeasible 34 - 0.00000 - 231 270s 14538 99 infeasible 31 - 0.00000 - 230 275s 14787 82 0.00000 32 274 - 0.00000 - 231 280s 15055 74 infeasible 32 - 0.00000 - 231 285s 15306 77 infeasible 35 - 0.00000 - 231 290s 15570 69 0.00000 33 261 - 0.00000 - 231 295s Cutting planes: Gomory: 1 Clique: 7 Zero half: 14 Explored 15675 nodes (3663537 simplex iterations) in 296.93 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:51:09 2012 Optimize a model with 4720 rows, 1475 columns and 14514 nonzeros Presolve time: 0.01s Presolved: 4720 rows, 1475 columns, 14514 nonzeros Variable types: 0 continuous, 1475 integer (1475 binary) Root relaxation: objective 0.000000e+00, 257 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 217 - 0.00000 - - 0s Explored 0 nodes (845 simplex iterations) in 0.05 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