current bounds on the number of colors: 0 -- 129 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:47:26 2012 Optimize a model with 53569 rows, 9091 columns and 168576 nonzeros Presolve time: 0.18s Presolved: 53569 rows, 9091 columns, 168576 nonzeros Variable types: 0 continuous, 9091 integer (9091 binary) Root relaxation: objective 0.000000e+00, 342 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 (628 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 -- 64 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:47:27 2012 Optimize a model with 26849 rows, 4963 columns and 84288 nonzeros Presolve time: 0.12s Presolved: 26849 rows, 4963 columns, 84288 nonzeros Variable types: 0 continuous, 4963 integer (4963 binary) Root relaxation: objective 0.000000e+00, 312 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 (591 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 -- 32 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:47:27 2012 Optimize a model with 13489 rows, 2899 columns and 42144 nonzeros Presolve time: 0.04s Presolved: 13489 rows, 2899 columns, 42144 nonzeros Variable types: 0 continuous, 2899 integer (2899 binary) Root relaxation: objective 0.000000e+00, 261 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 (500 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:47:27 2012 Optimize a model with 6809 rows, 1867 columns and 21072 nonzeros Presolve time: 0.02s Presolved: 6809 rows, 1867 columns, 21072 nonzeros Variable types: 0 continuous, 1867 integer (1867 binary) Root relaxation: objective 0.000000e+00, 261 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 (850 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:47:28 2012 Optimize a model with 3469 rows, 1351 columns and 10536 nonzeros Presolve time: 0.01s Presolved: 3469 rows, 1351 columns, 10536 nonzeros Variable types: 0 continuous, 1351 integer (1351 binary) Root relaxation: objective 0.000000e+00, 292 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 256 - 0.00000 - - 0s 0 0 0.00000 0 256 - 0.00000 - - 0s 0 0 0.00000 0 385 - 0.00000 - - 1s 0 0 0.00000 0 398 - 0.00000 - - 1s 0 0 0.00000 0 386 - 0.00000 - - 2s 0 0 0.00000 0 377 - 0.00000 - - 3s 0 0 0.00000 0 373 - 0.00000 - - 4s 0 0 0.00000 0 370 - 0.00000 - - 5s 0 0 0.00000 0 367 - 0.00000 - - 6s 0 0 0.00000 0 368 - 0.00000 - - 7s 0 0 0.00000 0 368 - 0.00000 - - 7s 0 2 0.00000 0 368 - 0.00000 - - 8s 44 2 infeasible 7 - 0.00000 - 330 10s Cutting planes: Clique: 23 Zero half: 29 Explored 47 nodes (49152 simplex iterations) in 10.10 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: 4 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:47:38 2012 Optimize a model with 5139 rows, 1609 columns and 15804 nonzeros Presolve time: 0.01s Presolved: 5139 rows, 1609 columns, 15804 nonzeros Variable types: 0 continuous, 1609 integer (1609 binary) Root relaxation: objective 0.000000e+00, 280 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 133 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 1 Clique: 38 Zero half: 26 Explored 0 nodes (3847 simplex iterations) in 0.33 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:47:38 2012 Optimize a model with 4304 rows, 1480 columns and 13170 nonzeros Presolve time: 0.01s Presolved: 4304 rows, 1480 columns, 13170 nonzeros Variable types: 0 continuous, 1480 integer (1480 binary) Root relaxation: objective 0.000000e+00, 277 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 240 - 0.00000 - - 0s 0 0 0.00000 0 244 - 0.00000 - - 0s 0 0 0.00000 0 320 - 0.00000 - - 1s 0 0 0.00000 0 355 - 0.00000 - - 1s 0 0 0.00000 0 224 - 0.00000 - - 2s 0 0 0.00000 0 192 - 0.00000 - - 2s 0 0 0.00000 0 268 - 0.00000 - - 3s 0 0 0.00000 0 265 - 0.00000 - - 3s 0 0 0.00000 0 307 - 0.00000 - - 4s 0 0 0.00000 0 251 - 0.00000 - - 4s 0 0 0.00000 0 263 - 0.00000 - - 5s 0 0 0.00000 0 263 - 0.00000 - - 5s 0 2 0.00000 0 263 - 0.00000 - - 6s 756 88 0.00000 28 200 - 0.00000 - 83.0 10s 807 98 0.00000 25 363 - 0.00000 - 83.4 15s 813 102 0.00000 22 349 - 0.00000 - 82.8 20s 1126 77 0.00000 30 271 - 0.00000 - 142 25s 1474 95 infeasible 29 - 0.00000 - 156 30s 1808 85 0.00000 32 277 - 0.00000 - 166 35s 2120 69 infeasible 29 - 0.00000 - 175 40s 2439 100 0.00000 29 277 - 0.00000 - 180 45s 2737 136 infeasible 30 - 0.00000 - 184 50s 3057 131 0.00000 30 254 - 0.00000 - 187 55s 3383 133 0.00000 25 204 - 0.00000 - 190 60s 3704 124 infeasible 35 - 0.00000 - 192 65s 4010 122 infeasible 29 - 0.00000 - 195 70s 4331 135 0.00000 29 276 - 0.00000 - 197 75s 4617 133 0.00000 19 298 - 0.00000 - 199 80s 4909 151 0.00000 29 218 - 0.00000 - 201 85s 5288 196 0.00000 29 276 - 0.00000 - 201 90s 5633 251 infeasible 37 - 0.00000 - 200 95s 5952 254 infeasible 33 - 0.00000 - 202 100s 6291 245 0.00000 36 280 - 0.00000 - 202 105s 6626 272 0.00000 29 270 - 0.00000 - 202 110s 6970 292 0.00000 37 267 - 0.00000 - 203 115s 7317 349 0.00000 35 286 - 0.00000 - 203 120s 7653 357 0.00000 32 270 - 0.00000 - 203 125s 7996 380 0.00000 42 202 - 0.00000 - 203 130s 8335 379 infeasible 41 - 0.00000 - 203 135s 8631 371 0.00000 40 266 - 0.00000 - 204 140s 8962 354 infeasible 39 - 0.00000 - 205 145s 9245 385 0.00000 35 248 - 0.00000 - 206 150s 9566 378 infeasible 32 - 0.00000 - 206 155s 9872 366 infeasible 36 - 0.00000 - 207 160s 10184 378 0.00000 37 261 - 0.00000 - 207 165s 10471 363 0.00000 34 210 - 0.00000 - 208 170s 10765 339 infeasible 36 - 0.00000 - 208 175s 11081 363 infeasible 35 - 0.00000 - 209 180s 11401 361 0.00000 37 271 - 0.00000 - 209 185s 11741 369 0.00000 41 268 - 0.00000 - 209 190s 12094 362 0.00000 33 222 - 0.00000 - 209 195s 12448 362 0.00000 29 244 - 0.00000 - 209 200s 12778 378 0.00000 32 275 - 0.00000 - 209 205s 13114 380 infeasible 40 - 0.00000 - 209 210s 13399 387 infeasible 31 - 0.00000 - 209 215s 13766 402 infeasible 35 - 0.00000 - 209 220s 14097 405 infeasible 34 - 0.00000 - 209 225s 14411 437 0.00000 34 295 - 0.00000 - 209 230s 14669 447 0.00000 32 289 - 0.00000 - 209 235s 14989 487 infeasible 26 - 0.00000 - 209 240s 15308 482 0.00000 24 230 - 0.00000 - 210 245s 15640 488 infeasible 35 - 0.00000 - 210 250s 15949 477 infeasible 32 - 0.00000 - 210 255s 16252 500 infeasible 31 - 0.00000 - 210 260s 16551 495 infeasible 34 - 0.00000 - 210 265s 16856 540 infeasible 33 - 0.00000 - 211 270s 17168 562 infeasible 35 - 0.00000 - 211 275s 17476 566 0.00000 32 248 - 0.00000 - 211 280s 17748 562 infeasible 33 - 0.00000 - 211 285s Cutting planes: Gomory: 3 Clique: 3 Zero half: 5 Explored 17817 nodes (3808924 simplex iterations) in 286.44 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: 6