solveSystem(...,Verbose=>Boolean)
Use Verbose=>true for additional output which includes the input and solution file names used by phc.
The output file of phc contains timings for the stages in the solver.