Trace number 3289126

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.03 1300.01

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top21.cnf
MD5SUM9fab5edd49fb904ff76ff7abf98e0d14
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables51138
Number of clauses162526
Sum of the clauses size397144
Maximum clause length2101
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 299113
Number of clauses of size 362300
Number of clauses of size 4230
Number of clauses of size 519
Number of clauses of size over 5863

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.07	c ==============================================================================
0.00/0.07	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.07	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.07	c ==============================================================================
0.00/0.07	c |         0 |  152640   373004 |   45791       0        0     nan |  0.000 % |
0.00/0.53	c |         0 |   95209   320851 |      --       0       --      -- |     --   | -57431/-52153
0.00/0.53	c ==============================================================================
0.00/0.53	c Result  :   #vars: 18664   #clauses: 95209   #literals: 320851
0.00/0.53	c CPU time:   0.507922 s
0.00/0.53	c ==============================================================================
0.00/0.59	c
0.00/0.59	c Starting glucose
0.00/0.59	c
2.88/2.91	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
2.88/2.91	c WARNING: for repeatability, setting FPU to use double precision
2.88/2.91	c ============================[ Problem Statistics ]=============================
2.88/2.91	c |                                                                             |
2.88/2.91	c |  Number of variables:         18664                                         |
2.88/2.91	c |  Number of clauses:           95209                                         |
2.88/2.91	c |  Parse time:                   0.02 s                                       |
2.88/2.91	c |                                                                             |
2.88/2.91	c ============================[ Search Statistics ]==============================
2.88/2.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.88/2.91	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
2.88/2.91	c ===============================================================================
2.88/2.91	c |      1564 |   18661    95203   320816 |        1     1562     22 |  0.016 % |
2.88/2.91	c |      1742 |   18661    95203   320816 |        1     1740     22 |  0.016 % |
2.88/2.91	c |      1948 |   18661    95203   320816 |        1     1946     23 |  0.016 % |
2.88/2.91	c |      2450 |   18661    95203   320816 |        1     2448     22 |  0.016 % |
2.88/2.91	c |      2624 |   18661    95203   320816 |        1     2622     22 |  0.016 % |
2.88/2.91	c |      3264 |   18661    95203   320816 |        1     3262     22 |  0.016 % |
2.88/2.91	c |      4267 |   18661    95203   320816 |        1     2272     12 |  0.016 % |
2.88/2.91	c |      4554 |   18661    95203   320816 |        1     2559     13 |  0.016 % |
2.88/2.91	c |      7276 |   18661    95203   320816 |        1     5281     20 |  0.016 % |
2.88/2.91	c |      7491 |   18659    95159   320664 |        1     5492     21 |  0.027 % |
2.88/2.91	c |      7736 |   18659    95159   320664 |        1     5737     21 |  0.027 % |
2.88/2.91	c |      8676 |   18659    95159   320664 |        1     6677     22 |  0.027 % |
2.88/2.91	c |      9632 |   18655    95110   320498 |        1     7632     22 |  0.048 % |
2.88/2.91	c |      9969 |   18655    95110   320498 |        1     7969     22 |  0.048 % |
2.88/2.91	c |     10615 |   18655    95110   320498 |        1     4332     13 |  0.048 % |
2.88/2.91	c |     14309 |   18655    95110   320498 |        1     8026     22 |  0.048 % |
2.88/2.91	c |     14705 |   18655    95110   320498 |        1     8422     22 |  0.048 % |
2.88/2.91	c |     15286 |   18655    95110   320498 |        1     9003     23 |  0.048 % |
2.88/2.91	c |     15590 |   18655    95110   320498 |        1     9307     23 |  0.048 % |
2.88/2.91	c |     15909 |   18655    95110   320498 |        1     9626     23 |  0.048 % |
2.88/2.91	c |     16252 |   18655    95110   320498 |        1     9969     23 |  0.048 % |
2.88/2.91	c |     18504 |   18655    95110   320498 |        1    12221     26 |  0.048 % |
2.88/2.91	c |     18929 |   18655    95110   320498 |        1    12646     26 |  0.048 % |
2.88/2.91	c |     19029 |   18655    95110   320498 |        1    12746     26 |  0.048 % |
2.88/2.91	c |     19596 |   18655    95110   320498 |        1    13313     27 |  0.048 % |
2.88/2.91	c |     19826 |   18655    95110   320498 |        1     6813     16 |  0.048 % |
2.88/2.91	c |     20145 |   18655    95110   320498 |        1     7132     18 |  0.048 % |
2.88/2.91	c |     20336 |   18655    95110   320498 |        1     7323     18 |  0.048 % |
2.88/2.91	c |     20689 |   18655    95110   320498 |        1     7676     18 |  0.048 % |
2.88/2.91	c |     20981 |   18655    95110   320498 |        1     7968     19 |  0.048 % |
2.88/2.91	c |     23295 |   18651    95061   320328 |        1    10281     22 |  0.070 % |
2.88/2.91	c |     23476 |   18651    95061   320328 |        1    10462     22 |  0.070 % |
2.88/2.91	c |     23719 |   18651    95061   320328 |        1    10705     23 |  0.070 % |
2.88/2.91	c |     23822 |   18651    95061   320328 |        1    10808     23 |  0.070 % |
2.88/2.91	c |     25273 |   18651    95061   320328 |        1    12259     24 |  0.070 % |
2.88/2.91	c |     25383 |   18651    95061   320328 |        1    12369     24 |  0.070 % |
2.88/2.91	c |     26306 |   18651    95061   320328 |        1    13292     25 |  0.070 % |
2.88/2.91	c |     26407 |   18651    95061   320328 |        1    13393     25 |  0.070 % |
2.88/2.91	c |     26601 |   18651    95061   320328 |        1    13587     26 |  0.070 % |
11.27/11.32	c |     27826 |   18651    95061   320328 |        1    14812     27 |  0.070 % |
11.27/11.32	c |     27947 |   18651    95061   320328 |        1    14933     27 |  0.070 % |
11.27/11.32	c |     28047 |   18651    95061   320328 |        1    15033     27 |  0.070 % |
11.27/11.32	c |     28302 |   18651    95061   320328 |        1    15288     27 |  0.070 % |
11.27/11.32	c |     28403 |   18651    95061   320328 |        1    15389     27 |  0.070 % |
11.27/11.32	c |     28880 |   18651    95061   320328 |        1    15866     28 |  0.070 % |
11.27/11.32	c |     29426 |   18651    95061   320328 |        1    16412     28 |  0.070 % |
11.27/11.32	c |     29527 |   18651    95061   320328 |        1    16513     28 |  0.070 % |
11.27/11.32	c |     30693 |   18651    95061   320328 |        1    17679     29 |  0.070 % |
11.27/11.32	c |     30794 |   18651    95061   320328 |        1    17780     29 |  0.070 % |
11.27/11.32	c |     32355 |   18651    95061   320328 |        1    10061     20 |  0.070 % |
11.27/11.32	c |     32457 |   18651    95061   320328 |        1    10163     20 |  0.070 % |
11.27/11.32	c |     32599 |   18651    95061   320328 |        1    10305     20 |  0.070 % |
11.27/11.32	c |     32699 |   18651    95061   320328 |        1    10405     20 |  0.070 % |
11.27/11.32	c |     32801 |   18651    95061   320328 |        1    10507     20 |  0.070 % |
11.27/11.32	c |     32956 |   18651    95061   320328 |        1    10662     21 |  0.070 % |
11.27/11.32	c |     35889 |   18651    95061   320328 |        1    13595     25 |  0.070 % |
11.27/11.32	c |     37164 |   18651    95061   320328 |        1    14870     27 |  0.070 % |
11.27/11.32	c |     37540 |   18651    95061   320328 |        1    15246     27 |  0.070 % |
11.27/11.32	c |     37645 |   18651    95061   320328 |        1    15351     27 |  0.070 % |
11.27/11.32	c |     37994 |   18651    95061   320328 |        1    15700     27 |  0.070 % |
11.27/11.32	c |     38126 |   18651    95061   320328 |        1    15832     27 |  0.070 % |
11.27/11.32	c |     38227 |   18651    95061   320328 |        1    15933     27 |  0.070 % |
11.27/11.32	c |     38701 |   18651    95061   320328 |        1    16407     28 |  0.070 % |
11.27/11.32	c |     38802 |   18651    95061   320328 |        1    16508     28 |  0.070 % |
11.27/11.32	c |     38902 |   18651    95061   320328 |        1    16608     28 |  0.070 % |
11.27/11.32	c |     42950 |   18651    95061   320328 |        1    20656     30 |  0.070 % |
11.27/11.32	c |     48476 |   18651    95061   320328 |        1    14346     21 |  0.070 % |
11.27/11.32	c |     48965 |   18651    95061   320328 |        1    14835     22 |  0.070 % |
11.27/11.32	c |     53885 |   18651    95061   320328 |        1    19755     28 |  0.070 % |
11.27/11.32	c |     53985 |   18651    95061   320328 |        1    19855     28 |  0.070 % |
11.27/11.32	c |     54563 |   18651    95061   320328 |        1    20433     28 |  0.070 % |
11.27/11.32	c |     54664 |   18651    95061   320328 |        1    20534     28 |  0.070 % |
11.27/11.32	c |     56873 |   18651    95061   320328 |        1    22743     30 |  0.070 % |
11.27/11.32	c |     56977 |   18651    95061   320328 |        1    22847     30 |  0.070 % |
11.27/11.32	c |     57291 |   18651    95061   320328 |        1    23161     30 |  0.070 % |
11.27/11.32	c |     57558 |   18651    95061   320328 |        1    23428     30 |  0.070 % |
11.27/11.33	c |     58769 |   18651    95061   320328 |        1    24639     31 |  0.070 % |
11.27/11.33	c |     58926 |   18651    95061   320328 |        1    24796     31 |  0.070 % |
11.27/11.33	c |     59764 |   18651    95061   320328 |        1    25634     32 |  0.070 % |
11.27/11.33	c |     77921 |   18651    95061   320328 |        1    29368     35 |  0.070 % |
11.27/11.33	c |     78023 |   18651    95061   320328 |        1    29470     35 |  0.070 % |
11.27/11.33	c |     78895 |   18608    94368   317801 |        1    30255     35 |  0.300 % |
11.27/11.33	c |     79026 |   18608    94368   317801 |        1    30386     35 |  0.300 % |
11.27/11.33	c |     79525 |   18608    94368   317801 |        1    30885     35 |  0.300 % |
11.27/11.33	c |     79892 |   18608    94368   317801 |        1    31252     35 |  0.300 % |
11.27/11.33	c |     79992 |   18608    94368   317801 |        1    31352     36 |  0.300 % |
11.27/11.33	c |     80106 |   18608    94368   317801 |        1    31466     36 |  0.300 % |
11.27/11.33	c |     80630 |   18608    94368   317801 |        1    31990     36 |  0.300 % |
11.27/11.33	c |     98180 |   18608    94368   317801 |        1    32569     37 |  0.300 % |
23.08/23.14	c |     99410 |   18608    94368   317801 |        1    33799     37 |  0.300 % |
23.08/23.14	c |     99512 |   18608    94368   317801 |        1    33901     37 |  0.300 % |
23.08/23.14	c |    100431 |   18608    94368   317801 |        1    34820     37 |  0.300 % |
23.08/23.14	c |    112837 |   18608    94368   317801 |        1    27642     28 |  0.300 % |
23.08/23.14	c |    112937 |   18608    94368   317801 |        1    27742     28 |  0.300 % |
23.08/23.14	c |    113175 |   18608    94368   317801 |        1    27980     28 |  0.300 % |
23.08/23.14	c |    113873 |   18608    94368   317801 |        1    28678     28 |  0.300 % |
23.08/23.14	c |    114286 |   18608    94368   317801 |        1    29091     28 |  0.300 % |
23.08/23.14	c |    115246 |   18608    94368   317801 |        1    30051     28 |  0.300 % |
23.08/23.14	c |    131974 |   18608    94368   317801 |        1    24590     23 |  0.300 % |
23.08/23.14	c |    132074 |   18608    94368   317801 |        1    24690     23 |  0.300 % |
23.08/23.14	c |    132174 |   18608    94368   317801 |        1    24790     23 |  0.300 % |
23.08/23.14	c |    139820 |   18608    94368   317801 |        1    32436     28 |  0.300 % |
23.08/23.14	c |    140464 |   18608    94368   317801 |        1    33080     29 |  0.300 % |
23.08/23.14	c |    141105 |   18608    94368   317801 |        1    33721     29 |  0.300 % |
23.08/23.14	c |    141205 |   18608    94368   317801 |        1    33821     29 |  0.300 % |
23.08/23.14	c |    147244 |   18608    94368   317801 |        1    39860     33 |  0.300 % |
23.08/23.14	c |    147573 |   18608    94368   317801 |        1    40189     33 |  0.300 % |
23.08/23.14	c |    151022 |   18608    94368   317801 |        1    43638     33 |  0.300 % |
23.08/23.14	c |    151166 |   18608    94368   317801 |        1    43782     33 |  0.300 % |
23.08/23.14	c |    152820 |   18608    94368   317801 |        1    45436     34 |  0.300 % |
23.08/23.14	c |    152922 |   18608    94368   317801 |        1    45538     34 |  0.300 % |
23.08/23.14	c |    153107 |   18608    94368   317801 |        1    45723     34 |  0.300 % |
23.08/23.14	c |    153410 |   18608    94368   317801 |        1    46026     34 |  0.300 % |
23.08/23.14	c |    159403 |   18608    94368   317801 |        1    27223     23 |  0.300 % |
23.08/23.14	c |    161576 |   18608    94368   317801 |        1    29396     24 |  0.300 % |
23.08/23.14	c |    161777 |   18608    94368   317801 |        1    29597     24 |  0.300 % |
23.08/23.14	c |    169844 |   18608    94368   317801 |        1    37664     33 |  0.300 % |
23.08/23.14	c |    170011 |   18608    94368   317801 |        1    37831     33 |  0.300 % |
23.08/23.14	c |    170341 |   18608    94368   317801 |        1    38161     33 |  0.300 % |
23.08/23.14	c |    170452 |   18608    94368   317801 |        1    38272     33 |  0.300 % |
23.08/23.14	c |    170552 |   18608    94368   317801 |        1    38372     33 |  0.300 % |
23.08/23.14	c |    172183 |   18608    94368   317801 |        1    40003     34 |  0.300 % |
23.08/23.14	c |    172300 |   18608    94368   317801 |        1    40120     34 |  0.300 % |
23.08/23.14	c |    172766 |   18608    94368   317801 |        1    40586     34 |  0.300 % |
23.08/23.14	c |    179429 |   18608    94368   317801 |        1    47249     36 |  0.300 % |
23.08/23.14	c |    179530 |   18608    94368   317801 |        1    47350     36 |  0.300 % |
23.08/23.14	c |    179647 |   18608    94368   317801 |        1    47467     36 |  0.300 % |
23.08/23.14	c |    179983 |   18608    94368   317801 |        1    47803     36 |  0.300 % |
23.08/23.14	c |    180376 |   18608    94368   317801 |        1    48196     37 |  0.300 % |
23.08/23.14	c |    180476 |   18608    94368   317801 |        1    48296     37 |  0.300 % |
23.08/23.14	c |    180783 |   18608    94368   317801 |        1    48603     37 |  0.300 % |
23.08/23.14	c |    182646 |   18608    94368   317801 |        1    50466     37 |  0.300 % |
23.08/23.14	c |    182746 |   18608    94368   317801 |        1    50566     37 |  0.300 % |
23.08/23.14	c |    183636 |   18608    94368   317801 |        1    51456     37 |  0.300 % |
23.08/23.14	c |    188083 |   18608    94368   317801 |        1    28508     23 |  0.300 % |
23.08/23.14	c |    188186 |   18608    94368   317801 |        1    28611     23 |  0.300 % |
23.08/23.14	c |    188345 |   18608    94368   317801 |        1    28770     23 |  0.300 % |
23.08/23.14	c |    188445 |   18608    94368   317801 |        1    28870     23 |  0.300 % |
23.08/23.14	c |    188545 |   18608    94368   317801 |        1    28970     23 |  0.300 % |
30.78/30.84	c |    188645 |   18608    94368   317801 |        1    29070     24 |  0.300 % |
30.78/30.84	c |    189119 |   18608    94368   317801 |        1    29544     24 |  0.300 % |
30.78/30.84	c |    190979 |   18608    94368   317801 |        1    31404     25 |  0.300 % |
30.78/30.84	c |    191092 |   18608    94368   317801 |        1    31517     25 |  0.300 % |
30.78/30.84	c |    191249 |   18608    94368   317801 |        1    31674     25 |  0.300 % |
30.78/30.84	c |    191873 |   18608    94368   317801 |        1    32298     26 |  0.300 % |
30.78/30.84	c |    193536 |   18608    94368   317801 |        1    33961     27 |  0.300 % |
30.78/30.84	c |    194041 |   18608    94368   317801 |        1    34466     27 |  0.300 % |
30.78/30.84	c |    194632 |   18608    94368   317801 |        1    35057     28 |  0.300 % |
30.78/30.84	c |    195816 |   18608    94368   317801 |        1    36241     28 |  0.300 % |
30.78/30.84	c |    196312 |   18608    94368   317801 |        1    36737     28 |  0.300 % |
30.78/30.84	c |    196547 |   18608    94368   317801 |        1    36972     28 |  0.300 % |
30.78/30.84	c |    203341 |   18608    94368   317801 |        1    43766     33 |  0.300 % |
30.78/30.84	c |    203441 |   18608    94368   317801 |        1    43866     33 |  0.300 % |
30.78/30.84	c |    205474 |   18608    94368   317801 |        1    45899     34 |  0.300 % |
30.78/30.84	c |    205769 |   18608    94368   317801 |        1    46194     34 |  0.300 % |
30.78/30.84	c |    208429 |   18608    94368   317801 |        1    48854     35 |  0.300 % |
30.78/30.84	c |    208691 |   18608    94368   317801 |        1    49116     35 |  0.300 % |
30.78/30.84	c |    209435 |   18608    94368   317801 |        1    49860     36 |  0.300 % |
30.78/30.84	c |    209600 |   18608    94368   317801 |        1    50025     36 |  0.300 % |
30.78/30.84	c |    210277 |   18608    94368   317801 |        1    50702     36 |  0.300 % |
30.78/30.84	c |    210377 |   18608    94368   317801 |        1    50802     36 |  0.300 % |
30.78/30.84	c |    210604 |   18608    94368   317801 |        1    51029     36 |  0.300 % |
30.78/30.84	c |    210719 |   18608    94368   317801 |        1    51144     36 |  0.300 % |
30.78/30.84	c |    213083 |   18608    94368   317801 |        1    53508     37 |  0.300 % |
30.78/30.84	c |    221732 |   18608    94368   317801 |        1    32153     22 |  0.300 % |
30.78/30.84	c |    224665 |   18608    94368   317801 |        1    35086     25 |  0.300 % |
30.78/30.84	c |    224788 |   18608    94368   317801 |        1    35209     25 |  0.300 % |
30.78/30.84	c |    225917 |   18608    94368   317801 |        1    36338     26 |  0.300 % |
30.78/30.84	c |    226667 |   18608    94368   317801 |        1    37088     26 |  0.300 % |
30.78/30.84	c |    227102 |   18608    94368   317801 |        1    37523     26 |  0.300 % |
30.78/30.84	c |    227202 |   18608    94368   317801 |        1    37623     26 |  0.300 % |
30.78/30.84	c |    232083 |   18608    94368   317801 |        1    42504     30 |  0.300 % |
30.78/30.84	c |    232236 |   18608    94368   317801 |        1    42657     30 |  0.300 % |
30.78/30.84	c |    232337 |   18608    94368   317801 |        1    42758     30 |  0.300 % |
30.78/30.84	c |    232438 |   18608    94368   317801 |        1    42859     30 |  0.300 % |
30.78/30.84	c |    233068 |   18608    94368   317801 |        1    43489     30 |  0.300 % |
30.78/30.85	c |    233516 |   18608    94368   317801 |        1    43937     30 |  0.300 % |
30.78/30.85	c |    235491 |   18608    94368   317801 |        1    45912     31 |  0.300 % |
30.78/30.85	c |    235661 |   18608    94368   317801 |        1    46082     31 |  0.300 % |
30.78/30.85	c |    236147 |   18608    94368   317801 |        1    46568     31 |  0.300 % |
30.78/30.85	c |    236546 |   18608    94368   317801 |        1    46967     31 |  0.300 % |
30.78/30.85	c |    237548 |   18608    94368   317801 |        1    47969     32 |  0.300 % |
30.78/30.85	c |    240792 |   18608    94368   317801 |        1    51213     33 |  0.300 % |
30.78/30.85	c |    244555 |   18608    94368   317801 |        1    54976     35 |  0.300 % |
30.78/30.85	c |    244655 |   18608    94368   317801 |        1    55076     35 |  0.300 % |
30.78/30.85	c |    244922 |   18608    94368   317801 |        1    55343     35 |  0.300 % |
30.78/30.85	c |    245464 |   18608    94368   317801 |        1    55885     35 |  0.300 % |
30.78/30.85	c |    245564 |   18608    94368   317801 |        1    55985     35 |  0.300 % |
30.78/30.85	c |    246922 |   18608    94368   317801 |        1    57343     36 |  0.300 % |
40.38/40.45	c |    247081 |   18608    94368   317801 |        1    57502     36 |  0.300 % |
40.38/40.45	c |    247351 |   18608    94368   317801 |        1    57772     36 |  0.300 % |
40.38/40.45	c |    249036 |   18605    94364   317771 |        1    59456     37 |  0.316 % |
40.38/40.45	c |    249139 |   18605    94364   317771 |        1    59559     37 |  0.316 % |
40.38/40.45	c |    249266 |   18605    94364   317771 |        1    59686     37 |  0.316 % |
40.38/40.45	c |    251412 |   18605    94364   317771 |        1    61832     37 |  0.316 % |
40.38/40.45	c |    251701 |   18605    94364   317771 |        1    62121     37 |  0.316 % |
40.38/40.45	c |    253674 |   18605    94364   317771 |        1    64094     38 |  0.316 % |
40.38/40.45	c |    254191 |   18605    94364   317771 |        1    64611     38 |  0.316 % |
40.38/40.45	c |    255900 |   18605    94364   317771 |        1    33721     22 |  0.316 % |
40.38/40.45	c |    256000 |   18605    94364   317771 |        1    33821     22 |  0.316 % |
40.38/40.45	c |    256102 |   18605    94364   317771 |        1    33923     22 |  0.316 % |
40.38/40.45	c |    256202 |   18605    94364   317771 |        1    34023     22 |  0.316 % |
40.38/40.45	c |    257653 |   18605    94364   317771 |        1    35474     23 |  0.316 % |
40.38/40.45	c |    263135 |   18605    94364   317771 |        1    40956     26 |  0.316 % |
40.38/40.45	c |    265712 |   18605    94364   317771 |        1    43533     28 |  0.316 % |
40.38/40.45	c |    265812 |   18605    94364   317771 |        1    43633     28 |  0.316 % |
40.38/40.45	c |    266127 |   18605    94364   317771 |        1    43948     28 |  0.316 % |
40.38/40.45	c |    266228 |   18605    94364   317771 |        1    44049     28 |  0.316 % |
40.38/40.45	c |    268022 |   18605    94364   317771 |        1    45843     28 |  0.316 % |
40.38/40.45	c |    268448 |   18605    94364   317771 |        1    46269     29 |  0.316 % |
40.38/40.45	c |    270361 |   18605    94364   317771 |        1    48182     30 |  0.316 % |
40.38/40.45	c |    271034 |   18605    94364   317771 |        1    48855     30 |  0.316 % |
40.38/40.45	c |    271172 |   18605    94364   317771 |        1    48993     30 |  0.316 % |
40.38/40.45	c |    271398 |   18605    94364   317771 |        1    49219     30 |  0.316 % |
40.38/40.45	c |    271631 |   18605    94364   317771 |        1    49452     30 |  0.316 % |
40.38/40.45	c |    274828 |   18605    94364   317771 |        1    52649     32 |  0.316 % |
40.38/40.45	c |    275003 |   18605    94364   317771 |        1    52824     32 |  0.316 % |
40.38/40.45	c |    277400 |   18605    94364   317771 |        1    55221     33 |  0.316 % |
40.38/40.45	c |    277886 |   18605    94364   317771 |        1    55707     33 |  0.316 % |
40.38/40.45	c |    278022 |   18605    94364   317771 |        1    55843     33 |  0.316 % |
40.38/40.45	c |    278494 |   18605    94364   317771 |        1    56315     34 |  0.316 % |
40.38/40.45	c |    278955 |   18605    94364   317771 |        1    56776     34 |  0.316 % |
40.38/40.45	c |    280569 |   18604    94356   317721 |        1    58381     34 |  0.321 % |
40.38/40.45	c |    281541 |   18604    94356   317721 |        1    59353     35 |  0.321 % |
40.38/40.45	c |    289132 |   18604    94356   317721 |        1    66944     38 |  0.321 % |
40.38/40.45	c |    289316 |   18604    94356   317721 |        1    67128     38 |  0.321 % |
40.38/40.45	c |    291553 |   18604    94356   317721 |        1    69365     38 |  0.321 % |
40.38/40.45	c |    291658 |   18604    94356   317721 |        1    69470     38 |  0.321 % |
40.38/40.45	c |    293264 |   18604    94356   317721 |        1    35886     22 |  0.321 % |
40.38/40.45	c |    293396 |   18604    94356   317721 |        1    36018     22 |  0.321 % |
40.38/40.45	c |    293603 |   18604    94356   317721 |        1    36225     22 |  0.321 % |
40.38/40.45	c |    294598 |   18604    94356   317721 |        1    37220     23 |  0.321 % |
40.38/40.45	c |    298866 |   18604    94356   317721 |        1    41488     25 |  0.321 % |
40.38/40.45	c |    312050 |   18604    94356   317721 |        1    54672     31 |  0.321 % |
40.38/40.45	c |    312847 |   18604    94356   317721 |        1    55469     31 |  0.321 % |
40.38/40.45	c |    313201 |   18604    94356   317721 |        1    55823     31 |  0.321 % |
40.38/40.45	c |    313303 |   18604    94356   317721 |        1    55925     32 |  0.321 % |
40.38/40.45	c |    314259 |   18604    94356   317721 |        1    56881     32 |  0.321 % |
40.38/40.45	c |    314359 |   18604    94356   317721 |        1    56981     32 |  0.321 % |
50.58/50.64	c |    314485 |   18604    94356   317721 |        1    57107     32 |  0.321 % |
50.58/50.64	c |    315487 |   18604    94356   317721 |        1    58109     32 |  0.321 % |
50.58/50.64	c |    319146 |   18604    94356   317721 |        1    61768     33 |  0.321 % |
50.58/50.64	c |    319246 |   18604    94356   317721 |        1    61868     33 |  0.321 % |
50.58/50.64	c |    319348 |   18604    94356   317721 |        1    61970     33 |  0.321 % |
50.58/50.64	c |    321143 |   18604    94356   317721 |        1    63765     34 |  0.321 % |
50.58/50.64	c |    321478 |   18604    94356   317721 |        1    64100     34 |  0.321 % |
50.58/50.64	c |    325774 |   18604    94356   317721 |        1    68396     36 |  0.321 % |
50.58/50.64	c |    325874 |   18604    94356   317721 |        1    68496     36 |  0.321 % |
50.58/50.64	c |    326515 |   18604    94356   317721 |        1    69137     35 |  0.321 % |
50.58/50.64	c |    326615 |   18604    94356   317721 |        1    69237     35 |  0.321 % |
50.58/50.64	c |    326852 |   18604    94356   317721 |        1    69474     36 |  0.321 % |
50.58/50.64	c |    330361 |   18604    94356   317721 |        1    72983     36 |  0.321 % |
50.58/50.64	c |    330473 |   18604    94356   317721 |        1    73095     36 |  0.321 % |
50.58/50.64	c |    330589 |   18604    94356   317721 |        1    73211     36 |  0.321 % |
50.58/50.64	c |    332740 |   18604    94356   317721 |        1    75362     36 |  0.321 % |
50.58/50.64	c |    333125 |   18604    94356   317721 |        1    37950     21 |  0.321 % |
50.58/50.64	c |    333407 |   18604    94356   317721 |        1    38232     21 |  0.321 % |
50.58/50.64	c |    334089 |   18604    94356   317721 |        1    38914     21 |  0.321 % |
50.58/50.64	c |    334418 |   18604    94356   317721 |        1    39243     21 |  0.321 % |
50.58/50.64	c |    335979 |   18604    94356   317721 |        1    40804     22 |  0.321 % |
50.58/50.64	c |    336251 |   18604    94356   317721 |        1    41076     22 |  0.321 % |
50.58/50.64	c |    336365 |   18604    94356   317721 |        1    41190     22 |  0.321 % |
50.58/50.64	c |    336565 |   18604    94356   317721 |        1    41390     22 |  0.321 % |
50.58/50.64	c |    340911 |   18604    94356   317721 |        1    45736     26 |  0.321 % |
50.58/50.64	c |    341932 |   18604    94356   317721 |        1    46757     27 |  0.321 % |
50.58/50.64	c |    353167 |   18604    94356   317721 |        1    57992     32 |  0.321 % |
50.58/50.64	c |    353268 |   18604    94356   317721 |        1    58093     32 |  0.321 % |
50.58/50.64	c |    355389 |   18604    94356   317721 |        1    60214     32 |  0.321 % |
50.58/50.64	c |    355668 |   18604    94356   317721 |        1    60493     32 |  0.321 % |
50.58/50.64	c |    357599 |   18604    94356   317721 |        1    62424     32 |  0.321 % |
50.58/50.64	c |    359438 |   18604    94356   317721 |        1    64263     33 |  0.321 % |
50.58/50.64	c |    359591 |   18604    94356   317721 |        1    64416     33 |  0.321 % |
50.58/50.64	c |    359691 |   18604    94356   317721 |        1    64516     33 |  0.321 % |
50.58/50.64	c |    360567 |   18604    94356   317721 |        1    65392     33 |  0.321 % |
50.58/50.64	c |    360873 |   18604    94356   317721 |        1    65698     33 |  0.321 % |
50.58/50.64	c |    362093 |   18604    94356   317721 |        1    66918     34 |  0.321 % |
50.58/50.64	c |    362840 |   18604    94356   317721 |        1    67665     34 |  0.321 % |
50.58/50.64	c |    362940 |   18604    94356   317721 |        1    67765     34 |  0.321 % |
50.58/50.64	c |    363041 |   18604    94356   317721 |        1    67866     34 |  0.321 % |
50.58/50.64	c |    370744 |   18604    94356   317721 |        1    75569     36 |  0.321 % |
50.58/50.64	c |    370856 |   18604    94356   317721 |        1    75681     36 |  0.321 % |
50.58/50.64	c |    384450 |   18604    94356   317721 |        1    48879     30 |  0.321 % |
50.58/50.64	c |    386220 |   18604    94356   317721 |        1    50649     31 |  0.321 % |
50.58/50.64	c |    386321 |   18604    94356   317721 |        1    50750     31 |  0.321 % |
50.58/50.64	c |    386461 |   18604    94356   317721 |        1    50890     31 |  0.321 % |
50.58/50.64	c |    389534 |   18604    94356   317721 |        1    53963     32 |  0.321 % |
50.58/50.64	c |    389826 |   18604    94356   317721 |        1    54255     32 |  0.321 % |
50.58/50.64	c |    390079 |   18604    94356   317721 |        1    54508     32 |  0.321 % |
50.58/50.64	c |    390253 |   18604    94356   317721 |        1    54682     32 |  0.321 % |
65.27/65.33	c |    403341 |   18604    94356   317721 |        1    67770     37 |  0.321 % |
65.27/65.33	c |    403443 |   18604    94356   317721 |        1    67872     37 |  0.321 % |
65.27/65.33	c |    404918 |   18604    94356   317721 |        1    69347     38 |  0.321 % |
65.27/65.33	c |    414280 |   18604    94356   317721 |        1    78709     42 |  0.321 % |
65.27/65.33	c |    416769 |   18604    94356   317721 |        1    81198     42 |  0.321 % |
65.27/65.33	c |    416884 |   18604    94356   317721 |        1    81313     42 |  0.321 % |
65.27/65.33	c |    417727 |   18604    94356   317721 |        1    82156     42 |  0.321 % |
65.27/65.33	c |    418411 |   18604    94356   317721 |        1    82840     42 |  0.321 % |
65.27/65.33	c |    419257 |   18604    94356   317721 |        1    83686     42 |  0.321 % |
65.27/65.33	c |    419586 |   18604    94356   317721 |        1    84015     42 |  0.321 % |
65.27/65.33	c |    419972 |   18604    94356   317721 |        1    84401     42 |  0.321 % |
65.27/65.33	c |    420073 |   18604    94356   317721 |        1    84502     42 |  0.321 % |
65.27/65.33	c |    421244 |   18604    94356   317721 |        1    85673     42 |  0.321 % |
65.27/65.33	c |    422501 |   18604    94356   317721 |        1    43928     23 |  0.321 % |
65.27/65.33	c |    424918 |   18604    94356   317721 |        1    46345     24 |  0.321 % |
65.27/65.33	c |    425018 |   18604    94356   317721 |        1    46445     24 |  0.321 % |
65.27/65.33	c |    426099 |   18604    94356   317721 |        1    47526     25 |  0.321 % |
65.27/65.33	c |    426512 |   18604    94356   317721 |        1    47939     25 |  0.321 % |
65.27/65.33	c |    427546 |   18604    94356   317721 |        1    48973     25 |  0.321 % |
65.27/65.33	c |    428784 |   18604    94356   317721 |        1    50211     26 |  0.321 % |
65.27/65.33	c |    428888 |   18604    94356   317721 |        1    50315     26 |  0.321 % |
65.27/65.33	c |    434850 |   18604    94356   317721 |        1    56277     27 |  0.321 % |
65.27/65.33	c |    458195 |   18603    94348   317671 |        1    79605     32 |  0.327 % |
65.27/65.33	c |    458329 |   18603    94348   317671 |        1    79739     32 |  0.327 % |
65.27/65.33	c |    458508 |   18603    94348   317671 |        1    79918     32 |  0.327 % |
65.27/65.33	c |    459271 |   18603    94348   317671 |        1    80681     32 |  0.327 % |
65.27/65.33	c |    459520 |   18603    94348   317671 |        1    80930     32 |  0.327 % |
65.27/65.33	c |    460394 |   18603    94348   317671 |        1    81804     32 |  0.327 % |
65.27/65.33	c |    462309 |   18603    94348   317671 |        1    83719     33 |  0.327 % |
65.27/65.33	c |    464109 |   18603    94348   317671 |        1    85519     33 |  0.327 % |
65.27/65.33	c |    464209 |   18603    94348   317671 |        1    85619     33 |  0.327 % |
65.27/65.33	c |    465510 |   18603    94348   317671 |        1    86920     33 |  0.327 % |
65.27/65.33	c |    465767 |   18603    94348   317671 |        1    87177     33 |  0.327 % |
65.27/65.33	c |    467718 |   18603    94348   317671 |        1    89128     33 |  0.327 % |
65.27/65.33	c |    474501 |   18603    94348   317671 |        1    50315     23 |  0.327 % |
65.27/65.33	c |    475628 |   18603    94348   317671 |        1    51442     23 |  0.327 % |
65.27/65.33	c |    475895 |   18603    94348   317671 |        1    51709     23 |  0.327 % |
65.27/65.33	c |    477005 |   18603    94348   317671 |        1    52819     24 |  0.327 % |
65.27/65.33	c |    477161 |   18603    94348   317671 |        1    52975     24 |  0.327 % |
65.27/65.33	c |    478494 |   18603    94348   317671 |        1    54308     24 |  0.327 % |
65.27/65.33	c |    479011 |   18603    94348   317671 |        1    54825     25 |  0.327 % |
65.27/65.33	c |    480140 |   18603    94348   317671 |        1    55954     25 |  0.327 % |
65.27/65.33	c |    480517 |   18603    94348   317671 |        1    56331     25 |  0.327 % |
65.27/65.33	c |    485252 |   18603    94348   317671 |        1    61066     28 |  0.327 % |
65.27/65.33	c |    490974 |   18603    94348   317671 |        1    66788     29 |  0.327 % |
65.27/65.33	c |    491168 |   18603    94348   317671 |        1    66982     29 |  0.327 % |
65.27/65.33	c |    491268 |   18603    94348   317671 |        1    67082     29 |  0.327 % |
65.27/65.33	c |    492655 |   18603    94348   317671 |        1    68469     30 |  0.327 % |
65.27/65.33	c |    492847 |   18603    94348   317671 |        1    68661     30 |  0.327 % |
72.48/72.55	c |    492952 |   18603    94348   317671 |        1    68766     30 |  0.327 % |
72.48/72.55	c |    495329 |   18603    94348   317671 |        1    71143     30 |  0.327 % |
72.48/72.55	c |    495535 |   18603    94348   317671 |        1    71349     31 |  0.327 % |
72.48/72.55	c |    498423 |   18603    94348   317671 |        1    74237     31 |  0.327 % |
72.48/72.55	c |    499782 |   18603    94348   317671 |        1    75596     31 |  0.327 % |
72.48/72.55	c |    499884 |   18603    94348   317671 |        1    75698     31 |  0.327 % |
72.48/72.55	c |    499985 |   18603    94348   317671 |        1    75799     31 |  0.327 % |
72.48/72.55	c |    500639 |   18603    94348   317671 |        1    76453     31 |  0.327 % |
72.48/72.55	c |    500740 |   18603    94348   317671 |        1    76554     31 |  0.327 % |
72.48/72.55	c |    504061 |   18603    94348   317671 |        1    79875     32 |  0.327 % |
72.48/72.55	c |    505594 |   18603    94348   317671 |        1    81408     33 |  0.327 % |
72.48/72.55	c |    505696 |   18603    94348   317671 |        1    81510     33 |  0.327 % |
72.48/72.55	c |    505798 |   18603    94348   317671 |        1    81612     33 |  0.327 % |
72.48/72.55	c |    506017 |   18603    94348   317671 |        1    81831     33 |  0.327 % |
72.48/72.55	c |    506966 |   18603    94348   317671 |        1    82780     33 |  0.327 % |
72.48/72.55	c |    507066 |   18603    94348   317671 |        1    82880     33 |  0.327 % |
72.48/72.55	c |    508008 |   18603    94348   317671 |        1    83822     33 |  0.327 % |
72.48/72.55	c |    508949 |   18603    94348   317671 |        1    84763     33 |  0.327 % |
72.48/72.55	c |    509420 |   18603    94348   317671 |        1    85234     33 |  0.327 % |
72.48/72.55	c |    515443 |   18603    94348   317671 |        1    91257     34 |  0.327 % |
72.48/72.55	c |    515974 |   18603    94348   317671 |        1    91788     34 |  0.327 % |
72.48/72.55	c |    516452 |   18603    94348   317671 |        1    92266     34 |  0.327 % |
72.48/72.55	c |    516583 |   18603    94348   317671 |        1    92397     34 |  0.327 % |
72.48/72.55	c |    517071 |   18603    94348   317671 |        1    92885     34 |  0.327 % |
72.48/72.55	c |    517193 |   18603    94348   317671 |        1    93007     34 |  0.327 % |
72.48/72.55	c |    517306 |   18603    94348   317671 |        1    93120     34 |  0.327 % |
72.48/72.55	c |    517407 |   18603    94348   317671 |        1    93221     34 |  0.327 % |
72.48/72.55	c |    518099 |   18603    94348   317671 |        1    93913     34 |  0.327 % |
72.48/72.55	c |    518981 |   18603    94348   317671 |        1    94795     34 |  0.327 % |
72.48/72.55	c |    519081 |   18603    94348   317671 |        1    94895     34 |  0.327 % |
72.48/72.55	c |    519281 |   18603    94348   317671 |        1    95095     34 |  0.327 % |
72.48/72.55	c |    521201 |   18603    94348   317671 |        1    48819     20 |  0.327 % |
72.48/72.55	c |    522708 |   18603    94348   317671 |        1    50326     21 |  0.327 % |
72.48/72.55	c |    523637 |   18603    94348   317671 |        1    51255     22 |  0.327 % |
72.48/72.55	c |    523802 |   18603    94348   317671 |        1    51420     22 |  0.327 % |
72.48/72.55	c |    524286 |   18603    94348   317671 |        1    51904     22 |  0.327 % |
72.48/72.55	c |    524491 |   18603    94348   317671 |        1    52109     22 |  0.327 % |
72.48/72.55	c |    524639 |   18603    94348   317671 |        1    52257     22 |  0.327 % |
72.48/72.55	c |    527688 |   18603    94348   317671 |        1    55306     24 |  0.327 % |
72.48/72.55	c |    530265 |   18603    94348   317671 |        1    57883     25 |  0.327 % |
72.48/72.55	c |    532142 |   18603    94348   317671 |        1    59760     26 |  0.327 % |
72.48/72.55	c |    532248 |   18603    94348   317671 |        1    59866     26 |  0.327 % |
72.48/72.55	c |    533603 |   18603    94348   317671 |        1    61221     27 |  0.327 % |
72.48/72.55	c |    533736 |   18603    94348   317671 |        1    61354     27 |  0.327 % |
72.48/72.55	c |    537096 |   18603    94348   317671 |        1    64714     29 |  0.327 % |
72.48/72.55	c |    537197 |   18603    94348   317671 |        1    64815     29 |  0.327 % |
72.48/72.55	c |    538858 |   18603    94348   317671 |        1    66476     29 |  0.327 % |
72.48/72.55	c |    538958 |   18603    94348   317671 |        1    66576     29 |  0.327 % |
72.48/72.55	c |    539058 |   18603    94348   317671 |        1    66676     29 |  0.327 % |
72.48/72.55	c |    540298 |   18603    94348   317671 |        1    67916     29 |  0.327 % |
92.48/92.57	c |    540399 |   18603    94348   317671 |        1    68017     29 |  0.327 % |
92.48/92.57	c |    553092 |   18603    94348   317671 |        1    80710     30 |  0.327 % |
92.48/92.57	c |    553387 |   18603    94348   317671 |        1    81005     30 |  0.327 % |
92.48/92.57	c |    553488 |   18603    94348   317671 |        1    81106     30 |  0.327 % |
92.48/92.57	c |    555981 |   18603    94348   317671 |        1    83599     31 |  0.327 % |
92.48/92.57	c |    556081 |   18603    94348   317671 |        1    83699     31 |  0.327 % |
92.48/92.57	c |    556346 |   18603    94348   317671 |        1    83964     31 |  0.327 % |
92.48/92.57	c |    561686 |   18603    94348   317671 |        1    89304     33 |  0.327 % |
92.48/92.57	c |    562062 |   18603    94348   317671 |        1    89680     33 |  0.327 % |
92.48/92.57	c |    562212 |   18603    94348   317671 |        1    89830     33 |  0.327 % |
92.48/92.57	c |    562313 |   18603    94348   317671 |        1    89931     33 |  0.327 % |
92.48/92.57	c |    562414 |   18603    94348   317671 |        1    90032     33 |  0.327 % |
92.48/92.57	c |    562518 |   18603    94348   317671 |        1    90136     33 |  0.327 % |
92.48/92.57	c |    562666 |   18603    94348   317671 |        1    90284     33 |  0.327 % |
92.48/92.57	c |    562781 |   18603    94348   317671 |        1    90399     33 |  0.327 % |
92.48/92.57	c |    574474 |   18603    94348   317671 |        1    51296     21 |  0.327 % |
92.48/92.57	c |    574907 |   18603    94348   317671 |        1    51729     21 |  0.327 % |
92.48/92.57	c |    575125 |   18603    94348   317671 |        1    51947     22 |  0.327 % |
92.48/92.57	c |    575225 |   18603    94348   317671 |        1    52047     22 |  0.327 % |
92.48/92.57	c |    577658 |   18603    94348   317671 |        1    54480     23 |  0.327 % |
92.48/92.57	c |    577758 |   18603    94348   317671 |        1    54580     23 |  0.327 % |
92.48/92.57	c |    578258 |   18603    94348   317671 |        1    55080     24 |  0.327 % |
92.48/92.57	c |    581281 |   18603    94348   317671 |        1    58103     25 |  0.327 % |
92.48/92.57	c |    581381 |   18603    94348   317671 |        1    58203     25 |  0.327 % |
92.48/92.57	c |    581630 |   18603    94348   317671 |        1    58452     25 |  0.327 % |
92.48/92.57	c |    581815 |   18603    94348   317671 |        1    58637     25 |  0.327 % |
92.48/92.57	c |    581915 |   18603    94348   317671 |        1    58737     25 |  0.327 % |
92.48/92.57	c |    590164 |   18603    94348   317671 |        1    66986     29 |  0.327 % |
92.48/92.57	c |    590264 |   18603    94348   317671 |        1    67086     29 |  0.327 % |
92.48/92.57	c |    590364 |   18603    94348   317671 |        1    67186     29 |  0.327 % |
92.48/92.57	c |    594633 |   18603    94348   317671 |        1    71455     31 |  0.327 % |
92.48/92.57	c |    595931 |   18603    94348   317671 |        1    72753     31 |  0.327 % |
92.48/92.57	c |    596032 |   18603    94348   317671 |        1    72854     31 |  0.327 % |
92.48/92.57	c |    596870 |   18603    94348   317671 |        1    73692     31 |  0.327 % |
92.48/92.57	c |    625263 |   18603    94348   317671 |        1   102085     36 |  0.327 % |
92.48/92.57	c |    625363 |   18603    94348   317671 |        1   102185     36 |  0.327 % |
92.48/92.57	c |    630492 |   18603    94348   317671 |        1    53914     22 |  0.327 % |
92.48/92.57	c |    634447 |   18603    94348   317671 |        1    57869     23 |  0.327 % |
92.48/92.57	c |    635483 |   18603    94348   317671 |        1    58905     24 |  0.327 % |
92.48/92.57	c |    636050 |   18603    94348   317671 |        1    59472     24 |  0.327 % |
92.48/92.57	c |    639429 |   18603    94348   317671 |        1    62851     26 |  0.327 % |
92.48/92.57	c |    648104 |   18603    94348   317671 |        1    71526     28 |  0.327 % |
92.48/92.57	c |    648288 |   18603    94348   317671 |        1    71710     28 |  0.327 % |
92.48/92.57	c |    648390 |   18603    94348   317671 |        1    71812     28 |  0.327 % |
92.48/92.57	c |    657812 |   18603    94348   317671 |        1    81234     30 |  0.327 % |
92.48/92.57	c |    658747 |   18603    94348   317671 |        1    82169     30 |  0.327 % |
92.48/92.57	c |    659171 |   18603    94348   317671 |        1    82593     30 |  0.327 % |
92.48/92.57	c |    659303 |   18603    94348   317671 |        1    82725     30 |  0.327 % |
92.48/92.57	c |    660663 |   18603    94348   317671 |        1    84085     31 |  0.327 % |
92.48/92.57	c |    660960 |   18603    94348   317671 |        1    84382     31 |  0.327 % |
104.78/104.82	c |    661721 |   18603    94348   317671 |        1    85143     31 |  0.327 % |
104.78/104.82	c |    664454 |   18603    94348   317671 |        1    87876     32 |  0.327 % |
104.78/104.82	c |    674751 |   18602    94340   317621 |        1    98163     33 |  0.332 % |
104.78/104.82	c |    677394 |   18602    94340   317621 |        1   100806     34 |  0.332 % |
104.78/104.82	c |    677930 |   18602    94340   317621 |        1   101342     34 |  0.332 % |
104.78/104.82	c |    678691 |   18602    94340   317621 |        1   102103     34 |  0.332 % |
104.78/104.82	c |    679480 |   18602    94340   317621 |        1   102892     34 |  0.332 % |
104.78/104.82	c |    679580 |   18602    94340   317621 |        1   102992     34 |  0.332 % |
104.78/104.82	c |    679892 |   18602    94340   317621 |        1   103304     34 |  0.332 % |
104.78/104.82	c |    679995 |   18602    94340   317621 |        1   103407     34 |  0.332 % |
104.78/104.82	c |    680095 |   18602    94340   317621 |        1   103507     34 |  0.332 % |
104.78/104.82	c |    680255 |   18602    94340   317621 |        1   103667     34 |  0.332 % |
104.78/104.82	c |    681712 |   18602    94340   317621 |        1   105124     35 |  0.332 % |
104.78/104.82	c |    682333 |   18602    94340   317621 |        1   105745     35 |  0.332 % |
104.78/104.82	c |    682433 |   18602    94340   317621 |        1   105845     35 |  0.332 % |
104.78/104.82	c |    682577 |   18602    94340   317621 |        1   105989     35 |  0.332 % |
104.78/104.82	c |    682834 |   18602    94340   317621 |        1   106246     35 |  0.332 % |
104.78/104.82	c |    683934 |   18602    94340   317621 |        1   107346     35 |  0.332 % |
104.78/104.82	c |    684086 |   18602    94340   317621 |        1   107498     35 |  0.332 % |
104.78/104.82	c |    684764 |   18602    94340   317621 |        1   108176     35 |  0.332 % |
104.78/104.82	c |    685941 |   18602    94340   317621 |        1   109353     35 |  0.332 % |
104.78/104.82	c |    686665 |   18602    94340   317621 |        1   110077     35 |  0.332 % |
104.78/104.82	c |    686789 |   18602    94340   317621 |        1   110201     35 |  0.332 % |
104.78/104.82	c |    692230 |   18602    94340   317621 |        1    59648     22 |  0.332 % |
104.78/104.82	c |    694078 |   18602    94340   317621 |        1    61496     23 |  0.332 % |
104.78/104.82	c |    700404 |   18602    94340   317621 |        1    67822     27 |  0.332 % |
104.78/104.82	c |    700538 |   18602    94340   317621 |        1    67956     27 |  0.332 % |
104.78/104.82	c |    700858 |   18602    94340   317621 |        1    68276     27 |  0.332 % |
104.78/104.82	c |    700958 |   18602    94340   317621 |        1    68376     27 |  0.332 % |
104.78/104.82	c |    701058 |   18602    94340   317621 |        1    68476     27 |  0.332 % |
104.78/104.82	c |    701189 |   18602    94340   317621 |        1    68607     27 |  0.332 % |
104.78/104.82	c |    701440 |   18602    94340   317621 |        1    68858     27 |  0.332 % |
104.78/104.82	c |    702165 |   18602    94340   317621 |        1    69583     28 |  0.332 % |
104.78/104.82	c |    710373 |   18602    94340   317621 |        1    77791     30 |  0.332 % |
104.78/104.82	c |    710519 |   18602    94340   317621 |        1    77937     30 |  0.332 % |
104.78/104.82	c |    711593 |   18602    94340   317621 |        1    79011     31 |  0.332 % |
104.78/104.82	c |    711694 |   18602    94340   317621 |        1    79112     31 |  0.332 % |
104.78/104.82	c |    719014 |   18602    94340   317621 |        1    86432     33 |  0.332 % |
104.78/104.82	c |    719114 |   18602    94340   317621 |        1    86532     33 |  0.332 % |
104.78/104.82	c |    720314 |   18602    94340   317621 |        1    87732     33 |  0.332 % |
104.78/104.82	c |    720669 |   18602    94340   317621 |        1    88087     33 |  0.332 % |
104.78/104.82	c |    724222 |   18602    94340   317621 |        1    91640     35 |  0.332 % |
104.78/104.82	c |    724776 |   18602    94340   317621 |        1    92194     35 |  0.332 % |
104.78/104.82	c |    726101 |   18602    94340   317621 |        1    93519     35 |  0.332 % |
104.78/104.82	c |    726390 |   18602    94340   317621 |        1    93808     35 |  0.332 % |
104.78/104.82	c |    728474 |   18602    94340   317621 |        1    95892     35 |  0.332 % |
104.78/104.82	c |    729264 |   18602    94340   317621 |        1    96682     35 |  0.332 % |
104.78/104.82	c |    730980 |   18602    94340   317621 |        1    98398     36 |  0.332 % |
104.78/104.82	c |    731082 |   18602    94340   317621 |        1    98500     36 |  0.332 % |
104.78/104.82	c |    731493 |   18602    94340   317621 |        1    98911     36 |  0.332 % |
118.98/119.01	c |    748188 |   18602    94340   317621 |        1   115606     38 |  0.332 % |
118.98/119.01	c |    749357 |   18602    94340   317621 |        1   116775     38 |  0.332 % |
118.98/119.01	c |    751195 |   18602    94340   317621 |        1    60010     23 |  0.332 % |
118.98/119.01	c |    751873 |   18602    94340   317621 |        1    60688     23 |  0.332 % |
118.98/119.01	c |    752055 |   18602    94340   317621 |        1    60870     23 |  0.332 % |
118.98/119.01	c |    753182 |   18602    94340   317621 |        1    61997     24 |  0.332 % |
118.98/119.01	c |    753282 |   18602    94340   317621 |        1    62097     24 |  0.332 % |
118.98/119.01	c |    753383 |   18602    94340   317621 |        1    62198     24 |  0.332 % |
118.98/119.01	c |    754073 |   18602    94340   317621 |        1    62888     24 |  0.332 % |
118.98/119.01	c |    754173 |   18602    94340   317621 |        1    62988     24 |  0.332 % |
118.98/119.01	c |    756208 |   18602    94340   317621 |        1    65023     25 |  0.332 % |
118.98/119.01	c |    765643 |   18602    94340   317621 |        1    74458     29 |  0.332 % |
118.98/119.01	c |    765744 |   18602    94340   317621 |        1    74559     29 |  0.332 % |
118.98/119.01	c |    766680 |   18602    94340   317621 |        1    75495     29 |  0.332 % |
118.98/119.01	c |    766780 |   18602    94340   317621 |        1    75595     29 |  0.332 % |
118.98/119.01	c |    767219 |   18602    94340   317621 |        1    76034     29 |  0.332 % |
118.98/119.01	c |    767439 |   18602    94340   317621 |        1    76254     29 |  0.332 % |
118.98/119.01	c |    768438 |   18602    94340   317621 |        1    77253     30 |  0.332 % |
118.98/119.01	c |    768952 |   18602    94340   317621 |        1    77767     30 |  0.332 % |
118.98/119.01	c |    769081 |   18602    94340   317621 |        1    77896     30 |  0.332 % |
118.98/119.01	c |    770198 |   18602    94340   317621 |        1    79013     30 |  0.332 % |
118.98/119.01	c |    772260 |   18602    94340   317621 |        1    81075     31 |  0.332 % |
118.98/119.01	c |    773119 |   18602    94340   317621 |        1    81934     31 |  0.332 % |
118.98/119.01	c |    773219 |   18602    94340   317621 |        1    82034     31 |  0.332 % |
118.98/119.01	c |    773324 |   18602    94340   317621 |        1    82139     31 |  0.332 % |
118.98/119.01	c |    781780 |   18602    94340   317621 |        1    90595     33 |  0.332 % |
118.98/119.01	c |    784030 |   18602    94340   317621 |        1    92845     34 |  0.332 % |
118.98/119.01	c |    785603 |   18602    94340   317621 |        1    94418     34 |  0.332 % |
118.98/119.01	c |    786169 |   18602    94340   317621 |        1    94984     34 |  0.332 % |
118.98/119.01	c |    786423 |   18602    94340   317621 |        1    95238     34 |  0.332 % |
118.98/119.01	c |    786523 |   18602    94340   317621 |        1    95338     34 |  0.332 % |
118.98/119.01	c |    786868 |   18602    94340   317621 |        1    95683     35 |  0.332 % |
118.98/119.01	c |    787290 |   18602    94340   317621 |        1    96105     35 |  0.332 % |
118.98/119.01	c |    788256 |   18602    94340   317621 |        1    97071     35 |  0.332 % |
118.98/119.01	c |    788969 |   18602    94340   317621 |        1    97784     35 |  0.332 % |
118.98/119.01	c |    789627 |   18602    94340   317621 |        1    98442     35 |  0.332 % |
118.98/119.01	c |    790727 |   18602    94340   317621 |        1    99542     35 |  0.332 % |
118.98/119.01	c |    791078 |   18602    94340   317621 |        1    99893     35 |  0.332 % |
118.98/119.01	c |    793561 |   18602    94340   317621 |        1   102376     36 |  0.332 % |
118.98/119.01	c |    793661 |   18602    94340   317621 |        1   102476     36 |  0.332 % |
118.98/119.01	c |    793761 |   18602    94340   317621 |        1   102576     36 |  0.332 % |
118.98/119.01	c |    799389 |   18602    94340   317621 |        1   108204     37 |  0.332 % |
118.98/119.01	c |    799544 |   18602    94340   317621 |        1   108359     37 |  0.332 % |
118.98/119.01	c |    799766 |   18602    94340   317621 |        1   108581     37 |  0.332 % |
118.98/119.01	c |    802421 |   18602    94340   317621 |        1   111236     38 |  0.332 % |
118.98/119.01	c |    802698 |   18602    94340   317621 |        1   111513     38 |  0.332 % |
118.98/119.01	c |    808874 |   18602    94340   317621 |        1   117689     38 |  0.332 % |
118.98/119.01	c |    813895 |   18602    94340   317621 |        1    61518     23 |  0.332 % |
118.98/119.01	c |    815744 |   18602    94340   317621 |        1    63367     23 |  0.332 % |
118.98/119.01	c |    816614 |   18602    94340   317621 |        1    64237     24 |  0.332 % |
137.58/137.67	c |    820495 |   18602    94340   317621 |        1    68118     25 |  0.332 % |
137.58/137.67	c |    823069 |   18602    94340   317621 |        1    70692     25 |  0.332 % |
137.58/137.67	c |    827910 |   18602    94340   317621 |        1    75533     28 |  0.332 % |
137.58/137.67	c |    828022 |   18602    94340   317621 |        1    75645     28 |  0.332 % |
137.58/137.67	c |    833611 |   18602    94340   317621 |        1    81234     28 |  0.332 % |
137.58/137.67	c |    833712 |   18602    94340   317621 |        1    81335     28 |  0.332 % |
137.58/137.67	c |    833813 |   18602    94340   317621 |        1    81436     28 |  0.332 % |
137.58/137.67	c |    843519 |   18602    94340   317621 |        1    91142     32 |  0.332 % |
137.58/137.67	c |    843620 |   18602    94340   317621 |        1    91243     32 |  0.332 % |
137.58/137.67	c |    845970 |   18602    94340   317621 |        1    93593     33 |  0.332 % |
137.58/137.67	c |    846184 |   18602    94340   317621 |        1    93807     33 |  0.332 % |
137.58/137.67	c |    853336 |   18602    94340   317621 |        1   100959     33 |  0.332 % |
137.58/137.67	c |    853859 |   18602    94340   317621 |        1   101482     33 |  0.332 % |
137.58/137.67	c |    853959 |   18602    94340   317621 |        1   101582     33 |  0.332 % |
137.58/137.67	c |    854088 |   18602    94340   317621 |        1   101711     33 |  0.332 % |
137.58/137.67	c |    855125 |   18548    93433   314410 |        1   102571     34 |  0.622 % |
137.58/137.67	c |    858834 |   18548    93433   314410 |        1   106280     34 |  0.622 % |
137.58/137.67	c |    860864 |   18548    93433   314410 |        1   108310     35 |  0.622 % |
137.58/137.67	c |    862140 |   18548    93433   314410 |        1   109586     35 |  0.622 % |
137.58/137.67	c |    862240 |   18548    93433   314410 |        1   109686     35 |  0.622 % |
137.58/137.67	c |    862595 |   18548    93433   314410 |        1   110041     35 |  0.622 % |
137.58/137.67	c |    863468 |   18548    93433   314410 |        1   110914     35 |  0.622 % |
137.58/137.67	c |    864512 |   18548    93433   314410 |        1   111958     35 |  0.622 % |
137.58/137.67	c |    864619 |   18548    93433   314410 |        1   112065     35 |  0.622 % |
137.58/137.67	c |    867098 |   18548    93433   314410 |        1   114544     35 |  0.622 % |
137.58/137.67	c |    872083 |   18548    93433   314410 |        1   119529     36 |  0.622 % |
137.58/137.67	c |    872184 |   18548    93433   314410 |        1   119630     36 |  0.622 % |
137.58/137.67	c |    874567 |   18548    93433   314410 |        1   122013     36 |  0.622 % |
137.58/137.67	c |    876220 |   18548    93433   314410 |        1   123666     36 |  0.622 % |
137.58/137.67	c |    881302 |   18548    93433   314410 |        1    65035     22 |  0.622 % |
137.58/137.67	c |    881512 |   18548    93433   314410 |        1    65245     22 |  0.622 % |
137.58/137.67	c |    883716 |   18548    93433   314410 |        1    67449     23 |  0.622 % |
137.58/137.67	c |    889775 |   18548    93433   314410 |        1    73508     25 |  0.622 % |
137.58/137.67	c |    890036 |   18548    93433   314410 |        1    73769     26 |  0.622 % |
137.58/137.67	c |    890378 |   18548    93433   314410 |        1    74111     26 |  0.622 % |
137.58/137.67	c |    891800 |   18548    93433   314410 |        1    75533     26 |  0.622 % |
137.58/137.67	c |    891942 |   18548    93433   314410 |        1    75675     26 |  0.622 % |
137.58/137.67	c |    894983 |   18548    93433   314410 |        1    78716     28 |  0.622 % |
137.58/137.67	c |    900237 |   18548    93433   314410 |        1    83970     28 |  0.622 % |
137.58/137.67	c |    905092 |   18548    93433   314410 |        1    88825     30 |  0.622 % |
137.58/137.67	c |    905783 |   18548    93433   314410 |        1    89516     30 |  0.622 % |
137.58/137.67	c |    908763 |   18548    93433   314410 |        1    92496     31 |  0.622 % |
137.58/137.67	c |    917402 |   18548    93433   314410 |        1   101135     31 |  0.622 % |
137.58/137.67	c |    925977 |   18548    93433   314410 |        1   109710     34 |  0.622 % |
137.58/137.67	c |    926077 |   18548    93433   314410 |        1   109810     34 |  0.622 % |
137.58/137.67	c |    926177 |   18548    93433   314410 |        1   109910     34 |  0.622 % |
137.58/137.67	c |    926362 |   18548    93433   314410 |        1   110095     34 |  0.622 % |
137.58/137.67	c |    926464 |   18548    93433   314410 |        1   110197     34 |  0.622 % |
137.58/137.67	c |    928667 |   18548    93433   314410 |        1   112400     34 |  0.622 % |
137.58/137.67	c |    929407 |   18548    93433   314410 |        1   113140     34 |  0.622 % |
165.47/165.54	c |    941716 |   18548    93433   314410 |        1   125449     34 |  0.622 % |
165.47/165.54	c |    944754 |   18548    93433   314410 |        1   128487     34 |  0.622 % |
165.47/165.54	c |    953828 |   18548    93433   314410 |        1    71210     22 |  0.622 % |
165.47/165.54	c |    953929 |   18548    93433   314410 |        1    71311     22 |  0.622 % |
165.47/165.54	c |    954030 |   18548    93433   314410 |        1    71412     22 |  0.622 % |
165.47/165.54	c |    954509 |   18548    93433   314410 |        1    71891     22 |  0.622 % |
165.47/165.54	c |    955467 |   18548    93433   314410 |        1    72849     22 |  0.622 % |
165.47/165.54	c |    955851 |   18548    93433   314410 |        1    73233     23 |  0.622 % |
165.47/165.54	c |    955955 |   18548    93433   314410 |        1    73337     23 |  0.622 % |
165.47/165.54	c |    959242 |   18548    93433   314410 |        1    76624     24 |  0.622 % |
165.47/165.54	c |    960489 |   18548    93433   314410 |        1    77871     24 |  0.622 % |
165.47/165.54	c |    960646 |   18548    93433   314410 |        1    78028     24 |  0.622 % |
165.47/165.54	c |    963240 |   18548    93433   314410 |        1    80622     25 |  0.622 % |
165.47/165.54	c |   1010712 |   18548    93433   314410 |        1   128094     38 |  0.622 % |
165.47/165.54	c |   1011779 |   18548    93433   314410 |        1   129161     38 |  0.622 % |
165.47/165.54	c |   1012238 |   18548    93433   314410 |        1   129620     38 |  0.622 % |
165.47/165.54	c |   1017895 |   18548    93433   314410 |        1   135277     38 |  0.622 % |
165.47/165.54	c |   1020947 |   18548    93433   314410 |        1    69347     22 |  0.622 % |
165.47/165.54	c |   1021048 |   18548    93433   314410 |        1    69448     22 |  0.622 % |
165.47/165.54	c |   1021179 |   18548    93433   314410 |        1    69579     22 |  0.622 % |
165.47/165.54	c |   1021395 |   18548    93433   314410 |        1    69795     23 |  0.622 % |
165.47/165.54	c |   1021956 |   18548    93433   314410 |        1    70356     23 |  0.622 % |
165.47/165.54	c |   1024395 |   18548    93433   314410 |        1    72795     24 |  0.622 % |
165.47/165.54	c |   1024897 |   18548    93433   314410 |        1    73297     24 |  0.622 % |
165.47/165.54	c |   1026863 |   18548    93433   314410 |        1    75263     25 |  0.622 % |
165.47/165.54	c |   1028418 |   18548    93433   314410 |        1    76818     25 |  0.622 % |
165.47/165.54	c |   1028518 |   18548    93433   314410 |        1    76918     25 |  0.622 % |
165.47/165.54	c |   1037352 |   18548    93433   314410 |        1    85752     26 |  0.622 % |
165.47/165.54	c |   1042697 |   18548    93433   314410 |        1    91097     27 |  0.622 % |
165.47/165.54	c |   1042797 |   18548    93433   314410 |        1    91197     27 |  0.622 % |
165.47/165.54	c |   1050779 |   18548    93433   314410 |        1    99179     30 |  0.622 % |
165.47/165.54	c |   1050940 |   18548    93433   314410 |        1    99340     30 |  0.622 % |
165.47/165.54	c |   1051287 |   18548    93433   314410 |        1    99687     30 |  0.622 % |
165.47/165.54	c |   1051388 |   18548    93433   314410 |        1    99788     30 |  0.622 % |
165.47/165.54	c |   1051489 |   18548    93433   314410 |        1    99889     30 |  0.622 % |
165.47/165.54	c |   1059676 |   18548    93433   314410 |        1   108076     32 |  0.622 % |
165.47/165.54	c |   1060312 |   18548    93433   314410 |        1   108712     32 |  0.622 % |
165.47/165.54	c |   1061505 |   18548    93433   314410 |        1   109905     32 |  0.622 % |
165.47/165.54	c |   1062230 |   18548    93433   314410 |        1   110630     32 |  0.622 % |
165.47/165.54	c |   1062330 |   18548    93433   314410 |        1   110730     32 |  0.622 % |
165.47/165.54	c |   1062861 |   18548    93433   314410 |        1   111261     33 |  0.622 % |
165.47/165.54	c |   1062999 |   18548    93433   314410 |        1   111399     33 |  0.622 % |
165.47/165.54	c |   1063109 |   18548    93433   314410 |        1   111509     33 |  0.622 % |
165.47/165.54	c |   1072733 |   18548    93433   314410 |        1   121133     35 |  0.622 % |
165.47/165.54	c |   1074770 |   18548    93433   314410 |        1   123170     35 |  0.622 % |
165.47/165.54	c |   1082904 |   18548    93433   314410 |        1   131304     35 |  0.622 % |
165.47/165.54	c |   1083936 |   18548    93433   314410 |        1   132336     35 |  0.622 % |
165.47/165.54	c |   1084683 |   18548    93433   314410 |        1   133083     35 |  0.622 % |
165.47/165.54	c |   1087268 |   18548    93433   314410 |        1   135668     36 |  0.622 % |
165.47/165.54	c |   1088955 |   18548    93433   314410 |        1   137355     36 |  0.622 % |
195.78/195.82	c |   1089796 |   18548    93433   314410 |        1   138196     36 |  0.622 % |
195.78/195.82	c |   1089896 |   18548    93433   314410 |        1   138296     36 |  0.622 % |
195.78/195.82	c |   1090362 |   18548    93433   314410 |        1   138762     36 |  0.622 % |
195.78/195.82	c |   1091384 |   18548    93433   314410 |        1   139784     36 |  0.622 % |
195.78/195.82	c |   1092138 |   18548    93433   314410 |        1   140538     36 |  0.622 % |
195.78/195.82	c |   1094145 |   18548    93433   314410 |        1   142545     36 |  0.622 % |
195.78/195.82	c |   1095767 |   18548    93433   314410 |        1    72574     21 |  0.622 % |
195.78/195.82	c |   1096245 |   18548    93433   314410 |        1    73052     21 |  0.622 % |
195.78/195.82	c |   1097468 |   18548    93433   314410 |        1    74275     22 |  0.622 % |
195.78/195.82	c |   1107368 |   18548    93433   314410 |        1    84175     25 |  0.622 % |
195.78/195.82	c |   1107470 |   18548    93433   314410 |        1    84277     25 |  0.622 % |
195.78/195.82	c |   1131495 |   18548    93433   314410 |        1   108302     32 |  0.622 % |
195.78/195.82	c |   1131596 |   18548    93433   314410 |        1   108403     32 |  0.622 % |
195.78/195.82	c |   1131930 |   18548    93433   314410 |        1   108737     32 |  0.622 % |
195.78/195.82	c |   1161773 |   18548    93433   314410 |        1   138580     34 |  0.622 % |
195.78/195.82	c |   1162069 |   18548    93433   314410 |        1   138876     34 |  0.622 % |
195.78/195.82	c |   1167186 |   18548    93433   314410 |        1   143993     35 |  0.622 % |
195.78/195.82	c |   1170230 |   18548    93433   314410 |        1   147037     35 |  0.622 % |
195.78/195.82	c |   1171326 |   18548    93433   314410 |        1   148133     35 |  0.622 % |
195.78/195.82	c |   1177210 |   18548    93433   314410 |        1    79824     23 |  0.622 % |
195.78/195.82	c |   1177751 |   18548    93433   314410 |        1    80365     23 |  0.622 % |
195.78/195.82	c |   1178656 |   18548    93433   314410 |        1    81270     23 |  0.622 % |
195.78/195.82	c |   1180536 |   18548    93433   314410 |        1    83150     24 |  0.622 % |
195.78/195.82	c |   1180636 |   18548    93433   314410 |        1    83250     24 |  0.622 % |
195.78/195.82	c |   1180806 |   18548    93433   314410 |        1    83420     24 |  0.622 % |
195.78/195.82	c |   1182709 |   18548    93433   314410 |        1    85323     25 |  0.622 % |
195.78/195.82	c |   1182809 |   18548    93433   314410 |        1    85423     25 |  0.622 % |
195.78/195.82	c |   1182981 |   18548    93433   314410 |        1    85595     25 |  0.622 % |
195.78/195.82	c |   1183081 |   18548    93433   314410 |        1    85695     25 |  0.622 % |
195.78/195.82	c |   1183667 |   18548    93433   314410 |        1    86281     25 |  0.622 % |
195.78/195.82	c |   1184762 |   18548    93433   314410 |        1    87376     25 |  0.622 % |
195.78/195.82	c |   1188680 |   18548    93433   314410 |        1    91294     26 |  0.622 % |
195.78/195.82	c |   1189095 |   18548    93433   314410 |        1    91709     26 |  0.622 % |
195.78/195.82	c |   1190792 |   18548    93433   314410 |        1    93406     26 |  0.622 % |
195.78/195.82	c |   1190928 |   18548    93433   314410 |        1    93542     26 |  0.622 % |
195.78/195.82	c |   1193943 |   18548    93433   314410 |        1    96557     27 |  0.622 % |
195.78/195.82	c |   1194447 |   18548    93433   314410 |        1    97061     27 |  0.622 % |
195.78/195.82	c |   1194644 |   18548    93433   314410 |        1    97258     27 |  0.622 % |
195.78/195.82	c |   1195958 |   18548    93433   314410 |        1    98572     27 |  0.622 % |
195.78/195.82	c |   1196543 |   18548    93433   314410 |        1    99157     27 |  0.622 % |
195.78/195.82	c |   1199248 |   18548    93433   314410 |        1   101862     28 |  0.622 % |
195.78/195.82	c |   1199350 |   18548    93433   314410 |        1   101964     28 |  0.622 % |
195.78/195.82	c |   1212748 |   18548    93433   314410 |        1   115362     33 |  0.622 % |
195.78/195.82	c |   1213334 |   18548    93433   314410 |        1   115948     33 |  0.622 % |
195.78/195.82	c |   1213933 |   18548    93433   314410 |        1   116547     33 |  0.622 % |
195.78/195.82	c |   1215391 |   18548    93433   314410 |        1   118005     33 |  0.622 % |
195.78/195.82	c |   1228513 |   18548    93433   314410 |        1   131127     36 |  0.622 % |
195.78/195.82	c |   1230614 |   18548    93433   314410 |        1   133228     36 |  0.622 % |
195.78/195.82	c |   1232765 |   18548    93433   314410 |        1   135379     36 |  0.622 % |
195.78/195.82	c |   1233138 |   18548    93433   314410 |        1   135752     36 |  0.622 % |
230.98/231.09	c |   1234540 |   18548    93433   314410 |        1   137154     37 |  0.622 % |
230.98/231.09	c |   1235415 |   18548    93433   314410 |        1   138029     37 |  0.622 % |
230.98/231.09	c |   1237509 |   18548    93433   314410 |        1   140123     37 |  0.622 % |
230.98/231.09	c |   1242028 |   18548    93433   314410 |        1   144642     37 |  0.622 % |
230.98/231.09	c |   1251861 |   18548    93433   314410 |        1    77679     22 |  0.622 % |
230.98/231.09	c |   1253427 |   18548    93433   314410 |        1    79245     22 |  0.622 % |
230.98/231.09	c |   1254209 |   18548    93433   314410 |        1    80027     23 |  0.622 % |
230.98/231.09	c |   1255259 |   18548    93433   314410 |        1    81077     23 |  0.622 % |
230.98/231.09	c |   1255658 |   18548    93433   314410 |        1    81476     23 |  0.622 % |
230.98/231.09	c |   1256523 |   18548    93433   314410 |        1    82341     23 |  0.622 % |
230.98/231.09	c |   1256913 |   18548    93433   314410 |        1    82731     23 |  0.622 % |
230.98/231.09	c |   1261448 |   18548    93433   314410 |        1    87266     24 |  0.622 % |
230.98/231.09	c |   1261549 |   18548    93433   314410 |        1    87367     24 |  0.622 % |
230.98/231.09	c |   1262687 |   18548    93433   314410 |        1    88505     25 |  0.622 % |
230.98/231.09	c |   1262850 |   18548    93433   314410 |        1    88668     25 |  0.622 % |
230.98/231.09	c |   1264984 |   18548    93433   314410 |        1    90802     25 |  0.622 % |
230.98/231.09	c |   1265249 |   18548    93433   314410 |        1    91067     25 |  0.622 % |
230.98/231.09	c |   1266973 |   18548    93433   314410 |        1    92791     26 |  0.622 % |
230.98/231.09	c |   1267164 |   18548    93433   314410 |        1    92982     26 |  0.622 % |
230.98/231.09	c |   1277338 |   18548    93433   314410 |        1   103156     27 |  0.622 % |
230.98/231.09	c |   1278810 |   18548    93433   314410 |        1   104628     28 |  0.622 % |
230.98/231.09	c |   1281201 |   18548    93433   314410 |        1   107019     28 |  0.622 % |
230.98/231.09	c |   1281309 |   18548    93433   314410 |        1   107127     28 |  0.622 % |
230.98/231.09	c |   1281409 |   18548    93433   314410 |        1   107227     28 |  0.622 % |
230.98/231.09	c |   1284008 |   18548    93433   314410 |        1   109826     29 |  0.622 % |
230.98/231.09	c |   1284302 |   18548    93433   314410 |        1   110120     29 |  0.622 % |
230.98/231.09	c |   1285135 |   18548    93433   314410 |        1   110953     29 |  0.622 % |
230.98/231.09	c |   1285235 |   18548    93433   314410 |        1   111053     29 |  0.622 % |
230.98/231.09	c |   1285335 |   18548    93433   314410 |        1   111153     29 |  0.622 % |
230.98/231.09	c |   1285979 |   18548    93433   314410 |        1   111797     29 |  0.622 % |
230.98/231.09	c |   1289271 |   18548    93433   314410 |        1   115089     30 |  0.622 % |
230.98/231.09	c |   1339235 |   18548    93433   314410 |        1    85651     20 |  0.622 % |
230.98/231.09	c |   1368704 |   18548    93433   314410 |        1   115120     27 |  0.622 % |
230.98/231.09	c |   1370233 |   18548    93433   314410 |        1   116649     27 |  0.622 % |
230.98/231.09	c |   1370334 |   18548    93433   314410 |        1   116750     27 |  0.622 % |
230.98/231.09	c |   1373373 |   18548    93433   314410 |        1   119789     28 |  0.622 % |
230.98/231.09	c |   1373474 |   18548    93433   314410 |        1   119890     28 |  0.622 % |
230.98/231.09	c |   1373592 |   18548    93433   314410 |        1   120008     28 |  0.622 % |
230.98/231.09	c |   1409559 |   18548    93433   314410 |        1   155975     30 |  0.622 % |
230.98/231.09	c |   1409660 |   18548    93433   314410 |        1   156076     30 |  0.622 % |
230.98/231.09	c |   1409762 |   18548    93433   314410 |        1   156178     30 |  0.622 % |
230.98/231.09	c |   1409958 |   18548    93433   314410 |        1   156374     30 |  0.622 % |
230.98/231.09	c |   1410409 |   18548    93433   314410 |        1   156825     30 |  0.622 % |
230.98/231.09	c |   1411013 |   18548    93433   314410 |        1   157429     30 |  0.622 % |
230.98/231.09	c |   1412852 |   18548    93433   314410 |        1   159268     30 |  0.622 % |
230.98/231.09	c |   1413816 |   18548    93433   314410 |        1   160232     30 |  0.622 % |
230.98/231.09	c |   1423393 |   18548    93433   314410 |        1    87810     23 |  0.622 % |
230.98/231.09	c |   1423885 |   18548    93433   314410 |        1    88302     23 |  0.622 % |
230.98/231.09	c |   1423985 |   18548    93433   314410 |        1    88402     23 |  0.622 % |
230.98/231.09	c |   1424157 |   18548    93433   314410 |        1    88574     23 |  0.622 % |
310.58/310.60	c |   1425768 |   18548    93433   314410 |        1    90185     23 |  0.622 % |
310.58/310.60	c |   1429390 |   18548    93433   314410 |        1    93807     24 |  0.622 % |
310.58/310.60	c |   1429618 |   18548    93433   314410 |        1    94035     24 |  0.622 % |
310.58/310.60	c |   1442230 |   18548    93433   314410 |        1   106647     26 |  0.622 % |
310.58/310.60	c |   1445710 |   18548    93433   314410 |        1   110127     27 |  0.622 % |
310.58/310.60	c |   1445875 |   18548    93433   314410 |        1   110292     27 |  0.622 % |
310.58/310.60	c |   1446063 |   18548    93433   314410 |        1   110480     27 |  0.622 % |
310.58/310.60	c |   1447054 |   18548    93433   314410 |        1   111471     27 |  0.622 % |
310.58/310.60	c |   1451604 |   18548    93433   314410 |        1   116021     28 |  0.622 % |
310.58/310.60	c |   1453695 |   18548    93433   314410 |        1   118112     28 |  0.622 % |
310.58/310.60	c |   1453795 |   18548    93433   314410 |        1   118212     28 |  0.622 % |
310.58/310.60	c |   1471517 |   18548    93433   314410 |        1   135934     30 |  0.622 % |
310.58/310.60	c |   1472732 |   18548    93433   314410 |        1   137149     30 |  0.622 % |
310.58/310.61	c |   1473495 |   18548    93433   314410 |        1   137912     30 |  0.622 % |
310.58/310.61	c |   1474013 |   18548    93433   314410 |        1   138430     30 |  0.622 % |
310.58/310.61	c |   1478192 |   18548    93433   314410 |        1   142609     30 |  0.622 % |
310.58/310.61	c |   1478292 |   18548    93433   314410 |        1   142709     30 |  0.622 % |
310.58/310.61	c |   1494494 |   18548    93433   314410 |        1   158911     32 |  0.622 % |
310.58/310.61	c |   1495526 |   18548    93433   314410 |        1   159943     32 |  0.622 % |
310.58/310.61	c |   1498954 |   18548    93433   314410 |        1   163371     32 |  0.622 % |
310.58/310.61	c |   1499054 |   18548    93433   314410 |        1   163471     32 |  0.622 % |
310.58/310.61	c |   1512771 |   18548    93433   314410 |        1    92585     23 |  0.622 % |
310.58/310.61	c |   1513970 |   18548    93433   314410 |        1    93784     23 |  0.622 % |
310.58/310.61	c |   1517613 |   18548    93433   314410 |        1    97427     24 |  0.622 % |
310.58/310.61	c |   1517845 |   18548    93433   314410 |        1    97659     25 |  0.622 % |
310.58/310.61	c |   1651252 |   18548    93433   314410 |        1   143875     26 |  0.622 % |
310.58/310.61	c |   1656641 |   18548    93433   314410 |        1   149264     27 |  0.622 % |
310.58/310.61	c |   1656744 |   18548    93433   314410 |        1   149367     27 |  0.622 % |
310.58/310.61	c |   1657213 |   18548    93433   314410 |        1   149836     27 |  0.622 % |
310.58/310.61	c |   1657376 |   18548    93433   314410 |        1   149999     27 |  0.622 % |
310.58/310.61	c |   1666661 |   18548    93433   314410 |        1   159284     29 |  0.622 % |
310.58/310.61	c |   1666761 |   18548    93433   314410 |        1   159384     29 |  0.622 % |
310.58/310.61	c |   1671118 |   18548    93433   314410 |        1   163741     29 |  0.622 % |
310.58/310.61	c |   1672315 |   18548    93433   314410 |        1   164938     29 |  0.622 % |
310.58/310.61	c |   1735141 |   18548    93433   314410 |        1   137960     30 |  0.622 % |
310.58/310.61	c |   1735669 |   18548    93433   314410 |        1   138488     30 |  0.622 % |
310.58/310.61	c |   1735770 |   18548    93433   314410 |        1   138589     30 |  0.622 % |
310.58/310.61	c |   1737845 |   18548    93433   314410 |        1   140664     30 |  0.622 % |
310.58/310.61	c |   1742110 |   18548    93433   314410 |        1   144929     31 |  0.622 % |
310.58/310.61	c |   1742255 |   18548    93433   314410 |        1   145074     31 |  0.622 % |
310.58/310.61	c |   1748933 |   18548    93433   314410 |        1   151752     33 |  0.622 % |
310.58/310.61	c |   1749034 |   18548    93433   314410 |        1   151853     33 |  0.622 % |
310.58/310.61	c |   1761776 |   18548    93433   314410 |        1   164595     34 |  0.622 % |
310.58/310.61	c |   1761876 |   18548    93433   314410 |        1   164695     34 |  0.622 % |
310.58/310.61	c |   1789166 |   18548    93433   314410 |        1    99588     25 |  0.622 % |
310.58/310.61	c |   1789266 |   18548    93433   314410 |        1    99688     25 |  0.622 % |
310.58/310.61	c |   1790937 |   18548    93433   314410 |        1   101359     26 |  0.622 % |
310.58/310.61	c |   1794678 |   18548    93433   314410 |        1   105100     26 |  0.622 % |
310.58/310.61	c |   1799484 |   18507    92979   312738 |        1   109857     27 |  0.841 % |
310.58/310.61	c |   1800645 |   18507    92979   312738 |        1   111018     27 |  0.841 % |
371.68/371.78	c |   1800827 |   18507    92979   312738 |        1   111200     27 |  0.841 % |
371.68/371.78	c |   1812051 |   18507    92979   312738 |        1   122424     30 |  0.841 % |
371.68/371.78	c |   1812303 |   18507    92979   312738 |        1   122676     30 |  0.841 % |
371.68/371.78	c |   1819727 |   18507    92979   312738 |        1   130100     31 |  0.841 % |
371.68/371.78	c |   1820447 |   18507    92979   312738 |        1   130820     31 |  0.841 % |
371.68/371.78	c |   1821572 |   18507    92979   312738 |        1   131945     31 |  0.841 % |
371.68/371.78	c |   1821675 |   18507    92979   312738 |        1   132048     31 |  0.841 % |
371.68/371.78	c |   1822005 |   18507    92979   312738 |        1   132378     31 |  0.841 % |
371.68/371.78	c |   1822209 |   18507    92979   312738 |        1   132582     31 |  0.841 % |
371.68/371.78	c |   1822756 |   18507    92979   312738 |        1   133129     31 |  0.841 % |
371.68/371.78	c |   1827046 |   18507    92979   312738 |        1   137419     32 |  0.841 % |
371.68/371.78	c |   1828595 |   18507    92979   312738 |        1   138968     32 |  0.841 % |
371.68/371.78	c |   1828873 |   18507    92979   312738 |        1   139246     32 |  0.841 % |
371.68/371.78	c |   1828973 |   18507    92979   312738 |        1   139346     32 |  0.841 % |
371.68/371.78	c |   1850772 |   18507    92979   312738 |        1   161145     34 |  0.841 % |
371.68/371.78	c |   1850872 |   18507    92979   312738 |        1   161245     34 |  0.841 % |
371.68/371.78	c |   1852701 |   18507    92979   312738 |        1   163074     34 |  0.841 % |
371.68/371.78	c |   1963486 |   18507    92979   312738 |        1   178882     31 |  0.841 % |
371.68/371.78	c |   1963588 |   18507    92979   312738 |        1   178984     31 |  0.841 % |
371.68/371.78	c |   1970734 |   18507    92979   312738 |        1   186130     32 |  0.841 % |
371.68/371.78	c |   1970942 |   18507    92979   312738 |        1   186338     32 |  0.841 % |
371.68/371.78	c |   1982405 |   18507    92979   312738 |        1   100214     21 |  0.841 % |
371.68/371.78	c |   2004104 |   18507    92979   312738 |        1   121913     27 |  0.841 % |
371.68/371.78	c |   2010695 |   18507    92979   312738 |        1   128504     28 |  0.841 % |
371.68/371.78	c |   2014145 |   18507    92979   312738 |        1   131954     29 |  0.841 % |
371.68/371.78	c |   2014399 |   18507    92979   312738 |        1   132208     29 |  0.841 % |
371.68/371.78	c |   2015395 |   18507    92979   312738 |        1   133204     29 |  0.841 % |
371.68/371.78	c |   2020536 |   18507    92979   312738 |        1   138345     30 |  0.841 % |
371.68/371.78	c |   2020729 |   18507    92979   312738 |        1   138538     30 |  0.841 % |
371.68/371.78	c |   2020831 |   18507    92979   312738 |        1   138640     30 |  0.841 % |
371.68/371.78	c |   2023856 |   18507    92979   312738 |        1   141665     30 |  0.841 % |
371.68/371.78	c |   2023956 |   18507    92979   312738 |        1   141765     30 |  0.841 % |
371.68/371.78	c |   2028692 |   18507    92979   312738 |        1   146501     31 |  0.841 % |
371.68/371.78	c |   2032172 |   18507    92979   312738 |        1   149981     31 |  0.841 % |
371.68/371.78	c |   2035257 |   18507    92979   312738 |        1   153066     32 |  0.841 % |
371.68/371.78	c |   2036711 |   18507    92979   312738 |        1   154520     32 |  0.841 % |
371.68/371.78	c |   2037219 |   18506    92971   312688 |        1   155013     32 |  0.847 % |
371.68/371.78	c |   2039538 |   18506    92971   312688 |        1   157332     32 |  0.847 % |
371.68/371.78	c |   2042769 |   18506    92971   312688 |        1   160563     32 |  0.847 % |
371.68/371.78	c |   2044726 |   18506    92971   312688 |        1   162520     33 |  0.847 % |
371.68/371.78	c |   2045516 |   18506    92971   312688 |        1   163310     33 |  0.847 % |
371.68/371.78	c |   2046312 |   18506    92971   312688 |        1   164106     33 |  0.847 % |
371.68/371.78	c |   2057688 |   18506    92971   312688 |        1   175482     34 |  0.847 % |
371.68/371.78	c |   2057794 |   18506    92971   312688 |        1   175588     34 |  0.847 % |
371.68/371.78	c |   2067532 |   18506    92971   312688 |        1   185326     35 |  0.847 % |
371.68/371.78	c |   2067634 |   18506    92971   312688 |        1   185428     35 |  0.847 % |
371.68/371.78	c |   2084245 |   18506    92971   312688 |        1   101851     22 |  0.847 % |
371.68/371.78	c |   2085568 |   18506    92971   312688 |        1   103174     22 |  0.847 % |
371.68/371.78	c |   2085668 |   18506    92971   312688 |        1   103274     22 |  0.847 % |
371.68/371.78	c |   2086081 |   18506    92971   312688 |        1   103687     22 |  0.847 % |
517.89/517.92	c |   2086783 |   18506    92971   312688 |        1   104389     23 |  0.847 % |
517.89/517.92	c |   2325839 |   18506    92971   312688 |        1   135258     25 |  0.847 % |
517.89/517.92	c |   2328323 |   18506    92971   312688 |        1   137742     25 |  0.847 % |
517.89/517.92	c |   2328423 |   18506    92971   312688 |        1   137842     25 |  0.847 % |
517.89/517.92	c |   2330435 |   18506    92971   312688 |        1   139854     26 |  0.847 % |
517.89/517.92	c |   2334694 |   18506    92971   312688 |        1   144113     26 |  0.847 % |
517.89/517.92	c |   2336345 |   18506    92971   312688 |        1   145764     27 |  0.847 % |
517.89/517.92	c |   2429706 |   18506    92971   312688 |        1   131119     29 |  0.847 % |
517.89/517.92	c |   2429808 |   18506    92971   312688 |        1   131221     29 |  0.847 % |
517.89/517.92	c |   2430163 |   18506    92971   312688 |        1   131576     29 |  0.847 % |
517.89/517.92	c |   2433773 |   18506    92971   312688 |        1   135186     30 |  0.847 % |
517.89/517.92	c |   2437986 |   18506    92971   312688 |        1   139399     31 |  0.847 % |
517.89/517.92	c |   2438094 |   18506    92971   312688 |        1   139507     31 |  0.847 % |
517.89/517.92	c |   2438197 |   18506    92971   312688 |        1   139610     31 |  0.847 % |
517.89/517.92	c |   2443627 |   18506    92971   312688 |        1   145040     31 |  0.847 % |
517.89/517.92	c |   2443963 |   18506    92971   312688 |        1   145376     31 |  0.847 % |
517.89/517.92	c |   2444100 |   18506    92971   312688 |        1   145513     31 |  0.847 % |
517.89/517.92	c |   2451350 |   18506    92971   312688 |        1   152763     32 |  0.847 % |
517.89/517.92	c |   2454747 |   18506    92971   312688 |        1   156160     32 |  0.847 % |
517.89/517.92	c |   2454848 |   18506    92971   312688 |        1   156261     32 |  0.847 % |
517.89/517.92	c |   2455041 |   18506    92971   312688 |        1   156454     33 |  0.847 % |
517.89/517.92	c |   2455596 |   18506    92971   312688 |        1   157009     33 |  0.847 % |
517.89/517.92	c |   2464378 |   18506    92971   312688 |        1   165791     33 |  0.847 % |
517.89/517.92	c |   2464611 |   18506    92971   312688 |        1   166024     33 |  0.847 % |
517.89/517.92	c |   2466186 |   18506    92971   312688 |        1   167599     34 |  0.847 % |
517.89/517.92	c |   2467079 |   18506    92971   312688 |        1   168492     34 |  0.847 % |
517.89/517.92	c |   2506617 |   18506    92971   312688 |        1   208030     37 |  0.847 % |
517.89/517.92	c |   2506718 |   18506    92971   312688 |        1   208131     37 |  0.847 % |
517.89/517.92	c |   2513938 |   18506    92971   312688 |        1   215351     37 |  0.847 % |
517.89/517.92	c |   2567741 |   18506    92971   312688 |        1   158558     29 |  0.847 % |
517.89/517.92	c |   2567854 |   18506    92971   312688 |        1   158671     30 |  0.847 % |
517.89/517.92	c |   2575920 |   18506    92971   312688 |        1   166737     31 |  0.847 % |
517.89/517.92	c |   2576119 |   18506    92971   312688 |        1   166936     31 |  0.847 % |
517.89/517.92	c |   2580587 |   18506    92971   312688 |        1   171404     31 |  0.847 % |
517.89/517.92	c |   2580856 |   18506    92971   312688 |        1   171673     31 |  0.847 % |
517.89/517.92	c |   2581904 |   18506    92971   312688 |        1   172721     31 |  0.847 % |
517.89/517.92	c |   2605207 |   18506    92971   312688 |        1   196024     34 |  0.847 % |
517.89/517.92	c |   2620213 |   18506    92971   312688 |        1   211030     34 |  0.847 % |
517.89/517.92	c |   2620884 |   18506    92971   312688 |        1   211701     34 |  0.847 % |
517.89/517.92	c |   2621255 |   18506    92971   312688 |        1   212072     34 |  0.847 % |
517.89/517.92	c |   2625318 |   18506    92971   312688 |        1   216135     34 |  0.847 % |
517.89/517.92	c |   2642853 |   18506    92971   312688 |        1   120468     23 |  0.847 % |
517.89/517.92	c |   2643100 |   18506    92971   312688 |        1   120715     23 |  0.847 % |
517.89/517.92	c |   2643203 |   18506    92971   312688 |        1   120818     23 |  0.847 % |
517.89/517.92	c |   2649700 |   18506    92971   312688 |        1   127315     24 |  0.847 % |
517.89/517.92	c |   2651004 |   18506    92971   312688 |        1   128619     24 |  0.847 % |
517.89/517.92	c |   2657974 |   18506    92971   312688 |        1   135589     25 |  0.847 % |
517.89/517.92	c |   2658965 |   18506    92971   312688 |        1   136580     25 |  0.847 % |
517.89/517.92	c |   2664182 |   18506    92971   312688 |        1   141797     26 |  0.847 % |
517.89/517.92	c |   2680123 |   18506    92971   312688 |        1   157738     29 |  0.847 % |
574.89/574.90	c |   2683877 |   18506    92971   312688 |        1   161492     29 |  0.847 % |
574.89/574.90	c |   2684687 |   18506    92971   312688 |        1   162302     29 |  0.847 % |
574.89/574.90	c |   2684788 |   18506    92971   312688 |        1   162403     29 |  0.847 % |
574.89/574.90	c |   2684888 |   18506    92971   312688 |        1   162503     29 |  0.847 % |
574.89/574.90	c |   2685322 |   18506    92971   312688 |        1   162937     29 |  0.847 % |
574.89/574.90	c |   2696261 |   18506    92971   312688 |        1   173876     31 |  0.847 % |
574.89/574.90	c |   2696366 |   18506    92971   312688 |        1   173981     31 |  0.847 % |
574.89/574.90	c |   2697671 |   18506    92971   312688 |        1   175286     31 |  0.847 % |
574.89/574.90	c |   2697774 |   18506    92971   312688 |        1   175389     31 |  0.847 % |
574.89/574.90	c |   2699515 |   18506    92971   312688 |        1   177130     31 |  0.847 % |
574.89/574.90	c |   2699618 |   18506    92971   312688 |        1   177233     31 |  0.847 % |
574.89/574.90	c |   2701063 |   18506    92971   312688 |        1   178678     31 |  0.847 % |
574.89/574.90	c |   2701370 |   18506    92971   312688 |        1   178985     31 |  0.847 % |
574.89/574.90	c |   2706423 |   18506    92971   312688 |        1   184038     32 |  0.847 % |
574.89/574.90	c |   2706572 |   18506    92971   312688 |        1   184187     32 |  0.847 % |
574.89/574.90	c |   2706750 |   18506    92971   312688 |        1   184365     32 |  0.847 % |
574.89/574.90	c |   2739004 |   18506    92971   312688 |        1   216619     33 |  0.847 % |
574.89/574.90	c |   2747403 |   18506    92971   312688 |        1   225018     33 |  0.847 % |
574.89/574.90	c |   2784551 |   18506    92971   312688 |        1   146370     28 |  0.847 % |
574.89/574.90	c |   2784651 |   18506    92971   312688 |        1   146470     28 |  0.847 % |
574.89/574.90	c |   2785007 |   18506    92971   312688 |        1   146826     28 |  0.847 % |
574.89/574.90	c |   2789093 |   18506    92971   312688 |        1   150912     28 |  0.847 % |
574.89/574.90	c |   2789329 |   18506    92971   312688 |        1   151148     28 |  0.847 % |
574.89/574.90	c |   2821260 |   18506    92971   312688 |        1   183079     30 |  0.847 % |
574.89/574.90	c |   2841790 |   18506    92971   312688 |        1   203609     31 |  0.847 % |
574.89/574.90	c |   2842920 |   18506    92971   312688 |        1   204739     31 |  0.847 % |
574.89/574.90	c |   2846118 |   18506    92971   312688 |        1   207937     31 |  0.847 % |
574.89/574.90	c |   2850842 |   18506    92971   312688 |        1   212661     32 |  0.847 % |
574.89/574.90	c |   2851171 |   18506    92971   312688 |        1   212990     32 |  0.847 % |
574.89/574.90	c |   2851716 |   18506    92971   312688 |        1   213535     32 |  0.847 % |
574.89/574.90	c |   2861145 |   18506    92971   312688 |        1   222964     32 |  0.847 % |
574.89/574.90	c |   2861495 |   18506    92971   312688 |        1   223314     32 |  0.847 % |
574.89/574.90	c |   2861598 |   18506    92971   312688 |        1   223417     32 |  0.847 % |
574.89/574.90	c |   2861699 |   18506    92971   312688 |        1   223518     32 |  0.847 % |
574.89/574.90	c |   2863626 |   18506    92971   312688 |        1   225445     33 |  0.847 % |
574.89/574.90	c |   2863781 |   18506    92971   312688 |        1   225600     33 |  0.847 % |
574.89/574.90	c |   2864195 |   18506    92971   312688 |        1   226014     33 |  0.847 % |
574.89/574.90	c |   2887481 |   18506    92971   312688 |        1   130914     25 |  0.847 % |
574.89/574.90	c |   2887582 |   18506    92971   312688 |        1   131015     25 |  0.847 % |
574.89/574.90	c |   2887955 |   18506    92971   312688 |        1   131388     25 |  0.847 % |
574.89/574.90	c |   2888080 |   18506    92971   312688 |        1   131513     25 |  0.847 % |
574.89/574.90	c |   2890739 |   18506    92971   312688 |        1   134172     25 |  0.847 % |
574.89/574.90	c |   2891178 |   18506    92971   312688 |        1   134611     25 |  0.847 % |
574.89/574.90	c |   2892212 |   18506    92971   312688 |        1   135645     25 |  0.847 % |
574.89/574.90	c |   2892315 |   18506    92971   312688 |        1   135748     25 |  0.847 % |
574.89/574.90	c |   2907564 |   18506    92971   312688 |        1   150997     28 |  0.847 % |
574.89/574.90	c |   2907994 |   18506    92971   312688 |        1   151427     28 |  0.847 % |
574.89/574.90	c |   2908418 |   18506    92971   312688 |        1   151851     28 |  0.847 % |
574.89/574.90	c |   2911002 |   18506    92971   312688 |        1   154435     28 |  0.847 % |
574.89/574.90	c |   2911102 |   18506    92971   312688 |        1   154535     28 |  0.847 % |
626.99/627.03	c |   2911603 |   18506    92971   312688 |        1   155036     28 |  0.847 % |
626.99/627.03	c |   2911703 |   18506    92971   312688 |        1   155136     28 |  0.847 % |
626.99/627.03	c |   2914953 |   18506    92971   312688 |        1   158386     28 |  0.847 % |
626.99/627.03	c |   2915054 |   18506    92971   312688 |        1   158487     28 |  0.847 % |
626.99/627.03	c |   2915847 |   18506    92971   312688 |        1   159280     29 |  0.847 % |
626.99/627.03	c |   2916192 |   18506    92971   312688 |        1   159625     29 |  0.847 % |
626.99/627.03	c |   2922105 |   18506    92971   312688 |        1   165538     29 |  0.847 % |
626.99/627.03	c |   2922385 |   18506    92971   312688 |        1   165818     29 |  0.847 % |
626.99/627.03	c |   2923143 |   18506    92971   312688 |        1   166576     30 |  0.847 % |
626.99/627.03	c |   2929375 |   18506    92971   312688 |        1   172808     30 |  0.847 % |
626.99/627.03	c |   2929501 |   18506    92971   312688 |        1   172934     30 |  0.847 % |
626.99/627.03	c |   2929601 |   18506    92971   312688 |        1   173034     30 |  0.847 % |
626.99/627.03	c |   2931923 |   18506    92971   312688 |        1   175356     30 |  0.847 % |
626.99/627.03	c |   2932107 |   18506    92971   312688 |        1   175540     30 |  0.847 % |
626.99/627.03	c |   2932508 |   18506    92971   312688 |        1   175941     30 |  0.847 % |
626.99/627.03	c |   2940878 |   18506    92971   312688 |        1   184311     31 |  0.847 % |
626.99/627.03	c |   2941520 |   18506    92971   312688 |        1   184953     31 |  0.847 % |
626.99/627.03	c |   2942621 |   18506    92971   312688 |        1   186054     32 |  0.847 % |
626.99/627.03	c |   2943637 |   18506    92971   312688 |        1   187070     32 |  0.847 % |
626.99/627.03	c |   2946946 |   18506    92971   312688 |        1   190379     32 |  0.847 % |
626.99/627.03	c |   2947047 |   18506    92971   312688 |        1   190480     32 |  0.847 % |
626.99/627.03	c |   2959898 |   18506    92971   312688 |        1   203331     32 |  0.847 % |
626.99/627.03	c |   2960127 |   18506    92971   312688 |        1   203560     32 |  0.847 % |
626.99/627.03	c |   2960257 |   18506    92971   312688 |        1   203690     32 |  0.847 % |
626.99/627.03	c |   2962103 |   18506    92971   312688 |        1   205536     33 |  0.847 % |
626.99/627.03	c |   2995803 |   18505    92963   312638 |        1   239226     34 |  0.852 % |
626.99/627.03	c |   2995903 |   18505    92963   312638 |        1   239326     34 |  0.852 % |
626.99/627.03	c |   3002864 |   18505    92963   312638 |        1   125280     22 |  0.852 % |
626.99/627.03	c |   3003461 |   18505    92963   312638 |        1   125877     22 |  0.852 % |
626.99/627.03	c |   3007624 |   18505    92963   312638 |        1   130040     23 |  0.852 % |
626.99/627.03	c |   3019703 |   18505    92963   312638 |        1   142119     25 |  0.852 % |
626.99/627.03	c |   3020265 |   18505    92963   312638 |        1   142681     25 |  0.852 % |
626.99/627.03	c |   3030850 |   18505    92963   312638 |        1   153266     26 |  0.852 % |
626.99/627.03	c |   3031338 |   18505    92963   312638 |        1   153754     26 |  0.852 % |
626.99/627.03	c |   3037717 |   18505    92963   312638 |        1   160133     27 |  0.852 % |
626.99/627.03	c |   3038270 |   18505    92963   312638 |        1   160686     27 |  0.852 % |
626.99/627.03	c |   3046004 |   18505    92963   312638 |        1   168420     28 |  0.852 % |
626.99/627.03	c |   3046189 |   18505    92963   312638 |        1   168605     28 |  0.852 % |
626.99/627.03	c |   3047490 |   18505    92963   312638 |        1   169906     28 |  0.852 % |
626.99/627.03	c |   3051093 |   18505    92963   312638 |        1   173509     28 |  0.852 % |
626.99/627.03	c |   3059226 |   18505    92963   312638 |        1   181642     29 |  0.852 % |
626.99/627.03	c |   3065192 |   18505    92963   312638 |        1   187608     30 |  0.852 % |
626.99/627.03	c |   3089242 |   18505    92963   312638 |        1   211658     32 |  0.852 % |
626.99/627.03	c |   3089343 |   18505    92963   312638 |        1   211759     32 |  0.852 % |
626.99/627.03	c |   3089900 |   18505    92963   312638 |        1   212316     32 |  0.852 % |
626.99/627.03	c |   3098465 |   18505    92963   312638 |        1   220881     32 |  0.852 % |
626.99/627.03	c |   3103614 |   18505    92963   312638 |        1   226030     33 |  0.852 % |
626.99/627.03	c |   3103714 |   18505    92963   312638 |        1   226130     33 |  0.852 % |
626.99/627.03	c |   3104419 |   18505    92963   312638 |        1   226835     33 |  0.852 % |
626.99/627.03	c |   3114313 |   18505    92963   312638 |        1   236729     33 |  0.852 % |
701.49/701.59	c |   3114416 |   18505    92963   312638 |        1   236832     33 |  0.852 % |
701.49/701.59	c |   3149355 |   18505    92963   312638 |        1   148166     25 |  0.852 % |
701.49/701.59	c |   3149877 |   18505    92963   312638 |        1   148688     25 |  0.852 % |
701.49/701.59	c |   3157038 |   18505    92963   312638 |        1   155849     26 |  0.852 % |
701.49/701.59	c |   3157262 |   18505    92963   312638 |        1   156073     26 |  0.852 % |
701.49/701.59	c |   3160233 |   18505    92963   312638 |        1   159044     27 |  0.852 % |
701.49/701.59	c |   3160667 |   18505    92963   312638 |        1   159478     27 |  0.852 % |
701.49/701.59	c |   3163434 |   18505    92963   312638 |        1   162245     27 |  0.852 % |
701.49/701.59	c |   3164919 |   18505    92963   312638 |        1   163730     27 |  0.852 % |
701.49/701.59	c |   3165939 |   18505    92963   312638 |        1   164750     27 |  0.852 % |
701.49/701.59	c |   3166096 |   18505    92963   312638 |        1   164907     27 |  0.852 % |
701.49/701.59	c |   3166576 |   18505    92963   312638 |        1   165387     27 |  0.852 % |
701.49/701.59	c |   3172906 |   18505    92963   312638 |        1   171717     28 |  0.852 % |
701.49/701.59	c |   3173006 |   18505    92963   312638 |        1   171817     28 |  0.852 % |
701.49/701.59	c |   3174903 |   18505    92963   312638 |        1   173714     28 |  0.852 % |
701.49/701.59	c |   3177570 |   18505    92963   312638 |        1   176381     28 |  0.852 % |
701.49/701.59	c |   3177956 |   18505    92963   312638 |        1   176767     28 |  0.852 % |
701.49/701.59	c |   3183353 |   18505    92963   312638 |        1   182164     29 |  0.852 % |
701.49/701.59	c |   3186030 |   18505    92963   312638 |        1   184841     30 |  0.852 % |
701.49/701.59	c |   3197235 |   18505    92963   312638 |        1   196046     31 |  0.852 % |
701.49/701.59	c |   3197338 |   18505    92963   312638 |        1   196149     31 |  0.852 % |
701.49/701.59	c |   3249572 |   18505    92963   312638 |        1   248383     32 |  0.852 % |
701.49/701.59	c |   3254168 |   18505    92963   312638 |        1   126782     21 |  0.852 % |
701.49/701.59	c |   3255086 |   18505    92963   312638 |        1   127700     21 |  0.852 % |
701.49/701.59	c |   3258787 |   18505    92963   312638 |        1   131401     22 |  0.852 % |
701.49/701.59	c |   3260724 |   18505    92963   312638 |        1   133338     22 |  0.852 % |
701.49/701.59	c |   3260825 |   18505    92963   312638 |        1   133439     22 |  0.852 % |
701.49/701.59	c |   3261313 |   18505    92963   312638 |        1   133927     23 |  0.852 % |
701.49/701.59	c |   3268859 |   18505    92963   312638 |        1   141473     25 |  0.852 % |
701.49/701.59	c |   3272146 |   18505    92963   312638 |        1   144760     25 |  0.852 % |
701.49/701.59	c |   3272388 |   18505    92963   312638 |        1   145002     25 |  0.852 % |
701.49/701.59	c |   3291192 |   18505    92963   312638 |        1   163806     29 |  0.852 % |
701.49/701.59	c |   3291452 |   18505    92963   312638 |        1   164066     29 |  0.852 % |
701.49/701.59	c |   3293197 |   18505    92963   312638 |        1   165811     29 |  0.852 % |
701.49/701.59	c |   3297258 |   18505    92963   312638 |        1   169872     30 |  0.852 % |
701.49/701.59	c |   3297358 |   18505    92963   312638 |        1   169972     30 |  0.852 % |
701.49/701.59	c |   3297659 |   18505    92963   312638 |        1   170273     30 |  0.852 % |
701.49/701.59	c |   3309344 |   18504    92953   312588 |        1   181933     32 |  0.857 % |
701.49/701.59	c |   3311113 |   18504    92953   312588 |        1   183702     32 |  0.857 % |
701.49/701.59	c |   3315781 |   18504    92953   312588 |        1   188370     32 |  0.857 % |
701.49/701.59	c |   3317958 |   18504    92953   312588 |        1   190547     32 |  0.857 % |
701.49/701.59	c |   3318398 |   18504    92953   312588 |        1   190987     32 |  0.857 % |
701.49/701.59	c |   3318773 |   18504    92953   312588 |        1   191362     32 |  0.857 % |
701.49/701.59	c |   3319713 |   18504    92953   312588 |        1   192302     32 |  0.857 % |
701.49/701.59	c |   3320142 |   18504    92953   312588 |        1   192731     32 |  0.857 % |
701.49/701.59	c |   3341585 |   18504    92953   312588 |        1   214174     33 |  0.857 % |
701.49/701.59	c |   3365803 |   18504    92953   312588 |        1   238392     34 |  0.857 % |
701.49/701.59	c |   3412780 |   18504    92953   312588 |        1   156585     25 |  0.857 % |
701.49/701.59	c |   3412880 |   18504    92953   312588 |        1   156685     25 |  0.857 % |
701.49/701.59	c |   3413253 |   18504

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-3289126-1303769800/watcher-3289126-1303769800 -o /tmp/evaluation-result-3289126-1303769800/solver-3289126-1303769800 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3289126-1303769800.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: 1.52 3.15 3.61 6/192 26479
/proc/meminfo: memFree=19861488/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 567210735 8912896 253 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 253 211 178 0 69 0

