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 |     361235 |     461539 |        163 |       13.6 |   12537856
     200000 |     798254 |     998572 |        163 |       30.0 |   34951168
     300000 |    1269690 |    1569984 |        163 |       46.7 |   34951168
     400000 |    1741073 |    2141349 |        163 |       64.1 |   58449920
     500000 |    2178210 |    2678513 |        163 |       80.7 |   58449920
     600000 |    2597841 |    3198122 |        163 |      102.9 |   97853440
     700000 |    3051441 |    3751723 |        163 |      119.9 |   97853440
     800000 |    3523493 |    4323785 |        163 |      137.5 |   97853440
     900000 |    3994739 |    4895085 |        163 |      155.7 |   97853440
    1000000 |    4502766 |    5503059 |        163 |      176.3 |  163307520
    1100000 |    5068685 |    6169006 |        163 |      197.6 |  163307520
    1200000 |    5619277 |    6819599 |        163 |      219.2 |  163307520
    1300000 |    6132476 |    7432804 |        163 |      240.2 |  163307520
    1400000 |    6686433 |    8086734 |        163 |      261.3 |  163307520
    1500000 |    7256178 |    8756477 |        163 |      283.4 |  163307520
    1600000 |    7788048 |    9388332 |        163 |      304.1 |  163307520
    1700000 |    8279010 |    9979298 |        163 |      324.5 |  272572416
    1800000 |    8847276 |   10647566 |        163 |      345.1 |  272572416
    1900000 |    9420270 |   11320557 |        163 |      366.0 |  272572416

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |    9923085 |   11923399 |        163 |      385.5 |  272572416
    2100000 |   10466420 |   12566698 |        163 |      405.8 |  272572416
    2200000 |   11032552 |   13232840 |        163 |      426.7 |  272572416
    2300000 |   11580830 |   13881129 |        163 |      447.4 |  272572416
    2400000 |   12063961 |   14464266 |        163 |      466.2 |  272572416
    2500000 |   12638035 |   15138308 |        163 |      487.9 |  272572416
    2600000 |   13203406 |   15803694 |        163 |      509.6 |  272572416
    2700000 |   13720674 |   16420994 |        163 |      530.8 |  272572416
    2800000 |   14242777 |   17043059 |        163 |      552.2 |  272572416
    2900000 |   14814133 |   17714416 |        163 |      575.0 |  272572416
    3000000 |   15390454 |   18390727 |        163 |      602.4 |  455663616
    3100000 |   15795290 |   18895590 |        163 |      619.1 |  455663616
    3200000 |   16233269 |   19433575 |        163 |      637.2 |  455663616
    3300000 |   16753256 |   20053553 |        163 |      658.2 |  455663616
    3400000 |   17275123 |   20675413 |        163 |      679.1 |  455663616
    3500000 |   17794940 |   21295218 |        163 |      700.9 |  455663616
    3600000 |   18225869 |   21826180 |        163 |      719.9 |  455663616
    3700000 |   18660054 |   22360347 |        163 |      739.5 |  455663616
    3800000 |   19165161 |   22965446 |        163 |      760.1 |  455663616
    3900000 |   19670111 |   23570416 |        163 |      780.8 |  455663616

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    4000000 |   20178352 |   24178644 |        163 |      802.1 |  455663616
    4100000 |   20683143 |   24783430 |        163 |      822.1 |  455663616
    4200000 |   21187220 |   25387507 |        163 |      841.5 |  455663616
    4300000 |   21753218 |   26053502 |        163 |      862.5 |  455663616
    4400000 |   22307754 |   26708060 |        163 |      884.0 |  455663616
    4500000 |   22818434 |   27318717 |        163 |      904.6 |  455663616
    4600000 |   23374315 |   27974608 |        163 |      925.7 |  455663616
    4700000 |   23941689 |   28641972 |        163 |      947.3 |  455663616
    4800000 |   24476189 |   29276464 |        163 |      968.2 |  455663616
    4900000 |   24963467 |   29863755 |        163 |      987.6 |  455663616
    5000000 |   25534243 |   30534525 |        163 |     1010.0 |  455663616
    5100000 |   26110941 |   31211241 |        163 |     1032.8 |  455663616
    5200000 |   26611766 |   31812061 |        163 |     1061.6 |  759877632
    5300000 |   27151290 |   32451566 |        163 |     1083.1 |  759877632
    5400000 |   27717993 |   33118277 |        163 |     1105.4 |  759877632
    5500000 |   28270286 |   33770611 |        163 |     1127.7 |  759877632
    5600000 |   28751017 |   34351352 |        163 |     1147.0 |  759877632
    5700000 |   29322575 |   35022890 |        163 |     1169.7 |  759877632
    5800000 |   29888487 |   35688788 |        163 |     1192.6 |  759877632
    5900000 |   30408627 |   36308960 |        163 |     1214.4 |  759877632

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    6000000 |   30927534 |   36927850 |        163 |     1236.5 |  759877632
    6100000 |   31502082 |   37602399 |        163 |     1259.1 |  759877632
    6200000 |   32077926 |   38278224 |        163 |     1282.4 |  759877632
    6300000 |   32643058 |   38943377 |        163 |     1304.5 |  759877632
    6400000 |   33297979 |   39698282 |        163 |     1329.6 |  759877632
    6500000 |   33963666 |   40463980 |        163 |     1355.4 |  759877632
    6600000 |   34599013 |   41199341 |        163 |     1380.7 |  759877632
    6700000 |   35217001 |   41917316 |        163 |     1406.4 |  759877632
    6800000 |   35886481 |   42686786 |        163 |     1431.8 |  759877632
    6900000 |   36553267 |   43453543 |        163 |     1458.0 |  759877632
    7000000 |   37136110 |   44136415 |        163 |     1481.4 |  759877632
    7100000 |   37776344 |   44876638 |        163 |     1506.7 |  759877632
    7200000 |   38448086 |   45648393 |        163 |     1533.2 |  759877632
    7300000 |   39084333 |   46384641 |        163 |     1559.5 |  759877632
    7400000 |   39704203 |   47104490 |        163 |     1586.0 |  759877632
    7500000 |   40362815 |   47863126 |        163 |     1612.4 |  759877632
    7600000 |   41029868 |   48630145 |        163 |     1639.8 |  759877632
    7700000 |   41599738 |   49300084 |        163 |     1663.3 |  759877632
    7800000 |   42119713 |   49920024 |        163 |     1685.4 |  759877632
    7900000 |   42723622 |   50623954 |        163 |     1710.4 |  759877632

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    8000000 |   43327731 |   51328065 |        163 |     1735.9 |  759877632
    8100000 |   43947542 |   52047857 |        163 |     1762.6 |  759877632
    8200000 |   44507635 |   52707954 |        163 |     1787.7 |  759877632
    8300000 |   45040922 |   53341259 |        163 |     1812.4 |  759877632
    8400000 |   45617810 |   54018126 |        163 |     1848.9 | 1268715520
    8500000 |   46237190 |   54737491 |        163 |     1875.2 | 1268715520
    8600000 |   46859862 |   55460167 |        163 |     1901.4 | 1268715520
    8700000 |   47458752 |   56159073 |        163 |     1927.1 | 1268715520
    8800000 |   48037043 |   56837354 |        163 |     1949.8 | 1268715520
    8900000 |   48707201 |   57607500 |        163 |     1975.5 | 1268715520
    9000000 |   49374180 |   58374465 |        163 |     2001.7 | 1268715520
    9100000 |   49997572 |   59097900 |        163 |     2027.1 | 1268715520
    9200000 |   50613612 |   59813889 |        163 |     2053.0 | 1268715520
    9300000 |   51288769 |   60589084 |        163 |     2079.7 | 1268715520
    9400000 |   51961452 |   61361738 |        163 |     2106.3 | 1268715520
    9500000 |   52530105 |   62030409 |        163 |     2129.1 | 1268715520
    9600000 |   53183326 |   62783649 |        163 |     2155.2 | 1268715520
    9700000 |   53850599 |   63550890 |        163 |     2182.8 | 1268715520
    9800000 |   54486550 |   64286852 |        163 |     2209.3 | 1268715520
    9900000 |   55106358 |   65006674 |        163 |     2236.4 | 1268715520

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   10000000 |   55771787 |   65772079 |        163 |     2263.1 | 1268715520
   10100000 |   56437837 |   66538113 |        163 |     2290.4 | 1268715520
   10200000 |   56943212 |   67143497 |        163 |     2311.0 | 1268715520
   10300000 |   57481872 |   67782156 |        163 |     2331.9 | 1268715520
   10400000 |   58053680 |   68453974 |        163 |     2353.8 | 1268715520
   10500000 |   58590234 |   69090536 |        163 |     2375.6 | 1268715520
   10600000 |   59109692 |   69709989 |        163 |     2397.0 | 1268715520
   10700000 |   59668217 |   70368496 |        163 |     2419.0 | 1268715520
   10800000 |   60235354 |   71035644 |        163 |     2441.5 | 1268715520
   10900000 |   60807470 |   71707764 |        163 |     2463.8 | 1268715520
   11000000 |   61430235 |   72430532 |        163 |     2487.3 | 1268715520
   11100000 |   62098536 |   73198826 |        163 |     2512.5 | 1268715520
   11200000 |   62736670 |   73936965 |        163 |     2537.1 | 1268715520
   11300000 |   63356306 |   74656594 |        163 |     2562.0 | 1268715520
   11400000 |   64011126 |   75411419 |        163 |     2587.2 | 1268715520
   11500000 |   64682249 |   76182538 |        163 |     2612.8 | 1268715520
   11600000 |   65306075 |   76906359 |        163 |     2637.1 | 1268715520
   11700000 |   65907749 |   77608032 |        163 |     2660.4 | 1268715520
   11800000 |   66574883 |   78375172 |        163 |     2686.3 | 1268715520
   11900000 |   67233457 |   79133758 |        163 |     2711.6 | 1268715520

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   12000000 |   67842278 |   79842568 |        163 |     2736.4 | 1268715520
   12100000 |   68497928 |   80598197 |        163 |     2762.2 | 1268715520
   12200000 |   69163062 |   81363349 |        163 |     2788.1 | 1268715520
   12300000 |   69776270 |   82076567 |        163 |     2812.9 | 1268715520
   12400000 |   70295352 |   82695640 |        163 |     2833.9 | 1268715520
   12500000 |   70873564 |   83373851 |        163 |     2856.8 | 1268715520
   12600000 |   71493467 |   84093765 |        163 |     2881.6 | 1268715520
   12700000 |   72102346 |   84802643 |        163 |     2906.2 | 1268715520
   12800000 |   72682069 |   85482368 |        163 |     2930.6 | 1268715520
   12900000 |   73227966 |   86128256 |        163 |     2954.4 | 1268715520
   13000000 |   73775667 |   86775965 |        163 |     2978.9 | 1268715520
   13100000 |   74381028 |   87481306 |        163 |     3003.5 | 1268715520
   13200000 |   74996597 |   88196895 |        163 |     3028.4 | 1268715520
   13300000 |   75616083 |   88916362 |        163 |     3054.4 | 1268715520
   13400000 |   76195144 |   89595428 |        163 |     3077.6 | 1268715520
   13500000 |   76831471 |   90331762 |        163 |     3101.7 | 1268715520
   13600000 |   77502749 |   91103042 |        163 |     3127.2 | 1268715520
   13700000 |   78139151 |   91839441 |        163 |     3152.2 | 1268715520
   13800000 |   78758600 |   92558885 |        163 |     3177.9 | 1268715520
   13900000 |   79416064 |   93316334 |        163 |     3203.5 | 1268715520

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   14000000 |   80084432 |   94084716 |        163 |     3229.6 | 1268715520
   14100000 |   80695669 |   94795961 |        163 |     3253.5 | 1268715520
   14200000 |   81318499 |   95518769 |        163 |     3278.5 | 1268715520
   14300000 |   81983855 |   96284130 |        163 |     3304.7 | 1268715520
   14400000 |   82623490 |   97023787 |        163 |     3330.3 | 1268715520
   14500000 |   83243202 |   97743480 |        163 |     3356.6 | 1268715520
   14600000 |   83898497 |   98498798 |        163 |     3382.9 | 1268715520
   14700000 |   84568447 |   99268721 |        163 |     3409.7 | 1268715520
   14800000 |   85149221 |   99949511 |        163 |     3433.9 | 1268715520
   14900000 |   85650176 |  100550469 |        163 |     3454.0 | 1268715520
   15000000 |   86216064 |  101216341 |        163 |     3476.5 | 1268715520
   15100000 |   86779396 |  101879680 |        163 |     3499.2 | 1268715520
   15200000 |   87285844 |  102486139 |        163 |     3520.7 | 1268715520
   15300000 |   87838298 |  103138571 |        163 |     3563.0 | 1977024512
   15400000 |   88403444 |  103803724 |        163 |     3586.5 | 1977024512
   15500000 |   88969666 |  104469951 |        163 |     3609.5 | 1977024512
   15600000 |   89553919 |  105154214 |        163 |     3632.6 | 1977024512
   15700000 |   90229464 |  105929748 |        163 |     3659.1 | 1977024512
   15800000 |   90902817 |  106703088 |        163 |     3686.1 | 1977024512
   15900000 |   91510308 |  107410632 |        163 |     3710.9 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   16000000 |   92142157 |  108142440 |        163 |     3736.8 | 1977024512
   16100000 |   92807244 |  108907527 |        163 |     3763.1 | 1977024512
   16200000 |   93468569 |  109668862 |        163 |     3789.9 | 1977024512
   16300000 |   94046219 |  110346504 |        163 |     3813.1 | 1977024512
   16400000 |   94713168 |  111113448 |        163 |     3839.3 | 1977024512
   16500000 |   95379220 |  111879489 |        163 |     3866.1 | 1977024512
   16600000 |   96007242 |  112607555 |        163 |     3892.4 | 1977024512
   16700000 |   96620736 |  113321015 |        163 |     3918.3 | 1977024512
   16800000 |   97296073 |  114096356 |        163 |     3945.5 | 1977024512
   16900000 |   97966723 |  114866992 |        163 |     3972.9 | 1977024512
   17000000 |   98485950 |  115486252 |        163 |     3994.5 | 1977024512
   17100000 |   99016245 |  116116538 |        163 |     4016.9 | 1977024512
   17200000 |   99633444 |  116833737 |        163 |     4042.6 | 1977024512
   17300000 |  100250959 |  117551262 |        163 |     4068.4 | 1977024512
   17400000 |  100870836 |  118271122 |        163 |     4095.5 | 1977024512
   17500000 |  101410761 |  118911077 |        163 |     4119.6 | 1977024512
   17600000 |  101941647 |  119541944 |        163 |     4144.8 | 1977024512
   17700000 |  102541934 |  120242213 |        163 |     4170.2 | 1977024512
   17800000 |  103154934 |  120955227 |        163 |     4196.9 | 1977024512
   17900000 |  103759658 |  121659951 |        163 |     4223.1 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   18000000 |  104364955 |  122365240 |        163 |     4248.4 | 1977024512
   18100000 |  104962718 |  123062999 |        163 |     4272.0 | 1977024512
   18200000 |  105628160 |  123828437 |        163 |     4297.5 | 1977024512
   18300000 |  106294899 |  124595193 |        163 |     4324.1 | 1977024512
   18400000 |  106900842 |  125301123 |        163 |     4349.4 | 1977024512
   18500000 |  107550409 |  126050680 |        163 |     4375.9 | 1977024512
   18600000 |  108216449 |  126816733 |        163 |     4402.3 | 1977024512
   18700000 |  108857715 |  127558006 |        163 |     4428.4 | 1977024512
   18800000 |  109440984 |  128241261 |        163 |     4452.2 | 1977024512
   18900000 |  110116500 |  129016775 |        163 |     4479.5 | 1977024512
   19000000 |  110787435 |  129787713 |        163 |     4507.0 | 1977024512
   19100000 |  111398042 |  130498363 |        163 |     4532.7 | 1977024512
   19200000 |  112026640 |  131226914 |        163 |     4559.1 | 1977024512
   19300000 |  112692634 |  131992915 |        163 |     4586.0 | 1977024512
   19400000 |  113362256 |  132762520 |        163 |     4613.9 | 1977024512
   19500000 |  113771398 |  133271705 |        163 |     4639.8 | 1977024512
   19600000 |  114205514 |  133805829 |        163 |     4658.6 | 1977024512
   19700000 |  114725021 |  134425328 |        163 |     4680.3 | 1977024512
   19800000 |  115244563 |  135044871 |        163 |     4702.1 | 1977024512
   19900000 |  115764443 |  135664730 |        163 |     4724.8 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   20000000 |  116197782 |  136198100 |        163 |     4744.3 | 1977024512
   20100000 |  116632100 |  136732407 |        163 |     4764.7 | 1977024512
   20200000 |  117135551 |  137335842 |        163 |     4786.4 | 1977024512
   20300000 |  117644076 |  137944379 |        163 |     4808.1 | 1977024512
   20400000 |  118150256 |  138550549 |        163 |     4829.9 | 1977024512
   20500000 |  118668284 |  139168578 |        163 |     4851.8 | 1977024512
   20600000 |  119187531 |  139787829 |        163 |     4873.9 | 1977024512
   20700000 |  119784351 |  140484648 |        163 |     4898.1 | 1977024512
   20800000 |  120393565 |  141193872 |        163 |     4923.3 | 1977024512
   20900000 |  120999334 |  141899636 |        163 |     4949.1 | 1977024512
   21000000 |  121570152 |  142570465 |        163 |     4973.6 | 1977024512
   21100000 |  122110069 |  143210365 |        163 |     4998.7 | 1977024512
   21200000 |  122670569 |  143870854 |        163 |     5024.0 | 1977024512
   21300000 |  123287463 |  144587757 |        163 |     5049.7 | 1977024512
   21400000 |  123906210 |  145306503 |        163 |     5075.9 | 1977024512
   21500000 |  124525958 |  146026249 |        163 |     5103.0 | 1977024512
   21600000 |  125044124 |  146644426 |        163 |     5125.0 | 1977024512
   21700000 |  125573788 |  147274095 |        163 |     5148.3 | 1977024512
   21800000 |  126190300 |  147990585 |        163 |     5174.7 | 1977024512
   21900000 |  126808450 |  148708743 |        163 |     5227.4 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   22000000 |  127428343 |  149428629 |        163 |     5313.1 | 1977024512
   22100000 |  127968807 |  150069120 |        163 |     5390.1 | 1977024512
   22200000 |  128499773 |  150700063 |        163 |     5467.7 | 1977024512
   22300000 |  129098884 |  151399175 |        163 |     5572.5 | 1977024512
   22400000 |  129712768 |  152113056 |        163 |     5651.4 | 1977024512
   22500000 |  130317482 |  152817786 |        163 |     5731.5 | 1977024512
   22600000 |  130851817 |  153452114 |        163 |     5835.8 | 1977024512
   22700000 |  131292308 |  153992629 |        163 |     5911.1 | 1977024512
   22800000 |  131752920 |  154553253 |        163 |     5986.3 | 1977024512
   22900000 |  132292365 |  155192689 |        163 |     6064.6 | 1977024512
   23000000 |  132833436 |  155833733 |        163 |     6143.7 | 1977024512
   23100000 |  133366991 |  156467325 |        163 |     6250.6 | 1977024512
   23200000 |  133897878 |  157098200 |        163 |     6330.9 | 1977024512
   23300000 |  134362218 |  157662544 |        163 |     6408.7 | 1977024512
   23400000 |  134810538 |  158210858 |        163 |     6486.3 | 1977024512
   23500000 |  135284139 |  158784421 |        163 |     6564.8 | 1977024512
   23600000 |  135813034 |  159413321 |        163 |     6644.6 | 1977024512
   23700000 |  136346872 |  160047166 |        163 |     6725.1 | 1977024512
   23800000 |  136880779 |  160681076 |        163 |     6833.8 | 1977024512
   23900000 |  137413004 |  161313306 |        163 |     6915.8 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   24000000 |  137945771 |  161946068 |        163 |     6996.1 | 1977024512
   24100000 |  138465063 |  162565358 |        163 |     7075.2 | 1977024512
   24200000 |  139065149 |  163265456 |        163 |     7187.6 | 1977024512
   24300000 |  139671360 |  163971648 |        163 |     7270.2 | 1977024512
   24400000 |  140286907 |  164687196 |        163 |     7383.1 | 1977024512
   24500000 |  140852668 |  165352992 |        163 |     7495.6 | 1977024512
   24600000 |  141383530 |  165983808 |        163 |     7607.2 | 1977024512
   24700000 |  141958266 |  166658554 |        163 |     7719.8 | 1977024512
   24800000 |  142577810 |  167378087 |        163 |     7863.8 | 1977024512
   24900000 |  143196512 |  168096793 |        163 |     8007.5 | 1977024512
   25000000 |  143803415 |  168803723 |        163 |     8153.7 | 1977024512
   25100000 |  144308516 |  169408803 |        163 |     8293.6 | 1977024512
   25200000 |  144864356 |  170064666 |        163 |     8436.5 | 1977024512
   25300000 |  145484767 |  170785036 |        163 |     8642.4 | 1977024512
   25400000 |  146102245 |  171502531 |        163 |     8908.8 | 1977024512
   25500000 |  146705714 |  172206026 |        163 |     9207.8 | 1977024512
   25600000 |  147250413 |  172850705 |        163 |     9565.2 | 1977024512
