current bounds on the number of colors: 0 -- 129 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:29:55 2012 Optimize a model with 52865 rows, 9080 columns and 166464 nonzeros Presolve time: 0.18s Presolved: 52865 rows, 9080 columns, 166464 nonzeros Variable types: 0 continuous, 9080 integer (9080 binary) Root relaxation: objective 0.000000e+00, 337 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 (620 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 -- 64 Gurobi 5.0.1 (linux64) logging started Fri Dec 14 01:29:56 2012 Optimize a model with 26497 rows, 4952 columns and 83232 nonzeros Presolve time: 0.12s Presolved: 26497 rows, 4952 columns, 83232 nonzeros Variable types: 0 continuous, 4952 integer (4952 binary) Root relaxation: objective 0.000000e+00, 303 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 (579 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:29:56 2012 Optimize a model with 13313 rows, 2888 columns and 41616 nonzeros Presolve time: 0.04s Presolved: 13313 rows, 2888 columns, 41616 nonzeros Variable types: 0 continuous, 2888 integer (2888 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 (546 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:29:56 2012 Optimize a model with 6721 rows, 1856 columns and 20808 nonzeros Presolve time: 0.02s Presolved: 6721 rows, 1856 columns, 20808 nonzeros Variable types: 0 continuous, 1856 integer (1856 binary) Root relaxation: objective 0.000000e+00, 270 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 (937 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:29:57 2012 Optimize a model with 3425 rows, 1340 columns and 10404 nonzeros Presolve time: 0.01s Presolved: 3425 rows, 1340 columns, 10404 nonzeros Variable types: 0 continuous, 1340 integer (1340 binary) Root relaxation: objective 0.000000e+00, 288 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 235 - 0.00000 - - 0s 0 0 0.00000 0 392 - 0.00000 - - 1s 0 0 0.00000 0 407 - 0.00000 - - 1s 0 0 0.00000 0 389 - 0.00000 - - 2s 0 0 0.00000 0 380 - 0.00000 - - 4s 0 0 0.00000 0 374 - 0.00000 - - 5s 0 0 0.00000 0 392 - 0.00000 - - 6s 0 0 0.00000 0 400 - 0.00000 - - 7s 0 0 0.00000 0 392 - 0.00000 - - 8s 0 0 0.00000 0 384 - 0.00000 - - 9s 0 0 0.00000 0 397 - 0.00000 - - 9s 0 0 0.00000 0 397 - 0.00000 - - 9s 0 2 0.00000 0 397 - 0.00000 - - 10s Cutting planes: Clique: 13 Zero half: 29 Explored 15 nodes (47674 simplex iterations) in 11.40 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:30:08 2012 Optimize a model with 5073 rows, 1598 columns and 15606 nonzeros Presolve time: 0.01s Presolved: 5073 rows, 1598 columns, 15606 nonzeros Variable types: 0 continuous, 1598 integer (1598 binary) Root relaxation: objective 0.000000e+00, 274 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 111 - 0.00000 - - 0s H 0 0 0.0000000 0.00000 0.0% - 0s Explored 0 nodes (3131 simplex iterations) in 0.22 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:30:08 2012 Optimize a model with 4249 rows, 1469 columns and 13005 nonzeros Presolve time: 0.01s Presolved: 4249 rows, 1469 columns, 13005 nonzeros Variable types: 0 continuous, 1469 integer (1469 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.00000 0 250 - 0.00000 - - 0s 0 0 0.00000 0 228 - 0.00000 - - 0s 0 0 0.00000 0 240 - 0.00000 - - 0s 0 0 0.00000 0 367 - 0.00000 - - 1s 0 0 0.00000 0 226 - 0.00000 - - 1s 0 0 0.00000 0 230 - 0.00000 - - 2s 0 0 0.00000 0 220 - 0.00000 - - 2s 0 0 0.00000 0 202 - 0.00000 - - 3s 0 0 0.00000 0 194 - 0.00000 - - 3s 0 0 0.00000 0 186 - 0.00000 - - 4s 0 0 0.00000 0 184 - 0.00000 - - 4s 0 0 0.00000 0 203 - 0.00000 - - 5s 0 0 0.00000 0 188 - 0.00000 - - 5s 0 0 0.00000 0 241 - 0.00000 - - 6s 0 0 0.00000 0 287 - 0.00000 - - 7s 0 0 0.00000 0 281 - 0.00000 - - 7s 0 2 0.00000 0 281 - 0.00000 - - 8s 125 63 0.00000 28 235 - 0.00000 - 146 10s 857 116 0.00000 24 245 - 0.00000 - 113 15s 907 130 0.00000 28 278 - 0.00000 - 113 20s 911 133 0.00000 6 295 - 0.00000 - 113 25s 1011 137 0.00000 24 302 - 0.00000 - 159 30s 1316 34 infeasible 30 - 0.00000 - 177 35s 1633 51 0.00000 31 212 - 0.00000 - 185 40s 1934 76 infeasible 29 - 0.00000 - 193 45s 2267 55 infeasible 31 - 0.00000 - 196 50s 2564 44 0.00000 24 308 - 0.00000 - 201 55s 2901 51 infeasible 31 - 0.00000 - 202 60s 3217 129 0.00000 37 234 - 0.00000 - 202 65s 3522 120 infeasible 33 - 0.00000 - 205 70s 3816 120 infeasible 30 - 0.00000 - 207 75s 4100 128 0.00000 30 283 - 0.00000 - 210 80s 4387 109 infeasible 33 - 0.00000 - 212 85s 4666 124 0.00000 30 281 - 0.00000 - 213 90s 4972 118 infeasible 31 - 0.00000 - 214 95s 5232 118 0.00000 34 232 - 0.00000 - 216 100s 5538 106 infeasible 36 - 0.00000 - 217 105s 5839 109 infeasible 33 - 0.00000 - 217 110s 6159 107 infeasible 32 - 0.00000 - 217 115s 6443 97 infeasible 32 - 0.00000 - 218 120s 6708 106 infeasible 32 - 0.00000 - 219 125s 6959 133 0.00000 31 250 - 0.00000 - 221 130s 7218 134 infeasible 30 - 0.00000 - 222 135s 7475 151 0.00000 31 263 - 0.00000 - 223 140s 7736 146 0.00000 35 265 - 0.00000 - 224 145s 7990 140 infeasible 33 - 0.00000 - 225 150s 8318 172 infeasible 40 - 0.00000 - 225 155s 8648 202 0.00000 32 268 - 0.00000 - 224 160s 8980 242 0.00000 28 269 - 0.00000 - 223 165s 9289 229 0.00000 25 283 - 0.00000 - 223 170s 9599 227 infeasible 33 - 0.00000 - 223 175s 9906 192 infeasible 41 - 0.00000 - 223 180s 10208 180 infeasible 29 - 0.00000 - 223 185s 10480 164 infeasible 33 - 0.00000 - 224 190s 10768 150 infeasible 29 - 0.00000 - 224 195s 11016 122 infeasible 31 - 0.00000 - 225 200s 11300 140 0.00000 28 267 - 0.00000 - 225 205s 11607 141 0.00000 32 206 - 0.00000 - 225 210s 11855 159 infeasible 38 - 0.00000 - 226 215s 12156 210 infeasible 31 - 0.00000 - 226 220s 12400 188 0.00000 27 266 - 0.00000 - 227 225s 12673 187 0.00000 36 270 - 0.00000 - 227 230s 12941 227 0.00000 26 228 - 0.00000 - 228 235s 13220 258 infeasible 26 - 0.00000 - 228 240s 13451 247 0.00000 30 262 - 0.00000 - 229 245s 13718 224 infeasible 32 - 0.00000 - 229 250s 13954 212 infeasible 31 - 0.00000 - 230 255s 14226 214 0.00000 24 278 - 0.00000 - 230 260s 14505 223 0.00000 31 293 - 0.00000 - 230 265s 14768 208 infeasible 35 - 0.00000 - 231 270s 15049 243 infeasible 22 - 0.00000 - 231 275s 15326 254 infeasible 29 - 0.00000 - 231 280s 15575 243 0.00000 35 263 - 0.00000 - 231 285s Cutting planes: Clique: 3 Zero half: 17 Explored 15588 nodes (3665568 simplex iterations) in 285.25 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