- 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