As long as it doesn't hit a built-in hard limit for search space exploration (which is in practice only encountered on pathological generated code), it will find the optimally scored set of line breaks.

Approximation