python3 run2_verify.py 1200 1200 14 > run2_verify_out_1200_1200.txt 2>&1  25.32s user 0.20s system 1070% cpu 2.384 total
