Added parser trace.
Added heuristic trace.
Fixed bug on berkmin heuristic.