exec clingo "$@" 2> solver.err
