Not an author but 1) It is usually done on a single machine. Often times even on single core. 2) Spikiness of the solve time is a real problem in practice. 3

Not an author but 1) It is usually done on a single machine. Often times even on single core. 2) Spikiness of the solve time is a real problem in practice. 3) You get partial solutions but they tend to be fare apart but with great improvements.