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 |     375205 |     476132 |        141 |        9.0 |   13103104
     200000 |     804989 |    1005942 |        141 |       19.6 |   21864448
     300000 |    1291464 |    1592396 |        141 |       31.5 |   36659200
     400000 |    1785607 |    2186549 |        141 |       43.6 |   36659200
     500000 |    2213402 |    2714315 |        141 |       54.9 |   36659200
     600000 |    2654306 |    3255224 |        141 |       67.2 |   61276160
     700000 |    3132808 |    3833732 |        141 |       79.5 |   61276160
     800000 |    3638156 |    4439058 |        141 |       91.9 |   61276160
     900000 |    4140497 |    5041428 |        141 |      105.2 |   61276160
    1000000 |    4645268 |    5646174 |        141 |      120.4 |  102346752
    1100000 |    5137599 |    6238553 |        141 |      133.0 |  102346752
    1200000 |    5655940 |    6856857 |        141 |      146.3 |  102346752
    1300000 |    6232074 |    7533011 |        141 |      160.7 |  102346752
    1400000 |    6845732 |    8246683 |        141 |      176.4 |  102346752
    1500000 |    7371138 |    8872061 |        141 |      190.7 |  102346752
    1600000 |    7900469 |    9501405 |        141 |      207.1 |  171212800
    1700000 |    8467700 |   10168632 |        141 |      222.5 |  171212800
    1800000 |    9073345 |   10874246 |        141 |      238.0 |  171212800
    1900000 |    9674854 |   11575749 |        141 |      255.0 |  171212800

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |   10282196 |   12283107 |        141 |      272.3 |  171212800
    2100000 |   10761138 |   12862079 |        141 |      285.5 |  171212800
    2200000 |   11191615 |   13392502 |        141 |      297.6 |  171212800
    2300000 |   11661247 |   13962137 |        141 |      310.8 |  171212800
    2400000 |   12180494 |   14581411 |        141 |      325.5 |  171212800
    2500000 |   12699009 |   15199942 |        141 |      340.8 |  171212800
    2600000 |   13225671 |   15826573 |        141 |      356.4 |  171212800
    2700000 |   13683181 |   16384074 |        141 |      373.4 |  285859840
    2800000 |   14104749 |   16905656 |        141 |      386.7 |  285859840
    2900000 |   14600977 |   17501866 |        141 |      402.0 |  285859840
    3000000 |   15117775 |   18118686 |        141 |      416.4 |  285859840
    3100000 |   15640102 |   18740992 |        141 |      431.4 |  285859840
    3200000 |   16189993 |   19390899 |        141 |      447.5 |  285859840
    3300000 |   16722065 |   20022930 |        141 |      464.2 |  285859840
    3400000 |   17262356 |   20663275 |        141 |      481.1 |  285859840
    3500000 |   17782423 |   21283327 |        141 |      495.9 |  285859840
    3600000 |   18286565 |   21887481 |        141 |      509.1 |  285859840
    3700000 |   18859337 |   22560249 |        141 |      524.0 |  285859840
    3800000 |   19468616 |   23269496 |        141 |      540.6 |  285859840
    3900000 |   19999422 |   23900322 |        141 |      555.7 |  285859840

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    4000000 |   20525026 |   24525931 |        141 |      570.9 |  285859840
    4100000 |   21090588 |   25191477 |        141 |      587.0 |  285859840
    4200000 |   21685328 |   25886228 |        141 |      602.7 |  285859840
    4300000 |   22289935 |   26590821 |        141 |      619.2 |  285859840
    4400000 |   22892027 |   27292912 |        141 |      637.3 |  285859840
    4500000 |   23448657 |   27949578 |        141 |      653.5 |  285859840
    4600000 |   23954304 |   28555196 |        141 |      668.3 |  285859840
    4700000 |   24513963 |   29214877 |        141 |      690.1 |  476520448
    4800000 |   25119309 |   29920203 |        141 |      708.6 |  476520448
    4900000 |   25663517 |   30564395 |        141 |      725.6 |  476520448
    5000000 |   26185309 |   31186217 |        141 |      742.8 |  476520448
    5100000 |   26756913 |   31857809 |        141 |      761.1 |  476520448
    5200000 |   27340214 |   32541058 |        141 |      778.3 |  476520448
    5300000 |   27951524 |   33252424 |        141 |      796.7 |  476520448
    5400000 |   28546160 |   33946992 |        141 |      816.2 |  476520448
    5500000 |   29118545 |   34619478 |        141 |      833.8 |  476520448
    5600000 |   29620527 |   35221461 |        141 |      847.1 |  476520448
    5700000 |   30164571 |   35865513 |        141 |      862.1 |  476520448
    5800000 |   30770209 |   36571133 |        141 |      878.3 |  476520448
    5900000 |   31323342 |   37224307 |        141 |      893.6 |  476520448

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    6000000 |   31852600 |   37853524 |        141 |      909.3 |  476520448
    6100000 |   32419770 |   38520636 |        141 |      926.2 |  476520448
    6200000 |   33002141 |   39203069 |        141 |      941.8 |  476520448
    6300000 |   33619801 |   39920728 |        141 |      958.8 |  476520448
    6400000 |   34199602 |   40600513 |        141 |      976.3 |  476520448
    6500000 |   34813960 |   41314922 |        141 |      994.6 |  476520448
    6600000 |   35403882 |   42004840 |        141 |     1010.7 |  476520448
    6700000 |   36038554 |   42739489 |        141 |     1028.0 |  476520448
    6800000 |   36736345 |   43537286 |        141 |     1047.1 |  476520448
    6900000 |   37408064 |   44309004 |        141 |     1065.9 |  476520448
    7000000 |   38036276 |   45037188 |        141 |     1084.7 |  476520448
    7100000 |   38694180 |   45795102 |        141 |     1104.6 |  476520448
    7200000 |   39377984 |   46578902 |        141 |     1123.9 |  476520448
    7300000 |   40087272 |   47388149 |        141 |     1144.1 |  476520448
    7400000 |   40779290 |   48180187 |        141 |     1165.2 |  476520448
    7500000 |   41499138 |   48999994 |        141 |     1187.7 |  476520448
    7600000 |   42025003 |   49625930 |        141 |     1202.2 |  476520448
    7700000 |   42548138 |   50249062 |        141 |     1228.4 |  794378240
    7800000 |   43123862 |   50924807 |        141 |     1245.8 |  794378240
    7900000 |   43755236 |   51656146 |        141 |     1265.2 |  794378240

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    8000000 |   44395396 |   52396300 |        141 |     1285.1 |  794378240
    8100000 |   44964338 |   53065216 |        141 |     1303.3 |  794378240
    8200000 |   45524520 |   53725405 |        141 |     1321.8 |  794378240
    8300000 |   46073486 |   54374354 |        141 |     1339.7 |  794378240
    8400000 |   46670877 |   55071780 |        141 |     1359.1 |  794378240
    8500000 |   47294902 |   55795795 |        141 |     1377.9 |  794378240
    8600000 |   47935829 |   56536735 |        141 |     1397.5 |  794378240
    8700000 |   48560816 |   57261743 |        141 |     1417.5 |  794378240
    8800000 |   49190870 |   57991734 |        141 |     1438.9 |  794378240
    8900000 |   49860062 |   58760936 |        141 |     1461.7 |  794378240
    9000000 |   50447408 |   59448337 |        141 |     1478.0 |  794378240
    9100000 |   51069289 |   60170221 |        141 |     1495.5 |  794378240
    9200000 |   51752580 |   60953468 |        141 |     1514.8 |  794378240
    9300000 |   52455394 |   61756303 |        141 |     1534.9 |  794378240
    9400000 |   53079888 |   62480810 |        141 |     1553.7 |  794378240
    9500000 |   53721561 |   63222466 |        141 |     1573.5 |  794378240
    9600000 |   54391940 |   63992852 |        141 |     1593.4 |  794378240
    9700000 |   55102268 |   64803119 |        141 |     1613.6 |  794378240
    9800000 |   55802635 |   65603516 |        141 |     1634.9 |  794378240
    9900000 |   56507886 |   66408744 |        141 |     1657.3 |  794378240

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   10000000 |   57122974 |   67123875 |        141 |     1676.3 |  794378240
   10100000 |   57735859 |   67836744 |        141 |     1695.6 |  794378240
   10200000 |   58414571 |   68615464 |        141 |     1716.9 |  794378240
   10300000 |   59135194 |   69436067 |        141 |     1740.6 |  794378240
   10400000 |   59760088 |   70160964 |        141 |     1761.9 |  794378240
   10500000 |   60377565 |   70878427 |        141 |     1782.9 |  794378240
   10600000 |   61044599 |   71645511 |        141 |     1805.0 |  794378240
   10700000 |   61748206 |   72449090 |        141 |     1827.5 |  794378240
   10800000 |   62451303 |   73252191 |        141 |     1850.6 |  794378240
   10900000 |   63158909 |   74059758 |        141 |     1875.1 |  794378240
   11000000 |   63745690 |   74746611 |        141 |     1892.8 |  794378240
   11100000 |   64176184 |   75277096 |        141 |     1905.2 |  794378240
   11200000 |   64616445 |   75817364 |        141 |     1918.2 |  794378240
   11300000 |   65103200 |   76404151 |        141 |     1932.7 |  794378240
   11400000 |   65632002 |   77032882 |        141 |     1949.1 |  794378240
   11500000 |   66205711 |   77706598 |        141 |     1967.1 |  794378240
   11600000 |   66631000 |   78231908 |        141 |     1980.4 |  794378240
   11700000 |   67069707 |   78770595 |        141 |     1995.1 |  794378240
   11800000 |   67551899 |   79352801 |        141 |     2010.8 |  794378240
   11900000 |   68043843 |   79944760 |        141 |     2026.3 |  794378240

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   12000000 |   68573685 |   80574571 |        141 |     2042.5 |  794378240
   12100000 |   69142855 |   81243734 |        141 |     2060.2 |  794378240
   12200000 |   69667830 |   81868734 |        141 |     2077.4 |  794378240
   12300000 |   70187200 |   82488080 |        141 |     2094.9 |  794378240
   12400000 |   70741349 |   83142290 |        141 |     2112.8 |  794378240
   12500000 |   71272730 |   83773639 |        141 |     2129.2 |  794378240
   12600000 |   71812875 |   84413800 |        141 |     2146.2 |  794378240
   12700000 |   72399958 |   85100895 |        141 |     2164.8 |  794378240
   12800000 |   73028751 |   85829639 |        141 |     2185.6 |  794378240
   12900000 |   73702460 |   86603358 |        141 |     2207.8 |  794378240
   13000000 |   74227489 |   87228401 |        141 |     2225.2 |  794378240
   13100000 |   74765923 |   87866793 |        141 |     2259.3 | 1324969984
   13200000 |   75348639 |   88549527 |        141 |     2279.2 | 1324969984
   13300000 |   75940396 |   89241328 |        141 |     2299.1 | 1324969984
   13400000 |   76570440 |   89971323 |        141 |     2319.6 | 1324969984
   13500000 |   77239648 |   90740526 |        141 |     2341.3 | 1324969984
   13600000 |   77864630 |   91465529 |        141 |     2363.1 | 1324969984
   13700000 |   78484025 |   92184898 |        141 |     2385.2 | 1324969984
   13800000 |   79095084 |   92895997 |        141 |     2406.2 | 1324969984
   13900000 |   79537164 |   93438061 |        141 |     2420.4 | 1324969984

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   14000000 |   79967629 |   93968548 |        141 |     2435.2 | 1324969984
   14100000 |   80456306 |   94557171 |        141 |     2451.4 | 1324969984
   14200000 |   80964792 |   95165711 |        141 |     2468.6 | 1324969984
   14300000 |   81515555 |   95816445 |        141 |     2488.3 | 1324969984
   14400000 |   82091699 |   96492568 |        141 |     2508.3 | 1324969984
   14500000 |   82617782 |   97118673 |        141 |     2527.1 | 1324969984
   14600000 |   83068265 |   97669164 |        141 |     2543.6 | 1324969984
   14700000 |   83511180 |   98212039 |        141 |     2559.9 | 1324969984
   14800000 |   84007948 |   98808807 |        141 |     2577.1 | 1324969984
   14900000 |   84509561 |   99410492 |        141 |     2595.0 | 1324969984
   15000000 |   85058404 |  100059280 |        141 |     2613.1 | 1324969984
   15100000 |   85583553 |  100684427 |        141 |     2631.2 | 1324969984
   15200000 |   86174998 |  101375873 |        141 |     2651.2 | 1324969984
   15300000 |   86706705 |  102007581 |        141 |     2670.2 | 1324969984
   15400000 |   87255144 |  102655999 |        141 |     2690.8 | 1324969984
   15500000 |   87831403 |  103332306 |        141 |     2711.2 | 1324969984
   15600000 |   88382586 |  103983490 |        141 |     2730.3 | 1324969984
   15700000 |   88910993 |  104611877 |        141 |     2746.5 | 1324969984
   15800000 |   89467108 |  105267997 |        141 |     2763.7 | 1324969984
   15900000 |   90064186 |  105965096 |        141 |     2782.4 | 1324969984

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   16000000 |   90686597 |  106687474 |        141 |     2802.9 | 1324969984
   16100000 |   91351038 |  107451945 |        141 |     2824.4 | 1324969984
   16200000 |   91878709 |  108079563 |        141 |     2842.2 | 1324969984
   16300000 |   92414020 |  108714893 |        141 |     2860.6 | 1324969984
   16400000 |   93003126 |  109403963 |        141 |     2880.2 | 1324969984
   16500000 |   93603882 |  110104754 |        141 |     2899.3 | 1324969984
   16600000 |   94229086 |  110829952 |        141 |     2919.3 | 1324969984
   16700000 |   94901140 |  111602039 |        141 |     2940.7 | 1324969984
   16800000 |   95525296 |  112326174 |        141 |     2962.3 | 1324969984
   16900000 |   96149131 |  113049980 |        141 |     2983.9 | 1324969984
   17000000 |   96749098 |  113750006 |        141 |     3004.4 | 1324969984
   17100000 |   97276958 |  114377833 |        141 |     3022.6 | 1324969984
   17200000 |   97833492 |  115034386 |        141 |     3041.6 | 1324969984
   17300000 |   98430879 |  115731797 |        141 |     3062.5 | 1324969984
   17400000 |   99053337 |  116454212 |        141 |     3085.4 | 1324969984
   17500000 |   99717028 |  117217926 |        141 |     3109.7 | 1324969984
   17600000 |  100245383 |  117846241 |        141 |     3129.3 | 1324969984
   17700000 |  100780643 |  118481483 |        141 |     3150.1 | 1324969984
   17800000 |  101369237 |  119170091 |        141 |     3171.6 | 1324969984
   17900000 |  101970952 |  119871821 |        141 |     3192.6 | 1324969984

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   18000000 |  102595654 |  120596537 |        141 |     3214.9 | 1324969984
   18100000 |  103267393 |  121368309 |        141 |     3238.3 | 1324969984
   18200000 |  103891584 |  122092464 |        141 |     3262.1 | 1324969984
   18300000 |  104516226 |  122817068 |        141 |     3285.6 | 1324969984
   18400000 |  105100638 |  123501568 |        141 |     3306.0 | 1324969984
   18500000 |  105606213 |  124107102 |        141 |     3320.3 | 1324969984
   18600000 |  106160754 |  124761710 |        141 |     3335.8 | 1324969984
   18700000 |  106771079 |  125471970 |        141 |     3353.0 | 1324969984
   18800000 |  107312004 |  126112928 |        141 |     3368.8 | 1324969984
   18900000 |  107840153 |  126741030 |        141 |     3385.7 | 1324969984
   19000000 |  108414910 |  127415743 |        141 |     3403.4 | 1324969984
   19100000 |  108990659 |  128091528 |        141 |     3419.7 | 1324969984
   19200000 |  109608060 |  128808952 |        141 |     3437.7 | 1324969984
   19300000 |  110194532 |  129495412 |        141 |     3456.1 | 1324969984
   19400000 |  110801570 |  130202492 |        141 |     3475.1 | 1324969984
   19500000 |  111397435 |  130898337 |        141 |     3492.4 | 1324969984
   19600000 |  112038338 |  131639270 |        141 |     3511.3 | 1324969984
   19700000 |  112741940 |  132442852 |        141 |     3531.7 | 1324969984
   19800000 |  113402971 |  133203868 |        141 |     3551.6 | 1324969984
   19900000 |  114030513 |  133931387 |        141 |     3572.1 | 1324969984

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   20000000 |  114693270 |  134694156 |        141 |     3593.2 | 1324969984
   20100000 |  115378066 |  135478970 |        141 |     3613.7 | 1324969984
   20200000 |  116096403 |  136297260 |        141 |     3635.6 | 1324969984
   20300000 |  116775774 |  137076646 |        141 |     3657.3 | 1324969984
   20400000 |  117494494 |  137895349 |        141 |     3680.6 | 1324969984
   20500000 |  118020196 |  138521079 |        141 |     3696.3 | 1324969984
   20600000 |  118537556 |  139138459 |        141 |     3712.7 | 1324969984
   20700000 |  119113290 |  139814192 |        141 |     3731.0 | 1324969984
   20800000 |  119742208 |  140543075 |        141 |     3751.6 | 1324969984
   20900000 |  120398024 |  141298885 |        141 |     3773.2 | 1324969984
   21000000 |  120952295 |  141953199 |        141 |     3791.5 | 1324969984
   21100000 |  121507704 |  142608567 |        141 |     3811.0 | 1324969984
   21200000 |  122070787 |  143271631 |        141 |     3829.9 | 1324969984
   21300000 |  122657428 |  143958291 |        141 |     3849.6 | 1324969984
   21400000 |  123288302 |  144689182 |        141 |     3870.1 | 1324969984
   21500000 |  123936828 |  145437715 |        141 |     3890.6 | 1324969984
   21600000 |  124561832 |  146162721 |        141 |     3911.6 | 1324969984
   21700000 |  125188103 |  146888979 |        141 |     3934.0 | 1324969984
   21800000 |  125857305 |  147658220 |        141 |     3957.4 | 1324969984
   21900000 |  126437118 |  148338008 |        141 |     3974.3 | 1324969984

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   22000000 |  127067030 |  149067920 |        141 |     3992.6 | 1324969984
   22100000 |  127756954 |  149857840 |        141 |     4013.2 | 1324969984
   22200000 |  128446155 |  150647036 |        141 |     4033.8 | 1324969984
   22300000 |  129078238 |  151379072 |        141 |     4054.1 | 1324969984
   22400000 |  129718530 |  152119424 |        141 |     4074.7 | 1324969984
   22500000 |  130401024 |  152901869 |        141 |     4095.7 | 1324969984
   22600000 |  131105153 |  153706011 |        141 |     4143.9 | 1977024512
   22700000 |  131803018 |  154503876 |        141 |     4166.4 | 1977024512
   22800000 |  132512324 |  155313145 |        141 |     4190.2 | 1977024512
   22900000 |  133116907 |  156017784 |        141 |     4209.2 | 1977024512
   23000000 |  133736744 |  156737590 |        141 |     4229.8 | 1977024512
   23100000 |  134412453 |  157513302 |        141 |     4252.3 | 1977024512
   23200000 |  135121893 |  158322781 |        141 |     4276.7 | 1977024512
   23300000 |  135746780 |  159047625 |        141 |     4298.5 | 1977024512
   23400000 |  136381887 |  159782703 |        141 |     4321.4 | 1977024512
   23500000 |  137051621 |  160552496 |        141 |     4344.3 | 1977024512
   23600000 |  137757280 |  161358118 |        141 |     4367.7 | 1977024512
   23700000 |  138457659 |  162158510 |        141 |     4391.7 | 1977024512
   23800000 |  139163000 |  162963840 |        141 |     4417.3 | 1977024512
   23900000 |  139721753 |  163622678 |        141 |     4435.4 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   24000000 |  140226524 |  164227424 |        141 |     4451.2 | 1977024512
   24100000 |  140803164 |  164904069 |        141 |     4470.0 | 1977024512
   24200000 |  141421486 |  165622362 |        141 |     4490.5 | 1977024512
   24300000 |  141947414 |  166248310 |        141 |     4508.1 | 1977024512
   24400000 |  142466022 |  166866882 |        141 |     4526.1 | 1977024512
   24500000 |  143034084 |  167534969 |        141 |     4545.3 | 1977024512
   24600000 |  143636084 |  168236969 |        141 |     4564.8 | 1977024512
   24700000 |  144236472 |  168937374 |        141 |     4584.5 | 1977024512
   24800000 |  144842126 |  169642982 |        141 |     4606.2 | 1977024512
   24900000 |  145443612 |  170344503 |        141 |     4626.2 | 1977024512
   25000000 |  146050954 |  171051861 |        141 |     4646.3 | 1977024512
   25100000 |  146724094 |  171824999 |        141 |     4669.0 | 1977024512
   25200000 |  147426303 |  172627191 |        141 |     4693.7 | 1977024512
   25300000 |  148059127 |  173359996 |        141 |     4715.8 | 1977024512
   25400000 |  148684650 |  174085538 |        141 |     4739.2 | 1977024512
   25500000 |  149354536 |  174855419 |        141 |     4763.7 | 1977024512
   25600000 |  150044453 |  175645338 |        141 |     4787.4 | 1977024512
   25700000 |  150751099 |  176451971 |        141 |     4811.4 | 1977024512
   25800000 |  151448891 |  177249766 |        141 |     4837.8 | 1977024512
   25900000 |  152093351 |  177994249 |        141 |     4860.5 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   26000000 |  152624478 |  178625367 |        141 |     4879.3 | 1977024512
   26100000 |  153172583 |  179273463 |        141 |     4898.3 | 1977024512
   26200000 |  153763719 |  179964618 |        141 |     4919.4 | 1977024512
   26300000 |  154390527 |  180691432 |        141 |     4943.3 | 1977024512
   26400000 |  155062721 |  181463571 |        141 |     4968.3 | 1977024512
   26500000 |  155584250 |  182085107 |        141 |     4987.7 | 1977024512
   26600000 |  156121874 |  182722740 |        141 |     5008.9 | 1977024512
   26700000 |  156710813 |  183411652 |        141 |     5031.2 | 1977024512
   26800000 |  157301872 |  184102783 |        141 |     5052.3 | 1977024512
   26900000 |  157930549 |  184831385 |        141 |     5075.6 | 1977024512
   27000000 |  158603458 |  185604269 |        141 |     5099.9 | 1977024512
   27100000 |  159228436 |  186329276 |        141 |     5123.7 | 1977024512
   27200000 |  159846177 |  187047004 |        141 |     5147.7 | 1977024512
   27300000 |  160480567 |  187781447 |        141 |     5171.0 | 1977024512
   27400000 |  161082659 |  188483538 |        141 |     5190.8 | 1977024512
   27500000 |  161732851 |  189233750 |        141 |     5212.0 | 1977024512
   27600000 |  162438524 |  190039369 |        141 |     5236.2 | 1977024512
   27700000 |  163085837 |  190786734 |        141 |     5258.6 | 1977024512
   27800000 |  163715880 |  191516729 |        141 |     5281.5 | 1977024512
   27900000 |  164385088 |  192285930 |        141 |     5305.4 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   28000000 |  165066090 |  193066964 |        141 |     5328.0 | 1977024512
   28100000 |  165781823 |  193882697 |        141 |     5351.9 | 1977024512
   28200000 |  166465134 |  194665959 |        141 |     5377.1 | 1977024512
   28300000 |  167157780 |  195458674 |        141 |     5401.9 | 1977024512
   28400000 |  167752416 |  196153242 |        141 |     5423.3 | 1977024512
   28500000 |  168387119 |  196887991 |        141 |     5445.9 | 1977024512
   28600000 |  169089142 |  197689994 |        141 |     5472.4 | 1977024512
   28700000 |  169756509 |  198457363 |        141 |     5497.7 | 1977024512
   28800000 |  170382894 |  199183751 |        141 |     5522.2 | 1977024512
   28900000 |  171041410 |  199942258 |        141 |     5548.1 | 1977024512
   29000000 |  171726053 |  200726889 |        141 |     5573.1 | 1977024512
   29100000 |  172438934 |  201539752 |        141 |     5599.6 | 1977024512
   29200000 |  173127107 |  202327943 |        141 |     5626.2 | 1977024512
   29300000 |  173842522 |  203143328 |        141 |     5654.9 | 1977024512
   29400000 |  174466568 |  203867352 |        141 |     5671.3 | 1977024512
   29500000 |  175154948 |  204655723 |        141 |     5689.1 | 1977024512
   29600000 |  175813215 |  205413970 |        141 |     5706.5 | 1977024512
   29700000 |  176479928 |  206180670 |        141 |     5723.5 | 1977024512
   29800000 |  177185900 |  206986619 |        141 |     5742.2 | 1977024512
   29900000 |  177813647 |  207714357 |        141 |     5758.5 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   30000000 |  178500548 |  208501265 |        141 |     5776.2 | 1977024512
   30100000 |  179166610 |  209267291 |        141 |     5793.5 | 1977024512
   30200000 |  179817372 |  210018045 |        141 |     5810.4 | 1977024512
   30300000 |  180524938 |  210825603 |        141 |     5828.5 | 1977024512
   30400000 |  181159030 |  211559681 |        141 |     5845.2 | 1977024512
   30500000 |  181852521 |  212353168 |        141 |     5862.8 | 1977024512
   30600000 |  182528334 |  213128948 |        141 |     5880.5 | 1977024512
   30700000 |  183161471 |  213862080 |        141 |     5896.7 | 1977024512
   30800000 |  183864363 |  214664941 |        141 |     5914.7 | 1977024512
   30900000 |  184508600 |  215409162 |        141 |     5931.2 | 1977024512
   31000000 |  185192062 |  216192621 |        141 |     5948.5 | 1977024512
   31100000 |  185882955 |  216983482 |        141 |     5967.0 | 1977024512
   31200000 |  186507409 |  217707950 |        141 |     5983.2 | 1977024512
   31300000 |  187202603 |  218503131 |        141 |     6000.8 | 1977024512
   31400000 |  187853749 |  219254262 |        141 |     6017.9 | 1977024512
   31500000 |  188532164 |  220032672 |        141 |     6035.3 | 1977024512
   31600000 |  189240386 |  220840876 |        141 |     6053.8 | 1977024512
   31700000 |  189859611 |  221560083 |        141 |     6069.9 | 1977024512
   31800000 |  190548132 |  222348579 |        141 |     6121.5 | 1977024512
   31900000 |  191207098 |  223107538 |        141 |     6214.3 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   32000000 |  191870204 |  223870615 |        141 |     6265.7 | 1977024512
   32100000 |  192575297 |  224675709 |        141 |     6359.4 | 1977024512
   32200000 |  193204712 |  225405101 |        141 |     6409.4 | 1977024512
   32300000 |  193893804 |  226194189 |        141 |     6495.6 | 1977024512
   32400000 |  194561193 |  226961566 |        141 |     6554.6 | 1977024512
   32500000 |  195209300 |  227709661 |        141 |     6640.2 | 1977024512
   32600000 |  195918160 |  228518495 |        141 |     6692.7 | 1977024512
   32700000 |  196554391 |  229254722 |        141 |     6785.3 | 1977024512
   32800000 |  197246824 |  230047107 |        141 |     6837.3 | 1977024512
   32900000 |  197924691 |  230824993 |        141 |     6932.0 | 1977024512
   33000000 |  198554254 |  231554535 |        141 |     6983.2 | 1977024512
   33100000 |  199253387 |  232353661 |        141 |     7071.3 | 1977024512
   33200000 |  199900454 |  233100709 |        141 |     7130.7 | 1977024512
   33300000 |  200581424 |  233881658 |        141 |     7219.4 | 1977024512
   33400000 |  201275748 |  234675974 |        141 |     7316.0 | 1977024512
   33500000 |  201900729 |  235400954 |        141 |     7368.0 | 1977024512
   33600000 |  202595942 |  236196143 |        141 |     7458.0 | 1977024512
   33700000 |  203248749 |  236948932 |        141 |     7518.1 | 1977024512
   33800000 |  203925193 |  237725375 |        141 |     7607.7 | 1977024512
   33900000 |  204630027 |  238530176 |        141 |     7661.9 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   34000000 |  205253218 |  239253334 |        141 |     7758.2 | 1977024512
   34100000 |  205938936 |  240039070 |        141 |     7812.2 | 1977024512
   34200000 |  206601623 |  240801735 |        141 |     7909.5 | 1977024512
   34300000 |  207259668 |  241559759 |        141 |     7963.7 | 1977024512
   34400000 |  207966368 |  242366461 |        141 |     8056.6 | 1977024512

No deadlock found.

Number of processes:      11
Bytes per process:        [2,1,1,1,1,1,1,1,1,1,1]
Bytes for all procs:      12
Number of channels:       20
Bytes per message:        [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]

No unreached local states.
Num local state arrays:   1167102
Num buffers:              3
Buffers:
  ()
  (0)
  (1)

Num buffer arrays:        1048576
Lengths reached:          [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]

Buffer arrays:
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),()]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(0)]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(0),()]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(1),()]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(0),(),()]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(0),(),(0)]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(0),(0),()]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(0),(1),()]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(0),(),(),()]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(0),(),(),(0)]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(0),(),(0),()]
  etc.

Number of states stored:     34443979
Number of new states:        34443979
Number of states matched:   208243852
Search depth reached:             141
Number of transitions:      242687830
Search time (seconds):       8064.085
Max memory (bytes):        1977024512
Before gc...
  Total memory:            1977024512
  Free memory :              36135232
  Used memory :            1940889280
After gc...
  Total memory:            1977024512
  Free memory :             123359968
  Used memory :            1853664544
