current bounds on the number of colors: 0 -- 191 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:27:35 2012 Optimize a model with 85406 rows, 19042 columns and 273790 nonzeros Presolve time: 0.27s Presolved: 85406 rows, 19042 columns, 273790 nonzeros Variable types: 0 continuous, 19042 integer (19042 binary) Root relaxation: objective 0.000000e+00, 843 iterations, 0.10 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 (1263 simplex iterations) in 0.50 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 -- 95 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:27:37 2012 Optimize a model with 42350 rows, 9874 columns and 135454 nonzeros Presolve time: 0.15s Presolved: 42350 rows, 9874 columns, 135454 nonzeros Variable types: 0 continuous, 9874 integer (9874 binary) Root relaxation: objective 0.000000e+00, 663 iterations, 0.04 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 (1135 simplex iterations) in 0.26 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 -- 47 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:27:37 2012 Optimize a model with 20822 rows, 5290 columns and 66286 nonzeros Presolve time: 0.08s Presolved: 20822 rows, 5290 columns, 66286 nonzeros Variable types: 0 continuous, 5290 integer (5290 binary) Root relaxation: objective 0.000000e+00, 451 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 (820 simplex iterations) in 0.12 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 -- 23 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:27:38 2012 Optimize a model with 10058 rows, 2998 columns and 31702 nonzeros Presolve time: 0.03s Presolved: 10058 rows, 2998 columns, 31702 nonzeros Variable types: 0 continuous, 2998 integer (2998 binary) Root relaxation: objective 0.000000e+00, 392 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 (762 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 -- 11 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:27:38 2012 Optimize a model with 4676 rows, 1852 columns and 14410 nonzeros Presolve time: 0.01s Presolved: 4676 rows, 1852 columns, 14410 nonzeros Variable types: 0 continuous, 1852 integer (1852 binary) Root relaxation: objective 0.000000e+00, 439 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 356 - 0.00000 - - 0s * 0 0 0 0.0000000 0.00000 0.0% - 0s Cutting planes: Gomory: 2 Clique: 127 Zero half: 375 Explored 0 nodes (3860 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:27:38 2012 Optimize a model with 1985 rows, 1279 columns and 5764 nonzeros Presolve removed 191 rows and 191 columns Presolve time: 0.00s Presolved: 1794 rows, 1088 columns, 5382 nonzeros Variable types: 0 continuous, 1088 integer (1088 binary) Root relaxation: objective 0.000000e+00, 198 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 191 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (801 simplex iterations) in 0.02 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: 2 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:27:38 2012 Optimize a model with 2882 rows, 1470 columns and 8646 nonzeros Presolve time: 0.01s Presolved: 2882 rows, 1470 columns, 8646 nonzeros Variable types: 0 continuous, 1470 integer (1470 binary) Root relaxation: objective 0.000000e+00, 417 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 378 - 0.00000 - - 0s 0 0 0.00000 0 376 - 0.00000 - - 0s 0 0 0.00000 0 539 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 1s Cutting planes: Gomory: 43 Zero half: 566 Explored 0 nodes (8574 simplex iterations) in 1.36 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 -- 5 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 05:27:40 2012 Optimize a model with 3779 rows, 1661 columns and 11528 nonzeros Presolve time: 0.01s Presolved: 3779 rows, 1661 columns, 11528 nonzeros Variable types: 0 continuous, 1661 integer (1661 binary) Root relaxation: objective 0.000000e+00, 423 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 374 - 0.00000 - - 0s 0 0 0.00000 0 366 - 0.00000 - - 0s 0 0 0.00000 0 358 - 0.00000 - - 0s 0 0 0.00000 0 356 - 0.00000 - - 0s 0 0 0.00000 0 468 - 0.00000 - - 0s 0 0 0.00000 0 352 - 0.00000 - - 1s 0 0 0.00000 0 332 - 0.00000 - - 2s 0 0 0.00000 0 332 - 0.00000 - - 2s 0 0 0.00000 0 334 - 0.00000 - - 2s 0 0 0.00000 0 320 - 0.00000 - - 3s 0 0 0.00000 0 331 - 0.00000 - - 3s 0 0 0.00000 0 333 - 0.00000 - - 4s 0 0 0.00000 0 333 - 0.00000 - - 4s 0 2 0.00000 0 332 - 0.00000 - - 4s 46 30 0.00000 10 370 - 0.00000 - 157 5s 613 106 0.00000 7 350 - 0.00000 - 108 10s 617 108 0.00000 7 328 - 0.00000 - 108 15s 620 110 0.00000 9 314 - 0.00000 - 107 20s 624 113 0.00000 9 498 - 0.00000 - 106 25s 786 89 infeasible 25 - 0.00000 - 215 30s 1077 25 0.00000 26 342 - 0.00000 - 222 35s 1348 12 infeasible 28 - 0.00000 - 229 40s 1679 39 0.00000 27 342 - 0.00000 - 225 45s 1974 44 infeasible 27 - 0.00000 - 226 50s 2265 39 infeasible 28 - 0.00000 - 227 55s 2542 46 0.00000 19 386 - 0.00000 - 228 60s 2872 60 0.00000 24 336 - 0.00000 - 227 65s 3126 58 infeasible 30 - 0.00000 - 230 70s 3403 53 infeasible 26 - 0.00000 - 232 75s 3675 47 infeasible 27 - 0.00000 - 233 80s 3922 50 infeasible 29 - 0.00000 - 235 85s 4189 45 0.00000 23 332 - 0.00000 - 236 90s 4420 76 infeasible 27 - 0.00000 - 238 95s 4674 72 0.00000 29 332 - 0.00000 - 239 100s 4934 68 infeasible 29 - 0.00000 - 241 105s 5179 71 0.00000 24 379 - 0.00000 - 242 110s 5427 73 infeasible 25 - 0.00000 - 244 115s 5676 122 infeasible 23 - 0.00000 - 244 120s 5949 139 infeasible 25 - 0.00000 - 244 125s 6230 126 infeasible 27 - 0.00000 - 244 130s 6488 112 infeasible 27 - 0.00000 - 245 135s 6728 92 infeasible 26 - 0.00000 - 246 140s 6981 83 infeasible 24 - 0.00000 - 246 145s 7257 93 infeasible 28 - 0.00000 - 246 150s 7507 87 infeasible 28 - 0.00000 - 247 155s 7754 76 0.00000 20 422 - 0.00000 - 248 160s 7968 66 0.00000 23 320 - 0.00000 - 249 165s 8258 67 0.00000 25 317 - 0.00000 - 249 170s 8523 54 0.00000 23 442 - 0.00000 - 249 175s 8755 38 infeasible 26 - 0.00000 - 249 180s 9027 44 infeasible 26 - 0.00000 - 249 185s 9281 38 infeasible 29 - 0.00000 - 250 190s 9524 43 infeasible 23 - 0.00000 - 250 195s 9812 41 0.00000 25 370 - 0.00000 - 250 200s 10058 27 0.00000 25 413 - 0.00000 - 250 205s 10312 23 infeasible 28 - 0.00000 - 250 210s 10533 16 0.00000 30 310 - 0.00000 - 251 215s Cutting planes: Gomory: 1 Zero half: 9 Explored 10728 nodes (2727458 simplex iterations) in 218.70 seconds Thread count was 1 (of 16 available processors) Model objective exceeds cutoff Best objective -, best bound -, gap - optimal solution found: number of colors: 5