small style change
fixed an activity and service lifecycle misconception. We cannot skip from Service.onDestroy() or Activity.onPause / Activity.onStop to the respective onCreate() method since the corresponding component gets killed in between
optimized the solver cleanup code
added more logging and solver cleanup
fixed types
removed debugging code
smaller changes