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 |     249105 |     807278 |      55370 |        6.1 |   39206912
     200000 |     581575 |    1663360 |     101360 |       13.6 |   65302528
     300000 |     959350 |    2515422 |     142071 |       22.9 |  107798528
     400000 |    1277754 |    3412544 |     193539 |       30.5 |  107798528
     500000 |    1604007 |    4366421 |     246733 |       39.9 |  183115776
     600000 |    2055017 |    5244146 |     279672 |       49.3 |  183115776
     700000 |    2542208 |    6178605 |     312376 |       59.9 |  183115776
     800000 |    2913464 |    7071265 |     357305 |       68.7 |  183115776
     900000 |    3264180 |    8017722 |     407391 |       80.3 |  309628928
    1000000 |    3703764 |    8937676 |     444401 |       90.3 |  309628928
    1100000 |    4249168 |    9851921 |     469449 |      102.3 |  309628928
    1200000 |    4815720 |   10757416 |     491669 |      114.3 |  309628928
    1300000 |    5446980 |   11610181 |     503029 |      126.7 |  309628928
    1400000 |    6020735 |   12477187 |     520600 |      139.3 |  309628928
    1500000 |    6692091 |   13303027 |     525378 |      153.1 |  309628928
    1600000 |    7405664 |   14146884 |     527980 |      167.8 |  309628928
    1700000 |    8144378 |   15017617 |     530654 |      183.2 |  309628928
    1800000 |    8875360 |   15851147 |     530856 |      198.0 |  309628928
    1900000 |    9671848 |   16749933 |     531050 |      214.3 |  309628928

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |   10459685 |   17638977 |     531150 |      230.4 |  309628928
    2100000 |   11308822 |   18587637 |     531155 |      247.3 |  309628928

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:       11
Bytes per message:        [1,1,1,1,1,1,1,1,1,1,1]

No unreached local states.
Num local state arrays:   12
Num buffers:              3
Buffers:
  ()
  (0)
  (0,0)

Num buffer arrays:        177147
Lengths reached:          [2,2,2,2,2,2,2,2,2,2,2]

Buffer arrays:
  [(),(),(),(),(),(),(),(),(),(),()]
  [(),(),(),(),(),(),(),(),(),(),(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:      2125764
Number of new states:         2125764
Number of states matched:    16710868
Search depth reached:          531155
Number of transitions:       18836631
Search time (seconds):        332.495
Max memory (bytes):        1977024512
Before gc...
  Total memory:             516378624
  Free memory :             209089136
  Used memory :             307289488
After gc...
  Total memory:             516378624
  Free memory :             393277336
  Used memory :             123101288
