set ILP-threads to 1
set ILP-threads to 1
factor order is calculated online and not on demand. costs for calculating the model order drop from O(|F|) to O(1)