Trace number 3260944

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
glucose 2? (TO) 1300.02 1300.01

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-16-31-sat.cnf
MD5SUM34c6b89fff5c4d1bd23006ea2314b10d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.028995
Satisfiable
(Un)Satisfiability was proved
Number of variables496
Number of clauses3976
Sum of the clauses size15376
Maximum clause length31
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23720
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5256

Solver Data 

0.00/0.00	c
0.00/0.00	c Starting SatElite Preprocessing
0.00/0.00	c
0.00/0.00	c Parsing...
0.00/0.00	c ==============================================================================
0.00/0.00	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.00	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.00	c ==============================================================================
0.00/0.00	c |         0 |    3976    15376 |    1192       0        0     nan |  0.000 % |
0.00/0.00	c ==============================================================================
0.00/0.00	c Result  :   #vars: 496   #clauses: 3976   #literals: 15376
0.00/0.00	c CPU time:   0.001999 s
0.00/0.00	c ==============================================================================
0.00/0.00	c
0.00/0.00	c Starting glucose
0.00/0.00	c
10.39/10.40	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
10.39/10.40	c WARNING: for repeatability, setting FPU to use double precision
10.39/10.40	c ============================[ Problem Statistics ]=============================
10.39/10.40	c |                                                                             |
10.39/10.40	c |  Number of variables:           496                                         |
10.39/10.40	c |  Number of clauses:            3976                                         |
10.39/10.40	c |  Parse time:                   0.00 s                                       |
10.39/10.40	c |                                                                             |
10.39/10.40	c ============================[ Search Statistics ]==============================
10.39/10.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
10.39/10.40	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
10.39/10.40	c ===============================================================================
10.39/10.40	c |       930 |     496     3976    15376 |        1      930    177 |  0.000 % |
10.39/10.40	c |    135194 |     496     3976    15376 |        1    24020    110 |  0.000 % |
10.39/10.40	c |    136945 |     496     3976    15376 |        1    13365     81 |  0.000 % |
10.39/10.40	c |    137233 |     496     3976    15376 |        1    13653     83 |  0.000 % |
10.39/10.40	c |    138126 |     496     3976    15376 |        1    14546     88 |  0.000 % |
10.39/10.40	c |    138771 |     496     3976    15376 |        1    15191     91 |  0.000 % |
10.39/10.40	c |    139394 |     496     3976    15376 |        1    15814     94 |  0.000 % |
10.39/10.40	c |    139857 |     496     3976    15376 |        1    16277     96 |  0.000 % |
10.39/10.40	c |    140104 |     496     3976    15376 |        1    16524     97 |  0.000 % |
10.39/10.40	c |    140764 |     496     3976    15376 |        1    17184     99 |  0.000 % |
10.39/10.40	c |    141011 |     496     3976    15376 |        1    17431    100 |  0.000 % |
10.39/10.40	c |    141111 |     496     3976    15376 |        1    17531    101 |  0.000 % |
10.39/10.40	c |    141345 |     496     3976    15376 |        1    17765    101 |  0.000 % |
10.39/10.40	c |    141520 |     496     3976    15376 |        1    17940    102 |  0.000 % |
10.39/10.40	c |    141722 |     496     3976    15376 |        1    18142    102 |  0.000 % |
10.39/10.40	c |    158038 |     496     3976    15376 |        1    21460    113 |  0.000 % |
10.39/10.40	c |    158773 |     496     3976    15376 |        1    22195    115 |  0.000 % |
10.39/10.40	c |    159043 |     496     3976    15376 |        1    22465    115 |  0.000 % |
10.39/10.40	c |    159210 |     496     3976    15376 |        1    22632    115 |  0.000 % |
10.39/10.40	c |    159333 |     496     3976    15376 |        1    22755    116 |  0.000 % |
10.39/10.40	c |    162158 |     496     3976    15376 |        1    25580    120 |  0.000 % |
10.39/10.40	c |    162535 |     496     3976    15376 |        1    25957    121 |  0.000 % |
10.39/10.40	c |    163061 |     496     3976    15376 |        1    26483    122 |  0.000 % |
10.39/10.40	c |    164323 |     496     3976    15376 |        1    14137     73 |  0.000 % |
10.39/10.40	c |    165261 |     496     3976    15376 |        1    15075     78 |  0.000 % |
10.39/10.40	c |    165613 |     496     3976    15376 |        1    15427     80 |  0.000 % |
10.39/10.40	c |    165826 |     496     3976    15376 |        1    15640     81 |  0.000 % |
10.39/10.40	c |    166639 |     496     3976    15376 |        1    16453     85 |  0.000 % |
10.39/10.40	c |    166788 |     496     3976    15376 |        1    16602     86 |  0.000 % |
10.39/10.40	c |    167025 |     496     3976    15376 |        1    16839     87 |  0.000 % |
10.39/10.40	c |    168491 |     496     3976    15376 |        1    18305     95 |  0.000 % |
10.39/10.40	c |    168629 |     496     3976    15376 |        1    18443     95 |  0.000 % |
10.39/10.40	c |    168729 |     496     3976    15376 |        1    18543     96 |  0.000 % |
10.39/10.40	c |    169099 |     496     3976    15376 |        1    18913     97 |  0.000 % |
10.39/10.40	c |    169450 |     496     3976    15376 |        1    19264     98 |  0.000 % |
10.39/10.40	c |    172960 |     496     3976    15376 |        1    22774    106 |  0.000 % |
10.39/10.40	c |    173060 |     496     3976    15376 |        1    22874    106 |  0.000 % |
10.39/10.40	c |    175657 |     496     3976    15376 |        1    25471    113 |  0.000 % |
10.39/10.40	c |    175811 |     496     3976    15376 |        1    25625    113 |  0.000 % |
12.98/13.03	c |    175974 |     496     3976    15376 |        1    25788    113 |  0.000 % |
12.98/13.03	c |    176089 |     496     3976    15376 |        1    25903    114 |  0.000 % |
12.98/13.03	c |    176320 |     496     3976    15376 |        1    26134    114 |  0.000 % |
12.98/13.03	c |    176436 |     496     3976    15376 |        1    26250    114 |  0.000 % |
12.98/13.03	c |    176538 |     496     3976    15376 |        1    26352    114 |  0.000 % |
12.98/13.03	c |    176916 |     496     3976    15376 |        1    26730    115 |  0.000 % |
12.98/13.03	c |    177662 |     496     3976    15376 |        1    27476    116 |  0.000 % |
12.98/13.03	c |    177814 |     496     3976    15376 |        1    27628    116 |  0.000 % |
12.98/13.03	c |    177992 |     496     3976    15376 |        1    27806    117 |  0.000 % |
12.98/13.03	c |    178109 |     496     3976    15376 |        1    27923    117 |  0.000 % |
12.98/13.03	c |    178828 |     496     3976    15376 |        1    14455     68 |  0.000 % |
12.98/13.03	c |    179056 |     496     3976    15376 |        1    14683     69 |  0.000 % |
12.98/13.03	c |    181110 |     496     3976    15376 |        1    16737     82 |  0.000 % |
12.98/13.03	c |    181508 |     496     3976    15376 |        1    17135     83 |  0.000 % |
12.98/13.03	c |    181835 |     496     3976    15376 |        1    17462     85 |  0.000 % |
12.98/13.03	c |    181959 |     496     3976    15376 |        1    17586     85 |  0.000 % |
12.98/13.03	c |    182299 |     496     3976    15376 |        1    17926     87 |  0.000 % |
12.98/13.03	c |    182443 |     496     3976    15376 |        1    18070     87 |  0.000 % |
12.98/13.03	c |    182686 |     496     3976    15376 |        1    18313     88 |  0.000 % |
12.98/13.03	c |    182820 |     496     3976    15376 |        1    18447     89 |  0.000 % |
12.98/13.03	c |    183008 |     496     3976    15376 |        1    18635     89 |  0.000 % |
12.98/13.03	c |    183150 |     496     3976    15376 |        1    18777     90 |  0.000 % |
12.98/13.03	c |    183316 |     496     3976    15376 |        1    18943     90 |  0.000 % |
12.98/13.03	c |    183458 |     496     3976    15376 |        1    19085     91 |  0.000 % |
12.98/13.03	c |    184059 |     496     3976    15376 |        1    19686     92 |  0.000 % |
12.98/13.03	c |    184690 |     496     3976    15376 |        1    20317     95 |  0.000 % |
12.98/13.03	c |    184809 |     496     3976    15376 |        1    20436     95 |  0.000 % |
12.98/13.03	c |    185873 |     496     3976    15376 |        1    21500     99 |  0.000 % |
12.98/13.03	c |    186207 |     496     3976    15376 |        1    21834    100 |  0.000 % |
12.98/13.03	c |    187228 |     496     3976    15376 |        1    22855    102 |  0.000 % |
12.98/13.03	c |    189550 |     496     3976    15376 |        1    25177    105 |  0.000 % |
12.98/13.03	c |    189919 |     496     3976    15376 |        1    25546    106 |  0.000 % |
12.98/13.03	c |    190152 |     496     3976    15376 |        1    25779    106 |  0.000 % |
12.98/13.03	c |    191199 |     496     3976    15376 |        1    26826    109 |  0.000 % |
12.98/13.03	c |    191425 |     496     3976    15376 |        1    27052    109 |  0.000 % |
12.98/13.03	c |    191552 |     496     3976    15376 |        1    27179    110 |  0.000 % |
12.98/13.03	c |    191736 |     496     3976    15376 |        1    27363    110 |  0.000 % |
12.98/13.03	c |    192144 |     496     3976    15376 |        1    27771    111 |  0.000 % |
12.98/13.03	c |    192551 |     496     3976    15376 |        1    28178    111 |  0.000 % |
12.98/13.03	c |    192798 |     496     3976    15376 |        1    28425    112 |  0.000 % |
12.98/13.03	c |    196646 |     496     3976    15376 |        1    17477     82 |  0.000 % |
12.98/13.03	c |    196910 |     496     3976    15376 |        1    17741     83 |  0.000 % |
12.98/13.03	c |    197938 |     496     3976    15376 |        1    18769     87 |  0.000 % |
12.98/13.03	c |    198038 |     496     3976    15376 |        1    18869     87 |  0.000 % |
12.98/13.03	c |    198885 |     496     3976    15376 |        1    19716     90 |  0.000 % |
12.98/13.03	c |    216992 |     496     3976    15376 |        1    22426    107 |  0.000 % |
12.98/13.03	c |    217093 |     496     3976    15376 |        1    22527    107 |  0.000 % |
12.98/13.03	c |    218400 |     496     3976    15376 |        1    23834    109 |  0.000 % |
12.98/13.03	c |    219584 |     496     3976    15376 |        1    25018    112 |  0.000 % |
12.98/13.03	c |    219935 |     496     3976    15376 |        1    25369    113 |  0.000 % |
16.39/16.46	c |    220871 |     496     3976    15376 |        1    26305    116 |  0.000 % |
16.39/16.46	c |    221318 |     496     3976    15376 |        1    26752    116 |  0.000 % |
16.39/16.46	c |    222524 |     496     3976    15376 |        1    27958    118 |  0.000 % |
16.39/16.46	c |    222626 |     496     3976    15376 |        1    28060    118 |  0.000 % |
16.39/16.46	c |    223006 |     496     3976    15376 |        1    28440    118 |  0.000 % |
16.39/16.46	c |    224296 |     496     3976    15376 |        1    29730    121 |  0.000 % |
16.39/16.46	c |    228617 |     496     3976    15376 |        1    18040     76 |  0.000 % |
16.39/16.46	c |    228979 |     496     3976    15376 |        1    18402     78 |  0.000 % |
16.39/16.46	c |    229640 |     496     3976    15376 |        1    19063     81 |  0.000 % |
16.39/16.46	c |    229836 |     496     3976    15376 |        1    19259     82 |  0.000 % |
16.39/16.46	c |    230528 |     496     3976    15376 |        1    19951     85 |  0.000 % |
16.39/16.46	c |    230758 |     496     3976    15376 |        1    20181     86 |  0.000 % |
16.39/16.46	c |    230861 |     496     3976    15376 |        1    20284     86 |  0.000 % |
16.39/16.46	c |    230997 |     496     3976    15376 |        1    20420     87 |  0.000 % |
16.39/16.46	c |    231289 |     496     3976    15376 |        1    20712     88 |  0.000 % |
16.39/16.46	c |    231995 |     496     3976    15376 |        1    21418     91 |  0.000 % |
16.39/16.46	c |    232095 |     496     3976    15376 |        1    21518     91 |  0.000 % |
16.39/16.46	c |    232604 |     496     3976    15376 |        1    22027     93 |  0.000 % |
16.39/16.46	c |    232711 |     496     3976    15376 |        1    22134     93 |  0.000 % |
16.39/16.46	c |    233541 |     496     3976    15376 |        1    22964     95 |  0.000 % |
16.39/16.46	c |    233664 |     496     3976    15376 |        1    23087     96 |  0.000 % |
16.39/16.46	c |    233911 |     496     3976    15376 |        1    23334     97 |  0.000 % |
16.39/16.46	c |    250564 |     496     3976    15376 |        1    23395    104 |  0.000 % |
16.39/16.46	c |    250747 |     496     3976    15376 |        1    23578    105 |  0.000 % |
16.39/16.46	c |    251535 |     496     3976    15376 |        1    24366    107 |  0.000 % |
16.39/16.46	c |    251972 |     496     3976    15376 |        1    24803    108 |  0.000 % |
16.39/16.46	c |    254883 |     496     3976    15376 |        1    27714    114 |  0.000 % |
16.39/16.46	c |    255346 |     496     3976    15376 |        1    28177    115 |  0.000 % |
16.39/16.46	c |    255651 |     496     3976    15376 |        1    28482    116 |  0.000 % |
16.39/16.46	c |    255933 |     496     3976    15376 |        1    28764    116 |  0.000 % |
16.39/16.46	c |    256367 |     496     3976    15376 |        1    29198    117 |  0.000 % |
16.39/16.46	c |    256618 |     496     3976    15376 |        1    29449    117 |  0.000 % |
16.39/16.46	c |    256981 |     496     3976    15376 |        1    29812    118 |  0.000 % |
16.39/16.46	c |    257211 |     496     3976    15376 |        1    30042    118 |  0.000 % |
16.39/16.46	c |    257359 |     496     3976    15376 |        1    30190    118 |  0.000 % |
16.39/16.46	c |    257908 |     496     3976    15376 |        1    30739    119 |  0.000 % |
16.39/16.46	c |    262259 |     496     3976    15376 |        1    17891     66 |  0.000 % |
16.39/16.46	c |    262360 |     496     3976    15376 |        1    17992     67 |  0.000 % |
16.39/16.46	c |    262460 |     496     3976    15376 |        1    18092     68 |  0.000 % |
16.39/16.46	c |    262563 |     496     3976    15376 |        1    18195     69 |  0.000 % |
16.39/16.46	c |    262664 |     496     3976    15376 |        1    18296     69 |  0.000 % |
16.39/16.46	c |    263935 |     496     3976    15376 |        1    19567     76 |  0.000 % |
16.39/16.46	c |    277841 |     496     3976    15376 |        1    33473    107 |  0.000 % |
16.39/16.46	c |    277943 |     496     3976    15376 |        1    33575    107 |  0.000 % |
16.39/16.46	c |    280567 |     496     3976    15376 |        1    18394     65 |  0.000 % |
16.39/16.46	c |    281129 |     496     3976    15376 |        1    18956     68 |  0.000 % |
16.39/16.46	c |    281945 |     496     3976    15376 |        1    19772     72 |  0.000 % |
16.39/16.46	c |    282107 |     496     3976    15376 |        1    19934     73 |  0.000 % |
16.39/16.46	c |    282340 |     496     3976    15376 |        1    20167     74 |  0.000 % |
16.39/16.46	c |    282975 |     496     3976    15376 |        1    20802     78 |  0.000 % |
19.88/19.92	c |    283548 |     496     3976    15376 |        1    21375     80 |  0.000 % |
19.88/19.92	c |    283799 |     496     3976    15376 |        1    21626     81 |  0.000 % |
19.88/19.92	c |    283959 |     496     3976    15376 |        1    21786     82 |  0.000 % |
19.88/19.92	c |    284075 |     496     3976    15376 |        1    21902     82 |  0.000 % |
19.88/19.92	c |    284509 |     496     3976    15376 |        1    22336     83 |  0.000 % |
19.88/19.92	c |    284837 |     496     3976    15376 |        1    22664     84 |  0.000 % |
19.88/19.92	c |    285330 |     496     3976    15376 |        1    23157     86 |  0.000 % |
19.88/19.92	c |    285442 |     496     3976    15376 |        1    23269     87 |  0.000 % |
19.88/19.92	c |    286144 |     496     3976    15376 |        1    23971     89 |  0.000 % |
19.88/19.92	c |    291424 |     496     3976    15376 |        1    29251    104 |  0.000 % |
19.88/19.92	c |    292165 |     496     3976    15376 |        1    29992    105 |  0.000 % |
19.88/19.92	c |    293040 |     496     3976    15376 |        1    30867    107 |  0.000 % |
19.88/19.92	c |    293446 |     496     3976    15376 |        1    31273    108 |  0.000 % |
19.88/19.92	c |    294119 |     496     3976    15376 |        1    31946    108 |  0.000 % |
19.88/19.92	c |    298372 |     496     3976    15376 |        1    36199    115 |  0.000 % |
19.88/19.92	c |    298784 |     496     3976    15376 |        1    36611    116 |  0.000 % |
19.88/19.92	c |    299438 |     496     3976    15376 |        1    18870     63 |  0.000 % |
19.88/19.92	c |    299658 |     496     3976    15376 |        1    19090     65 |  0.000 % |
19.88/19.92	c |    299894 |     496     3976    15376 |        1    19326     66 |  0.000 % |
19.88/19.92	c |    300895 |     496     3976    15376 |        1    20327     71 |  0.000 % |
19.88/19.92	c |    301052 |     496     3976    15376 |        1    20484     72 |  0.000 % |
19.88/19.92	c |    301781 |     496     3976    15376 |        1    21213     75 |  0.000 % |
19.88/19.92	c |    301950 |     496     3976    15376 |        1    21382     76 |  0.000 % |
19.88/19.92	c |    302194 |     496     3976    15376 |        1    21626     77 |  0.000 % |
19.88/19.92	c |    302650 |     496     3976    15376 |        1    22082     79 |  0.000 % |
19.88/19.92	c |    302961 |     496     3976    15376 |        1    22393     80 |  0.000 % |
19.88/19.92	c |    303307 |     496     3976    15376 |        1    22739     81 |  0.000 % |
19.88/19.92	c |    303476 |     496     3976    15376 |        1    22908     82 |  0.000 % |
19.88/19.92	c |    304450 |     496     3976    15376 |        1    23882     85 |  0.000 % |
19.88/19.92	c |    305226 |     496     3976    15376 |        1    24658     88 |  0.000 % |
19.88/19.92	c |    305366 |     496     3976    15376 |        1    24798     88 |  0.000 % |
19.88/19.92	c |    306752 |     496     3976    15376 |        1    26184     93 |  0.000 % |
19.88/19.92	c |    306960 |     496     3976    15376 |        1    26392     94 |  0.000 % |
19.88/19.92	c |    307161 |     496     3976    15376 |        1    26593     94 |  0.000 % |
19.88/19.92	c |    307273 |     496     3976    15376 |        1    26705     94 |  0.000 % |
19.88/19.92	c |    308503 |     496     3976    15376 |        1    27935     98 |  0.000 % |
19.88/19.92	c |    309595 |     496     3976    15376 |        1    29027    101 |  0.000 % |
19.88/19.92	c |    310551 |     496     3976    15376 |        1    29983    103 |  0.000 % |
19.88/19.92	c |    311653 |     496     3976    15376 |        1    31085    105 |  0.000 % |
19.88/19.92	c |    330831 |     496     3976    15376 |        1    31258    123 |  0.000 % |
19.88/19.92	c |    330931 |     496     3976    15376 |        1    31358    123 |  0.000 % |
19.88/19.92	c |    331823 |     496     3976    15376 |        1    32250    124 |  0.000 % |
19.88/19.92	c |    332062 |     496     3976    15376 |        1    32489    124 |  0.000 % |
19.88/19.92	c |    332238 |     496     3976    15376 |        1    32665    124 |  0.000 % |
19.88/19.92	c |    335073 |     496     3976    15376 |        1    35500    128 |  0.000 % |
19.88/19.92	c |    335384 |     496     3976    15376 |        1    35811    128 |  0.000 % |
19.88/19.92	c |    335616 |     496     3976    15376 |        1    36043    128 |  0.000 % |
19.88/19.92	c |    336102 |     496     3976    15376 |        1    36529    129 |  0.000 % |
19.88/19.92	c |    337590 |     496     3976    15376 |        1    38017    131 |  0.000 % |
19.88/19.92	c |    337691 |     496     3976    15376 |        1    38118    131 |  0.000 % |
22.89/22.90	c |    337882 |     496     3976    15376 |        1    38309    131 |  0.000 % |
22.89/22.90	c |    337982 |     496     3976    15376 |        1    38409    131 |  0.000 % |
22.89/22.90	c |    338206 |     496     3976    15376 |        1    38633    131 |  0.000 % |
22.89/22.90	c |    338445 |     496     3976    15376 |        1    38872    131 |  0.000 % |
22.89/22.90	c |    338589 |     496     3976    15376 |        1    39016    131 |  0.000 % |
22.89/22.90	c |    339055 |     496     3976    15376 |        1    19887     62 |  0.000 % |
22.89/22.90	c |    339232 |     496     3976    15376 |        1    20064     63 |  0.000 % |
22.89/22.90	c |    339478 |     496     3976    15376 |        1    20310     64 |  0.000 % |
22.89/22.90	c |    339783 |     496     3976    15376 |        1    20615     66 |  0.000 % |
22.89/22.90	c |    340055 |     496     3976    15376 |        1    20887     67 |  0.000 % |
22.89/22.90	c |    340192 |     496     3976    15376 |        1    21024     67 |  0.000 % |
22.89/22.90	c |    340371 |     496     3976    15376 |        1    21203     68 |  0.000 % |
22.89/22.90	c |    341841 |     496     3976    15376 |        1    22673     74 |  0.000 % |
22.89/22.90	c |    342078 |     496     3976    15376 |        1    22910     75 |  0.000 % |
22.89/22.90	c |    343060 |     496     3976    15376 |        1    23892     79 |  0.000 % |
22.89/22.90	c |    354868 |     496     3976    15376 |        1    35700    118 |  0.000 % |
22.89/22.90	c |    355469 |     496     3976    15376 |        1    36301    119 |  0.000 % |
22.89/22.90	c |    356652 |     496     3976    15376 |        1    37484    122 |  0.000 % |
22.89/22.90	c |    357155 |     496     3976    15376 |        1    37987    122 |  0.000 % |
22.89/22.90	c |    357255 |     496     3976    15376 |        1    38087    122 |  0.000 % |
22.89/22.90	c |    361360 |     496     3976    15376 |        1    21984     69 |  0.000 % |
22.89/22.90	c |    361756 |     496     3976    15376 |        1    22380     72 |  0.000 % |
22.89/22.90	c |    362021 |     496     3976    15376 |        1    22645     73 |  0.000 % |
22.89/22.90	c |    367896 |     496     3976    15376 |        1    28520     95 |  0.000 % |
22.89/22.90	c |    368433 |     496     3976    15376 |        1    29057     96 |  0.000 % |
22.89/22.90	c |    368535 |     496     3976    15376 |        1    29159     97 |  0.000 % |
22.89/22.90	c |    368964 |     496     3976    15376 |        1    29588     98 |  0.000 % |
22.89/22.90	c |    375793 |     496     3976    15376 |        1    36417    108 |  0.000 % |
22.89/22.90	c |    376787 |     496     3976    15376 |        1    37411    109 |  0.000 % |
22.89/22.90	c |    377065 |     496     3976    15376 |        1    37689    110 |  0.000 % |
22.89/22.90	c |    377436 |     496     3976    15376 |        1    38060    110 |  0.000 % |
22.89/22.90	c |    377977 |     496     3976    15376 |        1    38601    111 |  0.000 % |
22.89/22.90	c |    378197 |     496     3976    15376 |        1    38821    111 |  0.000 % |
22.89/22.90	c |    378816 |     496     3976    15376 |        1    39440    112 |  0.000 % |
22.89/22.90	c |    378955 |     496     3976    15376 |        1    39579    112 |  0.000 % |
22.89/22.90	c |    379147 |     496     3976    15376 |        1    39771    112 |  0.000 % |
22.89/22.90	c |    379264 |     496     3976    15376 |        1    39888    112 |  0.000 % |
22.89/22.90	c |    379364 |     496     3976    15376 |        1    39988    113 |  0.000 % |
22.89/22.90	c |    379473 |     496     3976    15376 |        1    40097    113 |  0.000 % |
22.89/22.90	c |    380027 |     496     3976    15376 |        1    40651    113 |  0.000 % |
22.89/22.90	c |    380780 |     496     3976    15376 |        1    41404    114 |  0.000 % |
22.89/22.90	c |    381457 |     496     3976    15376 |        1    21292     62 |  0.000 % |
22.89/22.90	c |    381923 |     496     3976    15376 |        1    21758     65 |  0.000 % |
22.89/22.90	c |    382590 |     496     3976    15376 |        1    22425     67 |  0.000 % |
22.89/22.90	c |    382768 |     496     3976    15376 |        1    22603     68 |  0.000 % |
22.89/22.90	c |    383168 |     496     3976    15376 |        1    23003     70 |  0.000 % |
22.89/22.90	c |    383845 |     496     3976    15376 |        1    23680     72 |  0.000 % |
22.89/22.90	c |    385701 |     496     3976    15376 |        1    25536     81 |  0.000 % |
22.89/22.90	c |    385802 |     496     3976    15376 |        1    25637     81 |  0.000 % |
22.89/22.90	c |    386370 |     496     3976    15376 |        1    26205     83 |  0.000 % |
1121.92/1121.94	c |    387015 |     496     3976    15376 |        1    26850     85 |  0.000 % |
1121.92/1121.94	c |    389460 |     496     3976    15376 |        1    29295     93 |  0.000 % |
1121.92/1121.94	c |    390267 |     496     3976    15376 |        1    30102     95 |  0.000 % |
1121.92/1121.94	c |    390854 |     496     3976    15376 |        1    30689     97 |  0.000 % |
1121.92/1121.94	c |    391927 |     496     3976    15376 |        1    31762    100 |  0.000 % |
1121.92/1121.94	c |    392150 |     496     3976    15376 |        1    31985    101 |  0.000 % |
1121.92/1121.94	c |    392562 |     496     3976    15376 |        1    32397    102 |  0.000 % |
1121.92/1121.94	c |    392792 |     496     3976    15376 |        1    32627    102 |  0.000 % |
1121.92/1121.94	c |    392903 |     496     3976    15376 |        1    32738    102 |  0.000 % |
1121.92/1121.94	c |    494332 |     496     3976    15376 |        1    44952    113 |  0.000 % |
1121.92/1121.94	c |    495578 |     496     3976    15376 |        1    46198    114 |  0.000 % |
1121.92/1121.94	c |    495678 |     496     3976    15376 |        1    46298    114 |  0.000 % |
1121.92/1121.94	c |    495997 |     496     3976    15376 |        1    46617    115 |  0.000 % |
1121.92/1121.94	c |    496215 |     496     3976    15376 |        1    46835    115 |  0.000 % |
1121.92/1121.94	c |    496447 |     496     3976    15376 |        1    47067    115 |  0.000 % |
1121.92/1121.94	c |    496665 |     496     3976    15376 |        1    47285    115 |  0.000 % |
1121.92/1121.94	c |    496765 |     496     3976    15376 |        1    47385    115 |  0.000 % |
1121.92/1121.94	c |    499917 |     496     3976    15376 |        1    26738     75 |  0.000 % |
1121.92/1121.94	c |    500132 |     496     3976    15376 |        1    26953     76 |  0.000 % |
1121.92/1121.94	c |    510627 |     496     3976    15376 |        1    37448     98 |  0.000 % |
1121.92/1121.94	c |    537254 |     496     3976    15376 |        1    39690     96 |  0.000 % |
1121.92/1121.94	c |    717127 |     496     3976    15376 |        1    31957     68 |  0.000 % |
1121.92/1121.94	c |    717724 |     496     3976    15376 |        1    32554     70 |  0.000 % |
1121.92/1121.94	c |    718566 |     496     3976    15376 |        1    33396     72 |  0.000 % |
1121.92/1121.94	c |    723514 |     496     3976    15376 |        1    38344     84 |  0.000 % |
1121.92/1121.94	c |    723873 |     496     3976    15376 |        1    38703     85 |  0.000 % |
1121.92/1121.94	c |    724036 |     496     3976    15376 |        1    38866     86 |  0.000 % |
1121.92/1121.94	c |    724161 |     496     3976    15376 |        1    38991     86 |  0.000 % |
1121.92/1121.94	c |    724261 |     496     3976    15376 |        1    39091     86 |  0.000 % |
1121.92/1121.94	c |    724361 |     496     3976    15376 |        1    39191     86 |  0.000 % |
1121.92/1121.94	c |    724462 |     496     3976    15376 |        1    39292     87 |  0.000 % |
1121.92/1121.94	c |    724562 |     496     3976    15376 |        1    39392     87 |  0.000 % |
1121.92/1121.94	c |    724663 |     496     3976    15376 |        1    39493     87 |  0.000 % |
1121.92/1121.94	c |    724763 |     496     3976    15376 |        1    39593     87 |  0.000 % |
1121.92/1121.94	c |    724864 |     496     3976    15376 |        1    39694     88 |  0.000 % |
1121.92/1121.94	c |    724964 |     496     3976    15376 |        1    39794     88 |  0.000 % |
1121.92/1121.94	c |    725064 |     496     3976    15376 |        1    39894     88 |  0.000 % |
1121.92/1121.94	c |    725164 |     496     3976    15376 |        1    39994     88 |  0.000 % |
1121.92/1121.94	c |    725265 |     496     3976    15376 |        1    40095     89 |  0.000 % |
1121.92/1121.94	c |    725478 |     496     3976    15376 |        1    40308     89 |  0.000 % |
1121.92/1121.94	c |   7299350 |     496     3976    15376 |        1   180002     90 |  0.000 % |
1121.92/1121.94	c |   7300339 |     496     3976    15376 |        1   180991     91 |  0.000 % |
1121.92/1121.94	c |   7300738 |     496     3976    15376 |        1   181390     91 |  0.000 % |
1121.92/1121.94	c |   7300854 |     496     3976    15376 |        1   181506     91 |  0.000 % |
1121.92/1121.94	c |   7301118 |     496     3976    15376 |        1   181770     91 |  0.000 % |
1121.92/1121.94	c |   7301636 |     496     3976    15376 |        1   182288     91 |  0.000 % |
1121.92/1121.94	c |   7301741 |     496     3976    15376 |        1   182393     91 |  0.000 % |
1121.92/1121.94	c |   7301842 |     496     3976    15376 |        1   182494     91 |  0.000 % |
1121.92/1121.94	c |   7301964 |     496     3976    15376 |        1   182616     91 |  0.000 % |
1121.92/1121.94	c |   7303571 |     496     3976    15376 |        1   184223     92 |  0.000 % |
1124.61/1124.67	c |   7303770 |     496     3976    15376 |        1   184422     92 |  0.000 % |
1124.61/1124.67	c |   7303907 |     496     3976    15376 |        1   184559     92 |  0.000 % |
1124.61/1124.67	c |   7304316 |     496     3976    15376 |        1   184968     92 |  0.000 % |
1124.61/1124.67	c |   7304599 |     496     3976    15376 |        1   185251     92 |  0.000 % |
1124.61/1124.67	c |   7304789 |     496     3976    15376 |        1   185441     92 |  0.000 % |
1124.61/1124.67	c |   7304980 |     496     3976    15376 |        1   185632     92 |  0.000 % |
1124.61/1124.67	c |   7305902 |     496     3976    15376 |        1    93734     60 |  0.000 % |
1124.61/1124.67	c |   7306071 |     496     3976    15376 |        1    93903     60 |  0.000 % |
1124.61/1124.67	c |   7306671 |     496     3976    15376 |        1    94503     61 |  0.000 % |
1124.61/1124.67	c |   7306885 |     496     3976    15376 |        1    94717     61 |  0.000 % |
1124.61/1124.67	c |   7306989 |     496     3976    15376 |        1    94821     61 |  0.000 % |
1124.61/1124.67	c |   7307808 |     496     3976    15376 |        1    95640     62 |  0.000 % |
1124.61/1124.67	c |   7308202 |     496     3976    15376 |        1    96034     62 |  0.000 % |
1124.61/1124.67	c |   7308457 |     496     3976    15376 |        1    96289     62 |  0.000 % |
1124.61/1124.67	c |   7308951 |     496     3976    15376 |        1    96783     63 |  0.000 % |
1124.61/1124.67	c |   7309051 |     496     3976    15376 |        1    96883     63 |  0.000 % |
1124.61/1124.67	c |   7309826 |     496     3976    15376 |        1    97658     64 |  0.000 % |
1124.61/1124.67	c |   7312874 |     496     3976    15376 |        1   100706     66 |  0.000 % |
1124.61/1124.67	c |   7313266 |     496     3976    15376 |        1   101098     66 |  0.000 % |
1124.61/1124.67	c |   7313730 |     496     3976    15376 |        1   101562     67 |  0.000 % |
1124.61/1124.67	c |   7314175 |     496     3976    15376 |        1   102007     67 |  0.000 % |
1124.61/1124.67	c |   7315529 |     496     3976    15376 |        1   103361     68 |  0.000 % |
1124.61/1124.67	c |   7315729 |     496     3976    15376 |        1   103561     68 |  0.000 % |
1124.61/1124.67	c |   7327832 |     496     3976    15376 |        1   115664     75 |  0.000 % |
1124.61/1124.67	c |   7329001 |     496     3976    15376 |        1   116833     76 |  0.000 % |
1124.61/1124.67	c |   7329101 |     496     3976    15376 |        1   116933     76 |  0.000 % |
1124.61/1124.67	c |   7329251 |     496     3976    15376 |        1   117083     76 |  0.000 % |
1124.61/1124.67	c |   7329455 |     496     3976    15376 |        1   117287     76 |  0.000 % |
1124.61/1124.67	c |   7329830 |     496     3976    15376 |        1   117662     76 |  0.000 % |
1124.61/1124.67	c |   7330173 |     496     3976    15376 |        1   118005     76 |  0.000 % |
1124.61/1124.67	c |   7330752 |     496     3976    15376 |        1   118584     77 |  0.000 % |
1124.61/1124.67	c |   7331064 |     496     3976    15376 |        1   118896     77 |  0.000 % |
1124.61/1124.67	c |   7331418 |     496     3976    15376 |        1   119250     77 |  0.000 % |
1124.61/1124.67	c |   7331519 |     496     3976    15376 |        1   119351     77 |  0.000 % |
1124.61/1124.67	c |   7331757 |     496     3976    15376 |        1   119589     78 |  0.000 % |
1124.61/1124.67	c |   7332509 |     496     3976    15376 |        1   120341     78 |  0.000 % |
1124.61/1124.67	c |   7333038 |     496     3976    15376 |        1   120870     78 |  0.000 % |
1124.61/1124.67	c |   7333141 |     496     3976    15376 |        1   120973     79 |  0.000 % |
1124.61/1124.67	c |   7333356 |     496     3976    15376 |        1   121188     79 |  0.000 % |
1124.61/1124.67	c |   7333664 |     496     3976    15376 |        1   121496     79 |  0.000 % |
1124.61/1124.67	c |   7334046 |     496     3976    15376 |        1   121878     79 |  0.000 % |
1124.61/1124.67	c |   7334456 |     496     3976    15376 |        1   122288     79 |  0.000 % |
1124.61/1124.67	c |   7334621 |     496     3976    15376 |        1   122453     79 |  0.000 % |
1124.61/1124.67	c |   7334890 |     496     3976    15376 |        1   122722     80 |  0.000 % |
1124.61/1124.67	c |   7335193 |     496     3976    15376 |        1   123025     80 |  0.000 % |
1124.61/1124.67	c |   7336242 |     496     3976    15376 |        1   124074     80 |  0.000 % |
1124.61/1124.67	c |   7336613 |     496     3976    15376 |        1   124445     81 |  0.000 % |
1124.61/1124.67	c |   7338960 |     496     3976    15376 |        1   126792     82 |  0.000 % |
1124.61/1124.67	c |   7339190 |     496     3976    15376 |        1   127022     83 |  0.000 % |
1128.11/1128.14	c |   7339924 |     496     3976    15376 |        1   127756     83 |  0.000 % |
1128.11/1128.14	c |   7341437 |     496     3976    15376 |        1   129269     84 |  0.000 % |
1128.11/1128.14	c |   7341781 |     496     3976    15376 |        1   129613     84 |  0.000 % |
1128.11/1128.14	c |   7342070 |     496     3976    15376 |        1   129902     84 |  0.000 % |
1128.11/1128.14	c |   7342339 |     496     3976    15376 |        1   130171     84 |  0.000 % |
1128.11/1128.14	c |   7342444 |     496     3976    15376 |        1   130276     85 |  0.000 % |
1128.11/1128.14	c |   7342565 |     496     3976    15376 |        1   130397     85 |  0.000 % |
1128.11/1128.14	c |   7343147 |     496     3976    15376 |        1   130979     85 |  0.000 % |
1128.11/1128.14	c |   7343305 |     496     3976    15376 |        1   131137     85 |  0.000 % |
1128.11/1128.14	c |   7343496 |     496     3976    15376 |        1   131328     85 |  0.000 % |
1128.11/1128.14	c |   7343875 |     496     3976    15376 |        1   131707     85 |  0.000 % |
1128.11/1128.14	c |   7344168 |     496     3976    15376 |        1   132000     85 |  0.000 % |
1128.11/1128.14	c |   7344731 |     496     3976    15376 |        1   132563     86 |  0.000 % |
1128.11/1128.14	c |   7345462 |     496     3976    15376 |        1   133294     86 |  0.000 % |
1128.11/1128.14	c |   7345562 |     496     3976    15376 |        1   133394     86 |  0.000 % |
1128.11/1128.14	c |   7345783 |     496     3976    15376 |        1   133615     86 |  0.000 % |
1128.11/1128.14	c |   7345883 |     496     3976    15376 |        1   133715     86 |  0.000 % |
1128.11/1128.14	c |   7346262 |     496     3976    15376 |        1   134094     86 |  0.000 % |
1128.11/1128.14	c |   7346444 |     496     3976    15376 |        1   134276     87 |  0.000 % |
1128.11/1128.14	c |   7346545 |     496     3976    15376 |        1   134377     87 |  0.000 % |
1128.11/1128.14	c |   7346650 |     496     3976    15376 |        1   134482     87 |  0.000 % |
1128.11/1128.14	c |   7347040 |     496     3976    15376 |        1   134872     87 |  0.000 % |
1128.11/1128.14	c |   7347144 |     496     3976    15376 |        1   134976     87 |  0.000 % |
1128.11/1128.14	c |   7347360 |     496     3976    15376 |        1   135192     87 |  0.000 % |
1128.11/1128.14	c |   7347489 |     496     3976    15376 |        1   135321     87 |  0.000 % |
1128.11/1128.14	c |   7347695 |     496     3976    15376 |        1   135527     87 |  0.000 % |
1128.11/1128.14	c |   7347834 |     496     3976    15376 |        1   135666     87 |  0.000 % |
1128.11/1128.14	c |   7349854 |     496     3976    15376 |        1   137686     89 |  0.000 % |
1128.11/1128.14	c |   7350443 |     496     3976    15376 |        1   138275     89 |  0.000 % |
1128.11/1128.14	c |   7354080 |     496     3976    15376 |        1   141912     91 |  0.000 % |
1128.11/1128.14	c |   7354180 |     496     3976    15376 |        1   142012     92 |  0.000 % |
1128.11/1128.14	c |   7354446 |     496     3976    15376 |        1   142278     92 |  0.000 % |
1128.11/1128.14	c |   7354561 |     496     3976    15376 |        1   142393     92 |  0.000 % |
1128.11/1128.14	c |   7354915 |     496     3976    15376 |        1   142747     92 |  0.000 % |
1128.11/1128.14	c |   7355398 |     496     3976    15376 |        1   143230     92 |  0.000 % |
1128.11/1128.14	c |   7355527 |     496     3976    15376 |        1   143359     92 |  0.000 % |
1128.11/1128.14	c |   7356080 |     496     3976    15376 |        1   143912     92 |  0.000 % |
1128.11/1128.14	c |   7356531 |     496     3976    15376 |        1   144363     93 |  0.000 % |
1128.11/1128.14	c |   7356834 |     496     3976    15376 |        1   144666     93 |  0.000 % |
1128.11/1128.14	c |   7357055 |     496     3976    15376 |        1   144887     93 |  0.000 % |
1128.11/1128.14	c |   7363859 |     496     3976    15376 |        1   151691     97 |  0.000 % |
1128.11/1128.14	c |   7364065 |     496     3976    15376 |        1   151897     97 |  0.000 % |
1128.11/1128.14	c |   7364408 |     496     3976    15376 |        1   152240     97 |  0.000 % |
1128.11/1128.14	c |   7364896 |     496     3976    15376 |        1   152728     97 |  0.000 % |
1128.11/1128.14	c |   7365522 |     496     3976    15376 |        1   153354     98 |  0.000 % |
1128.11/1128.14	c |   7366165 |     496     3976    15376 |        1   153997     98 |  0.000 % |
1128.11/1128.14	c |   7366267 |     496     3976    15376 |        1   154099     98 |  0.000 % |
1128.11/1128.14	c |   7366475 |     496     3976    15376 |        1   154307     98 |  0.000 % |
1128.11/1128.14	c |   7366667 |     496     3976    15376 |        1   154499     98 |  0.000 % |
1128.11/1128.14	c |   7367696 |     496     3976    15376 |        1   155528     99 |  0.000 % |
1131.82/1131.82	c |   7368005 |     496     3976    15376 |        1   155837     99 |  0.000 % |
1131.82/1131.82	c |   7368487 |     496     3976    15376 |        1   156319     99 |  0.000 % |
1131.82/1131.82	c |   7369132 |     496     3976    15376 |        1   156964     99 |  0.000 % |
1131.82/1131.82	c |   7369274 |     496     3976    15376 |        1   157106     99 |  0.000 % |
1131.82/1131.82	c |   7369479 |     496     3976    15376 |        1   157311     99 |  0.000 % |
1131.82/1131.82	c |   7369874 |     496     3976    15376 |        1   157706     99 |  0.000 % |
1131.82/1131.82	c |   7370131 |     496     3976    15376 |        1   157963     99 |  0.000 % |
1131.82/1131.82	c |   7370660 |     496     3976    15376 |        1   158492     99 |  0.000 % |
1131.82/1131.82	c |   7370760 |     496     3976    15376 |        1   158592    100 |  0.000 % |
1131.82/1131.82	c |   7372450 |     496     3976    15376 |        1   160282    100 |  0.000 % |
1131.82/1131.82	c |   7372781 |     496     3976    15376 |        1   160613    100 |  0.000 % |
1131.82/1131.82	c |   7372882 |     496     3976    15376 |        1   160714    100 |  0.000 % |
1131.82/1131.82	c |   7373063 |     496     3976    15376 |        1   160895    100 |  0.000 % |
1131.82/1131.82	c |   7373214 |     496     3976    15376 |        1   161046    101 |  0.000 % |
1131.82/1131.82	c |   7373814 |     496     3976    15376 |        1   161646    101 |  0.000 % |
1131.82/1131.82	c |   7374008 |     496     3976    15376 |        1   161840    101 |  0.000 % |
1131.82/1131.82	c |   7374426 |     496     3976    15376 |        1   162258    101 |  0.000 % |
1131.82/1131.82	c |   7374588 |     496     3976    15376 |        1   162420    101 |  0.000 % |
1131.82/1131.82	c |   7374903 |     496     3976    15376 |        1   162735    101 |  0.000 % |
1131.82/1131.82	c |   7375021 |     496     3976    15376 |        1   162853    101 |  0.000 % |
1131.82/1131.82	c |   7375211 |     496     3976    15376 |        1   163043    101 |  0.000 % |
1131.82/1131.82	c |   7375312 |     496     3976    15376 |        1   163144    101 |  0.000 % |
1131.82/1131.82	c |   7375523 |     496     3976    15376 |        1   163355    101 |  0.000 % |
1131.82/1131.82	c |   7375746 |     496     3976    15376 |        1   163578    101 |  0.000 % |
1131.82/1131.82	c |   7375868 |     496     3976    15376 |        1   163700    101 |  0.000 % |
1131.82/1131.82	c |   7376170 |     496     3976    15376 |        1   164002    102 |  0.000 % |
1131.82/1131.82	c |   7376440 |     496     3976    15376 |        1   164272    102 |  0.000 % |
1131.82/1131.82	c |   7376692 |     496     3976    15376 |        1   164524    102 |  0.000 % |
1131.82/1131.82	c |   7376914 |     496     3976    15376 |        1   164746    102 |  0.000 % |
1131.82/1131.82	c |   7377298 |     496     3976    15376 |        1   165130    102 |  0.000 % |
1131.82/1131.82	c |   7377810 |     496     3976    15376 |        1   165642    102 |  0.000 % |
1131.82/1131.82	c |   7378005 |     496     3976    15376 |        1   165837    102 |  0.000 % |
1131.82/1131.82	c |   7378131 |     496     3976    15376 |        1   165963    102 |  0.000 % |
1131.82/1131.82	c |   7378240 |     496     3976    15376 |        1   166072    102 |  0.000 % |
1131.82/1131.82	c |   7378469 |     496     3976    15376 |        1   166301    102 |  0.000 % |
1131.82/1131.82	c |   7378882 |     496     3976    15376 |        1   166714    102 |  0.000 % |
1131.82/1131.82	c |   7379005 |     496     3976    15376 |        1   166837    102 |  0.000 % |
1131.82/1131.82	c |   7379272 |     496     3976    15376 |        1   167104    102 |  0.000 % |
1131.82/1131.83	c |   7379373 |     496     3976    15376 |        1   167205    103 |  0.000 % |
1131.82/1131.83	c |   7389132 |     496     3976    15376 |        1   176964    106 |  0.000 % |
1131.82/1131.83	c |   7389505 |     496     3976    15376 |        1   177337    106 |  0.000 % |
1131.82/1131.83	c |   7389631 |     496     3976    15376 |        1   177463    106 |  0.000 % |
1131.82/1131.83	c |   7390042 |     496     3976    15376 |        1   177874    106 |  0.000 % |
1131.82/1131.83	c |   7390167 |     496     3976    15376 |        1   177999    106 |  0.000 % |
1131.82/1131.83	c |   7390285 |     496     3976    15376 |        1   178117    106 |  0.000 % |
1131.82/1131.83	c |   7390452 |     496     3976    15376 |        1   178284    106 |  0.000 % |
1131.82/1131.83	c |   7390594 |     496     3976    15376 |        1   178426    106 |  0.000 % |
1131.82/1131.83	c |   7390910 |     496     3976    15376 |        1   178742    106 |  0.000 % |
1131.82/1131.83	c |   7391026 |     496     3976    15376 |        1   178858    106 |  0.000 % |
1131.82/1131.83	c |   7391210 |     496     3976    15376 |        1   179042    106 |  0.000 % |
1134.31/1134.35	c |   7391310 |     496     3976    15376 |        1   179142    106 |  0.000 % |
1134.31/1134.35	c |   7392311 |     496     3976    15376 |        1   180143    107 |  0.000 % |
1134.31/1134.35	c |   7392484 |     496     3976    15376 |        1   180316    107 |  0.000 % |
1134.31/1134.35	c |   7392903 |     496     3976    15376 |        1   180735    107 |  0.000 % |
1134.31/1134.35	c |   7393045 |     496     3976    15376 |        1   180877    107 |  0.000 % |
1134.31/1134.35	c |   7393151 |     496     3976    15376 |        1   180983    107 |  0.000 % |
1134.31/1134.35	c |   7393262 |     496     3976    15376 |        1   181094    107 |  0.000 % |
1134.31/1134.35	c |   7393385 |     496     3976    15376 |        1   181217    107 |  0.000 % |
1134.31/1134.35	c |   7393712 |     496     3976    15376 |        1   181544    107 |  0.000 % |
1134.31/1134.35	c |   7393812 |     496     3976    15376 |        1   181644    107 |  0.000 % |
1134.31/1134.35	c |   7394122 |     496     3976    15376 |        1   181954    107 |  0.000 % |
1134.31/1134.35	c |   7395367 |     496     3976    15376 |        1   183199    107 |  0.000 % |
1134.31/1134.35	c |   7395953 |     496     3976    15376 |        1   183785    108 |  0.000 % |
1134.31/1134.35	c |   7396249 |     496     3976    15376 |        1   184081    108 |  0.000 % |
1134.31/1134.35	c |   7396663 |     496     3976    15376 |        1   184495    108 |  0.000 % |
1134.31/1134.35	c |   7397096 |     496     3976    15376 |        1   184928    108 |  0.000 % |
1134.31/1134.35	c |   7397818 |     496     3976    15376 |        1   185650    108 |  0.000 % |
1134.31/1134.35	c |   7398048 |     496     3976    15376 |        1   185880    108 |  0.000 % |
1134.31/1134.35	c |   7398183 |     496     3976    15376 |        1   186015    108 |  0.000 % |
1134.31/1134.35	c |   7398284 |     496     3976    15376 |        1   186116    108 |  0.000 % |
1134.31/1134.35	c |   7398863 |     496     3976    15376 |        1   186695    108 |  0.000 % |
1134.31/1134.35	c |   7399742 |     496     3976    15376 |        1    94168     59 |  0.000 % |
1134.31/1134.35	c |   7399863 |     496     3976    15376 |        1    94289     59 |  0.000 % |
1134.31/1134.35	c |   7399991 |     496     3976    15376 |        1    94417     60 |  0.000 % |
1134.31/1134.35	c |   7400175 |     496     3976    15376 |        1    94601     60 |  0.000 % |
1134.31/1134.35	c |   7400843 |     496     3976    15376 |        1    95269     60 |  0.000 % |
1134.31/1134.35	c |   7401003 |     496     3976    15376 |        1    95429     61 |  0.000 % |
1134.31/1134.35	c |   7401104 |     496     3976    15376 |        1    95530     61 |  0.000 % |
1134.31/1134.35	c |   7401370 |     496     3976    15376 |        1    95796     61 |  0.000 % |
1134.31/1134.35	c |   7401471 |     496     3976    15376 |        1    95897     61 |  0.000 % |
1134.31/1134.35	c |   7401924 |     496     3976    15376 |        1    96350     61 |  0.000 % |
1134.31/1134.35	c |   7402304 |     496     3976    15376 |        1    96730     62 |  0.000 % |
1134.31/1134.35	c |   7402543 |     496     3976    15376 |        1    96969     62 |  0.000 % |
1134.31/1134.35	c |   7402825 |     496     3976    15376 |        1    97251     62 |  0.000 % |
1134.31/1134.35	c |   7403016 |     496     3976    15376 |        1    97442     63 |  0.000 % |
1134.31/1134.35	c |   7403282 |     496     3976    15376 |        1    97708     63 |  0.000 % |
1134.31/1134.35	c |   7403408 |     496     3976    15376 |        1    97834     63 |  0.000 % |
1134.31/1134.35	c |   7403732 |     496     3976    15376 |        1    98158     63 |  0.000 % |
1134.31/1134.35	c |   7403876 |     496     3976    15376 |        1    98302     63 |  0.000 % |
1134.31/1134.35	c |   7404312 |     496     3976    15376 |        1    98738     64 |  0.000 % |
1134.31/1134.35	c |   7404412 |     496     3976    15376 |        1    98838     64 |  0.000 % |
1134.31/1134.35	c |   7404586 |     496     3976    15376 |        1    99012     64 |  0.000 % |
1134.31/1134.35	c |   7404728 |     496     3976    15376 |        1    99154     64 |  0.000 % |
1134.31/1134.35	c |   7404846 |     496     3976    15376 |        1    99272     64 |  0.000 % |
1134.31/1134.35	c |   7405616 |     496     3976    15376 |        1   100042     65 |  0.000 % |
1134.31/1134.35	c |   7405885 |     496     3976    15376 |        1   100311     65 |  0.000 % |
1134.31/1134.35	c |   7406020 |     496     3976    15376 |        1   100446     65 |  0.000 % |
1134.31/1134.35	c |   7406271 |     496     3976    15376 |        1   100697     66 |  0.000 % |
1134.31/1134.35	c |   7407626 |     496     3976    15376 |        1   102052     67 |  0.000 % |
1134.31/1134.35	c |   7407974 |     496     3976    15376 |        1   102400     67 |  0.000 % |
1135.51/1135.54	c |   7408542 |     496     3976    15376 |        1   102968     67 |  0.000 % |
1135.51/1135.54	c |   7408829 |     496     3976    15376 |        1   103255     68 |  0.000 % |
1135.51/1135.54	c |   7409402 |     496     3976    15376 |        1   103828     68 |  0.000 % |
1135.51/1135.54	c |   7409502 |     496     3976    15376 |        1   103928     68 |  0.000 % |
1135.51/1135.54	c |   7410574 |     496     3976    15376 |        1   105000     69 |  0.000 % |
1135.51/1135.54	c |   7411018 |     496     3976    15376 |        1   105444     70 |  0.000 % |
1135.51/1135.54	c |   7411442 |     496     3976    15376 |        1   105868     70 |  0.000 % |
1135.51/1135.54	c |   7411744 |     496     3976    15376 |        1   106170     70 |  0.000 % |
1135.51/1135.54	c |   7411908 |     496     3976    15376 |        1   106334     70 |  0.000 % |
1135.51/1135.54	c |   7412021 |     496     3976    15376 |        1   106447     70 |  0.000 % |
1135.51/1135.54	c |   7412162 |     496     3976    15376 |        1   106588     71 |  0.000 % |
1135.51/1135.54	c |   7412327 |     496     3976    15376 |        1   106753     71 |  0.000 % |
1135.51/1135.54	c |   7412490 |     496     3976    15376 |        1   106916     71 |  0.000 % |
1135.51/1135.54	c |   7412616 |     496     3976    15376 |        1   107042     71 |  0.000 % |
1135.51/1135.54	c |   7412845 |     496     3976    15376 |        1   107271     71 |  0.000 % |
1135.51/1135.54	c |   7413972 |     496     3976    15376 |        1   108398     72 |  0.000 % |
1135.51/1135.54	c |   7414096 |     496     3976    15376 |        1   108522     72 |  0.000 % |
1135.51/1135.54	c |   7414690 |     496     3976    15376 |        1   109116     73 |  0.000 % |
1135.51/1135.54	c |   7414937 |     496     3976    15376 |        1   109363     73 |  0.000 % |
1135.51/1135.54	c |   7415040 |     496     3976    15376 |        1   109466     73 |  0.000 % |
1135.51/1135.54	c |   7415482 |     496     3976    15376 |        1   109908     73 |  0.000 % |
1135.51/1135.54	c |   7415964 |     496     3976    15376 |        1   110390     74 |  0.000 % |
1135.51/1135.54	c |   7416123 |     496     3976    15376 |        1   110549     74 |  0.000 % |
1135.51/1135.54	c |   7416448 |     496     3976    15376 |        1   110874     74 |  0.000 % |
1135.51/1135.54	c |   7416784 |     496     3976    15376 |        1   111210     74 |  0.000 % |
1135.51/1135.54	c |   7416912 |     496     3976    15376 |        1   111338     74 |  0.000 % |
1135.51/1135.54	c |   7417014 |     496     3976    15376 |        1   111440     74 |  0.000 % |
1135.51/1135.54	c |   7417302 |     496     3976    15376 |        1   111728     75 |  0.000 % |
1135.51/1135.54	c |   7417532 |     496     3976    15376 |        1   111958     75 |  0.000 % |
1135.51/1135.54	c |   7417676 |     496     3976    15376 |        1   112102     75 |  0.000 % |
1135.51/1135.54	c |   7417890 |     496     3976    15376 |        1   112316     75 |  0.000 % |
1135.51/1135.54	c |   7418472 |     496     3976    15376 |        1   112898     76 |  0.000 % |
1135.51/1135.54	c |   7418786 |     496     3976    15376 |        1   113212     76 |  0.000 % |
1135.51/1135.54	c |   7418917 |     496     3976    15376 |        1   113343     76 |  0.000 % |
1135.51/1135.54	c |   7419359 |     496     3976    15376 |        1   113785     76 |  0.000 % |
1135.51/1135.54	c |   7419466 |     496     3976    15376 |        1   113892     76 |  0.000 % |
1135.51/1135.54	c |   7419645 |     496     3976    15376 |        1   114071     76 |  0.000 % |
1135.51/1135.54	c |   7419759 |     496     3976    15376 |        1   114185     76 |  0.000 % |
1135.51/1135.54	c |   7419859 |     496     3976    15376 |        1   114285     77 |  0.000 % |
1135.51/1135.54	c |   7419959 |     496     3976    15376 |        1   114385     77 |  0.000 % |
1135.51/1135.54	c |   7420060 |     496     3976    15376 |        1   114486     77 |  0.000 % |
1135.51/1135.54	c |   7420169 |     496     3976    15376 |        1   114595     77 |  0.000 % |
1135.51/1135.54	c |   7420269 |     496     3976    15376 |        1   114695     77 |  0.000 % |
1135.51/1135.54	c |   7420369 |     496     3976    15376 |        1   114795     77 |  0.000 % |
1135.51/1135.54	c |   7420653 |     496     3976    15376 |        1   115079     77 |  0.000 % |
1135.51/1135.54	c |   7421044 |     496     3976    15376 |        1   115470     77 |  0.000 % |
1135.51/1135.54	c |   7421261 |     496     3976    15376 |        1   115687     77 |  0.000 % |
1135.51/1135.54	c |   7421536 |     496     3976    15376 |        1   115962     78 |  0.000 % |
1135.51/1135.54	c |   7421643 |     496     3976    15376 |        1   116069     78 |  0.000 % |
1135.51/1135.54	c |   7423363 |     496     3976    15376 |        1   117789     78 |  0.000 % |
1138.21/1138.25	c |   7423465 |     496     3976    15376 |        1   117891     79 |  0.000 % |
1138.21/1138.25	c |   7423570 |     496     3976    15376 |        1   117996     79 |  0.000 % |
1138.21/1138.25	c |   7423719 |     496     3976    15376 |        1   118145     79 |  0.000 % |
1138.21/1138.25	c |   7423819 |     496     3976    15376 |        1   118245     79 |  0.000 % |
1138.21/1138.25	c |   7423920 |     496     3976    15376 |        1   118346     79 |  0.000 % |
1138.21/1138.25	c |   7428995 |     496     3976    15376 |        1   123421     81 |  0.000 % |
1138.21/1138.25	c |   7429155 |     496     3976    15376 |        1   123581     81 |  0.000 % |
1138.21/1138.25	c |   7429528 |     496     3976    15376 |        1   123954     82 |  0.000 % |
1138.21/1138.25	c |   7429628 |     496     3976    15376 |        1   124054     82 |  0.000 % |
1138.21/1138.25	c |   7429789 |     496     3976    15376 |        1   124215     82 |  0.000 % |
1138.21/1138.25	c |   7429961 |     496     3976    15376 |        1   124387     82 |  0.000 % |
1138.21/1138.25	c |   7430143 |     496     3976    15376 |        1   124569     82 |  0.000 % |
1138.21/1138.25	c |   7430250 |     496     3976    15376 |        1   124676     82 |  0.000 % |
1138.21/1138.25	c |   7430406 |     496     3976    15376 |        1   124832     82 |  0.000 % |
1138.21/1138.25	c |   7430600 |     496     3976    15376 |        1   125026     82 |  0.000 % |
1138.21/1138.25	c |   7430909 |     496     3976    15376 |        1   125335     82 |  0.000 % |
1138.21/1138.25	c |   7431050 |     496     3976    15376 |        1   125476     83 |  0.000 % |
1138.21/1138.25	c |   7434984 |     496     3976    15376 |        1   129410     84 |  0.000 % |
1138.21/1138.25	c |   7435085 |     496     3976    15376 |        1   129511     84 |  0.000 % |
1138.21/1138.25	c |   7435730 |     496     3976    15376 |        1   130156     84 |  0.000 % |
1138.21/1138.25	c |   7435872 |     496     3976    15376 |        1   130298     84 |  0.000 % |
1138.21/1138.25	c |   7436081 |     496     3976    15376 |        1   130507     85 |  0.000 % |
1138.21/1138.25	c |   7436582 |     496     3976    15376 |        1   131008     85 |  0.000 % |
1138.21/1138.25	c |   7436682 |     496     3976    15376 |        1   131108     85 |  0.000 % |
1138.21/1138.25	c |   7437043 |     496     3976    15376 |        1   131469     85 |  0.000 % |
1138.21/1138.25	c |   7437144 |     496     3976    15376 |        1   131570     85 |  0.000 % |
1138.21/1138.25	c |   7437244 |     496     3976    15376 |        1   131670     85 |  0.000 % |
1138.21/1138.25	c |   7437349 |     496     3976    15376 |        1   131775     85 |  0.000 % |
1138.21/1138.25	c |   7440619 |     496     3976    15376 |        1   135045     87 |  0.000 % |
1138.21/1138.25	c |   7441025 |     496     3976    15376 |        1   135451     87 |  0.000 % |
1138.21/1138.25	c |   7441161 |     496     3976    15376 |        1   135587     87 |  0.000 % |
1138.21/1138.25	c |   7441816 |     496     3976    15376 |        1   136242     87 |  0.000 % |
1138.21/1138.25	c |   7441955 |     496     3976    15376 |        1   136381     87 |  0.000 % |
1138.21/1138.25	c |   7443069 |     496     3976    15376 |        1   137495     88 |  0.000 % |
1138.21/1138.25	c |   7443331 |     496     3976    15376 |        1   137757     88 |  0.000 % |
1138.21/1138.25	c |   7443591 |     496     3976    15376 |        1   138017     88 |  0.000 % |
1138.21/1138.25	c |   7443757 |     496     3976    15376 |        1   138183     88 |  0.000 % |
1138.21/1138.25	c |   7444427 |     496     3976    15376 |        1   138853     89 |  0.000 % |
1138.21/1138.25	c |   7444533 |     496     3976    15376 |        1   138959     89 |  0.000 % |
1138.21/1138.25	c |   7444678 |     496     3976    15376 |        1   139104     89 |  0.000 % |
1138.21/1138.25	c |   7444959 |     496     3976    15376 |        1   139385     89 |  0.000 % |
1138.21/1138.25	c |   7445307 |     496     3976    15376 |        1   139733     89 |  0.000 % |
1138.21/1138.25	c |   7445753 |     496     3976    15376 |        1   140179     89 |  0.000 % |
1138.21/1138.25	c |   7446108 |     496     3976    15376 |        1   140534     89 |  0.000 % |
1138.21/1138.25	c |   7447440 |     496     3976    15376 |        1   141866     90 |  0.000 % |
1138.21/1138.25	c |   7447717 |     496     3976    15376 |        1   142143     90 |  0.000 % |
1138.21/1138.25	c |   7447989 |     496     3976    15376 |        1   142415     91 |  0.000 % |
1138.21/1138.25	c |   7448428 |     496     3976    15376 |        1   142854     91 |  0.000 % |
1138.21/1138.25	c |   7449083 |     496     3976    15376 |        1   143509     91 |  0.000 % |
1138.21/1138.25	c |   7449183 |     496     3976    15376 |        1   143609     91 |  0.000 % |
1153.51/1153.59	c |   7450092 |     496     3976    15376 |        1   144518     92 |  0.000 % |
1153.51/1153.59	c |   7450326 |     496     3976    15376 |        1   144752     92 |  0.000 % |
1153.51/1153.59	c |   7450566 |     496     3976    15376 |        1   144992     92 |  0.000 % |
1153.51/1153.59	c |   7450675 |     496     3976    15376 |        1   145101     92 |  0.000 % |
1153.51/1153.59	c |   7450800 |     496     3976    15376 |        1   145226     92 |  0.000 % |
1153.51/1153.59	c |   7451192 |     496     3976    15376 |        1   145618     92 |  0.000 % |
1153.51/1153.59	c |   7451641 |     496     3976    15376 |        1   146067     92 |  0.000 % |
1153.51/1153.59	c |   7451962 |     496     3976    15376 |        1   146388     92 |  0.000 % |
1153.51/1153.59	c |   7452171 |     496     3976    15376 |        1   146597     92 |  0.000 % |
1153.51/1153.59	c |   7452613 |     496     3976    15376 |        1   147039     93 |  0.000 % |
1153.51/1153.59	c |   7452733 |     496     3976    15376 |        1   147159     93 |  0.000 % |
1153.51/1153.59	c |   7452833 |     496     3976    15376 |        1   147259     93 |  0.000 % |
1153.51/1153.59	c |   7452960 |     496     3976    15376 |        1   147386     93 |  0.000 % |
1153.51/1153.59	c |   7453239 |     496     3976    15376 |        1   147665     93 |  0.000 % |
1153.51/1153.59	c |   7453380 |     496     3976    15376 |        1   147806     93 |  0.000 % |
1153.51/1153.59	c |   7453713 |     496     3976    15376 |        1   148139     93 |  0.000 % |
1153.51/1153.59	c |   7454441 |     496     3976    15376 |        1   148867     93 |  0.000 % |
1153.51/1153.59	c |   7454607 |     496     3976    15376 |        1   149033     93 |  0.000 % |
1153.51/1153.59	c |   7455348 |     496     3976    15376 |        1   149774     94 |  0.000 % |
1153.51/1153.59	c |   7455449 |     496     3976    15376 |        1   149875     94 |  0.000 % |
1153.51/1153.59	c |   7455573 |     496     3976    15376 |        1   149999     94 |  0.000 % |
1153.51/1153.59	c |   7455992 |     496     3976    15376 |        1   150418     94 |  0.000 % |
1153.51/1153.59	c |   7456262 |     496     3976    15376 |        1   150688     94 |  0.000 % |
1153.51/1153.59	c |   7456365 |     496     3976    15376 |        1   150791     94 |  0.000 % |
1153.51/1153.59	c |   7456569 |     496     3976    15376 |        1   150995     94 |  0.000 % |
1153.51/1153.59	c |   7457312 |     496     3976    15376 |        1   151738     95 |  0.000 % |
1153.51/1153.59	c |   7457700 |     496     3976    15376 |        1   152126     95 |  0.000 % |
1153.51/1153.59	c |   7457852 |     496     3976    15376 |        1   152278     95 |  0.000 % |
1153.51/1153.59	c |   7458022 |     496     3976    15376 |        1   152448     95 |  0.000 % |
1153.51/1153.59	c |   7458622 |     496     3976    15376 |        1   153048     95 |  0.000 % |
1153.51/1153.59	c |   7458767 |     496     3976    15376 |        1   153193     95 |  0.000 % |
1153.51/1153.59	c |   7459181 |     496     3976    15376 |        1   153607     95 |  0.000 % |
1153.51/1153.59	c |   7459597 |     496     3976    15376 |        1   154023     96 |  0.000 % |
1153.51/1153.59	c |   7459971 |     496     3976    15376 |        1   154397     96 |  0.000 % |
1153.51/1153.59	c |   7460071 |     496     3976    15376 |        1   154497     96 |  0.000 % |
1153.51/1153.59	c |   7460242 |     496     3976    15376 |        1   154668     96 |  0.000 % |
1153.51/1153.59	c |   7460566 |     496     3976    15376 |        1   154992     96 |  0.000 % |
1153.51/1153.59	c |   7469453 |     496     3976    15376 |        1   163879    100 |  0.000 % |
1153.51/1153.59	c |   7469673 |     496     3976    15376 |        1   164099    100 |  0.000 % |
1153.51/1153.59	c |   7543862 |     496     3976    15376 |        1   144284     90 |  0.000 % |
1153.51/1153.59	c |   7543966 |     496     3976    15376 |        1   144388     90 |  0.000 % |
1153.51/1153.59	c |   7544598 |     496     3976    15376 |        1   145020     90 |  0.000 % |
1153.51/1153.59	c |   7545257 |     496     3976    15376 |        1   145679     91 |  0.000 % |
1153.51/1153.59	c |   7545376 |     496     3976    15376 |        1   145798     91 |  0.000 % |
1153.51/1153.59	c |   7545476 |     496     3976    15376 |        1   145898     91 |  0.000 % |
1153.51/1153.59	c |   7545794 |     496     3976    15376 |        1   146216     91 |  0.000 % |
1153.51/1153.59	c |   7546826 |     496     3976    15376 |        1   147248     91 |  0.000 % |
1153.51/1153.59	c |   7547369 |     496     3976    15376 |        1   147791     91 |  0.000 % |
1153.51/1153.59	c |   7547469 |     496     3976    15376 |        1   147891     91 |  0.000 % |
1153.51/1153.59	c |   7547569 |     496     3976    15376 |        1   147991     92 |  0.000 % |
1166.61/1166.64	c |   7560398 |     496     3976    15376 |        1   160820     96 |  0.000 % |
1166.61/1166.64	c |   7560499 |     496     3976    15376 |        1   160921     96 |  0.000 % |
1166.61/1166.64	c |   7563319 |     496     3976    15376 |        1   163741     97 |  0.000 % |
1166.61/1166.64	c |   7563870 |     496     3976    15376 |        1   164292     97 |  0.000 % |
1166.61/1166.64	c |   7563970 |     496     3976    15376 |        1   164392     97 |  0.000 % |
1166.61/1166.64	c |   7564072 |     496     3976    15376 |        1   164494     97 |  0.000 % |
1166.61/1166.64	c |   7564172 |     496     3976    15376 |        1   164594     97 |  0.000 % |
1166.61/1166.64	c |   7564273 |     496     3976    15376 |        1   164695     97 |  0.000 % |
1166.61/1166.64	c |   7564478 |     496     3976    15376 |        1   164900     97 |  0.000 % |
1166.61/1166.64	c |   7564859 |     496     3976    15376 |        1   165281     97 |  0.000 % |
1166.61/1166.64	c |   7565013 |     496     3976    15376 |        1   165435     97 |  0.000 % |
1166.61/1166.64	c |   7565113 |     496     3976    15376 |        1   165535     97 |  0.000 % |
1166.61/1166.64	c |   7565568 |     496     3976    15376 |        1   165990     97 |  0.000 % |
1166.61/1166.64	c |   7565681 |     496     3976    15376 |        1   166103     97 |  0.000 % |
1166.61/1166.64	c |   7565781 |     496     3976    15376 |        1   166203     97 |  0.000 % |
1166.61/1166.64	c |   7565881 |     496     3976    15376 |        1   166303     97 |  0.000 % |
1166.61/1166.64	c |   7565982 |     496     3976    15376 |        1   166404     97 |  0.000 % |
1166.61/1166.64	c |   7566139 |     496     3976    15376 |        1   166561     97 |  0.000 % |
1166.61/1166.64	c |   7566240 |     496     3976    15376 |        1   166662     97 |  0.000 % |
1166.61/1166.64	c |   7566822 |     496     3976    15376 |        1   167244     98 |  0.000 % |
1166.61/1166.64	c |   7566966 |     496     3976    15376 |        1   167388     98 |  0.000 % |
1166.61/1166.64	c |   7567067 |     496     3976    15376 |        1   167489     98 |  0.000 % |
1166.61/1166.64	c |   7623632 |     496     3976    15376 |        1   129466    100 |  0.000 % |
1166.61/1166.64	c |   7623732 |     496     3976    15376 |        1   129566    100 |  0.000 % |
1166.61/1166.64	c |   7624044 |     496     3976    15376 |        1   129878    100 |  0.000 % |
1166.61/1166.64	c |   7624319 |     496     3976    15376 |        1   130153    100 |  0.000 % |
1166.61/1166.64	c |   7624539 |     496     3976    15376 |        1   130373    100 |  0.000 % |
1166.61/1166.64	c |   7624726 |     496     3976    15376 |        1   130560    100 |  0.000 % |
1166.61/1166.64	c |   7625322 |     496     3976    15376 |        1   131156    101 |  0.000 % |
1166.61/1166.64	c |   7625554 |     496     3976    15376 |        1   131388    101 |  0.000 % |
1166.61/1166.64	c |   7625989 |     496     3976    15376 |        1   131823    101 |  0.000 % |
1166.61/1166.64	c |   7626496 |     496     3976    15376 |        1   132330    101 |  0.000 % |
1166.61/1166.64	c |   7626596 |     496     3976    15376 |        1   132430    101 |  0.000 % |
1166.61/1166.64	c |   7626805 |     496     3976    15376 |        1   132639    101 |  0.000 % |
1166.61/1166.64	c |   7628707 |     496     3976    15376 |        1   134541    102 |  0.000 % |
1166.61/1166.64	c |   7628807 |     496     3976    15376 |        1   134641    102 |  0.000 % |
1166.61/1166.64	c |   7629136 |     496     3976    15376 |        1   134970    102 |  0.000 % |
1166.61/1166.64	c |   7629601 |     496     3976    15376 |        1   135435    103 |  0.000 % |
1166.61/1166.64	c |   7629717 |     496     3976    15376 |        1   135551    103 |  0.000 % |
1166.61/1166.64	c |   7629818 |     496     3976    15376 |        1   135652    103 |  0.000 % |
1166.61/1166.64	c |   7629960 |     496     3976    15376 |        1   135794    103 |  0.000 % |
1166.61/1166.64	c |   7631284 |     496     3976    15376 |        1   137118    103 |  0.000 % |
1166.61/1166.64	c |   7632161 |     496     3976    15376 |        1   137995    104 |  0.000 % |
1166.61/1166.64	c |   7632490 |     496     3976    15376 |        1   138324    104 |  0.000 % |
1166.61/1166.64	c |   7634257 |     496     3976    15376 |        1   140091    105 |  0.000 % |
1166.61/1166.64	c |   7634400 |     496     3976    15376 |        1   140234    105 |  0.000 % |
1166.61/1166.64	c |   7635301 |     496     3976    15376 |        1   141135    105 |  0.000 % |
1166.61/1166.64	c |   7635791 |     496     3976    15376 |        1   141625    105 |  0.000 % |
1166.61/1166.64	c |   7635892 |     496     3976    15376 |        1   141726    105 |  0.000 % |
1166.61/1166.64	c |   7636059 |     496     3976    15376 |        1   141893    105 |  0.000 % |
1170.81/1170.86	c |   7636162 |     496     3976    15376 |        1   141996    105 |  0.000 % |
1170.81/1170.86	c |   7636262 |     496     3976    15376 |        1   142096    105 |  0.000 % |
1170.81/1170.86	c |   7636452 |     496     3976    15376 |        1   142286    105 |  0.000 % |
1170.81/1170.86	c |   7636845 |     496     3976    15376 |        1   142679    106 |  0.000 % |
1170.81/1170.86	c |   7637251 |     496     3976    15376 |        1   143085    106 |  0.000 % |
1170.81/1170.86	c |   7638467 |     496     3976    15376 |        1   144301    106 |  0.000 % |
1170.81/1170.86	c |   7638646 |     496     3976    15376 |        1   144480    106 |  0.000 % |
1170.81/1170.86	c |   7638812 |     496     3976    15376 |        1   144646    106 |  0.000 % |
1170.81/1170.86	c |   7639116 |     496     3976    15376 |        1   144950    106 |  0.000 % |
1170.81/1170.86	c |   7639536 |     496     3976    15376 |        1   145370    107 |  0.000 % |
1170.81/1170.86	c |   7639752 |     496     3976    15376 |        1   145586    107 |  0.000 % |
1170.81/1170.86	c |   7640052 |     496     3976    15376 |        1   145886    107 |  0.000 % |
1170.81/1170.86	c |   7640163 |     496     3976    15376 |        1   145997    107 |  0.000 % |
1170.81/1170.86	c |   7640516 |     496     3976    15376 |        1   146350    107 |  0.000 % |
1170.81/1170.86	c |   7640781 |     496     3976    15376 |        1   146615    107 |  0.000 % |
1170.81/1170.86	c |   7640946 |     496     3976    15376 |        1   146780    107 |  0.000 % |
1170.81/1170.86	c |   7641103 |     496     3976    15376 |        1   146937    107 |  0.000 % |
1170.81/1170.86	c |   7641227 |     496     3976    15376 |        1   147061    107 |  0.000 % |
1170.81/1170.86	c |   7641377 |     496     3976    15376 |        1   147211    107 |  0.000 % |
1170.81/1170.86	c |   7641477 |     496     3976    15376 |        1   147311    107 |  0.000 % |
1170.81/1170.86	c |   7641971 |     496     3976    15376 |        1   147805    107 |  0.000 % |
1170.81/1170.86	c |   7642124 |     496     3976    15376 |        1   147958    107 |  0.000 % |
1170.81/1170.86	c |   7642496 |     496     3976    15376 |        1   148330    108 |  0.000 % |
1170.81/1170.86	c |   7642663 |     496     3976    15376 |        1   148497    108 |  0.000 % |
1170.81/1170.86	c |   7642793 |     496     3976    15376 |        1   148627    108 |  0.000 % |
1170.81/1170.86	c |   7642967 |     496     3976    15376 |        1   148801    108 |  0.000 % |
1170.81/1170.86	c |   7651536 |     496     3976    15376 |        1   157370    110 |  0.000 % |
1170.81/1170.86	c |   7651782 |     496     3976    15376 |        1   157616    110 |  0.000 % |
1170.81/1170.86	c |   7652007 |     496     3976    15376 |        1   157841    110 |  0.000 % |
1170.81/1170.86	c |   7652786 |     496     3976    15376 |        1   158620    110 |  0.000 % |
1170.81/1170.86	c |   7653121 |     496     3976    15376 |        1   158955    110 |  0.000 % |
1170.81/1170.86	c |   7653413 |     496     3976    15376 |        1   159247    110 |  0.000 % |
1170.81/1170.86	c |   7653611 |     496     3976    15376 |        1   159445    110 |  0.000 % |
1170.81/1170.86	c |   7653813 |     496     3976    15376 |        1   159647    110 |  0.000 % |
1170.81/1170.86	c |   7654852 |     496     3976    15376 |        1   160686    110 |  0.000 % |
1170.81/1170.86	c |   7655439 |     496     3976    15376 |        1   161273    111 |  0.000 % |
1170.81/1170.86	c |   7655539 |     496     3976    15376 |        1   161373    111 |  0.000 % |
1170.81/1170.86	c |   7656589 |     496     3976    15376 |        1   162423    111 |  0.000 % |
1170.81/1170.86	c |   7656690 |     496     3976    15376 |        1   162524    111 |  0.000 % |
1170.81/1170.86	c |   7656793 |     496     3976    15376 |        1   162627    111 |  0.000 % |
1170.81/1170.86	c |   7657053 |     496     3976    15376 |        1   162887    111 |  0.000 % |
1170.81/1170.86	c |   7660514 |     496     3976    15376 |        1   166348    112 |  0.000 % |
1170.81/1170.86	c |   7661333 |     496     3976    15376 |        1   167167    112 |  0.000 % |
1170.81/1170.86	c |   7661688 |     496     3976    15376 |        1   167522    112 |  0.000 % |
1170.81/1170.86	c |   7662307 |     496     3976    15376 |        1   168141    112 |  0.000 % |
1170.81/1170.86	c |   7662408 |     496     3976    15376 |        1   168242    112 |  0.000 % |
1170.81/1170.86	c |   7662511 |     496     3976    15376 |        1   168345    112 |  0.000 % |
1170.81/1170.86	c |   7662857 |     496     3976    15376 |        1   168691    112 |  0.000 % |
1170.81/1170.86	c |   7662957 |     496     3976    15376 |        1   168791    112 |  0.000 % |
1170.81/1170.86	c |   7678908 |     496     3976    15376 |        1   184742    118 |  0.000 % |
1173.11/1173.17	c |   7679058 |     496     3976    15376 |        1   184892    118 |  0.000 % |
1173.11/1173.17	c |   7679284 |     496     3976    15376 |        1   185118    118 |  0.000 % |
1173.11/1173.17	c |   7679398 |     496     3976    15376 |        1   185232    118 |  0.000 % |
1173.11/1173.17	c |   7679574 |     496     3976    15376 |        1   185408    118 |  0.000 % |
1173.11/1173.17	c |   7679675 |     496     3976    15376 |        1   185509    118 |  0.000 % |
1173.11/1173.17	c |   7679776 |     496     3976    15376 |        1   185610    118 |  0.000 % |
1173.11/1173.17	c |   7679978 |     496     3976    15376 |        1   185812    118 |  0.000 % |
1173.11/1173.17	c |   7680304 |     496     3976    15376 |        1   186138    118 |  0.000 % |
1173.11/1173.17	c |   7680704 |     496     3976    15376 |        1   186538    118 |  0.000 % |
1173.11/1173.17	c |   7680805 |     496     3976    15376 |        1   186639    118 |  0.000 % |
1173.11/1173.17	c |   7681038 |     496     3976    15376 |        1   186872    118 |  0.000 % |
1173.11/1173.17	c |   7681196 |     496     3976    15376 |        1   187030    118 |  0.000 % |
1173.11/1173.17	c |   7681558 |     496     3976    15376 |        1   187392    118 |  0.000 % |
1173.11/1173.17	c |   7681712 |     496     3976    15376 |        1   187546    118 |  0.000 % |
1173.11/1173.17	c |   7682166 |     496     3976    15376 |        1   188000    119 |  0.000 % |
1173.11/1173.17	c |   7682472 |     496     3976    15376 |        1   188306    119 |  0.000 % |
1173.11/1173.17	c |   7682608 |     496     3976    15376 |        1   188442    119 |  0.000 % |
1173.11/1173.17	c |   7682730 |     496     3976    15376 |        1   188564    119 |  0.000 % |
1173.11/1173.17	c |   7682835 |     496     3976    15376 |        1   188669    119 |  0.000 % |
1173.11/1173.17	c |   7683089 |     496     3976    15376 |        1   188923    119 |  0.000 % |
1173.11/1173.17	c |   7683295 |     496     3976    15376 |        1   189129    119 |  0.000 % |
1173.11/1173.17	c |   7683397 |     496     3976    15376 |        1   189231    119 |  0.000 % |
1173.11/1173.17	c |   7683503 |     496     3976    15376 |        1   189337    119 |  0.000 % |
1173.11/1173.17	c |   7683794 |     496     3976    15376 |        1   189628    119 |  0.000 % |
1173.11/1173.17	c |   7684243 |     496     3976    15376 |        1   190077    119 |  0.000 % |
1173.11/1173.17	c |   7684343 |     496     3976    15376 |        1   190177    119 |  0.000 % |
1173.11/1173.17	c |   7684452 |     496     3976    15376 |        1   190286    119 |  0.000 % |
1173.11/1173.17	c |   7684553 |     496     3976    15376 |        1   190387    119 |  0.000 % |
1173.11/1173.17	c |   7684874 |     496     3976    15376 |        1    95507     58 |  0.000 % |
1173.11/1173.17	c |   7685032 |     496     3976    15376 |        1    95665     59 |  0.000 % |
1173.11/1173.17	c |   7686063 |     496     3976    15376 |        1    96696     60 |  0.000 % |
1173.11/1173.17	c |   7686295 |     496     3976    15376 |        1    96928     60 |  0.000 % |
1173.11/1173.17	c |   7687008 |     496     3976    15376 |        1    97641     61 |  0.000 % |
1173.11/1173.17	c |   7687155 |     496     3976    15376 |        1    97788     61 |  0.000 % |
1173.11/1173.17	c |   7687817 |     496     3976    15376 |        1    98450     61 |  0.000 % |
1173.11/1173.17	c |   7687950 |     496     3976    15376 |        1    98583     62 |  0.000 % |
1173.11/1173.17	c |   7688119 |     496     3976    15376 |        1    98752     62 |  0.000 % |
1173.11/1173.17	c |   7689143 |     496     3976    15376 |        1    99776     63 |  0.000 % |
1173.11/1173.17	c |   7690311 |     496     3976    15376 |        1   100944     64 |  0.000 % |
1173.11/1173.17	c |   7690412 |     496     3976    15376 |        1   101045     64 |  0.000 % |
1173.11/1173.17	c |   7690554 |     496     3976    15376 |        1   101187     64 |  0.000 % |
1173.11/1173.17	c |   7690670 |     496     3976    15376 |        1   101303     64 |  0.000 % |
1173.11/1173.17	c |   7691045 |     496     3976    15376 |        1   101678     65 |  0.000 % |
1173.11/1173.17	c |   7691154 |     496     3976    15376 |        1   101787     65 |  0.000 % |
1173.11/1173.17	c |   7691377 |     496     3976    15376 |        1   102010     65 |  0.000 % |
1173.11/1173.17	c |   7691491 |     496     3976    15376 |        1   102124     65 |  0.000 % |
1173.11/1173.17	c |   7691915 |     496     3976    15376 |        1   102548     66 |  0.000 % |
1173.11/1173.17	c |   7692052 |     496     3976    15376 |        1   102685     66 |  0.000 % |
1173.11/1173.17	c |   7692165 |     496     3976    15376 |        1   102798     66 |  0.000 % |
1173.11/1173.17	c |   7692265 |     496     3976    15376 |        1   102898     66 |  0.000 % |
1175.31/1175.31	c |   7692366 |     496     3976    15376 |        1   102999     66 |  0.000 % |
1175.31/1175.31	c |   7692466 |     496     3976    15376 |        1   103099     66 |  0.000 % |
1175.31/1175.31	c |   7692573 |     496     3976    15376 |        1   103206     66 |  0.000 % |
1175.31/1175.31	c |   7692677 |     496     3976    15376 |        1   103310     66 |  0.000 % |
1175.31/1175.31	c |   7693017 |     496     3976    15376 |        1   103650     67 |  0.000 % |
1175.31/1175.31	c |   7693366 |     496     3976    15376 |        1   103999     67 |  0.000 % |
1175.31/1175.31	c |   7694350 |     496     3976    15376 |        1   104983     68 |  0.000 % |
1175.31/1175.31	c |   7694455 |     496     3976    15376 |        1   105088     68 |  0.000 % |
1175.31/1175.31	c |   7694736 |     496     3976    15376 |        1   105369     68 |  0.000 % |
1175.31/1175.31	c |   7695887 |     496     3976    15376 |        1   106520     69 |  0.000 % |
1175.31/1175.31	c |   7695988 |     496     3976    15376 |        1   106621     69 |  0.000 % |
1175.31/1175.31	c |   7701046 |     496     3976    15376 |        1   111679     74 |  0.000 % |
1175.31/1175.31	c |   7701146 |     496     3976    15376 |        1   111779     74 |  0.000 % |
1175.31/1175.31	c |   7702443 |     496     3976    15376 |        1   113076     75 |  0.000 % |
1175.31/1175.31	c |   7702672 |     496     3976    15376 |        1   113305     75 |  0.000 % |
1175.31/1175.31	c |   7702814 |     496     3976    15376 |        1   113447     75 |  0.000 % |
1175.31/1175.31	c |   7703088 |     496     3976    15376 |        1   113721     75 |  0.000 % |
1175.31/1175.31	c |   7703323 |     496     3976    15376 |        1   113956     75 |  0.000 % |
1175.31/1175.31	c |   7703482 |     496     3976    15376 |        1   114115     76 |  0.000 % |
1175.31/1175.31	c |   7707035 |     496     3976    15376 |        1   117668     77 |  0.000 % |
1175.31/1175.31	c |   7707148 |     496     3976    15376 |        1   117781     77 |  0.000 % |
1175.31/1175.31	c |   7707307 |     496     3976    15376 |        1   117940     77 |  0.000 % |
1175.31/1175.31	c |   7707418 |     496     3976    15376 |        1   118051     78 |  0.000 % |
1175.31/1175.31	c |   7708122 |     496     3976    15376 |        1   118755     78 |  0.000 % |
1175.31/1175.31	c |   7708898 |     496     3976    15376 |        1   119531     79 |  0.000 % |
1175.31/1175.31	c |   7709247 |     496     3976    15376 |        1   119880     79 |  0.000 % |
1175.31/1175.31	c |   7709347 |     496     3976    15376 |        1   119980     79 |  0.000 % |
1175.31/1175.31	c |   7709447 |     496     3976    15376 |        1   120080     79 |  0.000 % |
1175.31/1175.31	c |   7709861 |     496     3976    15376 |        1   120494     79 |  0.000 % |
1175.31/1175.31	c |   7709996 |     496     3976    15376 |        1   120629     79 |  0.000 % |
1175.31/1175.31	c |   7710105 |     496     3976    15376 |        1   120738     79 |  0.000 % |
1175.31/1175.31	c |   7710400 |     496     3976    15376 |        1   121033     80 |  0.000 % |
1175.31/1175.31	c |   7710785 |     496     3976    15376 |        1   121418     80 |  0.000 % |
1175.31/1175.31	c |   7711042 |     496     3976    15376 |        1   121675     80 |  0.000 % |
1175.31/1175.31	c |   7711145 |     496     3976    15376 |        1   121778     80 |  0.000 % |
1175.31/1175.31	c |   7711295 |     496     3976    15376 |        1   121928     80 |  0.000 % |
1175.31/1175.31	c |   7711534 |     496     3976    15376 |        1   122167     80 |  0.000 % |
1175.31/1175.31	c |   7712653 |     496     3976    15376 |        1   123286     81 |  0.000 % |
1175.31/1175.31	c |   7712940 |     496     3976    15376 |        1   123573     81 |  0.000 % |
1175.31/1175.31	c |   7713753 |     496     3976    15376 |        1   124386     82 |  0.000 % |
1175.31/1175.31	c |   7713855 |     496     3976    15376 |        1   124488     82 |  0.000 % |
1175.31/1175.31	c |   7713956 |     496     3976    15376 |        1   124589     82 |  0.000 % |
1175.31/1175.31	c |   7714106 |     496     3976    15376 |        1   124739     82 |  0.000 % |
1175.31/1175.31	c |   7714266 |     496     3976    15376 |        1   124899     82 |  0.000 % |
1175.31/1175.31	c |   7714469 |     496     3976    15376 |        1   125102     82 |  0.000 % |
1175.31/1175.31	c |   7714828 |     496     3976    15376 |        1   125461     83 |  0.000 % |
1175.31/1175.31	c |   7715125 |     496     3976    15376 |        1   125758     83 |  0.000 % |
1175.31/1175.31	c |   7715301 |     496     3976    15376 |        1   125934     83 |  0.000 % |
1175.31/1175.31	c |   7715994 |     496     3976    15376 |        1   126627     83 |  0.000 % |
1175.31/1175.31	c |   7716124 |     496     3976    15376 |        1   126757     83 |  0.000 % |
1177.32/1177.33	c |   7716243 |     496     3976    15376 |        1   126876     83 |  0.000 % |
1177.32/1177.33	c |   7716347 |     496     3976    15376 |        1   126980     83 |  0.000 % |
1177.32/1177.33	c |   7716469 |     496     3976    15376 |        1   127102     83 |  0.000 % |
1177.32/1177.33	c |   7716716 |     496     3976    15376 |        1   127349     84 |  0.000 % |
1177.32/1177.33	c |   7716859 |     496     3976    15376 |        1   127492     84 |  0.000 % |
1177.32/1177.33	c |   7717532 |     496     3976    15376 |        1   128165     84 |  0.000 % |
1177.32/1177.33	c |   7717734 |     496     3976    15376 |        1   128367     84 |  0.000 % |
1177.32/1177.33	c |   7717834 |     496     3976    15376 |        1   128467     84 |  0.000 % |
1177.32/1177.33	c |   7717934 |     496     3976    15376 |        1   128567     84 |  0.000 % |
1177.32/1177.33	c |   7718146 |     496     3976    15376 |        1   128779     84 |  0.000 % |
1177.32/1177.33	c |   7718265 |     496     3976    15376 |        1   128898     84 |  0.000 % |
1177.32/1177.33	c |   7718385 |     496     3976    15376 |        1   129018     84 |  0.000 % |
1177.32/1177.33	c |   7718862 |     496     3976    15376 |        1   129495     85 |  0.000 % |
1177.32/1177.33	c |   7720126 |     496     3976    15376 |        1   130759     86 |  0.000 % |
1177.32/1177.33	c |   7720335 |     496     3976    15376 |        1   130968     86 |  0.000 % |
1177.32/1177.33	c |   7720462 |     496     3976    15376 |        1   131095     86 |  0.000 % |
1177.32/1177.33	c |   7721011 |     496     3976    15376 |        1   131644     86 |  0.000 % |
1177.32/1177.33	c |   7721149 |     496     3976    15376 |        1   131782     86 |  0.000 % |
1177.32/1177.33	c |   7721350 |     496     3976    15376 |        1   131983     86 |  0.000 % |
1177.32/1177.33	c |   7721811 |     496     3976    15376 |        1   132444     87 |  0.000 % |
1177.32/1177.33	c |   7722367 |     496     3976    15376 |        1   133000     87 |  0.000 % |
1177.32/1177.33	c |   7722467 |     496     3976    15376 |        1   133100     87 |  0.000 % |
1177.32/1177.33	c |   7722968 |     496     3976    15376 |        1   133601     87 |  0.000 % |
1177.32/1177.33	c |   7723213 |     496     3976    15376 |        1   133846     88 |  0.000 % |
1177.32/1177.33	c |   7723503 |     496     3976    15376 |        1   134136     88 |  0.000 % |
1177.32/1177.33	c |   7723719 |     496     3976    15376 |        1   134352     88 |  0.000 % |
1177.32/1177.33	c |   7724303 |     496     3976    15376 |        1   134936     88 |  0.000 % |
1177.32/1177.33	c |   7724409 |     496     3976    15376 |        1   135042     88 |  0.000 % |
1177.32/1177.33	c |   7724520 |     496     3976    15376 |        1   135153     88 |  0.000 % |
1177.32/1177.33	c |   7724809 |     496     3976    15376 |        1   135442     88 |  0.000 % |
1177.32/1177.33	c |   7725037 |     496     3976    15376 |        1   135670     89 |  0.000 % |
1177.32/1177.33	c |   7725238 |     496     3976    15376 |        1   135871     89 |  0.000 % |
1177.32/1177.33	c |   7725435 |     496     3976    15376 |        1   136068     89 |  0.000 % |
1177.32/1177.33	c |   7725596 |     496     3976    15376 |        1   136229     89 |  0.000 % |
1177.32/1177.33	c |   7725696 |     496     3976    15376 |        1   136329     89 |  0.000 % |
1177.32/1177.33	c |   7726079 |     496     3976    15376 |        1   136712     89 |  0.000 % |
1177.32/1177.33	c |   7726427 |     496     3976    15376 |        1   137060     89 |  0.000 % |
1177.32/1177.33	c |   7726868 |     496     3976    15376 |        1   137501     89 |  0.000 % |
1177.32/1177.33	c |   7727013 |     496     3976    15376 |        1   137646     90 |  0.000 % |
1177.32/1177.33	c |   7727205 |     496     3976    15376 |        1   137838     90 |  0.000 % |
1177.32/1177.33	c |   7727906 |     496     3976    15376 |        1   138539     90 |  0.000 % |
1177.32/1177.33	c |   7728010 |     496     3976    15376 |        1   138643     90 |  0.000 % |
1177.32/1177.33	c |   7728504 |     496     3976    15376 |        1   139137     90 |  0.000 % |
1177.32/1177.33	c |   7728674 |     496     3976    15376 |        1   139307     90 |  0.000 % |
1177.32/1177.33	c |   7729096 |     496     3976    15376 |        1   139729     91 |  0.000 % |
1177.32/1177.33	c |   7733144 |     496     3976    15376 |        1   143777     92 |  0.000 % |
1177.32/1177.33	c |   7734015 |     496     3976    15376 |        1   144648     92 |  0.000 % |
1177.32/1177.33	c |   7734116 |     496     3976    15376 |        1   144749     92 |  0.000 % |
1177.32/1177.33	c |   7734216 |     496     3976    15376 |        1   144849     92 |  0.000 % |
1177.32/1177.33	c |   7734783 |     496     3976    15376 |        1   145416     92 |  0.000 % |
1177.82/1177.85	c |   7735004 |     496     3976    15376 |        1   145637     92 |  0.000 % |
1177.82/1177.85	c |   7735267 |     496     3976    15376 |        1   145900     93 |  0.000 % |
1177.82/1177.85	c |   7735368 |     496     3976    15376 |        1   146001     93 |  0.000 % |
1177.82/1177.85	c |   7735562 |     496     3976    15376 |        1   146195     93 |  0.000 % |
1177.82/1177.85	c |   7735662 |     496     3976    15376 |        1   146295     93 |  0.000 % |
1177.82/1177.85	c |   7735832 |     496     3976    15376 |        1   146465     93 |  0.000 % |
1177.82/1177.85	c |   7735932 |     496     3976    15376 |        1   146565     93 |  0.000 % |
1177.82/1177.85	c |   7736032 |     496     3976    15376 |        1   146665     93 |  0.000 % |
1177.82/1177.85	c |   7736956 |     496     3976    15376 |        1   147589     93 |  0.000 % |
1177.82/1177.85	c |   7737069 |     496     3976    15376 |        1   147702     93 |  0.000 % |
1177.82/1177.85	c |   7737169 |     496     3976    15376 |        1   147802     93 |  0.000 % |
1177.82/1177.85	c |   7737321 |     496     3976    15376 |        1   147954     93 |  0.000 % |
1177.82/1177.85	c |   7737874 |     496     3976    15376 |        1   148507     94 |  0.000 % |
1177.82/1177.85	c |   7737974 |     496     3976    15376 |        1   148607     94 |  0.000 % |
1177.82/1177.85	c |   7738192 |     496     3976    15376 |        1   148825     94 |  0.000 % |
1177.82/1177.85	c |   7738292 |     496     3976    15376 |        1   148925     94 |  0.000 % |
1177.82/1177.85	c |   7738499 |     496     3976    15376 |        1   149132     94 |  0.000 % |
1177.82/1177.85	c |   7738599 |     496     3976    15376 |        1   149232     94 |  0.000 % |
1177.82/1177.85	c |   7738718 |     496     3976    15376 |        1   149351     94 |  0.000 % |
1177.82/1177.85	c |   7738831 |     496     3976    15376 |        1   149464     94 |  0.000 % |
1177.82/1177.85	c |   7738931 |     496     3976    15376 |        1   149564     94 |  0.000 % |
1177.82/1177.85	c |   7739034 |     496     3976    15376 |        1   149667     94 |  0.000 % |
1177.82/1177.85	c |   7739134 |     496     3976    15376 |        1   149767     94 |  0.000 % |
1177.82/1177.85	c |   7739236 |     496     3976    15376 |        1   149869     94 |  0.000 % |
1177.82/1177.85	c |   7739337 |     496     3976    15376 |        1   149970     94 |  0.000 % |
1177.82/1177.85	c |   7739437 |     496     3976    15376 |        1   150070     94 |  0.000 % |
1177.82/1177.85	c |   7739537 |     496     3976    15376 |        1   150170     94 |  0.000 % |
1177.82/1177.85	c |   7739637 |     496     3976    15376 |        1   150270     94 |  0.000 % |
1177.82/1177.85	c |   7739737 |     496     3976    15376 |        1   150370     94 |  0.000 % |
1177.82/1177.85	c |   7739838 |     496     3976    15376 |        1   150471     94 |  0.000 % |
1177.82/1177.85	c |   7739948 |     496     3976    15376 |        1   150581     95 |  0.000 % |
1177.82/1177.85	c |   7740048 |     496     3976    15376 |        1   150681     95 |  0.000 % |
1177.82/1177.85	c |   7740148 |     496     3976    15376 |        1   150781     95 |  0.000 % |
1177.82/1177.85	c |   7740253 |     496     3976    15376 |        1   150886     95 |  0.000 % |
1177.82/1177.85	c |   7740355 |     496     3976    15376 |        1   150988     95 |  0.000 % |
1177.82/1177.85	c |   7740455 |     496     3976    15376 |        1   151088     95 |  0.000 % |
1177.82/1177.85	c |   7740556 |     496     3976    15376 |        1   151189     95 |  0.000 % |
1177.82/1177.85	c |   7740657 |     496     3976    15376 |        1   151290     95 |  0.000 % |
1177.82/1177.85	c |   7740789 |     496     3976    15376 |        1   151422     95 |  0.000 % |
1177.82/1177.85	c |   7740890 |     496     3976    15376 |        1   151523     95 |  0.000 % |
1177.82/1177.85	c |   7741054 |     496     3976    15376 |        1   151687     95 |  0.000 % |
1177.82/1177.85	c |   7741154 |     496     3976    15376 |        1   151787     95 |  0.000 % |
1177.82/1177.85	c |   7741254 |     496     3976    15376 |        1   151887     95 |  0.000 % |
1177.82/1177.85	c |   7741355 |     496     3976    15376 |        1   151988     95 |  0.000 % |
1177.82/1177.85	c |   7741455 |     496     3976    15376 |        1   152088     95 |  0.000 % |
1177.82/1177.85	c |   7741555 |     496     3976    15376 |        1   152188     95 |  0.000 % |
1177.82/1177.85	c |   7741663 |     496     3976    15376 |        1   152296     95 |  0.000 % |
1177.82/1177.85	c |   7741764 |     496     3976    15376 |        1   152397     95 |  0.000 % |
1177.82/1177.85	c |   7741865 |     496     3976    15376 |        1   152498     95 |  0.000 % |
1177.82/1177.85	c |   7741965 |     496     3976    15376 |        1   152598     95 |  0.000 % |
1178.41/1178.45	c |   7742092 |     496     3976    15376 |        1   152725     95 |  0.000 % |
1178.41/1178.45	c |   7742192 |     496     3976    15376 |        1   152825     95 |  0.000 % |
1178.41/1178.45	c |   7742293 |     496     3976    15376 |        1   152926     96 |  0.000 % |
1178.41/1178.45	c |   7742393 |     496     3976    15376 |        1   153026     96 |  0.000 % |
1178.41/1178.45	c |   7742494 |     496     3976    15376 |        1   153127     96 |  0.000 % |
1178.41/1178.45	c |   7742638 |     496     3976    15376 |        1   153271     96 |  0.000 % |
1178.41/1178.45	c |   7742738 |     496     3976    15376 |        1   153371     96 |  0.000 % |
1178.41/1178.45	c |   7742839 |     496     3976    15376 |        1   153472     96 |  0.000 % |
1178.41/1178.45	c |   7742939 |     496     3976    15376 |        1   153572     96 |  0.000 % |
1178.41/1178.45	c |   7743039 |     496     3976    15376 |        1   153672     96 |  0.000 % |
1178.41/1178.45	c |   7743141 |     496     3976    15376 |        1   153774     96 |  0.000 % |
1178.41/1178.45	c |   7743241 |     496     3976    15376 |        1   153874     96 |  0.000 % |
1178.41/1178.45	c |   7743488 |     496     3976    15376 |        1   154121     96 |  0.000 % |
1178.41/1178.45	c |   7743588 |     496     3976    15376 |        1   154221     96 |  0.000 % |
1178.41/1178.45	c |   7743688 |     496     3976    15376 |        1   154321     96 |  0.000 % |
1178.41/1178.45	c |   7743788 |     496     3976    15376 |        1   154421     96 |  0.000 % |
1178.41/1178.45	c |   7743941 |     496     3976    15376 |        1   154574     96 |  0.000 % |
1178.41/1178.45	c |   7744042 |     496     3976    15376 |        1   154675     96 |  0.000 % |
1178.41/1178.45	c |   7744142 |     496     3976    15376 |        1   154775     96 |  0.000 % |
1178.41/1178.45	c |   7744243 |     496     3976    15376 |        1   154876     96 |  0.000 % |
1178.41/1178.45	c |   7744345 |     496     3976    15376 |        1   154978     96 |  0.000 % |
1178.41/1178.45	c |   7744445 |     496     3976    15376 |        1   155078     96 |  0.000 % |
1178.41/1178.45	c |   7744545 |     496     3976    15376 |        1   155178     96 |  0.000 % |
1178.41/1178.45	c |   7744646 |     496     3976    15376 |        1   155279     96 |  0.000 % |
1178.41/1178.45	c |   7744748 |     496     3976    15376 |        1   155381     97 |  0.000 % |
1178.41/1178.45	c |   7744849 |     496     3976    15376 |        1   155482     97 |  0.000 % |
1178.41/1178.45	c |   7744951 |     496     3976    15376 |        1   155584     97 |  0.000 % |
1178.41/1178.45	c |   7745074 |     496     3976    15376 |        1   155707     97 |  0.000 % |
1178.41/1178.45	c |   7745175 |     496     3976    15376 |        1   155808     97 |  0.000 % |
1178.41/1178.45	c |   7745275 |     496     3976    15376 |        1   155908     97 |  0.000 % |
1178.41/1178.45	c |   7745375 |     496     3976    15376 |        1   156008     97 |  0.000 % |
1178.41/1178.45	c |   7745475 |     496     3976    15376 |        1   156108     97 |  0.000 % |
1178.41/1178.45	c |   7745575 |     496     3976    15376 |        1   156208     97 |  0.000 % |
1178.41/1178.45	c |   7745676 |     496     3976    15376 |        1   156309     97 |  0.000 % |
1178.41/1178.45	c |   7745777 |     496     3976    15376 |        1   156410     97 |  0.000 % |
1178.41/1178.45	c |   7745944 |     496     3976    15376 |        1   156577     97 |  0.000 % |
1178.41/1178.45	c |   7746044 |     496     3976    15376 |        1   156677     97 |  0.000 % |
1178.41/1178.45	c |   7746145 |     496     3976    15376 |        1   156778     97 |  0.000 % |
1178.41/1178.45	c |   7746246 |     496     3976    15376 |        1   156879     97 |  0.000 % |
1178.41/1178.45	c |   7746350 |     496     3976    15376 |        1   156983     97 |  0.000 % |
1178.41/1178.45	c |   7746450 |     496     3976    15376 |        1   157083     97 |  0.000 % |
1178.41/1178.45	c |   7746550 |     496     3976    15376 |        1   157183     97 |  0.000 % |
1178.41/1178.45	c |   7746652 |     496     3976    15376 |        1   157285     97 |  0.000 % |
1178.41/1178.45	c |   7746753 |     496     3976    15376 |        1   157386     97 |  0.000 % |
1178.41/1178.45	c |   7746853 |     496     3976    15376 |        1   157486     97 |  0.000 % |
1178.41/1178.45	c |   7746953 |     496     3976    15376 |        1   157586     97 |  0.000 % |
1178.41/1178.45	c |   7747054 |     496     3976    15376 |        1   157687     97 |  0.000 % |
1178.41/1178.45	c |   7747154 |     496     3976    15376 |        1   157787     98 |  0.000 % |
1178.41/1178.45	c |   7747256 |     496     3976    15376 |        1   157889     98 |  0.000 % |
1178.41/1178.45	c |   7747356 |     496     3976    15376 |        1   157989     98 |  0.000 % |
1179.61/1179.63	c |   7747456 |     496     3976    15376 |        1   158089     98 |  0.000 % |
1179.61/1179.63	c |   7747557 |     496     3976    15376 |        1   158190     98 |  0.000 % |
1179.61/1179.63	c |   7747657 |     496     3976    15376 |        1   158290     98 |  0.000 % |
1179.61/1179.63	c |   7747757 |     496     3976    15376 |        1   158390     98 |  0.000 % |
1179.61/1179.63	c |   7747857 |     496     3976    15376 |        1   158490     98 |  0.000 % |
1179.61/1179.63	c |   7747957 |     496     3976    15376 |        1   158590     98 |  0.000 % |
1179.61/1179.63	c |   7748059 |     496     3976    15376 |        1   158692     98 |  0.000 % |
1179.61/1179.63	c |   7748159 |     496     3976    15376 |        1   158792     98 |  0.000 % |
1179.61/1179.63	c |   7748259 |     496     3976    15376 |        1   158892     98 |  0.000 % |
1179.61/1179.63	c |   7748359 |     496     3976    15376 |        1   158992     98 |  0.000 % |
1179.61/1179.63	c |   7748459 |     496     3976    15376 |        1   159092     98 |  0.000 % |
1179.61/1179.63	c |   7748561 |     496     3976    15376 |        1   159194     98 |  0.000 % |
1179.61/1179.63	c |   7748661 |     496     3976    15376 |        1   159294     98 |  0.000 % |
1179.61/1179.63	c |   7748761 |     496     3976    15376 |        1   159394     98 |  0.000 % |
1179.61/1179.63	c |   7748863 |     496     3976    15376 |        1   159496     98 |  0.000 % |
1179.61/1179.63	c |   7748965 |     496     3976    15376 |        1   159598     98 |  0.000 % |
1179.61/1179.63	c |   7749065 |     496     3976    15376 |        1   159698     98 |  0.000 % |
1179.61/1179.63	c |   7749165 |     496     3976    15376 |        1   159798     98 |  0.000 % |
1179.61/1179.63	c |   7749266 |     496     3976    15376 |        1   159899     98 |  0.000 % |
1179.61/1179.63	c |   7749367 |     496     3976    15376 |        1   160000     98 |  0.000 % |
1179.61/1179.63	c |   7749468 |     496     3976    15376 |        1   160101     98 |  0.000 % |
1179.61/1179.63	c |   7749569 |     496     3976    15376 |        1   160202     98 |  0.000 % |
1179.61/1179.63	c |   7749669 |     496     3976    15376 |        1   160302     99 |  0.000 % |
1179.61/1179.63	c |   7749770 |     496     3976    15376 |        1   160403     99 |  0.000 % |
1179.61/1179.63	c |   7749870 |     496     3976    15376 |        1   160503     99 |  0.000 % |
1179.61/1179.63	c |   7749970 |     496     3976    15376 |        1   160603     99 |  0.000 % |
1179.61/1179.63	c |   7750072 |     496     3976    15376 |        1   160705     99 |  0.000 % |
1179.61/1179.63	c |   7750172 |     496     3976    15376 |        1   160805     99 |  0.000 % |
1179.61/1179.63	c |   7750273 |     496     3976    15376 |        1   160906     99 |  0.000 % |
1179.61/1179.63	c |   7750374 |     496     3976    15376 |        1   161007     99 |  0.000 % |
1179.61/1179.63	c |   7750474 |     496     3976    15376 |        1   161107     99 |  0.000 % |
1179.61/1179.63	c |   7750574 |     496     3976    15376 |        1   161207     99 |  0.000 % |
1179.61/1179.63	c |   7750677 |     496     3976    15376 |        1   161310     99 |  0.000 % |
1179.61/1179.63	c |   7750777 |     496     3976    15376 |        1   161410     99 |  0.000 % |
1179.61/1179.63	c |   7750880 |     496     3976    15376 |        1   161513     99 |  0.000 % |
1179.61/1179.63	c |   7750981 |     496     3976    15376 |        1   161614     99 |  0.000 % |
1179.61/1179.63	c |   7751083 |     496     3976    15376 |        1   161716     99 |  0.000 % |
1179.61/1179.63	c |   7751183 |     496     3976    15376 |        1   161816     99 |  0.000 % |
1179.61/1179.63	c |   7751285 |     496     3976    15376 |        1   161918     99 |  0.000 % |
1179.61/1179.63	c |   7751385 |     496     3976    15376 |        1   162018     99 |  0.000 % |
1179.61/1179.63	c |   7751485 |     496     3976    15376 |        1   162118     99 |  0.000 % |
1179.61/1179.63	c |   7751586 |     496     3976    15376 |        1   162219     99 |  0.000 % |
1179.61/1179.63	c |   7751686 |     496     3976    15376 |        1   162319     99 |  0.000 % |
1179.61/1179.63	c |   7751787 |     496     3976    15376 |        1   162420     99 |  0.000 % |
1179.61/1179.63	c |   7751890 |     496     3976    15376 |        1   162523     99 |  0.000 % |
1179.61/1179.63	c |   7751990 |     496     3976    15376 |        1   162623     99 |  0.000 % |
1179.61/1179.63	c |   7752092 |     496     3976    15376 |        1   162725     99 |  0.000 % |
1179.61/1179.63	c |   7752192 |     496     3976    15376 |        1   162825     99 |  0.000 % |
1179.61/1179.63	c |   7755838 |     496     3976    15376 |        1   166471    102 |  0.000 % |
1179.61/1179.63	c |   7755938 |     496     3976    15376 |        1   166571    102 |  0.000 % |
1183.81/1183.81	c |   7756048 |     496     3976    15376 |        1   166681    102 |  0.000 % |
1183.81/1183.81	c |   7756258 |     496     3976    15376 |        1   166891    102 |  0.000 % |
1183.81/1183.81	c |   7757340 |     496     3976    15376 |        1   167973    102 |  0.000 % |
1183.81/1183.81	c |   7757589 |     496     3976    15376 |        1   168222    102 |  0.000 % |
1183.81/1183.81	c |   7757691 |     496     3976    15376 |        1   168324    102 |  0.000 % |
1183.81/1183.81	c |   7757813 |     496     3976    15376 |        1   168446    102 |  0.000 % |
1183.81/1183.81	c |   7758252 |     496     3976    15376 |        1   168885    102 |  0.000 % |
1183.81/1183.81	c |   7758407 |     496     3976    15376 |        1   169040    102 |  0.000 % |
1183.81/1183.81	c |   7758524 |     496     3976    15376 |        1   169157    102 |  0.000 % |
1183.81/1183.81	c |   7758628 |     496     3976    15376 |        1   169261    102 |  0.000 % |
1183.81/1183.81	c |   7758851 |     496     3976    15376 |        1   169484    102 |  0.000 % |
1183.81/1183.81	c |   7759115 |     496     3976    15376 |        1   169748    103 |  0.000 % |
1183.81/1183.81	c |   7760222 |     496     3976    15376 |        1   170855    103 |  0.000 % |
1183.81/1183.81	c |   7760541 |     496     3976    15376 |        1   171174    103 |  0.000 % |
1183.81/1183.81	c |   7761433 |     496     3976    15376 |        1   172066    104 |  0.000 % |
1183.81/1183.81	c |   7761633 |     496     3976    15376 |        1   172266    104 |  0.000 % |
1183.81/1183.81	c |   7761798 |     496     3976    15376 |        1   172431    104 |  0.000 % |
1183.81/1183.81	c |   7761995 |     496     3976    15376 |        1   172628    104 |  0.000 % |
1183.81/1183.81	c |   7762218 |     496     3976    15376 |        1   172851    104 |  0.000 % |
1183.81/1183.81	c |   7762524 |     496     3976    15376 |        1   173157    104 |  0.000 % |
1183.81/1183.81	c |   7762845 |     496     3976    15376 |        1   173478    104 |  0.000 % |
1183.81/1183.81	c |   7763015 |     496     3976    15376 |        1   173648    104 |  0.000 % |
1183.81/1183.81	c |   7763154 |     496     3976    15376 |        1   173787    104 |  0.000 % |
1183.81/1183.81	c |   7763267 |     496     3976    15376 |        1   173900    104 |  0.000 % |
1183.81/1183.81	c |   7763442 |     496     3976    15376 |        1   174075    104 |  0.000 % |
1183.81/1183.81	c |   7764432 |     496     3976    15376 |        1   175065    105 |  0.000 % |
1183.81/1183.81	c |   7764799 |     496     3976    15376 |        1   175432    105 |  0.000 % |
1183.81/1183.81	c |   7764955 |     496     3976    15376 |        1   175588    105 |  0.000 % |
1183.81/1183.81	c |   7765131 |     496     3976    15376 |        1   175764    105 |  0.000 % |
1183.81/1183.81	c |   7765323 |     496     3976    15376 |        1   175956    105 |  0.000 % |
1183.81/1183.81	c |   7765793 |     496     3976    15376 |        1   176426    105 |  0.000 % |
1183.81/1183.81	c |   7765942 |     496     3976    15376 |        1   176575    105 |  0.000 % |
1183.81/1183.81	c |   7766118 |     496     3976    15376 |        1   176751    105 |  0.000 % |
1183.81/1183.81	c |   7766444 |     496     3976    15376 |        1   177077    105 |  0.000 % |
1183.81/1183.81	c |   7766610 |     496     3976    15376 |        1   177243    105 |  0.000 % |
1183.81/1183.81	c |   7766830 |     496     3976    15376 |        1   177463    105 |  0.000 % |
1183.81/1183.81	c |   7767055 |     496     3976    15376 |        1   177688    105 |  0.000 % |
1183.81/1183.81	c |   7773073 |     496     3976    15376 |        1   183706    108 |  0.000 % |
1183.81/1183.81	c |   7773190 |     496     3976    15376 |        1   183823    108 |  0.000 % |
1183.81/1183.81	c |   7773341 |     496     3976    15376 |        1   183974    109 |  0.000 % |
1183.81/1183.81	c |   7773510 |     496     3976    15376 |        1   184143    109 |  0.000 % |
1183.81/1183.81	c |   7773657 |     496     3976    15376 |        1   184290    109 |  0.000 % |
1183.81/1183.81	c |   7773856 |     496     3976    15376 |        1   184489    109 |  0.000 % |
1183.81/1183.81	c |   7774118 |     496     3976    15376 |        1   184751    109 |  0.000 % |
1183.81/1183.81	c |   7774396 |     496     3976    15376 |        1   185029    109 |  0.000 % |
1183.81/1183.81	c |   7774504 |     496     3976    15376 |        1   185137    109 |  0.000 % |
1183.81/1183.81	c |   7774680 |     496     3976    15376 |        1   185313    109 |  0.000 % |
1183.81/1183.81	c |   7774838 |     496     3976    15376 |        1   185471    109 |  0.000 % |
1183.81/1183.81	c |   7775189 |     496     3976    15376 |        1   185822    109 |  0.000 % |
1183.81/1183.81	c |   7775292 |     496     3976    15376 |        1   185925    109 |  0.000 % |
1186.21/1186.27	c |   7775664 |     496     3976    15376 |        1   186297    109 |  0.000 % |
1186.21/1186.27	c |   7775804 |     496     3976    15376 |        1   186437    109 |  0.000 % |
1186.21/1186.27	c |   7775945 |     496     3976    15376 |        1   186578    109 |  0.000 % |
1186.21/1186.27	c |   7776107 |     496     3976    15376 |        1   186740    109 |  0.000 % |
1186.21/1186.27	c |   7776287 |     496     3976    15376 |        1   186920    109 |  0.000 % |
1186.21/1186.27	c |   7776496 |     496     3976    15376 |        1   187129    109 |  0.000 % |
1186.21/1186.27	c |   7776610 |     496     3976    15376 |        1   187243    109 |  0.000 % |
1186.21/1186.27	c |   7776710 |     496     3976    15376 |        1   187343    109 |  0.000 % |
1186.21/1186.27	c |   7776818 |     496     3976    15376 |        1   187451    109 |  0.000 % |
1186.21/1186.27	c |   7776972 |     496     3976    15376 |        1   187605    110 |  0.000 % |
1186.21/1186.27	c |   7777534 |     496     3976    15376 |        1   188167    110 |  0.000 % |
1186.21/1186.27	c |   7777635 |     496     3976    15376 |        1   188268    110 |  0.000 % |
1186.21/1186.27	c |   7777748 |     496     3976    15376 |        1   188381    110 |  0.000 % |
1186.21/1186.27	c |   7777855 |     496     3976    15376 |        1   188488    110 |  0.000 % |
1186.21/1186.27	c |   7778202 |     496     3976    15376 |        1   188835    110 |  0.000 % |
1186.21/1186.27	c |   7778559 |     496     3976    15376 |        1   189192    110 |  0.000 % |
1186.21/1186.27	c |   7779439 |     496     3976    15376 |        1   190072    110 |  0.000 % |
1186.21/1186.27	c |   7780695 |     496     3976    15376 |        1   191328    110 |  0.000 % |
1186.21/1186.27	c |   7780999 |     496     3976    15376 |        1   191632    110 |  0.000 % |
1186.21/1186.27	c |   7781321 |     496     3976    15376 |        1    96139     58 |  0.000 % |
1186.21/1186.27	c |   7781625 |     496     3976    15376 |        1    96443     59 |  0.000 % |
1186.21/1186.27	c |   7781898 |     496     3976    15376 |        1    96716     59 |  0.000 % |
1186.21/1186.27	c |   7781999 |     496     3976    15376 |        1    96817     59 |  0.000 % |
1186.21/1186.27	c |   7782184 |     496     3976    15376 |        1    97002     59 |  0.000 % |
1186.21/1186.27	c |   7782325 |     496     3976    15376 |        1    97143     59 |  0.000 % |
1186.21/1186.27	c |   7782497 |     496     3976    15376 |        1    97315     59 |  0.000 % |
1186.21/1186.27	c |   7782664 |     496     3976    15376 |        1    97482     60 |  0.000 % |
1186.21/1186.27	c |   7783108 |     496     3976    15376 |        1    97926     60 |  0.000 % |
1186.21/1186.27	c |   7784370 |     496     3976    15376 |        1    99188     61 |  0.000 % |
1186.21/1186.27	c |   7784530 |     496     3976    15376 |        1    99348     61 |  0.000 % |
1186.21/1186.27	c |   7784630 |     496     3976    15376 |        1    99448     61 |  0.000 % |
1186.21/1186.27	c |   7784774 |     496     3976    15376 |        1    99592     62 |  0.000 % |
1186.21/1186.27	c |   7784913 |     496     3976    15376 |        1    99731     62 |  0.000 % |
1186.21/1186.27	c |   7785061 |     496     3976    15376 |        1    99879     62 |  0.000 % |
1186.21/1186.27	c |   7785161 |     496     3976    15376 |        1    99979     62 |  0.000 % |
1186.21/1186.27	c |   7785318 |     496     3976    15376 |        1   100136     62 |  0.000 % |
1186.21/1186.27	c |   7785619 |     496     3976    15376 |        1   100437     63 |  0.000 % |
1186.21/1186.27	c |   7785719 |     496     3976    15376 |        1   100537     63 |  0.000 % |
1186.21/1186.27	c |   7785942 |     496     3976    15376 |        1   100760     63 |  0.000 % |
1186.21/1186.27	c |   7786163 |     496     3976    15376 |        1   100981     63 |  0.000 % |
1186.21/1186.27	c |   7786413 |     496     3976    15376 |        1   101231     63 |  0.000 % |
1186.21/1186.27	c |   7787492 |     496     3976    15376 |        1   102310     64 |  0.000 % |
1186.21/1186.27	c |   7787879 |     496     3976    15376 |        1   102697     64 |  0.000 % |
1186.21/1186.27	c |   7788113 |     496     3976    15376 |        1   102931     65 |  0.000 % |
1186.21/1186.27	c |   7788257 |     496     3976    15376 |        1   103075     65 |  0.000 % |
1186.21/1186.27	c |   7788358 |     496     3976    15376 |        1   103176     65 |  0.000 % |
1186.21/1186.27	c |   7788480 |     496     3976    15376 |        1   103298     65 |  0.000 % |
1186.21/1186.27	c |   7789548 |     496     3976    15376 |        1   104366     66 |  0.000 % |
1186.21/1186.27	c |   7789748 |     496     3976    15376 |        1   104566     66 |  0.000 % |
1186.21/1186.27	c |   7790723 |     496     3976    15376 |        1   105541     68 |  0.000 % |
1187.92/1187.94	c |   7791161 |     496     3976    15376 |        1   105979     68 |  0.000 % |
1187.92/1187.94	c |   7791334 |     496     3976    15376 |        1   106152     68 |  0.000 % |
1187.92/1187.94	c |   7791442 |     496     3976    15376 |        1   106260     68 |  0.000 % |
1187.92/1187.94	c |   7791648 |     496     3976    15376 |        1   106466     68 |  0.000 % |
1187.92/1187.94	c |   7791749 |     496     3976    15376 |        1   106567     69 |  0.000 % |
1187.92/1187.94	c |   7792260 |     496     3976    15376 |        1   107078     69 |  0.000 % |
1187.92/1187.94	c |   7792594 |     496     3976    15376 |        1   107412     69 |  0.000 % |
1187.92/1187.94	c |   7792694 |     496     3976    15376 |        1   107512     69 |  0.000 % |
1187.92/1187.94	c |   7792794 |     496     3976    15376 |        1   107612     69 |  0.000 % |
1187.92/1187.94	c |   7792970 |     496     3976    15376 |        1   107788     70 |  0.000 % |
1187.92/1187.94	c |   7793322 |     496     3976    15376 |        1   108140     70 |  0.000 % |
1187.92/1187.94	c |   7793436 |     496     3976    15376 |        1   108254     70 |  0.000 % |
1187.92/1187.94	c |   7793675 |     496     3976    15376 |        1   108493     70 |  0.000 % |
1187.92/1187.94	c |   7794056 |     496     3976    15376 |        1   108874     70 |  0.000 % |
1187.92/1187.94	c |   7794158 |     496     3976    15376 |        1   108976     71 |  0.000 % |
1187.92/1187.94	c |   7795288 |     496     3976    15376 |        1   110106     72 |  0.000 % |
1187.92/1187.94	c |   7795549 |     496     3976    15376 |        1   110367     72 |  0.000 % |
1187.92/1187.94	c |   7796098 |     496     3976    15376 |        1   110916     72 |  0.000 % |
1187.92/1187.94	c |   7796514 |     496     3976    15376 |        1   111332     73 |  0.000 % |
1187.92/1187.94	c |   7796956 |     496     3976    15376 |        1   111774     73 |  0.000 % |
1187.92/1187.94	c |   7797057 |     496     3976    15376 |        1   111875     73 |  0.000 % |
1187.92/1187.94	c |   7797321 |     496     3976    15376 |        1   112139     73 |  0.000 % |
1187.92/1187.94	c |   7797433 |     496     3976    15376 |        1   112251     73 |  0.000 % |
1187.92/1187.94	c |   7797556 |     496     3976    15376 |        1   112374     73 |  0.000 % |
1187.92/1187.94	c |   7797712 |     496     3976    15376 |        1   112530     73 |  0.000 % |
1187.92/1187.94	c |   7798455 |     496     3976    15376 |        1   113273     74 |  0.000 % |
1187.92/1187.94	c |   7798555 |     496     3976    15376 |        1   113373     74 |  0.000 % |
1187.92/1187.94	c |   7798668 |     496     3976    15376 |        1   113486     74 |  0.000 % |
1187.92/1187.94	c |   7799146 |     496     3976    15376 |        1   113964     75 |  0.000 % |
1187.92/1187.94	c |   7799275 |     496     3976    15376 |        1   114093     75 |  0.000 % |
1187.92/1187.94	c |   7799399 |     496     3976    15376 |        1   114217     75 |  0.000 % |
1187.92/1187.94	c |   7799690 |     496     3976    15376 |        1   114508     75 |  0.000 % |
1187.92/1187.94	c |   7800177 |     496     3976    15376 |        1   114995     76 |  0.000 % |
1187.92/1187.94	c |   7800302 |     496     3976    15376 |        1   115120     76 |  0.000 % |
1187.92/1187.94	c |   7800786 |     496     3976    15376 |        1   115604     76 |  0.000 % |
1187.92/1187.94	c |   7801090 |     496     3976    15376 |        1   115908     76 |  0.000 % |
1187.92/1187.94	c |   7801191 |     496     3976    15376 |        1   116009     76 |  0.000 % |
1187.92/1187.94	c |   7801320 |     496     3976    15376 |        1   116138     76 |  0.000 % |
1187.92/1187.94	c |   7801457 |     496     3976    15376 |        1   116275     77 |  0.000 % |
1187.92/1187.94	c |   7801701 |     496     3976    15376 |        1   116519     77 |  0.000 % |
1187.92/1187.94	c |   7802058 |     496     3976    15376 |        1   116876     77 |  0.000 % |
1187.92/1187.94	c |   7802159 |     496     3976    15376 |        1   116977     77 |  0.000 % |
1187.92/1187.94	c |   7802407 |     496     3976    15376 |        1   117225     77 |  0.000 % |
1187.92/1187.94	c |   7802984 |     496     3976    15376 |        1   117802     78 |  0.000 % |
1187.92/1187.94	c |   7803275 |     496     3976    15376 |        1   118093     78 |  0.000 % |
1187.92/1187.94	c |   7803750 |     496     3976    15376 |        1   118568     78 |  0.000 % |
1187.92/1187.94	c |   7803904 |     496     3976    15376 |        1   118722     78 |  0.000 % |
1187.92/1187.94	c |   7804546 |     496     3976    15376 |        1   119364     79 |  0.000 % |
1187.92/1187.94	c |   7804980 |     496     3976    15376 |        1   119798     79 |  0.000 % |
1187.92/1187.94	c |   78051

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3260944-1303510088/watcher-3260944-1303510088 -o /tmp/evaluation-result-3260944-1303510088/solver-3260944-1303510088 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3260944-1303510088.cnf 

