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 |      30453 |     408090 |      93547 |        3.5 |   24416256
     200000 |      64125 |     818586 |     186538 |        7.3 |   70090752
     300000 |     100729 |    1233193 |     278737 |       10.7 |   70090752
     400000 |     138075 |    1649740 |     371071 |       15.1 |  114896896
     500000 |     175418 |    2065850 |     463732 |       18.6 |  114896896
     600000 |     214207 |    2482819 |     555954 |       23.4 |  193155072
     700000 |     253949 |    2899995 |     647713 |       27.1 |  193155072
     800000 |     293641 |    3317556 |     739544 |       30.9 |  193155072
     900000 |     334012 |    3737103 |     831844 |       36.8 |  328437760
    1000000 |     374135 |    4155897 |     923782 |       40.6 |  328437760
    1100000 |     415570 |    4574980 |    1014858 |       44.5 |  328437760
    1200000 |     456081 |    4992091 |    1106527 |       48.4 |  328437760
    1300000 |     497465 |    5410449 |    1197433 |       52.3 |  328437760
    1400000 |     536181 |    5828791 |    1289599 |       56.2 |  328437760
    1500000 |     577744 |    6249434 |    1381520 |       64.9 |  552431616
    1600000 |     621747 |    6670429 |    1471911 |       68.6 |  552431616
    1700000 |     665327 |    7090571 |    1562435 |       72.8 |  552431616
    1800000 |     707906 |    7508288 |    1653102 |       77.0 |  552431616
    1900000 |     750819 |    7927496 |    1743819 |       80.9 |  552431616

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |     793125 |    8345764 |    1834987 |       85.2 |  552431616
    2100000 |     835294 |    8766022 |    1925857 |       89.4 |  552431616
    2200000 |     876703 |    9184452 |    2017021 |       93.8 |  552431616
    2300000 |     918726 |    9604932 |    2108321 |       97.8 |  552431616
    2400000 |     960975 |   10024480 |    2199641 |      102.2 |  552431616
    2500000 |    1005115 |   10443835 |    2290215 |      106.7 |  552431616
    2600000 |    1048536 |   10862972 |    2381009 |      119.2 |  917012480
    2700000 |    1090791 |   11281653 |    2471484 |      123.4 |  917012480
    2800000 |    1135063 |   11699731 |    2561725 |      127.8 |  917012480
    2900000 |    1178932 |   12118862 |    2652297 |      132.8 |  917012480
    3000000 |    1223264 |   12536848 |    2741760 |      137.1 |  917012480
    3100000 |    1269171 |   12956169 |    2831314 |      141.6 |  917012480
    3200000 |    1316010 |   13375432 |    2920729 |      146.2 |  917012480
    3300000 |    1362058 |   13794465 |    3010400 |      150.6 |  917012480
    3400000 |    1408595 |   14212912 |    3099261 |      156.0 |  917012480
    3500000 |    1456575 |   14631248 |    3187654 |      160.5 |  917012480
    3600000 |    1503853 |   15049906 |    3276169 |      165.2 |  917012480
    3700000 |    1550645 |   15468364 |    3364572 |      169.8 |  917012480
    3800000 |    1598304 |   15887740 |    3452946 |      174.6 |  917012480
    3900000 |    1645838 |   16306096 |    3541406 |      179.4 |  917012480

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    4000000 |    1693661 |   16725841 |    3629676 |      184.1 |  917012480
    4100000 |    1740747 |   17145315 |    3717900 |      188.8 |  917012480
    4200000 |    1789852 |   17565162 |    3805739 |      193.7 |  917012480
    4300000 |    1837663 |   17985836 |    3893770 |      212.5 | 1531629568
    4400000 |    1886541 |   18405540 |    3981350 |      216.5 | 1531629568
    4500000 |    1934797 |   18824658 |    4068828 |      221.5 | 1531629568
    4600000 |    1983609 |   19244022 |    4156241 |      226.7 | 1531629568
    4700000 |    2031171 |   19664874 |    4244288 |      230.8 | 1531629568
    4800000 |    2080274 |   20086177 |    4331805 |      236.2 | 1531629568
    4900000 |    2129697 |   20507518 |    4419079 |      241.6 | 1531629568
    5000000 |    2179649 |   20928098 |    4506238 |      245.8 | 1531629568
    5100000 |    2228420 |   21346976 |    4593502 |      251.1 | 1531629568
    5200000 |    2277512 |   21766295 |    4680742 |      256.4 | 1531629568
    5300000 |    2324850 |   22186811 |    4768313 |      260.6 | 1531629568
    5400000 |    2374136 |   22604840 |    4855075 |      266.0 | 1531629568
    5500000 |    2423278 |   23023430 |    4942126 |      271.4 | 1531629568
    5600000 |    2472362 |   23443125 |    5029122 |      275.6 | 1531629568
    5700000 |    2521362 |   23864060 |    5116347 |      281.0 | 1531629568
    5800000 |    2570151 |   24285710 |    5203853 |      285.3 | 1531629568
    5900000 |    2619037 |   24706771 |    5290840 |      291.6 | 1531629568

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    6000000 |    2668155 |   25128230 |    5377809 |      297.3 | 1531629568
    6100000 |    2716972 |   25547660 |    5464704 |      302.7 | 1531629568
    6200000 |    2767743 |   25965656 |    5551320 |      307.1 | 1531629568
    6300000 |    2817520 |   26386646 |    5637920 |      312.6 | 1531629568
    6400000 |    2867413 |   26806760 |    5724568 |      318.2 | 1531629568
    6500000 |    2917892 |   27225425 |    5810977 |      322.5 | 1531629568
    6600000 |    2967181 |   27647045 |    5897846 |      328.1 | 1531629568
    6700000 |    3016989 |   28067208 |    5984616 |      332.5 | 1531629568
    6800000 |    3067616 |   28485866 |    6070733 |      338.1 | 1531629568
    6900000 |    3117863 |   28904543 |    6157414 |      343.8 | 1531629568
    7000000 |    3167948 |   29321477 |    6243506 |      348.2 | 1531629568
    7100000 |    3218020 |   29740262 |    6329560 |      378.2 | 1977024512
    7200000 |    3268440 |   30157853 |    6415524 |      382.4 | 1977024512
    7300000 |    3318429 |   30576666 |    6501741 |      388.1 | 1977024512
    7400000 |    3369193 |   30994919 |    6587775 |      392.6 | 1977024512
    7500000 |    3419162 |   31413223 |    6673845 |      398.8 | 1977024512
    7600000 |    3469848 |   31832390 |    6760198 |      403.1 | 1977024512
    7700000 |    3520629 |   32249767 |    6846052 |      409.3 | 1977024512
    7800000 |    3570547 |   32666761 |    6931913 |      413.6 | 1977024512
    7900000 |    3621613 |   33083877 |    7017549 |      420.0 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    8000000 |    3673337 |   33501694 |    7102978 |      424.3 | 1977024512
    8100000 |    3725302 |   33919120 |    7188200 |      430.7 | 1977024512
    8200000 |    3776728 |   34336527 |    7273596 |      435.0 | 1977024512
    8300000 |    3829398 |   34752046 |    7358899 |      441.4 | 1977024512
    8400000 |    3881616 |   35166829 |    7444061 |      447.5 | 1977024512
    8500000 |    3934392 |   35585122 |    7529119 |      452.1 | 1977024512
    8600000 |    3987756 |   36001137 |    7613178 |      458.3 | 1977024512
    8700000 |    4041742 |   36415971 |    7697124 |      463.0 | 1977024512
    8800000 |    4094786 |   36832735 |    7781625 |      500.5 | 1977024512
    8900000 |    4147621 |   37248261 |    7865933 |      505.1 | 1977024512
    9000000 |    4201815 |   37663885 |    7949575 |      535.5 | 1977024512
    9100000 |    4255525 |   38081273 |    8034013 |      540.2 | 1977024512
    9200000 |    4311239 |   38495540 |    8117319 |      573.3 | 1977024512
    9300000 |    4365843 |   38913353 |    8201022 |      578.0 | 1977024512
    9400000 |    4421488 |   39328304 |    8284245 |      610.2 | 1977024512
    9500000 |    4477452 |   39743820 |    8367068 |      615.0 | 1977024512
    9600000 |    4534005 |   40159175 |    8450013 |      649.4 | 1977024512
    9700000 |    4592245 |   40573774 |    8532402 |      654.3 | 1977024512
    9800000 |    4649567 |   40987981 |    8615066 |      690.7 | 1977024512
    9900000 |    4707849 |   41401207 |    8696909 |      726.9 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   10000000 |    4766602 |   41815672 |    8778881 |      761.6 | 1977024512
