current bounds on the number of colors: 0 -- 127 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:21:17 2012 Optimize a model with 57142 rows, 8906 columns and 179046 nonzeros Presolve time: 0.17s Presolved: 57142 rows, 8906 columns, 179046 nonzeros Variable types: 0 continuous, 8906 integer (8906 binary) Root relaxation: objective 0.000000e+00, 298 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 (660 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 -- 63 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:21:17 2012 Optimize a model with 28182 rows, 4842 columns and 88102 nonzeros Presolve time: 0.13s Presolved: 28182 rows, 4842 columns, 88102 nonzeros Variable types: 0 continuous, 4842 integer (4842 binary) Root relaxation: objective 0.000000e+00, 307 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 (622 simplex iterations) in 0.19 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 Fri Dec 14 00:21:18 2012 Optimize a model with 13702 rows, 2810 columns and 42630 nonzeros Presolve time: 0.04s Presolved: 13702 rows, 2810 columns, 42630 nonzeros Variable types: 0 continuous, 2810 integer (2810 binary) Root relaxation: objective 0.000000e+00, 258 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 (531 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 -- 15 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:21:18 2012 Optimize a model with 6462 rows, 1794 columns and 19894 nonzeros Presolve time: 0.02s Presolved: 6462 rows, 1794 columns, 19894 nonzeros Variable types: 0 continuous, 1794 integer (1794 binary) Root relaxation: objective 0.000000e+00, 271 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 92 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (1986 simplex iterations) in 0.13 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 Fri Dec 14 00:21:18 2012 Optimize a model with 2842 rows, 1286 columns and 8526 nonzeros Presolve time: 0.01s Presolved: 2842 rows, 1286 columns, 8526 nonzeros Variable types: 0 continuous, 1286 integer (1286 binary) Root relaxation: objective 0.000000e+00, 279 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 246 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Cutting planes: Gomory: 5 Clique: 351 Zero half: 469 Explored 0 nodes (2340 simplex iterations) in 0.19 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 Fri Dec 14 00:21:19 2012 Optimize a model with 4652 rows, 1540 columns and 14210 nonzeros Presolve time: 0.01s Presolved: 4652 rows, 1540 columns, 14210 nonzeros Variable types: 0 continuous, 1540 integer (1540 binary) Root relaxation: objective 0.000000e+00, 267 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 0 0 0.00000 0 228 - 0.00000 - - 0s 0 0 0.00000 0 290 - 0.00000 - - 1s 0 0 0.00000 0 347 - 0.00000 - - 1s 0 0 0.00000 0 319 - 0.00000 - - 2s 0 0 0.00000 0 295 - 0.00000 - - 3s 0 0 0.00000 0 285 - 0.00000 - - 4s 0 0 0.00000 0 312 - 0.00000 - - 5s 0 0 0.00000 0 348 - 0.00000 - - 6s 0 0 0.00000 0 348 - 0.00000 - - 6s 0 2 0.00000 0 348 - 0.00000 - - 7s 186 16 infeasible 20 - 0.00000 - 158 10s 633 34 0.00000 22 272 - 0.00000 - 136 15s 1003 48 0.00000 10 290 - 0.00000 - 130 20s 1007 51 0.00000 26 288 - 0.00000 - 130 26s 1011 54 0.00000 13 241 - 0.00000 - 129 30s 1019 59 0.00000 15 323 - 0.00000 - 168 35s 1104 74 0.00000 27 293 - 0.00000 - 174 40s 1273 61 0.00000 27 307 - 0.00000 - 191 45s 1439 85 infeasible 25 - 0.00000 - 202 50s 1598 100 infeasible 23 - 0.00000 - 212 55s 1737 89 infeasible 24 - 0.00000 - 223 60s 1884 100 0.00000 21 320 - 0.00000 - 230 65s 2038 100 infeasible 29 - 0.00000 - 238 70s 2191 89 0.00000 24 330 - 0.00000 - 243 75s 2348 98 0.00000 25 310 - 0.00000 - 248 80s 2494 98 0.00000 26 272 - 0.00000 - 254 85s 2640 98 infeasible 31 - 0.00000 - 259 90s 2779 97 0.00000 25 289 - 0.00000 - 265 95s 2924 94 0.00000 23 318 - 0.00000 - 269 100s 3078 96 0.00000 26 312 - 0.00000 - 272 105s 3227 107 0.00000 24 304 - 0.00000 - 275 110s 3375 103 infeasible 26 - 0.00000 - 278 115s 3533 107 infeasible 28 - 0.00000 - 280 120s 3679 107 0.00000 29 284 - 0.00000 - 283 125s 3830 106 infeasible 32 - 0.00000 - 285 130s 3984 104 infeasible 24 - 0.00000 - 287 135s 4136 102 infeasible 31 - 0.00000 - 289 140s 4289 95 infeasible 27 - 0.00000 - 290 145s 4432 82 0.00000 22 316 - 0.00000 - 292 150s 4590 76 0.00000 23 296 - 0.00000 - 293 155s 4740 84 0.00000 31 284 - 0.00000 - 295 160s 4872 94 0.00000 22 323 - 0.00000 - 297 165s 4994 88 0.00000 27 315 - 0.00000 - 299 170s 5136 88 0.00000 25 300 - 0.00000 - 301 175s 5259 85 infeasible 24 - 0.00000 - 303 180s 5386 76 infeasible 27 - 0.00000 - 306 185s 5515 85 infeasible 27 - 0.00000 - 307 190s 5651 77 0.00000 19 294 - 0.00000 - 309 195s 5789 67 infeasible 25 - 0.00000 - 311 200s 5922 62 infeasible 29 - 0.00000 - 312 205s 6075 67 0.00000 25 313 - 0.00000 - 313 210s 6216 60 infeasible 24 - 0.00000 - 314 215s 6337 47 infeasible 25 - 0.00000 - 316 220s 6485 45 0.00000 24 325 - 0.00000 - 316 225s 6633 37 infeasible 25 - 0.00000 - 317 230s 6755 39 infeasible 27 - 0.00000 - 318 235s 6883 31 infeasible 28 - 0.00000 - 320 240s 7035 23 0.00000 24 311 - 0.00000 - 320 245s 7163 23 0.00000 26 317 - 0.00000 - 321 250s 7307 13 infeasible 27 - 0.00000 - 321 255s 7456 18 infeasible 27 - 0.00000 - 322 260s 7595 11 infeasible 24 - 0.00000 - 322 265s 7720 6 infeasible 28 - 0.00000 - 324 270s Cutting planes: Clique: 9 Zero half: 7 Explored 7773 nodes (2555067 simplex iterations) in 272.09 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - current bounds on the number of colors: 5 -- 7 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:25:51 2012 Optimize a model with 5557 rows, 1667 columns and 17052 nonzeros Presolve time: 0.01s Presolved: 5557 rows, 1667 columns, 17052 nonzeros Variable types: 0 continuous, 1667 integer (1667 binary) Root relaxation: objective 0.000000e+00, 267 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 252 - 0.00000 - - 0s 0 0 0.00000 0 187 - 0.00000 - - 0s 0 0 0.00000 0 168 - 0.00000 - - 1s 0 0 0.00000 0 303 - 0.00000 - - 1s 0 0 0.00000 0 258 - 0.00000 - - 1s * 0 0 0 0.0000000 0.00000 0.0% - 2s Cutting planes: Clique: 10 Zero half: 106 Explored 0 nodes (17927 simplex iterations) in 2.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% optimal solution found: number of colors: 6