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 |      90971 |     191183 |        112 |        6.7 |   21565440
     200000 |     195607 |     395809 |        112 |       13.9 |   36098048
     300000 |     312556 |     612762 |        112 |       21.0 |   60600320
     400000 |     439819 |     840021 |        112 |       28.0 |   60600320
     500000 |     592752 |    1092923 |        112 |       36.6 |  101199872
     600000 |     771311 |    1371513 |        112 |       45.0 |  101199872
     700000 |     986758 |    1686923 |        112 |       54.6 |  101199872
     800000 |    1085394 |    1885598 |        112 |       62.5 |  169168896
     900000 |    1183290 |    2083492 |        112 |       69.0 |  169168896
    1000000 |    1288890 |    2289075 |        112 |       75.7 |  169168896
    1100000 |    1398432 |    2498684 |        112 |       82.4 |  169168896
    1200000 |    1521350 |    2721555 |        112 |       89.4 |  169168896
    1300000 |    1662681 |    2962874 |        112 |       96.9 |  169168896
    1400000 |    1810974 |    3211151 |        112 |      106.6 |  282628096
    1500000 |    1981070 |    3481270 |        112 |      114.9 |  282628096
    1600000 |    2190094 |    3790279 |        112 |      124.8 |  282628096
    1700000 |    2402476 |    4102660 |        112 |      134.6 |  282628096
    1800000 |    2648212 |    4448372 |        112 |      145.3 |  282628096
    1900000 |    2792873 |    4693079 |        112 |      153.0 |  282628096

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |    2916909 |    4917090 |        112 |      160.1 |  282628096
    2100000 |    3049289 |    5149487 |        112 |      167.3 |  282628096
    2200000 |    3205889 |    5406067 |        112 |      175.2 |  282628096
    2300000 |    3395620 |    5695805 |        112 |      187.7 |  471244800
    2400000 |    3615434 |    6015634 |        112 |      197.8 |  471244800
    2500000 |    3736723 |    6236926 |        112 |      204.8 |  471244800
    2600000 |    3889023 |    6489200 |        112 |      212.6 |  471244800
    2700000 |    4081841 |    6781995 |        112 |      221.6 |  471244800
    2800000 |    4226609 |    7026752 |        112 |      229.4 |  471244800
    2900000 |    4389072 |    7289214 |        112 |      237.5 |  471244800
    3000000 |    4540381 |    7540487 |        112 |      245.4 |  471244800
    3100000 |    4642664 |    7742749 |        112 |      252.4 |  471244800
    3200000 |    4753001 |    7953076 |        112 |      259.3 |  471244800
    3300000 |    4876264 |    8176315 |        112 |      266.5 |  471244800
    3400000 |    5018518 |    8418587 |        112 |      274.3 |  471244800
    3500000 |    5185849 |    8685938 |        112 |      282.6 |  471244800
    3600000 |    5392512 |    8992589 |        112 |      292.4 |  471244800
    3700000 |    5543307 |    9243424 |        112 |      300.7 |  471244800
    3800000 |    5641509 |    9441599 |        112 |      307.4 |  471244800
    3900000 |    5748070 |    9648176 |        112 |      322.4 |  787857408

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    4000000 |    5858942 |    9859034 |        112 |      329.6 |  787857408
    4100000 |    5993733 |   10093844 |        112 |      337.2 |  787857408
    4200000 |    6138782 |   10338833 |        112 |      345.1 |  787857408
    4300000 |    6292108 |   10592213 |        112 |      353.1 |  787857408
    4400000 |    6482264 |   10882354 |        112 |      362.5 |  787857408
    4500000 |    6696229 |   11196314 |        112 |      373.0 |  787857408
    4600000 |    6920151 |   11520219 |        112 |      383.3 |  787857408
    4700000 |    7142966 |   11843060 |        112 |      393.7 |  787857408
    4800000 |    7262365 |   12062455 |        112 |      400.9 |  787857408
    4900000 |    7392961 |   12293025 |        112 |      408.2 |  787857408
    5000000 |    7543854 |   12543943 |        112 |      416.0 |  787857408
    5100000 |    7722216 |   12822261 |        112 |      424.8 |  787857408
    5200000 |    7958805 |   13158842 |        112 |      435.7 |  787857408
    5300000 |    8087926 |   13387997 |        112 |      443.1 |  787857408
    5400000 |    8231771 |   13631837 |        112 |      450.7 |  787857408
    5500000 |    8435294 |   13935365 |        112 |      460.5 |  787857408
    5600000 |    8570409 |   14170487 |        112 |      468.0 |  787857408
    5700000 |    8735083 |   14435144 |        112 |      476.3 |  787857408
    5800000 |    8894581 |   14694624 |        112 |      484.6 |  787857408

No deadlock found.

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

No unreached local states.
Num local state arrays:   5804883
Num buffers:              2
Buffers:
  ()
  (0)

Num buffer arrays:        39365
Lengths reached:          [1,0,0,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0,1,0,1,0,0,0]

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

Number of states stored:      5804883
Number of new states:         5804883
Number of states matched:     8901950
Search depth reached:             112
Number of transitions:       14706832
Search time (seconds):        485.157
Max memory (bytes):        1977024512
Before gc...
  Total memory:             787857408
  Free memory :             125152944
  Used memory :             662704464
After gc...
  Total memory:            1185923072
  Free memory :             524034816
  Used memory :             661888256
