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 |     410454 |     510795 |        109 |        7.7 |   12767232
     200000 |     920134 |    1120421 |        109 |       17.4 |   35794944
     300000 |    1426403 |    1726674 |        109 |       26.9 |   35794944
     400000 |    1921593 |    2321903 |        109 |       37.1 |   59813888
     500000 |    2404675 |    2904968 |        109 |       47.3 |   59813888
     600000 |    2874310 |    3474654 |        109 |       57.4 |  100216832
     700000 |    3465931 |    4166300 |        109 |       68.7 |  100216832
     800000 |    4032181 |    4832489 |        109 |       79.8 |  100216832
     900000 |    4551238 |    5451563 |        109 |       92.0 |  167182336
    1000000 |    5098195 |    6098503 |        109 |      103.3 |  167182336
    1100000 |    5663007 |    6763341 |        109 |      115.1 |  167182336
    1200000 |    6176133 |    7376450 |        109 |      126.0 |  167182336
    1300000 |    6688452 |    7988711 |        109 |      136.7 |  167182336
    1400000 |    7261955 |    8662251 |        109 |      148.7 |  167182336
    1500000 |    7813271 |    9313587 |        109 |      163.2 |  279490560
    1600000 |    8314463 |    9914736 |        109 |      174.2 |  279490560
    1700000 |    8793124 |   10493407 |        109 |      184.9 |  279490560
    1800000 |    9253077 |   11053268 |        109 |      195.7 |  279490560
    1900000 |    9740454 |   11640716 |        109 |      206.4 |  279490560

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |   10301176 |   12301461 |        109 |      218.4 |  279490560
    2100000 |   10850600 |   12950889 |        109 |      230.3 |  279490560
    2200000 |   11439136 |   13639342 |        109 |      242.8 |  279490560
    2300000 |   12026160 |   14326451 |        109 |      255.4 |  279490560
    2400000 |   12577142 |   14977336 |        109 |      267.9 |  279490560
    2500000 |   13081070 |   15581384 |        109 |      281.9 |  467435520
    2600000 |   13611669 |   16211960 |        109 |      294.0 |  467435520
    2700000 |   14186455 |   16886725 |        109 |      306.2 |  467435520
    2800000 |   14756821 |   17557062 |        109 |      318.6 |  467435520
    2900000 |   15270985 |   18171257 |        109 |      330.1 |  467435520
    3000000 |   15791250 |   18791504 |        109 |      341.5 |  467435520
    3100000 |   16356303 |   19456513 |        109 |      353.9 |  467435520
    3200000 |   16862353 |   20062637 |        109 |      365.6 |  467435520
    3300000 |   17391174 |   20691379 |        109 |      377.5 |  467435520
    3400000 |   17899513 |   21299714 |        109 |      389.3 |  467435520
    3500000 |   18413865 |   21914111 |        109 |      401.1 |  467435520
    3600000 |   18905412 |   22505617 |        109 |      412.8 |  467435520
    3700000 |   19353864 |   23054124 |        109 |      423.4 |  467435520
    3800000 |   19866199 |   23666445 |        109 |      434.5 |  467435520
    3900000 |   20404017 |   24304235 |        109 |      446.2 |  467435520

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    4000000 |   21019750 |   25019972 |        109 |      459.3 |  467435520
    4100000 |   21602915 |   25703171 |        109 |      472.4 |  467435520
    4200000 |   22181755 |   26382012 |        109 |      492.8 |  779563008
    4300000 |   22761143 |   27061344 |        109 |      505.6 |  779563008
    4400000 |   23258022 |   27658276 |        109 |      516.9 |  779563008
    4500000 |   23771756 |   28272000 |        109 |      528.2 |  779563008
    4600000 |   24312826 |   28913025 |        109 |      540.0 |  779563008
    4700000 |   24888789 |   29588989 |        109 |      552.7 |  779563008
    4800000 |   25470170 |   30270365 |        109 |      565.6 |  779563008
    4900000 |   25981749 |   30881978 |        109 |      577.2 |  779563008
    5000000 |   26483214 |   31483374 |        109 |      588.5 |  779563008
    5100000 |   27016534 |   32116733 |        109 |      600.5 |  779563008
    5200000 |   27629081 |   32829226 |        109 |      613.9 |  779563008
    5300000 |   28154510 |   33454697 |        109 |      625.9 |  779563008
    5400000 |   28668525 |   34068691 |        109 |      637.6 |  779563008
    5500000 |   29158653 |   34658786 |        109 |      649.2 |  779563008
    5600000 |   29622869 |   35222964 |        109 |      660.3 |  779563008
    5700000 |   30110591 |   35810756 |        109 |      671.3 |  779563008
    5800000 |   30671050 |   36471268 |        109 |      683.6 |  779563008
    5900000 |   31225790 |   37125929 |        109 |      696.0 |  779563008

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    6000000 |   31808605 |   37808743 |        109 |      708.8 |  779563008
    6100000 |   32396849 |   38497021 |        109 |      721.7 |  779563008
    6200000 |   32977035 |   39177181 |        109 |      734.6 |  779563008
    6300000 |   33488195 |   39788397 |        109 |      746.2 |  779563008
    6400000 |   34029504 |   40429668 |        109 |      758.3 |  779563008
    6500000 |   34566964 |   41067108 |        109 |      771.0 |  779563008
    6600000 |   35151086 |   41751190 |        109 |      783.8 |  779563008
    6700000 |   35712935 |   42413036 |        109 |      796.5 |  779563008
    6800000 |   36200863 |   43001029 |        109 |      807.8 |  779563008
    6900000 |   36781999 |   43682099 |        109 |      820.9 |  779563008
    7000000 |   37286256 |   44286407 |        109 |      832.8 |  779563008
    7100000 |   37830776 |   44930878 |        109 |      854.8 | 1304121344
    7200000 |   38325490 |   45525641 |        109 |      866.1 | 1304121344
    7300000 |   38832762 |   46132903 |        109 |      877.1 | 1304121344
    7400000 |   39394951 |   46795082 |        109 |      889.4 | 1304121344
    7500000 |   39994601 |   47494736 |        109 |      902.0 | 1304121344
    7600000 |   40586675 |   48186760 |        109 |      914.6 | 1304121344
    7700000 |   41087087 |   48787188 |        109 |      925.9 | 1304121344
    7800000 |   41627384 |   49427492 |        109 |      937.8 | 1304121344
    7900000 |   42214288 |   50114373 |        109 |      950.5 | 1304121344

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    8000000 |   42722866 |   50722945 |        109 |      961.6 | 1304121344
    8100000 |   43262461 |   51362526 |        109 |      973.3 | 1304121344
    8200000 |   43829574 |   52029611 |        109 |      985.2 | 1304121344

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:       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:   8203789
Num buffers:              2
Buffers:
  ()
  (0)

Num buffer arrays:        19683
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:      8203789
Number of new states:         8203789
Number of states matched:    43853616
Search depth reached:             109
Number of transitions:       52057404
Search time (seconds):        985.956
Max memory (bytes):        1977024512
Before gc...
  Total memory:            1304121344
  Free memory :             446934368
  Used memory :             857186976
After gc...
  Total memory:            1533853696
  Free memory :             677793256
  Used memory :             856060440
