Add ILP based split_on_execution time method

Just like split_on_ports, the method split_on_execution_time should have an ILP method for solving optimally.