Add information gathered through custom getauxval() #731
| Job | Run time |
|---|---|
| 13m 46s | |
| 13m 46s | |
| 13m 9s | |
| 13m 9s | |
| 14m 23s | |
| 14m 23s | |
| 18m 21s | |
| 18m 21s | |
| 36m 18s | |
| 36m 18s | |
| 34m 21s | |
| 35m 4s | |
| 24m 44s | |
| 24m 44s | |
| 26m 10s | |
| 26m 10s | |
| 33m 38s | |
| 33m 38s | |
| 36m 24s | |
| 36m 24s | |
| 34m 38s | |
| 34m 38s | |
| 9h 32m 27s |