Python script for exctracting results from Bonmin output