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 |     165965 |     838729 |      71556 |        5.4 |   39067648
     200000 |     397127 |    1707548 |     134084 |       11.6 |   65945600
     300000 |     634881 |    2594754 |     195296 |       18.7 |  110497792
     400000 |     863447 |    3501460 |     260600 |       25.1 |  110497792
     500000 |    1146331 |    4370903 |     313737 |       33.2 |  185126912
     600000 |    1352092 |    5307556 |     383725 |       39.6 |  185126912
     700000 |    1639796 |    6256112 |     441235 |       49.2 |  311799808
     800000 |    2016218 |    7115317 |     480746 |       57.4 |  311799808
     900000 |    2346365 |    8025910 |     530349 |       65.4 |  311799808
    1000000 |    2704341 |    8909357 |     574327 |       73.9 |  311799808
    1100000 |    3027304 |    9845450 |     627816 |       82.1 |  311799808
    1200000 |    3298240 |   10805499 |     689223 |       93.2 |  526897152
    1300000 |    3565456 |   11852934 |     754643 |      101.6 |  526897152
    1400000 |    3832149 |   12860944 |     819054 |      109.4 |  526897152
    1500000 |    4263440 |   13773787 |     856781 |      119.4 |  526897152
    1600000 |    4714419 |   14655622 |     888002 |      129.1 |  526897152
    1700000 |    5161609 |   15616321 |     926819 |      139.7 |  526897152
    1800000 |    5525228 |   16508499 |     974568 |      148.8 |  526897152
    1900000 |    5813348 |   17441468 |    1032603 |      157.3 |  526897152

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |    6025558 |   18387002 |    1101391 |      164.6 |  526897152
    2100000 |    6280002 |   19354542 |    1165905 |      179.6 |  870039552
    2200000 |    6484097 |   20422905 |    1241153 |      187.3 |  870039552
    2300000 |    6827371 |   21375725 |    1292924 |      197.3 |  870039552
    2400000 |    7140830 |   22377767 |    1349767 |      206.5 |  870039552
    2500000 |    7520291 |   23349751 |    1396760 |      216.7 |  870039552
    2600000 |    7903225 |   24295907 |    1442228 |      226.9 |  870039552
    2700000 |    8245066 |   25225801 |    1492130 |      236.3 |  870039552
    2800000 |    8744291 |   26101525 |    1518250 |      247.8 |  870039552
    2900000 |    8933603 |   27049515 |    1591124 |      254.6 |  870039552
    3000000 |    9213268 |   27985416 |    1649969 |      263.5 |  870039552
    3100000 |    9453553 |   29018474 |    1718751 |      271.5 |  870039552
    3200000 |    9705487 |   30047334 |    1786456 |      280.2 |  870039552
    3300000 |    9973453 |   30968479 |    1846655 |      288.9 |  870039552
    3400000 |   10366604 |   31887618 |    1890463 |      308.5 | 1459462144
    3500000 |   10664875 |   32929767 |    1952542 |      318.6 | 1459462144
    3600000 |   11198361 |   33832887 |    1978770 |      330.8 | 1459462144
    3700000 |   11670170 |   34744990 |    2010577 |      341.7 | 1459462144
    3800000 |   12135244 |   35706065 |    2047818 |      353.0 | 1459462144
    3900000 |   12469078 |   36656966 |    2101919 |      363.1 | 1459462144

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    4000000 |   12713455 |   37685018 |    2170464 |      371.5 | 1459462144
    4100000 |   13042433 |   38689124 |    2225968 |      381.9 | 1459462144
    4200000 |   13590498 |   39542605 |    2246470 |      394.2 | 1459462144
    4300000 |   13882575 |   40517181 |    2305292 |      402.9 | 1459462144
    4400000 |   14201790 |   41573134 |    2365243 |      413.4 | 1459462144
    4500000 |   14524512 |   42620703 |    2424210 |      423.2 | 1459462144
    4600000 |   14881095 |   43707321 |    2480590 |      434.2 | 1459462144
    4700000 |   15201680 |   44735691 |    2538854 |      443.9 | 1459462144
    4800000 |   15621977 |   45722565 |    2582107 |      455.7 | 1459462144
    4900000 |   15857063 |   46765134 |    2652193 |      464.8 | 1459462144
    5000000 |   16338247 |   47756077 |    2690748 |      477.6 | 1459462144
    5100000 |   16672645 |   48744157 |    2746005 |      487.8 | 1459462144
    5200000 |   16915204 |   49825853 |    2816150 |      497.8 | 1459462144
    5300000 |   17432032 |   50760178 |    2845191 |      511.2 | 1459462144
    5400000 |   17809557 |   51840120 |    2899449 |      522.7 | 1459462144
    5500000 |   18134463 |   52752263 |    2952143 |      532.1 | 1459462144
    5600000 |   18422347 |   53692104 |    3009675 |      542.2 | 1459462144
    5700000 |   18634895 |   54726258 |    3082397 |      569.7 | 1977024512
    5800000 |   18971554 |   55698475 |    3136102 |      582.6 | 1977024512
    5900000 |   19321151 |   56686978 |    3188308 |      593.5 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    6000000 |   19719826 |   57686241 |    3234808 |      605.5 | 1977024512
    6100000 |   19975954 |   58727693 |    3301650 |      614.6 | 1977024512
    6200000 |   20397020 |   59720239 |    3346156 |      625.9 | 1977024512
    6300000 |   20967481 |   60575080 |    3364705 |      638.9 | 1977024512
    6400000 |   21495633 |   61446913 |    3387022 |      651.5 | 1977024512
    6500000 |   21976102 |   62377025 |    3420187 |      664.2 | 1977024512
    6600000 |   22406067 |   63361496 |    3463961 |      675.9 | 1977024512
    6700000 |   22866378 |   64349179 |    3503919 |      688.5 | 1977024512
    6800000 |   23336063 |   65323178 |    3540827 |      700.9 | 1977024512
    6900000 |   23722525 |   66387996 |    3592128 |      713.3 | 1977024512
    7000000 |   24074231 |   67459289 |    3648263 |      724.1 | 1977024512
    7100000 |   24565634 |   68468070 |    3685735 |      737.4 | 1977024512
    7200000 |   25090826 |   69404575 |    3712918 |      750.4 | 1977024512
    7300000 |   25646814 |   70326919 |    3738242 |      764.8 | 1977024512
    7400000 |   26262758 |   71224882 |    3754888 |      779.6 | 1977024512
    7500000 |   26821347 |   72112177 |    3775665 |      793.4 | 1977024512
    7600000 |   27451859 |   73069777 |    3795842 |      810.0 | 1977024512
    7700000 |   27910383 |   73986764 |    3829032 |      848.9 | 1977024512
    7800000 |   28309699 |   74982463 |    3875920 |      860.3 | 1977024512
    7900000 |   28586161 |   75980329 |    3938641 |      892.5 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    8000000 |   28867954 |   77000386 |    4000919 |      947.7 | 1977024512
    8100000 |   29214285 |   77983715 |    4054411 |      982.6 | 1977024512
    8200000 |   29670767 |   78983672 |    4094785 |     1019.4 | 1977024512
    8300000 |   30080378 |   80075250 |    4145660 |     1056.2 | 1977024512
    8400000 |   30693467 |   81002099 |    4164226 |     1122.6 | 1977024512
    8500000 |   31270505 |   81919130 |    4185977 |     1160.8 | 1977024512
    8600000 |   31713334 |   82948042 |    4230322 |     1222.2 | 1977024512
    8700000 |   32120701 |   83915297 |    4274627 |     1285.3 | 1977024512
    8800000 |   32573905 |   84870512 |    4313422 |     1399.4 | 1977024512
