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 |     249105 |     788820 |      55370 |        6.0 |   38375424
     200000 |     581575 |    1629570 |     101360 |       13.2 |   64114688
     300000 |     959350 |    2468062 |     142071 |       21.8 |  106078208
     400000 |    1402805 |    3321363 |     174087 |       30.7 |  106078208
     500000 |    2036714 |    4075699 |     176053 |       41.7 |  106078208
     600000 |    2728140 |    4875098 |     176816 |       54.2 |  106078208

No deadlock found.

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

No unreached local states.
Num local state arrays:   11
Num buffers:              3
Buffers:
  ()
  (0)
  (0,0)

Num buffer arrays:        59049
Lengths reached:          [2,2,2,2,2,2,2,2,2,2]

Buffer arrays:
  [(),(),(),(),(),(),(),(),(),()]
  [(),(),(),(),(),(),(),(),(),(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:       649539
Number of new states:          649539
Number of states matched:     4664872
Search depth reached:          176832
Number of transitions:        5314410
Search time (seconds):         80.049
Max memory (bytes):        1977024512
Before gc...
  Total memory:             106078208
  Free memory :              13503928
  Used memory :              92574280
After gc...
  Total memory:             106078208
  Free memory :              61928664
  Used memory :              44149544
