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 |      86451 |     186739 |        123 |        7.5 |   22126592
     200000 |     186818 |     387075 |        123 |       15.1 |   36986880
     300000 |     288438 |     588693 |        123 |       22.6 |   61886464
     400000 |     396156 |     796413 |        123 |       30.0 |   61886464
     500000 |     505097 |    1005357 |        123 |       38.2 |  103321600
     600000 |     617419 |    1217682 |        123 |       45.7 |  103321600
     700000 |     736357 |    1436615 |        123 |       53.5 |  103321600
     800000 |     847639 |    1647888 |        123 |       62.3 |  172859392
     900000 |     971527 |    1871771 |        123 |       70.3 |  172859392
    1000000 |    1088946 |    2089196 |        123 |       77.9 |  172859392
    1100000 |    1211624 |    2311839 |        123 |       85.8 |  172859392
    1200000 |    1342843 |    2543085 |        123 |       94.3 |  172859392
    1300000 |    1467180 |    2767433 |        123 |      102.5 |  172859392
    1400000 |    1597031 |    2997269 |        123 |      113.0 |  288231424
    1500000 |    1735423 |    3235631 |        123 |      122.1 |  288231424
    1600000 |    1882901 |    3483103 |        123 |      130.9 |  288231424
    1700000 |    2021112 |    3721368 |        123 |      139.1 |  288231424
    1800000 |    2171626 |    3971839 |        123 |      147.9 |  288231424
    1900000 |    2332287 |    4232494 |        123 |      157.1 |  288231424

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |    2504084 |    4504305 |        123 |      166.7 |  288231424
    2100000 |    2679329 |    4779557 |        123 |      176.5 |  288231424
    2200000 |    2855715 |    5055976 |        123 |      186.1 |  288231424
    2300000 |    3021835 |    5322085 |        123 |      198.5 |  480694272
    2400000 |    3209494 |    5609722 |        123 |      209.0 |  480694272
    2500000 |    3412129 |    5912366 |        123 |      219.6 |  480694272
    2600000 |    3620320 |    6220522 |        123 |      230.3 |  480694272
    2700000 |    3835387 |    6535595 |        123 |      241.6 |  480694272
    2800000 |    4073745 |    6873923 |        123 |      253.5 |  480694272
    2900000 |    4285244 |    7185460 |        123 |      264.4 |  480694272
    3000000 |    4543271 |    7543429 |        123 |      276.9 |  480694272
    3100000 |    4629891 |    7730183 |        123 |      284.5 |  480694272
    3200000 |    4720335 |    7920628 |        123 |      292.0 |  480694272
    3300000 |    4818916 |    8119191 |        123 |      299.5 |  480694272
    3400000 |    4921027 |    8321297 |        123 |      307.1 |  480694272
    3500000 |    5023600 |    8523862 |        123 |      314.7 |  480694272
    3600000 |    5128335 |    8728594 |        123 |      322.4 |  480694272
    3700000 |    5238953 |    8939180 |        123 |      330.3 |  480694272
    3800000 |    5343805 |    9144064 |        123 |      337.9 |  480694272
    3900000 |    5458200 |    9358450 |        123 |      354.1 |  804564992

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    4000000 |    5566736 |    9566999 |        123 |      362.0 |  804564992
    4100000 |    5677354 |    9777584 |        123 |      369.9 |  804564992
    4200000 |    5795909 |    9996138 |        123 |      378.0 |  804564992
    4300000 |    5907705 |   10207960 |        123 |      385.6 |  804564992
    4400000 |    6018574 |   10418797 |        123 |      393.4 |  804564992
    4500000 |    6137004 |   10637239 |        123 |      401.3 |  804564992
    4600000 |    6261094 |   10861327 |        123 |      409.6 |  804564992
    4700000 |    6387270 |   11087560 |        123 |      418.6 |  804564992
    4800000 |    6507228 |   11307497 |        123 |      426.6 |  804564992
    4900000 |    6641467 |   11541723 |        123 |      435.1 |  804564992
    5000000 |    6780865 |   11781143 |        123 |      443.8 |  804564992
    5100000 |    6925503 |   12025730 |        123 |      452.6 |  804564992
    5200000 |    7067254 |   12267493 |        123 |      461.5 |  804564992
    5300000 |    7213908 |   12514171 |        123 |      470.4 |  804564992
    5400000 |    7368972 |   12769213 |        123 |      479.9 |  804564992
    5500000 |    7516916 |   13017135 |        123 |      488.7 |  804564992
    5600000 |    7672210 |   13272452 |        123 |      498.2 |  804564992
    5700000 |    7836884 |   13537157 |        123 |      507.9 |  804564992
    5800000 |    7982955 |   13783210 |        123 |      516.7 |  804564992
    5900000 |    8143765 |   14043994 |        123 |      526.1 |  804564992

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    6000000 |    8315936 |   14316149 |        123 |      536.1 |  804564992
    6100000 |    8474275 |   14574528 |        123 |      545.2 |  804564992
    6200000 |    8655216 |   14855471 |        123 |      555.3 |  804564992
    6300000 |    8850063 |   15150293 |        123 |      566.2 |  804564992
    6400000 |    9058317 |   15458535 |        123 |      577.5 |  804564992
    6500000 |    9267607 |   15767827 |        123 |      598.4 | 1343082496
    6600000 |    9480427 |   16080625 |        123 |      611.5 | 1343082496
    6700000 |    9709346 |   16409568 |        123 |      623.5 | 1343082496
    6800000 |    9936131 |   16736346 |        123 |      635.6 | 1343082496
    6900000 |   10175116 |   17075378 |        123 |      647.8 | 1343082496
    7000000 |   10363582 |   17363814 |        123 |      658.0 | 1343082496
    7100000 |   10581431 |   17681683 |        123 |      669.7 | 1343082496
    7200000 |   10806009 |   18006241 |        123 |      681.3 | 1343082496
    7300000 |   11044233 |   18344460 |        123 |      693.6 | 1343082496
    7400000 |   11293725 |   18693952 |        123 |      706.2 | 1343082496
    7500000 |   11553026 |   19053244 |        123 |      719.8 | 1343082496
    7600000 |   11801719 |   19401931 |        123 |      732.2 | 1343082496
    7700000 |   12083201 |   19783387 |        123 |      746.1 | 1343082496
    7800000 |   12227391 |   20027667 |        123 |      755.0 | 1343082496
    7900000 |   12341801 |   20242062 |        123 |      762.9 | 1343082496

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    8000000 |   12462283 |   20462504 |        123 |      770.7 | 1343082496
    8100000 |   12587423 |   20687647 |        123 |      779.2 | 1343082496
    8200000 |   12707219 |   20907481 |        123 |      787.5 | 1343082496
    8300000 |   12837606 |   21137863 |        123 |      795.9 | 1343082496
    8400000 |   12976529 |   21376763 |        123 |      804.9 | 1343082496
    8500000 |   13120415 |   21620633 |        123 |      813.9 | 1343082496
    8600000 |   13244802 |   21845047 |        123 |      821.8 | 1343082496
    8700000 |   13386345 |   22086598 |        123 |      830.6 | 1343082496
    8800000 |   13533671 |   22333869 |        123 |      839.7 | 1343082496
    8900000 |   13679588 |   22579831 |        123 |      848.2 | 1343082496
    9000000 |   13835776 |   22835999 |        123 |      857.6 | 1343082496
    9100000 |   14002893 |   23103115 |        123 |      867.4 | 1343082496
    9200000 |   14167445 |   23367684 |        123 |      877.0 | 1343082496
    9300000 |   14335986 |   23636218 |        123 |      886.9 | 1343082496
    9400000 |   14522112 |   23922330 |        123 |      897.4 | 1343082496
    9500000 |   14704326 |   24204555 |        123 |      907.7 | 1343082496
    9600000 |   14905924 |   24506142 |        123 |      918.7 | 1343082496
    9700000 |   15123024 |   24823279 |        123 |      930.2 | 1343082496
    9800000 |   15342210 |   25142394 |        123 |      942.3 | 1343082496
    9900000 |   15592597 |   25492828 |        123 |      955.3 | 1343082496

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   10000000 |   15847168 |   25847392 |        123 |      968.6 | 1343082496
   10100000 |   16098625 |   26198896 |        123 |      981.5 | 1343082496
   10200000 |   16209012 |   26409284 |        123 |      989.5 | 1343082496
   10300000 |   16332857 |   26633129 |        123 |      997.8 | 1343082496
   10400000 |   16459054 |   26859301 |        123 |     1006.2 | 1343082496
   10500000 |   16599204 |   27099462 |        123 |     1015.5 | 1343082496
   10600000 |   16727379 |   27327604 |        123 |     1023.7 | 1343082496
   10700000 |   16872054 |   27572283 |        123 |     1032.6 | 1343082496
   10800000 |   17034645 |   27834869 |        123 |     1042.3 | 1343082496
   10900000 |   17195739 |   28095976 |        123 |     1051.9 | 1343082496
   11000000 |   17368072 |   28368313 |        123 |     1080.1 | 1977024512
   11100000 |   17575692 |   28675898 |        123 |     1091.1 | 1977024512
   11200000 |   17777424 |   28977641 |        123 |     1102.5 | 1977024512
   11300000 |   18033284 |   29333481 |        123 |     1115.8 | 1977024512
   11400000 |   18192188 |   29592417 |        123 |     1125.5 | 1977024512
   11500000 |   18317361 |   29817578 |        123 |     1133.9 | 1977024512
   11600000 |   18450792 |   30051014 |        123 |     1142.9 | 1977024512
   11700000 |   18602656 |   30302869 |        123 |     1152.2 | 1977024512
   11800000 |   18767544 |   30567780 |        123 |     1161.9 | 1977024512
   11900000 |   18960042 |   30860234 |        123 |     1172.8 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   12000000 |   19179877 |   31180116 |        123 |     1184.3 | 1977024512
   12100000 |   19305326 |   31405559 |        123 |     1193.1 | 1977024512
   12200000 |   19451031 |   31651236 |        123 |     1202.4 | 1977024512
   12300000 |   19638617 |   31938810 |        123 |     1212.8 | 1977024512
   12400000 |   19793254 |   32193455 |        123 |     1222.5 | 1977024512
   12500000 |   19967915 |   32468085 |        123 |     1232.6 | 1977024512
   12600000 |   20123834 |   32724070 |        123 |     1242.0 | 1977024512
   12700000 |   20266237 |   32966352 |        123 |     1251.7 | 1977024512
   12800000 |   20370119 |   33170230 |        123 |     1259.7 | 1977024512
   12900000 |   20477766 |   33377892 |        123 |     1267.6 | 1977024512
   13000000 |   20586564 |   33586678 |        123 |     1276.0 | 1977024512
   13100000 |   20699005 |   33799121 |        123 |     1283.9 | 1977024512
   13200000 |   20817214 |   34017314 |        123 |     1292.4 | 1977024512
   13300000 |   20929206 |   34229328 |        123 |     1300.8 | 1977024512
   13400000 |   21052002 |   34452109 |        123 |     1309.2 | 1977024512
   13500000 |   21170119 |   34670221 |        123 |     1318.1 | 1977024512
   13600000 |   21292041 |   34892123 |        123 |     1326.9 | 1977024512
   13700000 |   21423562 |   35123645 |        123 |     1335.7 | 1977024512
   13800000 |   21548585 |   35348687 |        123 |     1344.2 | 1977024512
   13900000 |   21677147 |   35577223 |        123 |     1353.1 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   14000000 |   21815687 |   35815780 |        123 |     1361.9 | 1977024512
   14100000 |   21962404 |   36062456 |        123 |     1371.4 | 1977024512
   14200000 |   22101657 |   36301761 |        123 |     1380.4 | 1977024512
   14300000 |   22251453 |   36551536 |        123 |     1389.5 | 1977024512
   14400000 |   22411237 |   36811319 |        123 |     1399.4 | 1977024512
   14500000 |   22582717 |   37082775 |        123 |     1409.2 | 1977024512
   14600000 |   22758037 |   37358083 |        123 |     1419.7 | 1977024512
   14700000 |   22936411 |   37636541 |        123 |     1429.8 | 1977024512
   14800000 |   23101914 |   37902033 |        123 |     1439.8 | 1977024512
   14900000 |   23289870 |   38189973 |        123 |     1450.3 | 1977024512
   15000000 |   23490069 |   38490134 |        123 |     1462.1 | 1977024512
   15100000 |   23698195 |   38798257 |        123 |     1494.9 | 1977024512
   15200000 |   23914733 |   39114809 |        123 |     1533.8 | 1977024512
   15300000 |   24150480 |   39450542 |        123 |     1588.9 | 1977024512
   15400000 |   24364293 |   39764368 |        123 |     1650.2 | 1977024512
   15500000 |   24617449 |   40117479 |        123 |     1684.3 | 1977024512
   15600000 |   24721635 |   40321762 |        123 |     1735.7 | 1977024512
   15700000 |   24820415 |   40520556 |        123 |     1772.3 | 1977024512
   15800000 |   24923075 |   40723206 |        123 |     1802.2 | 1977024512
   15900000 |   25028631 |   40928735 |        123 |     1854.7 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   16000000 |   25131967 |   41132076 |        123 |     1885.1 | 1977024512
   16100000 |   25243532 |   41343668 |        123 |     1916.2 | 1977024512
   16200000 |   25348766 |   41548864 |        123 |     1946.5 | 1977024512
   16300000 |   25465962 |   41766059 |        123 |     2002.5 | 1977024512
   16400000 |   25570365 |   41970474 |        123 |     2033.6 | 1977024512
   16500000 |   25684432 |   42184528 |        123 |     2065.7 | 1977024512
   16600000 |   25806369 |   42406442 |        123 |     2121.8 | 1977024512
   16700000 |   25911328 |   42611419 |        123 |     2177.7 | 1977024512
   16800000 |   26025692 |   42825780 |        123 |     2259.3 | 1977024512
   16900000 |   26147638 |   43047701 |        123 |     2317.6 | 1977024512
   17000000 |   26274064 |   43274123 |        123 |     2424.8 | 1977024512
   17100000 |   26405835 |   43505969 |        123 |     2558.3 | 1977024512
