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 |      65337 |     654130 |      99994 |        4.1 |   45162496
     200000 |     156654 |    1360528 |     199977 |        8.5 |   76824576
     300000 |     259626 |    2089685 |     299966 |       13.8 |  125669376
     400000 |     366472 |    2824358 |     399951 |       18.4 |  125669376
     500000 |     479635 |    3572498 |     499941 |       25.0 |  211480576
     600000 |     596479 |    4324498 |     599923 |       29.7 |  211480576
     700000 |     713661 |    5079761 |     699916 |       34.7 |  211480576
     800000 |     833708 |    5844332 |     799906 |       42.0 |  354304000
     900000 |     954268 |    6610122 |     899901 |       47.0 |  354304000
    1000000 |    1078682 |    7381620 |     999888 |       52.5 |  354304000
    1100000 |    1201889 |    8151003 |    1099875 |       57.7 |  354304000
    1200000 |    1329649 |    8933719 |    1199865 |       63.0 |  354304000
    1300000 |    1458150 |    9720874 |    1299851 |       72.2 |  599179264
    1400000 |    1587230 |   10506507 |    1399837 |       78.5 |  599179264
    1500000 |    1718422 |   11300471 |    1499829 |       84.2 |  599179264
    1600000 |    1849757 |   12091670 |    1599810 |       89.8 |  599179264
    1700000 |    1981548 |   12883954 |    1699799 |       95.5 |  599179264
    1800000 |    2115077 |   13681983 |    1799791 |      101.2 |  599179264
    1900000 |    2248175 |   14480047 |    1899785 |      107.2 |  599179264

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |    2381820 |   15273620 |    1999776 |      113.0 |  599179264
    2100000 |    2513871 |   16067551 |    2099765 |      127.3 |  986595328
    2200000 |    2646676 |   16863260 |    2199757 |      132.9 |  986595328
    2300000 |    2780525 |   17664258 |    2299738 |      138.7 |  986595328
    2400000 |    2918158 |   18469647 |    2399726 |      144.6 |  986595328
    2500000 |    3054375 |   19274172 |    2499719 |      151.2 |  986595328
    2600000 |    3190117 |   20077373 |    2599706 |      157.1 |  986595328
    2700000 |    3328105 |   20885598 |    2699698 |      163.8 |  986595328
    2800000 |    3467249 |   21696521 |    2799688 |      169.8 |  986595328
    2900000 |    3605028 |   22504612 |    2899679 |      175.8 |  986595328
    3000000 |    3742302 |   23317889 |    2999665 |      181.8 |  986595328
    3100000 |    3882748 |   24129936 |    3099653 |      188.9 |  986595328
    3200000 |    4021681 |   24939074 |    3199636 |      195.0 |  986595328
    3300000 |    4162840 |   25754341 |    3299630 |      201.3 |  986595328
    3400000 |    4302731 |   26568803 |    3399609 |      207.6 |  986595328
    3500000 |    4444776 |   27384776 |    3499603 |      227.2 | 1635950592
    3600000 |    4586473 |   28202290 |    3599593 |      233.8 | 1635950592
    3700000 |    4727587 |   29015437 |    3699583 |      240.7 | 1635950592
    3800000 |    4866352 |   29826248 |    3799571 |      246.2 | 1635950592
    3900000 |    5005807 |   30638109 |    3899562 |      253.0 | 1635950592

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    4000000 |    5148469 |   31457122 |    3999555 |      259.8 | 1635950592
    4100000 |    5290266 |   32273068 |    4099538 |      267.0 | 1635950592
    4200000 |    5432438 |   33092141 |    4199527 |      272.7 | 1635950592
    4300000 |    5574986 |   33908112 |    4299515 |      279.6 | 1635950592
    4400000 |    5717057 |   34724533 |    4399504 |      286.8 | 1635950592
    4500000 |    5861437 |   35544315 |    4499496 |      293.8 | 1635950592
    4600000 |    6004186 |   36359537 |    4599482 |      299.6 | 1635950592
    4700000 |    6146488 |   37174156 |    4699472 |      306.6 | 1635950592
    4800000 |    6287898 |   37986613 |    4799465 |      313.8 | 1635950592
    4900000 |    6428763 |   38797960 |    4899453 |      320.9 | 1635950592
    5000000 |    6571787 |   39612996 |    4999442 |      327.2 | 1635950592
    5100000 |    6715882 |   40434717 |    5099429 |      334.6 | 1635950592
    5200000 |    6859412 |   41253871 |    5199420 |      341.8 | 1635950592
    5300000 |    7002837 |   42070394 |    5299415 |      349.9 | 1635950592
    5400000 |    7145353 |   42886696 |    5399407 |      357.0 | 1635950592
    5500000 |    7288752 |   43705325 |    5499398 |      362.9 | 1635950592
    5600000 |    7431680 |   44521731 |    5599387 |      393.1 | 1977024512
    5700000 |    7574350 |   45339274 |    5699378 |      400.5 | 1977024512
    5800000 |    7715982 |   46154774 |    5799369 |      406.5 | 1977024512
    5900000 |    7860245 |   46975643 |    5899363 |      414.1 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    6000000 |    8004828 |   47794741 |    5999352 |      420.2 | 1977024512
    6100000 |    8149403 |   48615560 |    6099338 |      428.0 | 1977024512
    6200000 |    8295120 |   49436384 |    6199317 |      435.7 | 1977024512
    6300000 |    8438993 |   50255006 |    6299297 |      441.8 | 1977024512
    6400000 |    8583151 |   51077123 |    6399272 |      449.8 | 1977024512
    6500000 |    8730257 |   51902734 |    6499261 |      484.6 | 1977024512
    6600000 |    8871636 |   52719280 |    6599248 |      490.7 | 1977024512
    6700000 |    9014150 |   53536693 |    6699242 |      519.5 | 1977024512
    6800000 |    9160808 |   54362400 |    6799234 |      526.0 | 1977024512
    6900000 |    9304703 |   55182078 |    6899224 |      556.7 | 1977024512
    7000000 |    9450406 |   56003169 |    6999212 |      587.9 | 1977024512
    7100000 |    9595812 |   56825842 |    7099196 |      594.6 | 1977024512
    7200000 |    9741243 |   57649166 |    7199178 |      651.5 | 1977024512