running on 2 cores: 0,2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.02 3.99 3.93 4/192 21164
/proc/meminfo: memFree=14508624/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0

[startup+0.042877 s]
/proc/loadavg: 4.02 3.99 3.93 4/192 21164
/proc/meminfo: memFree=14508624/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100869 s]
/proc/loadavg: 4.02 3.99 3.93 4/192 21164
/proc/meminfo: memFree=14508624/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300833 s]
/proc/loadavg: 4.02 3.99 3.93 4/192 21164
/proc/meminfo: memFree=14508624/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700778 s]
/proc/loadavg: 4.02 3.99 3.93 4/192 21164
/proc/meminfo: memFree=14508624/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50064 s]
/proc/loadavg: 4.02 3.99 3.93 5/194 21168
/proc/meminfo: memFree=14494596/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0
[pid=21166] ppid=21164 vsize=25208 CPUtime=1.49 cores=0,2
/proc/21166/stat : 21166 (glucose_static) R 21164 21164 19853 0 -1 4202496 6793 0 0 0 148 1 0 0 25 0 1 0 462609792 25812992 1993 33554432000 4194304 4260849 140735551119200 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21166/statm: 6302 1993 251 17 0 2943 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33912

[startup+3.10037 s]
/proc/loadavg: 4.02 3.99 3.93 5/194 21168
/proc/meminfo: memFree=14487904/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0
[pid=21166] ppid=21164 vsize=27928 CPUtime=3.08 cores=0,2
/proc/21166/stat : 21166 (glucose_static) R 21164 21164 19853 0 -1 4202496 10221 0 0 0 307 1 0 0 25 0 1 0 462609792 28598272 3604 33554432000 4194304 4260849 140735551119200 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21166/statm: 6982 3604 251 17 0 3623 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 36632