[startup+0.038953 s]
/proc/loadavg: 1.52 3.15 3.61 6/192 26479
/proc/meminfo: memFree=19861488/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 567210735 8912896 253 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.10096 s]
/proc/loadavg: 1.52 3.15 3.61 6/192 26479
/proc/meminfo: memFree=19861488/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 567210735 8912896 253 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300892 s]
/proc/loadavg: 1.52 3.15 3.61 6/192 26479
/proc/meminfo: memFree=19861488/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 567210735 8912896 253 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 253 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700846 s]
/proc/loadavg: 1.52 3.15 3.61 6/192 26479
/proc/meminfo: memFree=19861488/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0.58 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 361 6837 0 0 0 0 56 2 16 0 1 0 567210735 8912896 255 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 255 211 178 0 69 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 8704

[startup+1.50068 s]
/proc/loadavg: 1.52 3.15 3.61 5/194 26485
/proc/meminfo: memFree=19829356/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0.58 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 361 6837 0 0 0 0 56 2 16 0 1 0 567210735 8912896 255 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 255 211 178 0 69 0
[pid=26484] ppid=26479 vsize=24948 CPUtime=0.89 cores=0,2
/proc/26484/stat : 26484 (glucose_static) R 26479 26479 26050 0 -1 4202496 3905 0 0 0 89 0 0 0 19 0 1 0 567210795 25546752 2856 33554432000 4194304 4260849 140733622461248 18446744073709551615 4209986 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26484/statm: 6237 2856 252 17 0 2878 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 33652

