python3 run2_verify.py 7200 2400 14 > run2_verify_out_7200_2400.txt 2>&1  8484.26s user 25.74s system 1279% cpu 11:05.05 total
