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 |     282399 |    1001675 |      56061 |        7.7 |   36261888
     200000 |     613013 |    2100731 |     111559 |       16.8 |   61157376
     300000 |     953068 |    3238785 |     167590 |       27.1 |  101126144
     400000 |    1309952 |    4369338 |     220671 |       38.1 |  168763392
     500000 |    1656616 |    5523592 |     276704 |       48.5 |  168763392
     600000 |    2035571 |    6733006 |     332209 |       61.5 |  282497024
     700000 |    2440887 |    8020635 |     387979 |       73.0 |  282497024
     800000 |    3091569 |    8851589 |     393011 |       87.7 |  282497024
     900000 |    3822802 |    9685447 |     393188 |      103.9 |  282497024
    1000000 |    4561934 |   10524547 |     393188 |      120.2 |  282497024
    1100000 |    5322382 |   11385121 |     393188 |      136.6 |  282497024
    1200000 |    6134869 |   12297565 |     393188 |      154.6 |  282497024
    1300000 |    6994510 |   13257220 |     393188 |      173.4 |  282497024
    1400000 |    7852427 |   14215128 |     393188 |      192.0 |  282497024
    1500000 |    8723254 |   15185931 |     393188 |      211.2 |  282497024
    1600000 |    9583693 |   16146386 |     393188 |      230.0 |  282497024
    1700000 |   10427720 |   17090455 |     393188 |      248.8 |  282497024
    1800000 |   11278567 |   18041274 |     393188 |      267.7 |  282497024
    1900000 |   12134329 |   18997050 |     393188 |      286.8 |  282497024

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |   12997047 |   19959745 |     393188 |      309.7 |  471244800
    2100000 |   13866569 |   20929280 |     393188 |      329.4 |  471244800
    2200000 |   14716157 |   21878871 |     393188 |      348.6 |  471244800
    2300000 |   15558290 |   22821015 |     393188 |      367.9 |  471244800

No deadlock found.

Number of processes:      18
Bytes per process:        [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1]
Bytes for all procs:      18
Number of channels:       17
Bytes per message:        [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:   18
Num buffers:              2
Buffers:
  ()
  (0)

Num buffer arrays:        131072
Lengths reached:          [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:      2359296
Number of new states:         2359296
Number of states matched:    21037057
Search depth reached:          393188
Number of transitions:       23396352
Search time (seconds):        465.154
Max memory (bytes):        1977024512
Before gc...
  Total memory:             471244800
  Free memory :             165221184
  Used memory :             306023616
After gc...
  Total memory:             471244800
  Free memory :             337820832
  Used memory :             133423968
