current bounds on the number of colors: 0 -- 130
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:12:26 2012
Optimize a model with 53300 rows, 9268 columns and 167960 nonzeros
Presolve time: 0.17s
Presolved: 53300 rows, 9268 columns, 167960 nonzeros
Variable types: 0 continuous, 9268 integer (9268 binary)
Root relaxation: objective 0.000000e+00, 339 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 (618 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 -- 65
Gurobi 5.0.1 (linux64) logging started Fri Dec 14 02:12:27 2012
Optimize a model with 26306 rows, 4978 columns and 82688 nonzeros
Presolve time: 0.12s
Presolved: 26306 rows, 4978 columns, 82688 nonzeros
Variable types: 0 continuous, 4978 integer (4978 binary)
Root relaxation: objective 0.000000e+00, 313 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.18 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 02:12:27 2012
Optimize a model with 13218 rows, 2898 columns and 41344 nonzeros
Presolve time: 0.04s
Presolved: 13218 rows, 2898 columns, 41344 nonzeros
Variable types: 0 continuous, 2898 integer (2898 binary)
Root relaxation: objective 0.000000e+00, 264 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 (540 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 02:12:28 2012
Optimize a model with 6674 rows, 1858 columns and 20672 nonzeros
Presolve time: 0.02s
Presolved: 6674 rows, 1858 columns, 20672 nonzeros
Variable types: 0 continuous, 1858 integer (1858 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 (927 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 02:12:28 2012
Optimize a model with 3402 rows, 1338 columns and 10336 nonzeros
Presolve time: 0.01s
Presolved: 3402 rows, 1338 columns, 10336 nonzeros
Variable types: 0 continuous, 1338 integer (1338 binary)
Root relaxation: objective 0.000000e+00, 304 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 146 - 0.00000 - - 0s
0 0 0.00000 0 395 - 0.00000 - - 1s
0 0 0.00000 0 403 - 0.00000 - - 1s
0 0 0.00000 0 392 - 0.00000 - - 2s
0 0 0.00000 0 389 - 0.00000 - - 3s
0 0 0.00000 0 383 - 0.00000 - - 4s
0 0 0.00000 0 384 - 0.00000 - - 4s
0 0 0.00000 0 378 - 0.00000 - - 5s
0 0 0.00000 0 375 - 0.00000 - - 6s
0 0 0.00000 0 375 - 0.00000 - - 6s
0 0 0.00000 0 384 - 0.00000 - - 7s
0 0 0.00000 0 384 - 0.00000 - - 7s
0 2 0.00000 0 384 - 0.00000 - - 8s
Cutting planes:
Clique: 28
Zero half: 17
Explored 25 nodes (44165 simplex iterations) in 9.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 02:12:37 2012
Optimize a model with 5038 rows, 1598 columns and 15504 nonzeros
Presolve time: 0.01s
Presolved: 5038 rows, 1598 columns, 15504 nonzeros
Variable types: 0 continuous, 1598 integer (1598 binary)
Root relaxation: objective 0.000000e+00, 275 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 195 - 0.00000 - - 0s
H 0 0 0.0000000 0.00000 0.0% - 0s
Explored 0 nodes (2984 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 02:12:38 2012
Optimize a model with 4220 rows, 1468 columns and 12920 nonzeros
Presolve time: 0.01s
Presolved: 4220 rows, 1468 columns, 12920 nonzeros
Variable types: 0 continuous, 1468 integer (1468 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 260 - 0.00000 - - 0s
0 0 0.00000 0 244 - 0.00000 - - 0s
0 0 0.00000 0 284 - 0.00000 - - 1s
0 0 0.00000 0 311 - 0.00000 - - 1s
0 0 0.00000 0 311 - 0.00000 - - 1s
0 0 0.00000 0 315 - 0.00000 - - 2s
0 0 0.00000 0 336 - 0.00000 - - 2s
0 0 0.00000 0 336 - 0.00000 - - 2s
0 2 0.00000 0 336 - 0.00000 - - 3s
144 76 0.00000 27 238 - 0.00000 - 143 5s
710 148 0.00000 12 301 - 0.00000 - 82.4 10s
716 152 0.00000 23 263 - 0.00000 - 81.7 15s
722 156 0.00000 39 270 - 0.00000 - 81.0 20s
1026 157 0.00000 35 292 - 0.00000 - 158 25s
1352 200 0.00000 34 220 - 0.00000 - 171 30s
1689 251 infeasible 43 - 0.00000 - 179 35s
2028 314 infeasible 29 - 0.00000 - 183 40s
2371 409 infeasible 35 - 0.00000 - 187 45s
2742 448 infeasible 36 - 0.00000 - 188 50s
3070 484 0.00000 24 302 - 0.00000 - 192 55s
3405 548 infeasible 34 - 0.00000 - 193 60s
3722 555 infeasible 38 - 0.00000 - 196 65s
4097 626 0.00000 34 266 - 0.00000 - 196 70s
4418 637 infeasible 38 - 0.00000 - 198 75s
4742 641 infeasible 40 - 0.00000 - 200 80s
5134 705 infeasible 38 - 0.00000 - 199 85s
5472 735 0.00000 35 200 - 0.00000 - 200 90s
5832 767 infeasible 38 - 0.00000 - 200 95s
6152 767 0.00000 29 287 - 0.00000 - 202 100s
6521 794 0.00000 40 277 - 0.00000 - 201 105s
6875 820 infeasible 40 - 0.00000 - 202 110s
7222 867 0.00000 39 266 - 0.00000 - 202 115s
7531 872 0.00000 32 259 - 0.00000 - 203 120s
7874 883 0.00000 33 237 - 0.00000 - 204 125s
8248 885 infeasible 38 - 0.00000 - 204 130s
8564 881 infeasible 33 - 0.00000 - 205 135s
8896 875 infeasible 40 - 0.00000 - 205 140s
9201 874 0.00000 41 258 - 0.00000 - 206 145s
9519 908 0.00000 33 265 - 0.00000 - 207 150s
9809 912 0.00000 38 260 - 0.00000 - 208 155s
10141 896 infeasible 36 - 0.00000 - 208 160s
10455 906 infeasible 36 - 0.00000 - 208 165s
10776 917 infeasible 43 - 0.00000 - 208 170s
11086 939 0.00000 33 269 - 0.00000 - 209 175s
11413 1004 0.00000 38 257 - 0.00000 - 209 180s
11761 1018 0.00000 37 214 - 0.00000 - 209 185s
12111 1020 infeasible 35 - 0.00000 - 209 190s
12409 1038 infeasible 37 - 0.00000 - 209 195s
12709 1044 0.00000 38 222 - 0.00000 - 210 200s
13011 1032 infeasible 40 - 0.00000 - 211 205s
13320 1025 0.00000 34 278 - 0.00000 - 211 210s
13656 1067 infeasible 37 - 0.00000 - 211 215s
13981 1124 0.00000 37 261 - 0.00000 - 211 220s
14278 1159 0.00000 35 249 - 0.00000 - 212 225s
14567 1168 0.00000 33 216 - 0.00000 - 212 230s
14855 1164 0.00000 32 271 - 0.00000 - 213 235s
15166 1177 infeasible 37 - 0.00000 - 213 240s
15505 1206 0.00000 38 206 - 0.00000 - 213 245s
15813 1220 0.00000 38 282 - 0.00000 - 213 250s
16130 1249 infeasible 38 - 0.00000 - 213 255s
16478 1291 0.00000 34 283 - 0.00000 - 213 260s
16786 1279 0.00000 32 277 - 0.00000 - 213 265s
17067 1276 infeasible 37 - 0.00000 - 214 270s
17375 1296 0.00000 39 279 - 0.00000 - 214 275s
17713 1334 infeasible 33 - 0.00000 - 214 280s
17995 1322 0.00000 38 258 - 0.00000 - 215 285s
Cutting planes:
Clique: 4
Explored 18150 nodes (3914607 simplex iterations) in 287.27 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