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 |      92349 |     969026 |      99987 |        7.7 |   68788224
     200000 |     205158 |    1866856 |     199900 |       16.0 |  111308800
     300000 |     325643 |    2731883 |     299732 |       24.0 |  111308800
     400000 |     449360 |    3576169 |     399381 |       33.7 |  187154432
     500000 |     622634 |    4395915 |     489789 |       43.4 |  187154432
     600000 |     840041 |    5194772 |     572596 |       56.3 |  315441152
     700000 |    1993922 |    5912877 |     601089 |       93.7 |  315441152
     800000 |    4586243 |    6695499 |     601089 |      166.5 |  315441152

No deadlock found.

Number of processes:      12
Bytes per process:        [1,1,1,1,1,1,1,1,1,1,1,1]
Bytes for all procs:      12
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:   13312
Num buffers:              2
Buffers:
  ()
  (0)

Num buffer arrays:        177147
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:       826686
Number of new states:          826686
Number of states matched:     6101731
Search depth reached:          601089
Number of transitions:        6928416
Search time (seconds):        202.739
Max memory (bytes):        1977024512
Before gc...
  Total memory:             315441152
  Free memory :              90674408
  Used memory :             224766744
After gc...
  Total memory:             315441152
  Free memory :             230771752
  Used memory :              84669400
