CVXPY
Maximize
  log(x)
Subject To
 5: x <= 0.5
Bounds
 x free
End
----------------------------------------
AFTER COMPILATION
Either candidate conic solvers (['SCIP']) do not support the cones output by the problem (ExpCone, NonNeg), or there are not enough constraints in the problem.
----------------------------------------
SCIP
Maximize
 Obj: +1 x2
Subject to
\   [nonlinear] <c1>: log((<x_0>))+<x2>*(-1) >= 0;
 5_0: +1 x_0 <= +0.5
Bounds
 x_0 free
 x2 free
End