Official websites use .gov
A
.gov website belongs to an official
government organization in the United States.
Secure .gov websites use HTTPS
A lock (
) or https:// means you've safely
connected to the .gov website. Share sensitive
information only on official, secure websites.
Hecaton running time and memory use
| Sample | CPU time (h) | Real time (h) | Peak resident set size (Gb) |
|---|---|---|---|
| PI158760 | 119.5 | 13.1 | 27.8 |
| LA2706 | 67.8 | 7.3 | 23.9 |
| TR00003 | 96.2 | 11.1 | 24.3 |
| LA4451 | 70.8 | 7.3 | 23.6 |
| LA2157 | 196.1 | 32.5 | 26.6 |
| LA0716 | 172.3 | 30.3 | 24.9 |
| LYC4 | 189.1 | 39.2 | 25.7 |
