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 |     964297 |      56061 |        7.4 |   39649280
     200000 |     683940 |    1960303 |      98253 |       17.1 |   66543616
     300000 |    1373332 |    2749975 |      98270 |       30.0 |   66543616
     400000 |    2081213 |    3557754 |      98270 |       43.3 |   66543616
     500000 |    2861589 |    4437963 |      98270 |       58.8 |  109223936

No deadlock found.

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

No unreached local states.
Num local state arrays:   16
Num buffers:              2
Buffers:
  ()
  (0)

Num buffer arrays:        32768
Lengths reached:          [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:       524288
Number of new states:          524288
Number of states matched:     4145153
Search depth reached:           98270
Number of transitions:        4669440
Search time (seconds):         77.279
Max memory (bytes):        1977024512
Before gc...
  Total memory:             109223936
  Free memory :              42010264
  Used memory :              67213672
After gc...
  Total memory:             109223936
  Free memory :              74016480
  Used memory :              35207456