[startup+6.30079 s]
/proc/loadavg: 4.02 3.99 3.93 5/194 21168
/proc/meminfo: memFree=14524332/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0
[pid=21166] ppid=21164 vsize=36744 CPUtime=6.28 cores=0,2
/proc/21166/stat : 21166 (glucose_static) R 21164 21164 19853 0 -1 4202496 12002 0 0 0 627 1 0 0 25 0 1 0 462609792 37625856 5373 33554432000 4194304 4260849 140735551119200 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21166/statm: 9186 5373 251 17 0 5827 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 45448

[startup+12.7006 s]
/proc/loadavg: 4.02 3.99 3.93 5/194 21168
/proc/meminfo: memFree=14472260/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0
[pid=21166] ppid=21164 vsize=56108 CPUtime=12.68 cores=0,2
/proc/21166/stat : 21166 (glucose_static) R 21164 21164 19853 0 -1 4202496 22090 0 0 0 1265 3 0 0 25 0 1 0 462609792 57454592 7228 33554432000 4194304 4260849 140735551119200 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21166/statm: 14027 7228 251 17 0 10668 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 64812

[startup+25.5004 s]
/proc/loadavg: 4.01 3.99 3.93 5/194 21168
/proc/meminfo: memFree=14420044/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0
[pid=21166] ppid=21164 vsize=74964 CPUtime=25.49 cores=0,2
/proc/21166/stat : 21166 (glucose_static) R 21164 21164 19853 0 -1 4202496 34924 0 0 0 2544 5 0 0 25 0 1 0 462609792 76763136 15319 33554432000 4194304 4260849 140735551119200 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21166/statm: 18741 15319 251 17 0 15382 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 83668

