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 |     101099 |     201251 |        101 |        6.2 |   20860928
     200000 |     246274 |     446451 |        101 |       13.1 |   34967552
     300000 |     352904 |     653058 |        101 |       19.4 |   58478592
     400000 |     526277 |     926419 |        101 |       26.7 |   58478592
     500000 |     678386 |    1178530 |        101 |       34.5 |   97902592
     600000 |     839768 |    1439895 |        101 |       41.5 |   97902592
     700000 |     995860 |    1695970 |        101 |       48.5 |   97902592
     800000 |    1109461 |    1909520 |        101 |       54.6 |   97902592
     900000 |    1249179 |    2149239 |        101 |       62.5 |  164548608
    1000000 |    1374417 |    2374493 |        101 |       68.8 |  164548608
    1100000 |    1571834 |    2671887 |        101 |       76.9 |  164548608
    1200000 |    1722040 |    2922093 |        101 |       83.7 |  164548608
    1300000 |    1876098 |    3176141 |        101 |       90.6 |  164548608

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:       54
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,1,1,1,1,1,1,1,1,1,1,1,1]

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

Num buffer arrays:        13121
Lengths reached:          [1,0,0,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0]

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

Number of states stored:      1349183
Number of new states:         1349183
Number of states matched:     1952397
Search depth reached:             101
Number of transitions:        3301579
Search time (seconds):          94.07
Max memory (bytes):        1977024512
Before gc...
  Total memory:             164548608
  Free memory :              16718416
  Used memory :             147830192
After gc...
  Total memory:             258400256
  Free memory :             114214256
  Used memory :             144186000
