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 |     375301 |     475859 |        113 |        7.9 |   13287424
     200000 |     805134 |    1005711 |        113 |       16.9 |   22310912
     300000 |    1291607 |    1592171 |        113 |       26.8 |   22310912
     400000 |    1785700 |    2186267 |        113 |       37.6 |   37076992
     500000 |    2213544 |    2714095 |        113 |       47.4 |   37076992
     600000 |    2654453 |    3255002 |        113 |       58.2 |   62038016
     700000 |    3132941 |    3833490 |        113 |       68.8 |   62038016
     800000 |    3638300 |    4438826 |        113 |       79.6 |   62038016
     900000 |    4140636 |    5041172 |        113 |       91.0 |   62038016
    1000000 |    4645384 |    5645926 |        113 |      104.4 |  103571456
    1100000 |    5176608 |    6276999 |        113 |      115.2 |  103571456
    1200000 |    5708950 |    6909226 |        113 |      125.5 |  103571456
    1300000 |    6239663 |    7539842 |        113 |      135.8 |  103571456
    1400000 |    6772127 |    8172177 |        113 |      146.2 |  103571456

No deadlock found.

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

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

Num buffer arrays:        65536
Lengths reached:          [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:      1403817
Number of new states:         1403817
Number of states matched:     6789792
Search depth reached:             113
Number of transitions:        8193608
Search time (seconds):        146.522
Max memory (bytes):        1977024512
Before gc...
  Total memory:             103571456
  Free memory :              21876736
  Used memory :              81694720
After gc...
  Total memory:             145317888
  Free memory :              64222232
  Used memory :              81095656
