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 |      38503 |     341703 |      93119 |        3.4 |   24047616
     200000 |      84799 |     685766 |     182306 |        7.4 |   67452928
     300000 |     132465 |    1030148 |     270277 |       10.7 |   67452928
     400000 |     190155 |    1374638 |     353529 |       15.2 |  111427584
     500000 |     258082 |    1712490 |     432206 |       19.0 |  111427584
     600000 |     341445 |    2044067 |     505260 |       23.2 |  111427584
     700000 |     454800 |    2348764 |     555101 |       28.8 |  188071936
     800000 |     600385 |    2618333 |     569790 |       33.3 |  188071936
     900000 |     772612 |    2867899 |     569790 |       37.9 |  188071936
    1000000 |     987404 |    3116316 |     569790 |       43.4 |  188071936
    1100000 |    1249375 |    3343299 |     569790 |       49.6 |  188071936
    1200000 |    1506086 |    3560960 |     569790 |       55.9 |  188071936
    1300000 |    1795283 |    3769951 |     569790 |       62.9 |  188071936
    1400000 |    2114454 |    3963744 |     569790 |       70.4 |  188071936
    1500000 |    2440663 |    4158489 |     569790 |       78.0 |  188071936

No deadlock found.

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

No unreached local states.
Num local state arrays:   80
Num buffers:              5
Buffers:
  ()
  (0)
  (0,0)
  (0,0,0)
  (0,0,0,0)

Num buffer arrays:        58849
Lengths reached:          [4,4,4,4,4,4,4,4]

Buffer arrays:
  [(),(),(),(),(),(),(),()]
  [(),(),(),(),(),(),(),(0)]
  [(),(),(),(),(),(),(),(0,0)]
  [(),(),(),(),(),(),(),(0,0,0)]
  [(),(),(),(),(),(),(),(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:      1569520
Number of new states:         1569520
Number of states matched:     2721393
Search depth reached:          569790
Number of transitions:        4290912
Search time (seconds):         84.364
Max memory (bytes):        1977024512
Before gc...
  Total memory:             188071936
  Free memory :              22036376
  Used memory :             166035560
After gc...
  Total memory:             188071936
  Free memory :              93868864
  Used memory :              94203072
