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 |      81357 |    1199371 |     100000 |        7.5 |   74510336
     200000 |     175731 |    2362542 |     200000 |       16.0 |  125345792
     300000 |     263710 |    3544291 |     299975 |       25.1 |  210878464
     400000 |     370349 |    4666477 |     399958 |       33.8 |  210878464
     500000 |     480186 |    5777742 |     499936 |       45.0 |  357318656
     600000 |     594191 |    6867567 |     599923 |       54.4 |  357318656
     700000 |     706226 |    7964530 |     699915 |       63.5 |  357318656
     800000 |     821031 |    9050381 |     799901 |       76.8 |  603484160
     900000 |     938501 |   10122555 |     899884 |       86.9 |  603484160
    1000000 |    1055595 |   11191929 |     999860 |       97.0 |  603484160
    1100000 |    1173516 |   12257761 |    1099845 |      106.9 |  603484160
    1200000 |    1292618 |   13314571 |    1199803 |      116.9 |  603484160
    1300000 |    1413997 |   14363559 |    1299736 |      127.6 |  603484160
    1400000 |    1536408 |   15407808 |    1399661 |      146.3 |  997265408
    1500000 |    1658959 |   16451637 |    1499622 |      157.4 |  997265408
    1600000 |    1781922 |   17490781 |    1599582 |      168.0 |  997265408
    1700000 |    1905617 |   18523528 |    1699520 |      178.7 |  997265408
    1800000 |    2028690 |   19554023 |    1799467 |      189.5 |  997265408
    1900000 |    2153236 |   20581852 |    1899412 |      200.5 |  997265408

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |    2278113 |   21606763 |    1999339 |      212.2 |  997265408
    2100000 |    2402315 |   22627693 |    2099245 |      223.3 |  997265408
    2200000 |    2526918 |   23645855 |    2199138 |      234.7 |  997265408
    2300000 |    2652927 |   24660782 |    2299051 |      246.0 |  997265408
    2400000 |    2779514 |   25676001 |    2398943 |      257.4 |  997265408
    2500000 |    2906672 |   26686485 |    2498849 |      280.2 | 1685594112
    2600000 |    3033852 |   27695073 |    2598714 |      293.1 | 1685594112
    2700000 |    3160876 |   28701611 |    2698577 |      305.4 | 1685594112
    2800000 |    3288623 |   29701017 |    2798417 |      317.0 | 1685594112
    2900000 |    3417904 |   30703329 |    2898207 |      328.6 | 1685594112
    3000000 |    3546478 |   31702088 |    2998001 |      341.2 | 1685594112
    3100000 |    3676729 |   32699115 |    3097750 |      353.1 | 1685594112
    3200000 |    3807458 |   33695111 |    3197495 |      364.8 | 1685594112
    3300000 |    3936751 |   34684915 |    3297277 |      376.6 | 1685594112
    3400000 |    4066524 |   35671942 |    3396873 |      389.9 | 1685594112
    3500000 |    4199653 |   36660653 |    3496339 |      401.9 | 1685594112
    3600000 |    4330848 |   37644979 |    3595686 |      413.8 | 1685594112
    3700000 |    4465760 |   38625770 |    3694652 |      426.2 | 1685594112
    3800000 |    4603064 |   39606282 |    3793065 |      439.5 | 1685594112
    3900000 |    4746460 |   40584503 |    3890751 |      452.7 | 1685594112

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    4000000 |    4894858 |   41556263 |    3987501 |      465.3 | 1685594112
    4100000 |    5054513 |   42522659 |    4082254 |      478.5 | 1685594112
    4200000 |    5220472 |   43488952 |    4176648 |      492.7 | 1685594112
    4300000 |    5406208 |   44449637 |    4267537 |      526.9 | 1977024512
    4400000 |    5608415 |   45407567 |    4356112 |      544.0 | 1977024512
    4500000 |    5810111 |   46367600 |    4445351 |      558.9 | 1977024512
    4600000 |    6027638 |   47326749 |    4532435 |      575.5 | 1977024512
    4700000 |    6203571 |   48290462 |    4625383 |      589.8 | 1977024512
    4800000 |    6376144 |   49249336 |    4719142 |      630.5 | 1977024512
    4900000 |    6550760 |   50206754 |    4812292 |      667.6 | 1977024512
    5000000 |    6735368 |   51157623 |    4903960 |      704.8 | 1977024512
    5100000 |    6928091 |   52106144 |    4994564 |      742.7 | 1977024512
    5200000 |    7113277 |   53052352 |    5086340 |      781.2 | 1977024512
    5300000 |    7298394 |   53992292 |    5178546 |      848.9 | 1977024512
