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 |      94992 |     757219 |      87092 |        4.5 |   37511168
     200000 |     262944 |    1521483 |     157984 |        9.4 |   63152128
     300000 |     526231 |    2271649 |     211301 |       15.8 |  101969920
     400000 |     940288 |    2942949 |     232620 |       23.0 |  101969920
     500000 |    1509832 |    3618001 |     233416 |       32.0 |  101969920
     600000 |    2102560 |    4307278 |     233416 |       41.4 |  101969920

No deadlock found.

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

No unreached local states.
Num local state arrays:   8
Num buffers:              5
Buffers:
  ()
  (0)
  (0,0)
  (0,0,0)
  (0,0,0,0)

Num buffer arrays:        78125
Lengths reached:          [4,4,4,4,4,4,4]

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)]
  [(),(),(),(),(),(0,0),()]
  etc.

Number of states stored:       625000
Number of new states:          625000
Number of states matched:     3859376
Search depth reached:          233416
Number of transitions:        4484375
Search time (seconds):         62.652
Max memory (bytes):        1977024512
Before gc...
  Total memory:             101969920
  Free memory :               3727848
  Used memory :              98242072
After gc...
  Total memory:             101969920
  Free memory :              58771072
  Used memory :              43198848
