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 |     814876 |      71556 |        5.3 |   38621184
     200000 |     397127 |    1662850 |     134084 |       11.2 |   65310720
     300000 |     634881 |    2529651 |     195296 |       18.1 |  109412352
     400000 |     863447 |    3414589 |     260600 |       24.5 |  109412352
     500000 |    1146331 |    4266319 |     313737 |       32.2 |  184233984
     600000 |    1352092 |    5179645 |     383725 |       38.7 |  184233984
     700000 |    1639796 |    6109031 |     441235 |       48.2 |  310792192
     800000 |    2016218 |    6955066 |     480746 |       56.2 |  310792192
     900000 |    2346365 |    7849124 |     530349 |       64.1 |  310792192
    1000000 |    2704341 |    8717912 |     574327 |       72.3 |  310792192
    1100000 |    3027304 |    9636174 |     627816 |       80.3 |  310792192
    1200000 |    3298240 |   10575755 |     689223 |       87.9 |  310792192
    1300000 |    3565456 |   11601383 |     754643 |       99.5 |  522379264
    1400000 |    3832149 |   12587921 |     819054 |      107.3 |  522379264
    1500000 |    4263440 |   13488189 |     856781 |      117.2 |  522379264
    1600000 |    4714419 |   14359617 |     888002 |      126.5 |  522379264
    1700000 |    5161609 |   15307378 |     926819 |      136.9 |  522379264
    1800000 |    5525228 |   16183638 |     974568 |      145.8 |  522379264
    1900000 |    5850894 |   17082980 |    1025303 |      154.6 |  522379264

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |    6115124 |   18025564 |    1088713 |      162.6 |  522379264
    2100000 |    6576776 |   18927200 |    1122430 |      173.4 |  522379264
    2200000 |    6805421 |   19825869 |    1188369 |      187.4 |  871657472
    2300000 |    7087684 |   20745639 |    1246805 |      195.9 |  871657472
    2400000 |    7301260 |   21756938 |    1319537 |      203.5 |  871657472
    2500000 |    7576571 |   22752450 |    1383553 |      212.2 |  871657472
    2600000 |    7913957 |   23741907 |    1437882 |      221.9 |  871657472
    2700000 |    8318409 |   24637501 |    1478169 |      231.9 |  871657472
    2800000 |    8659793 |   25586870 |    1529012 |      241.0 |  871657472
    2900000 |    9099083 |   26529941 |    1568540 |      252.0 |  871657472
    3000000 |    9377702 |   27408418 |    1626181 |      260.2 |  871657472
    3100000 |    9663183 |   28329481 |    1684736 |      269.1 |  871657472
    3200000 |   10245596 |   29166510 |    1700306 |      281.0 |  871657472
    3300000 |   10506159 |   30128421 |    1763946 |      289.1 |  871657472
    3400000 |   10864949 |   31084276 |    1814242 |      298.7 |  871657472
    3500000 |   11289390 |   32052836 |    1858412 |      309.7 |  871657472
    3600000 |   11739188 |   32980860 |    1894987 |      320.6 |  871657472
    3700000 |   12155853 |   33928588 |    1936473 |      342.5 | 1463009280
    3800000 |   12680837 |   34837229 |    1963476 |      354.5 | 1463009280
    3900000 |   13166371 |   35771633 |    1996852 |      366.5 | 1463009280

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    4000000 |   13705543 |   36612837 |    2017934 |      378.4 | 1463009280
    4100000 |   13989578 |   37559287 |    2077547 |      386.9 | 1463009280
    4200000 |   14246289 |   38580210 |    2144297 |      396.0 | 1463009280
    4300000 |   14784856 |   39481468 |    2169972 |      408.2 | 1463009280
    4400000 |   15339939 |   40345496 |    2190278 |      420.7 | 1463009280
    4500000 |   15970173 |   41195441 |    2201529 |      434.5 | 1463009280
    4600000 |   16372061 |   42182820 |    2248794 |      445.8 | 1463009280
    4700000 |   16965312 |   43074014 |    2267281 |      458.9 | 1463009280
    4800000 |   17473559 |   44021119 |    2299753 |      471.4 | 1463009280
    4900000 |   17924976 |   44979823 |    2339986 |      483.1 | 1463009280
    5000000 |   18530312 |   45851590 |    2355563 |      496.3 | 1463009280
    5100000 |   19007764 |   46776836 |    2389474 |      508.1 | 1463009280
    5200000 |   19491427 |   47627069 |    2416373 |      521.5 | 1463009280
    5300000 |   20038587 |   48473322 |    2435445 |      534.0 | 1463009280
    5400000 |   20512090 |   49415778 |    2470662 |      545.9 | 1463009280
    5500000 |   20989678 |   50347006 |    2503943 |      558.3 | 1463009280
    5600000 |   21312019 |   51358686 |    2562409 |      568.1 | 1463009280
    5700000 |   21872354 |   52264611 |    2586000 |      582.1 | 1463009280
    5800000 |   22153749 |   53274841 |    2650342 |      591.7 | 1463009280
    5900000 |   22834097 |   54121548 |    2656706 |      606.3 | 1463009280

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    6000000 |   23399223 |   55049017 |    2681278 |      619.4 | 1463009280
    6100000 |   24069276 |   55869645 |    2685998 |      633.2 | 1463009280
    6200000 |   24667838 |   56760088 |    2704298 |      647.3 | 1463009280
    6300000 |   25231347 |   57638010 |    2724696 |      661.2 | 1463009280
    6400000 |   25842651 |   58536795 |    2742756 |      675.2 | 1463009280
    6500000 |   26399447 |   59483969 |    2770047 |      688.9 | 1463009280
    6600000 |   27065916 |   60426253 |    2786224 |      704.5 | 1463009280
    6700000 |   27596971 |   61372927 |    2816881 |      717.7 | 1463009280
    6800000 |   28258275 |   62179078 |    2821237 |      733.0 | 1463009280
    6900000 |   28733811 |   63119532 |    2856192 |      745.8 | 1463009280
    7000000 |   29304925 |   64075532 |    2883553 |      759.1 | 1463009280
    7100000 |   29885207 |   65009290 |    2907527 |      794.3 | 1977024512
    7200000 |   30553027 |   65852140 |    2914600 |      809.4 | 1977024512
    7300000 |   31187750 |   66703129 |    2925852 |      824.8 | 1977024512
    7400000 |   31812901 |   67533112 |    2935705 |      839.1 | 1977024512
    7500000 |   32459287 |   68422772 |    2948822 |      854.7 | 1977024512
    7600000 |   33075672 |   69335617 |    2967809 |      870.0 | 1977024512
    7700000 |   33687707 |   70216737 |    2983699 |      884.6 | 1977024512
    7800000 |   34199650 |   71182165 |    3016950 |      897.8 | 1977024512
    7900000 |   34854958 |   72055412 |    3027808 |      914.2 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    8000000 |   35571316 |   72891515 |    3029578 |      929.8 | 1977024512
    8100000 |   36354133 |   73778065 |    3029930 |      947.2 | 1977024512
    8200000 |   37004053 |   74726342 |    3048160 |      962.6 | 1977024512
    8300000 |   37698768 |   75643449 |    3059488 |      979.7 | 1977024512
    8400000 |   38394759 |   76453316 |    3060787 |      995.6 | 1977024512
    8500000 |   39112438 |   77366955 |    3069724 |     1011.9 | 1977024512
    8600000 |   39870981 |   78302654 |    3076914 |     1029.8 | 1977024512
    8700000 |   40603507 |   79231422 |    3085698 |     1046.3 | 1977024512
    8800000 |   41352018 |   80080406 |    3085768 |     1063.4 | 1977024512
    8900000 |   41957290 |   80939698 |    3100156 |     1078.0 | 1977024512
    9000000 |   42703680 |   81855770 |    3106527 |     1095.1 | 1977024512
    9100000 |   43415578 |   82694504 |    3109027 |     1110.9 | 1977024512
    9200000 |   44128694 |   83553323 |    3113218 |     1127.5 | 1977024512
    9300000 |   44813425 |   84447010 |    3122998 |     1144.8 | 1977024512
    9400000 |   45586332 |   85348060 |    3125618 |     1161.9 | 1977024512
    9500000 |   46321688 |   86238933 |    3130611 |     1180.0 | 1977024512
    9600000 |   47043986 |   87136559 |    3137359 |     1196.9 | 1977024512
    9700000 |   47837679 |   88052315 |    3139400 |     1215.6 | 1977024512
    9800000 |   48659690 |   88978285 |    3139754 |     1233.9 | 1977024512
    9900000 |   49431312 |   89859023 |    3140550 |     1251.3 | 1977024512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   10000000 |   50206280 |   90749984 |    3141975 |     1269.0 | 1977024512
   10100000 |   50983316 |   91635232 |    3142714 |     1286.4 | 1977024512
   10200000 |   51746023 |   92507659 |    3143556 |     1303.7 | 1977024512
   10300000 |   52552194 |   93414723 |    3143638 |     1321.8 | 1977024512
   10400000 |   53349775 |   94313972 |    3143799 |     1339.2 | 1977024512
   10500000 |   54144683 |   95208847 |    3143799 |     1357.0 | 1977024512
   10600000 |   54946843 |   96115388 |    3144168 |     1374.3 | 1977024512
   10700000 |   55752165 |   97022601 |    3144345 |     1393.1 | 1977024512
   10800000 |   56566878 |   97938040 |    3144403 |     1412.7 | 1977024512
   10900000 |   57407984 |   98879877 |    3144470 |     1432.0 | 1977024512
   11000000 |   58230002 |   99801946 |    3144471 |     1450.7 | 1977024512
   11100000 |   59076451 |  100748631 |    3144507 |     1469.3 | 1977024512
   11200000 |   59926627 |  101699118 |    3144519 |     1488.8 | 1977024512
   11300000 |   60761022 |  102633748 |    3144542 |     1508.0 | 1977024512
   11400000 |   61616029 |  103588904 |    3144553 |     1528.5 | 1977024512
   11500000 |   62478243 |  104550309 |    3144553 |     1549.2 | 1977024512

No deadlock found.

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

No unreached local states.
Num local state arrays:   11
Num buffers:              4
Buffers:
  ()
  (0)
  (0,0)
  (0,0,0)

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

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

Number of states stored:     11534336
Number of new states:        11534336
Number of states matched:    93323265
Search depth reached:         3144553
Number of transitions:      104857600
Search time (seconds):       2096.572
Max memory (bytes):        1977024512
Before gc...
  Total memory:            1977024512
  Free memory :             277115864
  Used memory :            1699908648
After gc...
  Total memory:            1977024512
  Free memory :            1282878344
  Used memory :             694146168