[startup+51.1009 s]
/proc/loadavg: 4.01 3.99 3.93 5/194 21200
/proc/meminfo: memFree=14479244/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0
[pid=21166] ppid=21164 vsize=75460 CPUtime=51.09 cores=0,2
/proc/21166/stat : 21166 (glucose_static) R 21164 21164 19853 0 -1 4202496 52724 0 0 0 5100 9 0 0 25 0 1 0 462609792 77271040 13784 33554432000 4194304 4260849 140735551119200 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21166/statm: 18865 13784 251 17 0 15506 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 84164

[startup+102.307 s]
/proc/loadavg: 4.06 4.00 3.94 5/194 21201
/proc/meminfo: memFree=14435428/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0
[pid=21166] ppid=21164 vsize=75460 CPUtime=102.3 cores=0,2
/proc/21166/stat : 21166 (glucose_static) R 21164 21164 19853 0 -1 4202496 54027 0 0 0 10221 9 0 0 25 0 1 0 462609792 77271040 15078 33554432000 4194304 4260849 140735551119200 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21166/statm: 18865 15078 251 17 0 15506 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 84164

[startup+162.301 s]
/proc/loadavg: 4.02 4.00 3.94 5/194 21203
/proc/meminfo: memFree=14398708/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0
[pid=21166] ppid=21164 vsize=86936 CPUtime=162.28 cores=0,2
/proc/21166/stat : 21166 (glucose_static) R 21164 21164 19853 0 -1 4202496 111617 0 0 0 16212 16 0 0 25 0 1 0 462609792 89022464 18355 33554432000 4194304 4260849 140735551119200 18446744073709551615 4209338 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21166/statm: 21734 18355 251 17 0 18375 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 95640