[startup+3.10043 s]
/proc/loadavg: 1.52 3.15 3.61 5/194 26485
/proc/meminfo: memFree=19816708/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0.58 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 361 6837 0 0 0 0 56 2 16 0 1 0 567210735 8912896 255 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 255 211 178 0 69 0
[pid=26484] ppid=26479 vsize=29780 CPUtime=2.5 cores=0,2
/proc/26484/stat : 26484 (glucose_static) R 26479 26479 26050 0 -1 4202496 6028 0 0 0 249 1 0 0 22 0 1 0 567210795 30494720 3965 33554432000 4194304 4260849 140733622461248 18446744073709551615 4224553 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26484/statm: 7445 3965 252 17 0 4086 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 38484

[startup+6.30089 s]
/proc/loadavg: 1.72 3.17 3.61 5/194 26485
/proc/meminfo: memFree=19787744/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0.58 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 361 6837 0 0 0 0 56 2 16 0 1 0 567210735 8912896 255 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 255 211 178 0 69 0
[pid=26484] ppid=26479 vsize=36856 CPUtime=5.7 cores=0,2
/proc/26484/stat : 26484 (glucose_static) R 26479 26479 26050 0 -1 4202496 8714 0 0 0 569 1 0 0 25 0 1 0 567210795 37740544 5427 33554432000 4194304 4260849 140733622461248 18446744073709551615 4226832 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26484/statm: 9214 5427 252 17 0 5855 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 45560

