create a new statistics object that has the supplied execution time . concode_field_sep long planningMillis concode_elem_sep long executionMillis concode_elem_sep long resultFormulationMillis concode_elem_sep ThreadLocal<DecimalFormat> FORMATTER concode_elem_sep long serialVersionUID concode_elem_sep long optimizationMillis concode_elem_sep Statistics EMPTY_STATISTICS concode_field_sep void readable concode_elem_sep long totalTime concode_elem_sep Statistics withPlanningTime concode_elem_sep Statistics withPlanningTime concode_elem_sep int compareTo concode_elem_sep Statistics withOptimizationTime concode_elem_sep Statistics withOptimizationTime concode_elem_sep Statistics withResultsFormulationTime concode_elem_sep Statistics withResultsFormulationTime concode_elem_sep long getResultFormulationTime concode_elem_sep long getOptimizationTime concode_elem_sep long getPlanningTime concode_elem_sep long getExecutionTime concode_elem_sep String toString concode_elem_sep DecimalFormat initialValue concode_elem_sep long getTotalTime
Statistics function ( long arg0 ) { return new Statistics ( planningMillis , optimizationMillis , resultFormulationMillis , arg0 ) ; }