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 |     360532 |     460715 |        127 |       12.3 |   13086720
     200000 |     799067 |     999272 |        127 |       24.6 |   21868544
     300000 |    1271089 |    1571290 |        127 |       37.3 |   36585472
     400000 |    1742938 |    2143116 |        127 |       50.9 |   61153280
     500000 |    2179452 |    2679636 |        127 |       63.2 |   61153280
     600000 |    2598959 |    3199137 |        127 |       75.7 |   61153280
     700000 |    3052665 |    3752843 |        127 |       89.3 |  102076416
     800000 |    3525054 |    4325222 |        127 |      102.2 |  102076416
     900000 |    3964118 |    4864155 |        127 |      114.9 |  102076416
    1000000 |    4389267 |    5389309 |        127 |      127.3 |  102076416

No deadlock found.

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

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

Num buffer arrays:        80502
Lengths reached:          [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]

Buffer arrays:
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),()]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(0)]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(1)]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(0),()]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(0),(),()]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(0),(),(),()]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(0),(),(),(),()]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(0),(),(),(),(),()]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(0),(),(),(),(),(),()]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(0),(),(),(),(),(),(0)]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(1),(),(),(),(),(),()]
  etc.

Number of states stored:      1023187
Number of new states:         1023187
Number of states matched:     4495376
Search depth reached:             127
Number of transitions:        5518562
Search time (seconds):        130.342
Max memory (bytes):        1977024512
Before gc...
  Total memory:             102076416
  Free memory :              14852024
  Used memory :              87224392
After gc...
  Total memory:             153333760
  Free memory :              67783000
  Used memory :              85550760
