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 |     372191 |     472434 |        133 |        8.0 |   12759040
     200000 |     746486 |     946753 |        133 |       16.4 |   35405824
     300000 |    1163698 |    1463908 |        133 |       25.1 |   35405824
     400000 |    1560106 |    1960287 |        133 |       34.3 |   59273216
     500000 |    1938484 |    2438654 |        133 |       43.1 |   59273216
     600000 |    2344028 |    2944165 |        133 |       53.1 |   99250176
     700000 |    2757067 |    3457243 |        133 |       62.3 |   99250176
     800000 |    3161851 |    3962035 |        133 |       71.7 |   99250176
     900000 |    3536961 |    4437148 |        133 |       81.8 |  166051840
    1000000 |    3950042 |    4950179 |        133 |       91.3 |  166051840
    1100000 |    4346325 |    5446452 |        133 |      100.6 |  166051840
    1200000 |    4735534 |    5935619 |        133 |      109.8 |  166051840
    1300000 |    5144123 |    6444271 |        133 |      119.0 |  166051840
    1400000 |    5561339 |    6961383 |        133 |      128.1 |  166051840
    1500000 |    5965147 |    7465192 |        133 |      139.1 |  277430272

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:       22
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]

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

Num buffer arrays:        9375
Lengths reached:          [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)]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(0),()]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(0),(0)]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(0),(),()]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(0),(0),()]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(0),(),(),()]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(0),(),(0),()]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(0),(),(),(),()]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(0),(),(),(),(0)]
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(0),(),(),(0),()]
  etc.

Number of states stored:      1521751
Number of new states:         1521751
Number of states matched:     6051322
Search depth reached:             133
Number of transitions:        7573072
Search time (seconds):         141.12
Max memory (bytes):        1977024512
Before gc...
  Total memory:             277430272
  Free memory :             102297224
  Used memory :             175133048
After gc...
  Total memory:             286695424
  Free memory :             126711520
  Used memory :             159983904
