current bounds on the number of colors: 0 -- 128 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 00:50:55 2012 Optimize a model with 51072 rows, 8988 columns and 161024 nonzeros Presolve time: 0.18s Presolved: 51072 rows, 8988 columns, 161024 nonzeros Variable types: 0 continuous, 8988 integer (8988 binary) Root relaxation: objective 0.000000e+00, 335 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 (730 simplex iterations) in 0.34 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 00:50:56 2012 Optimize a model with 25600 rows, 4892 columns and 80512 nonzeros Presolve time: 0.12s Presolved: 25600 rows, 4892 columns, 80512 nonzeros Variable types: 0 continuous, 4892 integer (4892 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 (593 simplex iterations) in 0.17 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 00:50:56 2012 Optimize a model with 12864 rows, 2844 columns and 40256 nonzeros Presolve time: 0.04s Presolved: 12864 rows, 2844 columns, 40256 nonzeros Variable types: 0 continuous, 2844 integer (2844 binary) Root relaxation: objective 0.000000e+00, 259 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 (539 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 00:50:56 2012 Optimize a model with 6496 rows, 1820 columns and 20128 nonzeros Presolve time: 0.02s Presolved: 6496 rows, 1820 columns, 20128 nonzeros Variable types: 0 continuous, 1820 integer (1820 binary) Root relaxation: objective 0.000000e+00, 268 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 (815 simplex iterations) in 0.04 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 00:50:56 2012 Optimize a model with 3312 rows, 1308 columns and 10064 nonzeros Presolve time: 0.01s Presolved: 3312 rows, 1308 columns, 10064 nonzeros Variable types: 0 continuous, 1308 integer (1308 binary) Root relaxation: objective 0.000000e+00, 282 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 254 - 0.00000 - - 0s 0 0 0.00000 0 256 - 0.00000 - - 0s 0 0 0.00000 0 386 - 0.00000 - - 1s 0 0 0.00000 0 376 - 0.00000 - - 1s 0 0 0.00000 0 378 - 0.00000 - - 1s 0 0 0.00000 0 380 - 0.00000 - - 2s 0 0 0.00000 0 377 - 0.00000 - - 3s 0 0 0.00000 0 364 - 0.00000 - - 4s 0 0 0.00000 0 355 - 0.00000 - - 4s 0 0 0.00000 0 366 - 0.00000 - - 5s 0 0 0.00000 0 364 - 0.00000 - - 6s 0 0 0.00000 0 362 - 0.00000 - - 6s 0 0 0.00000 0 370 - 0.00000 - - 7s 0 0 0.00000 0 370 - 0.00000 - - 7s 0 2 0.00000 0 370 - 0.00000 - - 8s Cutting planes: Clique: 10 Zero half: 24 Explored 13 nodes (40677 simplex iterations) in 9.18 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 00:51:06 2012 Optimize a model with 4904 rows, 1564 columns and 15096 nonzeros Presolve time: 0.01s Presolved: 4904 rows, 1564 columns, 15096 nonzeros Variable types: 0 continuous, 1564 integer (1564 binary) Root relaxation: objective 0.000000e+00, 282 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 89 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (2271 simplex iterations) in 0.16 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 00:51:06 2012 Optimize a model with 4108 rows, 1436 columns and 12580 nonzeros Presolve time: 0.01s Presolved: 4108 rows, 1436 columns, 12580 nonzeros Variable types: 0 continuous, 1436 integer (1436 binary) Root relaxation: objective 0.000000e+00, 276 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 251 - 0.00000 - - 0s 0 0 0.00000 0 279 - 0.00000 - - 1s 0 0 0.00000 0 341 - 0.00000 - - 1s 0 0 0.00000 0 323 - 0.00000 - - 1s 0 0 0.00000 0 318 - 0.00000 - - 2s 0 0 0.00000 0 334 - 0.00000 - - 2s 0 0 0.00000 0 334 - 0.00000 - - 2s 0 2 0.00000 0 334 - 0.00000 - - 3s 278 61 0.00000 27 228 - 0.00000 - 105 5s 606 111 0.00000 21 329 - 0.00000 - 103 10s 613 116 0.00000 19 280 - 0.00000 - 102 15s 619 120 0.00000 16 281 - 0.00000 - 101 20s 882 83 infeasible 39 - 0.00000 - 184 25s 1144 64 0.00000 34 214 - 0.00000 - 201 30s 1451 69 infeasible 36 - 0.00000 - 208 35s 1759 73 0.00000 27 288 - 0.00000 - 210 40s 2076 86 infeasible 34 - 0.00000 - 210 45s 2406 80 infeasible 35 - 0.00000 - 210 50s 2758 126 infeasible 36 - 0.00000 - 210 55s 3111 131 0.00000 33 206 - 0.00000 - 209 60s 3503 137 infeasible 35 - 0.00000 - 208 65s 3869 121 infeasible 33 - 0.00000 - 207 70s 4231 137 0.00000 40 262 - 0.00000 - 207 75s 4592 116 0.00000 30 219 - 0.00000 - 207 80s 4989 121 infeasible 35 - 0.00000 - 206 85s 5365 107 0.00000 29 301 - 0.00000 - 205 90s 5741 115 0.00000 37 243 - 0.00000 - 205 95s 6080 120 infeasible 37 - 0.00000 - 205 100s 6431 119 infeasible 37 - 0.00000 - 205 105s 6811 117 infeasible 36 - 0.00000 - 205 110s 7115 125 0.00000 36 271 - 0.00000 - 205 115s 7441 115 0.00000 35 273 - 0.00000 - 206 120s 7806 124 infeasible 32 - 0.00000 - 206 125s 8107 127 0.00000 35 218 - 0.00000 - 207 130s 8393 103 infeasible 32 - 0.00000 - 208 135s 8726 98 0.00000 30 239 - 0.00000 - 208 140s 9064 112 infeasible 37 - 0.00000 - 208 145s 9376 102 infeasible 32 - 0.00000 - 209 150s 9717 93 0.00000 42 208 - 0.00000 - 209 155s 10019 83 0.00000 35 219 - 0.00000 - 210 160s 10320 90 0.00000 26 286 - 0.00000 - 210 165s 10578 92 infeasible 41 - 0.00000 - 211 170s 10868 82 0.00000 25 293 - 0.00000 - 212 175s 11213 95 0.00000 28 264 - 0.00000 - 212 180s 11513 83 infeasible 34 - 0.00000 - 213 185s 11784 96 0.00000 35 263 - 0.00000 - 213 190s 12076 98 0.00000 38 264 - 0.00000 - 214 195s 12339 83 infeasible 39 - 0.00000 - 215 200s 12595 77 0.00000 28 250 - 0.00000 - 215 205s 12896 80 infeasible 35 - 0.00000 - 216 210s 13200 72 infeasible 35 - 0.00000 - 216 215s 13509 73 infeasible 33 - 0.00000 - 216 220s 13857 77 0.00000 29 216 - 0.00000 - 216 225s 14205 90 infeasible 35 - 0.00000 - 216 230s 14548 73 0.00000 40 200 - 0.00000 - 216 235s 14867 56 infeasible 36 - 0.00000 - 216 240s 15213 124 infeasible 36 - 0.00000 - 215 245s 15571 158 0.00000 36 264 - 0.00000 - 215 250s 15954 161 infeasible 39 - 0.00000 - 215 255s 16341 170 infeasible 40 - 0.00000 - 214 260s 16726 167 infeasible 38 - 0.00000 - 214 265s 17070 161 0.00000 36 212 - 0.00000 - 214 270s 17439 188 infeasible 35 - 0.00000 - 214 275s 17792 181 0.00000 30 270 - 0.00000 - 214 280s 18148 177 infeasible 36 - 0.00000 - 213 285s Cutting planes: Gomory: 2 Clique: 4 Zero half: 18 Explored 18318 nodes (3931761 simplex iterations) in 287.61 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