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 |     106493 |     619580 |      99989 |        4.1 |   41349120
     200000 |     230113 |    1265229 |     199915 |        8.5 |   69287936
     300000 |     361737 |    1902940 |     299476 |       13.8 |  113000448
     400000 |     503073 |    2518327 |     398116 |       18.5 |  113000448
     500000 |    2574527 |    3074998 |     458754 |       47.4 |  188792832

No deadlock found.

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

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

Num buffer arrays:        15625
Lengths reached:          [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:       500000
Number of new states:          500000
Number of states matched:     2575001
Search depth reached:          458754
Number of transitions:        3075000
Search time (seconds):         47.448
Max memory (bytes):        1977024512
Before gc...
  Total memory:             188792832
  Free memory :              72532912
  Used memory :             116259920
After gc...
  Total memory:             188792832
  Free memory :             149509520
  Used memory :              39283312
