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 |     399964 |     500349 |        157 |        9.5 |   21086208
     200000 |     814913 |    1015265 |        157 |       19.7 |   35340288
     300000 |    1200331 |    1500705 |        157 |       29.4 |   59097088
     400000 |    1643036 |    2043402 |        157 |       39.8 |   59097088
     500000 |    2084580 |    2584960 |        157 |       51.2 |   98729984
     600000 |    2578392 |    3178750 |        157 |       62.8 |   98729984
     700000 |    3065646 |    3765969 |        157 |       74.1 |   98729984
     800000 |    3555613 |    4355979 |        157 |       87.2 |  164724736
     900000 |    4046254 |    4946609 |        157 |       99.5 |  164724736
    1000000 |    4524307 |    5524698 |        157 |      111.6 |  164724736
    1100000 |    5038890 |    6139210 |        157 |      124.7 |  164724736
    1200000 |    5513663 |    6714031 |        157 |      136.6 |  164724736
    1300000 |    5988898 |    7289241 |        157 |      148.4 |  164724736
    1400000 |    6502573 |    7902911 |        157 |      163.2 |  275460096
    1500000 |    6977894 |    8478253 |        157 |      175.9 |  275460096
    1600000 |    7453137 |    9053524 |        157 |      188.2 |  275460096
    1700000 |    7965710 |    9666065 |        157 |      201.7 |  275460096
    1800000 |    8378041 |   10178345 |        157 |      213.2 |  275460096
    1900000 |    8786802 |   10687146 |        157 |      224.7 |  275460096

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |    9190611 |   11190907 |        157 |      237.0 |  275460096
    2100000 |    9574482 |   11674788 |        157 |      248.5 |  275460096
    2200000 |   10042323 |   12242694 |        157 |      260.9 |  275460096
    2300000 |   10517419 |   12817781 |        157 |      276.5 |  459321344
    2400000 |   11031923 |   13432206 |        157 |      290.1 |  459321344
    2500000 |   11543374 |   14043713 |        157 |      303.6 |  459321344
    2600000 |   12051589 |   14651942 |        157 |      316.9 |  459321344
    2700000 |   12557582 |   15257930 |        157 |      330.5 |  459321344
    2800000 |   13039850 |   15840205 |        157 |      344.1 |  459321344
    2900000 |   13512894 |   16413261 |        157 |      357.4 |  459321344
    3000000 |   13987759 |   16988097 |        157 |      370.3 |  459321344
    3100000 |   14503644 |   17603934 |        157 |      384.4 |  459321344
    3200000 |   15013507 |   18213867 |        157 |      398.4 |  459321344
    3300000 |   15522033 |   18822403 |        157 |      412.5 |  459321344
    3400000 |   16028610 |   19428978 |        157 |      426.7 |  459321344
    3500000 |   16511379 |   20011627 |        157 |      440.7 |  459321344
    3600000 |   16976580 |   20576858 |        157 |      453.6 |  459321344
    3700000 |   17467540 |   21167811 |        157 |      467.0 |  459321344
    3800000 |   17962205 |   21762525 |        157 |      486.5 |  767152128
    3900000 |   18424331 |   22324640 |        157 |      500.6 |  767152128

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    4000000 |   18899901 |   22900210 |        157 |      513.6 |  767152128
    4100000 |   19395278 |   23495600 |        157 |      527.6 |  767152128
    4200000 |   19884701 |   24084985 |        157 |      541.4 |  767152128
    4300000 |   20349725 |   24650057 |        157 |      554.7 |  767152128
    4400000 |   20827025 |   25227335 |        157 |      567.7 |  767152128
    4500000 |   21325212 |   25825481 |        157 |      581.5 |  767152128
    4600000 |   21802847 |   26403115 |        157 |      595.2 |  767152128
    4700000 |   22271171 |   26971484 |        157 |      608.5 |  767152128
    4800000 |   22754687 |   27555023 |        157 |      622.3 |  767152128
    4900000 |   23252242 |   28152526 |        157 |      636.3 |  767152128
    5000000 |   23725518 |   28725824 |        157 |      650.2 |  767152128
    5100000 |   24190560 |   29290842 |        157 |      663.6 |  767152128
    5200000 |   24651139 |   29851435 |        157 |      677.2 |  767152128
    5300000 |   25128792 |   30429075 |        157 |      691.2 |  767152128
    5400000 |   25572461 |   30972716 |        157 |      704.6 |  767152128
    5500000 |   25949440 |   31449668 |        157 |      716.8 |  767152128
    5600000 |   26411678 |   32011944 |        157 |      730.1 |  767152128
    5700000 |   26887053 |   32587303 |        157 |      743.9 |  767152128
    5800000 |   27368013 |   33168247 |        157 |      757.9 |  767152128
    5900000 |   27826471 |   33726755 |        157 |      771.6 |  767152128

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    6000000 |   28302665 |   34302903 |        157 |      785.7 |  767152128
    6100000 |   28786703 |   34886945 |        157 |      800.1 |  767152128
    6200000 |   29234693 |   35435026 |        157 |      812.9 |  767152128
    6300000 |   29737230 |   36037531 |        157 |      827.0 |  767152128
    6400000 |   30195154 |   36595502 |        157 |      848.4 | 1280598016
    6500000 |   30710149 |   37210466 |        157 |      863.9 | 1280598016
    6600000 |   31225680 |   37825949 |        157 |      877.8 | 1280598016
    6700000 |   31740433 |   38440732 |        157 |      892.0 | 1280598016
    6800000 |   32255273 |   39055566 |        157 |      905.7 | 1280598016
    6900000 |   32767090 |   39667328 |        157 |      919.9 | 1280598016
    7000000 |   33272176 |   40272418 |        157 |      933.8 | 1280598016
    7100000 |   33746930 |   40847154 |        157 |      947.4 | 1280598016
    7200000 |   34260209 |   41460416 |        157 |      961.7 | 1280598016
    7300000 |   34724918 |   42025242 |        157 |      975.0 | 1280598016
    7400000 |   35227914 |   42628255 |        157 |      988.7 | 1280598016
    7500000 |   35689430 |   43189740 |        157 |     1002.0 | 1280598016
    7600000 |   36204802 |   43805073 |        157 |     1016.5 | 1280598016
    7700000 |   36719597 |   44419876 |        157 |     1031.0 | 1280598016
    7800000 |   37231056 |   45031323 |        157 |     1045.1 | 1280598016
    7900000 |   37746149 |   45646395 |        157 |     1059.5 | 1280598016

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    8000000 |   38253409 |   46253711 |        157 |     1073.9 | 1280598016
    8100000 |   38752569 |   46852775 |        157 |     1088.3 | 1280598016
    8200000 |   39240949 |   47441156 |        157 |     1102.1 | 1280598016
    8300000 |   39746418 |   48046727 |        157 |     1116.8 | 1280598016
    8400000 |   40171512 |   48571810 |        157 |     1129.9 | 1280598016
    8500000 |   40683364 |   49183630 |        157 |     1144.3 | 1280598016
    8600000 |   41196433 |   49796682 |        157 |     1158.5 | 1280598016
    8700000 |   41669867 |   50370154 |        157 |     1172.4 | 1280598016
    8800000 |   42177542 |   50977839 |        157 |     1186.9 | 1280598016
    8900000 |   42659653 |   51559937 |        157 |     1200.9 | 1280598016
    9000000 |   43115059 |   52115318 |        157 |     1214.2 | 1280598016
    9100000 |   43629990 |   52730293 |        157 |     1228.7 | 1280598016
    9200000 |   44135667 |   53335903 |        157 |     1243.3 | 1280598016
    9300000 |   44610043 |   53910289 |        157 |     1257.1 | 1280598016
    9400000 |   45120247 |   54520481 |        157 |     1271.8 | 1280598016
    9500000 |   45577660 |   55077877 |        157 |     1285.4 | 1280598016
    9600000 |   45990979 |   55591173 |        157 |     1298.1 | 1280598016
    9700000 |   46402680 |   56102828 |        157 |     1310.9 | 1280598016
    9800000 |   46808905 |   56609063 |        157 |     1323.3 | 1280598016
    9900000 |   47203782 |   57103919 |        157 |     1335.8 | 1280598016

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   10000000 |   47615770 |   57615985 |        157 |     1348.3 | 1280598016
   10100000 |   48119586 |   58219804 |        157 |     1362.3 | 1280598016
   10200000 |   48626653 |   58826941 |        157 |     1377.1 | 1280598016
   10300000 |   49124481 |   59424703 |        157 |     1391.3 | 1280598016
   10400000 |   49613799 |   60013983 |        157 |     1405.6 | 1280598016
   10500000 |   50120901 |   60621132 |        157 |     1420.2 | 1280598016
   10600000 |   50631510 |   61231753 |        157 |     1435.1 | 1280598016
   10700000 |   51142523 |   61842692 |        157 |     1462.6 | 1977024512
   10800000 |   51655297 |   62455457 |        157 |     1479.9 | 1977024512
   10900000 |   52160640 |   63060811 |        157 |     1494.5 | 1977024512
   11000000 |   52628362 |   63628635 |        157 |     1508.6 | 1977024512
   11100000 |   53080524 |   64180797 |        157 |     1521.9 | 1977024512
   11200000 |   53596051 |   64796291 |        157 |     1536.5 | 1977024512
   11300000 |   54100984 |   65401239 |        157 |     1551.4 | 1977024512
   11400000 |   54576250 |   65976475 |        157 |     1565.4 | 1977024512
   11500000 |   55086498 |   66586734 |        157 |     1580.4 | 1977024512
   11600000 |   55599800 |   67200010 |        157 |     1595.1 | 1977024512
   11700000 |   56113178 |   67813338 |        157 |     1610.2 | 1977024512
   11800000 |   56624885 |   68425019 |        157 |     1624.8 | 1977024512
   11900000 |   57130142 |   69030368 |        157 |     1639.5 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   12000000 |   57625032 |   69625214 |        157 |     1654.2 | 1977024512
   12100000 |   58090907 |   70191161 |        157 |     1668.2 | 1977024512
   12200000 |   58569686 |   70769897 |        157 |     1681.7 | 1977024512
   12300000 |   59065232 |   71365430 |        157 |     1696.1 | 1977024512
   12400000 |   59561692 |   71961831 |        157 |     1710.3 | 1977024512
   12500000 |   60017625 |   72517863 |        157 |     1723.6 | 1977024512
   12600000 |   60494209 |   73094425 |        157 |     1737.9 | 1977024512
   12700000 |   60992284 |   73692442 |        157 |     1752.4 | 1977024512
   12800000 |   61487904 |   74288073 |        157 |     1766.9 | 1977024512
   12900000 |   61945515 |   74845721 |        157 |     1780.2 | 1977024512
   13000000 |   62435415 |   75435622 |        157 |     1794.6 | 1977024512
   13100000 |   62915605 |   76015813 |        157 |     1808.7 | 1977024512
   13200000 |   63411387 |   76611598 |        157 |     1822.9 | 1977024512
   13300000 |   63891688 |   77191924 |        157 |     1836.9 | 1977024512
   13400000 |   64362919 |   77763131 |        157 |     1851.1 | 1977024512
   13500000 |   64841279 |   78341443 |        157 |     1865.5 | 1977024512
   13600000 |   65336944 |   78937086 |        157 |     1879.8 | 1977024512
   13700000 |   65828369 |   79528512 |        157 |     1894.4 | 1977024512
   13800000 |   66286242 |   80086378 |        157 |     1908.3 | 1977024512
   13900000 |   66755290 |   80655457 |        157 |     1922.6 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   14000000 |   67236069 |   81236173 |        157 |     1937.0 | 1977024512
   14100000 |   67671237 |   81771417 |        157 |     1950.4 | 1977024512
   14200000 |   68162859 |   82362977 |        157 |     1965.1 | 1977024512
   14300000 |   68620228 |   82920368 |        157 |     1978.7 | 1977024512
   14400000 |   69109437 |   83509540 |        157 |     1993.4 | 1977024512
   14500000 |   69542699 |   84042931 |        157 |     2006.2 | 1977024512
   14600000 |   70049263 |   84649480 |        157 |     2020.4 | 1977024512
   14700000 |   70546342 |   85246490 |        157 |     2035.1 | 1977024512
   14800000 |   71035784 |   85835887 |        157 |     2048.8 | 1977024512
   14900000 |   71546564 |   86446733 |        157 |     2063.0 | 1977024512
   15000000 |   72060635 |   87060769 |        157 |     2077.1 | 1977024512
   15100000 |   72579096 |   87679224 |        157 |     2091.7 | 1977024512
   15200000 |   73095043 |   88295201 |        157 |     2106.2 | 1977024512
   15300000 |   73599811 |   88899913 |        157 |     2120.1 | 1977024512
   15400000 |   74049646 |   89449811 |        157 |     2151.4 | 1977024512
   15500000 |   74546681 |   90046876 |        157 |     2189.4 | 1977024512
   15600000 |   75049389 |   90649558 |        157 |     2239.6 | 1977024512
   15700000 |   75527633 |   91227759 |        157 |     2290.4 | 1977024512
   15800000 |   76045083 |   91845213 |        157 |     2323.1 | 1977024512
   15900000 |   76556061 |   92456249 |        157 |     2375.3 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   16000000 |   77070622 |   93070751 |        157 |     2407.9 | 1977024512
   16100000 |   77589000 |   93689171 |        157 |     2459.8 | 1977024512
   16200000 |   78091863 |   94291981 |        157 |     2512.6 | 1977024512
   16300000 |   78566872 |   94867003 |        157 |     2544.4 | 1977024512
   16400000 |   79042520 |   95442627 |        157 |     2596.5 | 1977024512
   16500000 |   79559269 |   96059416 |        157 |     2638.1 | 1977024512
   16600000 |   80063390 |   96663458 |        157 |     2693.5 | 1977024512
   16700000 |   80518438 |   97218563 |        157 |     2754.1 | 1977024512
   16800000 |   81013353 |   97813424 |        157 |     2808.9 | 1977024512
   16900000 |   81524761 |   98424856 |        157 |     2863.7 | 1977024512
   17000000 |   82028077 |   99028160 |        157 |     2940.5 | 1977024512
   17100000 |   82461896 |   99562036 |        157 |     3022.7 | 1977024512
   17200000 |   82940689 |  100140797 |        157 |     3126.1 | 1977024512
   17300000 |   83454351 |  100754458 |        157 |     3245.3 | 1977024512
   17400000 |   83961980 |  101362011 |        157 |     3407.3 | 1977024512
