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 |     282399 |    1039053 |      56061 |        8.1 |   36982784
     200000 |     613013 |    2175109 |     111559 |       17.8 |   62099456
     300000 |     953068 |    3350517 |     167590 |       28.7 |  103305216
     400000 |    1309952 |    4516454 |     220671 |       40.3 |  172331008
     500000 |    1656616 |    5708066 |     276704 |       51.2 |  172331008
     600000 |    2035571 |    6954486 |     332209 |       64.8 |  290279424
     700000 |    2440887 |    8279295 |     387979 |       76.9 |  290279424
     800000 |    2825860 |    9390969 |     436476 |       89.4 |  290279424
     900000 |    3209295 |   10603899 |     489254 |      102.0 |  290279424
    1000000 |    3604484 |   11824588 |     541999 |      118.1 |  487297024
    1100000 |    4009843 |   13109484 |     595638 |      131.2 |  487297024
    1200000 |    4389041 |   14371379 |     651657 |      143.8 |  487297024
    1300000 |    4810465 |   15713642 |     707192 |      157.5 |  487297024
    1400000 |    5248889 |   17098990 |     762660 |      171.3 |  487297024
    1500000 |    5846697 |   18157541 |     784515 |      187.0 |  487297024
    1600000 |    6558741 |   19035938 |     789805 |      205.4 |  487297024
    1700000 |    6890324 |   20189812 |     845872 |      224.0 |  807206912
    1800000 |    7265978 |   21426672 |     901350 |      237.5 |  807206912
    1900000 |    7658198 |   22713527 |     957022 |      251.3 |  807206912

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |    8052910 |   23965631 |    1010461 |      265.3 |  807206912
    2100000 |    8448490 |   25271623 |    1066520 |      279.4 |  807206912
    2200000 |    8872590 |   26619496 |    1122014 |      294.3 |  807206912
    2300000 |    9329762 |   28043600 |    1176874 |      309.8 |  807206912
    2400000 |    9759830 |   29254418 |    1226108 |      324.3 |  807206912
    2500000 |   10215203 |   30545188 |    1275798 |      340.1 |  807206912
    2600000 |   10630164 |   31883046 |    1331717 |      354.8 |  807206912
    2700000 |   11080759 |   33267535 |    1385460 |      379.4 | 1351245824
    2800000 |   11507689 |   34636200 |    1441344 |      394.6 | 1351245824
    2900000 |   11980483 |   36078819 |    1496321 |      410.8 | 1351245824
    3000000 |   12458794 |   37569356 |    1552334 |      427.1 | 1351245824
    3100000 |   13122768 |   38651041 |    1570306 |      446.5 | 1351245824
    3200000 |   13911178 |   39555083 |    1571192 |      467.7 | 1351245824
    3300000 |   14687072 |   40431005 |    1571194 |      486.7 | 1351245824
    3400000 |   15423551 |   41268020 |    1571225 |      505.3 | 1351245824
    3500000 |   16237084 |   42203145 |    1572400 |      528.2 | 1351245824
    3600000 |   17017058 |   43083511 |    1572420 |      547.3 | 1351245824
    3700000 |   17841182 |   44008769 |    1572477 |      567.8 | 1351245824
    3800000 |   18642803 |   44910417 |    1572478 |      587.1 | 1351245824
    3900000 |   19424122 |   45792645 |    1572528 |      607.5 | 1351245824

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    4000000 |   20256616 |   46728220 |    1572684 |      631.2 | 1351245824
    4100000 |   21093209 |   47665204 |    1572704 |      654.2 | 1351245824
    4200000 |   21987140 |   48659102 |    1572705 |      678.2 | 1351245824
    4300000 |   22852548 |   49624516 |    1572705 |      702.1 | 1351245824
    4400000 |   23658521 |   50532153 |    1572788 |      724.9 | 1351245824
    4500000 |   24517335 |   51491722 |    1572824 |      748.1 | 1351245824
    4600000 |   25417788 |   52492300 |    1572833 |      771.1 | 1351245824
    4700000 |   26268201 |   53442736 |    1572833 |      792.7 | 1351245824
    4800000 |   27141967 |   54416438 |    1572833 |      814.7 | 1351245824
    4900000 |   27987018 |   55361523 |    1572833 |      836.5 | 1351245824
    5000000 |   28838905 |   56313411 |    1572833 |      858.5 | 1351245824
    5100000 |   29705824 |   57280300 |    1572833 |      880.8 | 1351245824
    5200000 |   30563670 |   58238177 |    1572833 |      903.2 | 1351245824
    5300000 |   31412395 |   59186875 |    1572833 |      925.3 | 1351245824
    5400000 |   32270731 |   60145211 |    1572833 |      947.6 | 1351245824
    5500000 |   33160241 |   61134829 |    1572833 |      970.7 | 1351245824
    5600000 |   34075015 |   62149553 |    1572834 |      996.8 | 1351245824
    5700000 |   34899855 |   63074426 |    1572840 |     1019.6 | 1351245824
    5800000 |   35762668 |   64037158 |    1572840 |     1042.5 | 1351245824
    5900000 |   36674670 |   65049140 |    1572840 |     1066.2 | 1351245824

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    6000000 |   37517570 |   65992002 |    1572840 |     1088.7 | 1351245824
    6100000 |   38443618 |   67017983 |    1572840 |     1112.7 | 1351245824
    6200000 |   39343508 |   68017917 |    1572840 |     1136.3 | 1351245824
    6300000 |   40249562 |   69023960 |    1572840 |     1160.0 | 1351245824
    6400000 |   41160715 |   70035102 |    1572840 |     1184.4 | 1351245824
    6500000 |   42049846 |   71024257 |    1572840 |     1207.6 | 1351245824
    6600000 |   42941472 |   72015829 |    1572840 |     1232.3 | 1351245824
    6700000 |   43811960 |   72986351 |    1572840 |     1255.6 | 1351245824
    6800000 |   44781714 |   74055943 |    1572840 |     1281.6 | 1351245824
    6900000 |   45771115 |   75145387 |    1572840 |     1309.3 | 1351245824
    7000000 |   46705969 |   76180236 |    1572840 |     1334.9 | 1351245824
    7100000 |   47669695 |   77243920 |    1572840 |     1360.9 | 1351245824
    7200000 |   48651508 |   78325686 |    1572840 |     1386.5 | 1351245824
    7300000 |   49597238 |   79371443 |    1572840 |     1411.2 | 1351245824
    7400000 |   50551857 |   80426045 |    1572840 |     1436.0 | 1351245824
    7500000 |   51496323 |   81470505 |    1572840 |     1461.2 | 1351245824
    7600000 |   52455343 |   82529530 |    1572840 |     1486.4 | 1351245824
    7700000 |   53396088 |   83570294 |    1572840 |     1511.5 | 1351245824
    7800000 |   54359470 |   84633619 |    1572840 |     1537.1 | 1351245824
    7900000 |   55297689 |   85671869 |    1572840 |     1562.0 | 1351245824

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    8000000 |   56232978 |   86707123 |    1572840 |     1586.9 | 1351245824
    8100000 |   57166696 |   87740903 |    1572840 |     1612.6 | 1351245824
    8200000 |   58235290 |   88909409 |    1572840 |     1640.6 | 1351245824
    8300000 |   59250925 |   90025051 |    1572840 |     1666.9 | 1351245824
    8400000 |   60302369 |   91176504 |    1572840 |     1694.0 | 1351245824
    8500000 |   61320039 |   92294148 |    1572840 |     1720.0 | 1351245824
    8600000 |   62342984 |   93417095 |    1572840 |     1746.4 | 1351245824
    8700000 |   63401024 |   94575176 |    1572840 |     1774.0 | 1351245824
    8800000 |   64437009 |   95711150 |    1572840 |     1800.5 | 1351245824
    8900000 |   65436326 |   96810442 |    1572840 |     1826.9 | 1351245824
    9000000 |   66477396 |   97951534 |    1572840 |     1854.7 | 1351245824
    9100000 |   67524912 |   99099054 |    1572840 |     1882.0 | 1351245824
    9200000 |   68528268 |  100202379 |    1572840 |     1908.6 | 1351245824
    9300000 |   69558471 |  101332590 |    1572840 |     1936.0 | 1351245824
    9400000 |   70609209 |  102483328 |    1572840 |     1963.9 | 1351245824
    9500000 |   71617483 |  103591593 |    1572840 |     1990.2 | 1351245824
    9600000 |   72639633 |  104713783 |    1572840 |     2017.3 | 1351245824
    9700000 |   73686858 |  105860970 |    1572840 |     2044.9 | 1351245824
    9800000 |   74701827 |  106975956 |    1572840 |     2071.2 | 1351245824
    9900000 |   75710693 |  108084806 |    1572840 |     2097.9 | 1351245824

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   10000000 |   76745463 |  109219625 |    1572840 |     2125.3 | 1351245824
   10100000 |   77715906 |  110290010 |    1572840 |     2150.7 | 1351245824
   10200000 |   78703845 |  111377957 |    1572840 |     2177.0 | 1351245824
   10300000 |   79709494 |  112483602 |    1572840 |     2203.8 | 1351245824
   10400000 |   80688565 |  113562688 |    1572840 |     2230.3 | 1351245824

No deadlock found.

Number of processes:      20
Bytes per process:        [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]
Bytes for all procs:      20
Number of channels:       19
Bytes per message:        [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:   20
Num buffers:              2
Buffers:
  ()
  (0)

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

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

Number of states stored:     10485760
Number of new states:        10485760
Number of states matched:   104071169
Search depth reached:         1572840
Number of transitions:      114556928
Search time (seconds):       2753.262
Max memory (bytes):        1977024512
Before gc...
  Total memory:            1351245824
  Free memory :              51410424
  Used memory :            1299835400
After gc...
  Total memory:            1351245824
  Free memory :             743992504
  Used memory :             607253320
