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 |     375251 |     475984 |        127 |        8.4 |   12877824
     200000 |     805063 |    1005812 |        127 |       18.1 |   21487616
     300000 |    1291538 |    1592276 |        127 |       29.7 |   35966976
     400000 |    1785652 |    2186400 |        127 |       40.9 |   35966976
     500000 |    2213484 |    2714195 |        127 |       51.5 |   35966976
     600000 |    2654384 |    3255104 |        127 |       62.9 |   60370944
     700000 |    3132874 |    3833599 |        127 |       74.4 |   60370944
     800000 |    3638233 |    4438931 |        127 |       86.1 |   60370944
     900000 |    4140568 |    5041288 |        127 |       98.5 |   60370944
    1000000 |    4645318 |    5646034 |        127 |      112.7 |  100814848
    1100000 |    5137699 |    6238435 |        127 |      124.3 |  100814848
    1200000 |    5656010 |    6856725 |        127 |      136.7 |  100814848
    1300000 |    6232142 |    7532890 |        127 |      150.3 |  100814848
    1400000 |    6845785 |    8246547 |        127 |      165.0 |  100814848
    1500000 |    7371187 |    8871914 |        127 |      178.3 |  100814848
    1600000 |    7900572 |    9501286 |        127 |      193.8 |  168243200
    1700000 |    8467772 |   10168516 |        127 |      208.3 |  168243200
    1800000 |    9073431 |   10874131 |        127 |      222.8 |  168243200
    1900000 |    9674944 |   11575651 |        127 |      238.0 |  168243200

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |   10282266 |   12282975 |        127 |      254.1 |  168243200
    2100000 |   10761193 |   12861937 |        127 |      266.5 |  168243200
    2200000 |   11191659 |   13392370 |        127 |      277.9 |  168243200
    2300000 |   11661309 |   13962024 |        127 |      290.3 |  168243200
    2400000 |   12180587 |   14581315 |        127 |      304.0 |  168243200
    2500000 |   12699096 |   15199818 |        127 |      318.2 |  168243200
    2600000 |   13225708 |   15826435 |        127 |      333.2 |  168243200
    2700000 |   13683261 |   16383955 |        127 |      349.2 |  281063424
    2800000 |   14104837 |   16905550 |        127 |      361.5 |  281063424
    2900000 |   14601032 |   17501724 |        127 |      375.7 |  281063424
    3000000 |   15117848 |   18118572 |        127 |      389.3 |  281063424
    3100000 |   15640169 |   18740862 |        127 |      403.3 |  281063424
    3200000 |   16190043 |   19390751 |        127 |      418.3 |  281063424
    3300000 |   16722128 |   20022794 |        127 |      433.8 |  281063424
    3400000 |   17262453 |   20663159 |        127 |      449.6 |  281063424
    3500000 |   17782515 |   21283214 |        127 |      463.3 |  281063424
    3600000 |   18286633 |   21887348 |        127 |      475.7 |  281063424
    3700000 |   18859393 |   22560113 |        127 |      489.6 |  281063424
    3800000 |   19468721 |   23269399 |        127 |      505.1 |  281063424
    3900000 |   19999518 |   23900225 |        127 |      518.8 |  281063424

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    4000000 |   20525072 |   24525778 |        127 |      533.0 |  281063424
    4100000 |   21090672 |   25191365 |        127 |      548.1 |  281063424
    4200000 |   21685400 |   25886097 |        127 |      562.9 |  281063424
    4300000 |   22290040 |   26590709 |        127 |      578.2 |  281063424
    4400000 |   22892122 |   27292802 |        127 |      594.7 |  281063424
    4500000 |   23448730 |   27949465 |        127 |      609.7 |  281063424
    4600000 |   23954415 |   28555085 |        127 |      628.4 |  469094400
    4700000 |   24514047 |   29214759 |        127 |      644.2 |  469094400
    4800000 |   25119411 |   29920089 |        127 |      661.4 |  469094400
    4900000 |   25663592 |   30564272 |        127 |      677.1 |  469094400
    5000000 |   26185383 |   31186094 |        127 |      693.0 |  469094400
    5100000 |   26756990 |   31857682 |        127 |      709.7 |  469094400
    5200000 |   27340285 |   32540951 |        127 |      725.6 |  469094400
    5300000 |   27951574 |   33252284 |        127 |      742.6 |  469094400
    5400000 |   28546232 |   33946893 |        127 |      760.6 |  469094400
    5500000 |   29156131 |   34656766 |        127 |      777.6 |  469094400
    5600000 |   29762096 |   35362670 |        127 |      790.6 |  469094400
    5700000 |   30367197 |   36067742 |        127 |      803.8 |  469094400
    5800000 |   30957963 |   36758470 |        127 |      816.8 |  469094400
    5900000 |   31554644 |   37455106 |        127 |      829.8 |  469094400

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    6000000 |   32161707 |   38162141 |        127 |      843.2 |  469094400
    6100000 |   32769396 |   38869772 |        127 |      856.6 |  469094400
    6200000 |   33357313 |   39557644 |        127 |      869.7 |  469094400
    6300000 |   33956476 |   40256775 |        127 |      883.0 |  469094400
    6400000 |   34562669 |   40962948 |        127 |      896.5 |  469094400
    6500000 |   35165299 |   41665522 |        127 |      909.9 |  469094400
    6600000 |   35756304 |   42356475 |        127 |      923.0 |  469094400
    6700000 |   36360512 |   43060635 |        127 |      936.9 |  469094400
    6800000 |   36967286 |   43767393 |        127 |      950.3 |  469094400

No deadlock found.

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

Num buffer arrays:        262144
Lengths reached:          [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:      6895767
Number of new states:         6895767
Number of states matched:    37536640
Search depth reached:             127
Number of transitions:       44432406
Search time (seconds):        962.991
Max memory (bytes):        1977024512
Before gc...
  Total memory:             469094400
  Free memory :              78163336
  Used memory :             390931064
After gc...
  Total memory:             685391872
  Free memory :             302863312
  Used memory :             382528560
