Well, the most important thing here is to:
A) Figure out your macros for cutting, I recommend carb cycling as it's a good way to get your carbs in on training days and maintain as much muscle as possible as you cut. Use a RMR calculator to figure out your resting metabolism, (don't forget to factor in activity level), then you know how many calories a day you need to maintain. Start by creating a deficit that works for you, maybe 300 cal a day or something, and slowly go from there after you see how your body responds. https://www.T-Nation.com/diet-fat-loss/carb-cycling-codex
B) Once you know your macros for the day, you can figure out your food. Based on your schedule, I would highly recommend getting most of your food in during the day and before your workout. Your food choices seem good, but again I just can't imagine routinely eating like 1,000 before bed is a good idea, especially if you're trying to lean out. While getting your macros in does take priority over timing, timing DOES help if you can manage it, and you'll get leaner faster eating smaller meals before bed if you can get them in earlier in the day.
C) High protein/low carb/high fat diets will allow you to feel great for now, but you WILL stagnate on routinely very low carbs.
Overall, it sounds like you're guessing at how much food you're getting, and it's totally not enough, so that will for sure lead to stagnation. Don't guess! It sounds like you're motivated about your training, and the fact that you're asking lots of questions is great and shows you really want to reach your goals. SO, read the carb cycling article, figure out your numbers, macros, etc. If you have any more questions, READ MORE FIRST and try to answer them yourself, the answers are all in there, trust me. If you STILL need some info, post away and we'll help you out