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 |      81357 |    1099372 |     100000 |        7.3 |   74043392
     200000 |     185318 |    2133260 |     199989 |       15.6 |  122904576
     300000 |     295694 |    3139769 |     299985 |       24.9 |  208097280
     400000 |     410550 |    4126861 |     399967 |       33.5 |  208097280
     500000 |     527458 |    5097983 |     499926 |       42.4 |  208097280
     600000 |     646158 |    6058819 |     599870 |       53.6 |  353296384
     700000 |     768521 |    7008676 |     699782 |       62.9 |  353296384
     800000 |     890644 |    7948925 |     799672 |       72.5 |  353296384
     900000 |    1016100 |    8883320 |     899461 |       85.6 |  591843328
    1000000 |    1141990 |    9809049 |     999219 |       95.7 |  591843328
    1100000 |    1268864 |   10727990 |    1098922 |      106.4 |  591843328
    1200000 |    1397722 |   11641307 |    1198425 |      116.5 |  591843328
    1300000 |    1532808 |   12546024 |    1296913 |      126.7 |  591843328
    1400000 |    1697712 |   13437367 |    1389994 |      138.3 |  591843328
    1500000 |    1908274 |   14323383 |    1476036 |      150.6 |  591843328
    1600000 |    2112769 |   15202321 |    1562985 |      170.9 |  962179072
    1700000 |    2389494 |   16091021 |    1638414 |      185.3 |  962179072
    1800000 |    2561981 |   16952603 |    1731201 |      197.3 |  962179072
    1900000 |    2740245 |   17771913 |    1824270 |      209.7 |  962179072

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |    3216131 |   18551848 |    1866959 |      230.6 |  962179072
    2100000 |    4810507 |   19285590 |    1866959 |      291.6 |  962179072
    2200000 |    6755901 |   20092757 |    1866959 |      363.5 |  962179072
    2300000 |    8810700 |   20908465 |    1866959 |      438.2 |  962179072
    2400000 |   11344851 |   21760449 |    1866959 |      527.3 |  962179072
    2500000 |   14224019 |   22630427 |    1866959 |      624.9 |  962179072
    2600000 |   17847971 |   23538032 |    1866959 |      742.0 |  962179072

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:       24
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]

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

Num buffer arrays:        531441
Lengths reached:          [1,1,1,1,1,1,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)]
  etc.

Number of states stored:      2657205
Number of new states:         2657205
Number of states matched:    21434788
Search depth reached:         1866959
Number of transitions:       24091992
Search time (seconds):        844.513
Max memory (bytes):        1977024512
Before gc...
  Total memory:             962179072
  Free memory :             241025608
  Used memory :             721153464
After gc...
  Total memory:             962179072
  Free memory :             733275440
  Used memory :             228903632