[startup+222.301 s]
/proc/loadavg: 4.00 4.00 3.94 5/194 21204
/proc/meminfo: memFree=14366580/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0
[pid=21166] ppid=21164 vsize=136256 CPUtime=222.29 cores=0,2
/proc/21166/stat : 21166 (glucose_static) R 21164 21164 19853 0 -1 4202496 202232 0 0 0 22199 30 0 0 25 0 1 0 462609792 139526144 26392 33554432000 4194304 4260849 140735551119200 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21166/statm: 34064 26392 251 17 0 30705 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 144960

[startup+282.301 s]
/proc/loadavg: 4.00 4.00 3.94 5/194 21206
/proc/meminfo: memFree=14357264/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0
[pid=21166] ppid=21164 vsize=136256 CPUtime=282.29 cores=0,2
/proc/21166/stat : 21166 (glucose_static) R 21164 21164 19853 0 -1 4202496 275061 0 0 0 28187 42 0 0 25 0 1 0 462609792 139526144 26462 33554432000 4194304 4260849 140735551119200 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21166/statm: 34064 26462 251 17 0 30705 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 144960

[startup+342.3 s]
/proc/loadavg: 3.85 3.97 3.93 4/187 21226
/proc/meminfo: memFree=14365076/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0
[pid=21166] ppid=21164 vsize=136256 CPUtime=342.29 cores=0,2
/proc/21166/stat : 21166 (glucose_static) R 21164 21164 19853 0 -1 4202496 348936 0 0 0 34173 56 0 0 25 0 1 0 462609792 139526144 27150 33554432000 4194304 4260849 140735551119200 18446744073709551615 4209488 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21166/statm: 34064 27150 251 17 0 30705 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 144960

