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 |      83273 |     817980 |      89928 |        4.4 |   41234432
     200000 |     187130 |    1701212 |     176349 |        9.2 |   68878336
     300000 |     321918 |    2553617 |     256023 |       14.8 |  113655808
     400000 |     457405 |    3435057 |     335929 |       20.9 |  191504384
     500000 |     612393 |    4342846 |     412006 |       26.1 |  191504384
     600000 |     770304 |    5210971 |     488072 |       31.5 |  191504384
     700000 |     937752 |    6122891 |     563245 |       39.2 |  319348736
     800000 |    1114519 |    7008509 |     636381 |       44.9 |  319348736
     900000 |    1295649 |    7888580 |     708954 |       50.9 |  319348736
    1000000 |    1476387 |    8805482 |     782400 |       57.0 |  319348736
    1100000 |    1704633 |    9685584 |     846622 |       66.9 |  532664320
    1200000 |    1892525 |   10596722 |     918500 |       73.1 |  532664320
    1300000 |    2076283 |   11541183 |     992474 |       79.2 |  532664320
    1400000 |    2281934 |   12491006 |    1063731 |       85.8 |  532664320
    1500000 |    2456415 |   13410355 |    1139539 |       92.1 |  532664320
    1600000 |    2626149 |   14344411 |    1216059 |       98.1 |  532664320
    1700000 |    2913412 |   15226685 |    1270726 |      105.8 |  532664320
    1800000 |    3177117 |   16119156 |    1330080 |      120.2 |  885334016
    1900000 |    3381857 |   17068728 |    1401037 |      126.9 |  885334016

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |    3672552 |   17976453 |    1457598 |      135.0 |  885334016
    2100000 |    3888857 |   18883389 |    1526074 |      141.9 |  885334016
    2200000 |    4116287 |   19819362 |    1593038 |      148.9 |  885334016
    2300000 |    4322856 |   20768123 |    1664242 |      155.8 |  885334016
    2400000 |    4582120 |   21665782 |    1724521 |      163.3 |  885334016
    2500000 |    4788449 |   22608191 |    1796544 |      170.3 |  885334016
    2600000 |    5228482 |   23454818 |    1831104 |      179.6 |  885334016
    2700000 |    5444315 |   24381178 |    1899786 |      186.8 |  885334016
    2800000 |    5666162 |   25289798 |    1966615 |      194.1 |  885334016
    2900000 |    6050238 |   26146169 |    2005994 |      203.6 |  885334016
    3000000 |    6315141 |   27075658 |    2067862 |      211.5 |  885334016
    3100000 |    6629352 |   27978997 |    2120973 |      220.1 |  885334016
    3200000 |    6939113 |   28917370 |    2176123 |      239.2 | 1485299712
    3300000 |    7201517 |   29859405 |    2238980 |      248.3 | 1485299712
    3400000 |    7515133 |   30738298 |    2292983 |      257.2 | 1485299712
    3500000 |    7643469 |   31706092 |    2377501 |      263.1 | 1485299712
    3600000 |    7877034 |   32680925 |    2445706 |      270.9 | 1485299712
    3700000 |    8188198 |   33617741 |    2501406 |      279.6 | 1485299712
    3800000 |    8577172 |   34482452 |    2540910 |      289.6 | 1485299712
    3900000 |    8995319 |   35323089 |    2574988 |      299.2 | 1485299712

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    4000000 |    9233952 |   36232784 |    2637514 |      307.3 | 1485299712
    4100000 |    9497953 |   37159858 |    2698736 |      315.3 | 1485299712
    4200000 |    9957172 |   38008804 |    2729885 |      326.5 | 1485299712
    4300000 |   10275365 |   38960621 |    2785257 |      335.1 | 1485299712
    4400000 |   10759936 |   39775957 |    2809807 |      346.9 | 1485299712
    4500000 |   11053623 |   40695410 |    2867054 |      355.2 | 1485299712
    4600000 |   11309043 |   41645431 |    2932044 |      363.4 | 1485299712
    4700000 |   11477032 |   42553689 |    3009048 |      370.0 | 1485299712
    4800000 |   11929291 |   43378268 |    3037500 |      380.9 | 1485299712
    4900000 |   12185981 |   44317091 |    3101752 |      389.1 | 1485299712
    5000000 |   12572121 |   45177089 |    3144412 |      399.7 | 1485299712
    5100000 |   12977192 |   46041866 |    3183029 |      410.2 | 1485299712
    5200000 |   13314414 |   46986331 |    3235150 |      419.5 | 1485299712
    5300000 |   13864493 |   47838216 |    3256550 |      431.9 | 1485299712
    5400000 |   14049114 |   48821433 |    3332239 |      438.9 | 1485299712
    5500000 |   14244062 |   49756683 |    3404723 |      446.6 | 1485299712
    5600000 |   14712741 |   50626291 |    3436467 |      478.8 | 1977024512
    5700000 |   14899635 |   51626759 |    3513113 |      485.1 | 1977024512
    5800000 |   15141964 |   52578544 |    3579545 |      493.7 | 1977024512
    5900000 |   15453027 |   53504327 |    3633662 |      503.1 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    6000000 |   15795678 |   54439746 |    3685822 |      513.0 | 1977024512
    6100000 |   16229739 |   55333039 |    3722734 |      525.0 | 1977024512
    6200000 |   16582071 |   56227193 |    3768809 |      535.0 | 1977024512
    6300000 |   16974540 |   57125571 |    3811531 |      545.4 | 1977024512
    6400000 |   17375328 |   58022216 |    3853216 |      556.4 | 1977024512
    6500000 |   17864014 |   58901022 |    3883471 |      568.3 | 1977024512
    6600000 |   18202145 |   59810839 |    3934004 |      578.0 | 1977024512
    6700000 |   18532734 |   60757387 |    3988505 |      588.0 | 1977024512
    6800000 |   19132919 |   61616956 |    4004634 |      601.6 | 1977024512
    6900000 |   19444150 |   62544213 |    4060349 |      610.9 | 1977024512
    7000000 |   19691179 |   63465107 |    4123470 |      619.7 | 1977024512
    7100000 |   20210532 |   64344840 |    4149987 |      632.2 | 1977024512
    7200000 |   20646854 |   65184696 |    4181879 |      643.0 | 1977024512
    7300000 |   21213541 |   65986493 |    4195835 |      684.7 | 1977024512
    7400000 |   21729464 |   66822779 |    4218236 |      696.7 | 1977024512
    7500000 |   22123893 |   67748326 |    4263614 |      739.5 | 1977024512
    7600000 |   22623465 |   68675190 |    4297513 |      774.6 | 1977024512
    7700000 |   23159471 |   69518341 |    4318403 |      810.3 | 1977024512
    7800000 |   23475843 |   70465901 |    4374726 |      844.4 | 1977024512
    7900000 |   23789593 |   71459856 |    4434009 |      877.8 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    8000000 |   24368156 |   72328884 |    4453184 |      914.9 | 1977024512
    8100000 |   24971069 |   73117831 |    4461963 |      977.7 | 1977024512
    8200000 |   25303837 |   74025530 |    4513601 |     1014.0 | 1977024512
    8300000 |   25724134 |   74936675 |    4554097 |     1050.6 | 1977024512
    8400000 |   26335938 |   75740867 |    4563956 |     1090.8 | 1977024512
    8500000 |   26864739 |   76565948 |    4583648 |     1158.0 | 1977024512
    8600000 |   27382590 |   77417478 |    4608313 |     1198.7 | 1977024512
    8700000 |   27854819 |   78254545 |    4635975 |     1264.8 | 1977024512
    8800000 |   28316301 |   79160289 |    4671994 |     1359.7 | 1977024512
    8900000 |   28812406 |   80071230 |    4704813 |     1509.7 | 1977024512