[startup+12.7008 s]
/proc/loadavg: 1.90 3.18 3.61 5/194 26487
/proc/meminfo: memFree=19765512/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0.58 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 361 6837 0 0 0 0 56 2 16 0 1 0 567210735 8912896 255 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 255 211 178 0 69 0
[pid=26484] ppid=26479 vsize=41276 CPUtime=12.09 cores=0,2
/proc/26484/stat : 26484 (glucose_static) R 26479 26479 26050 0 -1 4202496 10380 0 0 0 1208 1 0 0 25 0 1 0 567210795 42266624 6967 33554432000 4194304 4260849 140733622461248 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26484/statm: 10319 6967 252 17 0 6960 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 49980

[startup+25.5007 s]
/proc/loadavg: 2.36 3.22 3.62 5/194 26487
/proc/meminfo: memFree=19744944/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0.58 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 361 6837 0 0 0 0 56 2 16 0 1 0 567210735 8912896 255 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 255 211 178 0 69 0
[pid=26484] ppid=26479 vsize=48472 CPUtime=24.89 cores=0,2
/proc/26484/stat : 26484 (glucose_static) R 26479 26479 26050 0 -1 4202496 14414 0 0 0 2486 3 0 0 25 0 1 0 567210795 49635328 8592 33554432000 4194304 4260849 140733622461248 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26484/statm: 12118 8592 252 17 0 8759 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 57176