[startup+402.301 s]
/proc/loadavg: 3.31 3.79 3.86 4/187 21227
/proc/meminfo: memFree=14339900/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2

################
# More data... #
################

/proc/21166/statm: 34064 29714 251 17 0 30705 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 144960

[startup+642.3 s]
/proc/loadavg: 3.00 3.34 3.66 4/187 21234
/proc/meminfo: memFree=14292240/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0
[pid=21166] ppid=21164 vsize=136256 CPUtime=642.31 cores=0,2
/proc/21166/stat : 21166 (glucose_static) R 21164 21164 19853 0 -1 4202496 672650 0 0 0 64121 110 0 0 25 0 1 0 462609792 139526144 26612 33554432000 4194304 4260849 140735551119200 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21166/statm: 34064 26612 251 17 0 30705 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 144960

[startup+702.301 s]
/proc/loadavg: 3.00 3.28 3.61 4/187 21235
/proc/meminfo: memFree=14288256/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0
[pid=21166] ppid=21164 vsize=136256 CPUtime=702.3 cores=0,2
/proc/21166/stat : 21166 (glucose_static) R 21164 21164 19853 0 -1 4202496 731447 0 0 0 70110 120 0 0 25 0 1 0 462609792 139526144 30599 33554432000 4194304 4260849 140735551119200 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21166/statm: 34064 30599 251 17 0 30705 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 144960

