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 |     249105 |     825736 |      55370 |        6.4 |   38621184
     200000 |     581575 |    1697150 |     101360 |       14.0 |   65527808
     300000 |     959350 |    2562782 |     142071 |       23.0 |  107888640
     400000 |    1277754 |    3477059 |     193539 |       30.8 |  107888640
     500000 |    1604007 |    4448668 |     246733 |       40.4 |  180232192
     600000 |    2055017 |    5337372 |     279672 |       50.0 |  180232192
     700000 |    2542208 |    6282733 |     312376 |       60.8 |  180232192
     800000 |    2913464 |    7190369 |     357305 |       69.9 |  180232192
     900000 |    3264180 |    8153522 |     407391 |       81.4 |  301285376
    1000000 |    3662435 |    9071590 |     449171 |       90.9 |  301285376
    1100000 |    3961841 |   10042498 |     505833 |       99.4 |  301285376
    1200000 |    4384438 |   10997211 |     546361 |      110.2 |  301285376
    1300000 |    4818919 |   11968182 |     587615 |      121.2 |  301285376
    1400000 |    5160088 |   13007814 |     643296 |      134.5 |  503980032
    1500000 |    5583861 |   14011801 |     687125 |      145.2 |  503980032
    1600000 |    6194434 |   14872005 |     700203 |      158.3 |  503980032
    1700000 |    6674201 |   15829796 |     736086 |      170.4 |  503980032
    1800000 |    7181555 |   16784097 |     767277 |      182.6 |  503980032
    1900000 |    7721071 |   17724187 |     794540 |      195.3 |  503980032

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    2000000 |    8229484 |   18701309 |     826317 |      207.9 |  503980032
    2100000 |    8665823 |   19718232 |     868950 |      219.3 |  503980032
    2200000 |    9203698 |   20687629 |     898529 |      231.5 |  503980032
    2300000 |    9663805 |   21725979 |     940814 |      243.7 |  503980032
    2400000 |    9968114 |   22665658 |     995416 |      260.2 |  831606784
    2500000 |   10326580 |   23642477 |    1045403 |      270.8 |  831606784
    2600000 |   10702139 |   24638435 |    1094575 |      282.4 |  831606784
    2700000 |   11220790 |   25582342 |    1124525 |      295.7 |  831606784
    2800000 |   11928294 |   26430114 |    1127932 |      310.3 |  831606784
    2900000 |   12513893 |   27403265 |    1152426 |      324.4 |  831606784
    3000000 |   13074172 |   28410133 |    1182182 |      338.4 |  831606784
    3100000 |   13730823 |   29315907 |    1194393 |      353.3 |  831606784
    3200000 |   14424480 |   30234391 |    1204657 |      369.5 |  831606784
    3300000 |   15052602 |   31172277 |    1224003 |      384.2 |  831606784
    3400000 |   15405860 |   32251558 |    1279782 |      395.4 |  831606784
    3500000 |   15875203 |   33257423 |    1318897 |      408.7 |  831606784
    3600000 |   16548633 |   34196224 |    1332917 |      424.6 |  831606784
    3700000 |   17337255 |   35173745 |    1340197 |      443.0 |  831606784
    3800000 |   17850451 |   36171354 |    1374634 |      457.0 |  831606784
    3900000 |   18465740 |   37163428 |    1397627 |      473.3 |  831606784

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    4000000 |   18988285 |   38191851 |    1432416 |      487.8 |  831606784
    4100000 |   19584263 |   39178390 |    1457722 |      503.3 |  831606784
    4200000 |   20031391 |   40240516 |    1502755 |      516.3 |  831606784
    4300000 |   20622508 |   41221755 |    1526961 |      542.8 | 1395363840
    4400000 |   21392577 |   42095926 |    1527263 |      559.0 | 1395363840
    4500000 |   22039314 |   42894954 |    1531895 |      573.0 | 1395363840
    4600000 |   22823083 |   43864071 |    1538827 |      592.6 | 1395363840
    4700000 |   23631246 |   44842063 |    1544253 |      611.7 | 1395363840
    4800000 |   24316904 |   45780022 |    1556473 |      628.5 | 1395363840
    4900000 |   24983386 |   46718899 |    1570478 |      645.3 | 1395363840
    5000000 |   25714360 |   47661494 |    1579393 |      663.7 | 1395363840
    5100000 |   26478216 |   48561989 |    1582247 |      682.3 | 1395363840
    5200000 |   27274981 |   49504778 |    1585835 |      701.5 | 1395363840
    5300000 |   28023981 |   50381232 |    1587952 |      718.6 | 1395363840
    5400000 |   28822262 |   51290336 |    1588773 |      736.9 | 1395363840
    5500000 |   29632866 |   52226816 |    1590754 |      756.5 | 1395363840
    5600000 |   30419499 |   53116573 |    1590993 |      773.7 | 1395363840
    5700000 |   31199391 |   54009873 |    1592026 |      792.3 | 1395363840
    5800000 |   31989797 |   54908309 |    1592633 |      810.9 | 1395363840
    5900000 |   32836164 |   55855092 |    1592664 |      830.4 | 1395363840

    nStored |   nMatched |     nTrans |      depth |       time |     totMem
    6000000 |   33698320 |   56822852 |    1593087 |      850.3 | 1395363840
    6100000 |   34526982 |   57752716 |    1593179 |      869.0 | 1395363840
    6200000 |   35370710 |   58696759 |    1593225 |      888.8 | 1395363840
    6300000 |   36249692 |   59679122 |    1593450 |      910.1 | 1395363840
    6400000 |   37144369 |   60676108 |    1593631 |      931.3 | 1395363840
    6500000 |   38063371 |   61695305 |    1593648 |      953.2 | 1395363840
    6600000 |   38948642 |   62682499 |    1593780 |      974.8 | 1395363840
    6700000 |   39876886 |   63712070 |    1593873 |      996.7 | 1395363840
    6800000 |   40811723 |   64746343 |    1593875 |     1019.3 | 1395363840
    6900000 |   41778364 |   65812732 |    1593875 |     1042.0 | 1395363840

No deadlock found.

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

No unreached local states.
Num local state arrays:   13
Num buffers:              3
Buffers:
  ()
  (0)
  (0,0)

Num buffer arrays:        531441
Lengths reached:          [2,2,2,2,2,2,2,2,2,2,2,2]

Buffer arrays:
  [(),(),(),(),(),(),(),(),(),(),(),()]
  [(),(),(),(),(),(),(),(),(),(),(),(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:      6908733
Number of new states:         6908733
Number of states matched:    58989952
Search depth reached:         1593875
Number of transitions:       65898684
Search time (seconds):       1347.737
Max memory (bytes):        1977024512
Before gc...
  Total memory:            1395363840
  Free memory :             387873344
  Used memory :            1007490496
After gc...
  Total memory:            1395363840
  Free memory :             969571144
  Used memory :             425792696