[startup+51.1004 s]
/proc/loadavg: 2.92 3.28 3.63 5/194 26487
/proc/meminfo: memFree=19721412/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0.58 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 361 6837 0 0 0 0 56 2 16 0 1 0 567210735 8912896 255 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 255 211 178 0 69 0
[pid=26484] ppid=26479 vsize=67148 CPUtime=50.5 cores=0,2
/proc/26484/stat : 26484 (glucose_static) R 26479 26479 26050 0 -1 4202496 18361 0 0 0 5046 4 0 0 25 0 1 0 567210795 68759552 9635 33554432000 4194304 4260849 140733622461248 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26484/statm: 16787 9635 252 17 0 13428 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 75852

[startup+102.307 s]
/proc/loadavg: 3.53 3.39 3.65 5/194 26489
/proc/meminfo: memFree=19653804/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0.58 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 361 6837 0 0 0 0 56 2 16 0 1 0 567210735 8912896 255 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 255 211 178 0 69 0
[pid=26484] ppid=26479 vsize=86004 CPUtime=101.71 cores=0,2
/proc/26484/stat : 26484 (glucose_static) R 26479 26479 26050 0 -1 4202496 30706 0 0 0 10165 6 0 0 25 0 1 0 567210795 88068096 16923 33554432000 4194304 4260849 140733622461248 18446744073709551615 4225121 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26484/statm: 21501 16923 252 17 0 18142 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 94708

