- added -probing=X flag for solving flatzinc files where X is the stop value of probing in milliseconds. - probing now stops after find the optimal solution - results now get saved in a text file and get loaded at the start of probing