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 |      22344 |     466046 |      94712 |        4.0 |   36069376
     200000 |      50386 |     941302 |     187580 |        7.8 |   60334080
     300000 |      79380 |    1419486 |     281410 |       12.6 |   98496512
     400000 |     111227 |    1896502 |     373803 |       17.3 |  167153664
     500000 |     143316 |    2376923 |     466104 |       21.1 |  167153664
     600000 |     177352 |    2856354 |     558024 |       25.0 |  167153664
     700000 |     211690 |    3339830 |     650351 |       30.5 |  278503424
     800000 |     246265 |    3818402 |     741706 |       34.8 |  278503424
     900000 |     281694 |    4290213 |     831224 |       38.7 |  278503424
    1000000 |     315867 |    4769273 |     923241 |       42.9 |  278503424
    1100000 |     351203 |    5250654 |    1014856 |       47.0 |  278503424
    1200000 |     388240 |    5729683 |    1105322 |       54.3 |  466272256
    1300000 |     425974 |    6208704 |    1195034 |       58.2 |  466272256
    1400000 |     463838 |    6688863 |    1285581 |       62.3 |  466272256
    1500000 |     498495 |    7171404 |    1378058 |       66.8 |  466272256
    1600000 |     536572 |    7651779 |    1468742 |       71.0 |  466272256
    1700000 |     575240 |    8132090 |    1558901 |       75.2 |  466272256
    1800000 |     612541 |    8613934 |    1650309 |       79.7 |  466272256
    1900000 |     644039 |    9093435 |    1743362 |       90.1 |  757661696

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |     682879 |    9576559 |    1834211 |       94.4 |  757661696
    2100000 |     720391 |   10056922 |    1925112 |       98.6 |  757661696
    2200000 |     756912 |   10538681 |    2016674 |      103.2 |  757661696
    2300000 |     796589 |   11018860 |    2106313 |      107.4 |  757661696
    2400000 |     836548 |   11500099 |    2195971 |      112.1 |  757661696
    2500000 |     874346 |   11983873 |    2287285 |      116.2 |  757661696
    2600000 |     912899 |   12467531 |    2378588 |      121.0 |  757661696
    2700000 |     952954 |   12952399 |    2469192 |      125.2 |  757661696
    2800000 |     987200 |   13433061 |    2560982 |      129.3 |  757661696
    2900000 |    1025913 |   13916729 |    2651713 |      134.4 |  757661696
    3000000 |    1065097 |   14399685 |    2742208 |      138.6 |  757661696
    3100000 |    1105507 |   14883723 |    2832632 |      151.9 | 1281949696
    3200000 |    1145498 |   15366814 |    2922792 |      157.6 | 1281949696
    3300000 |    1185677 |   15849988 |    3013101 |      162.3 | 1281949696
    3400000 |    1226341 |   16332763 |    3102790 |      166.1 | 1281949696
    3500000 |    1267809 |   16814326 |    3191991 |      170.7 | 1281949696
    3600000 |    1309097 |   17296769 |    3281529 |      175.5 | 1281949696
    3700000 |    1344743 |   17777956 |    3373606 |      180.1 | 1281949696
    3800000 |    1386343 |   18258071 |    3462046 |      185.0 | 1281949696
    3900000 |    1429668 |   18736953 |    3549760 |      190.0 | 1281949696

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    4000000 |    1471712 |   19218615 |    3638265 |      194.9 | 1281949696
    4100000 |    1516236 |   19700033 |    3725892 |      199.9 | 1281949696
    4200000 |    1560111 |   20181554 |    3813592 |      204.0 | 1281949696
    4300000 |    1603466 |   20661241 |    3901267 |      209.0 | 1281949696
    4400000 |    1645974 |   21145649 |    3990692 |      213.9 | 1281949696
    4500000 |    1687086 |   21630873 |    4080021 |      218.8 | 1281949696
    4600000 |    1728956 |   22112549 |    4168848 |      223.8 | 1281949696
    4700000 |    1772835 |   22593026 |    4256974 |      228.8 | 1281949696
    4800000 |    1815486 |   23075808 |    4346066 |      233.9 | 1281949696
    4900000 |    1859785 |   23558495 |    4434126 |      239.0 | 1281949696
    5000000 |    1900313 |   24045330 |    4524389 |      242.8 | 1281949696
    5100000 |    1944147 |   24525205 |    4612060 |      247.9 | 1281949696
    5200000 |    1983741 |   25008845 |    4702324 |      253.0 | 1281949696
    5300000 |    2028003 |   25490939 |    4790780 |      258.1 | 1281949696
    5400000 |    2069343 |   25975242 |    4880900 |      263.2 | 1281949696
    5500000 |    2113120 |   26459221 |    4969193 |      287.9 | 1977024512
    5600000 |    2154586 |   26944110 |    5058851 |      292.0 | 1977024512
    5700000 |    2195970 |   27426961 |    5147957 |      297.3 | 1977024512
    5800000 |    2239529 |   27907712 |    5235969 |      301.6 | 1977024512
    5900000 |    2282284 |   28392585 |    5325470 |      308.2 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    6000000 |    2323629 |   28876788 |    5414649 |      312.9 | 1977024512
    6100000 |    2365868 |   29359553 |    5503454 |      318.4 | 1977024512
    6200000 |    2409491 |   29841376 |    5591732 |      322.7 | 1977024512
    6300000 |    2452399 |   30322751 |    5679540 |      328.4 | 1977024512
    6400000 |    2496089 |   30806453 |    5767761 |      334.1 | 1977024512
    6500000 |    2541504 |   31288682 |    5855034 |      338.4 | 1977024512
    6600000 |    2585025 |   31772771 |    5943427 |      344.1 | 1977024512
    6700000 |    2626175 |   32259753 |    6033482 |      348.3 | 1977024512
    6800000 |    2669945 |   32743453 |    6121390 |      354.1 | 1977024512
    6900000 |    2714870 |   33225419 |    6208817 |      358.5 | 1977024512
    7000000 |    2758760 |   33705934 |    6296600 |      364.3 | 1977024512
    7100000 |    2801927 |   34192532 |    6386011 |      368.7 | 1977024512
    7200000 |    2846307 |   34676758 |    6473686 |      374.6 | 1977024512
    7300000 |    2888863 |   35159554 |    6562576 |      380.4 | 1977024512
    7400000 |    2935211 |   35638783 |    6649273 |      384.9 | 1977024512
    7500000 |    2978609 |   36125499 |    6738395 |      390.7 | 1977024512
    7600000 |    3023641 |   36606725 |    6825462 |      395.1 | 1977024512
    7700000 |    3068345 |   37089905 |    6912538 |      401.1 | 1977024512
    7800000 |    3112503 |   37573859 |    7000478 |      405.5 | 1977024512
    7900000 |    3154780 |   38058694 |    7089249 |      440.8 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    8000000 |    3199393 |   38540586 |    7176652 |      470.9 | 1977024512
    8100000 |    3244072 |   39020915 |    7263475 |      475.4 | 1977024512
    8200000 |    3288298 |   39503204 |    7350814 |      506.3 | 1977024512
    8300000 |    3330248 |   39988530 |    7440664 |      510.7 | 1977024512
    8400000 |    3372953 |   40471981 |    7529678 |      542.1 | 1977024512
    8500000 |    3417047 |   40958126 |    7618189 |      546.5 | 1977024512
    8600000 |    3463980 |   41439796 |    7704321 |      578.8 | 1977024512
    8700000 |    3508405 |   41922298 |    7792238 |      610.7 | 1977024512
    8800000 |    3553077 |   42407248 |    7880395 |      644.1 | 1977024512
    8900000 |    3595585 |   42893537 |    7969457 |      677.9 | 1977024512
    9000000 |    3639485 |   43380947 |    8058235 |      741.7 | 1977024512
