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 |    3616768
     100000 |      73808 |     174802 |        148 |        4.9 |   16023552
     200000 |     150865 |     351832 |        148 |       10.3 |   45842432
     300000 |     228679 |     529683 |        148 |       15.3 |   45842432
     400000 |     306523 |     707508 |        148 |       21.2 |   77258752
     500000 |     385847 |     886809 |        148 |       26.5 |   77258752
     600000 |     465949 |    1066957 |        148 |       33.0 |  130121728
     700000 |     543365 |    1244349 |        148 |       38.4 |  130121728
     800000 |     622429 |    1423405 |        148 |       43.9 |  130121728
     900000 |     703453 |    1604399 |        148 |       49.5 |  130121728
    1000000 |     782445 |    1783425 |        148 |       55.0 |  130121728
    1100000 |     863361 |    1964316 |        148 |       62.0 |  218988544
    1200000 |     945171 |    2146126 |        148 |       67.7 |  218988544
    1300000 |    1024375 |    2325375 |        148 |       73.3 |  218988544
    1400000 |    1103111 |    2504101 |        148 |       79.0 |  218988544
    1500000 |    1182485 |    2683443 |        148 |       85.2 |  218988544
    1600000 |    1262493 |    2863469 |        148 |       91.0 |  218988544
    1700000 |    1342905 |    3043868 |        148 |       98.9 |  365420544
    1800000 |    1424083 |    3225022 |        148 |      105.1 |  365420544
    1900000 |    1506755 |    3407682 |        148 |      111.0 |  365420544

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |    1585717 |    3586697 |        148 |      116.6 |  365420544
    2100000 |    1666641 |    3767608 |        148 |      122.6 |  365420544
    2200000 |    1748457 |    3949412 |        148 |      128.7 |  365420544
    2300000 |    1830089 |    4131048 |        148 |      134.6 |  365420544
    2400000 |    1912329 |    4313284 |        148 |      140.8 |  365420544
    2500000 |    1994949 |    4495895 |        148 |      146.8 |  365420544
    2600000 |    2078711 |    4679639 |        148 |      152.8 |  365420544
    2700000 |    2156983 |    4857983 |        148 |      158.7 |  365420544
    2800000 |    2235745 |    5036716 |        148 |      164.7 |  365420544
    2900000 |    2315795 |    5216768 |        148 |      173.8 |  613666816
    3000000 |    2395591 |    5396561 |        148 |      180.5 |  613666816
    3100000 |    2476479 |    5577461 |        148 |      186.7 |  613666816
    3200000 |    2557515 |    5758474 |        148 |      192.7 |  613666816
    3300000 |    2639087 |    5940073 |        148 |      198.9 |  613666816
    3400000 |    2719021 |    6119993 |        148 |      205.2 |  613666816
    3500000 |    2800001 |    6300956 |        148 |      211.4 |  613666816
    3600000 |    2882257 |    6483208 |        148 |      217.6 |  613666816
    3700000 |    2963717 |    6664663 |        148 |      223.9 |  613666816
    3800000 |    3046383 |    6847303 |        148 |      230.1 |  613666816
    3900000 |    3128943 |    7029889 |        148 |      236.5 |  613666816

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    4000000 |    3212819 |    7213816 |        148 |      242.8 |  613666816
    4100000 |    3291937 |    7392908 |        148 |      248.8 |  613666816
    4200000 |    3372915 |    7573878 |        148 |      255.2 |  613666816
    4300000 |    3454724 |    7755671 |        148 |      261.7 |  613666816
    4400000 |    3536355 |    7937314 |        148 |      267.8 |  613666816
    4500000 |    3618607 |    8119553 |        148 |      274.2 |  613666816
    4600000 |    3701267 |    8302206 |        148 |      280.7 |  613666816
    4700000 |    3785053 |    8485983 |        148 |      287.0 |  613666816
    4800000 |    3866727 |    8667677 |        148 |      293.4 |  613666816
    4900000 |    3949357 |    8850329 |        148 |      306.7 | 1034268672
    5000000 |    4031921 |    9032872 |        148 |      314.1 | 1034268672
    5100000 |    4115889 |    9216848 |        148 |      320.6 | 1034268672
    5200000 |    4198569 |    9399504 |        148 |      327.1 | 1034268672
    5300000 |    4282595 |    9583538 |        148 |      333.5 | 1034268672
    5400000 |    4366733 |    9767671 |        148 |      339.9 | 1034268672
    5500000 |    4451955 |    9952852 |        148 |      346.4 | 1034268672
    5600000 |    4529041 |   10130016 |        148 |      352.4 | 1034268672
    5700000 |    4607983 |   10308969 |        148 |      358.6 | 1034268672
    5800000 |    4688511 |   10489477 |        148 |      365.0 | 1034268672
    5900000 |    4768035 |   10669012 |        148 |      371.4 | 1034268672

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    6000000 |    4848835 |   10849816 |        148 |      377.9 | 1034268672
    6100000 |    4930289 |   11031248 |        148 |      384.8 | 1034268672
    6200000 |    5011381 |   11212371 |        148 |      391.2 | 1034268672
    6300000 |    5091685 |   11392631 |        148 |      397.8 | 1034268672
    6400000 |    5172766 |   11573717 |        148 |      404.3 | 1034268672
    6500000 |    5255353 |   11756282 |        148 |      410.8 | 1034268672
    6600000 |    5336403 |   11937358 |        148 |      417.3 | 1034268672
    6700000 |    5418923 |   12119878 |        148 |      423.9 | 1034268672
    6800000 |    5501835 |   12302770 |        148 |      430.5 | 1034268672
    6900000 |    5584745 |   12485734 |        148 |      437.0 | 1034268672
    7000000 |    5664613 |   12665559 |        148 |      443.6 | 1034268672
    7100000 |    5745445 |   12846407 |        148 |      450.1 | 1034268672
    7200000 |    5827693 |   13028657 |        148 |      456.7 | 1034268672
    7300000 |    5909129 |   13210088 |        148 |      463.3 | 1034268672
    7400000 |    5991684 |   13392615 |        148 |      470.1 | 1034268672
    7500000 |    6074449 |   13575422 |        148 |      476.7 | 1034268672
    7600000 |    6158389 |   13759307 |        148 |      483.3 | 1034268672
    7700000 |    6239352 |   13940314 |        148 |      490.0 | 1034268672
    7800000 |    6321897 |   14122852 |        148 |      496.7 | 1034268672
    7900000 |    6404883 |   14305806 |        148 |      503.5 | 1034268672

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    8000000 |    6488555 |   14489494 |        148 |      510.3 | 1034268672
    8100000 |    6571507 |   14672454 |        148 |      525.2 | 1726558208
    8200000 |    6655551 |   14856501 |        148 |      531.8 | 1726558208
    8300000 |    6739841 |   15040766 |        148 |      540.4 | 1726558208
    8400000 |    6824209 |   15225192 |        148 |      546.7 | 1726558208
    8500000 |    6903747 |   15404706 |        148 |      553.4 | 1726558208
    8600000 |    6984695 |   15585665 |        148 |      560.3 | 1726558208
    8700000 |    7066725 |   15767671 |        148 |      566.8 | 1726558208
    8800000 |    7148273 |   15949232 |        148 |      573.6 | 1726558208
    8900000 |    7230707 |   16131654 |        148 |      579.9 | 1726558208
    9000000 |    7313399 |   16314327 |        148 |      586.9 | 1726558208
    9100000 |    7397277 |   16498195 |        148 |      593.9 | 1726558208
    9200000 |    7478627 |   16679586 |        148 |      600.2 | 1726558208
    9300000 |    7561144 |   16862084 |        148 |      607.2 | 1726558208
    9400000 |    7643913 |   17044848 |        148 |      613.7 | 1726558208
    9500000 |    7727702 |   17228657 |        148 |      620.8 | 1726558208
    9600000 |    7810581 |   17411515 |        148 |      627.2 | 1726558208
    9700000 |    7894603 |   17595538 |        148 |      634.4 | 1726558208
    9800000 |    7978828 |   17779751 |        148 |      641.4 | 1726558208
    9900000 |    8063927 |   17964897 |        148 |      647.8 | 1726558208

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   10000000 |    8144988 |   18145933 |        148 |      654.9 | 1726558208
   10100000 |    8227559 |   18328509 |        148 |      661.4 | 1726558208
   10200000 |    8310591 |   18511541 |        148 |      668.4 | 1726558208
   10300000 |    8394169 |   18695130 |        148 |      675.6 | 1726558208
   10400000 |    8477257 |   18878192 |        148 |      682.6 | 1726558208
   10500000 |    8561261 |   19062203 |        148 |      689.6 | 1726558208
   10600000 |    8645667 |   19246594 |        148 |      696.3 | 1726558208
   10700000 |    8730373 |   19431319 |        148 |      703.3 | 1726558208
   10800000 |    8813359 |   19614279 |        148 |      709.8 | 1726558208
   10900000 |    8897339 |   19798266 |        148 |      717.1 | 1726558208
   11000000 |    8981607 |   19982523 |        148 |      724.2 | 1726558208
   11100000 |    9066777 |   20167712 |        148 |      730.7 | 1726558208
   11200000 |    9150917 |   20351847 |        148 |      738.0 | 1726558208
   11300000 |    9236139 |   20537040 |        148 |      744.6 | 1726558208
   11400000 |    9321205 |   20722101 |        148 |      751.7 | 1726558208
   11500000 |    9407161 |   20908058 |        148 |      758.3 | 1726558208
   11600000 |    9487095 |   21088079 |        148 |      764.9 | 1726558208
   11700000 |    9565671 |   21266667 |        148 |      771.6 | 1726558208
   11800000 |    9645491 |   21446446 |        148 |      777.9 | 1726558208
   11900000 |    9725267 |   21626240 |        148 |      784.9 | 1726558208

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   12000000 |    9805981 |   21806927 |        148 |      791.2 | 1726558208
   12100000 |    9887099 |   21988068 |        148 |      798.2 | 1726558208
   12200000 |    9969105 |   22170088 |        148 |      805.4 | 1726558208
   12300000 |   10048595 |   22349564 |        148 |      811.8 | 1726558208
   12400000 |   10129555 |   22530528 |        148 |      818.8 | 1726558208
   12500000 |   10211543 |   22712489 |        148 |      825.5 | 1726558208
   12600000 |   10293108 |   22894061 |        148 |      832.6 | 1726558208
   12700000 |   10375517 |   23076447 |        148 |      839.2 | 1726558208
   12800000 |   10458199 |   23259135 |        148 |      846.5 | 1726558208
   12900000 |   10542077 |   23443007 |        148 |      853.6 | 1726558208
   13000000 |   10621651 |   23622614 |        148 |      860.1 | 1726558208
   13100000 |   10702457 |   23803420 |        148 |      867.4 | 1726558208
   13200000 |   10784127 |   23985077 |        148 |      873.9 | 1726558208
   13300000 |   10865941 |   24166905 |        148 |      881.0 | 1726558208
   13400000 |   10947901 |   24348861 |        148 |      888.4 | 1726558208
   13500000 |   11030549 |   24531483 |        148 |      895.0 | 1726558208
   13600000 |   11114177 |   24715100 |        148 |      916.2 | 1977024512
   13700000 |   11196090 |   24897044 |        148 |      922.8 | 1977024512
   13800000 |   11278539 |   25079474 |        148 |      933.3 | 1977024512
   13900000 |   11361243 |   25262182 |        148 |      940.1 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   14000000 |   11445141 |   25446059 |        148 |      947.4 | 1977024512
   14100000 |   11527965 |   25628895 |        148 |      954.0 | 1977024512
   14200000 |   11611887 |   25812807 |        148 |      961.6 | 1977024512
   14300000 |   11695857 |   25996770 |        148 |      968.2 | 1977024512
   14400000 |   11780843 |   26181744 |        148 |      975.5 | 1977024512
   14500000 |   11861072 |   26362040 |        148 |      982.6 | 1977024512
   14600000 |   11941807 |   26542769 |        148 |     1004.5 | 1977024512
   14700000 |   12023247 |   26724193 |        148 |     1010.9 | 1977024512
   14800000 |   12105225 |   26906174 |        148 |     1038.7 | 1977024512
   14900000 |   12187031 |   27087985 |        148 |     1045.4 | 1977024512
   15000000 |   12269642 |   27270582 |        148 |     1067.5 | 1977024512
   15100000 |   12353166 |   27454097 |        148 |     1073.9 | 1977024512
   15200000 |   12435303 |   27636253 |        148 |     1096.3 | 1977024512
   15300000 |   12517573 |   27818519 |        148 |     1103.0 | 1977024512
   15400000 |   12600277 |   28001195 |        148 |     1125.6 | 1977024512
   15500000 |   12684079 |   28184999 |        148 |     1132.1 | 1977024512
   15600000 |   12766942 |   28367877 |        148 |     1156.4 | 1977024512
   15700000 |   12850803 |   28551734 |        148 |     1163.3 | 1977024512
   15800000 |   12934791 |   28735707 |        148 |     1187.0 | 1977024512
   15900000 |   13019733 |   28920651 |        148 |     1211.3 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   16000000 |   13101783 |   29102741 |        148 |     1235.6 | 1977024512
   16100000 |   13184341 |   29285275 |        148 |     1262.1 | 1977024512
   16200000 |   13267099 |   29468068 |        148 |     1287.8 | 1977024512
   16300000 |   13351051 |   29651952 |        148 |     1349.1 | 1977024512
