FIXED-CONTROLS
  OUTPUTLOG            = 1
TUNABLE-CONTROLS
  BRANCHDISJ           = 0, 1
  CUTMAXROUNDS         = 0, 2, 20
  CUTFACTOR            = 0.5, 1, 5, 10
  CUTGOMMAXROUNDS      = 0, 2, 10
  HEURSEARCHEFFORT     = 0.5, 2
  HEUREMPHASIS         = 0, 1, 2
  SBEFFORT             = 0.25, 4
  CUTMAXTREEROUNDS     = 0
  CUTGOMMAXTREEROUNDS  = 0