MOVer: The MPI-Optimized Verifier (version 0.1 of 05-Jul-2004)
Beginning search.
Max memory (bytes):        1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
          0 |          0 |          0 |          1 |        0.0 |    2031616
     100000 |      32142 |     697932 |      99999 |        3.9 |   38690816
     200000 |      82643 |    1443891 |     199999 |        8.0 |   66363392
     300000 |     140690 |    2205942 |     299999 |       12.7 |  107274240
     400000 |     204915 |    2986647 |     399998 |       17.9 |  180191232
     500000 |     272669 |    3766959 |     499998 |       22.3 |  180191232
     600000 |     342392 |    4552170 |     599996 |       28.3 |  301654016
     700000 |     416765 |    5343937 |     699995 |       33.3 |  301654016
     800000 |     494209 |    6147629 |     799994 |       37.7 |  301654016
     900000 |     575311 |    6954224 |     899991 |       42.6 |  301654016
    1000000 |     657725 |    7769082 |     999991 |       50.5 |  513048576
    1100000 |     737295 |    8575609 |    1099991 |       55.6 |  513048576
    1200000 |     825260 |    9391151 |    1199986 |       60.9 |  513048576
    1300000 |     908721 |   10198693 |    1299983 |       65.7 |  513048576
    1400000 |     994306 |   11015314 |    1399981 |       70.9 |  513048576
    1500000 |    1080717 |   11834895 |    1499981 |       76.3 |  513048576
    1600000 |    1169294 |   12658603 |    1599979 |       81.3 |  513048576
    1700000 |    1261364 |   13487442 |    1699976 |       92.8 |  841543680
    1800000 |    1351336 |   14313890 |    1799972 |       97.8 |  841543680
    1900000 |    1443922 |   15145047 |    1899970 |      103.0 |  841543680

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |    1535840 |   15975640 |    1999966 |      108.7 |  841543680
    2100000 |    1631749 |   16815491 |    2099961 |      113.9 |  841543680
    2200000 |    1726484 |   17651107 |    2199952 |      119.7 |  841543680
    2300000 |    1824432 |   18491973 |    2299948 |      125.0 |  841543680
    2400000 |    1920940 |   19330097 |    2399940 |      130.9 |  841543680
    2500000 |    2019297 |   20171034 |    2499934 |      136.3 |  841543680
    2600000 |    2116968 |   21012419 |    2599926 |      142.5 |  841543680
    2700000 |    2215981 |   21856710 |    2699923 |      156.9 | 1435369472
    2800000 |    2313975 |   22704706 |    2799917 |      163.2 | 1435369472
    2900000 |    2413205 |   23549272 |    2899906 |      169.1 | 1435369472
    3000000 |    2511036 |   24394358 |    2999901 |      173.9 | 1435369472
    3100000 |    2615492 |   25246568 |    3099896 |      180.0 | 1435369472
    3200000 |    2719312 |   26096947 |    3199892 |      186.0 | 1435369472
    3300000 |    2823225 |   26948094 |    3299887 |      192.1 | 1435369472
    3400000 |    2925339 |   27802792 |    3399879 |      198.3 | 1435369472
    3500000 |    3031502 |   28658239 |    3499873 |      204.6 | 1435369472
    3600000 |    3135207 |   29513544 |    3599872 |      210.7 | 1435369472
    3700000 |    3235663 |   30366147 |    3699859 |      215.7 | 1435369472
    3800000 |    3343611 |   31224282 |    3799844 |      222.1 | 1435369472
    3900000 |    3450233 |   32084416 |    3899834 |      228.4 | 1435369472

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    4000000 |    3555845 |   32944213 |    3999830 |      234.9 | 1435369472
    4100000 |    3664650 |   33806769 |    4099823 |      241.3 | 1435369472
    4200000 |    3770532 |   34663722 |    4199816 |      247.6 | 1435369472
    4300000 |    3881131 |   35530312 |    4299809 |      254.1 | 1435369472
    4400000 |    3990653 |   36396523 |    4399804 |      260.8 | 1435369472
    4500000 |    4101063 |   37263434 |    4499792 |      266.2 | 1435369472
    4600000 |    4210268 |   38132465 |    4599786 |      272.7 | 1435369472
    4700000 |    4317492 |   38994046 |    4699779 |      295.6 | 1977024512
    4800000 |    4430931 |   39868446 |    4799769 |      304.8 | 1977024512
    4900000 |    4542049 |   40734946 |    4899761 |      310.3 | 1977024512
    5000000 |    4652288 |   41599101 |    4999754 |      317.5 | 1977024512
    5100000 |    4764810 |   42470662 |    5099751 |      324.6 | 1977024512
    5200000 |    4878571 |   43344534 |    5199746 |      330.2 | 1977024512
    5300000 |    4989582 |   44211581 |    5299741 |      338.7 | 1977024512
    5400000 |    5099347 |   45076132 |    5399731 |      344.4 | 1977024512
    5500000 |    5212580 |   45950184 |    5499722 |      351.5 | 1977024512
    5600000 |    5327689 |   46826656 |    5599715 |      358.8 | 1977024512
    5700000 |    5439284 |   47696874 |    5699702 |      364.6 | 1977024512
    5800000 |    5551647 |   48566458 |    5799699 |      371.8 | 1977024512
    5900000 |    5663789 |   49440619 |    5899695 |      377.5 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    6000000 |    5778527 |   50317527 |    5999685 |      409.5 | 1977024512
    6100000 |    5894565 |   51198381 |    6099682 |      436.9 | 1977024512
    6200000 |    6009034 |   52077039 |    6199674 |      442.9 | 1977024512
    6300000 |    6123984 |   52953029 |    6299671 |      472.6 | 1977024512
    6400000 |    6241195 |   53832757 |    6399662 |      502.8 | 1977024512
    6500000 |    6354387 |   54710872 |    6499657 |      508.7 | 1977024512
    6600000 |    6469123 |   55587010 |    6599647 |      540.3 | 1977024512
    6700000 |    6583290 |   56464068 |    6699645 |      598.1 | 1977024512
