current bounds on the number of colors: 0 -- 202 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:02:09 2012 Optimize a model with 101000 rows, 21400 columns and 322796 nonzeros Presolve time: 0.33s Presolved: 101000 rows, 21400 columns, 322796 nonzeros Variable types: 0 continuous, 21400 integer (21400 binary) Root relaxation: objective 0.000000e+00, 819 iterations, 0.11 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 (1311 simplex iterations) in 0.61 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 -- 101 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:02:11 2012 Optimize a model with 50102 rows, 11098 columns and 159800 nonzeros Presolve time: 0.17s Presolved: 50102 rows, 11098 columns, 159800 nonzeros Variable types: 0 continuous, 11098 integer (11098 binary) Root relaxation: objective 0.000000e+00, 683 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 (1176 simplex iterations) in 0.30 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 -- 50 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:02:11 2012 Optimize a model with 25152 rows, 6048 columns and 79900 nonzeros Presolve time: 0.10s Presolved: 25152 rows, 6048 columns, 79900 nonzeros Variable types: 0 continuous, 6048 integer (6048 binary) Root relaxation: objective 0.000000e+00, 478 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 (871 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 -- 25 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:02:12 2012 Optimize a model with 12178 rows, 3422 columns and 38352 nonzeros Presolve time: 0.04s Presolved: 12178 rows, 3422 columns, 38352 nonzeros Variable types: 0 continuous, 3422 integer (3422 binary) Root relaxation: objective 0.000000e+00, 422 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 (780 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 -- 12 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:02:12 2012 Optimize a model with 6190 rows, 2210 columns and 19176 nonzeros Presolve time: 0.02s Presolved: 6190 rows, 2210 columns, 19176 nonzeros Variable types: 0 continuous, 2210 integer (2210 binary) Root relaxation: objective 0.000000e+00, 441 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 (1599 simplex iterations) in 0.08 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:02:12 2012 Optimize a model with 3196 rows, 1604 columns and 9588 nonzeros Presolve time: 0.01s Presolved: 3196 rows, 1604 columns, 9588 nonzeros Variable types: 0 continuous, 1604 integer (1604 binary) Root relaxation: objective 0.000000e+00, 459 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 398 - 0.00000 - - 0s 0 0 0.00000 0 400 - 0.00000 - - 0s 0 0 infeasible 0 - 0.10000 - - 0s Explored 0 nodes (5719 simplex iterations) in 0.74 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 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:02:13 2012 Optimize a model with 4194 rows, 1806 columns and 12784 nonzeros Presolve time: 0.01s Presolved: 4194 rows, 1806 columns, 12784 nonzeros Variable types: 0 continuous, 1806 integer (1806 binary) Root relaxation: objective 0.000000e+00, 441 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 382 - 0.00000 - - 0s 0 0 0.00000 0 356 - 0.00000 - - 0s 0 0 0.00000 0 374 - 0.00000 - - 1s 0 0 0.00000 0 430 - 0.00000 - - 1s 0 0 0.00000 0 374 - 0.00000 - - 1s 0 0 0.00000 0 372 - 0.00000 - - 2s 0 0 0.00000 0 372 - 0.00000 - - 2s 0 0 0.00000 0 374 - 0.00000 - - 3s 0 0 0.00000 0 362 - 0.00000 - - 4s 0 0 0.00000 0 362 - 0.00000 - - 4s 0 0 0.00000 0 362 - 0.00000 - - 4s 0 2 0.00000 0 362 - 0.00000 - - 5s 601 57 0.00000 17 356 - 0.00000 - 111 10s 606 60 0.00000 22 362 - 0.00000 - 110 15s 609 62 0.00000 21 352 - 0.00000 - 110 20s 612 64 0.00000 15 322 - 0.00000 - 109 27s 613 65 0.00000 14 330 - 0.00000 - 109 30s 616 67 0.00000 20 417 - 0.00000 - 109 37s 618 68 0.00000 21 433 - 0.00000 - 108 40s 771 54 0.00000 18 342 - 0.00000 - 243 45s 997 71 0.00000 23 362 - 0.00000 - 247 50s 1217 83 infeasible 25 - 0.00000 - 254 55s 1454 86 infeasible 33 - 0.00000 - 256 60s 1665 91 infeasible 26 - 0.00000 - 259 65s 1930 114 0.00000 30 340 - 0.00000 - 257 70s 2185 95 infeasible 29 - 0.00000 - 258 75s 2415 97 infeasible 32 - 0.00000 - 259 80s 2647 101 0.00000 28 399 - 0.00000 - 259 85s 2878 98 0.00000 25 362 - 0.00000 - 260 90s 3109 127 infeasible 28 - 0.00000 - 261 95s 3356 148 0.00000 27 362 - 0.00000 - 261 100s 3598 164 infeasible 32 - 0.00000 - 262 105s 3839 155 0.00000 29 364 - 0.00000 - 263 110s 4094 136 infeasible 30 - 0.00000 - 263 115s 4361 131 infeasible 32 - 0.00000 - 262 120s 4624 132 infeasible 31 - 0.00000 - 261 125s 4903 169 infeasible 31 - 0.00000 - 259 130s 5147 191 0.00000 31 356 - 0.00000 - 259 135s 5404 180 infeasible 30 - 0.00000 - 258 140s 5693 187 infeasible 29 - 0.00000 - 257 145s 5944 184 infeasible 33 - 0.00000 - 257 150s 6171 181 infeasible 33 - 0.00000 - 258 155s 6415 173 infeasible 30 - 0.00000 - 258 160s 6674 206 0.00000 26 352 - 0.00000 - 257 165s 6915 203 infeasible 27 - 0.00000 - 256 170s 7164 188 infeasible 28 - 0.00000 - 257 175s 7436 188 infeasible 30 - 0.00000 - 256 180s 7650 186 0.00000 28 334 - 0.00000 - 257 185s 7886 170 infeasible 28 - 0.00000 - 257 190s 8098 170 infeasible 27 - 0.00000 - 258 195s 8324 174 infeasible 37 - 0.00000 - 258 200s 8556 172 0.00000 23 435 - 0.00000 - 258 205s 8759 171 0.00000 33 358 - 0.00000 - 259 210s 9014 166 0.00000 33 366 - 0.00000 - 258 215s 9263 155 0.00000 28 348 - 0.00000 - 258 220s 9442 152 0.00000 29 415 - 0.00000 - 259 225s 9654 148 0.00000 25 413 - 0.00000 - 259 230s 9855 125 infeasible 31 - 0.00000 - 260 235s 10051 137 infeasible 35 - 0.00000 - 260 240s 10272 134 infeasible 26 - 0.00000 - 261 245s 10473 141 infeasible 27 - 0.00000 - 261 250s 10743 149 infeasible 31 - 0.00000 - 261 255s 10969 161 0.00000 32 360 - 0.00000 - 261 260s 11195 167 infeasible 32 - 0.00000 - 261 265s 11420 164 0.00000 28 375 - 0.00000 - 261 270s 11668 160 infeasible 32 - 0.00000 - 261 275s 11910 162 infeasible 34 - 0.00000 - 261 280s 12130 146 infeasible 29 - 0.00000 - 261 285s 12353 153 0.00000 29 358 - 0.00000 - 261 290s Cutting planes: Zero half: 17 Explored 12537 nodes (3304661 simplex iterations) in 293.44 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: 4 -- 6 Gurobi 5.0.1 (linux64) logging started Sat Dec 15 10:07:07 2012 Optimize a model with 5192 rows, 2008 columns and 15980 nonzeros Presolve time: 0.01s Presolved: 5192 rows, 2008 columns, 15980 nonzeros Variable types: 0 continuous, 2008 integer (2008 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 404 - 0.00000 - - 0s Explored 0 nodes (659 simplex iterations) in 0.03 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