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 |     249105 |     844194 |      55370 |        6.5 |   39350272
     200000 |     581575 |    1730940 |     101360 |       14.3 |   66043904
     300000 |     959350 |    2610142 |     142071 |       23.5 |  109608960
     400000 |    1277754 |    3541574 |     193539 |       31.4 |  109608960
     500000 |    1604007 |    4530915 |     246733 |       41.3 |  184410112
     600000 |    2055017 |    5430598 |     279672 |       51.2 |  184410112
     700000 |    2542208 |    6386861 |     312376 |       62.2 |  184410112
     800000 |    2913464 |    7309473 |     357305 |       71.5 |  184410112
     900000 |    3264180 |    8289322 |     407391 |       83.3 |  311263232
    1000000 |    3662435 |    9221315 |     449171 |       93.0 |  311263232
    1100000 |    3961841 |   10211113 |     505833 |      101.6 |  311263232
    1200000 |    4384438 |   11179334 |     546361 |      112.6 |  311263232
    1300000 |    4818919 |   12164057 |     587615 |      124.3 |  311263232
    1400000 |    5160088 |   13222249 |     643296 |      138.1 |  521240576
    1500000 |    5583861 |   14240846 |     687125 |      149.1 |  521240576
    1600000 |    6194434 |   15105409 |     700203 |      162.4 |  521240576
    1700000 |    6674201 |   16075160 |     736086 |      174.6 |  521240576
    1800000 |    7181555 |   17039859 |     767277 |      187.3 |  521240576
    1900000 |    7721071 |   17989037 |     794540 |      200.2 |  521240576

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |    8229484 |   18976749 |     826317 |      213.0 |  521240576
    2100000 |    8665823 |   20007884 |     868950 |      224.4 |  521240576
    2200000 |    9203698 |   20987143 |     898529 |      236.9 |  521240576
    2300000 |    9663805 |   22039586 |     940814 |      249.4 |  521240576
    2400000 |    9968114 |   22997468 |     995416 |      266.5 |  864980992
    2500000 |   10326580 |   23990949 |    1045403 |      277.3 |  864980992
    2600000 |   10702139 |   25003297 |    1094575 |      288.6 |  864980992
    2700000 |   11220790 |   25957185 |    1124525 |      302.1 |  864980992
    2800000 |   11928294 |   26806095 |    1127932 |      317.1 |  864980992
    2900000 |   12513893 |   27787409 |    1152426 |      331.5 |  864980992
    3000000 |   13074172 |   28804197 |    1182182 |      345.7 |  864980992
    3100000 |   13730823 |   29714041 |    1194393 |      360.9 |  864980992
    3200000 |   14424480 |   30635946 |    1204657 |      377.5 |  864980992
    3300000 |   15052602 |   31580282 |    1224003 |      392.4 |  864980992
    3400000 |   15405860 |   32678155 |    1279782 |      403.9 |  864980992
    3500000 |   15875203 |   33697059 |    1318897 |      417.7 |  864980992
    3600000 |   16548633 |   34640534 |    1332917 |      434.1 |  864980992
    3700000 |   17337255 |   35620481 |    1340197 |      452.7 |  864980992
    3800000 |   17850451 |   36629569 |    1374634 |      467.0 |  864980992
    3900000 |   18465740 |   37629305 |    1397627 |      483.7 |  864980992

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    4000000 |   18988285 |   38669326 |    1432416 |      498.5 |  864980992
    4100000 |   19584263 |   39664301 |    1457722 |      514.5 |  864980992
    4200000 |   20031391 |   40741438 |    1502755 |      527.4 |  864980992
    4300000 |   20563629 |   41759910 |    1536766 |      542.3 |  864980992
    4400000 |   20841566 |   42735869 |    1595475 |      561.5 | 1455616000
    4500000 |   21255701 |   43700842 |    1636470 |      574.8 | 1455616000
    4600000 |   21700365 |   44688625 |    1676444 |      587.6 | 1455616000
    4700000 |   22010958 |   45752024 |    1736000 |      598.0 | 1455616000
    4800000 |   22482582 |   46801663 |    1776884 |      611.9 | 1455616000
    4900000 |   23030997 |   47793418 |    1806617 |      627.1 | 1455616000
    5000000 |   23444106 |   48821197 |    1852311 |      639.2 | 1455616000
    5100000 |   23860380 |   49886098 |    1900288 |      652.0 | 1455616000
    5200000 |   24477407 |   50925591 |    1926467 |      669.4 | 1455616000
    5300000 |   24981465 |   52009241 |    1965508 |      684.4 | 1455616000
    5400000 |   25454036 |   53063921 |    2006404 |      698.5 | 1455616000
    5500000 |   25861389 |   54092358 |    2053465 |      711.0 | 1455616000
    5600000 |   26266361 |   55176451 |    2103276 |      724.2 | 1455616000
    5700000 |   26677023 |   56285937 |    2153950 |      737.2 | 1455616000
    5800000 |   27058097 |   57412962 |    2208324 |      749.8 | 1455616000
    5900000 |   27564156 |   58543161 |    2249904 |      765.3 | 1455616000

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    6000000 |   28037889 |   59653748 |    2294125 |      779.8 | 1455616000
    6100000 |   28541093 |   60765971 |    2334878 |      795.1 | 1455616000
    6200000 |   29254812 |   61768967 |    2349601 |      814.5 | 1455616000
    6300000 |   29938639 |   62794774 |    2368404 |      833.2 | 1455616000
    6400000 |   30309686 |   63821646 |    2419288 |      844.5 | 1455616000
    6500000 |   30741281 |   64908993 |    2466375 |      857.8 | 1455616000
    6600000 |   31266763 |   65973649 |    2503280 |      873.4 | 1455616000
    6700000 |   31965165 |   67025484 |    2522123 |      892.8 | 1455616000
    6800000 |   32536301 |   68084424 |    2553545 |      909.0 | 1455616000
    6900000 |   33204356 |   69164445 |    2577051 |      928.2 | 1455616000
    7000000 |   33575461 |   70087887 |    2622036 |      957.5 | 1977024512
    7100000 |   33956363 |   71063730 |    2668277 |      972.0 | 1977024512
    7200000 |   34342791 |   72058204 |    2715231 |      984.8 | 1977024512
    7300000 |   34664396 |   73107797 |    2772394 |      996.6 | 1977024512
    7400000 |   35110491 |   74150522 |    2814861 |     1010.9 | 1977024512
    7500000 |   35642216 |   75140890 |    2845803 |     1028.2 | 1977024512
    7600000 |   36135114 |   76166064 |    2882513 |     1043.6 | 1977024512
    7700000 |   36838435 |   77126105 |    2894945 |     1063.1 | 1977024512
    7800000 |   37590083 |   78052570 |    2900564 |     1081.5 | 1977024512
    7900000 |   38327011 |   78918669 |    2902926 |     1098.6 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    8000000 |   38723192 |   80011115 |    2953145 |     1110.7 | 1977024512
    8100000 |   39321848 |   81103611 |    2983968 |     1128.6 | 1977024512
    8200000 |   39981264 |   82207457 |    3010301 |     1148.0 | 1977024512
    8300000 |   40649248 |   83264562 |    3032984 |     1166.2 | 1977024512
    8400000 |   41420083 |   84238971 |    3041073 |     1186.9 | 1977024512
    8500000 |   42069825 |   85252119 |    3063476 |     1204.5 | 1977024512
    8600000 |   42522325 |   86424161 |    3113263 |     1219.0 | 1977024512
    8700000 |   43030906 |   87577127 |    3156484 |     1235.2 | 1977024512
    8800000 |   43676308 |   88683689 |    3184859 |     1253.6 | 1977024512
    8900000 |   44328806 |   89765608 |    3210607 |     1272.9 | 1977024512
    9000000 |   45027056 |   90822132 |    3229906 |     1292.2 | 1977024512
    9100000 |   45725011 |   91798366 |    3244270 |     1339.9 | 1977024512
    9200000 |   46495622 |   92801403 |    3254237 |     1361.0 | 1977024512
    9300000 |   47283424 |   93789972 |    3261755 |     1382.2 | 1977024512
    9400000 |   47861806 |   94866423 |    3293553 |     1423.0 | 1977024512
    9500000 |   48580233 |   95996422 |    3316876 |     1491.6 | 1977024512
    9600000 |   49436876 |   97029820 |    3322386 |     1563.2 | 1977024512
    9700000 |   50144749 |   98022846 |    3336603 |     1607.2 | 1977024512
    9800000 |   50591391 |   99095383 |    3383195 |     1671.0 | 1977024512
    9900000 |   50989975 |  100159701 |    3432421 |     1710.0 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   10000000 |   51484998 |  101230029 |    3472009 |     1778.1 | 1977024512
   10100000 |   52029817 |  102231825 |    3503013 |     1819.9 | 1977024512
   10200000 |   52347730 |  103317990 |    3562175 |     1858.1 | 1977024512
   10300000 |   52900046 |  104365610 |    3595940 |     1929.0 | 1977024512
   10400000 |   53549792 |  105386390 |    3617367 |     2030.2 | 1977024512
   10500000 |   54107580 |  106438155 |    3650580 |     2130.5 | 1977024512
   10600000 |   54522596 |  107549429 |    3700644 |     2282.5 | 1977024512
