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 |     165965 |     791023 |      71556 |        5.1 |   38010880
     200000 |     397127 |    1618152 |     134084 |       10.9 |   64335872
     300000 |     634881 |    2464548 |     195296 |       17.7 |  106180608
     400000 |     863447 |    3327718 |     260600 |       23.8 |  106180608
     500000 |    1146331 |    4161735 |     313737 |       31.3 |  177340416
     600000 |    1526747 |    5012695 |     354432 |       39.2 |  177340416
     700000 |    1908800 |    5878035 |     396665 |       47.2 |  177340416
     800000 |    2263033 |    6730729 |     441667 |       57.0 |  295788544
     900000 |    2598311 |    7627078 |     492664 |       64.9 |  295788544
    1000000 |    2897371 |    8463222 |     545997 |       72.1 |  295788544
    1100000 |    3176447 |    9378510 |     606212 |       79.6 |  295788544
    1200000 |    3632685 |   10218585 |     636545 |       89.0 |  295788544
    1300000 |    4185939 |   10985616 |     648501 |       99.2 |  295788544
    1400000 |    4612941 |   11848503 |     684414 |      112.2 |  504827904
    1500000 |    4978333 |   12723863 |     729291 |      120.8 |  504827904
    1600000 |    5525417 |   13529513 |     746121 |      131.3 |  504827904
    1700000 |    6071583 |   14342796 |     763474 |      142.2 |  504827904
    1800000 |    6694840 |   15111762 |     768196 |      153.7 |  504827904
    1900000 |    7327264 |   15924578 |     776391 |      165.7 |  504827904

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |    7997484 |   16729939 |     780023 |      178.5 |  504827904
    2100000 |    8661197 |   17532548 |     783966 |      191.0 |  504827904
    2200000 |    9354269 |   18334772 |     784869 |      204.5 |  504827904
    2300000 |   10033977 |   19121407 |     785574 |      217.4 |  504827904
    2400000 |   10757400 |   19945406 |     785637 |      231.4 |  504827904
    2500000 |   11502997 |   20790614 |     785637 |      246.0 |  504827904
    2600000 |   12257734 |   21645153 |     785637 |      260.7 |  504827904

No deadlock found.

Number of processes:      10
Bytes per process:        [1,1,1,1,1,1,1,1,1,1]
Bytes for all procs:      10
Number of channels:       9
Bytes per message:        [1,1,1,1,1,1,1,1,1]

No unreached local states.
Num local state arrays:   10
Num buffers:              4
Buffers:
  ()
  (0)
  (0,0)
  (0,0,0)

Num buffer arrays:        262144
Lengths reached:          [3,3,3,3,3,3,3,3,3]

Buffer arrays:
  [(),(),(),(),(),(),(),(),()]
  [(),(),(),(),(),(),(),(),(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)]
  etc.

Number of states stored:      2621440
Number of new states:         2621440
Number of states matched:    19202049
Search depth reached:          785637
Number of transitions:       21823488
Search time (seconds):        359.126
Max memory (bytes):        1977024512
Before gc...
  Total memory:             504827904
  Free memory :             111521576
  Used memory :             393306328
After gc...
  Total memory:             504827904
  Free memory :             347316080
  Used memory :             157511824
