Efficient time-aware prioritization with knapsack solvers | Synapse