now using cbc CLI-like solve, 3+ orders of magnitude faster for reasonable problems