[startup+162.301 s]
/proc/loadavg: 3.83 3.50 3.66 5/194 26491
/proc/meminfo: memFree=19609880/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0.58 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 361 6837 0 0 0 0 56 2 16 0 1 0 567210735 8912896 255 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 255 211 178 0 69 0
[pid=26484] ppid=26479 vsize=86004 CPUtime=161.7 cores=0,2
/proc/26484/stat : 26484 (glucose_static) R 26479 26479 26050 0 -1 4202496 31934 0 0 0 16164 6 0 0 25 0 1 0 567210795 88068096 18120 33554432000 4194304 4260849 140733622461248 18446744073709551615 4224374 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26484/statm: 21501 18120 252 17 0 18142 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 94708

[startup+222.301 s]
/proc/loadavg: 3.93 3.59 3.68 5/194 26491
/proc/meminfo: memFree=19571292/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0.58 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 361 6837 0 0 0 0 56 2 16 0 1 0 567210735 8912896 255 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 255 211 178 0 69 0
[pid=26484] ppid=26479 vsize=86004 CPUtime=221.7 cores=0,2
/proc/26484/stat : 26484 (glucose_static) R 26479 26479 26050 0 -1 4202496 31935 0 0 0 22164 6 0 0 25 0 1 0 567210795 88068096 18121 33554432000 4194304 4260849 140733622461248 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26484/statm: 21501 18121 252 17 0 18142 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 94708

