flush tables after each solve, and doing greedy first to see results. theres definitely a bug in exec