Integer Programming Problem Example Velocity Executor