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 |      73836 |     174380 |        113 |        4.2 |   14913536
     200000 |     150894 |     351412 |        113 |        8.8 |   41869312
     300000 |     228704 |     529259 |        113 |       13.0 |   41869312
     400000 |     306551 |     707079 |        113 |       17.9 |   70504448
     500000 |     385876 |     886390 |        113 |       22.4 |   70504448

No deadlock found.

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

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

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

Number of states stored:       590384
Number of new states:          590384
Number of states matched:      459233
Search depth reached:             113
Number of transitions:        1049616
Search time (seconds):         27.459
Max memory (bytes):        1977024512
Before gc...
  Total memory:             118624256
  Free memory :              45790976
  Used memory :              72833280
After gc...
  Total memory:             121700352
  Free memory :              53794008
  Used memory :              67906344