[startup+282.301 s]
/proc/loadavg: 3.97 3.66 3.70 5/194 26493
/proc/meminfo: memFree=19552056/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0.58 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 361 6837 0 0 0 0 56 2 16 0 1 0 567210735 8912896 255 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 255 211 178 0 69 0
[pid=26484] ppid=26479 vsize=98308 CPUtime=281.7 cores=0,2
/proc/26484/stat : 26484 (glucose_static) R 26479 26479 26050 0 -1 4202496 33953 0 0 0 28163 7 0 0 25 0 1 0 567210795 100667392 20097 33554432000 4194304 4260849 140733622461248 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26484/statm: 24577 20097 252 17 0 21218 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 107012

[startup+342.301 s]
/proc/loadavg: 4.06 3.74 3.72 5/194 26495
/proc/meminfo: memFree=19539640/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0.58 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 361 6837 0 0 0 0 56 2 16 0 1 0 567210735 8912896 255 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 255 211 178 0 69 0
[pid=26484] ppid=26479 vsize=98308 CPUtime=341.7 cores=0,2
/proc/26484/stat : 26484 (glucose_static) R 26479 26479 26050 0 -1 4202496 42796 0 0 0 34162 8 0 0 25 0 1 0 567210795 100667392 21197 33554432000 4194304 4260849 140733622461248 18446744073709551615 4225129 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26484/statm: 24577 21197 252 17 0 21218 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 107012

