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 |     349728 |     450018 |        145 |        8.1 |   12914688
     200000 |     772664 |     972885 |        145 |       18.3 |   36118528
     300000 |    1196748 |    1497028 |        145 |       28.0 |   36118528
     400000 |    1579063 |    1979286 |        145 |       38.0 |   60416000
     500000 |    1982457 |    2482720 |        145 |       47.8 |   60416000
     600000 |    2407075 |    3007350 |        145 |       59.3 |  101109760
     700000 |    2843984 |    3544226 |        145 |       70.5 |  101109760
     800000 |    3259059 |    4059270 |        145 |       80.8 |  101109760
     900000 |    3678274 |    4578478 |        145 |       92.7 |  169238528
    1000000 |    4087884 |    5088124 |        145 |      103.4 |  169238528
    1100000 |    4472014 |    5572222 |        145 |      113.9 |  169238528
    1200000 |    4876157 |    6076412 |        145 |      124.7 |  169238528
    1300000 |    5307995 |    6608214 |        145 |      135.5 |  169238528
    1400000 |    5747518 |    7147690 |        145 |      146.4 |  169238528
    1500000 |    6173659 |    7673881 |        145 |      157.3 |  169238528
    1600000 |    6612277 |    8212461 |        145 |      170.7 |  282742784
    1700000 |    7034672 |    8734820 |        145 |      181.6 |  282742784
    1800000 |    7455415 |    9255559 |        145 |      192.6 |  282742784
    1900000 |    7825196 |    9725309 |        145 |      202.8 |  282742784

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |    8229494 |   10229702 |        145 |      213.4 |  282742784
    2100000 |    8673374 |   10773516 |        145 |      224.9 |  282742784
    2200000 |    9093060 |   11293202 |        145 |      236.0 |  282742784
    2300000 |    9535697 |   11835832 |        145 |      247.6 |  282742784
    2400000 |    9949614 |   12349789 |        145 |      258.4 |  282742784
    2500000 |   10367354 |   12867476 |        145 |      269.3 |  282742784
    2600000 |   10785149 |   13385278 |        145 |      283.7 |  471937024
    2700000 |   11197004 |   13897070 |        145 |      294.8 |  471937024
    2800000 |   11598539 |   14398706 |        145 |      305.5 |  471937024
    2900000 |   12037319 |   14937412 |        145 |      316.6 |  471937024
    3000000 |   12465117 |   15465232 |        145 |      327.1 |  471937024
    3100000 |   12907418 |   16007517 |        145 |      337.7 |  471937024
    3200000 |   13335621 |   16535665 |        145 |      348.3 |  471937024
    3300000 |   13741877 |   17041998 |        145 |      358.7 |  471937024
    3400000 |   14171707 |   17571805 |        145 |      369.6 |  471937024

No deadlock found.

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

Num buffer arrays:        15625
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:      3473503
Number of new states:         3473503
Number of states matched:    14489094
Search depth reached:             145
Number of transitions:       17962596
Search time (seconds):        377.518
Max memory (bytes):        1977024512
Before gc...
  Total memory:             471937024
  Free memory :              92991648
  Used memory :             378945376
After gc...
  Total memory:             652013568
  Free memory :             288135768
  Used memory :             363877800
