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 |    3616768
     100000 |      73819 |     174622 |        134 |        4.6 |   16162816
     200000 |     150876 |     351646 |        134 |        9.8 |   45916160
     300000 |     228689 |     529497 |        134 |       14.5 |   45916160
     400000 |     306535 |     707319 |        134 |       20.0 |   77381632
     500000 |     385859 |     886624 |        134 |       25.0 |   77381632
     600000 |     465961 |    1066769 |        134 |       31.0 |  130392064
     700000 |     543375 |    1244169 |        134 |       36.3 |  130392064
     800000 |     622439 |    1423223 |        134 |       41.6 |  130392064
     900000 |     703465 |    1604215 |        134 |       46.9 |  130392064
    1000000 |     782455 |    1783243 |        134 |       52.3 |  130392064
    1100000 |     863373 |    1964130 |        134 |       59.0 |  219832320
    1200000 |     945183 |    2145941 |        134 |       64.5 |  219832320
    1300000 |    1024385 |    2325189 |        134 |       69.8 |  219832320
    1400000 |    1103123 |    2503914 |        134 |       75.2 |  219832320
    1500000 |    1182497 |    2683259 |        134 |       80.7 |  219832320
    1600000 |    1262503 |    2863289 |        134 |       86.2 |  219832320
    1700000 |    1342915 |    3043690 |        134 |       93.7 |  366563328
    1800000 |    1424095 |    3224839 |        134 |       99.7 |  366563328
    1900000 |    1506767 |    3407499 |        134 |      105.5 |  366563328

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |    1585729 |    3586509 |        134 |      111.1 |  366563328
    2100000 |    1666653 |    3767422 |        134 |      116.6 |  366563328
    2200000 |    1748469 |    3949226 |        134 |      122.4 |  366563328
    2300000 |    1830099 |    4130870 |        134 |      128.1 |  366563328
    2400000 |    1912341 |    4313098 |        134 |      133.8 |  366563328
    2500000 |    1994961 |    4495711 |        134 |      139.7 |  366563328
    2600000 |    2078723 |    4679456 |        134 |      145.4 |  366563328
    2700000 |    2156993 |    4857797 |        134 |      150.9 |  366563328
    2800000 |    2235755 |    5036538 |        134 |      156.7 |  366563328
    2900000 |    2315807 |    5216581 |        134 |      165.6 |  615157760
    3000000 |    2395601 |    5396383 |        134 |      172.2 |  615157760
    3100000 |    2476489 |    5577281 |        134 |      177.8 |  615157760
    3200000 |    2557527 |    5758289 |        134 |      183.8 |  615157760
    3300000 |    2639099 |    5939886 |        134 |      189.5 |  615157760
    3400000 |    2719033 |    6119805 |        134 |      195.4 |  615157760
    3500000 |    2800013 |    6300770 |        134 |      201.3 |  615157760
    3600000 |    2882269 |    6483022 |        134 |      207.3 |  615157760
    3700000 |    2963729 |    6664479 |        134 |      213.4 |  615157760
    3800000 |    3046395 |    6847120 |        134 |      219.3 |  615157760
    3900000 |    3128955 |    7029704 |        134 |      225.5 |  615157760

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    4000000 |    3212829 |    7213632 |        134 |      231.4 |  615157760
    4100000 |    3291947 |    7392730 |        134 |      237.3 |  615157760
    4200000 |    3372927 |    7573693 |        134 |      243.3 |  615157760
    4300000 |    3454735 |    7755497 |        134 |      249.2 |  615157760
    4400000 |    3536367 |    7937129 |        134 |      255.3 |  615157760
    4500000 |    3618619 |    8119368 |        134 |      261.3 |  615157760
    4600000 |    3701278 |    8302021 |        134 |      267.4 |  615157760
    4700000 |    3785065 |    8485799 |        134 |      273.5 |  615157760
    4800000 |    3866739 |    8667492 |        134 |      280.1 |  615157760
    4900000 |    3949369 |    8850141 |        134 |      293.2 | 1036734464
    5000000 |    4031931 |    9032694 |        134 |      300.3 | 1036734464
    5100000 |    4115901 |    9216662 |        134 |      306.5 | 1036734464
    5200000 |    4198581 |    9399320 |        134 |      312.7 | 1036734464
    5300000 |    4282606 |    9583353 |        134 |      318.9 | 1036734464
    5400000 |    4366745 |    9767487 |        134 |      325.1 | 1036734464
    5500000 |    4451967 |    9952671 |        134 |      331.2 | 1036734464

No deadlock found.

Number of processes:      20
Bytes per process:        [2,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]
Bytes for all procs:      21
Number of channels:       38
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]

No unreached local states.
Num local state arrays:   5505803
Num buffers:              1
Buffers:
  ()

Num buffer arrays:        1
Lengths reached:          [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,0,0,0,0,0,0,0,0,0,0,0]

Buffer arrays:
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),()]

Number of states stored:      5505803
Number of new states:         5505803
Number of states matched:     4457133
Search depth reached:             134
Number of transitions:        9962935
Search time (seconds):        331.506
Max memory (bytes):        1977024512
Before gc...
  Total memory:            1036734464
  Free memory :             368759128
  Used memory :             667975336
After gc...
  Total memory:            1188143104
  Free memory :             525038496
  Used memory :             663104608
