Solver for the ROADEF/EURO Challenge 2012 (machine reassignment)