282458 simmo      20   0 3202M 68788  9536 S  0.0  0.2  1:23.41 │  │     └─ /usr/bin/python3 /usr/local/bin/benchexec --read-only-dir / --overlay-dir . --hidden-dir /home --outputpath /mnt/goblint-svcomp/benchexec/results/new-results17-all-fast-systems-atomic-malloc --numO
 282857 simmo      20   0 3452M 35444  5624 S  0.0  0.1  0:00.01 │  │        ├─ /usr/bin/python3 /usr/local/bin/benchexec --read-only-dir / --overlay-dir . --hidden-dir /home --outputpath /mnt/goblint-svcomp/benchexec/results/new-results17-all-fast-systems-atomic-malloc --n
 282459 simmo      20   0 32828 20352  4872 S  0.0  0.1  0:00.01 │  │        └─ /usr/bin/python3 /usr/local/bin/benchexec --read-only-dir / --overlay-dir . --hidden-dir /home --outputpath /mnt/goblint-svcomp/benchexec/results/new-results17-all-fast-systems-atomic-malloc --n
 282463 simmo      20   0 33160 21252  5588 S  0.0  0.1  0:02.11 │  │           └─ /usr/bin/python3 /usr/local/bin/benchexec --read-only-dir / --overlay-dir . --hidden-dir /home --outputpath /mnt/goblint-svcomp/benchexec/results/new-results17-all-fast-systems-atomic-malloc