CLSolverTutor in batch-mode