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 |    3379200
     100000 |      73830 |     174454 |        120 |        4.3 |   14970880
     200000 |     150887 |     351492 |        120 |        9.2 |   42024960
     300000 |     228699 |     529333 |        120 |       13.7 |   42024960
     400000 |     306545 |     707159 |        120 |       18.8 |   70545408
     500000 |     385871 |     886460 |        120 |       23.5 |   70545408
     600000 |     465971 |    1066605 |        120 |       29.3 |  118472704
     700000 |     543387 |    1244003 |        120 |       34.0 |  118472704
     800000 |     622451 |    1423055 |        120 |       38.9 |  118472704
     900000 |     703477 |    1604050 |        120 |       44.0 |  118472704
    1000000 |     782467 |    1783075 |        120 |       50.2 |  198352896
    1100000 |     863384 |    1963965 |        120 |       55.2 |  198352896
    1200000 |     945193 |    2145785 |        120 |       60.4 |  198352896

No deadlock found.

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

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

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

Number of states stored:      1245813
Number of new states:         1245813
Number of states matched:      983585
Search depth reached:             120
Number of transitions:        2229397
Search time (seconds):         62.663
Max memory (bytes):        1977024512
Before gc...
  Total memory:             198352896
  Free memory :              56118864
  Used memory :             142234032
After gc...
  Total memory:             253562880
  Free memory :             112044016
  Used memory :             141518864
