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 |     282399 |    1020364 |      56061 |        8.0 |   37408768
     200000 |     613013 |    2137920 |     111559 |       17.5 |   62984192
     300000 |     953068 |    3294651 |     167590 |       28.3 |  104419328
     400000 |    1309952 |    4442896 |     220671 |       39.6 |  175431680
     500000 |    1656616 |    5615829 |     276704 |       50.4 |  175431680
     600000 |    2035571 |    6843746 |     332209 |       63.9 |  294899712
     700000 |    2440887 |    8149965 |     387979 |       75.9 |  294899712
     800000 |    2825860 |    9245475 |     436476 |       87.8 |  294899712
     900000 |    3209295 |   10440811 |     489254 |      100.2 |  294899712
    1000000 |    3604484 |   11643920 |     541999 |      116.2 |  493817856
    1100000 |    4009843 |   12910936 |     595638 |      129.2 |  493817856
    1200000 |    4389041 |   14154157 |     651657 |      141.7 |  493817856
    1300000 |    4810465 |   15477909 |     707192 |      155.2 |  493817856
    1400000 |    5248889 |   16844767 |     762660 |      169.1 |  493817856
    1500000 |    5846697 |   17896035 |     784515 |      184.4 |  493817856
    1600000 |    6585738 |   18759182 |     785931 |      203.6 |  493817856
    1700000 |    7306230 |   19584780 |     786218 |      221.4 |  493817856
    1800000 |    8037270 |   20418146 |     786354 |      239.4 |  493817856
    1900000 |    8782906 |   21264121 |     786372 |      256.4 |  493817856

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |    9610536 |   22191752 |     786372 |      276.7 |  493817856
    2100000 |   10418682 |   23100081 |     786385 |      301.4 |  810770432
    2200000 |   11227046 |   24008548 |     786388 |      320.1 |  810770432
    2300000 |   12095015 |   24976452 |     786390 |      342.2 |  810770432
    2400000 |   12955810 |   25937230 |     786390 |      363.7 |  810770432
    2500000 |   13853132 |   26934803 |     786399 |      386.0 |  810770432
    2600000 |   14734020 |   27915669 |     786399 |      407.9 |  810770432
    2700000 |   15564132 |   28845705 |     786401 |      428.7 |  810770432
    2800000 |   16477355 |   29858827 |     786401 |      451.7 |  810770432
    2900000 |   17413971 |   30895049 |     786401 |      474.8 |  810770432
    3000000 |   18288799 |   31869825 |     786401 |      495.6 |  810770432
    3100000 |   19142101 |   32823122 |     786401 |      516.3 |  810770432
    3200000 |   19985948 |   33766979 |     786401 |      536.3 |  810770432
    3300000 |   20844950 |   34725967 |     786401 |      556.9 |  810770432
    3400000 |   21685499 |   35666529 |     786401 |      577.3 |  810770432
    3500000 |   22549144 |   36630159 |     786401 |      598.3 |  810770432
    3600000 |   23387614 |   37568623 |     786401 |      618.7 |  810770432
    3700000 |   24255691 |   38536687 |     786401 |      640.1 |  810770432
    3800000 |   25121156 |   39502196 |     786401 |      661.5 |  810770432
    3900000 |   25993833 |   40474237 |     786401 |      683.4 |  810770432

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    4000000 |   26850090 |   41430534 |     786401 |      703.9 |  810770432
    4100000 |   27696760 |   42377183 |     786401 |      724.6 |  810770432
    4200000 |   28620345 |   43400703 |     786401 |      747.2 |  810770432
    4300000 |   29578500 |   44458833 |     786401 |      770.0 |  810770432
    4400000 |   30527467 |   45507854 |     786401 |      793.3 |  810770432
    4500000 |   31475956 |   46556192 |     786401 |      816.5 |  810770432
    4600000 |   32426932 |   47607130 |     786401 |      839.2 |  810770432
    4700000 |   33391933 |   48672090 |     786401 |      862.7 |  810770432
    4800000 |   34442445 |   49822573 |     786401 |      887.5 |  810770432
    4900000 |   35498969 |   50979103 |     786401 |      912.7 |  810770432

No deadlock found.

Number of processes:      19
Bytes per process:        [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]
Bytes for all procs:      19
Number of channels:       18
Bytes per message:        [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:   19
Num buffers:              2
Buffers:
  ()
  (0)

Num buffer arrays:        262144
Lengths reached:          [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]

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

Number of states stored:      4980736
Number of new states:         4980736
Number of states matched:    46923777
Search depth reached:          786401
Number of transitions:       51904512
Search time (seconds):       1140.601
Max memory (bytes):        1977024512
Before gc...
  Total memory:             810770432
  Free memory :             179801264
  Used memory :             630969168
After gc...
  Total memory:             810770432
  Free memory :             492145192
  Used memory :             318625240
