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 |     360418 |     460656 |        145 |       11.9 |   12881920
     200000 |     798408 |     998673 |        145 |       26.3 |   36032512
     300000 |    1270703 |    1570937 |        145 |       41.0 |   36032512
     400000 |    1742019 |    2142244 |        145 |       56.2 |   60055552
     500000 |    2178626 |    2678861 |        145 |       70.7 |   60055552
     600000 |    2598449 |    3198691 |        145 |       85.3 |   60055552
     700000 |    3052399 |    3752625 |        145 |      101.1 |  100290560
     800000 |    3524174 |    4324413 |        145 |      116.4 |  100290560
     900000 |    3994502 |    4894768 |        145 |      132.1 |  100290560
    1000000 |    4504097 |    5504364 |        145 |      148.9 |  100290560
    1100000 |    5070867 |    6171111 |        145 |      168.5 |  167587840
    1200000 |    5619734 |    6819993 |        145 |      187.0 |  167587840
    1300000 |    6134240 |    7434478 |        145 |      205.0 |  167587840
    1400000 |    6687839 |    8088101 |        145 |      223.6 |  167587840
    1500000 |    7258123 |    8758360 |        145 |      242.3 |  167587840
    1600000 |    7788165 |    9388389 |        145 |      260.0 |  167587840
    1700000 |    8280430 |    9980669 |        145 |      275.7 |  167587840
    1800000 |    8848418 |   10648649 |        145 |      295.7 |  279904256
    1900000 |    9420168 |   11320408 |        145 |      313.8 |  279904256

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |    9924141 |   11924376 |        145 |      330.4 |  279904256
    2100000 |   10468479 |   12568707 |        145 |      348.0 |  279904256
    2200000 |   11034533 |   13234757 |        145 |      366.1 |  279904256
    2300000 |   11580991 |   13881223 |        145 |      384.0 |  279904256
    2400000 |   12064594 |   14464825 |        145 |      400.0 |  279904256
    2500000 |   12640361 |   15140587 |        145 |      418.3 |  279904256
    2600000 |   13205483 |   15805712 |        145 |      436.7 |  279904256
    2700000 |   13721667 |   16421930 |        145 |      454.1 |  279904256
    2800000 |   14244847 |   17045073 |        145 |      472.2 |  279904256
    2900000 |   14815097 |   17715319 |        145 |      490.7 |  279904256
    3000000 |   15391365 |   18391578 |        145 |      510.3 |  279904256
    3100000 |   15794620 |   18894872 |        145 |      528.7 |  466923520
    3200000 |   16234996 |   19435237 |        145 |      543.9 |  466923520
    3300000 |   16754469 |   20054713 |        145 |      561.8 |  466923520
    3400000 |   17275497 |   20675738 |        145 |      579.6 |  466923520
    3500000 |   17795010 |   21295224 |        145 |      598.1 |  466923520
    3600000 |   18226754 |   21827004 |        145 |      614.3 |  466923520
    3700000 |   18661037 |   22361273 |        145 |      631.0 |  466923520
    3800000 |   19164375 |   22964615 |        145 |      648.3 |  466923520
    3900000 |   19670366 |   23570612 |        145 |      665.9 |  466923520

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    4000000 |   20179006 |   24179243 |        145 |      684.2 |  466923520
    4100000 |   20684334 |   24784553 |        145 |      701.5 |  466923520
    4200000 |   21189433 |   25389656 |        145 |      718.3 |  466923520
    4300000 |   21755436 |   26055661 |        145 |      736.6 |  466923520
    4400000 |   22307968 |   26708206 |        145 |      754.9 |  466923520
    4500000 |   22819653 |   27319893 |        145 |      772.8 |  466923520
    4600000 |   23374797 |   27975027 |        145 |      791.2 |  466923520
    4700000 |   23943574 |   28643820 |        145 |      810.1 |  466923520
    4800000 |   24477328 |   29277550 |        145 |      828.7 |  466923520
    4900000 |   24965688 |   29865924 |        145 |      845.2 |  466923520
    5000000 |   25535435 |   30535668 |        145 |      864.1 |  466923520
    5100000 |   26110519 |   31210769 |        145 |      883.5 |  466923520
    5200000 |   26612200 |   31812455 |        145 |      901.3 |  466923520
    5300000 |   27153077 |   32453298 |        145 |      919.9 |  466923520
    5400000 |   27719818 |   33120050 |        145 |      939.1 |  466923520
    5500000 |   28275498 |   33775620 |        145 |      966.2 |  780238848
    5600000 |   28733787 |   34333850 |        145 |      982.3 |  780238848
    5700000 |   29192608 |   34892706 |        145 |      999.1 |  780238848
    5800000 |   29664781 |   35464880 |        145 |     1015.9 |  780238848
    5900000 |   30139139 |   36039204 |        145 |     1032.8 |  780238848

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    6000000 |   30628405 |   36628489 |        145 |     1050.1 |  780238848
    6100000 |   31129218 |   37229257 |        145 |     1067.9 |  780238848
    6200000 |   31610993 |   37811074 |        145 |     1084.7 |  780238848
    6300000 |   32138811 |   38438837 |        145 |     1103.1 |  780238848
    6400000 |   32615515 |   39015570 |        145 |     1120.4 |  780238848

No deadlock found.

Number of processes:      11
Bytes per process:        [1,1,1,1,1,1,1,1,1,1,1]
Bytes for all procs:      11
Number of channels:       48
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]

No unreached local states.
Num local state arrays:   1761814
Num buffers:              3
Buffers:
  ()
  (0)
  (1)

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

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

Number of states stored:      6488297
Number of new states:         6488297
Number of states matched:    33084340
Search depth reached:             145
Number of transitions:       39572636
Search time (seconds):       1136.743
Max memory (bytes):        1977024512
Before gc...
  Total memory:             780238848
  Free memory :             267632664
  Used memory :             512606184
After gc...
  Total memory:             906440704
  Free memory :             400561368
  Used memory :             505879336
