FIXED-CONTROLS
  OUTPUTLOG            = 1
TUNABLE-CONTROLS
  BRANCHDISJ           = 0, 1
  COVERCUTS            = 0, 2, 20
  CUTFACTOR            = 0.5, 1, 5, 10
  GOMCUTS              = 0, 2, 10
  HEURSEARCHEFFORT     = 0.5, 2
  HEUREMPHASIS         = 0, 1, 2
  SBEFFORT             = 0.25, 4
  TREECOVERCUTS        = 0
  TREEGOMCUTS          = 0