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 |    3596288
     100000 |      73824 |     174539 |        127 |        4.6 |   16044032
     200000 |     150882 |     351566 |        127 |        9.3 |   26849280
     300000 |     228694 |     529413 |        127 |       14.1 |   45232128
     400000 |     306540 |     707236 |        127 |       19.4 |   75563008
     500000 |     385864 |     886545 |        127 |       24.2 |   75563008
     600000 |     465966 |    1066685 |        127 |       29.1 |   75563008
     700000 |     543382 |    1244079 |        127 |       35.1 |  126156800
     800000 |     622444 |    1423140 |        127 |       40.2 |  126156800
     900000 |     703470 |    1604135 |        127 |       45.3 |  126156800
    1000000 |     782460 |    1783160 |        127 |       50.3 |  126156800
    1100000 |     863378 |    1964050 |        127 |       56.9 |  211136512
    1200000 |     945188 |    2145860 |        127 |       62.2 |  211136512
    1300000 |    1024390 |    2325105 |        127 |       67.3 |  211136512
    1400000 |    1103128 |    2503831 |        127 |       72.5 |  211136512
    1500000 |    1182502 |    2683179 |        127 |       77.8 |  211136512
    1600000 |    1262510 |    2863199 |        127 |       83.0 |  211136512
    1700000 |    1342922 |    3043600 |        127 |       88.5 |  211136512
    1800000 |    1424100 |    3224762 |        127 |       96.2 |  354496512
    1900000 |    1506773 |    3407409 |        127 |      101.6 |  354496512

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |    1585734 |    3586427 |        127 |      106.9 |  354496512
    2100000 |    1666658 |    3767340 |        127 |      112.2 |  354496512
    2200000 |    1748474 |    3949146 |        127 |      117.8 |  354496512
    2300000 |    1830106 |    4130780 |        127 |      123.8 |  354496512
    2400000 |    1912346 |    4313018 |        127 |      129.3 |  354496512
    2500000 |    1994966 |    4495631 |        127 |      134.9 |  354496512
    2600000 |    2078729 |    4679366 |        127 |      140.4 |  354496512

No deadlock found.

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

No unreached local states.
Num local state arrays:   2622142
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]

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

Number of states stored:      2622142
Number of new states:         2622142
Number of states matched:     2097765
Search depth reached:             127
Number of transitions:        4719906
Search time (seconds):        141.638
Max memory (bytes):        1977024512
Before gc...
  Total memory:             354496512
  Free memory :              54181928
  Used memory :             300314584
After gc...
  Total memory:             530239488
  Free memory :             234353880
  Used memory :             295885608