[startup+762.307 s]
/proc/loadavg: 3.00 3.23 3.57 4/187 21237
/proc/meminfo: memFree=14315400/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0
[pid=21166] ppid=21164 vsize=86936 CPUtime=762.31 cores=0,2
/proc/21166/stat : 21166 (glucose_static) R 21164 21164 19853 0 -1 4202496 788938 0 0 0 76100 131 0 0 25 0 1 0 462609792 89022464 18355 33554432000 4194304 4260849 140735551119200 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21166/statm: 21734 18355 251 17 0 18375 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 95640

[startup+822.3 s]
/proc/loadavg: 3.00 3.18 3.53 4/187 21238
/proc/meminfo: memFree=14304472/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0
[pid=21166] ppid=21164 vsize=136256 CPUtime=822.3 cores=0,2
/proc/21166/stat : 21166 (glucose_static) R 21164 21164 19853 0 -1 4202496 856010 0 0 0 82087 143 0 0 25 0 1 0 462609792 139526144 26366 33554432000 4194304 4260849 140735551119200 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21166/statm: 34064 26366 251 17 0 30705 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 144960

[startup+882.301 s]
/proc/loadavg: 3.00 3.15 3.50 4/187 21240
/proc/meminfo: memFree=14249156/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0
[pid=21166] ppid=21164 vsize=167076 CPUtime=882.31 cores=0,2
/proc/21166/stat : 21166 (glucose_static) R 21164 21164 19853 0 -1 4202496 908975 0 0 0 88078 153 0 0 25 0 1 0 462609792 171085824 32566 33554432000 4194304 4260849 140735551119200 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21166/statm: 41769 32566 251 17 0 38410 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 175780

