Additional output: tot/bin vars, cons, solve time