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 |     364014 |     464372 |        181 |       15.4 |   20889600
     200000 |     799874 |    1000232 |        181 |       33.7 |   35012608
     300000 |    1269485 |    1569850 |        181 |       52.5 |   35012608
     400000 |    1739779 |    2140124 |        181 |       72.1 |   58552320
     500000 |    2178119 |    2678476 |        181 |       91.0 |   58552320
     600000 |    2597620 |    3197970 |        181 |      111.0 |   97808384
     700000 |    3051242 |    3751597 |        181 |      130.5 |   97808384
     800000 |    3523352 |    4323710 |        181 |      150.3 |   97808384
     900000 |    3995050 |    4895425 |        181 |      170.7 |   97808384
    1000000 |    4499305 |    5499684 |        181 |      193.8 |  163450880
    1100000 |    5065363 |    6165735 |        181 |      218.1 |  163450880
    1200000 |    5619351 |    6819746 |        181 |      242.5 |  163450880
    1300000 |    6130326 |    7430709 |        181 |      266.2 |  163450880
    1400000 |    6686196 |    8086553 |        181 |      290.0 |  163450880
    1500000 |    7253911 |    8754283 |        181 |      314.4 |  163450880
    1600000 |    7788028 |    9388381 |        181 |      339.7 |  272814080
    1700000 |    8275734 |    9976092 |        181 |      360.1 |  272814080
    1800000 |    8846182 |   10646528 |        181 |      383.3 |  272814080
    1900000 |    9422098 |   11322472 |        181 |      407.0 |  272814080

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |    9923491 |   11923860 |        181 |      428.9 |  272814080
    2100000 |   10463305 |   12563651 |        181 |      452.2 |  272814080
    2200000 |   11030272 |   13230629 |        181 |      475.7 |  272814080
    2300000 |   11581831 |   13882178 |        181 |      499.2 |  272814080
    2400000 |   12063052 |   14463405 |        181 |      520.2 |  272814080
    2500000 |   12634978 |   15135320 |        181 |      544.8 |  272814080
    2600000 |   13200505 |   15800843 |        181 |      569.4 |  272814080
    2700000 |   13720364 |   16420716 |        181 |      592.9 |  272814080
    2800000 |   14239547 |   17039896 |        181 |      619.9 |  454975488
    2900000 |   14813925 |   17714286 |        181 |      644.8 |  454975488
    3000000 |   15390233 |   18390562 |        181 |      670.5 |  454975488
    3100000 |   15798332 |   18898705 |        181 |      689.8 |  454975488
    3200000 |   16232751 |   19433111 |        181 |      710.4 |  454975488
    3300000 |   16752363 |   20052742 |        181 |      734.9 |  454975488
    3400000 |   17272842 |   20673201 |        181 |      758.7 |  454975488
    3500000 |   17792663 |   21293010 |        181 |      783.7 |  454975488
    3600000 |   18224889 |   21825253 |        181 |      805.9 |  454975488
    3700000 |   18659730 |   22360068 |        181 |      828.7 |  454975488
    3800000 |   19163478 |   22963822 |        181 |      852.0 |  454975488
    3900000 |   19671238 |   23571599 |        181 |      875.7 |  454975488

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    4000000 |   20177412 |   24177765 |        181 |      900.1 |  454975488
    4100000 |   20682107 |   24782449 |        181 |      923.1 |  454975488
    4200000 |   21183928 |   25384272 |        181 |      944.8 |  454975488
    4300000 |   21750893 |   26051262 |        181 |      968.7 |  454975488
    4400000 |   22309324 |   26709688 |        181 |      992.8 |  454975488
    4500000 |   22818216 |   27318568 |        181 |     1016.3 |  454975488
    4600000 |   23374174 |   27974500 |        181 |     1041.0 |  454975488
    4700000 |   23939199 |   28639544 |        181 |     1065.4 |  454975488
    4800000 |   24475029 |   29275376 |        181 |     1089.1 |  454975488
    4900000 |   24960332 |   29860672 |        181 |     1111.6 |  454975488
    5000000 |   25533956 |   30534316 |        181 |     1145.0 |  759603200
    5100000 |   26111159 |   31211491 |        181 |     1171.4 |  759603200
    5200000 |   26613282 |   31813645 |        181 |     1195.3 |  759603200
    5300000 |   27150205 |   32450550 |        181 |     1220.3 |  759603200
    5400000 |   27715578 |   33115918 |        181 |     1246.0 |  759603200
    5500000 |   28271267 |   33771650 |        181 |     1272.3 |  759603200
    5600000 |   28750008 |   34350396 |        181 |     1294.5 |  759603200
    5700000 |   29320132 |   35020521 |        181 |     1320.6 |  759603200
    5800000 |   29887537 |   35687878 |        181 |     1347.1 |  759603200
    5900000 |   30409780 |   36310179 |        181 |     1372.1 |  759603200

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    6000000 |   30926237 |   36926613 |        181 |     1397.3 |  759603200
    6100000 |   31501677 |   37602051 |        181 |     1423.5 |  759603200
    6200000 |   32074767 |   38275118 |        181 |     1450.5 |  759603200
    6300000 |   32639977 |   38940344 |        181 |     1475.9 |  759603200
    6400000 |   33293205 |   39693576 |        181 |     1504.5 |  759603200
    6500000 |   33960432 |   40460812 |        181 |     1534.4 |  759603200
    6600000 |   34595952 |   41196354 |        181 |     1563.6 |  759603200
    6700000 |   35215566 |   41915954 |        181 |     1593.5 |  759603200
    6800000 |   35882005 |   42682358 |        181 |     1622.3 |  759603200
    6900000 |   36548063 |   43448409 |        181 |     1652.8 |  759603200
    7000000 |   37133010 |   44133374 |        181 |     1679.6 |  759603200
    7100000 |   37771857 |   44872242 |        181 |     1708.8 |  759603200
    7200000 |   38443629 |   45644015 |        181 |     1739.9 |  759603200
    7300000 |   39079928 |   46380292 |        181 |     1770.5 |  759603200
    7400000 |   39699754 |   47100114 |        181 |     1801.3 |  759603200
    7500000 |   40358357 |   47858722 |        181 |     1831.3 |  759603200
    7600000 |   41025407 |   48625767 |        181 |     1862.8 |  759603200
    7700000 |   41597538 |   49297922 |        181 |     1889.7 |  759603200
    7800000 |   42117412 |   49917789 |        181 |     1914.9 |  759603200
    7900000 |   42720739 |   50621140 |        181 |     1953.5 | 1267535872

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    8000000 |   43325474 |   51325867 |        181 |     1983.9 | 1267535872
    8100000 |   43944410 |   52044805 |        181 |     2015.0 | 1267535872
    8200000 |   44504485 |   52704878 |        181 |     2043.4 | 1267535872
    8300000 |   45038533 |   53338913 |        181 |     2072.3 | 1267535872
    8400000 |   45615129 |   54015509 |        181 |     2101.1 | 1267535872
    8500000 |   46234835 |   54735220 |        181 |     2131.5 | 1267535872
    8600000 |   46855422 |   55455797 |        181 |     2161.6 | 1267535872
    8700000 |   47457880 |   56158257 |        181 |     2191.4 | 1267535872
    8800000 |   48035572 |   56835940 |        181 |     2216.7 | 1267535872
    8900000 |   48702925 |   57603273 |        181 |     2245.7 | 1267535872
    9000000 |   49368864 |   58369220 |        181 |     2275.2 | 1267535872
    9100000 |   49996364 |   59096765 |        181 |     2304.5 | 1267535872
    9200000 |   50610137 |   59810485 |        181 |     2333.9 | 1267535872
    9300000 |   51285603 |   60585976 |        181 |     2364.0 | 1267535872
    9400000 |   51956366 |   61356705 |        181 |     2394.0 | 1267535872
    9500000 |   52528461 |   62028822 |        181 |     2420.8 | 1267535872
    9600000 |   53179146 |   62779514 |        181 |     2450.3 | 1267535872
    9700000 |   53846148 |   63546513 |        181 |     2481.6 | 1267535872
    9800000 |   54482211 |   64282601 |        181 |     2511.9 | 1267535872
    9900000 |   55102206 |   65002559 |        181 |     2543.1 | 1267535872

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   10000000 |   55766607 |   65766946 |        181 |     2573.2 | 1267535872
   10100000 |   56432742 |   66533086 |        181 |     2604.6 | 1267535872
   10200000 |   56943437 |   67143793 |        181 |     2628.0 | 1267535872
   10300000 |   57480173 |   67780524 |        181 |     2652.0 | 1267535872
   10400000 |   58051438 |   68451802 |        181 |     2677.1 | 1267535872
   10500000 |   58587960 |   69088327 |        181 |     2701.4 | 1267535872
   10600000 |   59107408 |   69707762 |        181 |     2725.9 | 1267535872
   10700000 |   59665142 |   70365480 |        181 |     2751.0 | 1267535872
   10800000 |   60233131 |   71033480 |        181 |     2776.8 | 1267535872
   10900000 |   60805239 |   71705611 |        181 |     2802.1 | 1267535872
   11000000 |   61427999 |   72428361 |        181 |     2828.7 | 1267535872
   11100000 |   62094086 |   73194428 |        181 |     2857.7 | 1267535872
   11200000 |   62733201 |   73933567 |        181 |     2885.7 | 1267535872
   11300000 |   63352852 |   74653216 |        181 |     2914.7 | 1267535872
   11400000 |   64008364 |   75408718 |        181 |     2943.4 | 1267535872
   11500000 |   64678145 |   76178492 |        181 |     2972.8 | 1267535872
   11600000 |   65303109 |   76903468 |        181 |     3000.3 | 1267535872
   11700000 |   65904246 |   77604595 |        181 |     3026.9 | 1267535872
   11800000 |   66570490 |   78370829 |        181 |     3055.6 | 1267535872
   11900000 |   67232594 |   79132964 |        181 |     3084.6 | 1267535872

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   12000000 |   67839935 |   79840273 |        181 |     3112.6 | 1267535872
   12100000 |   68492476 |   80592816 |        181 |     3142.2 | 1267535872
   12200000 |   69157732 |   81358072 |        181 |     3171.6 | 1267535872
   12300000 |   69776055 |   82076412 |        181 |     3199.8 | 1267535872
   12400000 |   70293002 |   82693361 |        181 |     3223.7 | 1267535872
   12500000 |   70869132 |   83369491 |        181 |     3249.7 | 1267535872
   12600000 |   71489146 |   84089493 |        181 |     3278.6 | 1267535872
   12700000 |   72099200 |   84799570 |        181 |     3306.6 | 1267535872
   12800000 |   72680918 |   85481293 |        181 |     3334.5 | 1267535872
   12900000 |   73226877 |   86127271 |        181 |     3361.9 | 1267535872
   13000000 |   73773319 |   86773687 |        181 |     3389.5 | 1267535872
   13100000 |   74378421 |   87478775 |        181 |     3417.3 | 1267535872
   13200000 |   74993846 |   88194198 |        181 |     3446.1 | 1267535872
   13300000 |   75613727 |   88914083 |        181 |     3476.0 | 1267535872
   13400000 |   76193208 |   89593543 |        181 |     3502.4 | 1267535872
   13500000 |   76828733 |   90329088 |        181 |     3529.7 | 1267535872
   13600000 |   77498446 |   91098809 |        181 |     3558.9 | 1267535872
   13700000 |   78135051 |   91835402 |        181 |     3587.3 | 1267535872
   13800000 |   78754221 |   92554578 |        181 |     3616.9 | 1267535872
   13900000 |   79411027 |   93311363 |        181 |     3646.2 | 1267535872

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   14000000 |   80080082 |   94080432 |        181 |     3676.2 | 1267535872
   14100000 |   80693432 |   94793787 |        181 |     3703.8 | 1267535872
   14200000 |   81313272 |   95513608 |        181 |     3732.6 | 1267535872
   14300000 |   81978682 |   96279016 |        181 |     3762.7 | 1267535872
   14400000 |   82621157 |   97021503 |        181 |     3792.5 | 1267535872
   14500000 |   83240384 |   97740742 |        181 |     3822.6 | 1267535872
   14600000 |   83895473 |   98495814 |        181 |     3853.3 | 1267535872
   14700000 |   84566099 |   99266440 |        181 |     3904.4 | 1977024512
   14800000 |   85148975 |   99949332 |        181 |     3931.7 | 1977024512
   14900000 |   85647545 |  100547886 |        181 |     3954.5 | 1977024512
   15000000 |   86212988 |  101213325 |        181 |     3980.7 | 1977024512
   15100000 |   86779235 |  101879584 |        181 |     4006.8 | 1977024512
   15200000 |   87285277 |  102485623 |        181 |     4032.1 | 1977024512
   15300000 |   87834892 |  103135233 |        181 |     4057.3 | 1977024512
   15400000 |   88400844 |  103801186 |        181 |     4083.1 | 1977024512
   15500000 |   88967311 |  104467673 |        181 |     4109.6 | 1977024512
   15600000 |   89550862 |  105151202 |        181 |     4136.2 | 1977024512
   15700000 |   90226254 |  105926603 |        181 |     4166.6 | 1977024512
   15800000 |   90897463 |  106697803 |        181 |     4197.1 | 1977024512
   15900000 |   91507640 |  107407992 |        181 |     4226.3 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   16000000 |   92136597 |  108136939 |        181 |     4256.0 | 1977024512
   16100000 |   92802502 |  108902840 |        181 |     4286.2 | 1977024512
   16200000 |   93468319 |  109668687 |        181 |     4317.3 | 1977024512
   16300000 |   94043891 |  110344231 |        181 |     4344.4 | 1977024512
   16400000 |   94707711 |  111108050 |        181 |     4374.9 | 1977024512
   16500000 |   95373710 |  111874043 |        181 |     4405.8 | 1977024512
   16600000 |   96004719 |  112605061 |        181 |     4435.7 | 1977024512
   16700000 |   96617441 |  113317784 |        181 |     4465.9 | 1977024512
   16800000 |   97293250 |  114093592 |        181 |     4497.0 | 1977024512
   16900000 |   97962272 |  114862608 |        181 |     4528.9 | 1977024512
   17000000 |   98485004 |  115485368 |        181 |     4553.9 | 1977024512
   17100000 |   99013893 |  116114244 |        181 |     4579.9 | 1977024512
   17200000 |   99629172 |  116829510 |        181 |     4609.5 | 1977024512
   17300000 |  100247780 |  117548142 |        181 |     4639.9 | 1977024512
   17400000 |  100867355 |  118267702 |        181 |     4671.0 | 1977024512
   17500000 |  101409426 |  118909817 |        181 |     4698.7 | 1977024512
   17600000 |  101940091 |  119540442 |        181 |     4727.2 | 1977024512
   17700000 |  102538113 |  120238464 |        181 |     4756.0 | 1977024512
   17800000 |  103152875 |  120953215 |        181 |     4785.7 | 1977024512
   17900000 |  103757017 |  121657379 |        181 |     4816.1 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   18000000 |  104362015 |  122362359 |        181 |     4845.1 | 1977024512
   18100000 |  104957542 |  123057884 |        181 |     4872.0 | 1977024512
   18200000 |  105622946 |  123823293 |        181 |     4901.7 | 1977024512
   18300000 |  106292639 |  124592988 |        181 |     4932.3 | 1977024512
   18400000 |  106898164 |  125298521 |        181 |     4961.7 | 1977024512
   18500000 |  107545946 |  126046282 |        181 |     4991.8 | 1977024512
   18600000 |  108212778 |  126813110 |        181 |     5022.3 | 1977024512
   18700000 |  108855054 |  127555394 |        181 |     5052.8 | 1977024512
   18800000 |  109437911 |  128238247 |        181 |     5080.6 | 1977024512
   18900000 |  110113236 |  129013577 |        181 |     5112.5 | 1977024512
   19000000 |  110783001 |  129783348 |        181 |     5144.1 | 1977024512
   19100000 |  111395032 |  130495402 |        181 |     5174.6 | 1977024512
   19200000 |  112022223 |  131222571 |        181 |     5205.3 | 1977024512
   19300000 |  112689579 |  131989902 |        181 |     5237.4 | 1977024512
   19400000 |  113360597 |  132760922 |        181 |     5270.0 | 1977024512
   19500000 |  113773042 |  133273408 |        181 |     5290.6 | 1977024512
   19600000 |  114205317 |  133805672 |        181 |     5311.8 | 1977024512
   19700000 |  114724422 |  134424793 |        181 |     5337.4 | 1977024512
   19800000 |  115242334 |  135042694 |        181 |     5362.6 | 1977024512
   19900000 |  115762100 |  135662450 |        181 |     5388.7 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   20000000 |  116198092 |  136198471 |        181 |     5411.8 | 1977024512
   20100000 |  116631540 |  136731906 |        181 |     5435.5 | 1977024512
   20200000 |  117133202 |  137333549 |        181 |     5460.1 | 1977024512
   20300000 |  117643923 |  137944292 |        181 |     5485.7 | 1977024512
   20400000 |  118149216 |  138549567 |        181 |     5511.2 | 1977024512
   20500000 |  118667083 |  139167463 |        181 |     5537.1 | 1977024512
   20600000 |  119187398 |  139787758 |        181 |     5562.6 | 1977024512
   20700000 |  119779963 |  140480319 |        181 |     5590.9 | 1977024512
   20800000 |  120391370 |  141191723 |        181 |     5620.7 | 1977024512
   20900000 |  120996673 |  141897032 |        181 |     5676.2 | 1977024512
   21000000 |  121568267 |  142568646 |        181 |     5786.8 | 1977024512
   21100000 |  122108439 |  143208804 |        181 |     5867.3 | 1977024512
   21200000 |  122668212 |  143868572 |        181 |     5972.5 | 1977024512
   21300000 |  123283136 |  144583479 |        181 |     6053.6 | 1977024512
   21400000 |  123902204 |  145302560 |        181 |     6161.2 | 1977024512
   21500000 |  124522006 |  146022362 |        181 |     6270.6 | 1977024512
   21600000 |  125043578 |  146643951 |        181 |     6348.8 | 1977024512
   21700000 |  125571571 |  147271930 |        181 |     6427.5 | 1977024512
   21800000 |  126185915 |  147986266 |        181 |     6537.4 | 1977024512
   21900000 |  126805864 |  148706243 |        181 |     6647.3 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   22000000 |  127425264 |  149425611 |        181 |     6732.7 | 1977024512
   22100000 |  127968399 |  150068744 |        181 |     6841.9 | 1977024512
   22200000 |  128498661 |  150699026 |        181 |     6924.3 | 1977024512
   22300000 |  129095498 |  151395848 |        181 |     7035.1 | 1977024512
   22400000 |  129711168 |  152111521 |        181 |     7120.2 | 1977024512
   22500000 |  130314354 |  152814707 |        181 |     7232.8 | 1977024512
   22600000 |  130852806 |  153453178 |        181 |     7315.9 | 1977024512
   22700000 |  131295187 |  153995568 |        181 |     7396.8 | 1977024512
   22800000 |  131752643 |  154553012 |        181 |     7504.8 | 1977024512
   22900000 |  132293168 |  155193567 |        181 |     7588.5 | 1977024512
   23000000 |  132830758 |  155831115 |        181 |     7702.1 | 1977024512
   23100000 |  133365974 |  156466370 |        181 |     7814.8 | 1977024512
   23200000 |  133896453 |  157096815 |        181 |     7928.3 | 1977024512
   23300000 |  134363130 |  157663535 |        181 |     8068.7 | 1977024512
   23400000 |  134812441 |  158212825 |        181 |     8180.6 | 1977024512
   23500000 |  135283183 |  158783571 |        181 |     8322.6 | 1977024512
   23600000 |  135811238 |  159411613 |        181 |     8494.1 | 1977024512
   23700000 |  136344240 |  160044589 |        181 |     8668.0 | 1977024512
   23800000 |  136880110 |  160680487 |        181 |     8842.4 | 1977024512
   23900000 |  137411058 |  161311403 |        181 |     9046.9 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   24000000 |  137945591 |  161945932 |        181 |     9281.5 | 1977024512
   24100000 |  138464029 |  162564385 |        181 |     9542.5 | 1977024512
   24200000 |  139062558 |  163262915 |        181 |     9866.2 | 1977024512
   24300000 |  139669055 |  163969405 |        181 |    10251.4 | 1977024512
   24400000 |  140282578 |  164682931 |        181 |    10725.9 | 1977024512