[startup+942.301 s]
/proc/loadavg: 3.00 3.12 3.46 4/187 21242
/proc/meminfo: memFree=14210816/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0
[pid=21166] ppid=21164 vsize=136256 CPUtime=942.31 cores=0,2
/proc/21166/stat : 21166 (glucose_static) R 21164 21164 19853 0 -1 4202496 968607 0 0 0 94068 163 0 0 25 0 1 0 462609792 139526144 28413 33554432000 4194304 4260849 140735551119200 18446744073709551615 4210821 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21166/statm: 34064 28413 251 17 0 30705 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 144960

[startup+1002.3 s]
/proc/loadavg: 3.00 3.09 3.43 4/187 21243
/proc/meminfo: memFree=14199024/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0
[pid=21166] ppid=21164 vsize=167076 CPUtime=1002.31 cores=0,2
/proc/21166/stat : 21166 (glucose_static) R 21164 21164 19853 0 -1 4202496 1023181 0 0 0 100058 173 0 0 25 0 1 0 462609792 171085824 33017 33554432000 4194304 4260849 140735551119200 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21166/statm: 41769 33017 251 17 0 38410 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 175780

[startup+1062.3 s]
/proc/loadavg: 3.00 3.07 3.40 4/187 21245
/proc/meminfo: memFree=14168876/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0
[pid=21166] ppid=21164 vsize=87540 CPUtime=1062.31 cores=0,2
/proc/21166/stat : 21166 (glucose_static) R 21164 21164 19853 0 -1 4202496 1075568 0 0 0 106049 182 0 0 25 0 1 0 462609792 89640960 18400 33554432000 4194304 4260849 140735551119200 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21166/statm: 21885 18400 251 17 0 18526 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 96244

[startup+1122.3 s]
/proc/loadavg: 3.00 3.06 3.37 4/187 21276
/proc/meminfo: memFree=14533940/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0
[pid=21166] ppid=21164 vsize=90016 CPUtime=1122.31 cores=0,2
/proc/21166/stat : 21166 (glucose_static) R 21164 21164 19853 0 -1 4202496 1127599 0 0 0 112039 192 0 0 25 0 1 0 462609792 92176384 18990 33554432000 4194304 4260849 140735551119200 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21166/statm: 22504 18990 251 17 0 19145 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 98720

[startup+1182.3 s]
/proc/loadavg: 2.51 2.92 3.30 3/180 21297
/proc/meminfo: memFree=14553604/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0
[pid=21166] ppid=21164 vsize=200968 CPUtime=1182.31 cores=0,2
/proc/21166/stat : 21166 (glucose_static) R 21164 21164 19853 0 -1 4202496 1238998 0 0 0 118020 211 0 0 25 0 1 0 462609792 205791232 45945 33554432000 4194304 4260849 140735551119200 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21166/statm: 50242 45945 251 17 0 46883 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 209672

[startup+1242.3 s]
/proc/loadavg: 2.19 2.75 3.22 3/180 21299
/proc/meminfo: memFree=14560536/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0
[pid=21166] ppid=21164 vsize=200968 CPUtime=1242.31 cores=0,2
/proc/21166/stat : 21166 (glucose_static) R 21164 21164 19853 0 -1 4202496 1313420 0 0 0 124008 223 0 0 25 0 1 0 462609792 205791232 40729 33554432000 4194304 4260849 140735551119200 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21166/statm: 50242 40729 251 17 0 46883 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 209672



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 2.07 2.61 3.14 3/180 21300
/proc/meminfo: memFree=14550356/32951124 swapFree=67111528/67111528
[pid=21164] ppid=21162 vsize=8704 CPUtime=0 cores=0,2
/proc/21164/stat : 21164 (glucose.sh) S 21162 21164 19853 0 -1 4202496 359 209 0 0 0 0 0 0 25 0 1 0 462609791 8912896 254 33554432000 4194304 4922060 140734464516464 18446744073709551615 270612929669 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/21164/statm: 2176 254 211 178 0 69 0
[pid=21166] ppid=21164 vsize=200968 CPUtime=1300.02 cores=0,2
/proc/21166/stat : 21166 (glucose_static) R 21164 21164 19853 0 -1 4202496 1372495 0 0 0 129769 233 0 0 25 0 1 0 462609792 205791232 42606 33554432000 4194304 4260849 140735551119200 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21166/statm: 50242 42606 251 17 0 46883 0
Current children cumulated CPU time (s) 1300.02
Current children cumulated vsize (KiB) 209672

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21164 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=3999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.005998
# while last known CPU time is 1300.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1300.01
CPU time (s): 1300.02
CPU user time (s): 1297.69
CPU system time (s): 2.33
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 259760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.003999
system time used= 0.001999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 568
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 3

runsolver used 2.25266 second user time and 4.78027 second system time

The end

Launcher Data 

Begin job on node108 at 2011-04-23 00:08:09
IDJOB=3260944
IDBENCH=83201
IDSOLVER=1651
FILE ID=node108/3260944-1303510088
RUNJOBID= node108-1303509889-21050
PBS_JOBID= 13134238
Free space on /tmp= 71256 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/crafted/skvortsov/battleship/battleship-16-31-sat.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3260944-1303510088/watcher-3260944-1303510088 -o /tmp/evaluation-result-3260944-1303510088/solver-3260944-1303510088 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3260944-1303510088.cnf 

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 34c6b89fff5c4d1bd23006ea2314b10d
RANDOM SEED=1784627442

node108.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14508648 kB
Buffers:       1886036 kB
Cached:       15645348 kB
SwapCached:          0 kB
Active:        9845188 kB
Inactive:      8032964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14508648 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            1328 kB
Writeback:           0 kB
AnonPages:      346440 kB
Mapped:          15360 kB
Slab:           498840 kB
PageTables:       5880 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   561892 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71260 MiB
End job on node108 at 2011-04-23 00:29:51