current bounds on the number of colors: 0 -- 126 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:01:36 2012 Optimize a model with 50526 rows, 8738 columns and 159138 nonzeros Presolve time: 0.17s Presolved: 50526 rows, 8738 columns, 159138 nonzeros Variable types: 0 continuous, 8738 integer (8738 binary) Root relaxation: objective 0.000000e+00, 307 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 (589 simplex iterations) in 0.29 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 -- 63 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:01:37 2012 Optimize a model with 24926 rows, 4706 columns and 78306 nonzeros Presolve time: 0.11s Presolved: 24926 rows, 4706 columns, 78306 nonzeros Variable types: 0 continuous, 4706 integer (4706 binary) Root relaxation: objective 0.000000e+00, 379 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 (721 simplex iterations) in 0.18 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 -- 31 Gurobi 5.0.1 (linux64) logging started Thu Dec 13 23:01:37 2012 Optimize a model with 12126 rows, 2690 columns and 37890 nonzeros Presolve time: 0.04s Presolved: 12126 rows, 2690 columns, 37890 nonzeros Variable types: 0 continuous, 2690 integer (2690 binary) Root relaxation: objective 0.000000e+00, 255 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 (517 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 23:01:37 2012 Optimize a model with 5726 rows, 1682 columns and 17682 nonzeros Presolve time: 0.02s Presolved: 5726 rows, 1682 columns, 17682 nonzeros Variable types: 0 continuous, 1682 integer (1682 binary) Root relaxation: objective 0.000000e+00, 268 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 (927 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 23:01:37 2012 Optimize a model with 2526 rows, 1178 columns and 7578 nonzeros Presolve time: 0.01s Presolved: 2526 rows, 1178 columns, 7578 nonzeros Variable types: 0 continuous, 1178 integer (1178 binary) Root relaxation: objective 0.000000e+00, 284 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 250 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (4185 simplex iterations) in 0.46 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 23:01:38 2012 Optimize a model with 4126 rows, 1430 columns and 12630 nonzeros Presolve time: 0.01s Presolved: 4126 rows, 1430 columns, 12630 nonzeros Variable types: 0 continuous, 1430 integer (1430 binary) Root relaxation: objective 0.000000e+00, 262 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 232 - 0.00000 - - 0s 0 0 0.00000 0 262 - 0.00000 - - 0s 0 0 0.00000 0 216 - 0.00000 - - 1s 0 0 0.00000 0 338 - 0.00000 - - 1s 0 0 0.00000 0 291 - 0.00000 - - 1s 0 0 0.00000 0 316 - 0.00000 - - 2s 0 0 0.00000 0 328 - 0.00000 - - 2s 0 0 0.00000 0 328 - 0.00000 - - 3s 0 2 0.00000 0 328 - 0.00000 - - 3s 159 36 infeasible 24 - 0.00000 - 127 5s 1228 42 0.00000 29 247 - 0.00000 - 85.8 10s 1316 62 0.00000 17 309 - 0.00000 - 85.9 15s 1320 65 0.00000 9 263 - 0.00000 - 85.6 20s 1492 65 infeasible 38 - 0.00000 - 115 25s 1826 57 0.00000 35 208 - 0.00000 - 134 30s 2175 52 0.00000 27 206 - 0.00000 - 145 35s 2574 79 infeasible 31 - 0.00000 - 152 40s 2951 104 infeasible 34 - 0.00000 - 157 45s 3295 62 0.00000 26 265 - 0.00000 - 163 50s 3650 95 0.00000 31 224 - 0.00000 - 166 55s 3984 83 infeasible 31 - 0.00000 - 170 60s 4339 90 0.00000 26 218 - 0.00000 - 173 65s 4660 89 infeasible 32 - 0.00000 - 176 70s 4998 105 0.00000 31 261 - 0.00000 - 178 75s 5310 97 0.00000 26 210 - 0.00000 - 181 80s 5627 86 0.00000 33 227 - 0.00000 - 183 85s 5917 62 infeasible 36 - 0.00000 - 185 90s 6221 54 0.00000 31 272 - 0.00000 - 188 95s 6493 50 infeasible 32 - 0.00000 - 190 100s 6788 77 infeasible 35 - 0.00000 - 192 105s 7050 65 infeasible 33 - 0.00000 - 194 110s 7333 56 infeasible 28 - 0.00000 - 196 115s 7651 64 infeasible 31 - 0.00000 - 197 120s 7958 67 infeasible 28 - 0.00000 - 198 125s 8264 69 0.00000 28 222 - 0.00000 - 199 130s 8561 60 0.00000 29 227 - 0.00000 - 200 135s 8881 68 infeasible 30 - 0.00000 - 200 140s 9191 88 0.00000 35 271 - 0.00000 - 201 145s 9502 101 infeasible 39 - 0.00000 - 201 150s 9785 90 0.00000 32 273 - 0.00000 - 202 155s 10080 91 infeasible 37 - 0.00000 - 203 160s 10396 87 infeasible 33 - 0.00000 - 203 165s 10686 87 infeasible 30 - 0.00000 - 204 170s 11009 86 infeasible 33 - 0.00000 - 204 175s 11324 93 infeasible 38 - 0.00000 - 205 180s 11597 86 infeasible 31 - 0.00000 - 206 185s 11926 103 infeasible 35 - 0.00000 - 206 190s 12285 104 0.00000 34 238 - 0.00000 - 205 195s 12594 91 0.00000 25 206 - 0.00000 - 206 200s 12922 95 infeasible 29 - 0.00000 - 206 205s 13229 90 0.00000 28 270 - 0.00000 - 207 210s 13560 83 0.00000 31 252 - 0.00000 - 207 215s 13884 97 0.00000 32 271 - 0.00000 - 207 220s 14236 99 infeasible 34 - 0.00000 - 207 225s 14561 92 infeasible 37 - 0.00000 - 207 230s 14883 114 0.00000 32 256 - 0.00000 - 207 235s 15205 110 infeasible 33 - 0.00000 - 207 240s 15518 99 0.00000 28 202 - 0.00000 - 207 245s 15834 99 0.00000 24 291 - 0.00000 - 207 250s 16159 112 0.00000 30 251 - 0.00000 - 208 255s 16498 111 0.00000 22 277 - 0.00000 - 208 260s 16833 116 infeasible 29 - 0.00000 - 208 265s 17118 113 0.00000 32 255 - 0.00000 - 208 270s 17469 108 infeasible 34 - 0.00000 - 208 275s 17782 97 0.00000 32 274 - 0.00000 - 208 280s 18079 90 0.00000 29 200 - 0.00000 - 209 285s 18358 85 0.00000 30 275 - 0.00000 - 209 290s 18658 75 infeasible 27 - 0.00000 - 209 295s Cutting planes: Gomory: 3 Zero half: 12 Explored 18753 nodes (3952079 simplex iterations) in 296.71 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 23:06:35 2012 Optimize a model with 4926 rows, 1556 columns and 15156 nonzeros Presolve time: 0.01s Presolved: 4926 rows, 1556 columns, 15156 nonzeros Variable types: 0 continuous, 1556 integer (1556 binary) Root relaxation: objective 0.000000e+00, 265 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 252 - 0.00000 - - 0s Explored 0 nodes (776 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