function virtual_system_chooser()
{
echo "System: <SELECT name=\"system\" size=\"1\">\n";
echo "<OPTION value=\"%\">Any\n";
foreach (sys_list() as $host) {
echo "<OPTION>" . $host . "\n";
}
echo "</SELECT><BR>\n";
}
} else {
if (isset($_POST['start_date']) && $_POST['start_date'] != "") {
$title .= " after " . $_POST['start_date'];
} else {
if (isset($_POST['end_date']) && $_POST['end_date'] != "") {
$title .= " before " . $_POST['end_date'];
}
}
}
}
}
page_header($title);
echo "<FORM method=\"POST\" action=\"jobstats.php\">\n";
echo "System: <SELECT name=\"system\" size=\"1\">\n";
echo "<OPTION value=\"%\">Any\n";
foreach (sys_list() as $host) {
echo "<OPTION>" . $host . "\n";
}
echo "</SELECT><BR>\n";
echo "Start date: <INPUT type=\"text\" name=\"start_date\" size=\"10\"> (YYYY-MM-DD)<BR>\n";
echo "End date: <INPUT type=\"text\" name=\"end_date\" size=\"10\"> (YYYY-MM-DD)<BR>\n";
// by queue
jobstats_input_header();
jobstats_input_metric("Job Count vs. Job Class", "jobcount_vs_queue");
jobstats_input_metric("CPU Time vs. Job Class", "cpuhours_vs_queue");
jobstats_input_metric("Job Length vs. Job Class", "walltime_vs_queue");
jobstats_input_metric("Queue Time vs. Job Class", "qtime_vs_queue");
jobstats_input_metric("Real Memory vs. Job Class", "mem_kb_vs_queue");
jobstats_input_metric("Virtual Memory vs. Job Class", "vmem_kb_vs_queue");
jobstats_input_metric("Walltime Accuracy vs. Job Class", "walltime_acc_vs_queue");
jobstats_input_metric("CPU Efficiency vs. Job Class", "cpu_eff_vs_queue");