Configuration-Adaptive Parallel Solver for Integer Programming Problems | Synapse