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 |     282399 |    1057742 |      56061 |        8.1 |   36245504
     200000 |     613013 |    2212298 |     111559 |       18.5 |  100597760
     300000 |     953068 |    3406383 |     167590 |       28.6 |  100597760
     400000 |    1309952 |    4590012 |     220671 |       40.0 |  168976384
     500000 |    1656616 |    5800303 |     276704 |       51.0 |  168976384
     600000 |    2035571 |    7065226 |     332209 |       64.6 |  283574272
     700000 |    2440887 |    8408625 |     387979 |       76.8 |  283574272
     800000 |    2825860 |    9536463 |     436476 |       88.8 |  283574272
     900000 |    3209295 |   10766987 |     489254 |      104.0 |  473497600
    1000000 |    3604484 |   12005256 |     541999 |      117.3 |  473497600
    1100000 |    4009843 |   13308032 |     595638 |      130.4 |  473497600
    1200000 |    4389041 |   14588601 |     651657 |      143.1 |  473497600
    1300000 |    4810465 |   15949375 |     707192 |      156.7 |  473497600
    1400000 |    5248889 |   17353213 |     762660 |      170.6 |  473497600
    1500000 |    5846697 |   18419047 |     784515 |      192.0 |  779575296
    1600000 |    6558741 |   19299208 |     789805 |      210.2 |  779575296
    1700000 |    6890324 |   20471772 |     845872 |      222.7 |  779575296
    1800000 |    7265978 |   21727124 |     901350 |      235.9 |  779575296
    1900000 |    7658198 |   23032536 |     957022 |      250.0 |  779575296

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |    8052910 |   24302454 |    1010461 |      264.3 |  779575296
    2100000 |    8448490 |   25627134 |    1066520 |      278.4 |  779575296
    2200000 |    8872590 |   26993505 |    1122014 |      293.1 |  779575296
    2300000 |    9329762 |   28435893 |    1176874 |      308.8 |  779575296
    2400000 |    9759830 |   29663124 |    1226108 |      323.2 |  779575296
    2500000 |   10215203 |   30970455 |    1275798 |      338.8 |  779575296
    2600000 |   10630164 |   32326954 |    1331717 |      362.5 | 1301762048
    2700000 |   11080759 |   33729358 |    1385460 |      378.0 | 1301762048
    2800000 |   11507689 |   35116651 |    1441344 |      392.9 | 1301762048
    2900000 |   11980483 |   36577595 |    1496321 |      408.9 | 1301762048
    3000000 |   12458794 |   38086805 |    1552334 |      425.0 | 1301762048
    3100000 |   12834705 |   39354626 |    1607602 |      439.0 | 1301762048
    3200000 |   13195419 |   40603156 |    1663647 |      452.9 | 1301762048
    3300000 |   13597313 |   41843679 |    1715594 |      468.2 | 1301762048
    3400000 |   14022284 |   43135835 |    1766770 |      484.2 | 1301762048
    3500000 |   14395458 |   44401225 |    1822809 |      498.9 | 1301762048
    3600000 |   14815191 |   45755770 |    1878292 |      514.4 | 1301762048
    3700000 |   15245300 |   47156392 |    1934346 |      530.5 | 1301762048
    3800000 |   15712760 |   48456910 |    1982574 |      547.3 | 1301762048
    3900000 |   16106725 |   49761651 |    2038073 |      563.0 | 1301762048

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    4000000 |   16528984 |   51123639 |    2093575 |      578.9 | 1301762048
    4100000 |   16973721 |   52560921 |    2149605 |      609.0 | 1977024512
    4200000 |   17407871 |   53917908 |    2203229 |      627.2 | 1977024512
    4300000 |   17899334 |   55340292 |    2254639 |      645.1 | 1977024512
    4400000 |   18374414 |   56784381 |    2308780 |      662.4 | 1977024512
    4500000 |   18923242 |   58196244 |    2352898 |      681.8 | 1977024512
    4600000 |   19725997 |   59122424 |    2354165 |      706.2 | 1977024512
    4700000 |   20233808 |   60334643 |    2397431 |      723.7 | 1977024512
    4800000 |   20650811 |   61677790 |    2452034 |      739.8 | 1977024512
    4900000 |   21107996 |   63002877 |    2502830 |      756.8 | 1977024512
    5000000 |   21559846 |   64408391 |    2556574 |      773.7 | 1977024512
    5100000 |   21982287 |   65784101 |    2612463 |      789.8 | 1977024512
    5200000 |   22446569 |   67240067 |    2667990 |      807.1 | 1977024512
    5300000 |   22929453 |   68744448 |    2723487 |      824.7 | 1977024512
    5400000 |   23443695 |   70135002 |    2771718 |      843.1 | 1977024512
    5500000 |   23878536 |   71546464 |    2827770 |      860.0 | 1977024512
    5600000 |   24346684 |   73010959 |    2883246 |      877.4 | 1977024512
    5700000 |   24838944 |   74559011 |    2939309 |      920.4 | 1977024512
    5800000 |   25330593 |   75999649 |    2991434 |      958.0 | 1977024512
    5900000 |   25873394 |   77511329 |    3042432 |     1016.4 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    6000000 |   26378213 |   79075489 |    3098448 |     1074.9 | 1977024512
    6100000 |   26965179 |   80502991 |    3138723 |     1135.3 | 1977024512
    6200000 |   27790335 |   81447152 |    3139748 |     1199.0 | 1977024512
    6300000 |   28550501 |   82323912 |    3140660 |     1262.6 | 1977024512
    6400000 |   29341725 |   83223287 |    3141115 |     1327.6 | 1977024512
    6500000 |   30110702 |   84092242 |    3141115 |     1409.5 | 1977024512
    6600000 |   30870167 |   84957034 |    3141381 |     1475.0 | 1977024512
    6700000 |   31653486 |   85840768 |    3141402 |     1538.0 | 1977024512
    6800000 |   32483068 |   86770683 |    3141420 |     1623.2 | 1977024512
    6900000 |   33286266 |   87673883 |    3141421 |     1710.2 | 1977024512
    7000000 |   34116282 |   88604080 |    3141433 |     1799.3 | 1977024512
    7100000 |   34918013 |   89524556 |    3142434 |     1890.5 | 1977024512
    7200000 |   35747376 |   90460188 |    3142791 |     1982.2 | 1977024512
    7300000 |   36572515 |   91388028 |    3142931 |     2076.4 | 1977024512
    7400000 |   37466070 |   92385540 |    3143148 |     2191.7 | 1977024512
    7500000 |   38329457 |   93348961 |    3143148 |     2305.1 | 1977024512
    7600000 |   39181416 |   94304227 |    3143310 |     2419.9 | 1977024512
    7700000 |   40092497 |   95330971 |    3144107 |     2563.1 | 1977024512
    7800000 |   40936144 |   96279304 |    3144340 |     2679.9 | 1977024512
    7900000 |   41779448 |   97227103 |    3144574 |     2843.5 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    8000000 |   42653884 |   98206703 |    3144840 |     3011.2 | 1977024512
    8100000 |   43411002 |   99063723 |    3144842 |     3174.3 | 1977024512
    8200000 |   44358912 |  100111471 |    3144842 |     3368.1 | 1977024512
    8300000 |   45306345 |  101167965 |    3145276 |     3610.0 | 1977024512
    8400000 |   46157787 |  102120964 |    3145344 |     3848.8 | 1977024512
    8500000 |   47054161 |  103118281 |    3145388 |     4135.9 | 1977024512
    8600000 |   47930353 |  104094473 |    3145390 |     4492.5 | 1977024512
