current bounds on the number of colors: 0 -- 133 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:47:15 2012 Optimize a model with 55903 rows, 9623 columns and 176088 nonzeros Presolve time: 0.18s Presolved: 55903 rows, 9623 columns, 176088 nonzeros Variable types: 0 continuous, 9623 integer (9623 binary) Root relaxation: objective 0.000000e+00, 357 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 (727 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 -- 66 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:47:16 2012 Optimize a model with 28018 rows, 5234 columns and 88044 nonzeros Presolve time: 0.13s Presolved: 28018 rows, 5234 columns, 88044 nonzeros Variable types: 0 continuous, 5234 integer (5234 binary) Root relaxation: objective 0.000000e+00, 320 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 (595 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 -- 33 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:47:17 2012 Optimize a model with 13653 rows, 2973 columns and 42688 nonzeros Presolve time: 0.05s Presolved: 13653 rows, 2973 columns, 42688 nonzeros Variable types: 0 continuous, 2973 integer (2973 binary) Root relaxation: objective 0.000000e+00, 272 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 (701 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 -- 16 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:47:17 2012 Optimize a model with 6893 rows, 1909 columns and 21344 nonzeros Presolve time: 0.02s Presolved: 6893 rows, 1909 columns, 21344 nonzeros Variable types: 0 continuous, 1909 integer (1909 binary) Root relaxation: objective 0.000000e+00, 281 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 (974 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 -- 8 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 04:47:17 2012 Optimize a model with 3513 rows, 1377 columns and 10672 nonzeros Presolve time: 0.01s Presolved: 3513 rows, 1377 columns, 10672 nonzeros Variable types: 0 continuous, 1377 integer (1377 binary) Root relaxation: objective 0.000000e+00, 308 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 166 - 0.00000 - - 0s 0 0 0.00000 0 164 - 0.00000 - - 0s 0 0 0.00000 0 389 - 0.00000 - - 1s 0 0 0.00000 0 397 - 0.00000 - - 1s 0 0 0.00000 0 388 - 0.00000 - - 2s 0 0 0.00000 0 396 - 0.00000 - - 3s 0 0 0.00000 0 395 - 0.00000 - - 4s 0 0 0.00000 0 392 - 0.00000 - - 5s 0 0 0.00000 0 390 - 0.00000 - - 5s 0 0 0.00000 0 398 - 0.00000 - - 6s 0 0 0.00000 0 392 - 0.00000 - - 6s 0 0 0.00000 0 384 - 0.00000 - - 7s 0 0 0.00000 0 381 - 0.00000 - - 8s 0 0 0.00000 0 383 - 0.00000 - - 8s 0 0 0.00000 0 383 - 0.00000 - - 8s 0 2 0.00000 0 383 - 0.00000 - - 9s 4 4 0.00000 3 396 - 0.00000 - 1093 10s Cutting planes: Clique: 10 Zero half: 32 Explored 25 nodes (54345 simplex iterations) in 10.64 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 04:47:28 2012 Optimize a model with 5203 rows, 1643 columns and 16008 nonzeros Presolve time: 0.01s Presolved: 5203 rows, 1643 columns, 16008 nonzeros Variable types: 0 continuous, 1643 integer (1643 binary) Root relaxation: objective 0.000000e+00, 276 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 107 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3085 simplex iterations) in 0.23 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 04:47:28 2012 Optimize a model with 4358 rows, 1510 columns and 13340 nonzeros Presolve time: 0.01s Presolved: 4358 rows, 1510 columns, 13340 nonzeros Variable types: 0 continuous, 1510 integer (1510 binary) Root relaxation: objective 0.000000e+00, 272 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 170 - 0.00000 - - 0s 0 0 0.00000 0 368 - 0.00000 - - 0s 0 0 0.00000 0 316 - 0.00000 - - 1s 0 0 0.00000 0 315 - 0.00000 - - 2s 0 0 0.00000 0 333 - 0.00000 - - 2s 0 0 0.00000 0 266 - 0.00000 - - 2s 0 0 0.00000 0 266 - 0.00000 - - 3s 0 0 0.00000 0 321 - 0.00000 - - 3s 0 0 0.00000 0 321 - 0.00000 - - 4s 0 0 0.00000 0 321 - 0.00000 - - 4s 0 2 0.00000 0 321 - 0.00000 - - 5s 755 31 0.00000 21 278 - 0.00000 - 95.8 10s 1005 51 0.00000 12 292 - 0.00000 - 98.2 15s 1009 53 0.00000 7 229 - 0.00000 - 97.8 20s 1014 57 0.00000 24 284 - 0.00000 - 97.4 25s 1020 61 0.00000 7 252 - 0.00000 - 96.8 30s 1194 41 infeasible 30 - 0.00000 - 161 35s 1466 42 infeasible 28 - 0.00000 - 180 40s 1696 48 infeasible 31 - 0.00000 - 194 45s 1930 50 infeasible 32 - 0.00000 - 206 50s 2211 77 infeasible 37 - 0.00000 - 209 55s 2537 105 0.00000 35 214 - 0.00000 - 210 60s 2870 130 infeasible 33 - 0.00000 - 211 65s 3221 147 0.00000 29 253 - 0.00000 - 211 70s 3546 134 infeasible 33 - 0.00000 - 212 75s 3843 137 0.00000 29 266 - 0.00000 - 214 80s 4151 141 0.00000 26 307 - 0.00000 - 215 85s 4425 139 infeasible 36 - 0.00000 - 217 90s 4759 135 infeasible 35 - 0.00000 - 217 95s 5070 130 0.00000 35 224 - 0.00000 - 219 100s 5387 151 0.00000 31 276 - 0.00000 - 219 105s 5691 133 0.00000 31 216 - 0.00000 - 219 110s 6041 137 infeasible 38 - 0.00000 - 218 115s 6362 128 infeasible 33 - 0.00000 - 218 120s 6632 126 0.00000 27 266 - 0.00000 - 220 125s 6892 120 infeasible 33 - 0.00000 - 221 130s 7235 115 infeasible 33 - 0.00000 - 221 135s 7579 123 0.00000 35 285 - 0.00000 - 220 140s 7917 111 infeasible 26 - 0.00000 - 220 145s 8286 108 infeasible 37 - 0.00000 - 219 150s 8568 100 0.00000 34 290 - 0.00000 - 220 155s 8856 92 infeasible 35 - 0.00000 - 221 160s 9129 93 0.00000 37 281 - 0.00000 - 221 165s 9380 84 0.00000 27 278 - 0.00000 - 223 170s 9643 81 infeasible 33 - 0.00000 - 223 175s 9928 86 0.00000 25 274 - 0.00000 - 224 180s 10229 77 0.00000 31 247 - 0.00000 - 224 185s 10513 67 infeasible 35 - 0.00000 - 225 190s 10780 66 infeasible 34 - 0.00000 - 225 195s 11080 66 0.00000 32 243 - 0.00000 - 225 200s 11426 68 0.00000 36 208 - 0.00000 - 225 205s 11755 67 0.00000 28 212 - 0.00000 - 225 210s 12108 58 0.00000 30 282 - 0.00000 - 224 215s 12396 88 0.00000 28 301 - 0.00000 - 224 220s 12663 101 infeasible 32 - 0.00000 - 225 225s 12971 99 0.00000 32 226 - 0.00000 - 225 230s 13297 97 infeasible 35 - 0.00000 - 225 235s 13603 117 infeasible 32 - 0.00000 - 224 240s 13934 110 infeasible 31 - 0.00000 - 224 245s 14244 94 0.00000 29 216 - 0.00000 - 224 250s 14532 98 infeasible 31 - 0.00000 - 225 255s 14795 97 infeasible 32 - 0.00000 - 225 260s 15046 84 infeasible 33 - 0.00000 - 226 265s 15317 81 0.00000 28 293 - 0.00000 - 226 270s 15667 97 infeasible 31 - 0.00000 - 225 275s 15987 99 infeasible 35 - 0.00000 - 225 280s 16317 101 infeasible 32 - 0.00000 - 225 285s Cutting planes: Clique: 5 Zero half: 6 Explored 16376 nodes (3715096 simplex iterations) in 285.84 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