[startup+402.301 s]
/proc/loadavg: 4.08 3.80 3.74 5/194 26527
/proc/meminfo: memFree=19581272/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0.58 cores=0,2

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

[pid=26484] ppid=26479 vsize=98308 CPUtime=521.71 cores=0,2
/proc/26484/stat : 26484 (glucose_static) R 26479 26479 26050 0 -1 4202496 94421 0 0 0 52153 18 0 0 25 0 1 0 567210795 100667392 21199 33554432000 4194304 4260849 140733622461248 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26484/statm: 24577 21199 252 17 0 21218 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 107012

[startup+582.301 s]
/proc/loadavg: 4.00 3.88 3.78 5/194 26531
/proc/meminfo: memFree=19502024/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0.58 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 361 6837 0 0 0 0 56 2 16 0 1 0 567210735 8912896 255 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 255 211 178 0 69 0
[pid=26484] ppid=26479 vsize=98308 CPUtime=581.71 cores=0,2
/proc/26484/stat : 26484 (glucose_static) R 26479 26479 26050 0 -1 4202496 112156 0 0 0 58149 22 0 0 25 0 1 0 567210795 100667392 21236 33554432000 4194304 4260849 140733622461248 18446744073709551615 4224718 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26484/statm: 24577 21236 252 17 0 21218 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 107012

[startup+642.301 s]
/proc/loadavg: 4.00 3.90 3.79 5/194 26563
/proc/meminfo: memFree=19508272/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0.58 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 361 6837 0 0 0 0 56 2 16 0 1 0 567210735 8912896 255 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 255 211 178 0 69 0
[pid=26484] ppid=26479 vsize=98308 CPUtime=641.71 cores=0,2
/proc/26484/stat : 26484 (glucose_static) R 26479 26479 26050 0 -1 4202496 130796 0 0 0 64146 25 0 0 25 0 1 0 567210795 100667392 21236 33554432000 4194304 4260849 140733622461248 18446744073709551615 4229234 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26484/statm: 24577 21236 252 17 0 21218 0
Current children cumulated CPU time (s) 642.29
Current children cumulated vsize (KiB) 107012

[startup+702.301 s]
/proc/loadavg: 4.00 3.92 3.80 5/194 26565
/proc/meminfo: memFree=19484844/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0.58 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 361 6837 0 0 0 0 56 2 16 0 1 0 567210735 8912896 255 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 255 211 178 0 69 0
[pid=26484] ppid=26479 vsize=98308 CPUtime=701.71 cores=0,2
/proc/26484/stat : 26484 (glucose_static) R 26479 26479 26050 0 -1 4202496 150089 0 0 0 70143 28 0 0 25 0 1 0 567210795 100667392 21239 33554432000 4194304 4260849 140733622461248 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26484/statm: 24577 21239 252 17 0 21218 0
Current children cumulated CPU time (s) 702.29
Current children cumulated vsize (KiB) 107012

[startup+762.307 s]
/proc/loadavg: 4.05 3.94 3.82 5/194 26567
/proc/meminfo: memFree=19421576/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0.58 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 361 6837 0 0 0 0 56 2 16 0 1 0 567210735 8912896 255 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 255 211 178 0 69 0
[pid=26484] ppid=26479 vsize=147628 CPUtime=761.72 cores=0,2
/proc/26484/stat : 26484 (glucose_static) R 26479 26479 26050 0 -1 4202496 171978 0 0 0 76139 33 0 0 25 0 1 0 567210795 151171072 32556 33554432000 4194304 4260849 140733622461248 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26484/statm: 36907 32556 252 17 0 33548 0
Current children cumulated CPU time (s) 762.3
Current children cumulated vsize (KiB) 156332

[startup+822.301 s]
/proc/loadavg: 4.02 3.95 3.82 5/194 26567
/proc/meminfo: memFree=19460736/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0.58 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 361 6837 0 0 0 0 56 2 16 0 1 0 567210735 8912896 255 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 255 211 178 0 69 0
[pid=26484] ppid=26479 vsize=98308 CPUtime=821.71 cores=0,2
/proc/26484/stat : 26484 (glucose_static) R 26479 26479 26050 0 -1 4202496 183451 0 0 0 82136 35 0 0 25 0 1 0 567210795 100667392 21239 33554432000 4194304 4260849 140733622461248 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26484/statm: 24577 21239 252 17 0 21218 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 107012

[startup+882.301 s]
/proc/loadavg: 4.12 3.99 3.84 5/194 26569
/proc/meminfo: memFree=19450416/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0.58 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 361 6837 0 0 0 0 56 2 16 0 1 0 567210735 8912896 255 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 255 211 178 0 69 0
[pid=26484] ppid=26479 vsize=147628 CPUtime=881.71 cores=0,2
/proc/26484/stat : 26484 (glucose_static) R 26479 26479 26050 0 -1 4202496 204303 0 0 0 88132 39 0 0 25 0 1 0 567210795 151171072 30406 33554432000 4194304 4260849 140733622461248 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26484/statm: 36907 30406 252 17 0 33548 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 156332

[startup+942.301 s]
/proc/loadavg: 4.04 3.99 3.85 5/194 26571
/proc/meminfo: memFree=19395068/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0.58 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 361 6837 0 0 0 0 56 2 16 0 1 0 567210735 8912896 255 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 255 211 178 0 69 0
[pid=26484] ppid=26479 vsize=147628 CPUtime=941.71 cores=0,2
/proc/26484/stat : 26484 (glucose_static) R 26479 26479 26050 0 -1 4202496 215085 0 0 0 94129 42 0 0 25 0 1 0 567210795 151171072 30011 33554432000 4194304 4260849 140733622461248 18446744073709551615 4224677 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26484/statm: 36907 30011 252 17 0 33548 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 156332

[startup+1002.3 s]
/proc/loadavg: 4.09 4.00 3.86 5/194 26573
/proc/meminfo: memFree=19470072/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0.58 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 361 6837 0 0 0 0 56 2 16 0 1 0 567210735 8912896 255 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 255 211 178 0 69 0
[pid=26484] ppid=26479 vsize=98308 CPUtime=1001.71 cores=0,2
/proc/26484/stat : 26484 (glucose_static) R 26479 26479 26050 0 -1 4202496 226789 0 0 0 100126 45 0 0 25 0 1 0 567210795 100667392 21239 33554432000 4194304 4260849 140733622461248 18446744073709551615 4225132 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26484/statm: 24577 21239 252 17 0 21218 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 107012

[startup+1062.3 s]
/proc/loadavg: 4.03 4.00 3.86 5/194 26575
/proc/meminfo: memFree=19386580/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0.58 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 361 6837 0 0 0 0 56 2 16 0 1 0 567210735 8912896 255 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 255 211 178 0 69 0
[pid=26484] ppid=26479 vsize=98308 CPUtime=1061.71 cores=0,2
/proc/26484/stat : 26484 (glucose_static) R 26479 26479 26050 0 -1 4202496 237343 0 0 0 106123 48 0 0 25 0 1 0 567210795 100667392 21239 33554432000 4194304 4260849 140733622461248 18446744073709551615 4224812 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26484/statm: 24577 21239 252 17 0 21218 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 107012

[startup+1122.3 s]
/proc/loadavg: 4.01 4.00 3.87 5/194 26575
/proc/meminfo: memFree=19429700/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0.58 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 361 6837 0 0 0 0 56 2 16 0 1 0 567210735 8912896 255 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 255 211 178 0 69 0
[pid=26484] ppid=26479 vsize=98308 CPUtime=1121.72 cores=0,2
/proc/26484/stat : 26484 (glucose_static) R 26479 26479 26050 0 -1 4202496 247239 0 0 0 112122 50 0 0 25 0 1 0 567210795 100667392 21239 33554432000 4194304 4260849 140733622461248 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26484/statm: 24577 21239 252 17 0 21218 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 107012

[startup+1182.3 s]
/proc/loadavg: 4.00 4.00 3.87 5/194 26577
/proc/meminfo: memFree=19416028/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0.58 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 361 6837 0 0 0 0 56 2 16 0 1 0 567210735 8912896 255 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 255 211 178 0 69 0
[pid=26484] ppid=26479 vsize=98308 CPUtime=1181.71 cores=0,2
/proc/26484/stat : 26484 (glucose_static) R 26479 26479 26050 0 -1 4202496 258006 0 0 0 118119 52 0 0 25 0 1 0 567210795 100667392 21239 33554432000 4194304 4260849 140733622461248 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26484/statm: 24577 21239 252 17 0 21218 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 107012

[startup+1242.3 s]
/proc/loadavg: 4.00 4.00 3.88 5/194 26579
/proc/meminfo: memFree=19430524/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0.58 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 361 6837 0 0 0 0 56 2 16 0 1 0 567210735 8912896 255 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 255 211 178 0 69 0
[pid=26484] ppid=26479 vsize=118072 CPUtime=1241.71 cores=0,2
/proc/26484/stat : 26484 (glucose_static) R 26479 26479 26050 0 -1 4202496 268153 0 0 0 124117 54 0 0 25 0 1 0 567210795 120905728 21514 33554432000 4194304 4260849 140733622461248 18446744073709551615 4224718 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26484/statm: 29518 21514 252 17 0 26159 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 126776



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 4.00 4.00 3.89 4/192 26582
/proc/meminfo: memFree=19514336/32951124 swapFree=67110396/67111528
[pid=26479] ppid=26477 vsize=8704 CPUtime=0.58 cores=0,2
/proc/26479/stat : 26479 (glucose.sh) S 26477 26479 26050 0 -1 4202496 361 6837 0 0 0 0 56 2 16 0 1 0 567210735 8912896 255 33554432000 4194304 4922060 140735281892960 18446744073709551615 224284744837 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/26479/statm: 2176 255 211 178 0 69 0
[pid=26484] ppid=26479 vsize=118072 CPUtime=1299.42 cores=0,2
/proc/26484/stat : 26484 (glucose_static) R 26479 26479 26050 0 -1 4202496 277714 0 0 0 129886 56 0 0 25 0 1 0 567210795 120905728 21674 33554432000 4194304 4260849 140733622461248 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/26484/statm: 29518 21674 252 17 0 26159 0
Current children cumulated CPU time (s) 1300
Current children cumulated vsize (KiB) 126776

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)
Real time (s): 1300.01
CPU time (s): 1300.03
CPU user time (s): 1299.43
CPU system time (s): 0.596909
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 176096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.43
system time used= 0.596909
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284916
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= 9
involuntary context switches= 2182

runsolver used 2.30565 second user time and 4.80227 second system time

The end

Launcher Data 

Begin job on node118 at 2011-04-26 00:16:41
IDJOB=3289126
IDBENCH=83115
IDSOLVER=1651
FILE ID=node118/3289126-1303769800
RUNJOBID= node118-1303769800-26434
PBS_JOBID= 13157160
Free space on /tmp= 71700 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top21.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3289126-1303769800/watcher-3289126-1303769800 -o /tmp/evaluation-result-3289126-1303769800/solver-3289126-1303769800 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3289126-1303769800.cnf 

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

MD5SUM BENCH= 9fab5edd49fb904ff76ff7abf98e0d14
RANDOM SEED=1815577052

node118.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.842
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.68
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.842
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	: 5332.75
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.842
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.74
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.842
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.75
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.842
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.68
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.842
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.842
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.842
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	: 5374.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      19862760 kB
Buffers:       1873016 kB
Cached:       10603460 kB
SwapCached:        600 kB
Active:        8764464 kB
Inactive:      3799784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19862760 kB
SwapTotal:    67111528 kB
SwapFree:     67110396 kB
Dirty:           12916 kB
Writeback:           0 kB
AnonPages:       86184 kB
Mapped:          15356 kB
Slab:           460508 kB
PageTables:       4744 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   282320 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= 71664 MiB
End job on node118 at 2011-04-26 00:38:23