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 |     410381 |     510814 |        121 |        8.2 |   12394496
     200000 |     920059 |    1120444 |        121 |       18.5 |   34828288
     300000 |    1426363 |    1726719 |        121 |       29.0 |   58028032
     400000 |    1921516 |    2321915 |        121 |       39.3 |   58028032
     500000 |    2404619 |    2905002 |        121 |       49.9 |   58028032
     600000 |    2896365 |    3496762 |        121 |       61.7 |   96866304
     700000 |    3492038 |    4192391 |        121 |       75.0 |   96866304
     800000 |    4099894 |    4900260 |        121 |       87.9 |   96866304
     900000 |    4689690 |    5590088 |        121 |      102.1 |  162078720
    1000000 |    5280285 |    6280702 |        121 |      115.4 |  162078720
    1100000 |    5791098 |    6891525 |        121 |      127.0 |  162078720
    1200000 |    6369739 |    7570114 |        121 |      139.5 |  162078720
    1300000 |    6979315 |    8279714 |        121 |      152.7 |  162078720
    1400000 |    7581169 |    8981515 |        121 |      166.0 |  162078720
    1500000 |    8174303 |    9674668 |        121 |      181.4 |  270614528
    1600000 |    8683483 |   10283894 |        121 |      193.7 |  270614528
    1700000 |    9244662 |   10945064 |        121 |      206.8 |  270614528
    1800000 |    9852737 |   11653147 |        121 |      220.9 |  270614528
    1900000 |   10453363 |   12353768 |        121 |      235.1 |  270614528

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |   10974338 |   12974711 |        121 |      248.0 |  270614528
    2100000 |   11503501 |   13603858 |        121 |      260.0 |  270614528
    2200000 |   12039661 |   14240041 |        121 |      272.8 |  270614528
    2300000 |   12668279 |   14968695 |        121 |      287.3 |  270614528
    2400000 |   13276172 |   15676554 |        121 |      305.1 |  452141056
    2500000 |   13804642 |   16305022 |        121 |      318.4 |  452141056
    2600000 |   14325177 |   16925513 |        121 |      331.2 |  452141056
    2700000 |   14847729 |   17548109 |        121 |      344.2 |  452141056
    2800000 |   15334884 |   18135240 |        121 |      356.8 |  452141056
    2900000 |   15785167 |   18685473 |        121 |      369.6 |  452141056
    3000000 |   16301391 |   19301781 |        121 |      380.8 |  452141056
    3100000 |   16879706 |   19980119 |        121 |      393.4 |  452141056
    3200000 |   17459036 |   20659434 |        121 |      406.6 |  452141056
    3300000 |   17995120 |   21295553 |        121 |      419.2 |  452141056
    3400000 |   18646299 |   22046727 |        121 |      434.4 |  452141056
    3500000 |   19334361 |   22834784 |        121 |      450.1 |  452141056
    3600000 |   19986044 |   23586442 |        121 |      465.5 |  452141056
    3700000 |   20572815 |   24273229 |        121 |      479.0 |  452141056
    3800000 |   21264961 |   25065359 |        121 |      494.8 |  452141056
    3900000 |   21930099 |   25830518 |        121 |      510.1 |  452141056

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    4000000 |   22550310 |   26550715 |        121 |      524.7 |  452141056
    4100000 |   23196681 |   27297062 |        121 |      547.4 |  755425280
    4200000 |   23860508 |   28060890 |        121 |      563.0 |  755425280
    4300000 |   24476737 |   28777098 |        121 |      577.8 |  755425280
    4400000 |   25087148 |   29487511 |        121 |      592.1 |  755425280
    4500000 |   25759825 |   30260221 |        121 |      608.0 |  755425280
    4600000 |   26413438 |   31013818 |        121 |      623.6 |  755425280
    4700000 |   27014861 |   31715235 |        121 |      638.0 |  755425280
    4800000 |   27592716 |   32393099 |        121 |      652.4 |  755425280
    4900000 |   28153285 |   33053599 |        121 |      667.2 |  755425280
    5000000 |   28641421 |   33641845 |        121 |      679.7 |  755425280
    5100000 |   29233633 |   34333984 |        121 |      694.1 |  755425280
    5200000 |   29798806 |   34999214 |        121 |      708.1 |  755425280
    5300000 |   30337692 |   35638101 |        121 |      721.8 |  755425280
    5400000 |   30984112 |   36384495 |        121 |      737.5 |  755425280
    5500000 |   31658130 |   37158492 |        121 |      753.8 |  755425280
    5600000 |   32329260 |   37929617 |        121 |      770.1 |  755425280
    5700000 |   32919460 |   38619800 |        121 |      785.1 |  755425280
    5800000 |   33587597 |   39387958 |        121 |      801.4 |  755425280
    5900000 |   34253738 |   40154130 |        121 |      817.8 |  755425280

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    6000000 |   34838119 |   40838509 |        121 |      832.3 |  755425280
    6100000 |   35463356 |   41563706 |        121 |      848.0 |  755425280
    6200000 |   36173421 |   42373816 |        121 |      865.4 |  755425280
    6300000 |   36780344 |   43080715 |        121 |      880.6 |  755425280
    6400000 |   37372443 |   43772795 |        121 |      895.7 |  755425280
    6500000 |   37953185 |   44453494 |        121 |      910.9 |  755425280
    6600000 |   38466573 |   45066949 |        121 |      924.6 |  755425280
    6700000 |   39013033 |   45713380 |        121 |      937.6 |  755425280
    6800000 |   39576780 |   46377156 |        121 |      961.0 | 1260879872
    6900000 |   40116474 |   47016804 |        121 |      975.1 | 1260879872
    7000000 |   40726960 |   47727330 |        121 |      990.2 | 1260879872
    7100000 |   41316431 |   48416815 |        121 |     1004.7 | 1260879872
    7200000 |   41908673 |   49109002 |        121 |     1019.6 | 1260879872
    7300000 |   42489145 |   49789477 |        121 |     1034.8 | 1260879872
    7400000 |   43021485 |   50421898 |        121 |     1048.9 | 1260879872
    7500000 |   43668477 |   51168805 |        121 |     1064.7 | 1260879872
    7600000 |   44332338 |   51932719 |        121 |     1081.4 | 1260879872
    7700000 |   44970946 |   52671365 |        121 |     1097.5 | 1260879872
    7800000 |   45682585 |   53482955 |        121 |     1115.0 | 1260879872
    7900000 |   46372060 |   54272422 |        121 |     1132.4 | 1260879872

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    8000000 |   47063738 |   55064111 |        121 |     1149.8 | 1260879872
    8100000 |   47744714 |   55845019 |        121 |     1167.2 | 1260879872
    8200000 |   48336738 |   56537111 |        121 |     1183.0 | 1260879872
    8300000 |   48883647 |   57184019 |        121 |     1197.0 | 1260879872
    8400000 |   49448648 |   57849026 |        121 |     1211.8 | 1260879872
    8500000 |   49986399 |   58486805 |        121 |     1225.9 | 1260879872
    8600000 |   50598741 |   59199043 |        121 |     1241.3 | 1260879872
    8700000 |   51187808 |   59888153 |        121 |     1256.5 | 1260879872
    8800000 |   51779664 |   60580056 |        121 |     1272.2 | 1260879872
    8900000 |   52360332 |   61260669 |        121 |     1287.5 | 1260879872
    9000000 |   52872265 |   61872615 |        121 |     1301.2 | 1260879872
    9100000 |   53383504 |   62483808 |        121 |     1314.6 | 1260879872
    9200000 |   53952270 |   63152636 |        121 |     1329.7 | 1260879872
    9300000 |   54542808 |   63843153 |        121 |     1345.4 | 1260879872
    9400000 |   55125675 |   64525961 |        121 |     1360.7 | 1260879872
    9500000 |   55640100 |   65140453 |        121 |     1374.9 | 1260879872
    9600000 |   56154621 |   65754925 |        121 |     1388.8 | 1260879872
    9700000 |   56715550 |   66415875 |        121 |     1403.9 | 1260879872
    9800000 |   57271124 |   67071460 |        121 |     1418.9 | 1260879872
    9900000 |   57765395 |   67665711 |        121 |     1432.5 | 1260879872

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   10000000 |   58279486 |   68279821 |        121 |     1446.8 | 1260879872
   10100000 |   58842291 |   68942563 |        121 |     1462.5 | 1260879872
   10200000 |   59329734 |   69530005 |        121 |     1476.1 | 1260879872
   10300000 |   59777893 |   70078155 |        121 |     1489.4 | 1260879872
   10400000 |   60296583 |   70696973 |        121 |     1502.7 | 1260879872
   10500000 |   60860586 |   71360944 |        121 |     1517.2 | 1260879872
   10600000 |   61405832 |   72006180 |        121 |     1531.6 | 1260879872
   10700000 |   62061318 |   72761733 |        121 |     1547.5 | 1260879872
   10800000 |   62721453 |   73521830 |        121 |     1563.9 | 1260879872
   10900000 |   63313427 |   74213841 |        121 |     1579.5 | 1260879872
   11000000 |   63983016 |   74983440 |        121 |     1596.3 | 1260879872
   11100000 |   64573774 |   75674127 |        121 |     1611.3 | 1260879872
   11200000 |   65204802 |   76405180 |        121 |     1627.3 | 1260879872
   11300000 |   65854135 |   77154507 |        121 |     1657.5 | 1977024512
   11400000 |   66445597 |   77845920 |        121 |     1675.4 | 1977024512
   11500000 |   67005240 |   78505542 |        121 |     1690.7 | 1977024512
   11600000 |   67568645 |   79169030 |        121 |     1705.4 | 1977024512
   11700000 |   68235335 |   79935745 |        121 |     1722.0 | 1977024512
   11800000 |   68875148 |   80675498 |        121 |     1738.1 | 1977024512
   11900000 |   69562669 |   81463033 |        121 |     1755.3 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   12000000 |   70255140 |   82255477 |        121 |     1772.8 | 1977024512
   12100000 |   70914600 |   83014916 |        121 |     1789.5 | 1977024512
   12200000 |   71514759 |   83715104 |        121 |     1805.5 | 1977024512
   12300000 |   72182247 |   84482640 |        121 |     1822.5 | 1977024512
   12400000 |   72820857 |   85221238 |        121 |     1838.8 | 1977024512
   12500000 |   73508728 |   86009084 |        121 |     1856.5 | 1977024512
   12600000 |   74200812 |   86801195 |        121 |     1874.3 | 1977024512
   12700000 |   74860360 |   87560685 |        121 |     1891.6 | 1977024512
   12800000 |   75453928 |   88254305 |        121 |     1907.1 | 1977024512
   12900000 |   76102754 |   89003119 |        121 |     1923.8 | 1977024512
   13000000 |   76790490 |   89790829 |        121 |     1941.6 | 1977024512
   13100000 |   77438640 |   90538933 |        121 |     1958.3 | 1977024512
   13200000 |   78028927 |   91229253 |        121 |     1974.0 | 1977024512
   13300000 |   78675991 |   91976311 |        121 |     1991.0 | 1977024512
   13400000 |   79303306 |   92703623 |        121 |     2008.0 | 1977024512
   13500000 |   79892109 |   93392424 |        121 |     2023.9 | 1977024512
   13600000 |   80541625 |   94141932 |        121 |     2041.0 | 1977024512
   13700000 |   81115288 |   94815563 |        121 |     2056.9 | 1977024512
   13800000 |   81624212 |   95424619 |        121 |     2070.8 | 1977024512
   13900000 |   82175170 |   96075520 |        121 |     2085.1 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   14000000 |   82730240 |   96730632 |        121 |     2099.0 | 1977024512
   14100000 |   83380163 |   97480567 |        121 |     2115.5 | 1977024512
   14200000 |   83979836 |   98180237 |        121 |     2130.4 | 1977024512
   14300000 |   84619293 |   98919647 |        121 |     2146.9 | 1977024512
   14400000 |   85198277 |   99598656 |        121 |     2161.4 | 1977024512
   14500000 |   85840887 |  100341260 |        121 |     2178.6 | 1977024512
   14600000 |   86418603 |  101018951 |        121 |     2193.3 | 1977024512
   14700000 |   86950591 |  101650930 |        121 |     2208.0 | 1977024512
   14800000 |   87581241 |  102381619 |        121 |     2223.5 | 1977024512
   14900000 |   88227687 |  103128047 |        121 |     2240.0 | 1977024512
   15000000 |   88907649 |  103907910 |        121 |     2257.3 | 1977024512
   15100000 |   89559143 |  104659455 |        121 |     2273.6 | 1977024512
   15200000 |   90164252 |  105364607 |        121 |     2289.6 | 1977024512
   15300000 |   90799172 |  106099474 |        121 |     2305.5 | 1977024512
   15400000 |   91461824 |  106862193 |        121 |     2322.2 | 1977024512
   15500000 |   92139225 |  107639531 |        121 |     2339.1 | 1977024512
   15600000 |   92771587 |  108371912 |        121 |     2356.1 | 1977024512
   15700000 |   93363596 |  109063981 |        121 |     2371.4 | 1977024512
   15800000 |   94041657 |  109841930 |        121 |     2388.3 | 1977024512
   15900000 |   94661786 |  110562123 |        121 |     2404.8 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   16000000 |   95266170 |  111266491 |        121 |     2420.4 | 1977024512
   16100000 |   95908505 |  112008787 |        121 |     2437.4 | 1977024512
   16200000 |   96490192 |  112690468 |        121 |     2452.7 | 1977024512
   16300000 |   97105310 |  113405585 |        121 |     2469.9 | 1977024512
   16400000 |   97635286 |  114035639 |        121 |     2484.5 | 1977024512
   16500000 |   98164918 |  114665277 |        121 |     2498.2 | 1977024512
   16600000 |   98710521 |  115310869 |        121 |     2532.6 | 1977024512
   16700000 |   99291204 |  115991514 |        121 |     2595.4 | 1977024512
   16800000 |   99844152 |  116644467 |        121 |     2630.3 | 1977024512
   16900000 |  100404028 |  117304385 |        121 |     2688.2 | 1977024512
   17000000 |  101042930 |  118043223 |        121 |     2725.4 | 1977024512
   17100000 |  101703135 |  118803449 |        121 |     2784.6 | 1977024512
   17200000 |  102378775 |  119579098 |        121 |     2822.6 | 1977024512
   17300000 |  103016065 |  120316292 |        121 |     2881.8 | 1977024512
   17400000 |  103604882 |  121005240 |        121 |     2940.6 | 1977024512
   17500000 |  104281850 |  121782138 |        121 |     2979.1 | 1977024512
   17600000 |  104906250 |  122506568 |        121 |     3038.9 | 1977024512
   17700000 |  105506373 |  123206667 |        121 |     3076.7 | 1977024512
   17800000 |  106150416 |  123950688 |        121 |     3138.6 | 1977024512
   17900000 |  106730596 |  124630885 |        121 |     3176.2 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   18000000 |  107348168 |  125348441 |        121 |     3238.2 | 1977024512
   18100000 |  107880312 |  125980664 |        121 |     3299.2 | 1977024512
   18200000 |  108409546 |  126609815 |        121 |     3368.0 | 1977024512
   18300000 |  108952555 |  127252861 |        121 |     3452.8 | 1977024512
   18400000 |  109533501 |  127933783 |        121 |     3539.2 | 1977024512
   18500000 |  110089054 |  128589349 |        121 |     3624.7 | 1977024512
   18600000 |  110638181 |  129238457 |        121 |     3759.1 | 1977024512
   18700000 |  111290366 |  129990674 |        121 |     3919.9 | 1977024512
