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 |      83273 |     788001 |      89928 |        4.3 |   39526400
     200000 |     209154 |    1631876 |     171239 |        9.2 |   66772992
     300000 |     354178 |    2459211 |     248525 |       14.8 |  110235648
     400000 |     487825 |    3316797 |     328976 |       20.9 |  183967744
     500000 |     704366 |    4150238 |     392850 |       26.5 |  183967744
     600000 |     850699 |    5022883 |     472194 |       31.8 |  183967744
     700000 |    1096706 |    5868180 |     533188 |       40.2 |  310067200
     800000 |    1373585 |    6678606 |     587657 |       46.9 |  310067200
     900000 |    1543152 |    7539740 |     661875 |       52.6 |  310067200
    1000000 |    1840977 |    8345819 |     712417 |       59.7 |  310067200
    1100000 |    2184526 |    9130941 |     753377 |       67.1 |  310067200
    1200000 |    2503142 |    9958546 |     801406 |       78.2 |  519774208
    1300000 |    2783347 |   10810860 |     856948 |       85.5 |  519774208
    1400000 |    3088081 |   11652239 |     909256 |       92.7 |  519774208
    1500000 |    3386618 |   12502856 |     964167 |      100.3 |  519774208
    1600000 |    3737875 |   13323585 |    1007786 |      108.7 |  519774208
    1700000 |    4046797 |   14173816 |    1059211 |      116.6 |  519774208
    1800000 |    4501522 |   14968708 |    1087254 |      126.2 |  519774208
    1900000 |    5097450 |   15725544 |    1094291 |      137.5 |  519774208

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |    5549066 |   16532048 |    1123874 |      147.3 |  519774208
    2100000 |    6090725 |   17267536 |    1134609 |      157.8 |  519774208
    2200000 |    6589427 |   18025169 |    1152902 |      168.1 |  519774208
    2300000 |    7207021 |   18768530 |    1155872 |      180.1 |  519774208
    2400000 |    7818109 |   19502910 |    1158486 |      191.8 |  519774208
    2500000 |    8399127 |   20257668 |    1166892 |      203.5 |  519774208
    2600000 |    8995342 |   20970321 |    1168819 |      214.9 |  519774208
    2700000 |    9651399 |   21729779 |    1169230 |      235.5 |  857366528
    2800000 |   10329608 |   22509434 |    1169393 |      247.9 |  857366528
    2900000 |   11018155 |   23298106 |    1169437 |      260.5 |  857366528
    3000000 |   11688818 |   24068617 |    1169453 |      272.9 |  857366528
    3100000 |   12361894 |   24846031 |    1169876 |      286.2 |  857366528
    3200000 |   13041517 |   25625842 |    1169901 |      300.0 |  857366528
    3300000 |   13723183 |   26407191 |    1169913 |      313.1 |  857366528
    3400000 |   14428276 |   27212144 |    1169913 |      326.8 |  857366528
    3500000 |   15132191 |   28005053 |    1169913 |      339.9 |  857366528

No deadlock found.

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

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

Num buffer arrays:        390625
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:      3515625
Number of new states:         3515625
Number of states matched:    24609376
Search depth reached:         1169913
Number of transitions:       28125000
Search time (seconds):        480.022
Max memory (bytes):        1977024512
Before gc...
  Total memory:             857366528
  Free memory :             318223248
  Used memory :             539143280
After gc...
  Total memory:             857366528
  Free memory :             606802552
  Used memory :             250563976
