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 |    3616768
     100000 |      73814 |     174709 |        141 |        4.8 |   15740928
     200000 |     150870 |     351741 |        141 |       10.0 |   44400640
     300000 |     228684 |     529587 |        141 |       15.0 |   44400640
     400000 |     306528 |     707414 |        141 |       20.6 |   74506240
     500000 |     385852 |     886719 |        141 |       25.8 |   74506240
     600000 |     465956 |    1066857 |        141 |       32.1 |  124985344
     700000 |     543370 |    1244256 |        141 |       37.3 |  124985344
     800000 |     622434 |    1423312 |        141 |       42.6 |  124985344
     900000 |     703458 |    1604310 |        141 |       48.1 |  124985344
    1000000 |     782450 |    1783332 |        141 |       54.8 |  210821120
    1100000 |     863366 |    1964225 |        141 |       60.4 |  210821120
    1200000 |     945176 |    2146036 |        141 |       65.9 |  210821120
    1300000 |    1024380 |    2325279 |        141 |       71.3 |  210821120
    1400000 |    1103116 |    2504009 |        141 |       76.9 |  210821120
    1500000 |    1182490 |    2683354 |        141 |       82.5 |  210821120
    1600000 |    1262498 |    2863376 |        141 |       88.2 |  210821120
    1700000 |    1342910 |    3043777 |        141 |       96.2 |  355782656
    1800000 |    1424088 |    3224934 |        141 |      102.0 |  355782656
    1900000 |    1506760 |    3407594 |        141 |      107.8 |  355782656

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |    1585724 |    3586597 |        141 |      113.5 |  355782656
    2100000 |    1666646 |    3767517 |        141 |      119.3 |  355782656
    2200000 |    1748462 |    3949321 |        141 |      125.2 |  355782656
    2300000 |    1830094 |    4130957 |        141 |      131.0 |  355782656
    2400000 |    1912334 |    4313193 |        141 |      137.0 |  355782656
    2500000 |    1994954 |    4495806 |        141 |      142.8 |  355782656
    2600000 |    2078717 |    4679539 |        141 |      148.6 |  355782656
    2700000 |    2156988 |    4857887 |        141 |      154.2 |  355782656
    2800000 |    2235750 |    5036625 |        141 |      163.0 |  596750336
    2900000 |    2315802 |    5216668 |        141 |      169.5 |  596750336
    3000000 |    2395596 |    5396469 |        141 |      175.2 |  596750336
    3100000 |    2476484 |    5577369 |        141 |      181.3 |  596750336
    3200000 |    2557520 |    5758384 |        141 |      187.4 |  596750336
    3300000 |    2639093 |    5939973 |        141 |      193.2 |  596750336
    3400000 |    2719027 |    6119893 |        141 |      199.2 |  596750336
    3500000 |    2800008 |    6300856 |        141 |      205.3 |  596750336
    3600000 |    2882264 |    6483108 |        141 |      211.3 |  596750336
    3700000 |    2963722 |    6664574 |        141 |      217.4 |  596750336
    3800000 |    3046388 |    6847215 |        141 |      223.7 |  596750336
    3900000 |    3128948 |    7029799 |        141 |      229.8 |  596750336

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    4000000 |    3212824 |    7213722 |        141 |      235.9 |  596750336
    4100000 |    3291942 |    7392817 |        141 |      242.4 |  596750336
    4200000 |    3372922 |    7573778 |        141 |      248.5 |  596750336
    4300000 |    3454730 |    7755582 |        141 |      254.7 |  596750336
    4400000 |    3536360 |    7937224 |        141 |      261.0 |  596750336
    4500000 |    3618612 |    8119463 |        141 |      267.1 |  596750336
    4600000 |    3701272 |    8302116 |        141 |      273.4 |  596750336
    4700000 |    3785058 |    8485894 |        141 |      286.6 | 1004916736
    4800000 |    3866734 |    8667577 |        141 |      293.9 | 1004916736
    4900000 |    3949363 |    8850229 |        141 |      300.3 | 1004916736
    5000000 |    4031926 |    9032781 |        141 |      306.6 | 1004916736
    5100000 |    4115894 |    9216757 |        141 |      312.8 | 1004916736
    5200000 |    4198574 |    9399415 |        141 |      319.2 | 1004916736
    5300000 |    4282600 |    9583448 |        141 |      325.2 | 1004916736
    5400000 |    4366740 |    9767571 |        141 |      331.5 | 1004916736
    5500000 |    4451960 |    9952766 |        141 |      337.7 | 1004916736
    5600000 |    4529046 |   10129925 |        141 |      343.6 | 1004916736
    5700000 |    4607990 |   10308869 |        141 |      349.8 | 1004916736
    5800000 |    4688518 |   10489377 |        141 |      356.0 | 1004916736
    5900000 |    4768040 |   10668920 |        141 |      362.3 | 1004916736

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    6000000 |    4848840 |   10849722 |        141 |      368.6 | 1004916736
    6100000 |    4930294 |   11031157 |        141 |      375.0 | 1004916736
    6200000 |    5011386 |   11212276 |        141 |      381.4 | 1004916736
    6300000 |    5091690 |   11392542 |        141 |      387.7 | 1004916736
    6400000 |    5172772 |   11573625 |        141 |      394.1 | 1004916736
    6500000 |    5255358 |   11756195 |        141 |      400.6 | 1004916736
    6600000 |    5336408 |   11937268 |        141 |      407.1 | 1004916736
    6700000 |    5418930 |   12119778 |        141 |      413.6 | 1004916736
    6800000 |    5501840 |   12302682 |        141 |      420.2 | 1004916736
    6900000 |    5584750 |   12485639 |        141 |      426.7 | 1004916736
    7000000 |    5664619 |   12665459 |        141 |      433.1 | 1004916736
    7100000 |    5745452 |   12846307 |        141 |      439.5 | 1004916736
    7200000 |    5827698 |   13028564 |        141 |      446.1 | 1004916736
    7300000 |    5909134 |   13209997 |        141 |      452.7 | 1004916736
    7400000 |    5991690 |   13392526 |        141 |      459.2 | 1004916736
    7500000 |    6074454 |   13575327 |        141 |      465.8 | 1004916736
    7600000 |    6158396 |   13759207 |        141 |      472.3 | 1004916736
    7700000 |    6239358 |   13940221 |        141 |      479.0 | 1004916736
    7800000 |    6321904 |   14122752 |        141 |      485.7 | 1004916736
    7900000 |    6404888 |   14305718 |        141 |      500.6 | 1676390400

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    8000000 |    6488560 |   14489404 |        141 |      509.1 | 1676390400
    8100000 |    6571512 |   14672364 |        141 |      515.4 | 1676390400
    8200000 |    6655556 |   14856409 |        141 |      522.2 | 1676390400
    8300000 |    6739848 |   15040666 |        141 |      528.5 | 1676390400
    8400000 |    6824216 |   15225092 |        141 |      535.3 | 1676390400
    8500000 |    6903752 |   15404616 |        141 |      541.7 | 1676390400
    8600000 |    6984702 |   15585565 |        141 |      548.5 | 1676390400
    8700000 |    7066732 |   15767571 |        141 |      555.4 | 1676390400
    8800000 |    7148280 |   15949132 |        141 |      561.6 | 1676390400
    8900000 |    7230712 |   16131564 |        141 |      568.4 | 1676390400
    9000000 |    7313406 |   16314227 |        141 |      574.7 | 1676390400
    9100000 |    7397282 |   16498106 |        141 |      581.8 | 1676390400
    9200000 |    7478632 |   16679496 |        141 |      588.5 | 1676390400
    9300000 |    7561150 |   16861995 |        141 |      594.9 | 1676390400
    9400000 |    7643918 |   17044759 |        141 |      602.0 | 1676390400
    9500000 |    7727708 |   17228565 |        141 |      608.4 | 1676390400
    9600000 |    7810586 |   17411426 |        141 |      615.3 | 1676390400
    9700000 |    7894610 |   17595438 |        141 |      621.6 | 1676390400
    9800000 |    7978834 |   17779662 |        141 |      628.8 | 1676390400
    9900000 |    8063932 |   17964805 |        141 |      635.6 | 1676390400

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
   10000000 |    8144994 |   18145842 |        141 |      641.9 | 1676390400
   10100000 |    8227564 |   18328419 |        141 |      648.9 | 1676390400
   10200000 |    8310596 |   18511449 |        141 |      655.3 | 1676390400
   10300000 |    8394175 |   18695030 |        141 |      662.4 | 1676390400
   10400000 |    8477263 |   18878092 |        141 |      669.0 | 1676390400
   10500000 |    8561268 |   19062103 |        141 |      676.0 | 1676390400
   10600000 |    8645672 |   19246504 |        141 |      683.0 | 1676390400
   10700000 |    8730378 |   19431230 |        141 |      689.5 | 1676390400
   10800000 |    8813364 |   19614191 |        141 |      696.5 | 1676390400
   10900000 |    8897344 |   19798176 |        141 |      703.0 | 1676390400
   11000000 |    8981612 |   19982435 |        141 |      710.3 | 1676390400
   11100000 |    9066782 |   20167621 |        141 |      716.6 | 1676390400
   11200000 |    9150923 |   20351747 |        141 |      723.8 | 1676390400
   11300000 |    9236146 |   20536940 |        141 |      731.0 | 1676390400
   11400000 |    9321212 |   20722001 |        141 |      737.5 | 1676390400
   11500000 |    9407168 |   20907958 |        141 |      744.5 | 1676390400

No deadlock found.

Number of processes:      21
Bytes per process:        [2,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]
Bytes for all procs:      22
Number of channels:       40
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]

No unreached local states.
Num local state arrays:   11535196
Num buffers:              1
Buffers:
  ()

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

Buffer arrays:
  [(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),(),()]

Number of states stored:     11535196
Number of new states:        11535196
Number of states matched:     9437945
Search depth reached:             141
Number of transitions:       20973140
Search time (seconds):        746.776
Max memory (bytes):        1977024512
Before gc...
  Total memory:            1676390400
  Free memory :             259375528
  Used memory :            1417014872
After gc...
  Total memory:            1977024512
  Free memory :             590150792
  Used memory :            1386873720
